Forskning vid Uppsala universitet

Forskningsprojekt från 2020-12-01 till 2024-11-30

Nonvolatile memories (NVRAMs)} offer the best of two worlds, namely the low latency of DRAM, and the persistency of long term storage.They provide direct access to data in the same way as DRAM, but allow ...

Forskningsprojekt från 2015-11-01 till 2015-11-30

ISPASS is the premier conference for researchers targeting computer system performance. ISPASS is supported by the most prominent organization for computer engineering: IEEE. For the first time since its ...

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

This project is a direct continuation of the project "A framework for parallel programming models", to accommodate and verify a spectrum of high-level modeling languages. We formally established correctness ...

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

The present project will meet the swedish national scientific, industrial and societal demands within high-quality material analysis by sustaining and advancing the role of the Tandem laboratory at Uppsala ...

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

Managed languages, such as Java, JavaScript and Haskell, enable better software by abstracting the hardware and removing entire classes of bugs from software development, for example through the use of ...

Forskningsprojekt från 2016-01-01 till 2019-12-31

After the advent of industrial automation, we are now witnessing a second robotics revolution, but, as scientists strive to move the robots out of the factories and better integrate them into our daily ...

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

Combinatorial problems have both theoretical and practical importance. Combinatorial problem solving is often the key component in many industrial systems such as: scheduling, logistics, container packing ...

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

This project aims at investigating plant dynamics and forest development in the past (the last 130 000 years) and using this information to assist scientists modelling geographical range shifts in response ...

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

Atmospheric rivers are long narrow bands of large integrated water vapor transport in the troposphere. At land fall they are usually associated with extreme conditions in terms of wind and precipitation ...

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

Automata theory has played a major role in the development of computer-aided verification during the last two decades. Automata provide a simple and robust model for computer systems; while they allow ...

Forskningsprojekt från 2019-01-01 till 2022-12-31

This project will study algorithmic questions in real-time scheduling theory, with a main focus on establishing the computational complexity of schedulability problems. A schedulability problem is to decide ...

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

Oxygen is essential for the health of lake ecosystems, but global climate warming may severely deplete oxygen concentrations by increasing microbial respiration rates and stifling atmospheric exchange. ...

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

CRUNCH kommer att demonstrera hur Nexus kan förbättra stadens motståndskraft genom att skapa en sammanhängande kunskapsplattform med sektorsövergripande indikatorer som ett stödverktyg och bedömningsramverk ...

Forskningsprojekt från 2020-01-01 till 2023-12-31

The rich archaeological and paleoenvironmental records from the Peloponnese peninsula (Greece) are investigated to provide an integrated understanding of the role of climate and climate change for Bronze ...

Forskningsprojekt från 2018-12-01 till 2024-11-30

Thousands of encrypted manuscripts are found in archives all over Europe, documents that are not yet available for historical research. Examples of such materials are diplomatic and military correspondence ...

Forskningsprojekt från 2019-01-01 till 2022-12-31

I will develop novel theoretical tools to analyse high-level models of combinatorial problems independently of input data. The project will focus on the combinatorial modelling language MiniZinc. Using ...

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

Many brain injuries and diseases can damage brain cells, which can lead to loss of nerve cells and loss of brain volume. Even slight loss of nerve cells can give severe neurological and cognitive symptoms ...

Forskningsprojekt från 2016-01-01 till 2019-12-31

The introduction of multicores in virtually all computing platforms, implies that software development must exploit parallelism increase performance. The scalability of program performance critically depends ...

Forskningsprojekt från 2020-01-01 till 2022-12-31

Stora områden (20%) av svensk skogsmark har artificiellt dränerats genom dikning under de senaste århundradena för att öka produktionen av timmer. När dessa diken åldras, måste dikesrensning ofta utföras ...

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

Landscapes are multifaceted archives combining natural forming processes with cultural practises and land use strategies of past generations. The aim of the project is to explore the rich archives of the ...

Forskningsprojekt från 2016-01-01 till 2019-12-31

The Paleocene-Eocene Thermal Maximum (PETM), a period of global warming some 55 Ma, was triggered by multiple injections of isotopically light carbon into the atmosphere. Methane venting due to magma intrusion ...

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

Concurrency has become ubiquitous and necessary nowadays in order to leverage the power of multi-cores. At the same time, concurrent programming is considerably more error-prone, not only due to non-determinism ...

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

Forskningsprojekt från 2016-01-01 till 2019-12-31

This project is to study and develop key techniques andtools for real-time scheduling and system-level timinganalysis, that are scalable, safe and as precise as possible.Our targets are embedded applications ...

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

India’s agriculture, economy, water resources and societal well-being heavily rely on the Indian summer monsoon rainfall (ISMR). But ISMR is strongly influenced by the El-Nino Southern Oscillation (ENSO ...

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

Current global warming, associated with the rapid release of CO2 by burning of fossil fuels, impacts ecosystems both on land and in the ocean, most notably in polar regions. Marine phytoplankton play a ...

Forskningsprojekt från 2019-01-01 till 2022-12-31

Deep sea sediment archives form the backbone of global palaeoclimate understanding. Such palaeoclimate reconstructions rest upon the geological law of superposition; sediment core layers become older with ...

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

The field of probabilistic programming aims to make machine learning techniques easier to use and more effective. In this approach, a program serves as a model for the phenomenon of interest. An important ...

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

Extreme weather events, floods and droughts—problems that are likely to become more frequent and extreme due to climate change— inflict major losses and disproportionally affect lower income countries, ...

Forskningsprojekt från 2018-12-01 till 2022-11-30

Frågeställningarna i projektet är: I vilken utsträckning förändras förekomsten av extrema händelser och omfattningen av påverkan på kustzonen i ett ändrat klimat? Fokus är på stormar, översvämningar och ...