1101 search results - page 16 / 221 » Forcing in proof theory |
JSYML
1998
14 years 11 months ago
1998
Abstract. After small forcing, any <κ-closed forcing will destroy the supercompactness and even the strong compactness of κ. In a delightful argument, Laver [L78] proved that ...
TOH
2010
14 years 10 months ago
2010
—It is believed that the use of haptic sensors to measure the magnitude, direction, and distribution of a force will enable a robotic hand to perform dexterous operations. Theref...
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
—It is expected that the use of haptic sensors to measure the magnitude, direction, and distribution of a force will enable a robotic hand to perform dexterous manipulations. The...
TROB
2008
14 years 11 months ago
2008
-- This paper presents the theoretical analysis and the experimental validation of the force sensing capabilities of continuum robots. These robots employ super-elastic NiTi backbo...
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— Stability problems associated with haptics and robot control with obstacle avoidance are analyzed. Obstacle avoidance algorithms are revised to accomplish stable redesign using...