Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung | Nächste Überarbeitung Beide Seiten der Revision | ||
|
lehre:vortraege [2019/08/13 15:00] 127.0.0.1 Externe Bearbeitung |
lehre:vortraege [2019/08/13 15:46] foerster [September] |
||
|---|---|---|---|
| Zeile 86: | Zeile 86: | ||
| Raphael van Kempen, "Masterarbeit am IKA "Potenzial einer cloudbasierten Fusion von Dynamic Occupancy Grid Maps zur Erstellung eines kollektiven Umfeldmodells" " (Sonstiges)\\ | Raphael van Kempen, "Masterarbeit am IKA "Potenzial einer cloudbasierten Fusion von Dynamic Occupancy Grid Maps zur Erstellung eines kollektiven Umfeldmodells" " (Sonstiges)\\ | ||
| Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | Betreuer: [[lehrstuhl:mitarbeiter:kampmann]]\\ | ||
| + | |||
| + | \\ | ||
| + | **16:15-16:45**\\ | ||
| + | Ayssar Benelhedi, "A program library for Boolean functions in algebraic normal form" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| + | |||
| + | \\ | ||
| + | **16:45-17:15**\\ | ||
| + | Daniel Petri, "Eine Programmbibliothek für Produkte symbolischer Transduktoren" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| + | |||
| + | \\ | ||
| + | **17:15-17:45**\\ | ||
| + | Jannik Wortmann, "Minimierung symbolischer Transduktoren" (BA-Abschlussvortrag)\\ | ||
| + | Betreuer: [[lehrstuhl:mitarbeiter:foerster]]\\ | ||
| \\ | \\ | ||