Filetype
Beyond 5G communication systems must be able to meet the requirements imposed by the ever-increasing demand in capacity, while guaranteeing robustness, reliability, low latency, security, as well as spectral and power efficiencies. Large intelligent surfaces (LIS) as an evolution of massive MIMO have drawn considerable attention among researchers, being already considered as one of the key technol
Much of the technology that makes robots reliable, human friendly, and industrialroboticsadaptable for numerous applications has emerged from manufacturers of industrial robots. With an estimated installation base in 2014 of about 1.5 million units, some 171000 new installations in that year and an annual turnover of the robotics industry estimated to be US$ 32 billion, industrial robots are by fa
5G cellular networks can utilize millimeter wave signals, and support large bandwidths and large antenna arrays, which provide more geometric-based signals and higher delay and angle resolutions. These merits bring new opportunities in positioning the user with limited infrastructure through the use of combined angle and delay information. However, there are many practical challenges to overcome,
Black carbon (BC), spheroidal carbonaceous particles (SCP), and polycyclic aromatic hydrocarbons (PAH) are carbonaceous pollutants affecting the climate, environment, and human health. International regulations limit their emissions, and the present emissions are followed by monitoring programs. However, the monitoring programs have limited spatio-temporal coverage and only span the last decades.
Modern coding theory is based on the foundation of the sparse codes on graphs, such as the low-density parity-check (LDPC) codes, and the turbo-like codes (TCs) with component convolutional codes. The success of the LDPC codes and the TCs lies in their ability to perform low-complexity iterative message passing decoding procedures. The iterative message passing decoders that exchange messages prob
Static analysis tools play a crucial role in software development by detecting bugs and vulnerabilities. However, running these tools separately from the code editing process often causes developers to switch contexts, which can reduce productivity. Previous work has shown how Reference Attribute Grammars (RAGs) can be used for declarative implementation of competitive tooling for intraprocedural
Formal models for the safety validation of autonomous vehicles have become increasingly important. To this end, we present a safety framework for longitudinal automated driving. This framework enables the calculation of minimum safe inter-vehicular distances for arbitrary ego vehicle control policies in a computationally efficient manner. We use this framework to enhance and generalize the Respons
The success in the adoption of autonomous vehicles is dependent on their ability to solve rarely occurring safety-critical corner cases. Vehicular communications (V2X) aim at improving safety and efficiency of autonomous driving by adding the capability of explicit inter-vehicular information exchange. We argue that V2X enables another important function, namely the support of ethical driving deci
This paper presents tractable two parameter stochastic processes of the drift-diffusion class in order to model economic processes with a focus on income. Starting from the resulting closed-form, cross-sectional distributions, easy-to-interpret expressions for mobility and inequality (including the popular Gini-coefficient) are derived. The general processes are applied to discuss income mobility
Static code checkers are tools that help software engineers by automatically finding defects without executing the programs. These tools contain a set of detectors that rely on static program analyses to find common programming defects or to enforce coding guidelines.While existing code checker frameworks package a rich collection of detectors, aimed at common bug defects, the effort to adapt thes
Bayesian optimization is a widely used method for optimizing expensive black-box functions, with Expected Improvement being one of the most commonly used acquisition functions. In contrast, information-theoretic acquisition functions aim to reduce uncertainty about the function's optimum and are often considered fundamentally distinct from EI. In this work, we challenge this prevailing perspective
Recent work reported that simple Bayesian optimization methods perform well for high-dimensional real-world tasks, seemingly contradicting prior work and tribal knowledge. This paper investigates the 'why'. We identify fundamental challenges that arise in high-dimensional Bayesian optimization and explain why recent methods succeed. Our analysis shows that vanishing gradients caused by Gaussian pr
We recently proposed a quantitative group testing (GT) scheme with low-complexity peeling decoding based on low-density parity-check (LDPC) codes. Based on finite length simulations and a density evolution analysis we were able to demonstrate that simple (dv,dc)-regular LDPC codes can be more efficient for GT than existing generalized LDPC (GLDPC) code constructions based on BCH component codes. E
Future wireless systems are envisioned to be able to deliver ultra-reliable and low-latency communication.The third generation partner project (3GPP) has identified three different usage scenarios such as enhanced mobile broadband, massive machine-type communication, and ultra-reliable low latency communication.In each of those scenarios, several services and applications can be implemented, e.g.
Small autonomous surface vehicles (ASV) will need both teleoperation support and redundant positioning technology to comply with expected future regulations. When at sea, they are limited by a satellite communication link with low throughput. We have designed and implemented a graphical user interface (GUI) for teleoperation using a communication link with low throughput, and one positioning syste
In the context of future manufacturing lines, removing fixtures will be a fundamental step to increase the flexibility of autonomous systems in assembly and logistic operations. Vision-based 3D pose estimation is a necessity to accurately handle objects that might not be placed at fixed positions during the robot task execution. Industrial tasks bring multiple challenges for the robust pose estima
The cellular interior is a dense environment. Understanding how such an environment impacts the properties of proteins and other macromolecules, as well as how weak, non-specific interactions drive processes such as protein droplet formation through liquid-liquid phase separation, is a major challenge in biological physics. The complexity of this environment often makes experimental studies extrem
We have developed a technique to measure low-power electromagnetic fields from mm-wave devices non-intrusively by combining a metasurface, designed to absorb power and focus the radiated power in a thermally isolated region, with an infrared camera. The metasurface consists of thermally isolated elements of low mass and highly emissive material for maximal IR conversion of the incident wave. The I
The Amazon forest is increasingly vulnerable to dieback and encroachment of grasslands and agricultural fields. Threats to these forested ecosystems include drying, deforestation, and fire, but feedbacks among these make it difficult to determine their relative importance. Here, we reconstruct the central and western Amazon tree cover response to aridity and fire in the mid-Holocene—a time of less
