Browse All Grants
15,626 grants found
Showing 1,161 – 1,180 of 15,626 grants
BIGMC: where Bayesian inverse problems, generative models, and Monte Carlo simulation meet.
Bayesian inverse problems (BIP) appear in a wide range of scientific and engineering fields, from protein design to digital image processing. The importance of the prior´s specific...
Fundamental studies and applications of laser-based accelerators
Particle beams are very common in our daily life and are used to visualize the interior of the human body, and in radiotherapy to cure cancer.For fundamental science, high-energy p...
CoSy: Minimal Assume-Guarantee Co-Synthesis for Robotics
As autonomous robots move from encolosed environments to the real-world, the importance of making sure that they work as expected grows.To that end, formal synthesis offers automat...
Diserdostasis: A Rheostat for Cellular Quiescence and Ageing
Some plant cells have the unique ability to stay in “quiescence” that can last millennia; and yet, plant cells can exit quiescence and start diving to replace damaged cells regener...
Magnitude of the CO2 fertilization effect in tropical forests and boreal peatlands: Observations and modelling
Forests and peatlands dominate contemporary terrestrial carbon stocks and impact radiative forcing throughexchange with the atmosphere.Rising temperatures and C O concentrations in...
The Hot Building Blocks of Galaxies
The formation of the first stars was the last watershed moment in our Universe.They produced the first ionizing radiation since recombination, all elements heavier than lithium, an...
Traceability for Transparent and Scrutinizable Visualization Research
Although visualization researchers have acknowledged and embraced requirements for making their work reproducible, not all visualization research is inherently so.In particular the...
Early-life sicknesses as drivers of animal movement later in life
Movement, including migration and dispersal, is fundamental for life. Large variation in movement between individuals is well documented.Yet, what causes this variation is largely...
Remain or Quit? Through-put on Educational Programmes and Student Trajectories in Swedish Higher Education
Throughput and dropouts in Swedish higher education have in recent years become an urgent topic in the debate. Reports have shown low figures of students passing through higher edu...
CNS waste disposal - molecular mechanism for controlling AQP4 localisation
The water channel aquaporin 4 (AQP4) is central to CNS water homeostasis.It is found in the membrane of astrocyte end-feet surrounding CNS blood vessels where it plays a key role i...
Model Learning for Securing Network Protocol Implementations
The goal of this project is develop techniques and tools for security analysis of network protocol implementations.To that end, we will develop and leverage model learning, a techn...
Proofs with Cycles in Computation
This research project is centred around the computational aspects of cyclic proofs, a generalisation of the notion of mathematical proof that offers a natural and systematic approa...
Collaborative Computations to Enable Security in the Battery-less Internet of Things
Backscatter communication is a key enabler for the battery-less Internet of Things (IoT) to seamlessly embed devices and sensors into the surrounding environment.Backscatter system...
Investigating deep learning through the lens of adaptive kernels.
There is no denying that deep neural networks have had a profound impact on research across statistics, data science and machine learning, as well as significantly altered the ana...
Vitrimeric cellulose fibres: a route toward melt processable and reprocessable high-performance cellulose-based materials
Our society annually generates 400 Mt of fossil-sourced plastic waste, and we undoubtedly need to transition to bio-based materials.This project will chemically modify cellulose fi...
Identification of underlying incentives using inverse optimal control
Dynamical systems are essential for modeling and analysis in many different areas of science and engineering. Observed behavior can often be modeled as dynamical systems that opera...
Bortom ´Överallt´: Uppklara spridningsgränser för mångfald av vattenplankton
Despite the recognition of the role of spatial, temporal and stochastic factors, microbial community ecology continues to be guided by the principle of “everything is everywhere bu...
Cutting-edge Combinatorial Optimization with Certified Correctness
Modern combinatorial optimization has transformed entire sectors of industry, and has been applied to an ever expanding list of problems in, e.g., computer science, economics, chem...
Unlocking the Potential of Omics: A Translational Approach to Precision Medicine with Deep Learning
Our project´s objective is to revolutionize precision medicine by integrating deep learning with extensive omics datasets and protein interaction networks, thereby enhancing the ac...
Better gesture generation through human feedback
Automated synthesis of speech-driven 3D gesture motion is a key technology for virtual agents, social robots, video game characters, and the metaverse.However, gesture-synthesis mo...