Sciweavers

90 search results - page 14 / 18
» Algebraic general solutions of algebraic ordinary differenti...
Sort
View
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
SIAMREV
2010
140views more  SIAMREV 2010»
13 years 2 months ago
What Shape Is Your Conjugate? A Survey of Computational Convex Analysis and Its Applications
Computational Convex Analysis algorithms have been rediscovered several times in the past by researchers from different fields. To further communications between practitioners, we ...
Yves Lucet
MOC
2002
100views more  MOC 2002»
13 years 7 months ago
Numerical computation of viscous profiles for hyperbolic conservation laws
Viscous profiles of shock waves in systems of conservation laws can be viewed as heteroclinic orbits in associated systems of ordinary differential equations (ODE). In the case of ...
Heinrich Freistühler, Christian Rohde
DATE
2002
IEEE
112views Hardware» more  DATE 2002»
14 years 9 days ago
Global Optimization Applied to the Oscillator Problem
The oscillator problem consists of determining good initial values for the node voltages and the frequency of oscillation and the avoidance of the DC solution. Standard approaches...
S. Lampe, S. Laur
LICS
1990
IEEE
13 years 11 months ago
Extensional PERs
In the paper "Extensional PERs" by P. Freyd, P. Mulry, G. Rosolini and D. Scott, a category C of "pointed complete extensional PERs" and computable maps is int...
Peter J. Freyd, P. Mulry, Giuseppe Rosolini, Dana ...