1
Publicado em 2008
Sumário: ... in SMT -- SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems -- SMELS: Satisfiability Modulo...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Sumário: ...Introduction -- Designing Hardware for FPGAs -- Chaotic ODEs: FPGA Examples -- Bifurcations...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2010
Sumário: ... MKNF Knowledge Bases -- An ASP-Based System for Team-Building in the Gioia-Tauro Seaport -- Types...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2010
Sumário: ... of a Planar System of ODEs Near a Degenerate Stationary Point -- Symbolic-Numeric Algorithms...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2006
Sumário: ... -- On the Stability of Discrete Systems -- Parallel Domain Decomposition Boundary Element Method for Large-scale Heat...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2007
Sumário: ... Equations in circuit simulation -- Model Order Reduction of Large Scale ODE Systems: MOR for ANSYS versus...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2008
Sumário: ... Algorithm on Distributed Memory Computers -- Stability Problems in ODE Estimation -- A Fast, Parallel...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2006
Sumário: ... in an SOI-Circuit -- A Staggered ALE Approach for Coupled Electromechanical Systems -- Orthogonalisation...
Obter o texto integral
Recurso Electrónico livro electrónico