DiDo Vortragsliste 2018
Das DiDo-Seminar ist eine Veranstaltung für Bachelor- und Masterstudierende, DoktorandInnen und Postdocs. Weiterführende Informationen sind auf der DiDo-Seminar Seite zu finden.
2018
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 18.12.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | BA Abschlussvortrag: Generierung von Prozessvarianten für Microsoft Project Netzpläne mittels CLS |
| 18.12.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | MA Abschlussvortrag: Implementierung der Typinferenz im Lambda-Kalkül mit Intersektionstypen |
| 17.12.2018 | 14:00 | 2.013 OH12 | - | LS14 / Howar | MA Abschlussvortrag: Implementation and performance evaluation of an active learning algorithm for visible state-local alphabets |
| 20.11.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | BA Abschlussvortrag: Entwurf und Implementierung eines synthesebasierten Ansatzes für die flexible Ausführung von Geschäftsprozessen |
| 20.11.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | BA Abschlussvortrag: Implementierung eines Java-basierten Python3-Parsers und Syntaxbaummanipulationswerkzeugs |
| 19.11.2018 | 16:00 | OH12 2.019 | - | LS14 / Howar | BA Einführungsvortrag: Design und prototypische Entwicklung einer servicebasierten Experimentierplattform |
| 19.11.2018 | 16:30 | OH12 2.019 | - | LS14 / Howar | BA Einführungsvortrag: Entwicklung und Test von Sensor Fusion zur Unterstützung von Fahrassistenzsystemen |
| 06.11.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | MA Abschlussvortrag: Inhabitation im Lambda-Kalkül mit Intersektionstypen - Eine Implementierung in Scala |
| 06.11.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | MA Abschlussvortrag: Prinzipale Inhabitation im einfach getypten Lambda-Kalkül |
| 23.10.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | BA Abschlussvortrag: Entwicklung eines Editors für die Erstellung von Templates für Projektpläne und Planungsprozesse |
| 23.10.2018 | 14:15 | OH12 2.013 | - | LS14 / Howar | BA Abschlussvortrag: Automatisierte Generierung von Unit Tests für Java Anwendungen auf Basis von dynamischer symbolischer Ausführung |
| 23.10.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | MA Abschlussvortrag: Vergleich einiger DSL-Ansätze für die Steuerung eines Sensors anhand des Beispiels Raspberry Pi Sense HAT |
| 15.10.2018 | 15:00 | ISST 3.023 | - | ISST / Howar | BA Abschlussvortrag: Automatische Erkennung von tonisch-klonischen Anfällen mit Hilfe von maschinellen Lernverfahren auf Basis von in EPItect gewonnenen Beschleunigungsdaten |
| 15.10.2018 | 14:00 | ISST | - | ISST / Howar | MA Einführungsvortrag: Detektion von epileptischen Anfällen unter Verwendung der Puls-Transit-Zeit. |
| 09.10.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | BA Einführungsvortrag: Entwicklung eines Editors zur Modellierung von aufgabenorientierten Fabrikplanungsmodulen für die automatische Generierung von Planungsworkflows |
| 09.10.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | BA Abschlussvortrag: Concept and Implementation of a Java-based Parser and Pretty-Printer for the Coq Proof Assistant |
| 09.10.2018 | 14:15 | OH12 2.013 | - | LS14 / Rehof | MA Einführungsvortrag: Verwendung von SMT Techniken im Kontext der komponentenbasierten Softwaresynthese |
| 09.10.2018 | 14:15 | 2.013 | - | LS14 / Rehof | MA Einführungsvortrag: Statische Analyse auf Statecharts in YAKINDU SCTD |
| 12.09.2018 | 15.00 | R 2.013 | - | LS14 / Howar | BA Einführungsvortrag: Benchmarking multi-solver hierarchies in jConstraints |
| 03.09.2018 | - | MB / Wiederkehr | PA Abschlussvortrag: Wirtschaftlichkeitsbetrachtungen von Rohrleitungssystemen zur Verteilung von Druckluft in Abhängigkeit der Anordnung und verwendeten Materialien | ||
| 14.08.2018 | 14:15 | R 2.013 | - | LS14/ ISST | MA Einführungsvortrag: Comparison of an End-to-End and a Decomposition-based Approaches for Development of Virtual Assistants using Ubuntu Corpus |
| 14.08.2018 | 14:15 | R 2.013 | - | LS14 / Rehof | MA Einführungsvortrag: Implementierung der Typinferenz im Lambda-Kalkül mit Intersektionstypen |
| 31.07.2018 | 14:15 | R 2.013 | - | LS14 / Rehof | BA Einführungsvortrag: Generierung von Blockdiagrammen im Linked Process Blocks Editor unter Verwendung des Combinatory Logic Synthesizers |
| 31.07.2018 | 14:15 | R 2.013 | - | LS14 / Rehof | BA Einführungsvortrag: Entwurf und Implementierung eines synthesebasierten Ansatzes für die flexible Ausführung von Geschäftsprozessen |
| 03.07.2018 | - | LS14 / ISST | MA Abschlussvortrag: Ein Ende-zu-Ende Dialogsystem zur Exploration und Analyse von großen Datenmengen auf Basis von neuronalen Netzen | ||
| 03.07.2018 | - | LS14 / ISST | MA Abschlussvortrag: Generierung von SPARQL Anfragen durch das semantische Parsen faktoider Fragen unter Verwendung neuronaler Netze | ||
| 03.07.2018 | - | LS14 / ISST | MA Einführungsvortrag: Erweiterung einer Prorgammiersprache zur Datenverarbeitung um ein Berechtigungssystem | ||
| 03.07.2018 | - | LS14 / Howar | BA Einführungsvortrag: Entwicklung einer domänenspezifischen Sprache für Anforderungsbasierte Testfälle für Webanwendungen | ||
| 03.07.2018 | - | LS14 / Howar | BA Einführungsvortrag: Testgetriebene Entwicklung von APIs und Mediatoren am Beispiel eines Dienstes zum Lösen von logischen Bedingungen | ||
| 12.06.2018 | - | LS14 / Rehof | BA Einführungsvortrag: Implementierung eines Java-basierten Python3-Parsers und Syntaxbaummanipulationswerkzeugs | ||
| 12.06.2018 | - | LS14 / Rehof | BA Einführungsvortrag: Generierung von Prozessvarianten für Microsoft Project Netzpläne mittels CLS | ||
| 04.06.2018 | - | LS14 / Howar | BA Einführungsvortrag: Automatisierte Generierung von Unit Tests für Java Anwendungen auf Basis von dynamischer symbolischer Ausführung | ||
| 28.05.2018 | - | LS14 / Wiederkehr | BA Einführungsvortrag: Entwicklung einer adaptiven Datenstruktur zur Repräsentation von Dexelvolumenmodellen | ||
| 28.05.2018 | - | LS14 / Wiederkehr | BA Einführungsvortrag: Systematische Untersuchung und Modellierung von Unsicherheiten in Messdaten spanender Fertigungsprozesse und deren Berücksichtigung in geometrisch-physikalischen Simulationssystemen | ||
| 28.05.2018 | - | LS14 / Wiederkehr | BA Einführungsvortrag: Identifikation von Formabweichungen additiv gefertigter Bauteile hinsichtlich der spanenden Nachbearbeitung | ||
| 22.05.2018 | - | LS14 / ISST | MA Abschlussvortrag: Entwicklung eines Workflow-Editors für Datenanalysten | ||
| 14.05.2018 | - | LS14 / Howar | BA Einführungsvortrag: Design einer Domänen-spezifischen Sprache zur Beschreibung von Abläufen von Ereignissen im Straßenverkehr | ||
| 08.05.2018 | - | LS14 / Rehof | BA Einführungsvortrag: Concept and Implementation of a Parser and Pretty-Printer based on the Coq Proof Assistant | ||
| 24.04.2018 | - | LS14 / Rehof | MA Einführungsvortrag: Inhabitation im lambda-Kalkül mit Intersektionstypen - Eine Implementierung in Scala | ||
| 20.04.2018 | - | MB / Wiederkehr | MA Abschlussvortrag: Analyse der Prozessdämpfung bei der HPC Fräsbearbeitung von Flugzeugbauteilen | ||
| 10.04.2018 | - | LS14 / Rehof | MA Einführungsvortrag: Prinzipale Inhabitation im einfach getypten Lambda-Kalkül | ||
| 10.04.2018 | - | LS14 / Howar | MA Einführungsvortrag: Implementation and performance analysis of the L* algorithm for moore automata with partial table generation based on local inputs for each state | ||
| 27.03.2018 | - | LS14 | BA Einführungsvortrag: Entwicklung eines Editors für die Erstellung von Templates für Projektpläne und Planungsprozesse | ||
| 22.03.2018 | - | MB / Wiederkehr | BA Abschlussvortrag: Modellierung und Analyse eines Druckluftsystems zur Untersuchung von Interaktionen einzelner Systemkomponenten | ||
| 22.03.2018 | - | MB / Wiederkehr | BA Abschlussvortrag: Validierung eines Simulationsmodells zur Ermittlung der Leistungsaufnahme von Fräsprozessen | ||
| 30.01.2018 | - | LS14 | MA Abschlussvortrag: Process Synthesis based on the Higher-Order Arrow Calculus | ||
| 09.01.2018 | - | LS 14 | BA Abschlussvortrag: Entwicklung eines Tools und Durchführung einer Fallstudie zur kontinuirlichen statischen Code-Analyse |