Filetype
Algebraic reasoning has proven to be one of the most effective approaches for verifying gate-level integer mul-tipliers, but it struggles with certain components, necessitating the complementary use of SAT solvers. For this reason validation certificates require proofs in two different formats. Approaches to unify the certificates are not scalable, meaning that the validation results can only be t
The recent COVID-19 pandemic highlighted the need of non-pharmaceutical interventions in the first stages of a pandemic. Among these, lockdown policies proved unavoidable yet extremely costly from an economic perspective. To better understand the tradeoffs between economic and epidemic costs of lockdown interventions, we here focus on a simple SIR epidemic model and study lockdowns as solutions to
In this paper we study structure from motion problems for 1D radial cameras. Under this model the projection of a 3D point is a line in the image plane going through the principal point, which makes the model invariant to radial distortion and changes in focal length. It can therefore effectively be applied to uncalibrated image collections without the need for explicit estimation of camera intrin
Current global models of the carbon (C) cycle consider only vertical gas exchanges between terrestrial or oceanic reservoirs and the atmosphere, thus not considering the lateral transport of carbon from the continents to the oceans. Therefore, those models implicitly consider all of the C which is not respired to the atmosphere to be stored on land and hence overestimate the land C sink capability
The Arctic is warming at twice the global average speed, and the warming-induced increases in biogenic volatile organic compounds (BVOCs) emissions from Arctic plants are expected to be drastic. The current global models' estimations of minimal BVOC emissions from the Arctic are based on very few observations and have been challenged increasingly by field data. This study applied a dynamic ecosyst
Monoterpenes emitted from plants have an important role in atmospheric chemistry through changing atmospheric oxidative capacity, forming new particles and secondary organic aerosols. The emission rates and patterns can be affected by changing climate. In this study, emission responses to six years of climatic manipulations (elevated CO2, extended summer drought and night-time warming) were invest
Biogenic volatile organic compound (BVOC) emissions from subarctic ecosystems have shown to increase drastically in response to a long-term temperature increase of only 2°C. We assessed whether this increase takes place already after 3 years of warming and how the increase changes over time. To test this, we measured BVOC emissions and CO2 fluxes in a field experiment on a subarctic wet heath, whe
In this paper we address Industrial IoT control applications which are safety-critical and real-time, and which have very low latency and jitter requirements. These control applications are virtualized as software tasks running on a Fog Computing Platform that brings computing and deterministic communication closer to the edge of the network, where the industrial "things" are located. Due to the d
Modern control algorithms are frequently implemented in a distributed and decentralized way. Multiple fog devices communicate using paradigms borrowed from the Internet-of-Things. These control infrastructures are vulnerable to security threats. This position paper describes these threats and sketches future research on how to mitigate the security concerns that a modern distributed control infras
This summary refers to the paper 'Comparison of the FMEA and STPA safety analysis methods-a case study' [Su17]. The paper was published as an article in the Software Quality Journal. It compares the Failure Mode and Effect Analysis (FMEA) and the System Theoretic Process Analysis (STPA) in an industrial case study.
This chapter focuses on taxation in Africa since 1900. Using existing data and insights from the literature, the chapter documents taxes collected by colonial and post-colonial states, exploring what was taxed, the types of taxes, the tax revenue patterns and the socio-political contexts shaping taxation policies. It begins by discussing the fundamental principles of taxation and forms of direct a
TURNÉFORESTILLING.
