Sciweavers

213 search results - page 4 / 43
» hybrid 2000
Sort
View
IGPL
2000
82views more  IGPL 2000»
14 years 11 months ago
The Computational Complexity of Hybrid Temporal Logics
Carlos Areces, Patrick Blackburn, Maarten Marx
JSCIC
2000
51views more  JSCIC 2000»
14 years 11 months ago
Explicit Hybrid Time Domain Solver for the Maxwell Equations in 3D
Fredrik Edelvik, Gunnar Ledfelt
RC
2000
58views more  RC 2000»
14 years 11 months ago
Hybrid Rational Function Approximation and Its Accuracy Analysis
Hiroshi Kai, Matu-Tarow Noda