Sciweavers

107 search results - page 2 / 22
» Further results on the Craig-Sakamoto Equation
Sort
View
MOC
1998
106views more  MOC 1998»
13 years 4 months ago
Class number bounds and Catalan's equation
We improve a criterion of Inkeri and show that if there is a solution to Catalan’s equation xp − yq = ±1,(1) with p and q prime numbers greater than 3 and both congruent to 3 ...
Ray Steiner
EMMCVPR
2001
Springer
13 years 9 months ago
Averaged Template Matching Equations
By exploiting an analogy with averaging procedures in fluid dynamics, we present a set of averaged template matching equations. These equations are analogs of the exact template m...
Anil N. Hirani, Jerrold E. Marsden, James Arvo
CSL
2001
Springer
13 years 9 months ago
Beyond Regularity: Equational Tree Automata for Associative and Commutative Theories
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
Hitoshi Ohsaki
JCIT
2010
113views more  JCIT 2010»
12 years 11 months ago
On Deriving an Equation of the Mutation Rate of the Hepatitis B Virus
The mutation rate of the hepatitis B virus (HBV) is often obtained by statistical software. This is restricted to the sampled data and cannot be applied to other cases. This limit...
Koun-Tem Sun, Chih-Hsuan Wei, Yi-Yu Hsu, Wen-Chun ...
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
13 years 8 months ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun