1902 search results - page 143 / 381 » Differential Dynamic Logics |
178
click to vote
ECAI
2004
Springer
16 years 3 days ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...
216
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
Fluid flow in porous media is a dynamic process that is traditionally modeled using PDE (Partial Differential Equations). In this approach, physical properties related to fluid fl...
195
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The use of hybrid dynamical systems to model gene regulation is impelled by the switch-like behaviour of the latter. Piecewise affine differential equations is one of the...
158
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Contact processes describe the transmission of distinct properties of nodes via the links of a network. They provide a simple framework for many phenomena, such as epidemic spreadi...
165
click to vote
ALIFE
2005
15 years 6 months ago
2005
Biological development is a remarkably complex process. A single cell, in an appropriate environment, contains sufficient information to generate a variety of differentiated cell ...