Filetype
Traffic safety is a complex and important research area with the potential to save many lives in the future. Two key problems are considered, namely the gathering of reliable and detailed road user statistics which can be used to estimate the safety of a traffic environment and taking advantage of surveillance infrastructure to guide and assist vehicles in real time, primarily autonomous ones. A c
The commercial availability of low-cost millimeterwave (mmWave) communication and radar devices is starting to improve the adoption of such technologies in consumer markets, paving the way for large-scale and dense deployments in fifthgeneration (5G)-and-beyond as well as 6G networks. At the same time, pervasive mmWave access will enable device localization and device-free sensing with unprecedent
Free-energy calculations are crucial for investigating biomolecular interactions. However, in theoretical studies, the neglect of electronic polarization can reduce predictive capabilities, specifically for free-energy calculations. To effectively mimick polarization, we explore a Charge Switching (CS) model, aiming to narrow the gap between computational and experimental results. The model requir
In this letter, we deal with evolutionary game-theoretic learning processes for population games on networks with dynamically evolving communities. Specifically, we propose a novel mathematical framework in which a deterministic, continuous-time replicator equation on a community network is coupled with a closed dynamic flow process between communities, in turn governed by an environmental feedbac
Cell-free massive multiple-input multiple-output (MIMO) consists of a large set of distributed access points (APs) serving a number of users. The APs can be far from each other, and they can also have a big number of antennas. Thus, decentralized architectures have to be considered so as to reduce the interconnection bandwidth to a central processing unit (CPU) and make the system scalable. On the
SMIRK is a pedestrian automatic emergency braking system that facilitates research on safety-critical systems embedding machine learning components. As a fully transparent driver-assistance system, SMIRK can support future research on trustworthy AI systems, e.g., verification & validation, requirements engineering, and testing. SMIRK is implemented for the simulator ESI Pro-SiVIC with core co
Background: The development of new targeted alpha therapies motivates improving alpha particle dosimetry. For alpha particles, microscopic targets must be considered to estimate dosimetric quantities that can predict the biological response. As double-strand breaks (DSB) on DNA are the main cause of cell death by ionizing radiation, cell nuclei are relevant volumes necessary to consider as targets
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
We describe the design and implementation of a new constraint programming solver that can produce an auditable record of what problem was solved and how the solution was reached. As well as a solution, this solver provides an independently verifiable proof log demonstrating that the solution is correct. This proof log uses the VeriPB proof system, which is based upon cutting planes reasoning with
In this paper, we examine variable node (VN) doping to mitigate the error propagation problem in sliding window decoding (SWD) of spatially coupled LDPC (SC-LDPC) codes from the point of view of the encoding process. More specifically, in order to simplify the process of generating an encoded sequence with some number of doped code bits, we propose to employ systematic encoding and to limit doping
Robot skills systems are meant to reduce robot setup time for new manufacturing tasks. Yet, for dexterous, contact-rich tasks, it is often difficult to find the right skill parameters. One strategy is to learn these parameters by allowing the robot system to learn directly on the task. For a learning problem, a robot operator can typically specify the type and range of values of the parameters. Ne
We propose a pipeline to setup up robot systems for new tasks using symbolic planning, reasoning and reinforcement learning. Furthermore, we
This paper aims to design a highly efficient adsorbent to capture phosphoprotein in a facile way. One of the applications would be removing the allergenic β-casein from vaccines. To avoid the use of organic reagents and improve the capacity of immobilized metal ion affinity chromatography applied for bio-products at neutral pH, synergistic functional Core@Brush microspheres were designed utilizing
As ultra-massive multiple-input multiple-output (UM-MIMO) has emerged as a key technology for millimeter-wave and terahertz communications, the spherical wave propagation should be considered for channel modeling. Therefore, it is critical to identify the locations and evolving behaviors of scatterers, i.e., the sources of the spherical wavefronts. In this contribution, a novel space-alternating g
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,
Cloud computing has quickly grown to become an essential component in many modern-day software applications. It allows consumers, such as a provider of some web service, to quickly and on demand obtain the necessary computational resources to run their applications. It is desirable for these service providers to keep the running cost of their cloud application low while adhering to various perform
This thesis studies two families of methods for finding zeros of finite sums of monotone operators, the first being variance-reduced stochastic gradient (VRSG) methods. This is a large family of algorithms that use random sampling to improve the convergence rate compared to more traditional approaches. We examine the optimal sampling distributions and their interaction with the epoch length. Speci
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
