1101 search results - page 20 / 221 » Forcing in proof theory |
JCT
2000
13 years 7 months ago
2000
The Kostka numbers K
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- This paper describes a virtual reality interface between human and the Atomic Force Microscope (AFM), which allows the operator to perform nanomanipulation with an AFM tip in the...
ICRA
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper, based on a passivity framework, admittance-type and hybrid-type delay-compensated communication channel models are introduced, which warrant different bilateral ...
TSP
2008
13 years 7 months ago
2008
Abstract--We consider the problem of linear zero-forcing precoding design and discuss its relation to the theory of generalized inverses in linear algebra. Special attention is giv...
CADE
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...