CIE
2009
Springer
14 years 19 days ago
2009
Springer
We show that the first order theories of the Medevdev lattice and the Muchnik lattice are both computably isomorphic to the third order theory of the natural numbers.
TAMC
2010
Springer
14 years 19 days ago
2010
Springer
In this paper, we investigate partial words, or finite sequences that may have some undefined positions called holes, of maximum subword complexity. The subword complexity functi...
SBP
2010
Springer
14 years 20 days ago
2010
Springer
SBP
2010
Springer
14 years 20 days ago
2010
Springer
We propose a dynamical systems model that captures the daily fluctuations of human weight change, incorporating both physiological and psychological factors. The model consists of...
SAC
2010
ACM
14 years 20 days ago
2010
ACM
CMSB
2007
Springer
14 years 20 days ago
2007
Springer
CMSB
2007
Springer
14 years 20 days ago
2007
Springer
This paper presents a simulation algorithm for the stochastic -calculus, designed for the efficient simulation of biological systems with large numbers of molecules. The cost of a ...
ARITH
2007
IEEE
14 years 20 days ago
2007
IEEE
An algorithm for inversion in GF(2m ) suitable for implementation using a polynomial multiply instruction on GF(2) is proposed. It is based on the extended Euclid's algorithm...
ARITH
2007
IEEE
14 years 20 days ago
2007
IEEE
The study of specific hardware circuits for the evaluation of floating-point elementary functions was once an active research area, until it was realized that these functions were...
ARITH
2007
IEEE
14 years 20 days ago
2007
IEEE
The IEEE Standard 754-1985 for Binary Floating-Point Arithmetic [1] was revised [2], and an important addition is the definition of decimal floating-point arithmetic. This is inte...