1902 search results - page 100 / 381 » Differential Dynamic Logics |
140
click to vote
IJBC
2008
15 years 5 months ago
2008
Considering trajectory curves, integral of n-dimensional dynamical systems, within the framework of Differential Geometry as curves in Euclidean n-space it will be established in ...
179
click to vote
JAIR
2010
15 years 4 months ago
2010
We present DCL-PC: a logic for reasoning about how the abilities of agents and coalitions of agents are altered by transferring control from one agent to another. The logical foun...
132
click to vote
IJCNN
2007
IEEE
15 years 12 months ago
2007
IEEE
— Our earlier work has suggested that neuronal transmission delay may cause serious problems unless a compensation mechanism exists. In that work, facilitating neuronal dynamics ...
159
Voted
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, a novel thermal-aware dynamic placement planner for reconfigurable systems is presented, which targets transient temperature reduction. Rather than solving time-...
173
click to vote
EVOW
2009
Springer
15 years 3 months ago
2009
Springer
One of the purposes of Systems Biology is the quantitative modeling of biochemical networks. In this effort, the use of dynamical mathematical models provides for powerful tools in...