Sciweavers

1902 search results - page 109 / 381
» Differential Dynamic Logics
Sort
View
ECAI
2008
Springer
15 years 7 months ago
Reasoning about Dynamic Depth Profiles
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
Mikhail Soutchanski, Paulo Santos
166
Voted
FUIN
2008
177views more  FUIN 2008»
15 years 5 months ago
A Multi-facet Approach to Dynamic Agent Systems
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
Marek A. Bednarczyk, Wieslaw Pawlowski, Luca Berna...
BMCBI
2010
233views more  BMCBI 2010»
15 years 5 months ago
Odefy -- From discrete to continuous models
Background: Phenomenological information about regulatory interactions is frequently available and can be readily converted to Boolean models. Fully quantitative models, on the ot...
Jan Krumsiek, Sebastian Pölsterl, Dominik M. ...
BMCBI
2008
154views more  BMCBI 2008»
15 years 5 months ago
Bayesian models and meta analysis for multiple tissue gene expression data following corticosteroid administration
Background: This paper addresses key biological problems and statistical issues in the analysis of large gene expression data sets that describe systemic temporal response cascade...
Yulan Liang, Arpad Kelemen
DAC
2007
ACM
16 years 6 months ago
Novel CNTFET-based Reconfigurable Logic Gate Design
This paper describes a family of novel dynamically reconfigurable logic gates based on double-gate carbon nanotube field-effect transistors which demonstrate p-type or n-type switc...
David Navarro, Frédéric Gaffiot, Ian...