Search results

This package facilitates working with probability distributions by means of Monte-Carlo methods, in a way that allows for propagation of probability distributions through functions. This is useful for, e.g., nonlinear uncertainty propagation. A variable or parameter might be associated with uncertainty if it is measured or otherwise estimated from data. We provide two core types to represent proba

We consider the problem of feasible coordination control for multiple homogeneous or heterogeneous mobile vehicles subject to various constraints (nonholonomic motion constraints, holonomic coordination constraints, equality/inequality constraints etc). We develop a general framework involving differential-algebraic equations and viability theory to describe and determine coordination feasibility

Future internet-of-things systems need to be able to combine heterogeneous services and support weak connectivity. In this paper, we introduce ComPOS, a new domain-specific language for composing services in IoT systems. We show how Maria, a bird watcher, can use ComPOS to build a system that allows her to spy on birds in the garden while she is not at home. We demonstrate how ComPOS handles the u

Cosmogenic radionuclides, such as 10Be and 14C, share a common production signal, with their formation in the Earth's upper atmosphere modulated by changes to the geomagnetic field, as well as variations in the intensity of the solar wind. Here, we use this common production signal to compare between the radiocarbon (IntCal)and Greenland ice-core (GICC05)timescales, utilising the most pronounced c

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

The breakup of the L-chondrite parent body in the asteroid belt 466 million years (Ma) ago still delivers almost a third of all meteorites falling on Earth. Our new extraterrestrial chromite and 3He data for Ordovician sediments show that the breakup took place just at the onset of a major, eustatic sea level fall previously attributed to an Ordovician ice age. Shortly after the breakup, the flux

Between 15 and 27kyrb2k (thousands of years before 2000CE) during the last glacial, Greenland experienced a prolonged cold stadial phase, interrupted by two short-lived warm interstadials. Greenland ice-core calcium data show two periods, preceding the interstadials, of anomalously high atmospheric dust loading, the origin of which is not well understood. At approximately the same time as the Gree

Radiocarbon dating provides a key chronological framework for studying past environmental changes. Raw radiocarbon ages measured in samples must be converted to calendar ages using an appropriate calibration curve. Tree-ring datasets provide the gold-standard for developing a precise curve of atmospheric radiocarbon levels over long-time scales. Here, we reconstruct atmospheric radiocarbon levels

Reliable information on solar activity over the Holocene period is important to predict the Sun in the future and to understand the mechanism behind the Sun-climate linkage. Presently, there are discrepancies in the proxy data of solar activity due to reasons that are not yet understood. This leads to major uncertainties in Holocene solar reconstructions. This PhD project aims to improve the Holoc

10Be in ice cores has been instrumental for reconstructing past changes in solar activity prior to direct observations. For a robust use of these records, it is pivotal to understand the 10Be transport and deposition. However, there are only few high-resolution seasonal 10Be data longer than one full solar cycle (11 years) that could enable a quantification of the influences of atmospheric circula

Land and climate interact in complex ways through changes in forcing and multiple biophysical and biogeochemical feedbacks across different spatial and temporal scales. This chapter assesses climate impacts on land and land impacts on climate, the human contributions to these changes, as well as land-based adaptation and mitigation response options to combat projected climate changes.

Stratospheric aerosol has long been seen as a pure mixture of sulfuric acid and water. Recent measurements, however, found a considerable carbonaceous fraction extending at least 8 km into the stratosphere. This fraction affects the aerosol optical depth (AOD) and the radiative properties, and hence the radiative forcing and climate impact of the stratospheric aerosol. Here we present an investiga

Several climate oscillations have been reported from the early Holocene superepoch, the best known of which is the Preboreal oscillation (PBO). It is still unclear how the PBO and the number of climate oscillations observed in Greenland ice cores and European terrestrial records are related to one another. This is mainly due to uncertainties in the chronologies of the records. Here, we present new

Smart cameras are increasingly used in surveillance solutions in public spaces. Contemporary computer vision applications can be used to recognize events that require intervention by emergency services. Smart cameras can be mounted in locations where citizens feel particularly unsafe, e.g., pathways and underpasses with a history of incidents. One promising approach for smart cameras is edge AI, i

We define a ray, show how to use ray intervals, and demonstrate how to specify a ray using DirectX Raytracing (DXR).

The traditional quadratic formula is often presented as the way to compute the intersection of a ray with a sphere. While mathematically correct, this factorization can be numerically unstable when using floating-point arithmetic. We give two little-known reformulations and show how each can improve precision.