44 search results - page 6 / 9 » cie 2005 |
CIE
2005
Springer
14 years 2 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
CIE
2005
Springer
14 years 2 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
14 years 2 months ago
2005
Springer
The d-c.e. (difference of c.e.) and dbc (divergence bounded computable) reals are two important subclasses of ∆0 2-reals which have very interesting computability-theoretical as...
CIE
2005
Springer
14 years 2 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
14 years 2 months ago
2005
Springer
We investigate the computational complexity of an optical model of computation called the continuous space machine (CSM). We characterise worst case resource growth over time for e...