CIE
2005
Springer
13 years 10 months ago
2005
Springer
CIE
2005
Springer
13 years 10 months ago
2005
Springer
CIE
2005
Springer
13 years 10 months ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...
CIE
2005
Springer
13 years 10 months ago
2005
Springer
“Quorum Sensing” has been identified as one of the most consequential microbiology discoveries of the last 10 years. Using Quorum Sensing bacterial colonies synchronize gene e...
CIE
2005
Springer
13 years 10 months ago
2005
Springer
CIE
2005
Springer
13 years 10 months ago
2005
Springer
In this paper, we show that closed-form analytic maps and flows can simulate Turing machines in an error-robust manner. The maps and ODEs defining the flows are explicitly obtai...
CIE
2005
Springer
13 years 10 months ago
2005
Springer
Two properties of the Co-Spectrum of the Joint Spectrum tely many abstract structures are presented - a Minimal Pair type theorem and the existence of a Quasi-Minimal degree with r...
CIE
2005
Springer
13 years 10 months ago
2005
Springer
We promote the concept of object directed computability in computational geometry in order to faithfully generalise the wellestablished theory of computability for real numbers and...
CIE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We discuss some known and introduce some new reducibilities on regular sets. We establish some facts on the corresponding degree structures and relate some reducibilities...
CIE
2005
Springer
13 years 10 months ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...