Sven Schneider-Winden Books

Graph repair, restoring consistency of a graph, plays a prominent role in several areas of computer science and beyond: For example, in model-driven engineering, the abstract syntax of models is usually encoded using graphs. Flexible edit operations temporarily create inconsistent graphs not representing a valid model, thus requiring graph repair. Similarly, in graph databases--managing the storage and manipulation of graph data--updates may cause that a given database does not satisfy some integrity constraints, requiring also graph repair. We present a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing repairs. In our context, we formalize consistency by so-called graph conditions being equivalent to first-order logic on graphs. We present two kind of repair algorithms: State-based repair restores consistency independent of the graph update history, whereas deltabased (or incremental) repair takes this history explicitly into account. Technically, our algorithms rely on an existing model generation algorithm for graph conditions implemented in AutoGraph. Moreover, the delta-based approach uses the new concept of satisfaction (ST) trees for encoding if and how a graph satisfies a graph condition. We then demonstrate how to manipulate these STs incrementally with respect to a graph update. Die Reparatur von Graphen, die Wiederherstellung der Konsistenz eines Graphen, spielt in mehreren Bereichen der Informatik und darüber hinaus eine herausragende Rolle: Beispielsweise wird in der modellgetriebenen Konstruktion die abstrakte Syntax von Modellen in der Regel mithilfe von Graphen kodiert. Flexible Bearbeitungsvorgänge erstellen vorübergehend inkonsistente Diagramme, die kein gültiges Modell darstellen, und erfordern daher eine Reparatur des Diagramms. Auf ähnliche Weise können Aktualisierungen in Graphendatenbanken - die das Speichern und Bearbeiten von Graphendaten verwalten - dazu führen, dass eine bestimmte Datenbank einige Integritätsbeschränkungen nicht erfüllt und auch eine Graphreparatur erforderlich macht

Graphen sind in der Informatik allgegenwärtig, weshalb Methoden zur Darstellung und Untersuchung von Grapheigenschaften von großer Bedeutung sind. Besonders wichtig ist die vollautomatische Überprüfung der Erfüllbarkeit von Grapheigenschaften. In vielen Anwendungsszenarien ist es zudem wünschenswert, Graphen zu identifizieren, die bestimmte Eigenschaften erfüllen. Bei einer unendlichen Anzahl solcher Graphen ist ein kompakter Überblick anzustreben. Die Tableau-Methode für Grapheigenschaften von Lambers und Orejas ermöglicht die Entwicklung eines Algorithmus zur Generierung symbolischer Modelle. Grapheigenschaften werden in einer speziellen Logik formuliert, die auf Graphen und Graphmorphismen basiert und äquivalent zur First-Order Logic auf Graphen ist, wie sie von Courcelle eingeführt wurde. Der parallelisierbare Algorithmus ermittelt schrittweise eine endliche Menge symbolischer Modelle, wobei jedes Modell eine Menge endlicher Graphen beschreibt, die eine bestimmte Grapheigenschaft erfüllen. Diese Modelle gewährleisten Vollständigkeit, da sie alle endlichen Modelle abdecken, die die Eigenschaft erfüllen, und Korrektheit, da sie keine Graphen beschreiben, die die Eigenschaft verletzen. Zudem ist die Kompaktheit gegeben, da kein Modell von einem anderen abgedeckt wird. Der Algorithmus kann aus jedem symbolischen Modell ein minimales endliches Modell extrahieren und weitere endliche Modelle ableiten. Implementiert ist der Algor

Inhaltsangabe:Zusammenfassung: Diese empirische Arbeit entstand in engem Zusammenhang mit dem Forschungsprojekt 'Der Heimeintritt alter Menschen und Chancen seiner Vermeidung', das 1995-1997 am Institut für Soziologie der Universität Heidelberg durchgeführt und von der Deutschen Forschungsgemeinschaft (DFG) gefördert wurde. Im Rahmen seiner Tätigkeit als wissenschaftlicher Mitarbeiter war der Autor innerhalb des Projektteams an Fragebogenkonstruktion, Auswertung des Pretests, Vorbereitung und Durchführung der bundesweiten Befragung von über 3.000 Altenheimbewohnern in über 100 Altenheimen beteiligt. In dieser Arbeit werden damit erstmals für die BRD (Ost und West) repräsentative Daten über Bewohner von Altenwohnheimen, Altenheimen und Altenpflegeheimen, deren Gesundheitszustand, ihre sozialen Netzwerke und ihre Wohnverhältnisse vor dem Heimumzug präsentiert. Derartige Daten existieren bislang für die BRD nicht. Ergänzt und verglichen werden die Heimbewohner mit den älteren, über 60jährigen Bundesbürgern in Privathaushalten. Fragestellung hierbei: Unterscheiden sich die in Einrichtungen der Altenheime untergebrachten Bundesbürger von der Bevölkerungsgruppe der Nichtheimbewohner? Wieviele Personen einer bestimmten Sozialgruppe befinden sich in Alteneinrichtungen? Wie läßt sich ehe Lebenssituation der Heimbewohner vor deren Heimeintritt beschreiben? Welche Ursachen und Lebensumstände bewegen einen alten Menschen zu dem Entschluß, in ein Heim zu ziehen? Lassen sich Prädikatoren ausmachen, die einen Helmumzug vorhersagen können? Nicht nur bei dem Vergleich der Heim- mit den gleichalten Nichtheimbewohnern ergaben sich gravierende Unterschiede in den Lebensumständen. Auch bei einem Vergleich der älteren Bürger der neuen Länder mit denen der alten sind die Unterschiede (bspw. im Gesundheitszustand, in der Kontaktstruktur, bei den freundschaftlichen Netzwerken und bei der Wohnungsausstattung) überraschend groß. Zudem wurden erstmals repräsentativ für die BRD ca. 1.500 Heimbewohner nach ihren Umzugsgründen befragt. Inhaltsverzeichnis:Inhaltsverzeichnis: A.Vorbemerkungen2 B.Gliederung3 C.Tabellenverzeichnis5 D.Abbildungsverzeichnis7 1.Einleitung8 1.1.Entdeckungszusammenhang8 1.2.Untersuchungsgegenstand und Fragestellung9 1.3.Forschungslogik und Vorgehensweise12 2.Einordnung der Fragestellung in die aktuelle Forschung14 2.1.Grundlegende Ergebnisse zur Lebenssituation14 2.1.1.Soziostrukturelle [ ]

