Filtyp
Research efforts to push the integration density of circuits with technologies that transcend Moore's law have gained significant attention in recent years. This study investigates the silicon area gains of Sequential 3D technology, utilizing the third dimension of integrated circuits by accommodating nMOS and pMOS transistors in two stacked tiers with high-density and low-pitch 3D vias. The effic
Use of static program analysis tools can be highly beneficial in software development, but usage is hindered by usability issues. One method to better understand these issues is to gather user feedback, but it is challenging to get developers to invest effort in giving user feedback.In this paper, we investigate whether gamification can increase user engagement in feedback collection on static ana
Episodic memory allows the flexible retrieval of commonalities and idiosyncrasies of overlapping life events. For example, seeing a woman in the city with your colleague's daughter may form an integrated memory representation involving the woman and your colleague. However, you may also keep a specific representation of the city event to talk with your colleague about the circumstances of having m
Network coherence generally refers to the emergence of simple aggregated dynamical behaviors, despite heterogeneity in the dynamics of the subsystems that constitute the network. In this paper, we develop a general frequency domain framework to analyze and quantify the level of network coherence that a system exhibits by relating coherence with a low-rank property of the system's input–output resp
We present an explicit solution to the discrete-time Bellman equation for minimax optimal control of positive systems under unconstrained disturbances. The primary contribution of our result relies on deducing a bound for the disturbance penalty, which characterizes the existence of a finite solution to the problem class. Moreover, this constraint on the disturbance penalty reveals that, in scenar
Safe motion planning for robotic systems in dynamic environments is nontrivial in the presence of uncertain obstacles, where estimation of obstacle uncertainties is crucial in predicting future motions of dynamic obstacles. The worst case characterization gives a conservative uncertainty prediction and may result in infeasible motion planning for the ego robotic system. In this article, an efficie
Contextual shifts are crucial for episodic memory, setting event boundaries during event segmentation. While lab research provides insights, it often lacks the complexity of real-world experiences. We addressed this gap by examining perceptual and conceptual boundaries using virtual reality (VR). Participants acted as salespeople, interacting with customers in a VR environment. Spatial boundaries
INTRODUCTION: Tau positron emission tomography (PET) is a reliable neuroimaging technique for assessing regional load of tau pathology in the brain, but its routine clinical use is limited by cost and accessibility barriers. METHODS: We thoroughly investigated the ability of various machine learning models to predict clinically useful tau-PET composites (load and laterality index) from low-cost an
The automotive domain is becoming increasingly complex through the integration of new technologies. As a result, cybersecurity is recognized as a pressing issue. This study focuses on the ISO/SAE 21434:2021 standard for road vehicles cybersecurity engineering, evaluating the effectiveness of the standard’s risk assessment approach. The standard suggests a set of assessment steps, and previous rese
The problem of substructure characteristic modes is developed using a scattering matrix-based formulation, generalizing subregion characteristic mode decomposition to arbitrary computational tools. It is shown that the modes of the scattering formulation are identical to the modes of the classical formulation based on the background Green’s function for lossless systems under conditions where both
In this paper, we propose an approach that combines Vision Language Models (VLMs) and Behavior Trees (BTs) to address failures in robotics. Current robotic systems can handle known failures with pre-existing recovery strategies, but they are often ill-equipped to manage unknown failures or anomalies. We introduce VLMs as a monitoring tool to detect and identify failures during task execution. Addi
New results on continuous time nonlinear consensus under varying topology are presented. The results are proved utilizing non Lyapunov based methods, i.e., the Hilbert metric, showing the possibility of further investigation of Hilbert metric for consensus and synchronization problems.
In this paper we provide an analytical solution to an H2 optimal control problem, that applies whenever the process corresponds to a uniformly damped network of masses and springs. The solution covers both stable and unstable systems, and illustrates analytically how damping affects the levels of achievable performance. Furthermore, the resulting optimal controllers can be synthesised using passiv
When deploying deep neural networks on robots or other physical systems, the learned model should reliably quantify predictive uncertainty. A reliable uncertainty allows downstream modules to reason about the safety of its actions. In this work, we address metrics for uncertainty quantification. Specifically, we focus on regression tasks, and investigate Area Under Sparsification Error (AUSE), Cal
Atmospheric new particle formation (NPF) is a naturally occurring phenomenon, during which high concentrations of sub-10 nm particles are created through gas to particle conversion. The NPF is observed in multiple environments around the world. Although it has observable influence onto annual total and ultrafine particle number concentrations (PNC and UFP, respectively), only limited epidemiologic
This paper concerns control of a class of systems where multiple dynamically stable agents share a nonlinear and bounded control-interconnection. The agents are subject to a disturbance which is too large to reject with the available control action, making it impossible to stabilize all agents in their desired states. In this nonlinear setting, we consider two different anti-windup equipped propor
This paper investigates the use of decentralised control architectures with heterogeneous dynamics for improving performance in large-scale systems. Our focus is on two well-known decentralised approaches; the 'predecessor following' and 'bidirectional' architectures for vehicle platooning. The former, utilising homogeneous control dynamics, is known to face exponential growth in disturbance ampli
Certainty equivalence adaptive controllers are analysed using a “data-driven Riccati equation”, corresponding to the model-free Bellman equation used in Q-learning. The equation depends quadratically on data correlation matrices. This makes it possible to derive simple sufficient conditions for stability and robustness to unmodeled dynamics in adaptive systems. The paper is concluded by short rema
The strategy of pre-training a large model on a diverse dataset, then fine-tuning for a particular application has yielded impressive results in computer vision, natural language processing, and robotic control. This strategy has vast potential in adaptive control, where it is necessary to rapidly adapt to changing conditions with limited data. Toward concretely understanding the benefit of pre-tr
The advances in highly automated and autonomous transportation systems over the last decade have generated great interest in topics in the safe navigation of land vehicles. With distributed control strategies employed in the majority of applications of autonomous vehicles, such as traffic and formation control, the much-required resilience takes the form of fault-tolerance with respect to informat
