81 research outputs found
Cognitive Limits and the Beginning of Life
The question which moral status the embryo has is of great practical significance because the possibility to justify a governmental prohibition of a set of important therapeutical and scientific measures depends on a special and therefore legal protectable status of the embryo. The identity argument which is often used in this context cannot constitute this status due to its mere epistemic character under the condition of the determinism.health ethics, embryo, identity argument
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
Der Anteil von Software in industriellen Gütern und Dienstleistungen steigt stetig und deren Korrektheit ist eine deren wichtigsten Eigenschaften. Häufig werden für die Entwicklung objektorientierte Programmiersprachen eingesetzt. Die Korrektheit objektorientierter Software kann mit Hilfe dynamischer Testverfahren oder mit Hilfe formaler Methoden verifiziert werden. Dynamische Testverfahren können leicht auf jede Software angewandt werden, garantieren jedoch keine Fehlerfreiheit. Methoden der formalen Verifikation können hingegen dafür genutzt werden, Fehlerfreiheit zu garantieren. Jedoch ist ihre Anwendung wesentlich komplexer.
In dieser Arbeit wird ein neues Verfahren zu Kombination modularer, formaler Verifikationsmethoden und dynamischer Testverfahren vorgestellt. Das Ziel der vorgestellten Methodik ist es möglichst große Anteile der Software automatisiert, modular und formal zu verifizieren. Dadurch können zeitintensive, dynamische Testfälle eingespart und die Sicherheit der Software erhöht werden. Die Korrektheit von Programmabschnitten, die nicht formal verifiziert werden konnten, wird mit dynamischen Testfällen und Robustheitstests überprüft. Die Robustheitstests simulieren Fehler bezüglich aller nicht formal verifizierten Programmeigenschaften. Mit Hilfe dieser Tests wird das Verhalten der formal verifizierten Programmabschnitte im Fehlerfall analysiert. Ein sicherer Umgang mit Fehlern verhindert, dass Fehler unbemerkt durch das Gesamtsystem propagiert werden können. Stattdessen werden Fehler durch das Programm korrigiert oder die Programmausführung mit einem definierten Prozess unterbrochen. Die Robustheitstests helfen dem Entwickler, die notwendige Fehlerbehandlung zu identifizieren, zu entwickeln und final zu testen. Die auf diesem Weg entstandene Fehlerbehandlung erhöht auch die Robustheit des Gesamtsystems gegenüber potentiell nicht entdeckter Fehler.Erste PDF enthält Abbildungen in scharz-weiß; zweite PDF enthält farbige Abbildungen
Tailored Interface Energetics for Efficient Charge Separation in Metal Oxide-Polymer Solar Cells.
Hybrid organic-inorganic heterointerfaces in solar cells suffer from inefficient charge separation yet the origin of performance limitations are widely unknown. In this work, we focus on the role of metal oxide-polymer interface energetics in a charge generation process. For this purpose, we present novel benzothiadiazole based thiophene oligomers that tailor the surface energetics of the inorganic acceptor TiO2 systematically. In a simple bilayer structure with the donor polymer poly(3-hexylthiophene) (P3HT), we are able to improve the charge generation process considerably. By means of an electronic characterization of solar cell devices in combination with ultrafast broadband transient absorption spectroscopy, we demonstrate that this remarkable improvement in performance originates from reduced recombination of localized charge transfer states. In this context, fundamental design rules for interlayers are revealed, which assist the charge separation at organic-inorganic interfaces. Beside acting as a physical spacer in between electrons and holes, interlayers should offer (1) a large energy offset to drive exciton dissociation, (2) a push-pull building block to reduce the Coulomb binding energy of charge transfer states and (3) an energy cascade to limit carrier back diffusion towards the interface
Risikoadaptierte Prävention: Governance Perspective für Leistungsansprüche bei genetischen (Brustkrebs-)Risiken
Die vorliegende Studie empfiehlt, Leistungsansprüche für Personen mit interventionsfordernden (Brustkrebs-)Risiken anhand einer neuen Rechtskategorie, der ‚risikoadaptieren Prävention‘, abzubilden. Spätestens seit dem bioinformatischen Innovationsschub (Big Data) kann eine risikoadaptierte Anwendung von prophylaktischen Maßnahmen umfassend gewährleistet werden. Jedoch können die gegebenen Rechtskategorien (primäre Prävention, Vorsorge, Krankenbehandlung) das medizinische Anwendungsfeld nicht adäquat steuern
Risikoadaptierte Prävention: Governance Perspective für Leistungsansprüche bei genetischen (Brustkrebs-)Risiken
Risikoadaptierte Prävention; Governance Perspective; Gesundheitspolitik; deutsches Gesundheitswesen; Systemmedizin; Big Data; bioinformatischer Innovationsschub; genetische Brustkrebsrisiken; Hereditärer Brustkrebs; Prophylaktische Operationen; BRCA; Leistungsanspruch; Medizinrech
50 Jahre Neubau Universitätsbibliothek Stuttgart 2011
T e i l 1
Impressum, Sponsoren - Seite 4
Stephan, Werner: Einleitung und Dank - Seite 9
Einfachheit in Form und Material - less is more: Klaus-Jürgen Zabel über den Bau der Universitätsbibliothek (Interview mit Ottmar Pertschi und Christiane Rambach) - Seite 13
Paulus, Stefan: Amerika als Vorbild? Anmerkungen zu den politischen und kulturhistorischen Bedingungen an (west)deutschen Universitäten in den 1950er Jahren - Seite 19
Hering, Jürgen: Max Kade und die Technische Hochschule Stuttgart - Seite 41
Becker, Norbert: Die Technische Hochschule Stuttgart und ihre Bibliothek in der Nachkriegszeit - Seite 63
T e i l 2
Rambach, Christiane: Eine Bibliothek sucht ihren Standort - Seite 75
T e i l 3
Rambach, Christiane: Architekten auf Reisen: "new standards in library design" in Stuttgart - Seite 97
T e i l 4
Philipp, Klaus Jan: Die Universitätsbibliothek im architekturgeschichtlichen Kontext - Seite 125
Huster-Braumann, Henriette: Maximilian Debus: die Universitätsbibliothek und ihre Schrift - Seite 145
T e i l 5
Jost, Holger; Stürzebecher, Jörg: Moderate Moderne: Innenraumgestaltung der Universitätsbibliothek Stuttgart - Seite 153
T e i l 6
Küster, Bärbel: Kunst und Konsens 1958 - 1962: zur Ankaufsgeschichte der Plastik von Hans Uhlmann für die Universitätsbibliothek Stuttgart - Seite 171
Szymczyk-Eggert, Elisabeth: Die Zweigbibliothek auf dem Campus in Stuttgart-Vaihingen: vom Provisorium zur Dauereinrichtung - Seite 191
T e i l 7
Stephan, Werner: Bibliotheken der Zukunft - Seite 221
T e i l 8
Anhang:
Architekten der Universitätsbibliothek: Volkart, Zabel, Klauss und Koschlig (Christiane Rambach) - Seite 233
Richtfest am 31. Juli 1959 (Schwäbisches Stück zum Richtfest der THB am 31. Juli 1959 von Hans Volkart - Richtspruch des Zimmerpoliers der AG Kübler und Züblin zum Richtfest der Universitätsbibliothek am 31. Juli 1959) - Seite 237
"Es lebe die Bibliothek!" Interne Bibliothekseinweihung am 17. Februar 1962 - Seite 243
Skizzen (Gedanken zu einem Anbau an die Universitätsbibliothek Stuttgart von Klaus-Jürgen Zabel 2011 - Ihre Universitätsbibliothek zum Selberbauen von Stefan Pertschi) - Seite 247
Literatur zum Bau der Universitätsbibliothek Stuttgart (eine Auswahl - Christiane Rambach) - Seite 253
Abkürzungsverzeichnis, Abbildungsnachweise - Seite 258
Namen- und Sachregister (Ottmar Pertschi) - Seite 263
Autorenverzeichnis - S. 27
- …