SimuTools - Split and merge strategies for solving uncertain equations using affine arithmetic
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
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
- Ereignis
-
Veröffentlichung
- (wo)
-
Hannover, Hannover
- (wer)
-
Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
- (wann)
-
2015
- Urheber
-
Scharf, Oliver
Olbrich, Markus
Barke, Erich
- DOI
-
10.15488/5036
- URN
-
urn:nbn:de:101:1-2020080810194057651166
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 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.
Beteiligte
- Scharf, Oliver
- Olbrich, Markus
- Barke, Erich
- Gottfried Wilhelm Leibniz Universität Hannover, Technische Informationsbibliothek (TIB)
Entstanden
- 2015
Ähnliche Objekte (12)
A Compiler for Sound Floating-Point using Affine Arithmetic
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation
Halbautomatische Bestimmung des Volumens cystischer Kraniopharyngeome mit Hilfe eines Split-and-Merge-Algorithmus
Arithmetic
Arithmetic
Arithmetic
Arithmetic
Constrained Adaptive Control of Uncertain Switched Systems : A Study with Focus on Piecewise Affine Systems
Classification of proper non arithmetic affine manifolds in H(2,2)^{odd} and H(3,1)
Waiting to merge
A Compiler for Sound Floating-Point using Affine Arithmetic
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation
Halbautomatische Bestimmung des Volumens cystischer Kraniopharyngeome mit Hilfe eines Split-and-Merge-Algorithmus
Arithmetic
Arithmetic
Arithmetic
Arithmetic
Constrained Adaptive Control of Uncertain Switched Systems : A Study with Focus on Piecewise Affine Systems
Classification of proper non arithmetic affine manifolds in H(2,2)^{odd} and H(3,1)
Waiting to merge
A Compiler for Sound Floating-Point using Affine Arithmetic
Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic
Variation-aware behavioural modelling using support vector machines and affine arithmetic
Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation
Halbautomatische Bestimmung des Volumens cystischer Kraniopharyngeome mit Hilfe eines Split-and-Merge-Algorithmus
Arithmetic
Arithmetic
Arithmetic
Arithmetic
Constrained Adaptive Control of Uncertain Switched Systems : A Study with Focus on Piecewise Affine Systems
Classification of proper non arithmetic affine manifolds in H(2,2)^{odd} and H(3,1)