133 search results - page 7 / 27 » Dissipativity properties of detailed models of synchronous g... |
SAIG
2000
Springer
13 years 11 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
ESANN
2007
13 years 9 months ago
2007
Natural cortical neurons form functional networks through a complex set of developmental steps. A key process in early development is the transition of the spontaneous network dyna...
LORI
2009
Springer
14 years 2 months ago
2009
Springer
We introduce a new type of arrow in the update frames (or “action models”) of Dynamic Epistemic Logic in a way that enables us to reason about epistemic temporal dynamics in m...
JSS
2010
13 years 2 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
NFM
2011
13 years 1 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...