Sciweavers

977 search results - page 76 / 196
» Logic-Based Modeling in Systems Biology
Sort
View
105
Voted
CDC
2009
IEEE
125views Control Systems» more  CDC 2009»
15 years 9 months ago
Realization theory of Nash systems
Abstract— This paper deals with realization theory of socalled Nash systems, i.e. nonlinear systems the right-hand side of which is defined by Nash functions. A Nash function is...
Jana Nemcová, Mihály Petreczky, Jan ...
SRDS
1999
IEEE
15 years 8 months ago
Formal Hazard Analysis of Hybrid Systems in cTLA
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...
Peter Herrmann, Heiko Krumm
QEST
2007
IEEE
15 years 10 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
SASO
2008
IEEE
15 years 10 months ago
The Meaning of Semiochemicals to the Design of Self-Organizing Systems
In biology, many organisms coordinate their interactions in a self-organizing and emergent way solely by means of indirect communication based on chemical substances. These so-cal...
Holger Kasinger, Bernhard Bauer, Jörg Denzing...
RECOMB
2003
Springer
16 years 4 months ago
A multi-expert system for the automatic detection of protein domains from sequence information
We describe a novel method for detecting the domain structure of a protein from sequence information alone. The method is based on analyzing multiple sequence alignments that are ...
Niranjan Nagarajan, Golan Yona