Filtyp
Control theory has contributed a set of foundational techniques to handle "change" at runtime in software applications. These techniques however have fundamental limitations as well: (i) they require the development and understanding of mathematical models; (ii) synthesizing solutions is often done on a per-problem basis, discouraging flexibility and generality. Software engineering, as a discipli
Devices sharing a network compete for bandwidth, being able to transmit only a limited amount of data. This is for example the case with a network of cameras, that should record and transmit video streams to a monitor node for video surveillance. Adaptive cameras can reduce the quality of their video, thereby increasing the frame compression, to limit network congestion. In this paper, we exploit
A wideband 65-nm CMOS power amplifier (PA) is presented, with a decade frequency range from 600 MHz to 6.0 GHz. In this frequency range, the output power exceeds 26.6 dBm and the power gain and power-added efficiency (PAE) exceed 18.1 dB and 49%, respectively. For a 7.5-dB peak-to-average-power-ratio (PAPR) long term evolution (LTE) signal at 1.9 GHz, the circuit provides an average output power o
A continuous-time, 65-nm CMOS, front-end for processing DNA sequencing measurements from biological nanopore sensors is presented. The measured design has an input referred noise floor of 8.5\;{\text{fA}}/\sqrt {{\text{Hz}}} for 100 pA DC current while consuming 10X less power. The chip also consists of an integrated ADC.
The interest for studying server systems subject to cloned requests has recently increased. In this paper we present a model that allows us to equivalently represent a system of servers with cloned requests, as a single server. The model is very general, and we show that no assumptions on either inter-arrival or service time distributions are required, allowing for, e.g., both heterogeneity and de
Interesting approaches to counteract performance variability within cloud datacenters include sending multiple request clones, either immediately or after a specified waiting time. In this paper we present a performance model of cloud applications that utilize the latter concept, known as speculative execution. We study the popular Join-Shortest-Queue load-balancing strategy under the processor sh
Control systems can be vulnerable to security threats where an attacker gathers information about the execution of the system. In particular, side-channel attacks exploit the predictability of real-time control systems and of their schedules. To counteract their action, a scheduler can randomize the temporal execution of tasks and limit the amount of information the attacker can gather. Schedule r
As the Arctic warms, vegetation is responding, and satellite measures indicate widespread greening at high latitudes. This ‘greening of the Arctic’ is among the world’s most important large-scale ecological responses to global climate change. However, a consensus is emerging that the underlying causes and future dynamics of so-called Arctic greening and browning trends are more complex, variable a
Just like current software systems, conceptual models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated, validated and serialized. To achieve sufficiently low response times for large models, incremental analysis is required. Reference Attribute Grammars (RAGs) offer mechanisms to perform incremental analysis e
Observations during the Ice in Clouds Experiment-Tropical (ICE-T) field experiment show that the ice particles concentration in a developing deep convective clouds at the level of T = −15 °C reached about 500 L−1, that is, many orders higher than that of ice-nucleating particle. To simulate microphysics of these clouds, the 2-D Hebrew University Cloud model (HUCM) with spectral bin microphysics wa
Event-based sampling has been proposed as a general technique for lowering the average communication rate, energy consumption and computational burden in remote state estimation. However, the design of the event trigger is critical for good performance. In this paper, we study the combination of innovation-based triggering and state estimation of nonlinear dynamical systems using the particle filt
Efficient unit propagation for clausal constraints is a core building block of conflict-driven clause learning (CDCL) Boolean satisfiability (SAT) and lazy clause generation constraint programming (CP) solvers. Conflict-driven pseudo-Boolean (PB) solvers extend the CDCL paradigm from clausal constraints to integer linear constraints, also known as (linear) PB constraints. For PB solvers, many diff
The paper present a parallel implementation of an image processing algorithm for the on-line, non-destructive quality assurance of the non-woven, fibrous web materials. The task of the algorithm is to compute the material microstructure descriptors. The premise underlying this work is that the microstructure determines the performance of the material and characterization of the microstructure may
Context: The changes that are taking place with respect to environmental sensitivity are forcing organizations to adopt a new approach to this problem. Implementing sustainability initiatives has become a priority for the social and environmental awareness of organizations that want to stay ahead of the curve. One of the business areas that has, more than others, proven to be a vital asset and a p
The prevalence of Artificial Intelligence (AI) in the business landscape is indisputable. However, there are considerable gaps between the visionary ideas businesses communicate and their operational use of AI. The goal of this market survey is to identify companies currently working with AI in the Øresund Region - referred to as AI companies. The survey, conducted between June and September 2020,
The Eurasian (née European) Modern Pollen Database (EMPD) was established in 2013 to provide a public database of high-quality modern pollen surface samples to help support studies of past climate, land cover, and land use using fossil pollen. The EMPD is part of, and complementary to, the European Pollen Database (EPD) which contains data on fossil pollen found in Late Quaternary sedimentary arch
Software engineering research aims to help improve real-world practice. With the adoption of empirical software engineering research methods, the understanding of real-world needs and validation of solution proposals have evolved. However, the philosophical perspective on what constitutes theoretical knowledge and research contributions in software engineering is less discussed in the community. I
Turbulent fluxes make a substantial and growing contribution to the energy balance of ice surfaces globally, but are poorly constrained owing to challenges in estimating the aerodynamic roughness length (z0). Here, we used structure from motion (SfM) photogrammetry and terrestrial laser scanning (TLS) surveys to make plot-scale 2-D and 3-D microtopographic estimations of z0 and upscale these to ma
Background and objective: New proposals to improve the regulation of hypnosis in anaesthesia based on the development of advanced control structures emerge continuously. However, a fair study to analyse the real benefits of these structures compared to simpler clinically validated PID-based solutions has not been presented so far. The main objective of this work is to analyse the performance limit
