Faculty of Science / Naturvetenskapliga fakulteten
Browse by
Sub-communities within this community
Collections in this community
Recent Submissions
-
Hidden carpentry. Investigations of Medieval Church Roofs in Västergötland and Northern Småland.
(2023)This licentiate thesis examines through three articles the corpus of preserved medieval timber roofs in churches of Västergötland and Northern Småland, based on surveys in the dioceses of Linköping, Skara and Gothenburg ... -
A Survey on Satisfiability Checking for the μ -Calculus Through Tree Automata
(2022)Algorithms for model checking and satisfiability of the modal μ -calculus start by converting formulas to alternating parity tree automata. Thus, model checking is reduced to checking acceptance by tree automata and ... -
Plug & Play? Stakeholders’ co-meaningmaking of gamification implementations in workplace learning environments
(2023-01-12)This dissertation discusses the implementation process of gamification in organisations’ workplace learning environments, focusing on four stakeholder groups: Administrators, Leaders, Providers and Users. These stakeholder ... -
Limit Theorems for Lattices and L-functions
This PhD thesis investigates distributional questions related to three types of objects: Unimodular lattices, symplectic lattices, and Hecke L-functions of imaginary quadratic number fields of class number 1. In Paper ... -
Escape from the cage: Ultrafast structural dynamics of photodissociation reactions observed with X-ray solution scattering
The environment of a molecule is known to greatly impact the course of a reaction. Such an environment can, for instance, be the solvent in a solution phase reaction or the amino acid residues surrounding a chromophore in ... -
Staten som trädgårdsmästare. Järnvägens planteringar från naturförsköningskonst till testamente
Järnvägen är en av de innovationer som påverkat modern samhällsutveckling allra mest. När de första stambanorna började att byggas i mitten av 1800-talet anlades planteringar som en integrerad komponent i järnvägssystemet. ... -
Light and X-ray scattering investigations of microtubules subjected to oscillating electric fields
(2022-12-08)I vårt dagliga liv blir vi utsatta för oscillerande elektriska fält av olika frekvenser. Dessa fält inkluderar mobiltelefoner, wifi, bluetooth, radar för navigering, radar från bilar, kommunikationssatelliter, samt GPS. ... -
Strong exciton-photon and exciton-exciton coupling and its effects on molecular photophysics
(2022-12-05)The energy of molecular states and their transition dynamics form the key properties to understand the photophysics of organic molecules. Strong exciton-photon and exciton-exciton couplings enable the possibility to ... -
Functional details of human HtrA2 protease studied by NMR spectroscopy
(2022-11-24)Cells rely on an array of cellular machineries in the protein quality control system (PQC) to maintain the health of the collective proteome. The HtrA family of serine proteases are found in all kingdoms of life and function ... -
Formation and Transformation of Atmospheric Brown Carbon (BrC)
(2022-11-23)Atmospheric brown carbon (BrC) aerosol absorbs light in the UV-Vis spectrum and has poorly constrained but potentially large climate forcing impacts. Most current climate models lack detailed chemistry and interlinked ... -
Visualizations of particle-field interactions
(2022)Visualizations within physics education are critical for learning physics and can be realized in a classroom with experiments, demonstrations, digital tools, mathematical analysis, or other representations, all with ... -
Automated replication of tuple spaces via static analysis
(2022)Coordination languages for tuple spaces can offer significant advantages in the specification and implementation of distributed systems, but often do require manual programming effort to ensure consistency. We propose an ... -
Modelling Flocks of Birds from the Bottom Up
(2022)We argue that compositional specification based on formal languages can facilitate the modelling of, and reasoning about, sophisticated collective behaviour in many natural systems. One defines a system in terms of individual ... -
A PO Characterisation of Reconfiguration
(2022)We consider partial order semantics of concurrent systems in which local reconfigurations may have global side effects. That is, local changes happening to an entity may block or unblock events relating to others, namely, ... -
On the Specification and Monitoring of Timed Normative Systems
(2022)In this article we explore different issues and design choices that arise when considering how to fully embrace timed aspects in the formalisation of normative systems, e.g., by using deontic modalities, looking primarily ... -
Runtime Verification of Kotlin Coroutines
(2022)Kotlin was introduced to Android as the recommended language for development. One of the unique functionalities of Kotlin is that of coroutines, which are lightweight tasks that can run concurrently inside threads. Programming ... -
AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification
(International Conference on Runtime Verification, 2022)Aspect-oriented programming tools aim to provide increased code modularity by enabling programming of cross-cutting concerns separate from the main body of code. Since the inception of runtime verification, aspect-oriented ... -
Tainting in Smart Contracts: Combining Static and Runtime Verification
(Lecture Notes in Computer Science book series (LNCS,volume 13498), 2022)Smart contracts exist immutably on blockchains, making their pre-deployment correctness essential. Moreover, they exist openly on blockchains—open for interaction with any other smart contract and offchain entity. Interaction, ...
RSS 1.0