universitat_des_saarlandes

Savoirs

Programming constraint services [Elektronische Ressource] / Christian Schulte

Christian Schulte

Savoirs

Putting it all together [Elektronische Ressource] : formal verification of the VAMP / Sven Beyer

Savoirs

One learns by experience [Elektronische Ressource] : a life-span view on learning and error processing / vorgelegt von Benjamin Eppinger

Ncc Lab

Savoirs

Objects in Oz [Elektronische Ressource] / Martin Henz

Savoirs

New acquisition techniques for real objects and light sources in computer graphics [Elektronische Ressource] / Michael Goesele

Savoirs

Novel classes of side channels and covert channels [Elektronische Ressource] / Markus Dürmuth

Savoirs

Generating anaphoric expressions [Elektronische Ressource] : contextual reasoning in sentence planning / vorgelegt von Kristina Striegnitz

Savoirs

Model generation for natural language interpretation and analysis [Elektronische Ressource] / Karsten Konrad

Zise

Savoirs

Micromorphic media [Elektronische Ressource] : interpretation by homogenisation / vorgelegt von Ralf Jänicke

Savoirs

Migrating characters [Elektronische Ressource] : effective user guidance in instrumented environments / vorgelegt von Michael Kruppa

Savoirs

Modeling of flexible side chains for protein-ligand docking [Elektronische Ressource] / von Christoph Hartmann

Savoirs

Hierarchical contextual reasoning [Elektronische Ressource] / Serge Autexier

Savoirs

Algorithmic geometry via graphics hardware [Elektronische Ressource] / von Markus Oswald Denny

Savoirs

Geometric algorithms for object placement and planarity in a terrain [Elektronische Ressource] / Rahul Ray

Savoirs

Development of a system for optical high-resolution screening of primary cultured cells [Elektronische Ressource] / vorgelegt von Oliver Müller

Savoirs

Constrained shortest paths and related problems [Elektronische Ressource] / von Mark Ziegelmann

Savoirs

Development of a new class of potent and selective non-steroidal inhibitors of {17β-hydroxysteroid [17-beta-hydroxysteroid] dehydrogenase type 1 [Elektronische Ressource] : bis(hydroxyphenyl)substituted azoles, thiophenes, benzenes and aza-benzenes / von Emmanuel Bey

Emmanuel Bey

Savoirs

Expression of human steroid hydroxylases in fission yeast [Elektronische Ressource] / C̆ălin-Aurel Drăgan

Savoirs

Design and analysis of sequential and parallel single-source shortest paths algorithms [Elektronische Ressource] / Ulrich Meyer

Savoirs

Conceptual free-form styling in virtual environments [Elektronische Ressource] / von Gerold Wesche

Savoirs

A droplet-based microfluidic scheme for complex chemical reactions [Elektronische Ressource] / von Venkatachalam Chokkalingam

Hi

Savoirs

Constraint propagation in Mozart [Elektronische Ressource] / Tobias Müller

Savoirs

Biomolecules in a structured solvent [Elektronische Ressource] : a novel formulation of nonlocal electrostatics and its numerical solution / vorgelegt von Andreas Hildebrandt

Savoirs

Self-organized cyclic patterns in muscles and microscopic swimming [Elektronische Ressource] / vorgelegt von Stefan Günther

Savoirs

Two-dimensional packing problems [Elektronische Ressource] / Rolf Harren

Der Universität Des Saarlandes, © Rolf Harren, Der Naturwissenschaftlich-Technischen Fakultäten

Savoirs

The effects of cholesterol lowering agents on the proteome of primary human hepatocytes [Elektronische Ressource] / von Martin Wörner

Dipl. Biol. Martin Wörner

Savoirs

Worst case instances are fragile [Elektronische Ressource] : average case and smoothed competitive analysis of algorithms / Guido Schäfer

Savoirs

_W63-ANTS Omega-ANTS [Elektronische Ressource] : a blackboard architecture for the integration of reasoning techniques into proof planning / Volker Sorge

Savoirs

Transformations of specifications and proofs to support an evolutionary formal software development [Elektronische Ressource] / Axel Schairer

Savoirs

The neural bases of regularity learning [Elektronische Ressource] / vorgelegt von Christian Döller