Forskning vid Uppsala universitet

Animerad tv-studio med grafik i bakgrunden

Ekonomijournalistikens fokus påverkar konjunkturen

23 december 2021. Redaktionella nyhetsvärderingar kan påverka de ekonomiska konjunktursvängningarna – även om informat ...

Text

Nytt forskningsprojekt ska hitta lösningar för vätgasdriven färjetrafik

20 december 2021. I ett nytt forskningsprojekt kommer forskare vid Uppsala universitet, Campus Gotland, att utveckla o ...

Text

Fingrar håller i provrör med röd vätska.

Biomarkörer som skyddar mot sjukdomsutveckling

10 december 2021. En omfattande studie från Uppsala universitet visar att flera olika proteiner i vårt blod som tidiga ...

Text

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 ...