Forskning vid Uppsala universitet

Olika mejeriprodukter som ostar smör, mjölk och yoghurt

Högt intag av mejerifett gav inte sämre hjärt-kärlhälsa

22 september 2021. I en ny studie som involverat över 4 000 individer i Sverige kunde forskarna se att de med högt inta ...

Skelett liggandes på sidan i en grav. Mellan armar och ben håller han ett svärd.

Studenter på Gotland grävde fram krigare från järnåldern

10 september 2021. Arkeologistudenternas sommargrävningar på Gotland har väckt oväntad uppståndelse. I en järnåldersgra ...

Han vill sprida kunskap om livsnödvändig mångfald

9 september 2021. För professorn i zoologisk bevarandebiologi Jacob Höglund finns ingen viktigare fråga än den om arte ...

Sök forskningsprojekt

Här hittar du alla forskningsprojekt vid Uppsala universitetet som finansieras av Vetenskapsrådet, Vinnova, Riksbankens Jubileumsfond, Formas och ytterligare ett antal finansiärer. Sökfunktionen bygger på databasen SweCRIS.

Ditt val gav 4 träffar

2-kategorier, 2-representationer och tillämpningar

Forskningsprojekt från 2014-01-01 till 2017-12-31

The main aim of this project is to further develop general tools which, given some mathematical object, provide a recipe for how to construct an interesting 2-categorical upgrade of this object, how to ...
Klassifikationsproblem i högre representationsteori

Forskningsprojekt från 2018-01-01 till 2021-12-31

The aim of this project is to develop general tools andtechniques to attack various classification problems in higherrepresentation theory, more specifically, in 2-representationtheory of finitary 2-categories ...
Effektiv Hantering av Kvantifierare i SMT-Lösare

Forskningsprojekt från 2015-01-01 till 2018-12-31

Satisfiability Modulo Theories (SMT) is a paradigm for constructing solvers for logical constraints modulo various background theories. Due to their efficiency and flexibility, SMT solvers are widely used ...
Högredimensionell Auslander-Reitenteori

Forskningsprojekt från 2015-01-01 till 2018-12-31

This research project aims to study several related topics in higher dimensional Auslander-Reiten theory. Classical Auslander-Reiten theory is an important tool in representation theory of associative ...