Forskning vid Uppsala universitet

• Djup multi-skala modellering av pH-effekt på upplösningen av metalloxid nanopartiklar

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

  Several nanosafety projects have been funded by the EU (e.g. EU Nanosafety Cluster and SmartNanoTox), however, the standardized process to assess and to predict the toxicity of metal oxide nanoparticles ...

• Consistency and Persistency: Ensuring Correctness of Concurrent Programs on Non-Volatile Memories

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

• 2015 IEEE International Symposium on Performance Analysis of Systems and Software

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

• Ett ramverk för parallelprogrameringsspecifikationer

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

• En utvecklingsplatform för matrixbaserad läkemedelsleverans

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

  In this project we will establish and develop synthetic methods to construct in vivo targeting biomaterials using motives from, or extracellular matrix (ECM) components as macromolecular building blocs ...

• AI för lärande och förklarbar produktion och logistik (EXPLAIN)

  Forskningsprojekt från 2021-04-15 till 2024-04-14

  Syfte och mål: EXPLAIN-projektet syftar till att öka och utveckla svensk tillverkningsindustris hållbara produktion, för lönsamhet och konkurrenskraft. Projektet bedriver forskning och utveckling av en ...

• Accelererade rekursiva expansioner med tillämpningar inom elektrontäthetsteori

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

  We propose the development of a new class of accelerated recursive expansion methods for electronic structure calculations. Our aim is to substantially reduce the computational effort required by modern ...

• Accelererade Exekveringsmiljöer

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

• Adaptivt lärande för personifierade utbildningsrobotar

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

• I framkanten av (bio)kemin med den empiriska valensbindningsmetoden

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

  Conference name and location: Advancing the Frontiers of (Bio)Chemistry with Valence Bond Approaches. Uppsala University, Sweden.Time for the conference (year-month-day): 2016/06/22-24Justification of ...

• En likvärdig skola

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

  De senaste årens debatt om de svenska elevernas sjunkande resultat i internationellt hänseende, lärarnas kompetens, eventuella byte av huvudman har satt skolan och det svenska skolsystemet i fokus. Regelverket ...

• I strid med demokratisk maktdelning? Gröna rättsprocessers legitimitet i global klimatstyrning. En fallstudie av domarargument i USA

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

  Pointing to climate change related injury, citizens are increasingly turning to courts in order to take legal action against their governments. Some lawsuits, such as Juliana v. United States and State ...

• Analys av filtreringsalgoritmer

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

• Att förverkliga naturens rättigheter: Håller utveckling och demokrati

  Forskningsprojekt från 2020-09-01 till 2024-08-31

  Projektet undersöker Rights of Nature (RoN), att ge rättigheter och rättssubjektivitet till naturen - som är ett ting: ett berg, en flod, en skog m.m. som ett sätt att möta målsättningarna i FN:s globala ...

• Att historisera internationell humanitär lag. Skulle vi kunna ? Borde vi?

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

  This is a conference that brings together historians and international law scholars with the aim to further cooperationwithin the field of the history of international humanitarian law. It draws on the ...

• Att mäta godtycke i samtida regelverk med avseende på medborgarskap och gränskontroll

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

  Disenfranchisement, i.e. being legally barred from exercising political rights, constitutes the thorn in the side of liberal democratic legitimacy as many systems lack incentives to promote rights of these ...

• Att skapa objektivitet - emotioner i juridiskt beslutsfattande

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

  Abidance by the law requires trust in the judicial system to uphold rational and objective justice. But the legal positivist notion of objectivity as abstract is problematic, relying on a modernistic separation ...

• Att tänja på gränserna för nukleofil aromatisk substitution genom fotokemi

  Forskningsprojekt från 2017-02-01 till 2018-06-30

  Syfte och mål: Projektet hade två mål; (i) att knyta långsiktiga forskningskontakter mellan min grupp vid UU och AstraZeneca och (ii) att utveckla den s.k. foto-SNAr reaktionen. Båda målen har uppfyllts ...

• Automater, sannolikheter och spel.

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

• Batterier från förnyelsebara råmaterial

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

  Projektet syftar till att utveckla batterier från råmaterial som återfinns i de naturliga kretsloppen och som både uppfyller krav på hållbarhet och prestanda. Tekniken är baserad på ledande redoxpolymerer ...

• Beräkningar för att studera proteinkomplex uppbyggnad

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

  How can we study inherently dynamic and heterogeneous architectures of protein complexes? Most techniques struggle with heterogeneous systems, especially when lowly populated states are crucial for the ...

• Beräkningskomplexitet inom schemaläggningsteori

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

• Bevisning i brottmål - tillförlitlighet och påverkbarhet

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

  The overall purpose of the research is to examine sources of errors, which are attributable to human cognition, and influence two different types of criminal evidence; forensic evidence and witness evidence ...

• Bevisning i brottmål - tillförlitlighet och påverkbarhet

  Forskningsprojekt från 2019-07-01 till 2022-06-30

  The overall purpose of the research I intend to conduct is to examine sources of errors, which are attributable to human cognition, and influence two different types of criminal evidence; forensic evidence ...

• Biometiska Materials för Personanpassad Benregenerering

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

  Fractures are common traumatic injuries during the entire human history. Worldwide more than 20 million patients are annually affected by a loss of bone tissue caused by trauma or disease. Current treatment ...

• CRUNCH - Klimatbeständiga Urbana Nexus-val: Operationalisering av Nexus Food-Water-Energy

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

• Datorbaserade studier av biologisk katalys och molekylär igenkänning

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

  This project deals with computational studies in the general areas of biological catalysis and molecular recognition. We emphasize what may be called quantitative computational structural biology, where ...

• Datorbaserad analys av enzymers adaption till extrema mijöer

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

  This project deals with the problem of how enzymes can be shaped by evolution to work under extreme conditions. In particular, we will address cold-adapted enzymes that are able to maintain a high catalytic ...

• Fragmentbaserad in silico design av ligander till G-protein-kopplade receptorer

  Forskningsprojekt från 2017-01-01 till 2017-03-13

  G protein-coupled receptors (GPCRs) play important roles in numerous physiological processes and are important drug targets for neurological diseases. Breakthroughs in GPCR structural biology and access ...

• Datorbaserade studier av ortosterisk, allosterisk, och indirekt allosterisk modulering av adenosinreceptorer

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

  The project is focused on structure-based strategies for discovery of selective ligands of G protein-coupled receptors (GPCRs) and understanding of GPCR dimerization. The A1 adenosine receptor (A1R) is ...

Visar 30 av 103 träffar