Sciweavers

1902 search results - page 36 / 381
» Differential Dynamic Logics
Sort
View
CDC
2009
IEEE
261views Control Systems» more  CDC 2009»
14 years 11 days ago
Stability and stabilization of a class of ill-conditioned second order differential linear repetitive processes
: This paper considers differential linear repetitive processes which are a distinct class of 2D systems whose dynamics evolve over a subset of the upper right quadrant of the 2D p...
Pawel Grzegorz Dabkowski, Krzysztof Galkowski, Eri...
INFOCOM
2000
IEEE
13 years 11 months ago
Peering and Provisioning of Differentiated Internet Services
A key consideration in building differentiated network services is the feasibility of maintaining stable and consistent service level agreements across multiple networks where allo...
Nemo Semret, Raymond R.-F. Liao, Andrew T. Campbel...
MCS
2008
Springer
13 years 7 months ago
Parameter identification and model verification in systems of partial differential equations applied to transdermal drug deliver
The purpose of this paper is to present some numerical tools which facilitate the interpretation of simulation or data fitting results and which allow to compute optimal experimen...
Klaus Schittkowski
SIAMAM
2002
102views more  SIAMAM 2002»
13 years 7 months ago
Relaxation Oscillations in a Class of Delay Differential Equations
We study a class of delay differential equations which have been used to model hematological stem cell regulation and dynamics. Under certain circumstances the model exhibits self-...
A. C. Fowler, Michael C. Mackey
AGP
2003
IEEE
13 years 11 months ago
Using dynamic logic programming to model legal reasoning
Dynamic logic programming allows the representation and the inference of evolving knowledge. Legal knowledge reasoning needs the capability to model laws that change over time and ...
N. Graca, Paulo Quaresma