Faculty of Science / Naturvetenskapliga fakulteten: Recent submissions

Visas titlar 21-40 av 836

    • Model Checking Reconfigurable Interacting Systems 

      Alrahman, Yehia Abd; Azzopardi, Shaun; Piterman, Nir (International Symposium on Leveraging Applications of Formal Methods, 2022)
      Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ...

    • Runtime Verification meets Controller Synthesis 

      Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo (2022)
      Reactive synthesis guarantees correct-by-construction controllers from logical specifications, but is costly—2EXPTIME-complete in the size of the specification. In a practical setting, the desired controllers need to ...

    • R-CHECK: A Model Checker for Verifying Reconfigurable MAS 

      Alrahman, Yehia Abd; Azzopardi, Shaun; Piterman, Nir (AAMAS 2022, 2022)
      Reconfigurable multi-agent systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by ...

    • Incorporating Monitors in Reactive Synthesis without Paying the Price 

      Azzopardi, Shaun; Piterman, Nir; Schneider, Gerardo (19th International Symposium on Automated Technology for Verification and Analysis, 2021)
      Temporal synthesis attempts to construct reactive programs that satisfy a given declarative (LTL) formula. Practitioners have found it challenging to work exclusively with declarative speci cations, and have found ...

    • Användning av mobiltelefoner i den digitaliserade skolan: Elever och lärares perspektiv 

      Grigic Magnusson, Anita (2022-11-10)
      På ett övergripande plan problematiserar avhandlingen skolans digitalisering och dess konsekvenser för både elevers och lärares skolvardag. Mer specifikt syftar avhandlingen till att fördjupa kunskapen om användningen av ...

    • Functional roles of protein phase separated assemblies in cellular stress response and proteinopathies 

      Lindström, Michelle Beatrice (2022-11-09)
      For a long time, pertinent biological conundrums, such as the organization and compartmentalization of the cytoplasm and nucleoplasm, perplexed the scientific community. The organization of the complex biochemistry in an ...

    • Microtubule structure and function as perturbed by electromagnetic fields 

      Hammarin, Greger (2022-11-08)
      Frontlinjen för strukturbiologisk forskning ligger idag i att avbilda proteiner i rörelse. För att förstå hur proteiner fungerar rent strukturellt krävs avbildningsmetoder med en tid- och rums-upplösning anpassad för den ...

    • Photocatalysis beyond conventional precious metal complexes 

      Lindroth, Rickard (2022-11-08)
      Precious metals, e.g. Ru and Ir, are expensive, scarce and non-renewable resources. As oppose to many renewable resources, these cannot be deliberately produced wherever one wishes. The mining of these metal ores is ...

    • Forskningsprojektet Södra Råda timmerkyrka: Att forska i hantverk 

      Almevik, Gunnar; Melin, Karl-Magnus; Bygdén, Bengt; Helje, Mattias; Persson, Christina; Samuelsson, Börje; Bonnier, Ann Catherine; Hedlund, Hans Peter; Lindblad, Linda (Hantverkslaboratoriet, 2022)
      Södra Råda medeltidskyrka brann ner 2001. Tidigt bestämdes att kyrkan skulle återuppbyggas. Rekonstruktionen har gjorts i form av ett hantverksforskningsprojekt där hundratals yrkesverksamma varit delaktiga. Projektet har ...

    • Sketches of Noncommutative Topology 

      Kuzmin, Alexey (2022-11-07)
      This thesis thematically divided into two parts. In the first part we are mastering C*-isomorphism problem by using various techniques applied to different examples of noncommutative algebraic varieties. In the second part ...

    • Betong: material, konstruktion, åtgärder, skador, arkitektur, historia 

      Ahlberg, Sven Olof; Löfgren, Eva (Hantverkslaboratoriet, Göteborgs universitet, 2022)
      Boken samlar några av Sveriges mest sakkunniga forskare och yrkesverksamma i ämnet betong. Den förmedlar aktuell forskning och konkret handledning i frågor som rör historiska betongkonstruktioners vård och underhåll. I nio ...

    • Groupoid-Valued Presheaf Models of Univalent Type Theory 

      Ruch, Fabian (2022-11-03)
      One main goal of this thesis is to study constructive models of type theory with one univalent universe that interpret types by “presheaves” of groupoids. A starting point is the fact that the groupoid model can be ...

    • Proteostasis during arsenite stress in Saccharomyces cerevisiae 

      Silva Rodrigues, Joana Isabel (2022-11-02)
      Around 200 million people are exposed to high levels of arsenic through contaminated soil and, consequently, contaminated food and drinking water. Arsenic exposure is associated with several malignancies, from different ...

    • Antibiotic sensitivity and horizontal gene transfer in Escherichia coli - A genome-wide perspective 

      Palm, Martin (2022-11-01)
      Since their discovery in the early 20th century, antibiotics have truly revolutionized human medicine. They have allowed us to treat diseases that were previously untreatable and have become a staple of modern medicine. ...

    • Structural and dynamical basis of NusA´s role in transcription-coupled DNA repair 

      Okeke, Damasus (2022-10-28)
      DNA repair processes involves a host of repair machineries that are able to recognize and repair the damaged DNA. Nucleotide excision repair (NER) pathway is one of these processes exploited by cells to remove bulky DNA ...

    • Characterization of ion transport proteins involved in chloroplast function from land plants and algae 

      Dukic Marinkov, Emilija (2022-10-21)
      Evolved around 2.4 billion years ago and even earlier, according to the new geochemical evidence, oxygenic photosynthesis is the crucial turning point in the history of our planet. Used by cyanobacteria, algae, and ...

    • Evolutionary and Ecological Effects of Metal Pollution on Coastal Diatoms 

      Andersson, Björn (2022-10-21)
      Oceans are changing rapidly in response to human activities, such as toxic pollution, eutrophication, and climate change. Diatoms are major primary producers in the oceans with short generation times, flexible reproductive ...

    • Structural characterization of electron transfer in D.m (6-4) photolyase by time-resolved X-ray crystallography 

      Cellini, Andrea (2022-10-18)
      Photolyases are flavoproteins widely spread in bacteria, archea, fungi, plants and animals. These enzymes absorb blue light and use it as an energy source for repairing damages that are induced on DNA after a prolonged ...

    • The Genetics of Adaptation and Evolvability in Yeast 

      Persson, Karl (2022-10-18)
      Evolution is the hereditary change in life forms that has shaped the divergence of all organisms that inhabit planet Earth. I used the yeast Saccharomyces cerevisiae to study how adaptive evolution increases the fitness ...

    • Unravelling Mechanistic Insights of Eukaryotic Transcriptional Control 

      Johanna, Hörberg (2022-10-13)
      DNA transcription involves the association of multiple proteins with DNA to convert the genetic information into messenger-RNA transcripts, which later will be translated into proteins. Con-trolled regulation of transcription ...