1101 search results - page 23 / 221 » Forcing in proof theory |
105
Voted
CSL
2004
Springer
15 years 8 months ago
2004
Springer
We present a novel third-order theory W1 1 of bounded arithmetic suitable for reasoning about PSPACE functions. This theory has the advantages of avoiding the smash function symbol...
130
Voted
CADE
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...
115
click to vote
IJRR
2010
15 years 1 months ago
2010
This paper considers grasps and fixtures whose contacts react according to force-displacement laws consistent with friction constrains at the contacts. The passive force closure s...
122
click to vote
SYMMETRY
2010
14 years 10 months ago
2010
: The theory of elasticity is used to predict the response of a material body subject to applied forces. In the linear theory, where the displacement is small, the stress tensor wh...
119
click to vote
HAPTICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We discuss the theory, design, and performance of a flat-panel tactile display capable of controlling shear force on a finger. In previous research a TPaD variable friction devi...