Filetype
Frequent updates in IoT software are crucial for fixing security vulnerabilities, correcting bugs, and adding new features. However, for systems comprising geographically distributed devices, implementing updates is challenging. Such updates must be coordinated across multiple devices, automated without end-user involvement, adaptable to weak connectivity, and minimally disruptive to end users. In
In this work, we consider the problem of coordinating a collection of nth-order integrator systems. The coordination is achieved through the novel serial consensus design; this control design achieves a stable closed-loop system while adhering to the constraint of only using local and relative measurements. Earlier work has shown that second-order serial consensus can stabilize a collection of dou
The optimization of expensive-to-evaluate black-box functions is prevalent in various scientific disciplines. Bayesian optimization is an automatic, general and sample-efficient method to solve these problems with minimal knowledge of the underlying function dynamics. However, the ability of Bayesian optimization to incorporate prior knowledge or beliefs about the function at hand in order to acce
System logs are crucial for understanding the state and health of systems, yet manual inspection becomes impractical due to the high volume of messages. Consequently, machine learning-based log anomaly detection has emerged to automatically identify irregularities. This study investigates the effectiveness of log message embeddings, a novel parsing method, for anomaly detection in complex systems.
This paper deals with the centroid and formation control problem of multi–agent robotic systems. The proposed solution is based on a leader–follower scheme, where only a subset of agents, i.e., the leaders, knows the desired trajectories for the centroid and the formation of the system, while the other agents, i.e., the followers, are required to estimate them through a dynamic consensus scheme. T
Reconfigurable scan networks (RSNs), like IEEE Std. 1687 networks, offer flexible and scalable access to embedded (on- chip) instruments. These networks are typically accessed from the outside via a dedicated test port, like the test access port (TAP) of IEEE Std. 1149.1. As not all integrated circuits have a dedicated test port, the IEEE Std. P1687.1 working group is exploring how existing functi
Recent methods on privacy-preserving image-based localization use a random line parameterization to protect the privacy of query images and database maps. The lifting of points to lines effectively drops one of the two geometric constraints traditionally used with point-to-point correspondences in structure-based localization. This leads to a significant loss of accuracy for the privacy-preserving
We verify safety of a nonlinear continuous-time system controlled by a neural network controller. The system is decomposed into low-dimensional subsystems connected in a feedback loop. Our application is a rocket landing, and open-loop properties of the two-dimensional altitude subsystem are verified using worst-case simulations. Closed-loop safety properties (crash-avoidance) of the full system a
This work demonstrates the utility of dual-arm robots with dual-wrist force-torque sensors in manipulating a Deformable Linear Object (DLO) within an unknown environment that imposes constraints on the DLO’s movement through contacts and fixtures. We propose a strategy to estimate the pose of unknown environmental contacts encountered during the manipulation of a DLO, classifying the induced const
Motivated by empirical research on bias and opinion formation, we formulate a multidimensional nonlinear opinion-dynamical model where agents have individual biases, which are fixed, as well as opinions, which evolve. The dimensions represent competing options, of which each agent has a relative opinion, and are coupled through normalization of the opinion vector. This can capture, for example, an
The rapid development of wearable biomedical systems now enables real-time monitoring of electroencephalography (EEG) signals. Acquisition of these signals relies on electrodes. These systems must meet the design challenge of selecting an optimal set of electrodes that balances performance and usability constraints. The search for the optimal subset of electrodes from a larger set is a problem wit
Choline acetyltransferase (ChAT) is the key-enzyme for acetylcholine (ACh) synthesis and constitutes a reliable marker for the integrity of cholinergic neurons. Cortical ChAT activity is decreased in the brain of patients suffering from Alzheimer's and Parkinson's diseases. The standard method used to measure the activity of ChAT enzyme relies on a very sensitive radiometric assay but can only be
Diagnosis by screening mammography is considered an independent positive prognostic factor, although the data are not fully in agreement. The aim of the study was to explore whether the mode of detection (screening-detected versus symptomatic) adds prognostic information to the St Gallen molecular subtypes of primary breast cancer, in terms of 10-year cumulative breast cancer mortality (BCM).
Finger tapping to isochronous pacing stimuli is a well established experimental paradigm first described in the late 19th century. Two variables of common interest in rhythmic tapping tasks are timing variability and constant error. However, a difficulty when estimating these variables is that at interstimulus intervals longer than 2 seconds participants regularly overshoot the target interval and
Husserlian phenomenological theory is offered as an integrated and integrating for an understanding of management decision making and related issues in work and organizational sciences. The aspects of meaning, meaning constitution, subjective processes, and perspectives, mutual understanding of each other´s perspective, individuals as horizons of possible worlds are central to this conception, mak
The interaction among various stakeholder organizations in modern crisis response is very similar to negotiation where each organization has its own goal in addition to a common goal. Decision makers in stakeholder organizations most often have to settle for win-win situations to attain higher joint benefit. In such cases willingness to contribute in joint tasks becomes a prerequisite. In our pres
Viral vector-mediated gene transfer has emerged as a powerful means to target transgene expression in the central nervous system. Here we characterized the efficacy of serotypes 1 and 5 recombinant adeno-associated virus (rAAV) vectors encoding green fluorescent protein (GFP) after stereotaxic delivery to the neonatal rat and minipig striatum. The efficiency of GFP expression and the phenotype of
