Disputationer

Modeling and Parameter Estimation of Electrical Multiphase Machines in Traction Applications

4 okt

Disputationer

fredag 2024-10-04, 10.00

Plats: E3, Osquars backe 18, Stockholm

Videolänk: https://kth-se.zoom.us/webinar/register/WN_6uOecoRNTGyRWn4ELR-7Ag

Respondent: Gustaf Falk Olson , Elkraftteknik

2024-10-04T10:00:00.000+02:00 2024-10-04T10:00:00.000+02:00 Modeling and Parameter Estimation of Electrical Multiphase Machines in Traction Applications (Disputationer) E3, Osquars backe 18, Stockholm (KTH, Stockholm, Sweden)Modeling and Parameter Estimation of Electrical Multiphase Machines in Traction Applications (Disputationer)

Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation

8 okt

Disputationer

Datalogi

tisdag 2024-10-08, 13.00

Plats: Ka-Sal A (Östen Mäkitalo), Kistagången 16, Kista

Videolänk: https://kth-se.zoom.us/j/66561560361

Respondent: Viktor Palmkvist , Programvaruteknik och datorsystem, SCS

2024-10-08T13:00:00.000+02:00 2024-10-08T13:00:00.000+02:00 Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation (Disputationer) Ka-Sal A (Östen Mäkitalo), Kistagången 16, Kista (KTH, Stockholm, Sweden)Abstraction, Composition, and Resolvable Ambiguity in Programming Language Implementation (Disputationer)

Predictive and Vision-based Control for Multi-Agent Aerial and Space Systems

8 okt

Disputationer

Elektro- och systemteknik

tisdag 2024-10-08, 14.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/j/65515055298

Respondent: Pedro Roque , Reglerteknik

