Forskning vid Uppsala universitet

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 2009-01-01 till 2015-06-30

Vårt forskningsmål är att bygga en programmeringsplattform för trådlösa sensornät (WSN) där sensorerna kan programmeras kollektivt snarare än individuellt, med fokus på tjänster från hela nätet snarare ...

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

The elephant human conflict is a major problem in Sri Lanka that causes the death of 150 elephants and 60 humans per year. Further, the damage caused by elephants to property and crop is tens of thousands ...

Forskningsprojekt från 2014-07-01 till 2015-06-30

Anmälan om utnyttjande av återvändarbidrag för beviljade postdoktorsstipendier inom medicin eller natur- och teknikvetenskap ...

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

Managed languages dominate computing: enterprises run Java/C#, Python drives AI, and the web runs on JavaScript. This success comes from the productivity of automating common error-prone tasks (such as ...

Forskningsprojekt från 2015-11-09 till 2016-07-09

Syfte och mål: Målet med detta projekt är att utreda möjligheten att utveckla en autonom termisk brytare. Det långsiktiga målet är att APR Technologies AB skall kunna tillverka och sälja denna komponent ...

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

This project concerns computational methods for wave propagation problems. We propose to develop efficient and accurate techniques to implement important boundary and/or interface conditions for second ...

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

Inbyggda datorsystem som utför krävande beräkningar med starkt begränsade tidsramar och resurser är en kritisk del i viktiga svenska industriprodukter i många viktiga sektorer. Svensk industri står nu ...

Forskningsprojekt från 2017-01-01 till 2019-01-31

Syfte och mål: Solenergiplattformen är en påverkansplattform där svensk forskning, utveckling och företagande inom området solenergi är samlad och som har som syfte att påverka EU:s program Horisont 2020 ...

Forskningsprojekt från 2014-07-01 till 2016-12-31

Syfte och mål: Sverige har flera stora grupperingar med världsledande forskning kring nya tekniker för omvandling av solenergi till el eller direkt till bränslen. Det finns också svenska företag och institut ...

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 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 2013-01-01 till 2016-12-31

The concept of this project is to enable productive optimization of parallel heterogeneous systems by providing rapid energy and performance feedback to the software developer, hardware developer (architect ...

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

We aim to study molecule-surface interactions and shallow trap states on single crystal semiconducting metal oxides and thin solid film metal oxides by two main methods: infrared reflection-absorption ...

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

The study of energetic radiation generated in the form of X-rays by thunderclouds, lightning flashes and long laboratory sparks is an emerging field of research in atmospheric science. This project is ...

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

Wireless sensor networks consist of small embedded computing devices that are equipped with sensors and communicate wirelessly. They enable numerous applications such as environmental monitoring, surveillance ...

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

Quantum dots (QDs) based on nanometer sized semiconductor particles are very promising for utilization in optoelectronic devices. The size and surface of the QDs are very important for the properties of ...

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

The complexity of modern computers systems have increased in many dimensions over the last decades: complex out-of-order processors, deep memory hierarchies and several cores on a chip. It is widely believed ...

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

Biological imaging using Free-Electron Laser (FEL) pulses has in the last two years manifested its great potential. In summary we have demonstrated: i) That it is possible to get high quality atomic resolution ...

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

The insight that quantum holonomies, i.e., non-Abelian geometric phases, have an inherent resilience to errors has opened up a path to overcome unwanted open system effects and parameter instabilities ...

Forskningsprojekt från 2018-07-01 till 2021-06-30

Volcanic eruptions are dangerous natural phenomena, and if “unexpected”, can cause huge economic loss and loss of human life. Eruptions can be “unexpected” if they exhibit ambiguous precursory signals ...

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

Model-based approaches to verification and validation are becoming increasingly important as a means to control the effort in development of complex component-based systems. Models, however, are not always ...

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

Resonant Inelastic Soft X-ray Scattering (RIXS) and related experiments are applied to atoms and molecules. The most important assets of the RIXS process include Ångström-scale site-specificity, access ...

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

Resonant Inelastic Soft X-ray Scattering (RIXS) and related experiments are applied to atoms, molecules, liquids and molecular materials. The most important assets of the RIXS process include Ångström-scale ...

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

Quantum computation is a form of information processing that promises efficient solution of certain computationally demanding problems and will play an important role in simulation of complex quantum systems ...

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

Parallel computers are pervasive, and future computers of all scales will be provide their power through parallelism. Thus, all applications will need to be parallel to exploit the available computing ...

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

Safety in numerous domains such as transportation and health relies on sophisticated software that is the core of embedded computing devices. Many such devices process real-valued quantities, represented ...

Forskningsprojekt från 2013-10-01 till 2014-06-30

Syfte och mål: Kortsiktigt vill vi samla svensk styrka med VINNOVA:s stöd för att påverka EU:s program Horisont 2020. Långsiktigt söker vi samverkansvinster i forskning och utveckling av företagande, ...

Forskningsprojekt från 2018-11-05 till 2019-06-30

Syfte och mål: Syftet med projektet är att utveckla nya system med moderna solceller på eldrivna lastbilar eller hybridlastbilar för att minska utsläppen av koldioxid från transporter, öka räckvidden ...

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

Object-oriented programming builds on aliasing and mutable state. It is well-known that these combined cause problems for programmers, tool developers and formalists. Creating and managing aliases and ...