Suche
Anzeige der Dokumente 1-10 von 692
Construction and deduction in type theories
Dissertation
This dissertation is concerned with interactive proof construction and automated proof search in type theories, in particular the Calculus of Construction and its subsystems.
Type theories can be conceived as expressive ...
Multimedia Volltextserver (VTS) mit benutzerprofilgestütztem Push-Mechanismus - 2. Bericht zum Projektstand Juli 1999
Bericht
Das Land Baden-Württemberg stellt über die AGs "Volltexte und Hochschulpublikationen" sowie "Multimedia" der "Zukunftsoffensive Junge Generation" Mittel zum Aufbau einer virtuellen Forschungsbibliothek an den Universitäts- ...
Partielle Aufreinigung der RNase P aus Kartoffelmitochondrien
Dissertation
Die Aufreinigung der RNase P, des 5(Strich)-prozessierenden Enzyms der tRNA-Reifung, wurde ausgehend vom schon bestehenden Schema der partiellen Aufreinigung (Marchfelder und Brennicke 1994) fortgesetzt. Die Salzfällung ...
Bildung und Kompensation von Temperaturgradienten in der schnellen HPLC unter Verwendung von Micropartikel-gepackten HPLC-Säulen
Dissertation
Ziel dieser Arbeit war es, auf der Grundlage der Theorie der schnellen HPLC, extra-peakverbreiternde Effekte zu untersuchen und zu minimieren.
Es werden die Zusammenhänge zwischen Partikeldurchmesser, Fließgeschwindigkeit, ...
Neue Möglichkeiten der Charakterisierung von Mikroorganismen mittels Kapillarelektrophorese
Dissertation
In dieser Arbeit sollte die Kapillarelektrophorese (CE) als neue Methode bei der Charakterisierung und Trennung von Mikroorganismen eingeführt werden: Dazu gehörte die Untersuchung der Abhängigkeiten von verschiedenen ...
A pragmatic implementation of medical temporal reasoning for clinical medicine
Wissenschaftlicher Artikel
(Universität Ulm, 1998)
Telematics in research planning processes: an example from global health
Wissenschaftlicher Artikel
(Universität Ulm, 1998)
Chronic respiratory disease morbidity in construction workers: Patterns and prognostic significance for permanent disability and overall mortality
Wissenschaftlicher Artikel
(Universität Ulm, 1997)
Changes in the repair capacity of blood cells as a biomarker for chronic low-dose exposure to ionizing radiation
Wissenschaftlicher Artikel
(Universität Ulm, 1997)