1
Publié 2008
Table des matières: ... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...
Accéder au texte intégral
Électronique eBook
2
Table des matières: ...Introduction -- Designing Hardware for FPGAs -- Chaotic ODEs: FPGA Examples -- Bifurcations...
Accéder au texte intégral
Électronique eBook
3
Publié 2010
Table des matières: ... MKNF Knowledge Bases -- An ASP-Based System for Team-Building in the Gioia-Tauro Seaport -- Types...
Accéder au texte intégral
Électronique eBook
4
Publié 2010
Table des matières: ... of a Planar System of ODEs Near a Degenerate Stationary Point -- Symbolic-Numeric Algorithms...
Accéder au texte intégral
Électronique eBook
5
Publié 2006
Table des matières: ... -- On the Stability of Discrete Systems -- Parallel Domain Decomposition Boundary Element Method for Large-scale Heat...
Accéder au texte intégral
Électronique eBook
6
Publié 2007
Table des matières: ... Equations in circuit simulation -- Model Order Reduction of Large Scale ODE Systems: MOR for ANSYS versus...
Accéder au texte intégral
Électronique eBook
7
Publié 2008
Table des matières: ... Algorithm on Distributed Memory Computers -- Stability Problems in ODE Estimation -- A Fast, Parallel...
Accéder au texte intégral
Électronique eBook
8
Publié 2006
Table des matières: ... in an SOI-Circuit -- A Staggered ALE Approach for Coupled Electromechanical Systems -- Orthogonalisation...
Accéder au texte intégral
Électronique eBook