2233 search results - page 143 / 447 » On the Complexity of Theory Curbing |
175
click to vote
BIOSYSTEMS
2008
15 years 6 months ago
2008
This paper has two primary aims. The first is to provide an introductory discussion of hyperset theory and its usefulness for modeling complex systems. The second aim is a hyperset...
108
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The two-terminal reliability, known as the pair connectedness or connectivity function in percolation theory, may actually be expressed as a product of transfer matrices in which t...
168
click to vote
DAM
2007
15 years 6 months ago
2007
The papers in this special issue originated at SAT 2001, the Fourth International Symposium on the Theory and Applications of Satisfiability Testing. This foreword reviews the cu...
157
click to vote
APAL
2005
15 years 6 months ago
2005
Abstract. There is a very simple way in which the safe/normal variable discipline of Bellantoni-Cook recursion (1992) can be imposed on arithmetical theories like PA: quantify over...
159
click to vote
EATCS
2002
15 years 6 months ago
2002
Extractors are functions which are able to "extract" random bits from arbitrary distributions which "contain" sufficient randomness. Explicit constructions of ...