Sciweavers

258 search results - page 39 / 52
» The dynamics of deterministic systems - A survey
Sort
View
RV
2010
Springer
220views Hardware» more  RV 2010»
14 years 9 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
IJCV
2008
157views more  IJCV 2008»
14 years 10 months ago
A General Method for Sensor Planning in Multi-Sensor Systems: Extension to Random Occlusion
Systems utilizing multiple sensors are required in many domains. In this paper, we specifically concern ourselves with applications where dynamic objects appear randomly and the s...
Anurag Mittal, Larry S. Davis
AHS
2007
IEEE
241views Hardware» more  AHS 2007»
15 years 5 months ago
Extreme Temperature Electronics - from Materials to Bio-inspired Adaptation
Biological systems have inherent mechanisms which ensure their adaptation and thus survival — preservation of functionality, despite extreme and varying environments. One such e...
Dragana Laketic, Pauline C. Haddow
CORR
2011
Springer
149views Education» more  CORR 2011»
14 years 6 months ago
General Iteration graphs and Boolean automata circuits
This article is set in the eld of regulation networks modeled by discrete dynamical systems. It focuses on Boolean automata networks. In such networks, there are many ways to upd...
Mathilde Noual
WABI
2005
Springer
124views Bioinformatics» more  WABI 2005»
15 years 4 months ago
Reconstructing Metabolic Networks Using Interval Analysis
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
Warwick Tucker, Vincent Moulton