Filetype
Millimeter-wave (mmWave) is one key enabler for high data rates in (beyond-)5G wireless communication networks. The use of directive beams and the shorter transmission range in mmWave communications make it easily obstructed or blocked by humans in dynamic real-world scenarios. Connectivity diversity, a solution to link disruption and blockage, could be achieved by deploying distributed multi-poin
Building on the base of the existing telescopes of the Event Horizon Telescope (EHT) and ALMA, the next-generation EHT (ngEHT) aspires to deploy ∼10 more stations. The ngEHT targets an angular resolution of ∼15 microarcseconds. This resolution is achieved using Very Long Baseline Interferometry (VLBI) at the shortest radio wavelengths ∼1 mm. The Submillimeter Array (SMA) is both a standalone radio
Robust autonomy stacks require tight integration of perception, motion planning, and control layers, but these layers often inadequately incorporate inherent perception and prediction uncertainties, either ignoring them altogether or making questionable assumptions of Gaussianity. Robots with nonlinear dynamics and complex sensing modalities operating in an uncertain environment demand more carefu
We present property probes, a mechanism for helping a developer interactively explore partial program analysis results in terms of the source program, and as the program is edited. A node locator data structure is introduced that maps between source code spans and program representation nodes, and that helps identify probed nodes in a robust way, after modifications to the source code. We have dev
In this paper, we linear quadratic team decision problems, where a team of agents minimizes a convex quadratic cost function over T time steps subject to possibly distinct linear measurements of the state of nature. We assume that the state of nature is a Gaussian random variable and that the agents do not know the cost function nor the linear functions mapping the state of nature to their measure
System level synthesis is a promising approach that formulates structured optimal controller synthesis problems as convex problems. This work solves the distributed linear-quadratic regulator problem under communication constraints directly in infinite-dimensional space, without the finite-impulse response relaxation common in related work. Our method can also be used to construct optimal distribu
We present a new, scalable alternative to the structured singular value, which we call v, provide a convex upper bound, study their properties and compare them to l1 robust control. The analysis relies on a novel result on the relationship between robust control of dynamical systems and non-negative constant matrices.
In this paper we investigate simultaneous radial distortion calibration and motion estimation for vehicles travelling parallel to planar surfaces. This is done by estimating the inter-image homography between two poses, as well as the distortion parameter. Radial distortion correction is often performed as a pre-calibration step; however, accurately estimating the distortion profile without specia
We extend the generalized information criteria for high-dimensional penalizedmodels to sparse statistical jump models, a new class of statistically robust and computationally efficient alternatives to hidden Markov models. In a simulation study, we demonstrate that the new generalized information criteria selects the correct hyperparameters with high probability. Finally, providing an empirical ap
Obesity is a known risk factor for development of osteoarthritis (OA). Numerical tools like finite-element (FE) models combined with degenerative algorithms have been developed to understand the interplay between OA and obesity. In this study, we aimed to predict knee cartilage degeneration in a cohort of obese adults to investigate the importance of patient-specific information on degeneration pr
We study the realizability and strong satisfiability problems for SAFETY LTL, a syntactic fragment of Linear Temporal Logic ([Formula presented]) capturing safe formulas. While it is well-known that realizability for this fragment lies in [Formula presented], the best-known lower bound is [Formula presented]-hardness. Surprisingly, closing this gap has proven an elusive task. Previous works have c
Despite the successes in the use of artificial intelligence systems for image analysis, in certain critical applications, the final decision-making should remain with the human operator. To facilitate the working conditions of an unmanned aerial vehicle (UAV) pilot during prolonged missions, an auxiliary narrow-angle video camera is installed on board the UAV. This camera can be positioned indepen
Objectives: Bacteremia is an acute severe infection with high mortality. Changes in healthcare services and coinfections with SARS-CoV-2 may have affected the mortality for bacteremia during the COVID-19 pandemic, which has been reported for other major diseases. In this study we examine the all-cause bacteremia mortality amidst the COVID-19 pandemic. Methods: A population-based cohort study compr
We prove the first hardness results against efficient proof search by quantum algorithms. We show that under Learning with Errors (LWE), the standard lattice-based cryptographic assumption, no quantum algorithm can weakly automate TC0-Frege. This extends the line of results of Krajíček and Pudlák (Information and Computation, 1998), Bonet, Pitassi, and Raz (FOCS, 1997), and Bonet, Domingo, Gavaldà
The concept of regional anchor firms remains under-investigated. We analyse the mechanisms by which anchors affect other regional firms, disentangling effects resulting from scale/size vis-à-vis knowledge spillovers. Departing from previous idiographic research, we adopt a nomothetic research design and develop a stepwise expert-informed supervised machine learning approach to identify all anchor
Ensuring availability is a critical requirement for the Internet of Things (IoT). CIDER, a recovery architecture, and its follow-up scheme, Lazarus, are solutions to address this issue. CIDER introduced a new hardware module, the Authenticated Watchdog Timer (AWDT), to keep IoT devices running in normal mode as long as trusted authenticated tickets are received from a hub. If valid tickets are not
Network Data Analytics Function (NWDAF) is a key component in 5G networks, introduced by 3G Partnership Project (3GPP) standards, that leverages machine learning to optimize network performance. The 3GPP standards mandate that mobile network operators should retrain NWDAF models to maintain accuracy. However, the presence of adversarial user equipment (UE) can introduce corrupted data points durin
This article considers state estimation of rigid-body dynamics where the positions q are available to measurement but where the angular velocities ̇or accelerations are not available to measurement. Using a stability-oriented approach to model-based design of state estimation for Euler–Lagrange systems and rigid-body dynamics, state estimation based on position measurement is shown to guarantee se
