Disputationer
Fr 14 juni
-
Disputationer
Elektro- och systemteknik
fredag 2019-06-14, 10.00
Plats: Q31, Malvinas väg 6B, KTH, 100 44 Stockholm
Licentiand: Sofie Ahlberg , Reglerteknik
2019-06-14T10:00:00.000+02:00 2019-06-14T10:00:00.000+02:00 Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications (Disputationer) Q31, Malvinas väg 6B, KTH, 100 44 Stockholm (KTH, Stockholm, Sweden)Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications (Disputationer) -
Disputationer
Information and Communication Technology
fredag 2019-06-14, 10.00
Plats: Ka-Sal B (Sal Peter Weissglas), Kistagången 16, Kista
Respondent: Muhammad Shakir , Electronics
2019-06-14T10:00:00.000+02:00 2019-06-14T10:00:00.000+02:00 Process Design Kit and High-Temperature Digital ASICs in Silicon Carbide (Disputationer) Ka-Sal B (Sal Peter Weissglas), Kistagången 16, Kista (KTH, Stockholm, Sweden)Process Design Kit and High-Temperature Digital ASICs in Silicon Carbide (Disputationer) -
Disputationer
Elektro- och systemteknik
fredag 2019-06-14, 10.00
Plats: Hörsal F3, KTH, Lindstedtsvägen 26, 100 44 Stockholm
Respondent: Sebastian Schiessl , Teknisk informationsvetenskap
2019-06-14T10:00:00.000+02:00 2019-06-14T10:00:00.000+02:00 Performance Trade-offs for Ultra-Reliable Low-Latency Communication Systems (Disputationer) Hörsal F3, KTH, Lindstedtsvägen 26, 100 44 Stockholm (KTH, Stockholm, Sweden)Performance Trade-offs for Ultra-Reliable Low-Latency Communication Systems (Disputationer) -
Disputationer
Datalogi
fredag 2019-06-14, 14.00
Plats: Kollegiesalen, KTH, Brinellvägen 8, 100 44 Stockholm
Respondent: Susanna Figueiredo De Rezende , Teoretisk datalogi
2019-06-14T14:00:00.000+02:00 2019-06-14T14:00:00.000+02:00 Lower Bounds and Trade-offs in Proof Complexity (Disputationer) Kollegiesalen, KTH, Brinellvägen 8, 100 44 Stockholm (KTH, Stockholm, Sweden)Lower Bounds and Trade-offs in Proof Complexity (Disputationer)