DiDo Vortragsliste 2017
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.
2017
| Datum | Uhrzeit | Raum | Vortragender | Arbeitsgruppe / Institut | Thema |
|---|---|---|---|---|---|
| 19.12.2017 | - | LS14 / ISST | MA Einführungsvortrag: Entwicklung eines Workflow-Editors für Datenanalysten | ||
| 19.12.2017 | - | LS14 | MA Einführungsvortrag: Vergleich einiger DSL-Ansätze für die Steuerung eines Sensors anhand des Beispiels Rasperry Pi Sense HAT | ||
| 05.12.2017 | - | LS14 | BA Abschlussvortrag: Automatische Bestimmung von Fehlerklassifikatoren von Bugtracker-Nachrichten | ||
| 05.12.2017 | - | LS14 | BA Abschlussvortrag: Model Checking eines Materialflusssystems mittels SMT Z3 Constraint Solving | ||
| 05.12.2017 | - | LS14 | BA Abschlussvortrag: Analyse und Modellierung der Komponenten eines Materialflusssystems mittels AnyLogic | ||
| 04.12.2017 | - | MB / Wiederkehr | PA Abschlussvortrag: Energiebedarf, Eigenschaften und die damit verbundenen Interaktionen von typischen in der Produktionstechnik verwendeten Druckluftsystemen und deren Bestandteilen | ||
| 22.11.2017 | - | MB / Wiederkehr | PA Abschlussvortrag: Grundlagenuntersuchungen zur Zerspanbarkeit von LIBO-Schichten mittels des Mikrofräsens | ||
| 21.11.2017 | - | LS14/ISST | MA Einführungsvortrag: Generierung von SPARQL Anfragen durch das semantische Parsen faktoider Fragen unter Verwendung neuronaler Netze | ||
| 07.11.2017 | - | LS14 /ISST | MA Einführungsvortrag: Ein Ende-zu-Ende Dialogsystem zur Exploration und Analyse von großen Datenmengen auf Basis von neuronalen Netzen | ||
| 07.11.2017 | - | LS14 | MA Abschlussvortrag: Automatische Erstellung eines verteilten Systems unter optimaler Ausnutzung der vorhandenen Ressourcen | ||
| 01.11.2017 | - | MB / Wiederkehr | PA Abschlussvortrag: Modellierung von Werkzeugverschleiß für die Simulation von gefrästen Oberflächenstrukturen | ||
| 24.10.2017 | - | LS14 | BA Abschlussvortrag: Simulation von Berechnungsmodellen innerhalb des Softwaresyntheseframeworks CLS | ||
| 24.10.2017 | - | LS14 | BA Abschlussvortrag: Entwicklung eines Parsers für Microsoft Project zur Optimierung der darin enthaltenen Geschäftsprozesse | ||
| 10.10.2017 | - | LS14 + Autoform | BA Abschlussvortrag: AutoForm DataManager zur Verwaltung von AutoForm-Dateien | ||
| 26.09.2017 | - | LS14 | MA Abschlussvortrag: Automatische Planung von Produktionssystemen mithilfe des Constraint-Solvings | ||
| 26.09.2017 | - | LS14 | BA Abschlussvortrag: Analyse und Evaluation von Modellierungsverfahren für Planungsprozesse im Anwendungsbereich der Fabrikplanung | ||
| 19.07.2017 | - | MB / Wiederkehr | MA Abschlussvortrag: Optimierung von Mikrofräswerkzeugen für die Zerspanung hochharter Werkzeugstähle zur Erzeugung hochwertiger Oberflächen | ||
| 18.07.2017 | - | LS14 | MA Zwischenvortrag: Automatische Erstellung eines verteilten Systems unter optimaler Ausnutzung der vorhandenen Ressourcen | ||
| 04.07.2017 | - | LS14 | BA Einführungsvortrag: Entwicklung eines Tools und Durchführung einer Fallstudie zur kontinuierlichen statischen Code-Analyse | ||
| 04.07.2017 | - | LS14 | MA Abschlussvortrag: Entwicklung einer Compilations- und Ausführungsumgebung für eine formal verifizierbare imperative Sprache zur Programmierung von Raspberry Pis | ||
| 21.06.2017 | - | MB / Wiederkehr | MA Abschlussvortrag: Evaluation of an analytical approach and a geometric physically-based simulation for the prediction of stability lobe diagrams and chatter frequencies in milling processes | ||
| 06.06.2017 | - | LS14 | BA Abschlussvortrag: Konzeption und Umsetzung für eine Testauswertung DO-BINE | ||
| 06.06.2017 | - | LS14 | BA Einführungsvortrag: Automatische Bestimmung von Fehlerklassifikatoren von Bugtracker-Nachrichten | ||
| 23.05.2017 | - | LS14 | BA Einführungsvortrag: Simulation von Berechnungsmodellen innerhalb des Softwaresyntheseframeworks CLS | ||
| 23.05.2017 | - | LS14 | BA Einführungsvortrag: Analyse und Modellierung der Komponenten eines Materialflusssystems mittels AnyLogic | ||
| 23.05.2017 | - | LS14 | BA Einführungsvortrag: Model Checking eines Materialflusssystems mittels SMT Z3 Constraint Solving | ||
| 09.05.2017 | - | LS14 | BA Abschlussvortrag: Synthese von Docker-Konfigurationen unter Zuhilfenahme eines Inhabitationsalgorithmus | ||
| 09.05.2017 | - | LS14 | MA Einführungsvortrag: Automatische Planung von Produktionssystemen mithilfe des Constraint-Solvings | ||
| 09.05.2017 | - | LS14 | BA Einführungsvortrag: Entwicklung eines Parsers für Microsoft Project zur Optimierung der darin enthaltenen Geschäftsprozesse | ||
| 09.05.2017 | - | LS14 | MA Abschlussvortrag: Erweiterung von Eclipse um Java Template Code | ||
| 29.03.2017 | - | LS14 | BA Einführungsvortrag: Analyse und Evaluation von Modellierungsverfahren für Planungsprozesse im Anwendungsbereich der Fabrikplanung | ||
| 01.03.2017 | - | LS14 + AutoForm | BA Einführungsvortrag: AutoForm DataManager zur Verwaltung von AutoForm-Dateien Erstellung einer Abstraktion für das lokale Management von AutoForm-bezogenen Dateien mithilfe eines Versionsverwaltungssystems | ||
| 01.03.2017 | - | LS14 | BA Abschlussvortrag: Entwicklung eines Taxonomie-Editors für das CPS-Werkzeug zur Prozesssynthese | ||
| 15.02.2017 | - | ||||
| 01.02.2017 | - | LS14 | MA Abschlussvortrag: Verbesserung einer bestehenden Webanwendung mittels Usability Testing | ||
| 01.02.2017 | - | LS14 | MA Einführungsvortrag: Process Synthesis based on the Higher-Order Arrow Calculus |