Filetype
Requirements Engineering has attracted a great deal of attention from researchers and practitioners in recent years. This increasing interest requires academia to provide students with a solid foundation in the subject matter. In Requirements Engineering Education (REE), it is important to cover three fundamental topics: traditional analysis and modeling skills, interviewing skills for requirement
Deterministic builds, where the compile and build processes are reproducible, can be used to achieve increased trust in distributed binaries. As the trust can be distributed across a set of builders, where all provide their own signature of a byte-to-byte identical binary, all have to cooperate in order to introduce unwanted code in the binary. On the other hand, if an attacker manages to incorpor
This paper presents a simple and effective way of solving the robust subspace estimation problem where the corruptions are column-wise. The method we present can handle a large class of robust loss functions and is simple to implement. It is based on Iteratively Reweighted Least Squares (IRLS) and works in an iterative manner by solving a weighted least-squares rank-constrained problem in every it
Deciding the optimal project scope that fulfills the needs of the most important stakeholders is challenging due to a plethora of aspects that may impact decisions. Large companies that operate in rapidly changing environments experience frequently changing customer needs which force decision makers to continuously adjust the scope of their projects. Change intensity is further fueled by fierce ma
Cloud computing technology provides the means to share physical resources among multiple users and data center tenants by exposing them as virtual resources. There is a strong industrial drive to use similar technology and concepts to provide timing sensitive services. One such is virtual networking services, so called services chains, which consist of several interconnected virtual network funct
This paper combines the Metropolis-Hastings Improved Particle Smoother (MHIPS) with marginalized models. It demonstrates the effectiveness of the combination by looking at two examples; a degenerate model of a double integrator and a fifth order mixed linear/nonlinear Gaussian (MLNLG) model. For the MLNLG model two different methods are compared with the non-marginalized case; the first marginaliz
Sufficient conditions for stability of feedback interconnections of negative imaginary systems are derived via an integral quadratic constraint (IQC) approach. These extend existing results in the literature by exploiting the flexibility present at the static and infinite frequencies to reduce conservatism. Negative imaginary transfer functions with poles on the imaginary axis are accommodated usi
We focus on the problem of semantic segmentation based on RGB-D data, with emphasis on analyzing cluttered indoor scenes containing many visual categories and instances. Our approach is based on a parametric figureground intensity and depth-constrained proposal process that generates spatial layout hypotheses at multiple locations and scales in the image followed by a sequential inference algorith
While software is becoming more complex everyday, the requirements on its behavior are not getting any easier to satisfy. An application should offer a certain quality of service, adapt to the current environmental conditions and withstand runtime variations that were simply unpredictable during the design phase. To tackle this complexity, control theory has been proposed as a technique for managi
In multipath routing, maximization of the cardinality K of the disjoint-path set for a given source and destination assuming an upper bound on the differential delay D is one of the key factors enabling its practical applications. In the paper we study such an optimization problem for multipath routing involving maximization of K under the D constraint as the primary objective, and then minimizati
Optimization of channel utilization in wireless networks is typically based on transmission parallelization under signal-to-interference and noise constraint assuming minimum frame-length scheduling. In application scenarios like sensor networks this approach may not be suitable since it does not explicitly consider end-to-end packet delay nor energy consumption. In the paper we propose a mixed-in
This paper describes a frequency generator supporting over-an-octave tuning range for 5G receiver front-end. Generator is built by composition of smaller-range oscillators multiplexed to the common output that drives a downconversion mixer. Simulated in 28nm CMOS with full physical device models the composite oscillator exhibits a frequency tuning range from 21.5 to 60.7GHz (95.3%) dissipating les
In this tutorial paper we first present some foundational results regarding the theory of positive systems. In particular, we present fundamental results regarding stability, positive realization and positive stabilization by means of state feedback. Special attention is also paid to the system performance in terms of disturbance attenuation. Under the asymptotic stability assumption, such perform
A performance-based approach is developed for adaptive robust control of linear systems with uncertain parameters. The dual control objective involves the disturbance attenuation and worst case identification of the unknown parameters. The proposed synthesis procedure relies on sufficient conditions, given in terms of suitable solutions of perturbed differential Riccati equations to exist. Althoug
Optimization problems with rank constraints appear in many diverse fields such as control, machine learning, and image analysis. Since the rank constraint is nonconvex, these problems are often approximately solved via convex relaxations. Nuclear norm regularization is the prevailing convexifying technique for dealing with these types of problem. This paper introduces a family of low-rank inducing
Objective: The goal of this study was to optimize robust PID control for propofol anesthesia in children aged 5-10 years to improve performance, particularly to decrease the time of induction of anesthesia while maintaining robustness.Methods: We analyzed results of a previous study conducted by our group to identify opportunities for system improvement. Allometric scaling was introduced to reduce
This paper presents a scalable and high-Throughput hybrid computing platform for the real-Time multi-particle based Linac (Linear accelerator) simulation model to be used at the European Spallation Source (ESS). The multi-particle simulation model with non-linear modeling is needed to provide a realistic behavior of the particle beam for reducing the losses at the superconducting structures. The c
This paper presents a cryptographic processor compliant with the security algorithms specified by the 3rd Generation Partnership Project (3GPP) specifications for Long Term Evolution (LTE). The proposed processor has been adapted to the needs of the low end portfolio technologies that compose the Internet of Things (IoT) market, which addresses low-Area, low-cost and low-data rate applications. Th
