1101 search results - page 23 / 221 » Forcing in proof theory |
CSL
2004
Springer
14 years 28 days 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...
CADE
2009
Springer
14 years 8 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...
IJRR
2010
13 years 6 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...
SYMMETRY
2010
13 years 2 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...
HAPTICS
2009
IEEE
14 years 2 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...