Neueste Zugänge 

  1. A quest for dose rate effects in luminescent detectors 

    Motta, Silvia (2024)
    Doctoral Thesis
  2. Universal particle and entropy transport in strongly interacting Fermi gases far from equilibrium 

    Mohan, Jeffrey (2024)
    Transport experiments are among the most important methods to probe and characterize strongly interacting fermionic systems and the myriad states of matter that exist therein. The majority of existing experimental and theoretical studies in this context have focused on bulk systems in the hydrodynamic limit. In this regime, the transport properties of these systems can be described by linear response coefficients such as viscosity and ...
    Doctoral Thesis
  3. Leveraging Uniqueness for Modular Verification of Heap-Manipulating Programs 

    Astrauskas, Vytautas (2024)
    With software‘s ever-increasing role in human lives, ensuring its correctness is crucial. Deductive software verification enables formally proving that a program is functionally correct. However, verifying imperative heap-manipulating programming languages is notoriously difficult and requires complex specifications in powerful logics like separation logic. This complexity is a major obstacle to more widespread verification of imperative ...
    Doctoral Thesis
  4. Expressivity of Certified Neural Networks 

    Baader, Maximilian (2024)
    The vulnerability of neural networks to adversarial examples is a major reliability concern, impeding their deployment in safety-critical applications. To address this, verification methods have emerged to analyze local robustness, often relying on convex relaxations to over-approximate the network's behavior. To get networks that are amenable to certification, specialized training methods have been designed aiming to train both accurate ...
    Doctoral Thesis
  5. Exploring the shear behaviour of fibre-reinforced concrete 

    Gehri, Nicola (2024)
    It is widely acknowledged that the addition of fibres can improve the mechanical behaviour of reinforced concrete and, thus, fibres may partially replace conventional reinforcement. Fur-thermore, the substitution of manually assembled and placed reinforcing bars with an equivalent dosage of fibres directly added to the concrete mix can yield considerable economical and eco-logical benefits. However, due to the often unfavourable softening ...
    Doctoral Thesis
  6. Effect of Softness and Charges on the Volume Phase Transition of Colloidal Microgels and Macrogels 

    Zhou, Boyang (2024)
    Microgels and macrogels, due to their stimuli-sensitive nature and tunability, are of great interest in both applications and fundamental research. However, their softness increases the number of degrees of freedom compared to hard colloidal particles and gives rise to a more complex behavior. So far, there is no generally accepted model to describe microgel interactions, especially for concentrated microgel suspensions. In this project, ...
    Doctoral Thesis
  7. Studies Towards the Total Synthesis of Griseoviridin 

    Perera, Alexandre (2024)
    Doctoral Thesis
  8. Fixed-Curve Counts in Algebraic Varieties 

    Cela, Alessio (2024)
    Doctoral Thesis
  9. Solute Mixing and Chaotic Transport in Unsaturated Porous Media 

    Velásquez-Parra, Andrés (2024)
    Porous media are ubiquitous in the environment. It is a structural component of living organisms, being present in plants, tissues, and biofilms, and also of abiotic systems, such as soils. The latter stands out for its high environmental relevance, as it mediates the effects on the subsurface of processes occurring in the atmosphere. The unsaturated region of soils, extending from the surface until the deeper aquifers, is key in this ...
    Doctoral Thesis
  10. Brain-IT: Targeting the Brain using Information Technology for Secondary Prevention of mild Neurocognitive Disorder 

    Manser, Patrick (2024)
    Introduction: Effective interventions to mitigate one of the key challenges for aging societies, neurocognitive disorders, are urgently needed. A collaborative international guideline recently recommended physical exercise (PE) for secondary prevention of mild neurocognitive disorder (mNCD). Physical exercises that integrate cognitive exercises and are combined with resonance breathing guided by heart rate variability biofeedback (HRV-BF) ...
    Doctoral Thesis
  11. From Tailored Chocolate Structuring with Additive Manufacturing to Sensory Perception, Neuroimaging and Pupillometry 

    Burkard, Johannes (2024)
    Additive manufacturing (AM) is transforming industries, but its potential in food production remains underexplored. We investigated the ability of AM to design novel 3D food structures with tailored sensory perceptions using fused deposition modeling technology. Initial sensory perceptions shaped the overall experience, though the profiles merged during later stages of oral processing. Enhanced sweetness perception was due to accelerated ...
    Doctoral Thesis
  12. Making Mindfulness: Narrating, Mediatizing, Medicalizing Transcultural Emotion Knowledge c.1920 – 2000 

    Selander, Josephine (2024)
    Over the last three decades, there has been an increasing interest in the impact of Buddhist philosophical thought on the so-called Third Wave Cognitive Behavioral Therapies. Meditation techniques operative as emotion regulators, under the term ‘mindfulness’, have had a significant influence on these modern therapies, which has triggered an immense number of clinical research studies as a result. Yet, limited attention has been given to ...
    Doctoral Thesis

Mehr anzeigen