662 search results - page 93 / 133 » Heart vs. Model |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
The paper presents a theory for modeling flow in anisotropic, viscous rock. This theory has originally been developed for the simulation of large deformation processes including t...
BMCBI
2004
13 years 10 months ago
2004
Background: High-density oligonucleotide microarray technology enables the discovery of genes that are transcriptionally modulated in different biological samples due to physiolog...
DSRT
2009
IEEE
14 years 4 months ago
2009
IEEE
—To support the evacuation process of crowds from emergency situations, we have developed a wearable device, LifeBelt, for vibro tactile guidance of individuals in panic towards ...
IJCNN
2007
IEEE
14 years 4 months ago
2007
IEEE
— Our earlier work has suggested that neuronal transmission delay may cause serious problems unless a compensation mechanism exists. In that work, facilitating neuronal dynamics ...