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 2019-01-01 till 2024-12-31

A new generation of superluminous X-ray free-electron lasers (XFEL) will deliver billions of exposures per day at intensities up to 100-times higher than intensities available from existing XFELs. The ...

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

With this application we seek for the funds to invite world-leading experts as keynote speakers to the 11th International Conference on Low Energy Antiproton Physics (LEAP2013). This biennial event has ...

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

Resonant inelastic soft X-ray scattering spectroscopy has several important features that makes is attractive for studies ranging from fundamental phenomena in atoms and molecules to the function of complex ...

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

The aim of the proposed project is to study the magnetism of a new family of singlemolecule magnets (SMMs), and determine how their magnetic properties are modified when interacting with the surface of ...

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 2016-11-01 till 2016-11-30

Name of the conference: Current Trends in Multifunctional Dirac Materials, an International Workshop. In Swedish: Aktuella trender i  multifunktionella Dirac materialer, en internationel workshop.The ...

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 2011-01-01 till 2015-10-31

Ansökan Swedish in-kind contribution to XFEL ...

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

The measurement of stellar chemical abundancesis a fundamental problem in astrophysics. While spectral lines are routinely measured at accuracies of 1%, systematic errors dominate interpretation and errors ...

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

X-ray Free Electron lasers push the frontier of science with their extremely short and brilliant pulses. The high X-ray intensities allow new ways to image single bio-particles in their native environment ...

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 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 2021-01-01 till 2024-12-31

A key insight from quantum mechanics is the importance of processes involving electron rearrangement, such as charge transfer (CT) in collisions between atoms. In dilute plasmas such as those often observed ...

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

Recent progresses with manipulating electron beam in transmission electron microscopes opened new frontiers of research. Use of the electron vortex beams, that is beams that carry an orbital angular momentum ...

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

Emergent phenomena, such as insulator to metal transitions, magnetism and superconductivity, often occur in materials where many degrees of freedom are strongly coupled to each other. To understand, and ...

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 2019-07-01 till 2022-06-30

The proposed research aims to develop a new physico-chemical investigation technique able to detect intermediates of electrocatalytic reactions. Electrochemical Induced Raman Spectroscopy, couples electrochemistry ...

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 2015-01-01 till 2018-12-31

The project is aimed to develop a sensitive chemical sensor based on a microfabricated diamond waveguide. By coupling mid-IR light into a macroscopic diamond crystal FTIR-ATR spectroscopy can be performed ...

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

We will develop a space and time-dependent Green function formalism that can be used to address questions concerning correlation and scattering effects on a nanoscale in modern materials. As most measurements ...