- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technische Berichte des Hasso-Plattner-Instituts für Digital Engineering an der Universität Potsdam ; 115
- Ereignis
-
Veröffentlichung
- (wo)
-
Potsdam, Potsdam
- (wer)
-
Universität Potsdam, Universitätsverlag Potsdam
- (wann)
-
2017
- Urheber
- URN
-
urn:nbn:de:kobv:517-opus4-103171
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:54 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
- Schneider, Sven
- Lambers, Leen
- Orejas, Fernando
- Universität Potsdam, Universitätsverlag Potsdam
Entstanden
- 2017
Ähnliche Objekte (12)
Symbolic model generation for graph properties
Graph generation with preserved properties
Generation of continuously adjustable vehicle models using symbolic reduction methods
Automatic generation of interpretable hyperelastic material models by symbolic regression
Efficient Symbolic Learning over Knowledge Graphs
Edge symbolic structures of second generation
Ergodic properties of low complexity symbolic systems
Automated test-case generation with symbolic execution
Symbolic stationarization of dynamic equilibrium models
SEDGE : symbolic example data generation for dataflow programs
Symbolic verification of computational security for branching-time properties.
A Symbolic Java Virtual Machine for Test Case Generation
Symbolic model generation for graph properties
Graph generation with preserved properties
Generation of continuously adjustable vehicle models using symbolic reduction methods
Automatic generation of interpretable hyperelastic material models by symbolic regression
Efficient Symbolic Learning over Knowledge Graphs
Edge symbolic structures of second generation
Ergodic properties of low complexity symbolic systems
Automated test-case generation with symbolic execution
Symbolic stationarization of dynamic equilibrium models
SEDGE : symbolic example data generation for dataflow programs
Symbolic verification of computational security for branching-time properties.
A Symbolic Java Virtual Machine for Test Case Generation
Symbolic model generation for graph properties
Graph generation with preserved properties
Generation of continuously adjustable vehicle models using symbolic reduction methods
Automatic generation of interpretable hyperelastic material models by symbolic regression
Efficient Symbolic Learning over Knowledge Graphs
Edge symbolic structures of second generation
Ergodic properties of low complexity symbolic systems
Automated test-case generation with symbolic execution
Symbolic stationarization of dynamic equilibrium models
SEDGE : symbolic example data generation for dataflow programs
Symbolic verification of computational security for branching-time properties.