1101 search results - page 169 / 221 » Forcing in proof theory |
101
Voted
TROB
2010
14 years 7 months ago
2010
Continuum robots, which are composed of multiple concentric, precurved elastic tubes, can provide dexterity at diameters equivalent to standard surgical needles. Recent mechanicsba...
115
click to vote
CEC
2011
IEEE
14 years 16 days ago
2011
IEEE
Abstract—Memetics is a new science that has attracted increasing attentions in the recent decades. Beyond the formalism of simple hybrids, adaptive hybrids and memetic algorithms...
176
Voted
TOG
2012
13 years 3 months ago
2012
We introduce an efficient method for synthesizing acceleration noise – sound produced when an object experiences abrupt rigidbody acceleration due to collisions or other contac...
117
Voted
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...
97
Voted
JCT
1998
15 years 6 days ago
1998
The aim of this note is to point out some combinatorial applications of a lemma of Scarf, proved first in the context of game theory. The usefulness of the lemma in combinatorics...