Disputationer
On 5 juni - Sö 30 juni
-
Disputationer
Electrical Engineering
onsdag 2019-06-05, 10.00
Plats: Room Q2, Malvinas väg 10, 100 14 Stockholm
Respondent: Philipp Schillinger , Decision and Control Systems
2019-06-05T10:00:00.000+02:00 2019-06-05T10:00:00.000+02:00 Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems (Disputationer) Room Q2, Malvinas väg 10, 100 14 Stockholm (KTH, Stockholm, Sweden)Specification Decomposition and Formal Behavior Generation in Multi-Robot Systems (Disputationer) -
Disputationer
Elektro- och systemteknik
onsdag 2019-06-05, 14.00
Plats: Kollegiesalen, Brinellvägen 8, KTH, Stockholm, Sverige
Respondent: Rúdi Henrique Cavalerio Soares , Elkraftteknik
2019-06-05T14:00:00.000+02:00 2019-06-05T14:00:00.000+02:00 Modelling and analysis of the interaction of batteries and power electronic converters (Disputationer) Kollegiesalen, Brinellvägen 8, KTH, Stockholm, Sverige (KTH, Stockholm, Sweden)Modelling and analysis of the interaction of batteries and power electronic converters (Disputationer) -
Disputationer
Electrical Engineering
tisdag 2019-06-11, 10.00
Plats: room Q2, Malvinas väg 10
Respondent: Maoxiang Guo , Micro and Nano Systems
2019-06-11T10:00:00.000+02:00 2019-06-11T10:00:00.000+02:00 Digital Electrical DNA Sensing (Disputationer) room Q2, Malvinas väg 10 (KTH, Stockholm, Sweden)Digital Electrical DNA Sensing (Disputationer) -
Disputationer
Elektro- och systemteknik
onsdag 2019-06-12, 10.00
Plats: H1, Teknikringen 33, KTH, Stockholm, Sverige
Respondent: Marina Oluic , Elkraftteknik
2019-06-12T10:00:00.000+02:00 2019-06-12T10:00:00.000+02:00 Dynamic Security Region Assessment (Disputationer) H1, Teknikringen 33, KTH, Stockholm, Sverige (KTH, Stockholm, Sweden)Dynamic Security Region Assessment (Disputationer) -
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)