Filetype
Future Internet-of-Things (IoT) systems need to combine heterogeneous IoT components and support weak connectivity. This paper introduces ComPOS, a domain-specific language for composing IoT services into systems. ComPOS is a small language but supports powerful message mediation, using stateful reactions with nested and parallel message sequences and anonymous futures. To deal with weak connectiv
Multi-archive studies of climate events and archive-specific response times require synchronous time scales. Aligning common variations in the cosmogenic radionuclide production rate via curve fitting methods provides a tool for the continuous synchronization of natural environmental archives down to decadal precision. Based on this approach, we synchronize 10Be records from Western Gotland Basin
Sparse tensor computations suffer from irregular memory access patterns that degrade cache performance. While software prefetching can mitigate this, existing compiler approaches lack the semantic insight needed for effective optimization. We present ASaP, an automatic software prefetching framework integrated within MLIR’s sparse tensor dialect. By leveraging semantic information-tensor formats a
Ice-core timescales are vital for the understanding of past climate; hence they should be updated whenever significant amounts of new data become available. Here, the Greenland ice-core chronology GICC05 was revised for the last 3835 years by synchronizing six deep ice cores and three shallow ice cores from the central Greenland ice sheet. A new method was applied by combining automated counting o
• The Arctic is continuing to warm faster than any other region on Earth, but key uncertainties remain in our knowledge of the Arctic carbon cycle. • We review the most current knowledge pertaining to estimates of arctic greenhouse gas components and discuss uncertainties associated with these measurements and models. • While the Arctic Ocean is consistently estimated as a carbon sink, we have yet
We studied the behavior of an iterative receiver using protograph based LDPC codes (PG-LDPCC) in an UWB short range communication system. An EXIT-Chart-Analysis is applied by means of density evolution of protographs. We show that AWGN-optimized protograph ensembles perform also well on frequency-flat UWB channels, outperform rate-compatible punctured convolutional codes (RCPC), but degrade with i
The Northern Hemisphere experienced dramatic changes during the last glacial, featuring vast ice sheets and abrupt climate events, while high northern latitudes during the last interglacial (Eemian) were warmer than today. Here we use high-resolution aerosol records from the Greenland NEEM ice core to reconstruct the environmental alterations in aerosol source regions accompanying these changes. S
Aerosol emissions from anthropogenic activities cause detrimental health effects and affect the climate system. Combustion is a large source of airborne fine particulate matter (PM2.5) and the uncertainties of the climate role of these emissions are still large. A good understanding of the microphysical properties of aerosols from various sources and their atmospheric aging is essential for accura
The research area of climate field reconstructions has developed strongly during the past 20 years, motivated by the need to understand the complex dynamics of the earth system in a changing climate. Climate field reconstructions aim to build a consistent gridded climate reconstruction of different variables, often from a range of climate proxies, using either statistical tools or a climate model
The sun is the most important energy source for the Earth’s climate system, however, influences of solar variations on climate are not fully understood. Studying past solar activity can improve our understanding of what role the sun plays in Earth’s climate. Cosmogenic radionuclides, such as 10Be in ice cores, are powerful tools to reconstruct past solar activity before the period of direct telesc
Understanding atmospheric response to radiative forcing, including the intensity and distribution of wind patterns is critical as this might have important implications in the coming decades. Long-term episodes of reduced solar activity (i.e. Grand Solar Minima, GSM) have triggered rapid climate change in the past, recorded in proxy-based records, including varved sediments from Meerfelder Maar, G
Recent advances have extended the scope of Bayesian optimization (BO) to expensive-to-evaluate black-box functions with dozens of dimensions, aspiring to unlock impactful applications, for example, in the life sciences, neural architecture search, and robotics. However, a closer examination reveals that the state-of-the-art methods for high-dimensional Bayesian optimization (HDBO) suffer from degr
Lateglacial and Holocene summer sea-surface temperature (SST) variability in the northern North Atlantic was reconstructed based on diatom records from two sediment cores from the North Icelandic shelf. The temperature changes are discussed in relation to palaeoceanographic circulation patterns and past climatic changes. Modern diatom data from surface sediments from around Iceland and Southeast a
Major atmospheric oxidants (OH,O3 and NO3) dominate the atmospheric oxidation capacity, while H2SO4 is considered as a main driver for new particle formation. Although numerous studies have investigated the long-term trend of ozone in Europe, the trends of OH, NO3 and H2SO4 at specific sites are to a large extent unknown. The one-dimensional model SOSAA has been applied in several studies at the S
The incorporation of water isotopologues into the hydrology of general circulation models (GCMs) facilitates the comparison between modeled and measured proxy data in paleoclimate archives. However, the variability and drivers of measured and modeled water isotopologues, as well as the diversity of their representation in different models, are not well constrained. Improving our understanding of t
Factorization methods are frequently used for structure from motion problems (SfM). In the presence of noise they are able to jointly estimate camera matrices and scene points in overdetermined settings, without the need for accurate initial solutions. While the early formulations were restricted to affine models, recent approaches have been show to work with pinhole cameras by minimizing object s
A central challenge within pharmacometrics is to establish a relation between pharmacological model parameters, such as compartment volumes and diffusion rate constants, and known population covariates, such as age and body mass. There is rich literature dedicated to the learning of functional mappings from the covariates to the model parameters, once a search class of functions has been determine
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
Cosmogenic radionuclide records (e.g., 10Be and 14C) contain information on past geomagnetic dipole moment and solar activity changes. Disentangling these signals is challenging, but can be achieved by using independent reconstructions of the geomagnetic dipole moment. Consequently, solar activity reconstructions are directly influenced by the dipole moment uncertainties. Alternatively, the known
