Sökresultat
Filtrera
Filtyp
Din sökning på "*" gav 534600 sökträffar
Automated Design of Self-Adaptive Software with Control-Theoretical Formal Guarantees
Self-adaptation enables software to execute successfully in dynamic, unpredictable, and uncertain environments. However, most of the current approaches lack formal guarantees on the effectiveness and dependability of the adaptation mechanisms, limiting their applicability in practice. Control theory established a broad set of mathematically grounded techniques for the control of dynamic systems fo
Zero-Jitter Chains of Periodic LET Tasks via Algebraic Rings
In embedded computing domains, including the automotive industry, complex functionalities are split across multiple tasks that form task chains. These tasks are functionally dependent and communicate partial computations through shared memory slots based on the Logical Execution Time (LET) paradigm. This paper introduces a model that captures the behavior of a producer-consumer pair of tasks in a
Characterizing the Effect of Deadline Misses on Time-Triggered Task Chains
Modern embedded software includes complex functionalities and routines, often implemented by splitting the code across different tasks. Such tasks communicate their partial computations to their successors, forming a task chain. Traditionally, this architecture relies on the assumption of hard deadlines and timely communication. However, in actual implementations, tasks may miss their deadlines, t
Optimization-based attack against control systems with CUSUM-based anomaly detection
Security attacks on sensor data can deceive a control system and force the physical plant to reach an unwanted and potentially dangerous state. Therefore, attack detection mechanisms are employed in cyber-physical control systems to detect ongoing attacks, the most prominent one being a threshold-based anomaly detection method called CUSUM. Literature defines the maximum impact of stealth attacks
Gender in Nordic right-wing populism
Kämpinge Interactive Reporting System
3D recording and visualization is standard practice at the Department of Archaeology and Ancient History at LU. This approach is currently used within several field projects to support documentation, data management and data analysis. The 3D data collected in the field are archived in the faculty server and are made available to researchers and students through the Lund University Digital Archaeol
A mixture of Nordic berries improves cognitive function, metabolic function and alters the gut microbiota in C57Bl/6J male mice
Our diets greatly influence our health. Multiple lines of research highlight the beneficial properties of eating berries and fruits. In this study, a berry mixture of Nordic berries previously identified as having the potential to improve memory was supplemented to young C57Bl/6J male mice to investigate effects on cognition function, metabolic health, markers of neuroinflammation, and gut microbi
Bicyclo[3.3.1]nonanes as Scaffolds in Supramolecular Chemistry : From Host-Guest Systems to Hydrogen-Bonded Aggregates
This thesis describes the use of bicyclo[3.3.1]nonane and its heteroanalogue 1,5- diazabicyclo[3.3.1]nonane as scaffolds in different supramolecular systems. The thesis is divided into two parts, with the first part (chapter 2–4) focusing on the development and applications of a synthetic receptor based on a Tröger’s base motif fused with 18-crown-6 moieties. In chapter 3, NMR titration methodolog
Att vara emot urskillningslöst dödande har inget med antisemitism att göra
Constraining hadronization mechanisms with Λc+/D0 production ratios in Pb–Pb collisions at sNN=5.02 TeV
The production of prompt Λc+ baryons at midrapidity (|y|
Human Bone Marrow Microenvironment in Health and Disease
Hematopoietic stem cells (HSCs) are safeguarded from various threats such as stress, injury, or radiationwithin specialized microenvironments or niches within the bone marrow. In this thesis, we investigatedvarious facets of the bone marrow (BM) microenvironment and its critical role in hematopoiesis andrelated disorders.Initially, we elucidated the role of the Early Growth Response 1 (EGR1) gene
Testing Abstractions for Cyber-Physical Control Systems
Control systems are ubiquitous and often at the core of Cyber-Physical Systems, like cars and aeroplanes. They are implemented as embedded software, that interacts in closed loop with the physical world through sensors and actuators. As a consequence, the software cannot just be tested in isolation. To close the loop in a testing environment and root causing failure generated by different parts of
How Well do Polygenic Risk Scores Identify Men at High Risk for Prostate Cancer? Systematic Review and Meta-Analysis
Objectives: Genome-wide association studies have revealed over 200 genetic susceptibility loci for prostate cancer (PCa). By combining them, polygenic risk scores (PRS) can be generated to predict risk of PCa. We summarize the published evidence and conduct meta-analyses of PRS as a predictor of PCa risk in Caucasian men. Patients and methods: Data were extracted from 59 studies, with 16 studies i
Stress Testing of Design Assumptions in Cyber-Physical Systems: A Control Theory-Based Approach
Diminishing benefits of urban living for children and adolescents’ growth and development
Optimal growth and development in childhood and adolescence is crucial for lifelong health and well-being1–6. Here we used data from 2,325 population-based studies, with measurements of height and weight from 71 million participants, to report the height and body-mass index (BMI) of children and adolescents aged 5–19 years on the basis of rural and urban place of residence in 200 countries and ter
Improving constraints on gluon spin-momentum correlations in transversely polarized protons via midrapidity open-heavy-flavor electrons in p ↑+p collisions at s =200 GeV
Polarized proton-proton collisions provide leading-order access to gluons, presenting an opportunity to constrain gluon spin-momentum correlations within transversely polarized protons and enhance our understanding of the three-dimensional structure of the proton. Midrapidity open-heavy-flavor production at s=200 GeV is dominated by gluon-gluon fusion, providing heightened sensitivity to gluon dyn
A full transit of v 2Lupi d and the search for an exomoon in its Hill sphere with CHEOPS
The planetary system around the naked-eye star v2 Lupi (HD 136352; TOI-2011) is composed of three exoplanets with masses of 4.7, 11.2, and 8.6 Earth masses (M⊕). The TESS and CHEOPS missions revealed that all three planets are transiting and have radii straddling the radius gap separating volatile-rich and volatile-poor super-earths. Only a partial transit of planet d had been covered so we re-obs
Forskare: ”Kalla det inte för ’100-årsregn’ – det tonar ned riskerna”
DEBATT. Vi bör undvika att kalla naturfenomen och väderhändelser för sådant som ”100-årsregn”, ”50-årsflöden” och liknande – det lägger grund för missförstånd om hur man bedömer riskerna, skriver forskarna Johanna Sörensen och Rolf Larsson, LTH.
Glancing through the debris disk: Photometric analysis of de Boo with CHEOPS
Aims. DE Boo is a unique system, with an edge-on view through the debris disk around the star. The disk, which is analogous to the Kuiper belt in the Solar System, was reported to extend from 74 to 84 AU from the central star. The high photometric precision of the Characterising Exoplanet Satellite (CHEOPS) provided an exceptional opportunity to observe small variations in the light curve due to t