Filetype
This paper focuses on the regulation of RNA production for in vitro synthetic gene networks. We consider the problem of matching the production rate of several RNA species concurrently transcribed to form RNA complexes. We design regulatory feedback loops based on two schemes: negative auto-regulation (which can minimize the potentially harmful amount of molecules not used to form products) and cr
In this paper we consider a set of dynamically decoupled systems interconnected by control agents. We can visualize this architecture as a graph where subsystems are associated to nodes and control agents are associated to arcs. The interconnection between subsystems is determined by their input matrix. The decisions of each control agent can directly affect only the nodes connected by the corresp
This paper addresses set invariance properties for linear time-delay systems. More precisely, the first goal of the article is to review known necessary and/or sufficient conditions for the existence of invariant sets with respect to dynamical systems described by linear discrete time-delay difference equations (dDDEs). Secondly, we address the construction of invariant sets in the original state
Transfusion-related acute lung injury (TRALI) is a syndrome of respiratory distress triggered by blood transfusions and is the leading cause of transfusion-related mortality. TRALI has primarily been attributed to passive infusion of HLA and/or human neutrophil antigen antibodies present in transfused blood products, and predisposing factors such as inflammation are known to be important for TRALI
The sharing of digital information between phases in the planning and building process still have shortcomings. Ourstudy is performed as a test case on a construction project in a municipality and focuses on two aspects of how the sharing of building information could be improved: 1) to get a more process oriented approach to the information flow. Here we will test if the ISO-standard Product Lif
Cloud computing has become a compelling paradigm built on compute and storage virtualization technologies. The current virtualization solution in the Cloud widely relies on hypervisor-based technologies. Given the recent booming of the container ecosystem, the container-based virtualization starts receiving more attention for being a promising alternative. Although the container technologies are g
Various emerging technologies, such as autonomous vehicles and fully autonomous flying, require precision positioning. This work presents a localization and tracking method based on joint direction of arrival (DOA), time delay, and range estimation using the SAGE algorithm. The proposed method does not rely on external sources of information such as global navigation satellite systems (GNSS). The
This thesis consists of four self-contained papers in applied microeconomics. The first paper asks how a neighbors purchase of a specific good affects a households likelihood of purchase. I use an image classification algorithm to process a large set of aerial photos in order to infer household ownership of a visible durable good, specifically a trampoline. To estimate the neighborhood effect, I u
The relaxation systems are an important subclass of the passive systems that arise naturally in applications. We exploit the fact that they have highly structured state-space realisations to derive analytical solutions to some simple H-infinity type optimal control problems. The resulting controllers are also relaxation systems, and often sparse. This makes them ideal candidates for applications i
In this paper we develop a number of generic techniques and algorithms in spectral analysis of large linear approximations for use in cryptanalysis. We apply the developed tools for cryptanalysis of ZUC-256 and give a distinguishing attack with complexity around 2236 . Although the attack is only 220 times faster than exhaustive key search, the result indicates that ZUC-256 does not provide a sour
In the implementation of post-quantum primitives, it is well known that all computations that handle secret information need to be implemented to run in constant time. Using the Fujisaki-Okamoto transformation or any of its different variants, a CPA-secure primitive can be converted into an IND-CCA secure KEM. In this paper we show that although the transformation does not handle secret informatio
In this paper we study resilience of TDMA-based wireless sensor networks to node failures. We investigate exploiting mutlicast routing for providing redundancy in the number of gateways used by data streams, so as to protect them against gateway failures. To do this, we develop an optimization model aiming at packet traffic throughput maximization composed of three mixed-integer programming proble
A growing number of connected IoT devices makesit more and more difficult for the network to provide the desiredreliability in any deployment scenario. The advent of NB-IoTtechnology opens new possibilities for low-power long-range IoTapplications. However, the design of the standard introduces highbattery drainage in the situations when the radio conditionsbetween the UE and the eNB are poor. Dev
Discontinuous Reception (DRX) has been included in 4G-LTE as the main power saving mechanism for User Equipment (UE). However, the existing 3-state DRX model is not sufficient for new use cases introduced by 4G and 5G. For example, the device discovery process in Device to Device (D2D) communication has a significant impact on delay and power consumption, but the existing conventional 3-state DRX
We study a scenario where a monitor is interested in the freshest possible update from a remote sensor. The monitor also seeks to minimize the number of updates that exceed a certain freshness threshold, beyond which, the information is deemed to be too old. Previous work has presented results for First Come First Served (FCFS) systems. However, it has been shown that Last Come First Served (LCFS)
We investigate the trade-off between energy usage and (packet) throughput in wireless mesh networks performing machine-to-machine communication. For this we provide a novel mixed-integer programming formulation to maximise the throughput while maintaining minimal energy usage, together with an effective price-and-branch solution algorithm based on column generation. The resulting optimisation mode
Open Source Security and Dependency Vulnerability Management (DVM) has become a more vital part of the software security stack in recent years as modern software tend to be more dependent on open source libraries. The largest open source of vulnerabilities is the National Vulnerability Database (NVD), which supplies developers with machine-readable vulnerabilities. However, sometimes Common Vulner
In this contribution, a recently conducted measurement campaign for indoor millimeter-wave (mm-wave) propagation channels is introduced. A vector network analyzer (VNA)-based channel sounder was exploited to record the channel characteristics at the frequency band from 28-30 GHz. A virtual uniform circular array (UCA) with a radius of 0.25 m was formed using a rotator with 360 steps. Moreover, by
One important open question in side-channel analysis is to find out whether all the leakage samples in an implementation can be exploited by an adversary, as suggested by masking security proofs. For attacks exploiting a divide-and-conquer strategy, the answer is negative: only the leakages corresponding to the first/last rounds of a block cipher can be exploited. Soft Analytical Side-Channel Atta
