1584 search results - page 164 / 317 » Interaction models for functional regression |
FMOODS
2007
14 years 11 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...
74
Voted
ESANN
2004
14 years 11 months ago
2004
To emphasize the electrical nature of information processing in the brain we use a compartmental model of single neurons. The realistic simulation of wave-like activity in the recu...
74
Voted
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...
92
Voted
ICSE
2003
IEEE-ACM
15 years 3 months ago
2003
IEEE-ACM
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
103
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...