Search
Now showing items 1-10 of 137
Verifikation abstrakter Zustandsmaschinen
Dissertation
Die Arbeit stammt aus dem Themengebiet der Anwendung formaler Methoden im Software Engineering. Als Grundlage wurde die Spezifikationssprache der Abstrakten Zustandsmaschinen (engl. abstract state machines, kurz ASMs) ...
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 ...
Das Murine Cytomegalovirus als Vektor für nicht-virale Antigene: Untersuchungen zur Antigenpräsentation in der frühen Phase der Infektion
Dissertation
Das regulatorische immediate early (IE) Protein IE1 des murinen Cytomegalovirus (MCMV) ist ein immundominantes Antigen. Die selektive Expression der IE Gene in vitro führt zu einer effizienten Präsentation eines aus dem ...
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 ...
Oberflächenelektromyographie der autochthonen Rückenmuskulatur während isometrischer maximaler und submaximaler Kontraktion bei Patienten mit chronischen Rückenschmerzen: vergleichende Untersuchung der Muskelaktivität von Schmerzpatienten und gesunden Probanden
Dissertation
Die bestehende Diagnostik bei Wirbelsäulenleiden beschränkt sich weitgehend auf knöcherne, diskoligamentäre und neurale Strukturen. Das Oberflächen-EMG ist ein nicht invasives Verfahren, mit dem man die Funktion der ...
Vorkommen und Umweltverhalten der C1-C10 organischen Nitrate in kontinentaler und mariner Luft
Dissertation
Organonitrate als Bestandteile des photochemischen Smogs werden im Umweltkompartiment Atmosphäre gebildet und von dort aus verteilt. Für die Untersuchung der global gestreuten Luftproben wurde die Methodik der Thermodesorption ...