Sciweavers

3458 search results - page 518 / 692
» Abstracting Control
Sort
View
HYBRID
2007
Springer
15 years 4 months ago
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
The lack of precise numerical information for the values of biological parameters severely limits the development and analysis of models of genetic regulatory networks. To deal wit...
Grégory Batt, Calin Belta, Ron Weiss
HYBRID
2007
Springer
15 years 4 months ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...
74
Voted
HYBRID
2007
Springer
15 years 4 months ago
Switch Detection in Genetic Regulatory Networks
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
Riccardo Porreca, Giancarlo Ferrari-Trecate, Danie...
IBPRIA
2007
Springer
15 years 4 months ago
Bayesian Oil Spill Segmentation of SAR Images Via Graph Cuts
Abstract. This paper extends and generalizes the Bayesian semisupervised segmentation algorithm [1] for oil spill detection using SAR images. In the base algorithm on which we buil...
Sónia Pelizzari, José M. Bioucas-Dia...
93
Voted
ICANN
2007
Springer
15 years 4 months ago
Neuronal Multistability Induced by Delay
Abstract. Feedback circuits are important for understanding the emergence of patterns of neural activity. In this contribution we study how a delayed circuit representing a recurre...
Cristina Masoller, M. C. Torrent, Jordi Garc&iacut...