2024-10-08T14:00:00.000+02:00 2024-10-08T14:00:00.000+02:00 Predictive and Vision-based Control for Multi-Agent Aerial and Space Systems (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Predictive and Vision-based Control for Multi-Agent Aerial and Space Systems (Disputationer)

Mitigating AI-Enabled Cyber Attacks on Hardware, Software, and System Users

10 okt

Disputationer

Datalogi

torsdag 2024-10-10, 13.00

Plats: D31, Lindstedtsvägen 5, Stockholm

Videolänk: https://kth-se.zoom.us/j/61272075034

Respondent: Fredrik Heiding , Nätverk och systemteknik

2024-10-10T13:00:00.000+02:00 2024-10-10T13:00:00.000+02:00 Mitigating AI-Enabled Cyber Attacks on Hardware, Software, and System Users (Disputationer) D31, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Mitigating AI-Enabled Cyber Attacks on Hardware, Software, and System Users (Disputationer)

Fundamental Limits in Stochastic Bandits

11 okt

Disputationer

fredag 2024-10-11, 10.00

Plats: D37, Lindstedtsvägen 5, Stockholm

Videolänk: https://kth-se.zoom.us/j/61569027581

Respondent: Po-An Wang , Reglerteknik

2024-10-11T10:00:00.000+02:00 2024-10-11T10:00:00.000+02:00 Fundamental Limits in Stochastic Bandits (Disputationer) D37, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Fundamental Limits in Stochastic Bandits (Disputationer)

Electrical Stimulator and Surface Electromyography Integrated Circuits for Musculoskeletal Healthcare

18 okt

Disputationer

Informations- och kommunikationsteknik

fredag 2024-10-18, 10.00

Plats: Ka-Sal C (Sven-Olof Öhrvik), Kistagången 16, Kista

Respondent: Yu-Kai Huang , Elektronik och inbyggda system, Mixed-Signals ICs and Systems

2024-10-18T10:00:00.000+02:00 2024-10-18T10:00:00.000+02:00 Electrical Stimulator and Surface Electromyography Integrated Circuits for Musculoskeletal Healthcare (Disputationer) Ka-Sal C (Sven-Olof Öhrvik), Kistagången 16, Kista (KTH, Stockholm, Sweden)Electrical Stimulator and Surface Electromyography Integrated Circuits for Musculoskeletal Healthcare (Disputationer)

Representation Learning and Parallelization for Machine Learning Applications with Graph, Tabular, and Time-Series Data

21 okt

Disputationer

Datalogi

måndag 2024-10-21, 09.00

Plats: Sal C, Electrum, Kistagången 16

Videolänk: https://kth-se.zoom.us/s/63322131109

Respondent: Tianze Wang , Programvaruteknik och datorsystem, SCS

2024-10-21T09:00:00.000+02:00 2024-10-21T09:00:00.000+02:00 Representation Learning and Parallelization for Machine Learning Applications with Graph, Tabular, and Time-Series Data (Disputationer) Sal C, Electrum, Kistagången 16 (KTH, Stockholm, Sweden)Representation Learning and Parallelization for Machine Learning Applications with Graph, Tabular, and Time-Series Data (Disputationer)

On factoring integers, and computing discrete logarithms and orders, quantumly

25 okt

Disputationer

Datalogi

fredag 2024-10-25, 10.00

Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm

Respondent: Martin Ekerå , Teoretisk datalogi, TCS, Swedish NCSA, Swedish Armed Forces

2024-10-25T10:00:00.000+02:00 2024-10-25T10:00:00.000+02:00 On factoring integers, and computing discrete logarithms and orders, quantumly (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)On factoring integers, and computing discrete logarithms and orders, quantumly (Disputationer)

Code-Reuse Attacks in Managed Programming Languages and Runtimes

1 nov

Disputationer

Datalogi

fredag 2024-11-01, 09.00

Plats: E2, 1337, Osquars backe 2

Videolänk: https://kth-se.zoom.us/s/67516226890

Respondent: Mikhail Shcherbakov , Teoretisk datalogi, TCS, Language-Based Security

2024-11-01T09:00:00.000+01:00 2024-11-01T09:00:00.000+01:00 Code-Reuse Attacks in Managed Programming Languages and Runtimes (Disputationer) E2, 1337, Osquars backe 2 (KTH, Stockholm, Sweden)Code-Reuse Attacks in Managed Programming Languages and Runtimes (Disputationer)

Modular and tuneable design space exploration in model-driven engineering of embedded systems

1 nov

Disputationer

Elektro- och systemteknik

fredag 2024-11-01, 13.00

Plats: Sal A, Kistagången 16, floor 2, Kista

Videolänk: https://kth-se.zoom.us/j/61167004728

Respondent: Rodolfo Jordao , Elektronik och inbyggda system, ForSyDe Group

2024-11-01T13:00:00.000+01:00 2024-11-01T13:00:00.000+01:00 Modular and tuneable design space exploration in model-driven engineering of embedded systems (Disputationer) Sal A, Kistagången 16, floor 2, Kista (KTH, Stockholm, Sweden)Modular and tuneable design space exploration in model-driven engineering of embedded systems (Disputationer)

Function Computation via Electromagnetic Superposition

4 nov

Disputationer

Elektro- och systemteknik

måndag 2024-11-04, 13.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/j/65644192644

Respondent: Henrik Hellström , Nätverk och systemteknik

2024-11-04T13:00:00.000+01:00 2024-11-04T13:00:00.000+01:00 Function Computation via Electromagnetic Superposition (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Function Computation via Electromagnetic Superposition (Disputationer)

On Implicit Smoothness Regularization in Deep Learning

7 nov

Disputationer

Datalogi

torsdag 2024-11-07, 15.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/j/62717697317

Respondent: Matteo Gamba , Robotik, perception och lärande, RPL

2024-11-07T15:00:00.000+01:00 2024-11-07T15:00:00.000+01:00 On Implicit Smoothness Regularization in Deep Learning (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)On Implicit Smoothness Regularization in Deep Learning (Disputationer)

Robust and generalizable AI for medical image processing

8 nov

Disputationer

Datalogi

fredag 2024-11-08, 13.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Respondent: Emir Konuk , Beräkningsvetenskap och beräkningsteknik (CST)

2024-11-08T13:00:00.000+01:00 2024-11-08T13:00:00.000+01:00 Robust and generalizable AI for medical image processing (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Robust and generalizable AI for medical image processing (Disputationer)

Realisering av högpresterande tillståndsbaserade nätverksfunktionskedjor på standardhårdvara

18 nov

Disputationer

Informations- och kommunikationsteknik Datalogi

måndag 2024-11-18, 15.00

Plats: Sal C (Sven-Olof Öhrvik), seminar, Kistagången 16, plan 2, Kista

Videolänk: https://kth-se.zoom.us/j/65526555288

Respondent: Hamid Ghasemirahni , Programvaruteknik och datorsystem, SCS

2024-11-18T15:00:00.000+01:00 2024-11-18T15:00:00.000+01:00 Realisering av högpresterande tillståndsbaserade nätverksfunktionskedjor på standardhårdvara (Disputationer) Sal C (Sven-Olof Öhrvik), seminar, Kistagången 16, plan 2, Kista (KTH, Stockholm, Sweden)Realisering av högpresterande tillståndsbaserade nätverksfunktionskedjor på standardhårdvara (Disputationer)

Modeling and Control of Electrical Multiphase Machines for Pole-Transition and Fault-Tolerance

22 nov

Disputationer

Elektro- och systemteknik

fredag 2024-11-22, 10.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/s/66083589945

Respondent: Yixuan Wu , Elkraftteknik, EMD

2024-11-22T10:00:00.000+01:00 2024-11-22T10:00:00.000+01:00 Modeling and Control of Electrical Multiphase Machines for Pole-Transition and Fault-Tolerance (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Modeling and Control of Electrical Multiphase Machines for Pole-Transition and Fault-Tolerance (Disputationer)

Efficient Exploration and Analysis of Program Repair Search Spaces

22 nov

Disputationer

Datalogi

fredag 2024-11-22, 10.00

Plats: F3 (Flodis), Lindstedtsvägen 26, Sweden

Videolänk: https://kth-se.zoom.us/j/64148823838

Respondent: Khashayar Etemadi , Teoretisk datalogi, TCS

2024-11-22T10:00:00.000+01:00 2024-11-22T10:00:00.000+01:00 Efficient Exploration and Analysis of Program Repair Search Spaces (Disputationer) F3 (Flodis), Lindstedtsvägen 26, Sweden (KTH, Stockholm, Sweden)Efficient Exploration and Analysis of Program Repair Search Spaces (Disputationer)

Matchings, Maxflows, Matroids

27 nov

Disputationer

Datalogi

onsdag 2024-11-27, 14.00

Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm

Respondent: Joakim Blikstad , Teoretisk datalogi, TCS

2024-11-27T14:00:00.000+01:00 2024-11-27T14:00:00.000+01:00 Matchings, Maxflows, Matroids (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Matchings, Maxflows, Matroids (Disputationer)

Optimal Security Response to Network Intrusions in IT Systems

5 dec

Disputationer

Elektro- och systemteknik

torsdag 2024-12-05, 14.00

Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm

Videolänk: https://kth-se.zoom.us/j/64592772191

Respondent: Kim Hammar , Nätverk och systemteknik

2024-12-05T14:00:00.000+01:00 2024-12-05T14:00:00.000+01:00 Optimal Security Response to Network Intrusions in IT Systems (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Optimal Security Response to Network Intrusions in IT Systems (Disputationer)

Efficient Learning in Graphs and in Combinatorial Multi-Armed Bandits

6 dec

Disputationer

Datalogi

fredag 2024-12-06, 13.15

Plats: D2, Lindstedtsvägen 5, Stockholm

Videolänk: https://kth-se.zoom.us/j/66180403376?pwd=elYurvM09QfBT7I5xvTPEmoPX3rbaF.1

Respondent: Ruo-Chun Tzeng , Teoretisk datalogi, TCS

2024-12-06T13:15:00.000+01:00 2024-12-06T13:15:00.000+01:00 Efficient Learning in Graphs and in Combinatorial Multi-Armed Bandits (Disputationer) D2, Lindstedtsvägen 5, Stockholm (KTH, Stockholm, Sweden)Efficient Learning in Graphs and in Combinatorial Multi-Armed Bandits (Disputationer)

Complexity in Decision-making with Applications to Large-scale and Human-in-the-loop Systems

10 dec

Disputationer

Elektro- och systemteknik

tisdag 2024-12-10, 09.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/j/63934653631

Respondent: Elis Stefansson , Reglerteknik

2024-12-10T09:00:00.000+01:00 2024-12-10T09:00:00.000+01:00 Complexity in Decision-making with Applications to Large-scale and Human-in-the-loop Systems (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Complexity in Decision-making with Applications to Large-scale and Human-in-the-loop Systems (Disputationer)

Generative AI for Artifact Correction and Privacy-Secure Medical Imaging

13 dec

Disputationer

Datalogi

fredag 2024-12-13, 13.00

Plats: F2, Lindstedtsvägen 26 & 28, Stockholm

Videolänk: https://kth-se.zoom.us/j/69355780837

Respondent: Lennart Alexander Van der Goten , Beräkningsvetenskap och beräkningsteknik (CST), Science for Life Laboratory, SciLifeLab

2024-12-13T13:00:00.000+01:00 2024-12-13T13:00:00.000+01:00 Generative AI for Artifact Correction and Privacy-Secure Medical Imaging (Disputationer) F2, Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Generative AI for Artifact Correction and Privacy-Secure Medical Imaging (Disputationer)

Augmenting Test Oracles with Production Observations

13 dec

Disputationer

fredag 2024-12-13, 14.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/j/64605922145

Respondent: Deepika Tiwari , Programvaruteknik och datorsystem, SCS

2024-12-13T14:00:00.000+01:00 2024-12-13T14:00:00.000+01:00 Augmenting Test Oracles with Production Observations (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Augmenting Test Oracles with Production Observations (Disputationer)

Impedance Analysis and Stability Assessment of Modular Multilevel Converters

16 dec

Disputationer

Elektro- och systemteknik

måndag 2024-12-16, 10.00

Plats: H1, Teknikringen 33, Stockholm

Respondent: Mehrdad Nahalparvari , Elkraftteknik, Power Electronics

2024-12-16T10:00:00.000+01:00 2024-12-16T10:00:00.000+01:00 Impedance Analysis and Stability Assessment of Modular Multilevel Converters (Disputationer) H1, Teknikringen 33, Stockholm (KTH, Stockholm, Sweden)Impedance Analysis and Stability Assessment of Modular Multilevel Converters (Disputationer)

Scalable hardware solutions for machine learning: FPGA implementation and methodology analysis

16 dec

Disputationer

Elektro- och systemteknik

måndag 2024-12-16, 13.00

Plats: Kista Sal C, Kistagången 16, 164 40 Kista

Videolänk: https://kth-se.zoom.us/j/66637479462

Respondent: Gracieth Batista , Elektronik och inbyggda system, Aeronautics Institute of Technology, São José dos Campos, Brasil

2024-12-16T13:00:00.000+01:00 2024-12-16T13:00:00.000+01:00 Scalable hardware solutions for machine learning: FPGA implementation and methodology analysis (Disputationer) Kista Sal C, Kistagången 16, 164 40 Kista (KTH, Stockholm, Sweden)Scalable hardware solutions for machine learning: FPGA implementation and methodology analysis (Disputationer)

Multilingual Language Models

16 dec

Disputationer

måndag 2024-12-16, 14.00

Plats: Kollegiesalen, Brinellvägen 8, Stockholm

Videolänk: https://kth-se.zoom.us/s/3719008936

Respondent: Evangelia Gogoulou , Programvaruteknik och datorsystem, SCS, RISE Research Institutes of Sweden

2024-12-16T14:00:00.000+01:00 2024-12-16T14:00:00.000+01:00 Multilingual Language Models (Disputationer) Kollegiesalen, Brinellvägen 8, Stockholm (KTH, Stockholm, Sweden)Multilingual Language Models (Disputationer)

Methods for rapid phylogenetic inference and copy number variation detection from transcriptomics data

20 dec

Disputationer

Datalogi

fredag 2024-12-20, 13.00

Plats: F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm

Videolänk: https://kth-se.zoom.us/j/68990648769

Respondent: Semih Kurt , Beräkningsvetenskap och beräkningsteknik (CST), Science for Life Laboratory, SciLifeLab

2024-12-20T13:00:00.000+01:00 2024-12-20T13:00:00.000+01:00 Methods for rapid phylogenetic inference and copy number variation detection from transcriptomics data (Disputationer) F3 (Flodis), Lindstedtsvägen 26 & 28, Stockholm (KTH, Stockholm, Sweden)Methods for rapid phylogenetic inference and copy number variation detection from transcriptomics data (Disputationer)