Filetype
A method for synthesizing proportional-integral-derivative (PID) controllers for process models with probabilistic parametric uncertainty is presented. The proposed method constitutes a stochastic extension to the well-studied maximization of integral gain optimization (MIGO) approach, i.e., maximization of integral gain under constraints on the H-infinity norm of relevant closed-loop transfer fun
Adverse environmental and social conditions early in life have a strong impact on health. They are major risk factors for mental diseases in adulthood and, in some cases, their effects can be transmitted across generations. The consequences of detrimental stress conditions on brain metabolism across generations are not well known. Using high-field (14.1 T) magnetic resonance spectroscopy, we inves
This paper presents a novel polynomial constraint for homographies compatible with the general planar motion model. In this setting, compatible homographies have five degrees of freedom-instead of the general case of eight degrees of freedom-and, as a consequence, a minimal solver requires 2.5 point correspondences. The existing minimal solver, however, is computationally expensive, and we propose
In this paper we consider trajectory recovery for two cameras directed towards the floor, and which are mounted rigidly on a mobile platform. Previous work for this specific problem geometry has focused on locally minimising an algebraic error between inter-image homographies to estimate the relative pose. In order to accurately track the platform globally it is necessary to refine the estimation
Previous reports showed that nontypeable Haemophilus influenzae (NTHi) reside in macrophage-like cells in human adenoid tissue. This study investigated the ability of nonopsonized NTHi and encapsulated H. influenzae type b (Hib) to enter human monocytic and epithelial cells. The number of intracellular bacteria was determined by a viability assay and flow cytometry. To characterize the mechanisms
While biometric authentication for commercial use so far mainly has been used for local device unlock use cases, there are great opportunities for using it also for central authentication such as for remote login. However, many current biometric sensors like for instance mobile fingerprint sensors have too large false acceptance rate (FAR) not allowing them, for security reasons, to be used in lar
We consider the problem of feasible coordination control for multiple homogeneous or heterogeneous mobile vehicles subject to various constraints (nonholonomic motion constraints, holonomic coordination constraints, equality/inequality constraints etc). We develop a general framework involving differential-algebraic equations and viability theory to describe and determine coordination feasibility
GeoBIM, the integration of 3D geoinformation (Geo) with building information models (BIM), is a subject of increasing attention in both domains. A well-known practical challenge for this integration is the mixed state of software support for open standards in each domain that would ease the integration. This is often known by practitioners but poorly documented. In order to solve this problem, we
Objectives: We conducted a large cohort study to investigate the association between work-related wrist movements and carpal tunnel syndrome (CTS). Methods: Electro-goniometric measurements of wrist movements were performed for 30 jobs (eg, office work, child care, laundry work and slaughterhouse work). We measured wrist angular velocity, mean power frequency (MPF) and range of motion (ROM). We es
Abstract in UndeterminedThe MPEG Reconfigurable Video Codingworking group is developing a new library-based pro-cess for building the reference codecs of future MPEGstandards, which is based on dataflow and uses an actorlanguage called Cal. The paper presents a code genera-tor producing RTL targeting FPGAs for Cal, outlinesits structure, and demonstrates its performance on anMPEG-4 Simple Profile
SimSWE is a library of components for modeling and simulation of software engineering processes. It consists of a generic, implementation independent description of the components and a reference implementation using the MATLAB® / Simulink® environment. By providing ready-to-use building blocks for typical functionality, the library should facilitate and ease the use of simulation to analyze softw
The IDEM3 maturity model is a process improvement framework that can be used by an organisation to assess and improve their IT dependability management processes. The framework focuses on the coordination of IT management and safety management within an organisation. In this paper, an evaluation plan for the maturity model is presented to evaluate its applicability, assessment accuracy, and practi
Background No effective standard treatment exists for patients with radioiodine-refractory, advanced differentiated thyroid carcinoma. We aimed to assess efficacy and safety of vandetanib, a tyrosine kinase inhibitor of RET, VEGFR and EGFR signalling, in this setting. Methods In this randomised, double-blind, phase 2 trial, we enrolled adults (aged >= 18 years) with locally advanced or metastatic
Software process simulation can be a valuable support for process analysis and improvement provided the respective model development can focus on the issues at hand without spending effort on basically modeling everything from scratch. Rather, the modeling groundwork should readily be available as building blocks for (re)use. In the domain of software engineering, the work-test-rework cycle is one
This paper develops a control integration methodology that can be used to balance competing performance objectives. The target application for the method is blood glucose management for diabetic patients. The true system model is uncertain and changes over time. Multiple controllers have been designed with competing performance objectives in mind. In the proposed method, on-line predictors are use
Vehicular traffic density is a key factor in determining the behaviour of radio overlapping and thus impacts performance of data and safety message communication in Vehicular Ad hoc Networks (VANETs). In this paper, we propose a novel density model for urban traffic systems and employ this model for the purpose of spatial-temporal analysis of radio overlapping. To model traffic density, we conside
Model Predictive Control (MPC) is applied to a pendulum system consisting of a pendulum and a cart. The objective of the MPC-controller is to steer the system towards precalculated trajectories that move the system from one operating point to another. The sample time of the controller sets hard limitations on the execution time of the optimization routine in the MPC-controller. The optimization pr
