1053 search results - page 42 / 211 » Hierarchies and levels of reality |
MFCS
2005
Springer
14 years 2 months ago
2005
Springer
This paper analyses the computational complexity of the model checking problem for Higher Order Fixpoint Logic – the modal µ-calculus enriched with a typed λ-calculus. It is ha...
APAL
2010
13 years 8 months ago
2010
We analyze the degree-structure induced by large reducibilities under the Axiom of Determinacy. This generalizes the analysis of Borel reducibilities given in [1], [6] and [5] e.g...
HAPTICS
2007
IEEE
14 years 3 months ago
2007
IEEE
We report mechanical impedance of the hand for sinusoidal stimulation at the threshold and suprathreshold levels in the frequency range of 10-500 Hz delivered through a ball-shape...
FOIS
2008
13 years 10 months ago
2008
Chemical entities are the foundation of biochemistry and biology, but until now there have been few coherent attempts to produce a top-level ontology for chemistry to connect ontol...
CGF
2006
13 years 8 months ago
2006
Based on the potential of current programmable GPUs, recently several approaches were developed that use the GPU to calculate deformations of surfaces like the folding of cloth or...