Filtyp
Amid growing concerns about hardware security, comprehensive security testing has become essential for chip certification. This paper proposes a deep-testing method for identifying Trojans of particular concern to middle-to-high-end users, with a focus on illegal instructions. A hidden instruction Trojan can employ a low-probability sequence of normal instructions as a boot sequence, which is foll
With the emergence of autonomous vehicles comes requirements on adequate and rigorous testing techniques, particularly as systems continuously adapt to changing environments. Scenario-based, simulated testing is one approach that has received attention, where deriving relevant scenarios from various sources is still a challenge. We therefore explore creating executable test scenarios from textual
The COVID-19 pandemic has impacted production and consumption patterns across the world and forced many organisations to respond. However, there is a lack of understanding as to how sharing platforms have been affected by the pandemic, how they responded to the crisis, and what kinds of long-term implications the pandemic may have on the sharing economy. This study combined systematic literature r
Driven by the idea to use alarm data to explore machine learning across Industry 4.0 applications, the goal of this pilot study was to explore how to collect, store, manage and share data from the ESS Control System. Generally, we seek to make any control system data available for research and innovation but started with alarms as a feasible domain in which to explore machine learning. The goals w
This paper presents an angular-domain massive MIMO detector which exploits sparsity in massive MIMO channel along with a reconfigurable systolic array architecture to achieve high area efficiency. The underlying idea is to perform signal detection in the angular domain, where the channel matrix can have much lower dimension due the limited number of dominant angles (of arrival and departure) of th
Cortico-basal ganglia circuits are thought to play a crucial role in the selection and control of motor behaviors and have also been implicated in the processing of motivational content and in higher cognitive functions. During the last two decades, electrophysiological recordings in basal ganglia circuits have shown that several disease conditions are associated with specific changes in the tempo
Background Human leukocyte antigen (HLA) matching isn't routinely performed in heart transplantation. Novel allograft perfusion methods may make HLA matching feasible. The purpose of this study is to reexamine whether HLA mismatch may be used in risk stratification to improve outcomes in heart transplantation. Methods and Results We analyzed 34 681 recipients undergoing heart transplantation betwe
In this paper we propose a shared regression network to jointly estimate the pose of multiple objects, replacing multiple object-specific solutions. We demonstrate that this shared network can outperform other similar approaches that rely on multiple object-specific models by evaluating it on the TLESS dataset using the VSD (Visible Surface Discrepancy). Our approach offers a less complex solution
Brain-computer interfaces (BCIs) translate brain activity into digital commands for interaction with the physical world. The technology has great potential in several applied areas, ranging from medical applications to entertainment industry, and creates new conditions for basic research in cognitive neuroscience. The BCIs of today, however, offer only crude online classification of the user's cur
Support for Machine Learning (ML) applications in networking has significantly improved over the last decade. The availability of public datasets and programmable switching fabrics (including low-level languages to program them) presents a full-stack to the programmer for deploying in-network ML. However, the diversity of tools involved, coupled with complex optimization tasks of ML model design a
QUIC is a UDP-based transport layer protocol developed by Google that boasts lower latency performance than TCP. However, different conclusions have been reported regarding its performance due to variations in targeted applications and experimental setups. This leads to our conclusion that protocol performance evaluation should be heavily dependent on the QoS requirements of the target application
Recently, the industry has been driven to move industrial control systems to the cloud due to the significant advantages it offers in terms of storage and computing resources. However, this shift also brings forth significant security challenges. By moving control systems to the cloud, the potential for attackers to infiltrate the system and launch damaging attacks increases. These attacks can res
This paper focuses on the investigation of a sequential detection policy for combating the effect of the replay attack on a cloud-native controller. In reply attacks, an external attacker records true signals for some time duration and replays them later. The effect of such an attack is mitigated by adding random signals to the optimal control signal before the actuation process, which is known as
In this publication we have assembled eight case studies and a ”national report” on Sweden that we wrote during 2005 as part of work commissioned by the European Foundation in Dublin. The Foundation had in the 1990’s and in the first years of the 21st century as one of its objectives to investigate the situation for older and ageing workers in Europe, and to develop policy initiatives on the leve
For linear time-invariant systems with uncertain parameters belonging to a finite set, we present a purely eterministic approach to multiple-model estimation and propose an algorithm based on the minimax criterion using constrained quadratic programming. The estimator tends to learn the dynamics of the system, and once the uncertain parameters have been sufficiently estimated, the estimator behave
Weakly-hard models have been used to analyse real-time systems subject to patterns of deadline hits and misses. However, the tools that are available in the literature have a set of shortcomings. The analysis they offer is limited to a single weaklyhard constraint and to patterns that specify the number of misses, rather than the number of hits. Furthermore, the scalability of the tools is limited
In this letter, we give an upper bound on the deviation from H-infinity optimality of a class of controllers as a function of the deviation from symmetry in the state matrix. We further suggest a scalar measure of symmetry which is shown to be directly relevant for estimating nearness to optimality. In connection to this, we give a simple analytical solution to a class of Lyapunov equations for tw
