Disputation

Multidimensional inverse problems in imaging and identification using low-complexity models, optimal mass transport, and machine learning

17 jan

Disputationer

Tillämpad matematik och beräkningsmatematik - Optimeringslära och systemteori

torsdag 2019-01-17, 13.00

Plats: sal F3, KTH, Lindstedtsvägen 26, Stockholm

Respondent: Axel Ringh , Matematik

2019-01-17T13:00:00.000+01:00 2019-01-17T13:00:00.000+01:00 Multidimensional inverse problems in imaging and identification using low-complexity models, optimal mass transport, and machine learning (Disputationer) sal F3, KTH, Lindstedtsvägen 26, Stockholm (KTH, Stockholm, Sweden)Multidimensional inverse problems in imaging and identification using low-complexity models, optimal mass transport, and machine learning (Disputationer)

Jacopo Emmenegger: Exact completion and type-theoretic structures

18 jan

Disputation

fredag 2019-01-18, 13.00

Medverkande: Jacopo Emmenegger

Plats: Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University

Respondent: Jacopo Emmenegger , Mathematics

2019-01-18T13:00:00.000+01:00 2019-01-18T13:00:00.000+01:00 Jacopo Emmenegger: Exact completion and type-theoretic structures (Disputation) Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Jacopo Emmenegger: Exact completion and type-theoretic structures (Disputation)