Suche
Anzeige der Dokumente 1-10 von 133
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 ...
Analysis of vertical cavity surface emitting laser diodes (VCSEL)
Beitrag zu einer Konferenz
(Universität Ulm, 1999)
DC and RF characteristics of AlN/GaN doped channel heterostructure field effect transister
Beitrag zu einer Konferenz
(Universität Ulm, 1999)
CIA - A collaboration and coordination infrastructure for personal agents
Beitrag zu einer Konferenz
(Universität Ulm, 1999)
Laser pyrolysis products - genotoxic, clastogenic and mutagenic effects of the particulate aerosol fractions
Wissenschaftlicher Artikel
(Universität Ulm, 1999)