Monografie
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
- Sprache
-
Englisch
- Identifier
-
1118500091
- Thema
-
symbolic simulation; verification; mixed-signal; Hochschulschrift
- Beteiligte Personen und Organisationen
-
Radojičić, Čarna
Grimm, Christoph
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Radojičić, Čarna
- Grimm, Christoph
Ähnliche Objekte (12)
Analytic K-homology, arithmetic manifolds and symbolic dynamics
A Compiler for Sound Floating-Point using Affine Arithmetic
Extended Libor Market Models with Affine and Quadratic Volatility
Mixed signal circuit verification using symbolic model checking techniques
Variation-aware behavioural modelling using support vector machines and affine arithmetic
A Case Study on Case-Based and Symbolic Learning : (extended abstract)
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
On Variable Orderings in MCSAT for Non-linear Real Arithmetic : (extended abstract)
Extended semiclassical approximations for systems with mixed phase space dynamics
Extended Beta Regression in R: Shaken, Stirred, Mixed, and Partitioned
Arithmetic.
Arithmetic
Analytic K-homology, arithmetic manifolds and symbolic dynamics
A Compiler for Sound Floating-Point using Affine Arithmetic
Extended Libor Market Models with Affine and Quadratic Volatility
Mixed signal circuit verification using symbolic model checking techniques
Variation-aware behavioural modelling using support vector machines and affine arithmetic
A Case Study on Case-Based and Symbolic Learning : (extended abstract)
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
On Variable Orderings in MCSAT for Non-linear Real Arithmetic : (extended abstract)
Extended semiclassical approximations for systems with mixed phase space dynamics
Extended Beta Regression in R: Shaken, Stirred, Mixed, and Partitioned
Arithmetic.
Arithmetic
Analytic K-homology, arithmetic manifolds and symbolic dynamics
A Compiler for Sound Floating-Point using Affine Arithmetic
Extended Libor Market Models with Affine and Quadratic Volatility
Mixed signal circuit verification using symbolic model checking techniques
Variation-aware behavioural modelling using support vector machines and affine arithmetic
A Case Study on Case-Based and Symbolic Learning : (extended abstract)
SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
On Variable Orderings in MCSAT for Non-linear Real Arithmetic : (extended abstract)
Extended semiclassical approximations for systems with mixed phase space dynamics
Extended Beta Regression in R: Shaken, Stirred, Mixed, and Partitioned
Arithmetic.