Search

Filters

Use filters to refine the search results.

Now showing items 11-20 of 25

Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software

Huster, Stefan (Universität Tübingen, 2020-07-31)
Fine-Grained Workflow Interoperability in Life Sciences

de la Garza, Luis (Universität Tübingen, 2020-06-15)
Graph Drawing Beyond the Beaten Tracks

Förster, Henry (Universität Tübingen, 2020-11-02)
Bayesian Optimization in Robot Learning - Automatic Controller Tuning and Sample-Efficient Methods

Marco-Valle, Alonso (Universität Tübingen, 2020-07-30)
Viability in State-Action Space: Connecting Morphology, Control, and Learning

Heim, Steve (Universität Tübingen, 2020-06-03)
Detached Provenance Analysis

Müller, Tobias (Universität Tübingen, 2020-03-31)
Formal Theories of Occurrences and Substitutions

Gazzari, René (Universität Tübingen, 2020-09-03)
Innovative Processing Algorithms for Fetal Magnetoencephalographic Data

Sippel, Katrin (Universität Tübingen, 2020-09-02)
Design and Implementation of Effect Handlers for Object-Oriented Programming Languages

Brachthäuser, Jonathan Immanuel (Universität Tübingen, 2020-07-01)
The Sequence Space of Natural Proteins

Weidmann-Krebs, Laura (Universität Tübingen, 2020-06-19)

Now showing items 11-20 of 25