Suchverfahren für die Lösung kombinatorischer Aufgaben; Klassische und Nichtklassische Logiken und ihre Mechanisierung; DPLL, Resolution, Tableauxverfahren und Theorembeweisen; Wissensbasierte- und Expertensysteme; Mensch-Maschinen-Schnittstellen; Mustererkennung insbesondere für interaktive Anwendungen.
Blockveranstaltung vor bzw. nach SS17: Vorlesungszeiten: 05.04.-13.04., T9.006, Dozent: R. Rojas 07.08.-15.08., T9.006, Dozent: C. Benzmüller Am 07.04. und 10.04. findet die Veranstaltung im SR049 der Takustr. 9 statt.
Das autonome Fahrzeug der Freien Universität soll im Rahmen dieses Softwareprojekts weiterentwickelt werden. Hierzu wird es konkrete Aufgaben aus einer Vielzahl von Themen aus dem Bereich des autonomen Fahrens und der Robotik geben – insbesondere aus den Themengebieten Computer Vision, Sensordatenverarbeiten, Umfeldwahrnehmung, Trajektorienplanung und Regelungstechnik. Bei der Umsetzung der ...
Das Seminar behandelt Themen rund um den Forschungsbereich autonome Fahrzeuge. Schwerpunkt sind Aufgaben, die als Grundlage einer Bachelor- oder Masterarbeit dienen sollen, wie z.B: Erkennung von Personen/Fahrzeugen mit Vision Kartengenerierung aus Trajektorien C2C-/C2X-Kommunikation Objekttracking-/prediction Sensor- / Datenfusion Lokalisierung mit Map Matching ...
Es soll ein WYSIWYG-Editor (What-you-see-is-what-you-get-Editor) für das maschinenlesbare Format TPTP THF entwickelt werden. Dieses wird zum Repräsentieren und Formalisieren von logischen Aussagen und Problemen in klassischer Prädikatenlogik höherer Stufe genutzt. Der Editor soll ein in THF formuliertes logisches Problem menschenlesbar und -editierbar machen sowie übersichtlich ...
Der Fokus dieses Proseminars liegt auf der Geschichte der Überwachung. Wir beginnen mit Texten aus der Psychologie und Soziologie, wie den Chilling Effects und Foucaults Panopticon, dem Symbol des modernen Überwachungsstaats. Dem stehen die Hackerethik und die „Unabhängigkeitserklärung des Cyberspace“ (John Barlow) entgegen. Der nächste Themenblock behandelt militärische Aufklärung ...
26.05.2017 - 28.05.2017 Das Proseminar, findet als Blockveranstaltung an einem verlängerten Wochenende statt. Die Veranstaltung endet am Sonntagnachmittag mit einer Exkursion zum Teufelsberg. Vorbesprechung am 22.02.2017, 12-14 Uhr, Takustr. 9, SR051.
Das Promovierendenkolloquium gibt Promovierenden die Möglichkeit, anderen Promovierenden und Studierenden ihr Forschungsthema oder andere spannende Themen der Informatik außerhalb der eigenen Arbeitsgruppe vorzustellen und zu diskutieren. In entspannter und ungezwungener Atmosphäre sollen sich so Verknüpfungspunkte zwischen Forschungsthemen finden lassen und eine Horizonterweiterung über ...
Im Biorobotics Lab untersuchen wir biologische Systeme (Bienenkolonien, Fischschwärme) mit Robotern (Projekte RoboBee und RoboFish) und Supercomputern (Projekt BeesBook). In den letzten Jahren sind die aufgenommenen Datenmengen erheblich gewachsen. Sehr oft sind dies Zeitserien, die die Position der Tiere, aber auch deren Verhalten reflektieren. Im Softwareprojekt werden wir eine Vielzahl von ...
Vorträge über eigene Forschung, Bachelor-, Masterarbeiten, sowie Originalarbeiten aus der Biorobotik und Künstlichen Intelligenz. Studierende können wissenschaftliche Ergebnisse geeignet präsentieren und deren Qualität beurteilen.