Der Wandel von der Weimarer Republik zum Nationalsozialismus bildet den zentralen Fokus dieser Studienarbeit. Die Analyse dieser historischen Periode bietet den Vorteil, dass sie abgeschlossen ist und somit keine neuen Informationen die Bewertung beeinflussen können. Zudem wird der Prozess in einem mitteleuropäischen Kontext betrachtet, was Parallelen zu aktuellen politischen Entwicklungen aufzeigt. Die Arbeit beleuchtet die Ursachen des Scheiterns der Weimarer Republik und die Entstehung der nationalsozialistischen Diktatur, um ein tieferes Verständnis für diese entscheidende Phase der deutschen Geschichte zu ermöglichen.

Der wissenschaftliche Aufsatz aus dem Jahr 1998 behandelt zentrale Aspekte der Betriebssoziologie und analysiert Management- und Organisationsstrukturen aus einer wirtschaftlichen Perspektive. Er basiert auf einer umfassenden Literaturrecherche mit 15 Quellen und wurde an der Ruprecht-Karls-Universität Heidelberg verfasst. Der Text bietet wertvolle Einblicke in die Dynamiken innerhalb von Unternehmen und deren Auswirkungen auf die Unternehmensführung. Die Arbeit ist in deutscher Sprache verfasst und wurde mit der Note "angenommen" bewertet.

Die Dissertation untersucht den Schichtgradienten der Mortalität, ein Phänomen, das höhere Sterberaten in unteren sozialen Schichten aufzeigt. Sie analysiert verschiedene Erklärungsansätze und deren methodische Konsequenzen, während sie aktuelle Mortalitätsdaten aus dem MONICA-Projekt Augsburg nutzt. Die Studie umfasst 7.268 Personen und stellt fest, dass monetäre Deprivation und ungesunde Lebensstile stärkere Einflussfaktoren auf die Mortalität sind als belastende Arbeitsbedingungen. Die Ergebnisse bieten empirische Unterstützung für diese Hypothese und erweitern das Verständnis sozialer Ungleichheiten in der Gesundheit.

Die demografische Alterung der Gesellschaft stellt eine bedeutende Herausforderung für die Zukunft dar. Angesichts der steigenden Lebenserwartung wird erwartet, dass die Nachfrage nach wissenschaftlichen Erkenntnissen über den Zusammenhang zwischen sozialen Faktoren und Sterblichkeit in den kommenden Jahren zunehmen wird. Der Aufsatz thematisiert diese Entwicklung und beleuchtet die sozialen Dimensionen, die in der Diskussion um Gesundheit und Sterblichkeit eine Rolle spielen. Die Arbeit wurde im Rahmen eines Doktorandenkolloquiums an der Ruprecht-Karls-Universität Heidelberg verfasst und mit der Note 1,0 bewertet.

Rückenschmerzen gewinnen in westlichen Industrienationen zunehmend an medizinischer und volkswirtschaftlicher Relevanz, doch die epidemiologischen Daten sind unzureichend. Diese Habilitationsschrift bietet erstmals repräsentative Prävalenzdaten zur Verbreitung von Rückenschmerzen in Deutschland sowie zu den damit verbundenen Risikofaktoren. Zudem werden verschiedene Erklärungsansätze vorgestellt, die das Verständnis dieser Volkskrankheit vertiefen. Die Arbeit leistet somit einen wichtigen Beitrag zur Forschung im Bereich der Pathologie und zur Verbesserung der Versorgung von Betroffenen.

Der Aufsatz analysiert die Reaktionen auf schwere Gewaltakte an deutschen Schulen, wie die Morde in Meißen und Erfurt. Er kritisiert die oft unreflektierten und sensationalistischen Ansätze selbsternannter Experten, die in den Medien präsent sind. Diese Tendenzen führen zu einer verzerrten Wahrnehmung der tatsächlichen Gewaltprävalenz und behindern eine fundierte Ursachenforschung. Der Autor fordert eine differenzierte Betrachtung der Thematik, um realistische Lösungen zu entwickeln und die komplexen Zusammenhänge von Gewalt und Aggression im schulischen Kontext besser zu verstehen.

Der Beitrag untersucht das subjektive Gesundheitsempfinden und dessen Determinanten, basierend auf Befragungsdaten des Sozio-ökonomischen Panels. Es wird aufgezeigt, dass trotz ähnlicher objektiver Gesundheitsindikatoren, wie Arztbesuche oder chronische Leiden, Unterschiede im subjektiven Empfinden bestehen. Ältere Menschen, Personen mit niedriger Schulbildung und Befragte aus den neuen Bundesländern neigen dazu, ihre Gesundheit schlechter einzuschätzen. Zudem wird ein zunehmender pessimistischer Bias im Alter festgestellt. Die Analyse schließt mit einer Diskussion möglicher Ursachen für diese Effekte.