Filtern
Erscheinungsjahr
- 2013 (87) (entfernen)
Dokumenttyp
- Bachelorarbeit (31)
- Dissertation (23)
- Ausgabe (Heft) zu einer Zeitschrift (13)
- Masterarbeit (12)
- Diplomarbeit (3)
- Studienarbeit (3)
- Konferenzveröffentlichung (1)
- Habilitation (1)
Schlagworte
- Pflanzenschutzmittel (3)
- Information Retrieval (2)
- Routing (2)
- Vorlesungsverzeichnis (2)
- ABox (1)
- Abduktion <Logik> (1)
- Aggregation (1)
- Agrochemikalien (1)
- Arbeitsbelastungen (1)
- Arbeitszufriedenheit (1)
Institut
- Fachbereich 4 (50)
- Fachbereich 7 (9)
- Zentrale Einrichtungen (8)
- Fachbereich 8 (4)
- Institut für Computervisualistik (4)
- Institut für Informatik (4)
- Institute for Web Science and Technologies (2)
- Fachbereich 5 (1)
- Institut für Germanistik (1)
- Institut für Integrierte Naturwissenschaften, Abt. Biologie (1)
Autonome Systeme, wie Roboter, sind bereits Teil unseres täglichen Lebens. Eine Sache, in der Menschen diesen Maschinen überlegen sind, ist die Fähigkeit, auf sein Gegenüber angemessen zu reagieren. Dies besteht nicht nur aus der Fähigkeit zu hören, was eine Person sagt, sondern auch daraus, ihre Mimik zu erkennen und zu interpretieren.
In dieser Bachelorarbeit wird ein System entwickelt, welches automatisch Gesichtsausdrücke erkennt und einer Emotion zuordnet. Das System arbeitet mit statischen Bildern und benutzt merkmalsbasierte Methoden zur Beschreibung von Gesichtsdaten. In dieser Arbeit werden gebräuchliche Schritte analysiert und aktuelle Methoden vorgestellt. Das beschriebene System basiert auf 2D-Merkmalen. Diese Merkmale werden im Gesicht detektiert. Ein neutraler Gesichtsausdruck wird nicht als Referenzbild benötigt. Das System extrahiert zwei Arten von Gesichtsparametern. Zum einen sind es Distanzen, die zwischen den Merkmalspunkten liegen. Zum anderen sind es Winkel, die zwischen den Linien liegen, die die Merkmalspunkte verbinden. Beide Arten von Parametern werden implementiert und getestet. Der Parametertyp, der die besten Ergebnisse liefert, wird schließlich in dem System benutzt. Eine Support Vector Machine (SVM) mit mehreren Klassen klassifiziert die Parameter. Das Ergebnis sind Kennzeichen von Action Units des Facial Action Coding Systems (FACS). Diese Kennzeichen werden einer Gesichtsemotion zugeordnet.
Diese Arbeit befasst sich mit den sechs Basisgesichtsausdrücken (glücklich, überrascht, traurig, ängstlich, wütend und angeekelt) plus dem neutralen Gesichtsausdruck. Das vorgestellte System wird in C++ implementiert und an das Robot Operating System (ROS) angebunden.
Das Ziel der Bachelor-Arbeit ist es, einen existierenden sechsbeinigen Kleinroboter zu programmieren, der dann in der Lage sein soll, seine Umgebung autonom zu explorieren und eine Karte selbiger zu erstellen. Zur Umgebungswahrnehmung soll ein Laserscanner integriert werden. Die Erstellung der Karte sowie die Selbstlokalisation des Roboters erfolgt durch Anbindung des Sensors an ein geeignetes SLAM (Simultaneous Localization and Mapping) Verfahren. Die Karte soll die Grundlage für die Pfadplanung und Hindernisvermeidung des Roboters bilden, die ebenfalls im Rahmen dieser Arbeit entwickelt werden sollen. Dazu werden sowohl GMapping als auch Hector Mapping verwendet und getestet.
In der Arbeit wird zudem ein xplorationsalgorithmus beschrieben, mit welchem der Roboter seine Umgebung erkunden kann. Die Umsetzung auf dem Roboter erfolgt innerhalb des ROS (Robot Operating System) Frameworks auf einem "Raspberry Pi" Miniatur-PC.
Ein Kinect-Sensor verfügt über die Fähigkeit, gleichzeitig Farb- und Tiefenbilder aufzunehmen. In dieser Bachelorarbeit wird versucht, das Tiefenbild zu nutzen, um Beleuchtungsinformationen und Materialeigenschaften im Farbbild zu manipulieren. Die vorgestellten Verfahren zur Beleuchtungs- und Materialmanipulation benötigen eine Lichtsimulation der Lichtverhältnisse zum Zeitpunkt der Aufnahme und übertragen dann Informationen aus einer neuen Lichtsimulation direkt zurück in das Farbbild. Da die Simulationen auf einem dreidimensionalen Modell durchgeführt werden, wird nach einem Weg gesucht, ein solches aus einem einzigen Tiefenbild zu erzeugen. Dabei wird auf Probleme der Tiefendatenerfassung des Kinect-Sensors eingegangen. Es wird ein Editor entwickelt, mit dem Beleuchtungsund Materialmanipulationen möglich gemacht werden sollen. Zum Erzeugen einer Lichtsimulation werden einfache, echtzeitfähige Renderingverfahren und Beleuchtungsmodelle vorgestellt. Mit ihnen werden neue Beleuchtungssituationen, Schatten und Spiegelungen in das Farbbild eingefügt. Einfache Umgebungen mit definierten Lichtverhältnissen werden in Experimenten manipuliert, um Grenzen und Möglichkeiten des Sensors und der verwendeten Verfahren aufzuzeigen.
Diese Bachelorarbeit beschreibt die Konzeption, Implementierung und Evaluierung eines kollaborativen Multiplayer-Games für Kleinkinder für mobile Geräte.
Das Ziel dieser Bachelorarbeit war es, herauszufinden in wie weit sich mobile Geräte wie etwa Tablet-PCs und Smartphones für das Zusammenspiel von Kindern eignen. In diesem Rahmen wurden die für die Entwicklung eines solchen Spiels relevanten Aspekte recherchiert und darauf aufbauend ein Spiel entwickelt, welches anschließend von Kleinkindern getestet wurde.
Zweite Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang Umweltwissenschaften und in den Masterstudiengängen Umweltwissenschaften und Ecotoxicology an der Universität Koblenz-Landau, Campus Landau
Ordnung zur Änderung der Einschreibeordnung für die Universität Koblenz-Landau
Dritte Ordnung zur Änderung der Gemeinsamen Prüfungsordnung für den Bachelorstudiengang und den Masterstudiengang "Psychologie" des Fachbereichs Psychologie der Universität Koblenz-Landau, Campus Landau
Vierte Ordnung zur Änderung der Gemeinsamen Prüfungsordnung für den Bachelorstudiengang und den Masterstudiengang "Psychologie" des Fachbereichs Psychologie der Universität Koblenz-Landau, Campus Landau
Dritte Ordnung zur Änderung der Prüfungsordnung für den Bachelorstudiengang "Sozialwissenschaften" und den Masterstudiengang "Moderne Gesellschaften im Wandel" des Fachbereichs 6: Kultur- und Sozialwissenschaften an der Universität Koblenz-Landau
Sechste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im lehramtsbezogenen Bachelorstudiengang an der Universität Koblenz-Landau
Vierte Ordnung zur Änderung der Prüfungsordnung für die Prüfung in den Masterstudiengängen für das Lehramt an Grundschulen, das Lehramt an Realschulen plus, das Lehramt an Förderschulen sowie das Lehramt an Gymnasien an der Universität Koblenz-Landau
Vierte Ordnung zur Änderung der Ordnung für die Prüfung im lehramtsbezogenen Zertifikatsstudiengang (Erweiterungsprüfung) an der Universität Koblenz-Landau Erste Ordnung zur Änderung der Prüfungsordnung für die Prüfung im Zwei-Fach-Bachelorstudiengang an der Universität Koblenz-Landau
Erste Ordnung zur Änderung der Ordnung für die Prüfung im Bachelorstudiengang und im Masterstudiengang Erziehungswissenschaft an der Universität Koblenz-Landau, Campus Landau
Kapitel 1 führt - unter Berücksichtigung gesamtgesellschaftlicher Tendenzen im Hinblick auf verschiedene Lebensformen - zunächst in das Thema ein. Auf Basis der Tatsache geringer Scheidungsraten von Managerehen werden unterschiedliche Annahmen formuliert, die für die Ehestabilität dieser Paare eine Rolle spielen könnten.
Im Weiteren werden hier wesentliche Fragestellungen zum Thema der vorliegenden Arbeit und deren Zielsetzung begründet. Kapitel 2 fasst den aktuellen Forschungsstand zusammen. Bisherige Untersuchungsergebnisse zum Themenfeld Manager und deren Ehen sowie auch der Ehestabilitätsforschung werden hier vorgestellt und auf ihre Relevanz hin befragt. Ziel ist es, bereits gewonnene Ergebnisse nach ihrer Bedeutung für diese Arbeit zu bewerten und entsprechende Fragestellungen daraus abzuleiten. Kapitel 3 setzt sich mit theoretischen Ansätzen zur Erklärung von Ehestabilität auseinander. Vor dem Hintergrund verschiedener Handlungsmodelle stellt sich die Frage, ob die Stabilität von Managerehen das Ergebnis von wertorientiertem, zweckorientiertem oder gar traditionalem Handeln ist. Insbesondere werden hier der kultursoziologische Ansatz von Schreiber und die Rational Choice Theorie von Esser als maßgebliche theoretische Grundlage für den Leitfaden und die Auswertung des empirischen Materials vorgestellt und erläutert. Im Anschluss daran erklärt Kapitel 4 die Voraussetzungen und den Ablauf der Erhebung der Daten und beschreibt die Paare des vorliegenden Samples. Als Methode der Befragung wurde das Leitfadeninterview gewählt, welches begründet und von seiner Konzeption wie auch seinen Inhalten her beschrieben wird. Die Erläuterung zur Durchführung der Interviews und zur Methode der Analyse der Gespräche bilden den Abschluss dieses Kapitels. Kapitel 5 führt sodann in das vorliegende empirische Material ein. Es dient der Beschreibung der interviewten Paare in der Darstellungsform von insgesamt zehn Paarportraits. Ziel hierbei ist zum einen, die Beziehungswelt der Paare abzubilden, zum anderen zu zeigen, dass es bei allen Befragten prägnant wiederkehrende Strukturelemente innerhalb der Beziehung gibt. Diese geben einen ersten Hinweis auf die besonderen Stabilitätsfaktoren von Managerehen. Das folgende Kapitel 6 fasst die Erfolgsfaktoren ehelicher Stabilität der befragten Paare zusammen. Es kann aufzeigen, wie die Faktoren Heiratsmotivation, Rollenverteilung, Paarinteraktion, Statussymbole, soziales Umfeld, Beziehungswünsche und -visionen von den Paaren beschrieben werden und welche Rolle sie im Hinblick auf die Ehestabilität der Paare spielen. Hier wird deutlich dass es bei den Aussagen der Befragten große Strukturähnlichkeiten gibt, die es erlauben von einem Sondertypus "stabile Ehe" zu sprechen. In einer zusammenfassenden Beschreibung wird herausgestellt, welche Merkmale diesen besonderen Typus kennzeichnen und was ihn letztendlich charakterisiert. Managerehepaare leben in einer erfolgreichen Lebensform zusammen. Sie stellen einen Sondertypus unter den bisher bekannten Lebensformen dar. Das Schlusskapitel 7 fasst die Ergebnisse dieser Arbeit zusammen und pointiert sie in der Konstruktion einer managerspezifischen Lebensform, für die der Name LTA (Living Together Apart)20 gewählt wurde.
Die vorliegende Dissertation behandelt den Einsatz von Theorembeweise innerhalb der automatischen Fragebeantwortung (question answering - QA). QA-Systeme versuchen, natürlichsprachliche Fragen korrekt zu beantworten. Sie verwenden eine Vielzahl von Methoden aus der Computerlinguistik und der Wissensrepräsentation, um menschliche Sprache zu verarbeiten und die Antworten aus umfangreichen Wissensbasen zu beziehen. Diese Methoden sind allerdings meist syntaxbasiert und können kein implizites Wissen herleiten. Die Theorembeweiser der automatischen Deduktion dagegen können Folgerungsketten mit Millionen von Inferenzschritten durchführen. Die Integration eines Beweisers in ein QA-System eröffnet die Möglichkeit, aus den Fakten einer Wissensbasis neues Wissen herzuleiten und somit die Fragebeantwortung zu verbessern. Herausforderungen liegen in der Überwindung der gegensätzlichen Herangehensweisen von Fragebeantwortung und Deduktion: Während QA-Methoden normalerweise darauf abzielen, auch mit unvollständigen oder fehlerhaften Daten robust und schnell zu halbwegs annehmbaren Ergebnissen zu kommen, verwenden Theorembeweiser logische Kalküle zur Gewinnung exakter und beweisbarer Resultate. Letzterer Ansatz erweist sich sich aber als schwer vereinbar mit der Quantität und der Qualität der im QA-Bereich üblichen Wissensbestände.
Die Dissertation beschreibt Anpassungen von Theorembeweisern zur Überwindung dieser Hürden. Zentrales Beispiel ist der an der Universität Koblenz-Landau entwickelte Beweiser E-KRHyper, der im Rahmen dieser Dissertation in das QA-System LogAnswer integriert worden ist. Außerdem vorgestellt werden zusätzliche Erweiterungsmöglichkeiten auf der Implementierungs- und der Kalkülebene, die sich aus dem praktischen Einsatz bei der Fragebeantwortung ergeben haben, dabei aber generell für Theorembeweiser von Nutzen sein können. Über die reine Deduktionsverbesserung der QA hinausgehend beinhalten diese Erweiterungen auch die Anbindung externer Wissensquellen wie etwa Webdienste, mit denen der Beweiser während des Deduktionsvorgangs gezielt Wissenslücken schließen kann. Zudem ermöglicht dies die Nutzung externer Ontologien beispielsweise zur Abduktion. Evaluationsergebnisse aus eigenen Versuchsreihen und aus Wettbewerben demonstrieren die Effektivität der diskutierten Methoden.
This paper originates from the FP6 project "Emergence in the Loop (EMIL)" which explores the emergence of norms in artificial societies. Part of work package 3 of this project is a simulator that allows for simulation experiments in different scenarios, one of which is collaborative writing. The agents in this still prototypical implementation are able to perform certain actions, such as writing short texts, submitting them to a central collection of texts (the "encyclopaedia") or adding their texts to texts formerly prepared by other agents. At the same time they are able to comment upon others' texts, for instance checking for correct spelling, for double entries in the encyclopaedia or for plagiarisms. Findings of this kind lead to reproaching the original authors of blamable texts. Under certain conditions blamable activities are no longer performed after some time.