Filtyp
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
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
The urbanization of landscapes and the increase in impervious land cover materials is known to cause significant changes in the landscape's thermal properties, typically leading to urban heat island (UHI). Although previous studies have investigated the impacts of land cover land use (LULC) and other factors on the urban land surface temperature (LST), the results of such studies are mixed. For in
A deterministic annealing (DA) method is presented for solving the multi-robot routing problem with min–max objective. This is an NP-hard problem belonging to the multi-robot task allocation set of problems where robots are assigned to a group of sequentially ordered tasks such that the cost of the slowest robot is minimized. The problem is first formulated in a matrix form where the optimal solut
Recent advances in artificial intelligence and deep machine learning have created a step change in how to measure human development indicators, in particular asset-based poverty. The combination of satellite imagery and deep machine learning now has the capability to estimate some types of poverty at a level close to what is achieved with traditional household surveys. An increasingly important is
A product code with single parity-check component codes can be described via the tools of a multi-kernel polar code, where the rows of the generator matrix are chosen according to the constraints imposed by the product code construction. Following this observation, successive cancellation decoding of such codes is introduced. In particular, the error probability of single parity-check product code
This abstract describes the decomposition of a matrix representing a scattering dyadic into characteristic modes. Scattering dyadic, as compared to conventionally used impedance matrices, are independent of numerical method used to compute them and the same characteristic mode formulation can be used for decomposition of composite and inhomogeneous materials. The utilization of scattering dyadic m
Quantum annealing is a promising approach for obtaining good approximate solutions to difficult optimization problems. Folding a protein sequence into its minimum-energy structure represents such a problem. For testing new algorithms and technologies for this task, the minimal lattice-based [hydrophobic (H) or polar (P) beads] HP model is well suited, as it represents a considerable challenge desp
The IEEE 802.11 standard, often referred to as Wi-Fi, underpins wireless networking applications around the world that impact our daily lives, such as wireless access to the Internet from offices, homes, airports, hotels, restaurants, trains, and aircraft. Today's laptops, tablets, and smartphones are typically equipped with at least one IEEE 802.11 radio. IEEE 802.11 standards have enabled a whol
We show that spatially coupled low-density parity-check (LDPC) codes yield robust performance over changing intersymbol interfere (ISI) channels with optimal and suboptimal detectors. We compare the performance with classical LDPC code design which involves optimizing the degree distribution for a given (known) channel. We demonstrate that these classical schemes, despite working very good when de
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 allows calculating minimum safe inter-vehicular distances for arbitrary ego vehicle control policies. We use this framework to enhance the Responsibility-Sensitive Safety (RSS) model and models based on it,
This issue marks the start of my term as department editor for the “Requirements” column. I very much look forward to exploring contemporary aspects of requirements and requirements engineering (RE) in the coming years! As an institute researcher with RISE, I primarily work in strictly regulated domains, in which requirements are cornerstones in the development activities. Please check my introduc
Background: Depression is a risk factor for type 2 diabetes (T2D) and cardiovascular disease (CVD). The aims were to explore the prevalence of depression, anxiety, antidepressant use, obesity, Hemoglobin A1c > 64 mmol/mol, life-style factors, pre-existing CVD, in patients with newly diagnosed T2D; to explore associations with depression; and to compare with Swedish general population data. Methods
Memories may integrate elements experienced in different events. For instance, meeting a woman leaving her house, and later meeting another woman entering the same house, may allow us to infer that the two women live together. Such memory representations are thought to rely on integrative encoding mechanisms, allowing us to make inferences about the world and generalize knowledge to entirely new s
ObjectivesThe formation of episodic memories is critically determined by how we visually sample the world over time via sequences of eye movements. Nonetheless, in the neuroscience of human memory, memory encoding has almost exclusively been studied in experimental paradigms where the study material is presented in a single fixed location on the screen, and where eye movements are treated as artif
Episodic memory enables mental time travel, allowing us to relive specific, personally experienced events tied in time and place. This feat of human memory is considered to be dependent on the reinstatement of the cortical patterns that were active at the time of encoding. A growing body of recent literature has provided support for this idea by showing that retrieval success co-varies with the ne
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
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
