Search results

Intrinsically disordered proteins (IDP) are proteins that sample a heterogeneous ensemble of conformers in solution. An estimated 25-30% of all eukaryotic proteins belong to this class. In vivo, IDPs function under conditions that are highly crowded by other biological macromolecules. Previous research has highlighted that the presence of crowding agents can influence the conformational ensemble s

Microcontrollers have become an integral part of modern everyday embedded systems, such as smart bikes, cars, and drones. Typically, microcontrollers operate under real-time constraints, which require the timely execution of programs on the resource-constrained hardware. As embedded systems are becoming increasingly more complex, microcontrollers run the risk of violating their timing constraints,

The rapidly evolving domain of network systems poses complex challenges, especially when considering scalability and transient behaviors. This thesis aims to address these challenges by offering insights into the transient analysis and control design tailored for large-scale network systems. The thesis consists of three papers, each of which contributes to the overarching goal of this work.The fir

This paper analyzes the influence of the interannual variability of climatic drought on ecological and hydrological droughts for a basin in the central Spanish Pyrenees using variables derived from observations and hydro-ecological simulation in order to determine the possible connection between meteorological, ecological and hydrological drought considering a cascading approach and encompassing d

Europe has experienced severe drought events in recent decades, posing challenges to understand vegetation responses due to diverse vegetation distribution, varying growth stages, different drought characteristics, and concurrent hydroclimatic factors. To analyze vegetation response to meteorological drought, we employed multiple vegetation indicators across European biomes. Our findings reveal th

We consider a version of the Erdős–Rothschild problem for families of graph patterns. For any fixed k≥3, let r0(k) be the largest integer such that the following holds for all 2≤r≤r0(k) and all sufficiently large n: The Turán graph Tk−1(n) is the unique n-vertex graph G with the maximum number of r-edge-colorings such that the edge set of any copy of Kk in G is rainbow. We use the regularity lemma

Consider discrete-time linear distributed averaging dynamics, whereby a finite number of agents in a network start with uncorrelated and unbiased noisy measurements of a common state of the world modeled as a scalar parameter, and iteratively update their estimates following a non-Bayesian learning rule. Specifically, let every agent update her estimate to a convex combination of her own current e

Systems that interact with the environment around them generally run some periodic tasks. This class of systems include, among others, embedded control systems. Embedded controllers have been proven vulnerable to various security attacks, including attacks that alter sensor and actuator data and attacks that disrupt the calculation of the control signals. In this paper, we propose, and implement,

In this paper, we present a heuristic method for adapting a networked linear feedback controller to improve its robustness to timing complications, such as long delays, aborted computations, and dropped packets. The core concept of the approach is to log successful sampling and actuation events and then, at discrete time-points, use non-convex parametric optimization to improve the expected perfor

A central goal of education is to improve argumentation literacy. How do we know how well this goal is achieved? Can we measure argumentation literacy? The present study is a preliminary step towards measuring the efficacy of education with regards to argumentation literacy. Tests currently in use to determine critical thinking skills are often similar to IQ-tests in that they predominantly measur

Medical decision-making is critical and the decisions are made under uncertain, complex, and dynamic conditions. In this regard, practitioners’ experiences and perceptions may provide a bottom-up knowledge of the issues, as well as a corresponding support system that assists them in learning to make decisions in critical situations. The current study aimed to examine these experiences in the Pakis

A memetic framework for optimal inverse design is proposed by combining a local gradient-based procedure and a robust global scheme. The procedure is based on method-of-moments matrices and does not demand full inversion of a system matrix. Fundamental bounds are evaluated for all optimized metrics in the same manner, providing natural stopping criteria and quality measures for realized devices. C

It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations must preserve the feasibility status and optimal value of the problem, but there is currently no established methodology to express and verify the equivalence of two mixed-integer programs. In this work, we take a first s

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

Due to their natural and inherent way of capturing concurrency, dataflow descriptions of stream programs have seen prevalent usage in fields such as video processing, networks and scientific computing. They are often deployed on manycore, heterogeneous and distributed architectures. Despite robust research on the topic, obstacles still exist in evaluating the performance of stream programs accurat

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