1132 search results - page 125 / 227 » Upper and lower Ramsey bounds in bounded arithmetic |
125
click to vote
ISAAC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Folding an n × n checkerboard pattern from a square of paper that is white on one side and black on the other has been thought for several years to require a paper squar...
201
click to vote
RP
2009
Springer
16 years 1 months ago
2009
Springer
We present an abstraction of the probabilistic semantics of Multiset Rewriting to formally express systems of reactions with uncertain kinetic rates. This allows biological systems...
152
click to vote
ICC
2007
IEEE
16 years 23 days ago
2007
IEEE
— We propose the novel concept of cooperation for deafness prevention in directional antenna ad hoc networks, along with a low-complexity multiuser detector specialised for these...
142
click to vote
LPAR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
135
click to vote
COMPGEOM
2004
ACM
15 years 12 months ago
2004
ACM
We consider the problem of constructing binary space partitions (BSPs) for orthogonal subdivisions (space filling packings of boxes) in d-space. We show that a subdivision with n...