Examensarbete

Amanda Borg: Backtracking och n-queens: hur radordning påverkar sökningens effektivitet

6 feb

Examensarbete

fredag 2026-02-06, 12.00 - 13.00

Plats: Meetingroom 12 – Cramér room, Albano House 1

Respondent: Amanda Borg

2026-02-06T12:00:00.000+01:00 2026-02-06T13:00:00.000+01:00 Amanda Borg: Backtracking och n-queens: hur radordning påverkar sökningens effektivitet (Examensarbete) Meetingroom 12 – Cramér room, Albano House 1 (KTH, Stockholm, Sweden)Amanda Borg: Backtracking och n-queens: hur radordning påverkar sökningens effektivitet (Examensarbete)

Fabian Lukas Grubmüller: The Category of Iterative Sets in Cubical Agda

6 feb

Examensarbete

fredag 2026-02-06, 13.30 - 14.30

Plats: Meeting room 12 – Cramérroom, Albano house 1

Respondent: Fabian Lukas Grubmülller

2026-02-06T13:30:00.000+01:00 2026-02-06T14:30:00.000+01:00 Fabian Lukas Grubmüller: The Category of Iterative Sets in Cubical Agda (Examensarbete) Meeting room 12 – Cramérroom, Albano house 1 (KTH, Stockholm, Sweden)Fabian Lukas Grubmüller: The Category of Iterative Sets in Cubical Agda (Examensarbete)

Joakim Andersson Svendsen: Bias-variance tradeoff in diffusion models

11 feb

Examensarbete

onsdag 2026-02-11, 12.30 - 13.15

Plats: Mittag-Leffler room, Albano floor 3, house 1

Respondent: Joakim Andersson Svendsen

2026-02-11T12:30:00.000+01:00 2026-02-11T13:15:00.000+01:00 Joakim Andersson Svendsen: Bias-variance tradeoff in diffusion models (Examensarbete) Mittag-Leffler room, Albano floor 3, house 1 (KTH, Stockholm, Sweden)Joakim Andersson Svendsen: Bias-variance tradeoff in diffusion models (Examensarbete)

Max Brehmer: Multidimensional change point detection using likelihood ratio statistics

11 feb

Examensarbete

onsdag 2026-02-11, 13.15 - 14.00

Plats: Mittag-Leffler room, Albano floor 3, house 1

Respondent: Max Brehmer

2026-02-11T13:15:00.000+01:00 2026-02-11T14:00:00.000+01:00 Max Brehmer: Multidimensional change point detection using likelihood ratio statistics (Examensarbete) Mittag-Leffler room, Albano floor 3, house 1 (KTH, Stockholm, Sweden)Max Brehmer: Multidimensional change point detection using likelihood ratio statistics (Examensarbete)

Ingunn Lilja Bergsdóttir: The Classic Cox or the Counterfactual Potential Outcome? A Simulation Study of Treatment Effects in Survival Analysis

11 feb

Examensarbete

onsdag 2026-02-11, 14.00 - 14.40

Plats: Mittag-Leffler room, Albano floor 3, house 1

Respondent: Ingunn Lilja Bergsdóttir

2026-02-11T14:00:00.000+01:00 2026-02-11T14:40:00.000+01:00 Ingunn Lilja Bergsdóttir: The Classic Cox or the Counterfactual Potential Outcome? A Simulation Study of Treatment Effects in Survival Analysis (Examensarbete) Mittag-Leffler room, Albano floor 3, house 1 (KTH, Stockholm, Sweden)Ingunn Lilja Bergsdóttir: The Classic Cox or the Counterfactual Potential Outcome? A Simulation Study of Treatment Effects in Survival Analysis (Examensarbete)