500 search results - page 29 / 100 » Quantified Conditionals and Compositionality |
ENTCS
2011
13 years 2 months ago
2011
The past decade has seen a remarkable resurgence of the old programme of finding more or less a priori axioms for the mathematical framework of quantum mechanics. The new impetus...
VISUALIZATION
2003
IEEE
14 years 19 days ago
2003
IEEE
Hand-crafted illustrations are often more effective than photographs for conveying the shape and important features of an object, but they require expertise and time to produce. W...
CSB
2005
IEEE
14 years 29 days ago
2005
IEEE
Studying the genetic control of molecular, anatomical and/or morphological phenotypes in model organisms is a powerful tool in the functional analysis of a gene. The goal of our r...
ICRA
2000
IEEE
13 years 11 months ago
2000
IEEE
We describe the design and testing of a robotic system to assist locomotion training of spinal-injured rodents. The goal of the system is to control and quantify spatialtemporal p...
JUCS
2002
13 years 7 months ago
2002
: The problem about the synchronization of a finite deterministic automaton is not yet properly understood. The present paper investigates this and related problems within the gene...