3571 search results - page 527 / 715 » Cohen and Set Theory |
144
click to vote
ATAL
2007
Springer
16 years 20 days ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
170
click to vote
BIOWIRE
2007
Springer
16 years 20 days ago
2007
Springer
In this paper we explore some of the connections between cooperative game theory and the utility maximization framework for routing and flow control in networks. Central to both a...
167
click to vote
CSL
2007
Springer
16 years 20 days ago
2007
Springer
In 1973, Parikh proved a speed-up theorem conjectured by G¨odel 37 years before: there exist arithmetical formulæ that are provable in first order arithmetic, but whose shorter ...
190
click to vote
DNA
2007
Springer
16 years 20 days ago
2007
Springer
While algorithmic DNA self-assembly is, in theory, capable of forming complex patterns, its experimental demonstration has been limited by significant assembly errors. In this pa...
191
click to vote
ECAL
2007
Springer
16 years 20 days ago
2007
Springer
The “order for free” exhibited by some classes of system has been exploited by natural selection in order to build systems capable of exhibiting complex behaviour. Here we expl...