Suche - DAES - TU Dortmund

Suche
Personensuche

Suchergebnisse filtern

Ergebnisse pro Seite:

378 Ergebnisse

1. Computer Science
2. Studies
3. During studies
4. Theses
Master-Arbeit

informiert (wichtig für Schritt 5). Erst nach dieser Benachrichtigung kann die Prüfungsverwaltung einen sogenannten "Laufzettel" für Ihre Abschlussarbeit austellen (s.u.). 5. Schritt: Kontaktaufnahme zur …
1. EC
2. Meldung: 12.6.2025
Pauline Speckmann erhält den Vinton G. Cerf Best Student-Authored Paper Award

Theorizing with User Interviews: A Case Study for AI Energy Labels” ( DOI: 10.1007/978-3-031-93979-2_5 ). Das Paper erweitert die Methodologie des Design Science Research (DSR) und behandelt den Einsatz …
1. Arbeitsgruppe Systemsoftware
Impressum

senden Die Technische Universität (TU) Dortmund ist gem. § 2 Abs. 1 Satz 1 i.V.m. § 1 Abs. 2 Satz 1 Nr. 5 des Gesetzes über die Hochschulen des Landes Nordrhein-Westfalen (HG NRW) eine vom Land Nordrhein-Westfalen …
1. VM
2. Service
Anfahrt

Eichlinghofen und dem Technologiezentrum über Campus Süd und Dortmund Universität S, Linie 2 pendelt im 5-Minuten-Takt zwischen Campus Nord und Campus Süd. Diese Strecke legt sie in zwei Minuten zurück. Mit …
1. Computer Science
2. Department
3. Committees and contact persons
4. Department council (FR)
Studienrelevante Beschlüsse des FR

pdf PDF (2 MB) FRB-Inf-2017-03.pdf PDF (1 MB) FRB-Inf-2018-01.pdf PDF (1 MB) FRB-Inf-2019-01.pdf PDF (5 MB) FRB-Inf-2019-02.pdf PDF (4 MB) FRB-Inf-2019-03.pdf PDF (2 MB) FRB-Inf-2020-01.pdf PDF (2 MB) FR …
1. LOGIC-IN
2. Teaching
3. Courses
Artificial Intelligence meets Formal Methods

learn automata using machine learning methods, (4) how to verify neural networks using formal methods, (5) how to use automata in reinforcement learning, or (6) how to solve SAT problems using machine learning …
1. Arbeitsgruppe Systemsoftware
2. Lehre
3. Archiv
4. Wintersemester 2022/2023
5. Betriebssystembau
Vorlesung

aus Sicht der Hardware ( Handout ) 4 24.10.2022 Unterbrechungen aus Sicht der Software ( Handout ) 5 07.11.2022 Zweiphasige Unterbrechungsbehandlung ( Handout ) 6 14.11.2022 Unterbrechungssynchronisation …
1. Computer Science
2. Studies
3. During studies
4. NF-AF
5. Service Information Technology
Auslaufbestimmungen DLI Master

2024 (MPO AngInf) in ihrer aktuellen Fassung fort. § 29 Absatz 8 MPO AngInf_alt gilt entsprechend. (5) Studierende gemäß Absatz 2 und 3 können im Anwendungsfach Enterprise Computing die Leistungspunkte …
1. LOGIC-IN
2. Teaching
3. Courses
4. Previous semesters
5. Wintersemester 2023/2024
Artificial Intelligence meets Formal Methods

learn automata using machine learning methods, (4) how to verify neural networks using formal methods, (5) how to use automata in reinforcement learning, or (6) how to solve SAT problems using machine learning …
1. Computer Science
2. Meldung: 20.2.2026
Ist Information digital? Eine Verteidigung der Realität

war zuvor Vorsitzender des EECS Department an UC Berkeley. Veranstaltungsdetails: Datum: Donnerstag, 5. März 2026 Zeit: 13:00 – 15:00 Uhr Ort: Hörsaal E23, Otto-Hahn-Straße 14 (OH14), Fakultät für Informatik …