3575 search results - page 9 / 715 » Presentations of computably enumerable reals |
74
Voted
CIE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We prove various results on effective numberings and Friedberg numberings of families related to algorithmic randomness. The family of all Martin-L¨of random left-compu...
ELPUB
2006
ACM
15 years 3 months ago
2006
ACM
This paper deals with the problems of weakening of human memory due to the increasing use of machine memories in many ways. It enumerates the advantages of machine memory as state...
94
Voted
IPCO
1992
14 years 10 months ago
1992
In this paper we study enumeration problems for polytopes arising from combinatorial optimization problems. While these polytopes turn out to be quickly intractable for enumeration...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Determining the hydrogen-deuterium exchange speeds of single residues from data for peptic fragments obtained by FT-ICS MS is currently mainly done by manual interpretation. We pr...
98
Voted
CIKM
2010
Springer
14 years 4 months ago
2010
Springer
Recent advances in data processing have enabled the generation of large and complex graphs. Many researchers have developed techniques to investigate informative structures within...