936 search results - page 33 / 188 » Mathematical Models of Endocrine Systems |
GECCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. Different approaches to infer the dependencies of gene r...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...
SASO
2009
IEEE
14 years 4 months ago
2009
IEEE
Creolization is a self-organization process of new language community. Thus far, a simulation study of the emergence of creoles has been reported in a mathematical framework. In t...
CALCO
2005
Springer
14 years 3 months ago
2005
Springer
Simulations are a very natural way of relating concurrent systems, which are mathematically modeled by Kripke structures. The range of available notions of simulations makes it ver...