Sciweavers

545 search results - page 103 / 109
» Understanding interaction in hybrid ubiquitous computing env...
Sort
View
JCB
2007
130views more  JCB 2007»
14 years 9 months ago
Bayesian Inference of MicroRNA Targets from Sequence and Expression Data
MicroRNAs (miRNAs) regulate a large proportion of mammalian genes by hybridizing to targeted messenger RNAs (mRNAs) and down-regulating their translation into protein. Although mu...
Jim C. Huang, Quaid Morris, Brendan J. Frey
EMSOFT
2006
Springer
15 years 1 months ago
Time-triggered implementations of dynamic controllers
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
Truong Nghiem, George J. Pappas, Rajeev Alur, Anto...
IFIPTCS
2000
15 years 1 months ago
Masaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
Thomas A. Henzinger
AC
2005
Springer
14 years 9 months ago
The state of artificial intelligence
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
Adrian A. Hopgood
COSIT
2001
Springer
122views GIS» more  COSIT 2001»
15 years 2 months ago
Spatial and Cognitive Simulation with Multi-agent Systems
The simulation of human behavior in space is an extremely interesting and powerful research method to advance our understanding of human spatial cognition and the interaction of hu...
Andrew U. Frank, Steffen Bittner, Martin Raubal