Degree project
Mon 06 June - Sun 12 June
-
Degree project
Tuesday 2022-06-07, 09:00 - 10:00
Location: Kräftriket, house 6, room 306
Respondent: Thea Li
2022-06-07T09:00:00.000+02:00 2022-06-07T10:00:00.000+02:00 Thea Li: The internal language of sheaves and applications to algebraic geometry (Degree project) Kräftriket, house 6, room 306 (KTH, Stockholm, Sweden)Thea Li: The internal language of sheaves and applications to algebraic geometry (Degree project) -
Degree project
Tuesday 2022-06-07, 09:00 - 10:00
Location: Kräftriket, house 5, room 32
Respondent: Michal Mnich
2022-06-07T09:00:00.000+02:00 2022-06-07T10:00:00.000+02:00 Michal Mnich: Real numbers - Cantor’s approach and infinite decimal expansions (Degree project) Kräftriket, house 5, room 32 (KTH, Stockholm, Sweden)Michal Mnich: Real numbers - Cantor’s approach and infinite decimal expansions (Degree project) -
Degree project
Tuesday 2022-06-07, 10:30 - 11:30
Location: Kräftriket, house 5, room 32
Respondent: Alexander Thurdin
2022-06-07T10:30:00.000+02:00 2022-06-07T11:30:00.000+02:00 Alexander Thurdin: Osäkerhetrelationen mellan schwartzfunktioner och deras fouriertransformationer (Degree project) Kräftriket, house 5, room 32 (KTH, Stockholm, Sweden)Alexander Thurdin: Osäkerhetrelationen mellan schwartzfunktioner och deras fouriertransformationer (Degree project) -
Degree project
Tuesday 2022-06-07, 14:00 - 15:00
Location: Kräftriket, house 6, room 306
Respondent: Daniel Michel Nick Skantz
2022-06-07T14:00:00.000+02:00 2022-06-07T15:00:00.000+02:00 Daniel Michel Nick Skantz: Formalizing Linear Algebra in UniMath – Gaussian Elimination, Matrix Foundations & Applications (Degree project) Kräftriket, house 6, room 306 (KTH, Stockholm, Sweden)Daniel Michel Nick Skantz: Formalizing Linear Algebra in UniMath – Gaussian Elimination, Matrix Foundations & Applications (Degree project) -
Degree project
Tuesday 2022-06-07, 15:00 - 15:30
Location: KTH Lindstedsvägen 25, Room 3424
Respondent: André Schwalbe Lehtihet
2022-06-07T15:00:00.000+02:00 2022-06-07T15:30:00.000+02:00 André Schwalbe Lehtihet: A Mathematical and Numerical Study on Generalization Error Estimates for Neural Network Approximations (Degree project) KTH Lindstedsvägen 25, Room 3424 (KTH, Stockholm, Sweden)André Schwalbe Lehtihet: A Mathematical and Numerical Study on Generalization Error Estimates for Neural Network Approximations (Degree project) -
Degree project
Wednesday 2022-06-08, 09:00 - 10:00
Location: Kräftriket, house 6, room 306
Respondent: Lars Lidvall
2022-06-08T09:00:00.000+02:00 2022-06-08T10:00:00.000+02:00 Lars Lidvall: Image Deblurring with Regularized Least Squares and Beyond (Degree project) Kräftriket, house 6, room 306 (KTH, Stockholm, Sweden)Lars Lidvall: Image Deblurring with Regularized Least Squares and Beyond (Degree project) -
Degree project
Wednesday 2022-06-08, 10:30 - 11:30
Location: Kräftriket, house 6, room 306
Respondent: Eryk Longin Hinc
2022-06-08T10:30:00.000+02:00 2022-06-08T11:30:00.000+02:00 Eryk Longin Hinc: Number systems beyond the reals (Degree project) Kräftriket, house 6, room 306 (KTH, Stockholm, Sweden)Eryk Longin Hinc: Number systems beyond the reals (Degree project) -
Degree project
Wednesday 2022-06-08, 14:00 - 14:30
Location: KTH Lindstedsvägen 25, Room 3424
Respondent: Ludvig Eidmann
2022-06-08T14:00:00.000+02:00 2022-06-08T14:30:00.000+02:00 Ludvig Eidmann: Error estimation for neural network approximations of convection problems (Degree project) KTH Lindstedsvägen 25, Room 3424 (KTH, Stockholm, Sweden)Ludvig Eidmann: Error estimation for neural network approximations of convection problems (Degree project) -
Degree project
Wednesday 2022-06-08, 15:00
Location: Zoom
Video link: Meeting ID: 622 7047 9484
Respondent: Nikitas Stathatos
2022-06-08T15:00:00.000+02:00 2022-06-08T15:00:00.000+02:00 Nikitas Stathatos: Interpretations of epistemic μ-calculus over multi-agent games (Degree project) Zoom (KTH, Stockholm, Sweden)Nikitas Stathatos: Interpretations of epistemic μ-calculus over multi-agent games (Degree project) -
Degree project
Thursday 2022-06-09, 08:30
Location: Kräftriket, house 5, room 15
Respondent: Anton Holm
2022-06-09T08:30:00.000+02:00 2022-06-09T08:30:00.000+02:00 Anton Holm: Statistical generalization and applications of a robust, fast and fully automated density based clustering method for big data (Degree project) Kräftriket, house 5, room 15 (KTH, Stockholm, Sweden)Anton Holm: Statistical generalization and applications of a robust, fast and fully automated density based clustering method for big data (Degree project) -
Degree project
Thursday 2022-06-09, 09:15
Location: Kräftriket, house 5, room 15
Respondent: Lai Mei Yip Lundström
2022-06-09T09:15:00.000+02:00 2022-06-09T09:15:00.000+02:00 Lai Mei Yip Lundström: Statistical modelling and inference of single-cell gene expression profile (Degree project) Kräftriket, house 5, room 15 (KTH, Stockholm, Sweden)Lai Mei Yip Lundström: Statistical modelling and inference of single-cell gene expression profile (Degree project) -
Degree project
Thursday 2022-06-09, 10:00 - 11:00
Location: Kräftriket, house 6, room 306
Respondent: Carl Åkerman Rydbeck
2022-06-09T10:00:00.000+02:00 2022-06-09T11:00:00.000+02:00 Carl Åkerman Rydbeck: Formalisation of Polynomials in Cubical Type Theory Using Cubical Agda (Degree project) Kräftriket, house 6, room 306 (KTH, Stockholm, Sweden)Carl Åkerman Rydbeck: Formalisation of Polynomials in Cubical Type Theory Using Cubical Agda (Degree project) -
Degree project
Thursday 2022-06-09, 10:00
Location: Kräftriket, house 5, room 15
Respondent: Mathias Carlsson
2022-06-09T10:00:00.000+02:00 2022-06-09T10:00:00.000+02:00 Mathias Carlsson: Discovering characteristics of customers with distinct profitability using unsupervised learning (Degree project) Kräftriket, house 5, room 15 (KTH, Stockholm, Sweden)Mathias Carlsson: Discovering characteristics of customers with distinct profitability using unsupervised learning (Degree project) -
Degree project
Thursday 2022-06-09, 10:55
Location: Kräftriket, house 5, room 15
Respondent: Hilding Köhler
2022-06-09T10:55:00.000+02:00 2022-06-09T10:55:00.000+02:00 Hilding Köhler: Unveiling the inner mechanisms of deep convolutional neural networks through the lens of unsupervised learning (Degree project) Kräftriket, house 5, room 15 (KTH, Stockholm, Sweden)Hilding Köhler: Unveiling the inner mechanisms of deep convolutional neural networks through the lens of unsupervised learning (Degree project) -
Degree project
Thursday 2022-06-09, 11:30 - 12:30
Location: Kräftriket, house 6, room 306
Respondent: Kilian Liebe
2022-06-09T11:30:00.000+02:00 2022-06-09T12:30:00.000+02:00 Kilian Liebe: Topological Fundamental Groups (Degree project) Kräftriket, house 6, room 306 (KTH, Stockholm, Sweden)Kilian Liebe: Topological Fundamental Groups (Degree project) -
Degree project
Thursday 2022-06-09, 11:40
Location: Kräftriket, house 5, room 15
Respondent: Pär Villner
2022-06-09T11:40:00.000+02:00 2022-06-09T11:40:00.000+02:00 Pär Villner: A new method for combining data from heterogeneous sources (Degree project) Kräftriket, house 5, room 15 (KTH, Stockholm, Sweden)Pär Villner: A new method for combining data from heterogeneous sources (Degree project) -
Degree project
Thursday 2022-06-09, 13:30 - 14:30
Location: Kräftriket, house 6, room 306
Respondent: Alicia Stamm Svensson
2022-06-09T13:30:00.000+02:00 2022-06-09T14:30:00.000+02:00 Alicia Stamm Svensson: Den allmänna lösningen till tredjegradsekvationer och införandet av komplexa tal (Degree project) Kräftriket, house 6, room 306 (KTH, Stockholm, Sweden)Alicia Stamm Svensson: Den allmänna lösningen till tredjegradsekvationer och införandet av komplexa tal (Degree project) -
Degree project
Friday 2022-06-10, 09:15
Location: Kräftriket, house 5, room 15
Respondent: Adam Pettersson
2022-06-10T09:15:00.000+02:00 2022-06-10T09:15:00.000+02:00 Adam Pettersson: Computing a cost-of-capital margin with least-squares Monte Carlo (Degree project) Kräftriket, house 5, room 15 (KTH, Stockholm, Sweden)Adam Pettersson: Computing a cost-of-capital margin with least-squares Monte Carlo (Degree project) -
Degree project
Friday 2022-06-10, 10:00 - 11:00
Location: Kräftriket, house 6, room 306
Respondent: Gustav Sidebo
2022-06-10T10:00:00.000+02:00 2022-06-10T11:00:00.000+02:00 Gustav Sidebo: Pólya’s Teorem och dess tillämpningar (Degree project) Kräftriket, house 6, room 306 (KTH, Stockholm, Sweden)Gustav Sidebo: Pólya’s Teorem och dess tillämpningar (Degree project) -
Degree project
Friday 2022-06-10, 10:00
Location: Kräftriket, house 5, room 15
Respondent: Erik Alpsten
2022-06-10T10:00:00.000+02:00 2022-06-10T10:00:00.000+02:00 Erik Alpsten: Fair Dynamic Valuation of Insurance Liabilities (Degree project) Kräftriket, house 5, room 15 (KTH, Stockholm, Sweden)Erik Alpsten: Fair Dynamic Valuation of Insurance Liabilities (Degree project) -
Degree project
Friday 2022-06-10, 10:45
Location: Kräftriket, house 5, room 15
Respondent: Zandra Bernergård
2022-06-10T10:45:00.000+02:00 2022-06-10T10:45:00.000+02:00 Zandra Bernergård: Statistical Modelling of Occurred-but-not-yet-reported-events: Reporting of COVID-19 Cases and Deaths (Degree project) Kräftriket, house 5, room 15 (KTH, Stockholm, Sweden)Zandra Bernergård: Statistical Modelling of Occurred-but-not-yet-reported-events: Reporting of COVID-19 Cases and Deaths (Degree project)