SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: Scharf, Oliver; Olbrich, Markus; Barke, Erich: SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic. In: inis 16 (9), e1. DOI: https://doi.org/10.4108/eai.24-8-2015.2260594
- Event
-
Veröffentlichung
- (where)
-
Hannover, Hannover
- (who)
-
Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
- (when)
-
2015
- Creator
-
Scharf, Oliver
Olbrich, Markus
Barke, Erich
- DOI
-
10.15488/5036
- URN
-
urn:nbn:de:101:1-2020080810194057651166
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:42 PM CET
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Scharf, Oliver
- Olbrich, Markus
- Barke, Erich
- Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
Time of origin
- 2015
Other Objects (12)
A Compiler for Sound Floating-Point using Affine Arithmetic
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Halbautomatische Bestimmung des Volumens cystischer Kraniopharyngeome mit Hilfe eines Split-and-Merge-Algorithmus
Arithmetic
Arithmetic
Arithmetic
Arithmetic
Arithmetic.
Constrained Adaptive Control of Uncertain Switched Systems : A Study with Focus on Piecewise Affine Systems
Waiting to merge
A Compiler for Sound Floating-Point using Affine Arithmetic
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Halbautomatische Bestimmung des Volumens cystischer Kraniopharyngeome mit Hilfe eines Split-and-Merge-Algorithmus
Arithmetic
Arithmetic
Arithmetic
Arithmetic
Arithmetic.
Constrained Adaptive Control of Uncertain Switched Systems : A Study with Focus on Piecewise Affine Systems
Waiting to merge
A Compiler for Sound Floating-Point using Affine Arithmetic
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Halbautomatische Bestimmung des Volumens cystischer Kraniopharyngeome mit Hilfe eines Split-and-Merge-Algorithmus
Arithmetic
Arithmetic
Arithmetic
Arithmetic
Arithmetic.
Constrained Adaptive Control of Uncertain Switched Systems : A Study with Focus on Piecewise Affine Systems