Filetype
We introduce a novel approach for energy-efficient scheduling of data-dependent stream programs with packet types on multicore architectures with voltage and frequency scaling. To have the given application meet specific throughput demands while minimizing energy consumption, we enhance the existing crown scheduling by packet-type dependent parameters. Formulation as an integer linear program gene
This is an undeniable fact now that wireless systems pervade all aspects of our lives. These systems are evolving at a rapid clip, connecting more people and devices every single day that goes by. This growth is further fueled by the users’ insatiable appetite for more traffic, be it for online gaming, watching high-fidelity video, downloading huge files, live- streaming and many more uses. With t
We propose and study a weakly convergent variant of the forward-backward algorithm for solving structured monotone inclusion problems. Our algorithm features a per-iteration deviation vector, providing additional degrees of freedom. The only requirement on the deviation vector to guarantee convergence is that its norm is bounded by a quantity that can be computed online. This approach offers great
This thesis delves into integrating control systems into cloud environments, leading to the emergence of what is commonly referred to as cloud control systems (CCSs). These systems represent a paradigm shift, leveraging the cloud’s expansive storage and computing capabilities to optimize industrial operations. However, while promising in terms of efficiency and scalability, this transition introdu
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
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
In order to keep up with the constant demand for higher data rates, the fifth generation of mobile communication (5G) introduced the use of mm-wave carrier frequencies from 24 to 71 GHz. Plenty of new frequency spectrum then became available, which has allowed for channel bandwidths of several hundreds of MHz. 6G is projected to continue this trend with even higher carrier frequencies and wider ba
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
Digital Twins are realistic digital representations of the physical world, frequently characterised by a two way link between digital and physical. Originating in manufacturing, they are now expanding to city and national scales. In this paper we explore connections between Geographic Information Science and National Digital Twins. Six different viewpoints and perspectives are presented on the top
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
Cholesterol is an essential membrane component enriched in plasma membranes, growth cones, and synapses. The brain normally synthesizes all cholesterol locally, but the contribution of individual cell types to brain cholesterol metabolism is unknown. To investigate whether cortical projection neurons in vivo essentially require cholesterol biosynthesis and which cell types support neurons, we have
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
Proof logging in constraint programming is an approach to certifying a conclusion reached by a solver. To allow for this, different propagators must be augmented to produce justifications for any inferences they make, so that an independent proof checker can certify correctness. The Circuit constraint is used to enforce a Hamiltonian cycle on a set of vertices, e.g. for vehicle routing. Maintainin
Symmetry and dominance breaking can be crucial for solving hard combinatorial search and optimisation problems, but the correctness of these techniques sometimes relies on subtle arguments. For this reason, it is desirable to produce efficient, machine-verifiable certificates that solutions have been computed correctly. Building on the cutting planes proof system, we develop a certification method
We propose a method for sensor array self-localization using a set of sources at unknown locations. The sources produce signals whose times of arrival are registered at the sensors. We look at the general case where neither the emission times of the sources nor the reference time frames of the receivers are known. Unlike previous work, our method directly recovers the array geometry, instead of fi
The dramatic improvements in Boolean satisfiability (SAT) solving since the turn of the millennium have made it possible to leverage conflict-driven clause learning (CDCL) solvers for many combinatorial problems in academia and industry, and the use of proof logging has played a crucial role in increasing the confidence that the results these solvers produce are correct. However, the fact that SAT
Salts affect the solvation thermodynamics of molecules of all sizes; the Hofmeister series is a prime example in which different ions lead to salting-in or salting-out of aqueous proteins. Early work of Tanford led to the discovery that the solvation of molecular surface motifs is proportional to the solvent accessible surface area (SASA), and later studies have shown that the proportionality cons
We study a controlled evolutionary dynamics that models the spread of a novel state in a network where the exogenous control aims to quickly spread the novel state. We estimate the performance of the system by analytically establishing upper and lower bounds on the expected time needed for the novel state to replace the original one. Such bounds are expressed as functions of the control policy ado
