- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Event
-
Veröffentlichung
- (where)
-
Stuttgart
- (who)
-
Universitätsbibliothek der Universität Stuttgart
- (when)
-
2016
- Creator
-
Rudolph, Tobias
- DOI
-
10.18419/opus-9357
- URN
-
urn:nbn:de:bsz:93-opus-ds-93740
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
01.03.2025, 6:52 AM 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
- Rudolph, Tobias
- Universitätsbibliothek der Universität Stuttgart
Time of origin
- 2016
Other Objects (12)
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Advances in Symbolic Probabilistic Model Checking with PRISM
Model counting of string constraints for probabilistic symbolic execution
Automatic re-contouring of repair-welded tool moulds
Contextual automatic code repair for Python programming novices
Automatic generation of interpretable hyperelastic material models by symbolic regression
Neural models for automatic program repair vs. human developers
Automatic and probabilistic foehn diagnosis with a statistical mixture model
Propositional, probabilistic and evidential reasoning : integrating numerical and symbolic approaches ; with 35 tables
Model analyses based on semantic differencing and automatic model repair
Methods for the Diagnosis and Automatic Repair of Software Systems
Methods for the diagnosis and automatic repair of software systems
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Advances in Symbolic Probabilistic Model Checking with PRISM
Model counting of string constraints for probabilistic symbolic execution
Automatic re-contouring of repair-welded tool moulds
Contextual automatic code repair for Python programming novices
Automatic generation of interpretable hyperelastic material models by symbolic regression
Neural models for automatic program repair vs. human developers
Automatic and probabilistic foehn diagnosis with a statistical mixture model
Propositional, probabilistic and evidential reasoning : integrating numerical and symbolic approaches ; with 35 tables
Model analyses based on semantic differencing and automatic model repair
Methods for the Diagnosis and Automatic Repair of Software Systems
Methods for the diagnosis and automatic repair of software systems
The probabilistic model checker Storm : symbolic methods for probabilistic model checking
Advances in Symbolic Probabilistic Model Checking with PRISM
Model counting of string constraints for probabilistic symbolic execution
Automatic re-contouring of repair-welded tool moulds
Contextual automatic code repair for Python programming novices
Automatic generation of interpretable hyperelastic material models by symbolic regression
Neural models for automatic program repair vs. human developers
Automatic and probabilistic foehn diagnosis with a statistical mixture model
Propositional, probabilistic and evidential reasoning : integrating numerical and symbolic approaches ; with 35 tables
Model analyses based on semantic differencing and automatic model repair
Methods for the Diagnosis and Automatic Repair of Software Systems