Sciweavers

509 search results - page 22 / 102
» Dynamic Modeling in Inductive Inference
Sort
View
BMCBI
2005
126views more  BMCBI 2005»
13 years 7 months ago
HomoMINT: an inferred human network based on orthology mapping of protein interactions discovered in model organisms
Background: The application of high throughput approaches to the identification of protein interactions has offered for the first time a glimpse of the global interactome of some ...
Maria Persico, Arnaud Ceol, Caius Gavrila, Robert ...
LICS
2012
IEEE
11 years 10 months ago
Logics of Dynamical Systems
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
André Platzer
NIPS
2004
13 years 9 months ago
Hierarchical Bayesian Inference in Networks of Spiking Neurons
There is growing evidence from psychophysical and neurophysiological studies that the brain utilizes Bayesian principles for inference and decision making. An important open quest...
Rajesh P. N. Rao
ISCAS
1999
IEEE
106views Hardware» more  ISCAS 1999»
14 years 5 days ago
Repeater insertion in RLC lines for minimum propagation delay
- A closed form expression for the propagation delay of a CMOS gate driving a distributed RLC line is introduced that is within 5% of dynamic circuit simulations for a wide range o...
Yehea I. Ismail, Eby G. Friedman
SPLC
2007
13 years 9 months ago
Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...
Pablo Trinidad, Antonio Ruiz Cortés, Joaqu&...