Filtyp
During recent years, research on authenticated encryption has been thriving through two highly active and practice-motivated research directions: provably secure leakage-resilience schemes and key- or context-commitment security. However, the intersection of both fields had been overlooked until very recently. In ToSC 1/2024, Struck and Weish\"aupl studied generic compositions of Encryption scheme
WEAVE, the new wide-field, massively multiplexed spectroscopic survey facility for the William Herschel Telescope, saw first light in late 2022. WEAVE comprises a new 2-deg field-of-view prime-focus corrector system, a nearly 1000-multiplex fibre positioner, 20 individually deployable ‘mini’ integral field units (IFUs), and a single large IFU. These fibre systems feed a dual-beam spectrograph cove
In November 2022 the European Commission launched a new regulatory framework proposal for packaging and packaging waste, EU Packaging and Packaging Waste Regulation, which includes mandatory reuse and refill targets of packed food products. With specific focus on perishable liquid food products, such as dairy, plant-based beverages, juices, and nectars, which are currently primarily available in s
The sometimes rapid development of (new) threats and extraordinary events calls for a robust, flexible, and well-equipped civil crisis preparedness system to respond and limit the damage of crisis events. To achieve this, Swedish municipalities and regions are required by law to regularly perform and report risk and vulnerability analysis ‘bottom up’ to governmental agencies. When performed in lar
This thesis delves into the multifaceted challenges of designing analog-to-digital converters (ADCs) tailored for high-speed and medium accuracy applications, particularly in deeply scaled-down CMOS technologies across five comprehensive chapters within its Introduction. Furthermore, it explores the evolution of mobile telephony from the first-generation (1G) to the last commercialized generation
Progenitor cells adapt their behavior in response to tissue demands. However, the molecular mechanisms controlling esophageal progenitor decisions remain largely unknown. Here, we demonstrate the presence of a Troy (Tnfrsf19)-expressing progenitor subpopulation localized to defined regions along the mouse esophageal axis. Lineage tracing and mathematical modeling demonstrate that Troy-positive pro
Background Patients with acute intracerebral hemorrhage who are receiving factor Xa inhibitors have a risk of hematoma expansion. The effect of andexanet alfa, an agent that reverses the effects of factor Xa inhibitors, on hematoma volume expansion has not been well studied. Methods We randomly assigned, in a 1:1 ratio, patients who had taken factor Xa inhibitors within 15 hours before having an a
Background: Risky sexual behavior (RSB) is one of the major youth sexual and reproductive health problems globally, including in Ethiopia. RSB among youth increases the risk of HIV infection, other sexually transmitted infections (STIs), unintended pregnancy, and unsafe abortion. Therefore, the aim of this study was to examine RSB and its associated factors among university students in Ethiopia. M
The Horizon 2020 project EU 1.5°C Lifestyles aims to mainstream lifestyles aligned with the aspirational target of the Paris Agreement. The project analyzes lifestyle perspectives at the household level and links them to studies of relevant political and socio-economic structures at various levels of government. Within this project, Citizen Thinking Labs were organized in five EU countries to expl
This paper serves as a first identification step in a two-step model-based control synthesis problem of switched linear systems (SLSs). More precisely, we present an algorithm that addresses the realization of the multi-input/multi-output MIMO-SLSs from Markov parameters under mild assumptions on the dwell-times and the submodels. A key point of the proposed approach is the introduction of the for
In this paper, we propose a framework to iden-tify discrete-time, multi-input/multi-output (MIMO), switched-linear systems (SLSs) from input-output data. The key step is an observer-based transformation to a switched auto-regressive with exogenous input (SARX) model. This transformation has a nontrivial kernel complicating identification, but converts the state-space identification problem to SARX
Remote sensing (RS) data provide large-scale observations to measure water quality parameters (WQPs) like turbidity (Turb), which indicates the haziness of the water. Accurately estimating these parameters solely from RS data is inherently complex due to various factors, necessitating the use of advanced models capable of capturing the intricate relationships between RS spectral bands as an input
Alpha masked geometry such as foliage has long been one of the trickier things to render efficiently, both for rasterization based approaches and for hardware accelerated ray-tracing. Recently, a new type of primitive was introduced to the Vulkan® and DirectX® ray-tracing APIs that promises to alleviate this issue: Opacity Micromaps, a structure that uses a bit of extra memory as hints to the pipe
We investigate frugal splitting operators for finite sum monotone inclusion problems. These operators utilize exactly one direct or resolvent evaluation of each operator of the sum, and the splitting operator's output is dictated by linear combinations of these evaluations' inputs and outputs. To facilitate analysis, we introduce a novel representation of frugal splitting operators via a generaliz
Background: Primary Health Care (PHC) plays a crucial role in managing the COVID-19 pandemic, with only 8% of cases requiring hospitalization. However, PHC COVID-19 data often goes unnoticed on European government dashboards and in media discussions. This project aims to examine official information on PHC patient care during the COVID-19 pandemic in Europe, with specific objectives: (1) Describe
This thesis presents five papers on minimax adaptive control and estimation. Minimax adaptive estimation is a framework for output prediction and state estimation that provides a priori computable performance bounds for esti- mators. Minimax adaptive controllers ensure that the closed loop has finite gain, maintaining stability and performance under model class uncertainty. The contributions of t
Dataflow is a Model of Computation (MoC) that describes applications as networks of actors. The CAL Actor Language (CAL) is one of the programming languages for describing such actors. A downside to CAL is that the actors and their networks are rigidly defined - it is not possible to have a parametric number of ports or actions in an actor. This makes it difficult to define flexible applications o
We prove near-optimal tradeoffs for quantifier depth (also called quantifier rank) versus number of variables in first-order logic by exhibiting pairs of n-element structures that can be distinguished by a k-variable first-order sentence but where every such sentence requires quantifier depth at least nω (k/log k). Our tradeoffs also apply to first-order counting logic and, by the known connection
Conflict analysis has been successfully generalized from Boolean satisfiability (SAT) solving to mixed integer programming (MIP) solvers, but although MIP solvers operate with general linear inequalities, the conflict analysis in MIP has been limited to reasoning with the more restricted class of clausal constraint. This is in contrast to how conflict analysis is performed in so-called pseudo-Bool
