DiDo Vortragsliste 2020
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.
2020
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 15.12.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Fiete Wennier | LS14 / Rehof | MA Abschlussvortrag: Konzeption und Entwicklung einer Applikation zur Durchführung von Last- und Performancetests im Kontext von Microservices und Kubernetes |
| 15.12.2020 | 14:15 | Telekonferenz - Daten auf Anfrage | Pina Kolling | LS14 / Rehof | BA Einführungsvortrag: Gruppentheorie des 2x2x2 Zauberwürfels und dessen Lösungsalgorithmen |
| 14.12.2020 | 12:30 | Web-Konferenz – Daten auf Anfrage | LS14 / Wiederkehr | MA Einführungsvortrag: Entwicklung eines auf Lernvideos basierten Unterrichtsvorhabens zum Thema Machine Learning in Form eines SPOC für den Schuleinsatz | |
| 14.12.2020 | 12:30 | Web-Konferenz – Daten auf Anfrage | LS14 / Wiederkehr | MA Einführungsvortrag: Potentiale und Grenzen von IIoT-Plattformen im Bereich der zerspanenden Bearbeitung | |
| 03.12.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Timo Santehanser | LS14 / Howar | BA Einführungsvortrag: Integration of Array Theory into JConstraints |
| 01.12.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Niklas Wende | LS14 / Rehof | BA Einführungsvortrag: Implementierung eines Prototypen zur Analyse der Eignung von Smartphone-Sensoren für die Wegeoptimierung durch Standorterfassung in intralogistischen Prozessen |
| 01.12.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Rico Ahlbäumer | LS14 / Rehof | MA Abschlussvortrag: Typechecking in the Calculus of Dependent Lambda Eliminations via typability in set-theoretic bounded dimension Intersection Types |
| 19.11.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Niklas Haldorn | LS14 / Howar | BA Abschlussvortrag: HL7 FHIR-basierte Umsetzung der International Patient Summary in der Elektronischen Fallakte |
| 18.11.2020 | 10:00 | Webkonferenz - Daten auf Anfrage | LS14 / Wiederkehr | BA Abschlussvortrag: Entwicklung eines Virtual-Reality-Lehrsystems zur Modal- und Stabilitätsanalyse von Fräsprozessen | |
| 17.11.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Daniel Kuhse | LS14 / Rehof | MA Einführungsvortrag: Certified code generation from inductive specifications |
| 05.11.2020 | 12:15 | Telefonkonferenz - Daten auf Anfrage | Oxana Warkentin | LS14 / Howar | MA Einführungsvortrag: Normalization of SMT Problems |
| 03.11.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Felix Laarmann | LS14 / Rehof | MA Abschlussvortrag: Coinduction in the Calculus of Dependent Lambda Eliminations |
| 03.11.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Mustafa Aden Omar | LS14 / Rehof | BA Abschlussvortrag: Implementierung eines Unity-basierten Management Tools zur Synthese von Motion Planning Algorithmen |
| 03.11.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Daniel Scholtyssek | LS14 / Rehof | MA Einführungsvortrag: Synthese von Variationen eines Systems zur Berechnung profitabler Touren für Handelsvertreter unter Zuhilfenahme eines Inhabitationsalgorithmus |
| 29.10.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Petar Juric | LS14 / Howar | MA Abschlussvortrag: Choreografische Realisierung von BPMN-Geschäftsprozessen |
| 20.10.2020 | 14:15 | Telekonferenz – Daten auf Anfrage | Rico van Endern | LS 14 / Rehof + adesso | MA Abschlussvortrag: Dialogmanagement im vom NLU abstrahierten Kontext |
| 06.10.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Marc Heyer | LS 14 / Rehof | BA Abschlussvortrag: Vergleich dreier Implementierungen eines minutengenauen Produktfeeds |
| 01.10.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Nico Koltermann | LS14 / Howar | BA Einführungsvortrag: Metaheuristische Optimierung von Reglern zur lateralen und longitudinalen Steuerung eines autonomen Rennwagens |
| 24.09.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Timm Horny | LS14 / Howar | BA Abschlussvortrag: Modellierung von Updateprozessen im smarten Heizungskeller mittels grafischer Beschreibungssprachen am Beispiel eines Balgengaszählers |
| 24.09.2020 | 13:15 | Telekonferenz – Daten auf Anfrage | Maximilian König | LS14 / Howar | BA Abschlussvortrag: Prototypische Implementierung eines systemunabhängigen Light Node zur Überwachung von Prozessen im Supply Chain Management |
| 22.09.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Tilman Zuckmantel | LS 14 / Rehof | MA Einführungsvortrag: Visualizing Scala Programs using the Unified Modelling Language |
| 16.09.2020 | 09:30 | Web-Konferenz, Daten auf Anfrage | LS14 / Wiederkehr | MA Einführungsvortrag: Modellierung der Randzonenbeeinflussung in Abhängigkeit der NC-Strategie bei Fräsprozessen | |
| 16.09.2020 | 09:30 | Web-Konferenz, Daten auf Anfrage | LS14 / Wiederkehr | BA Einführungsvortrag: Konzeption einer formalen Sprache zur Abbildung von Werkzeugschneiden und Entwicklung eines Interpreters zur Überführung in strukturierte Gitternetze | |
| 10.09.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Julien Leuering | LS14 / Howar | BA Abschlussvortrag: Skalierbare symbolische Ausführung durch strategiegewahre Parallelisierung |
| 25.08.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Jonas Wielage | LS 14 / Rehof | MA Abschlussvortrag: Statische Analyse mittels Symbolic Execution von Zustandsautomaten |
| 11.08.2020 | 14:45 | Telefonkonferenz - Daten auf Anfrage | Dominik Mäckel | LS 14 / Rehof | BA Abschlussvortrag: Synthese von Scheduling-Heuristiken für Flow Shop- und Job Shop-Probleme zur Makespanminimierung durch Komponentisierung und Rekombination |
| 11.08.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Goddy Ntongwe Asale | LS 14 / Rehof | MA Abschlussvortrag: Implementation and Evaluation of Different Prediction Models for Predicting long-term Developments of Numeric Data |
| 11.08.2020 | 15:15 | Telefonkonferenz - Daten auf Anfrage | Severin Mengers | LS 14 / Rehof | BA Abschlussvortrag: Entwicklung einer verifizierten Bibliothek für Graphalgorithmen in Idris |
| 28.07.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Nicolas Lenz | LS 14 / Rehof | BA Abschlussvortrag: Design and Algebraic Implementation of a Functional Programming Language |
| 16.07.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Daniel Meier | LS14 / Howar | BA Abschlussvortrag: Entwurf einer Metrik zur Qualitätsanalyse von Unit-Tests |
| 16.07.2020 | 13:15 | Telekonferenz – Daten auf Anfrage | Richard Stewing | LS14 / Howar | MA Abschlussvortrag: Taint-Analyse: Ein typbasierter Ansatz |
| 09.07.2020 | 13:15 | Telekonferenz – Daten auf Anfrage | Finn Thieme | LS14 / Howar | MA Einführungsvortrag: Agile Reifegradmodelle in IT-Unternehmen: Anwendung und Bezug zum Unternehmenserfolg |
| 02.07.2020 | 13:15 | Telekonferenz – Daten auf Anfrage | Brian Jahnke | LS14 / Howar | MA Abschlussvortrag: Simulationsbasierte Analyse der Sicherheit autonomer Fahrfunktionen |
| 30.06.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Inessa Azizova | LS 14 / Rehof | MA Abschlussvortrag: Planung und Evaluierung eines Modellierungsverfahrens zur Dokumentenanalyse |
| 30.06.2020 | 14:15 | Telefonkonferenz - Daten auf Anfrage | Yannik Wegener | LS 14 / Rehof | BA Einführungsvortrag: Entwicklung eines Unifikationstools zur Auswertung von IFC-Daten im Kontext von digitalen Bauantragsverfahren |
| 25.06.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Leon Hißmann | LS14 / Howar | BA Abschlussvortrag: Requirements Engineering für ein Management-Tool als Ergänzung zum Produkt in/sure Health Claims zur weiteren Steuerung des Geschäftsprozesses der Kostenrückerstattung |
| 18.06.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Tim Tannert | LS14 / Howar | MA Einführungsvortrag: Entwicklung eines verteilten Datensammlersystems im automotiven Umfeld |
| 18.06.2020 | 13:15 | Telekonferenz – Daten auf Anfrage | Brian Jahnke | LS14 / Howar | MA Abschlussvortrag: Simulationsbasierte Analyse der Sicherheit autonomer Fahrfunktionen |
| 16.06.2020 | 14:15 | Telekonferenz – Daten auf Anfrage | Mustafa Aden Omar | LS14 / Rehof | BA Einführungsvortrag: Implementierung eines Unity-basierten Management Tools zur Synthese von Motion Planning Algorithmen |
| 28.05.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Onur Basbayandur | LS14 / Howar | BA Abschlussvortrag: Entwurf einer konfigurierbaren und automatisierten Verarbeitungspipeline für Machine Learning |
| 28.05.2020 | 13:15 | Telekonferenz – Daten auf Anfrage | Timm Horny | LS14 / Howar | BA Einführungsvortrag: Modellierung von Updateprozessen im smarten Heizungskeller mittels grafischer Beschreibungssprachen am Beispiel eines Balgengaszählers |
| 19.05.2020 | 14:00 | Web-Konferenz | LS14 / Wiederkehr | BA Abschlussvortrag: Vorhersage der Prozessstabilität bei Fräsprozessen mithilfe von Verfahren des maschinellen Lernens anhand von simulierten sowie experimentellen Daten | |
| 19.05.2020 | 14:00 | Web-Konferenz | LS14 / Wiederkehr | BA Abschlussvortrag: Augmentation von Trainingsdaten für die automatisierte Kornerkennung zur Generierung von punktbasierten Werkzeugmodellen für die Simulation von Schleifprozessen mithilfe von Methoden des maschinelle | |
| 19.05.2020 | 14:00 | Web-Konferenz | LS 14 / Wiederkehr | PA Abschlussvortrag: Experimentelle Untersuchungen zu Stabilitätskriterien bei Fräsprozessen mit Hilfe einer sensorischen Messkonstruktion | |
| 14.05.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Robert Delhougne | LS14 / Howar | MA Einführungsvortrag: Design und Evaluation eines Concolic-Fuzzers auf der GraalVM für JavaScript Anwendungen |
| 07.05.2020 | 13:30 | Telekonferenz – Daten auf Anfrage | Achref Abdelkefi | LS14 / Howar | BA Abschlussvortrag: Evaluation des menschzentrierten Gestaltungsprozesses anhand eines Bibliothekssystems |
| 05.05.2020 | 14:15 | Telekonferenz – Daten auf Anfrage | Fiete Wennier | LS14 / Rehof | MA Einführungsvortrag: Konzeption und Entwicklung einer Applikation zur Durchführung von Last-und Performancetests im Kontext von Microservices und Kubernetes |
| 30.04.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Niklas Haldorn | LS14 / Howar | BA Einführungsvortrag: HL7 FHIR-basierte Umsetzung der International Patient Summary in der Elektronischen Fallakte |
| 16.04.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Richard Stewing | LS 14 / Howar | MA Einführungsvortrag: Typebasierte Taint-Analyse im Lambda-Kalkül und die Anwendung auf C |
| 16.04.2020 | 13:15 | Telekonferenz – Daten auf Anfrage | Lasse Elsbernd | LS 14 / Howar | BA Abschlussvortrag: Implementierung und Evaluation der String-Theorie Unterstützung in JConstraints unter Verwendung verschiedener String-Solver |
| 07.04.2020 | 14:00 | OH12 2.013 | Felix Laarmann | LS14 / Rehof | MA Einführungsvortrag: Entfällt: Coinduction in the Calculus of Dependent Lambda Eliminations |
| 26.03.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Daniel Plath | LS14 / Howar | BA Abschlussvortrag: Blockchain-based Smart Contracts and their Utilization in Supply Chain Management |
| 26.03.2020 | 12:30 | Telekonferenz – Daten auf Anfrage | Daniel Plath | LS14 / Howar | BA Abschlussvortrag: Blockchain-based Smart Contracts and their Utilization in Supply Chain Management |
| 27.02.2020 | 12:00 | OH12 2.013 | Petar Juric | LS14 / Howar | MA Einführungsvortrag: Entwicklungskonzepte für Microservice-Choreografien anhand von BPMN-Modellen |
| 25.02.2020 | 14:00 | OH12 2.013 | Marc Heyer | LS14 / Rehof + Babymarkt.de | BA Einführungsvortrag: Vergleich dreier Implementierungen eines minutengenauen Produktfeeds |
| 25.02.2020 | 10:30 | OH12 2.013 | LS14 / Wiederkehr | MA Abschlussvortrag: Entwicklung und Erprobung einer technischen Vorrichtung zur teilautomatisierten, nicht gekoppelten Impulsanregung für die Modalanalyse von Zerspanungswerkzeugen in CNC-Bearbeitungszentren | |
| 25.02.2020 | 10:30 | OH12 2.013 | LS14 / Wiederkehr | BA Einführungsvortrag: Entwicklung einer Methodik zur Anpassung von Bauteil-Topologien zur Reduktion von Formabweichungen beim selektiven Laserschmelzen. | |
| 25.02.2020 | 10:30 | OH12 2.015 | LS 14 / Wiederkehr | BA Einführungsvortrag: Optimierung des Anstellwinkels im 5-Achs-Fräsprozess zur Vermeidung von Ratterschwingungen mit Hilfe eines achsstellungsabhängigen Dynamikmodells | |
| 25.02.2020 | 14:00 | OH12 2.013 | Rico van Endern | LS 14 / Rehof + adesso | MA Einführungsvortrag: Dialogmanagement im vom NLU abstrahierten Kontext |
| 25.02.2020 | 14:00 | OH12 2.013 | Severin Mengers | LS14 / Rehof | BA Einführungsvortrag: Entwicklung einer verifizierten Bibliothek für Graphalogrithmen in Idris |
| 12.02.2020 | 14:00 | OH12 2.013 | Nils Bergmann | LS14 / Howar | MA Abschlussvortrag: Design einer formalen Sprache für die Spezifikation und Verifikation funktionaler Anforderungen an autonome Systeme |
| 05.02.2020 | 14:00 | OH12 2.013 | Sarah Graf | LS14 / Howar | MA Einführungsvortrag: Analyse der Widerspruchsfreiheit von fast natürlich-sprachlichen Systemanforderungen in einer domänenspezifischen Sprache |
| 05.02.2020 | 12:30 | OH12 2.013 | Julien Leuering | LS14 / Howar | BA Einführungsvortrag: Skalierbare symbolische Ausführung durch strategiegewahre Parallelisierung |
| 05.02.2020 | 13:15 | OH12 2.013 | Daniel Meier | LS14 / Howar | BA Einführungsvortrag: Entwurf einer Metrik zur Qualitätsanalyse von Unit-Tests basierend auf Objekt-Feld-Überdeckung |
| 05.02.2020 | 14:45 | OH12 2.013 | Marc Schneider | LS14 / Howar | BA Abschlussvortrag: Entwurf und Implementierung eines autonomen Einparkassistenten |
| 28.01.2020 | 14:00 | OH12 2.013 | - | LS14 / Rehof | BA Einführungsvortrag: Design and Algebraic Implementation of a Functional Programming Language |
| 22.01.2020 | 10:30 | OH12 2.019 | - | LS14 / Howar | BA Einführungsvortrag: Transformation einer monolithischen Java-Webanwendung zur containerisierten Nutzung in einer geeigneten Microservice-Architektur |
| 14.01.2020 | 14:00 | OH12 2.019 | - | LS14 / Rehof | BA Einführungsvortrag: Analyse aktueller Webtechnologien im Kontext des Potentials von JAM-Stack |
| 10.01.2020 | 10:00 | OH12 2.019 | - | LS14 / Howar | BA Einführungsvortrag: Requirements Engineering für ein Management-Tool als Ergänzung zum Produkt inlsure HealthClaims zur weiteren Steuerung des Geschäftsprozesses der Kostenrückerstattung |