Vi bedriver forskning på grundnivå och tillämpad nivå som möter verkliga samhällsproblem och utmaningar - allt med en vetenskaplig excellens och i samverkan med det omgivande samhället. Våra utbildningar inom elektroteknik och datavetenskap skapar framtidens ingenjörer och forskare.
För framtidens ingenjörer
Vår forskning möter verkliga samhällsproblem och utmaningar - allt med en vetenskaplig excellens och i samverkan med det omgivande samhället. Våra utbildningar inom elektroteknik och datavetenskap skapar framtidens ingenjörer och forskare.
Forskare på KTH har utvecklat ett sätt som förbättrar effektiviteten och noggrannheten av statistisk inferens som tillämpas i probabilistiska programmeringsspråk (PPL). Tekniken blir avgörande när man fastställer hur ofta arter utvecklas till nya arter och hur ofta arter dör ut. Foto: Kyaw Tun/Unsplash
Ny teknik ökar noggrannheten och effektiviteten i probabilistisk programmering
2023-06-02T09:00:00.000+02:00
2023-06-02T09:00:00.000+02:00
Proving Safety and Security of Binary Programs (Disputationer)L1, Drottning Kristinas väg 30, Stockholm (KTH, Stockholm, Sweden)Proving Safety and Security of Binary Programs (Disputationer)
