Sciweavers

21 search results - page 4 / 5
» Some Incidence Theorems and Integrable Discrete Equations
Sort
View
AUTOMATICA
1999
145views more  AUTOMATICA 1999»
13 years 7 months ago
Control of systems integrating logic, dynamics, and constraints
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
Alberto Bemporad, Manfred Morari
AMC
2006
79views more  AMC 2006»
13 years 7 months ago
Church's thesis meets the N-body problem
``Church's thesis'' is at the foundation of computer science. We point out that with any particular set of physical laws, Church's thesis need not merely be po...
Warren D. Smith
IICAI
2007
13 years 8 months ago
Topologically Continuous Associative Memory: A Theoretical Foundation
We introduce a neural network with associative memory and a continuous topology, i.e. its processing units are elements of a continuous metric space and the state space is Euclide...
Enrique Carlos Segura
KI
2010
Springer
13 years 2 months ago
Differential Dynamic Logics
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
André Platzer
APBC
2004
122views Bioinformatics» more  APBC 2004»
13 years 8 months ago
Integrating Biopathway Databases for Large-scale Modeling and Simulation
Biopathway databases have been developed, such as KEGG and EcoCyc, that compile interaction structures of biopathways together with biological annotations. However, these biopathw...
Masao Nagasaki, Atsushi Doi, Hiroshi Matsuno, Sato...