Filetype
Classifying images of HEp-2 cells from indirect immunofluorescence has important clinical applications. We have developed an automatic method based on random forests that classifies an HEp-2 cell image into one of six classes. The method is applied to the data set of the ICPR 2012 contest. The previously obtained best accuracy is 79.3% for this data set, whereas we obtain an accuracy of 97.4%. The
An algorithm based on embedding phase space signal was developed by the authors in previous works. The algorithm detects the characteristic points of the waves of a multilead electroacardiogram (ECG). In the present work, the parameters of this algorithm are optimized to improve its performance. The algorithm uses 2 configurable parameters to obtain the phase spacethe dimension of the phase space
Many student–industry activities have emerged in recent years, and universities have invested considerable time and energy in designing and implementing such collaboration models. However, as models differ significantly, student–industry activities should not all be bundled together. This paper examines student–industry activities conducted as integral parts of engineering study programmes. These
The equation-based Modelica language allows the modeller to specify custom functions. The body of a function is an algorithm that contains procedural code to be executed when the function is called. This language feature is useful for many applications; however, the insertion of a function often prevent model optimizations that require the model to be formulated in purely declarative form by equat
We present a decomposition approach to a class of social welfare optimization problems for optimal power flow in multi-region electricity networks. The electricity network is decomposed into multiple regions which decide independently over the amount of power produced within the region and exchanged with neighboring regions. We decompose the overall power flow (or social welfare) optimization into
Control-Based Operating System Design describes the application of system- and control-theoretical methods to the design of computer operating system components. It argues that computer operating system components should not be first “designed" and then “endowed with control", but rather conceived from the outset as controllers, synthesised and assessed in the system-theoretical world of dynamic m
The welding procedure to seal copper canisters requires variable power input throughout the 45 minute long weld cycle to keep the probe temperature within the process window. By using a cascaded loop that determines the power input requirement, the controller will not be dependent on repeatability in the necessary power input between weld cycles, and the lag time in the probe temperature measureme
Utilities, such as steam and cooling water, are often shared between several production areas at industrial sites, and the effects of disturbances in utilities could thus be hard to predict. In addition, production areas could be connected because of the product flow at the site. This paper introduces a simple modeling approach for modeling the relation between utility operation and production. Us
Recently, several authors have shown local and global convergence rate results for Douglas–Rachford splitting under strong monotonicity, Lipschitz continuity, and cocoercivity assumptions. Most of these focus on the convex optimization setting. In the more general monotone inclusion setting, Lions and Mercier showed a linear convergence rate bound under the assumption that one of the two operators
We introduce the 'security index' of a discrete-time, linear time-invariant system under sensor attacks as a quantitative representation-free measure on the vulnerability of an observable system. Ideas from linear coding theory are employed in providing conditions for attack detection and correction in terms of a system's security index, along with methods for its computation based on different re
We consider the problem of finding an event-based sampling scheme that optimizes the trade-off between average sampling rate and control performance in a linear-quadratic-Gaussian (LQG) control problem setting with output feedback. Our analysis is based on a recently presented sampled-data controller structure, which remains LQG-optimal for any choice of sampling scheme. We show that optimization
The figure-ground segmentation of humans in images captured in natural environments is an outstanding open problem due to the presence of complex backgrounds, articulation, varying body proportions, partial views and viewpoint changes. In this work we propose classspecific segmentation models that leverage parametric max-flow image segmentation and a large dataset of human shapes. Our contribution
Automatic video captioning is challenging due to the complex interactions in dynamic real scenes. A comprehensive system would ultimately localize and track the objects, actions and interactions present in a video and generate a description that relies on temporal localization in order to ground the visual concepts. However, most existing automatic video captioning systems map from raw video data
Resilience has become a key aspect in the design of contemporary infrastructure networks. This comes as a result of ever-increasing loads, limited physical capacity, and fast-growing levels of interconnectedness and complexity due to the recent technological advancements. The problem has motivated a considerable amount of research within the last few years, particularly focused on the dynamical as
Application performance on these processor array platforms is highly sensitive to how functionality is physically placed on the device, as this choice crucially determines communication latencies and congestion patterns of the on-chip inter-core communication. The problem of identifying the best, or just a good enough, partitioning and placement does not, in general, admit to an analytic solution,
Two 60-GHz band voltage controlled oscillators (VCOs) designed in a 28-nm ultrathin body and buried oxide fully depleted silicon on insulator (UTBB FD-SOI) CMOS process are demonstrated and compared. Both VCOs have identical cross-coupled nMOS cores and dissipate 3.15 mW from a 0.9-V supply. The first design uses a standard FET current source and achieves a figure of merit (FOM) of −181 dBc/Hz, wh
