Search
Now showing items 1-10 of 10
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures
Glimm, Birte; Steigmiller, Andreas; Liebig, Thorsten (2014)
Bericht
Nominal schema absorption
Steigmiller, Andreas; Glimm, Birte; Liebig, Thorsten (2014)
Bericht
Analyzing the impact of process change operations on time-aware processes
Lanz, Andreas; Reichert, Manfred (2014)
Bericht
Die Zukunft der Fahrerassistenz
Bengler, Klaus et al. (2014)
Bericht
Conditioned Belief Propagation revisited (extended version)
Geier, Thomas; Richter, Felix; Biundo, Susanne (2014)
Bericht
Forschungsuniversität Ulm 2020 - dynamisch - engagiert - verlässlich
Ebeling, Karl Joachim (2014)
Bericht
Risikomanagement und Versicherung: Analyse - Beurteilung - Entscheidung
Ebeling, Karl Joachim (2014)
Bericht
Jahresbericht der Universität Ulm 2013
Ebeling, Karl Joachim (2014)
Bericht
kiz Jahresbericht 2013
Hölting, Guido (2014)
Bericht
Zurück ins Leben: Transdisziplinäre Traumaforschung - Physische und psychische Traumen verstehen, behandeln, vermeiden
Ebeling, Karl Joachim (2014)
Bericht