Sciweavers

80 search results - page 14 / 16
» jsc 2006
Sort
View
JSC
2006
83views more  JSC 2006»
13 years 8 months ago
Phylogenetic invariants for stationary base composition
Changing base composition during the evolution of biological sequences can mislead some of the phylogenetic inference techniques in current use. However, detecting whether such a ...
Elizabeth S. Allman, John A. Rhodes
JSC
2000
117views more  JSC 2000»
13 years 8 months ago
Goals and Benchmarks for Automated Map Reasoning
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
Andrea Formisano, Eugenio G. Omodeo, Marco Temperi...
JSC
2000
68views more  JSC 2000»
13 years 8 months ago
New Structure Theorem for Subresultants
We give a new structure theorem for subresultants precising their gap structure and derive from it a new algorithm for computing them. If d is a bound on the degrees and a bound o...
Henri Lombardi, Marie-Françoise Roy, Mohab ...
JSC
2006
56views more  JSC 2006»
13 years 8 months ago
Viterbi sequences and polytopes
A Viterbi path of length n of a discrete Markov chain is a sequence of n + 1 states that has the greatest probability of ocurring in the Markov chain. We divide the space of all M...
Eric H. Kuo
JSC
2006
85views more  JSC 2006»
13 years 8 months ago
Fraction-free row reduction of matrices of Ore polynomials
In this paper we give formulas for performing row reduction of a matrix of Ore polynomials in a fraction-free way. The reductions can be used for finding the rank and left nullspa...
Bernhard Beckermann, Howard Cheng, George Labahn