3257 search results - page 1 / 652 » Some Results on Effective Randomness |
MST
2006
13 years 4 months ago
2006
We investigate the characterizations of effective randomness in terms of Martin-L
JSAT
2008
13 years 4 months ago
2008
The local search algorithm GSAT is based on the notion of Satisfiability. It has been used successfully for colouring graphs, solving instances of the 3SAT problem, planning block...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Regular expressions (REs), because of their succinctness and clear syntax, are the common choice to represent regular languages. However, efficient pattern matching or word recogni...
RML
2006
13 years 4 months ago
2006
Abstract. A topos version of Cantor's back and forth theorem is established and used to prove that the ordered structure of the rational numbers Q, < is homogeneous in any ...
BMCBI
2010
13 years 4 months ago
2010
Background: Predictive microbiology develops mathematical models that can predict the growth rate of a microorganism population under a set of environmental conditions. Many prima...