3353 search results - page 145 / 671 » Laver and set theory |
RSCTC
2004
Springer
15 years 3 months ago
2004
Springer
We study properties of infomorphisms between information systems. In particular, we interpret infomorphisms between information systems in terms of sums with constraints (constrain...
GECCO
2000
Springer
15 years 1 months ago
2000
Springer
This paper examines the behavioral phenomena that occur with the tuning of the binomial-3 problem. Our analysis identifies a distinct set of phenomena that may be generalizable to...
CIE
2008
Springer
15 years 1 days ago
2008
Springer
We study the shrinking and separation properties (two notions well-known in descriptive set theory) for NP and coNP and show that under reasonable complexity-theoretic assumptions...
70
Voted
EUSFLAT
2007
14 years 11 months ago
2007
This article intents to discuss the relation between modernism and postmodernism as a reaction to modernism, from the point of view of the science and technology. It makes a paral...
LOGCOM
2007
14 years 10 months ago
2007
Abstract. We describe a natural generalization of ordinary computation to a third-order setting and give a function calculus with nice properties and recursion-theoretic characteri...