Wissenschaftliche Literatur Demonstration

Jörn Mordau

Die Integration formaler Methoden zur Spezifikation von Informationssystemen

Studien zur Datenbankforschung

Informationssysteme sind komplexe Gebilde, die eine Vielzahl logischer Interdependenzen aufweisen. Der adäquate Umgang mit diesen logischen Abhängigkeiten ist für die Qualität des Endproduktes von entscheidender Bedeutung. Die Verwendung formaler Methoden, die auf der Mengenlehre und der Prädikatenlogik erster Stufe basieren, werden hier als ein hilfreiches Mittel angesehen. Das Besondere sind allerdings nicht die formalen Methoden an sich, sondern ihr spezieller…

Isabelle Chopin

Blick auf das Paris der 30er Jahre

Kolloquium der Deutsch-Französischen Gesellschaft zu Kiel 22./23. November 1997

POETICA – Schriften zur Literaturwissenschaft

Nach dem Ersten Weltkrieg nahm das literarische Leben in Paris einen neuen Aufschwung, die französische Hauptstadt erholte sich zu ihrem neuen Glanz und wurde zum strahlenden Anziehungspunkt für die Reisenden aus aller Welt. Von einer Blütezeit konnte in den 30er Jahren jedoch nicht mehr die Rede sein: zur Zeit der Machtübernahme Hitlers, der Eroberung Abessiniens durch Mussolinis Truppen und des spanischen Bürgerkrieges wurde auch Paris ein Schauplatz der…

Ulrike Schlott

Christliche und vorchristliche Beziehungen bei Kelten, Germanen und Slawen

Zur Entwicklung einer exakteren Terminologie für religionsgeschichtliche Untersuchungen

THEOS – Studienreihe Theologische Forschungsergebnisse

Wie jede andere Wissenschaft benötigt auch die Religionswissenschaft eine Fachsprache, die es erlaubt, religiöse Sachverhalte differenziert und präzise zu benennen, und die die Möglichkeit schafft, frei von Vorurteilen, Vagheiten und Mehrfachbedeutungen über diese Sachverhalte zu kommunizieren. Dieser Anspruch wurde jedoch nicht immer für selbstverständlich gehalten und ist auch heute keineswegs erfüllt.

Um diesem Mangel zu begegnen, wird in dieser Arbeit ein…

Reiner Abel

Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen

Studien zur Wirtschaftsinformatik

Vertraglich geregelte Vereinbarungen ziehen die Notwendigkeit einer Verifikation der Einhaltung aller hierdurch von den beteiligten Parteien eingegangenen Verpflichtungen nach sich. Ausschließlich mit Hilfe einer formalen Verifikationsmethode als quantitativer Basis ist die Analyse optimaler Inspektionsverfahren und die damit einhergehende Demonstration von Glaubwürdigkeit realisierbar. Neben der Aufdeckung vertragswidrigen Verhaltens steht hierbei die Abschreckung von…

Jürgen Feldkamp

Kontextermittlung und -berücksichtigung in Hypertextinformationssystemen

Forschungsergebnisse zur Informatik

In dieser Arbeit wird ein neuer Ansatz vorgestellt, der das Problem der unvollständigen Vernetzung innerhalb von großen Hypertextinformationssystemen wesentlich verringert. Es werden zusätzliche Navigationsmöglichkeiten hergeleitet, die den Hypertext dynamisch um die "fehlenden" Verbindungen ergänzt. Die Herleitung basiert dabei auf dem Informationskontext des Benutzers, d.h. jedes dieser Angebote stellt für den Benutzer eine Verbindung zu solchen Informationen her, die…

Theo Baumgärtner

Determinanten politischen Protests

Eine Untersuchung bei Landwirten in der Bundesrepublik Deutschland

POLITICA – Schriftenreihe zur politischen Wissenschaft

Die massiven, gewaltlosen Demonstrationen der Bürger in der ehemaligen DDR haben sehr eindrucksvoll aufgezeigt, in welcher Weise Protestaktionen zu wirken vermögen. Dabei scheinen die teilweise existenziellen Probleme der Landwirte in der Bundesrepublik Deutschland und deren jüngste bundesweite Aktionen wie Schlepperkolonnen, Schweigemärsche und Blockaden in den Hintergrund des öffentlichen und wissenschaftlichen Interesses getreten zu sein. [...]

Volker Wagner

Taktil-motorische Informationsverarbeitung und explizite und implizite Gedächtnisleistungen

Studienreihe psychologische Forschungsergebnisse

Das Werk zeigt, daß kognitionspsychologische, insbesondere gedächtnispsychologische Modellvorstellungen auf taktil–motorische Funktionen übertragen werden können, wodurch die beklagenswerte Fixierung auf interne mentale Phänomene überwunden erscheint. Dabei interessiert Wagner nicht nur, was Menschen denken, wenn sie handeln, sondern auch wie, d.h. durch welche nicht dem Bewusstsein zugängliche Prozesse, motorische Aktionen gesteuert werden. [...]