The Unpredictability Measure computation algorithm applied to psychoacoustic model-based broadband noise attenuation is discussed. A learning decision algorithm based on a neural network is employed for determining audio signal useful components acting as maskers of the spectral components classified as noise. An iterative algorithm for calculating the sound masking pattern is presented. The ro...

This paper presents the responses of the railway vehicle and track components in terms of contact forces and displacements. The considered vehicle model is a five-DOF pitch-plane lumped parameter quarter car model supported on two-dimensional track systems comprising three layers. The car body is linked with the vehicle bogie through secondary suspension springs and damper elements, which is fu...

The positioning accuracy achievable by track-follow servo for flexible tape media is investigated using advanced concepts for several elements of the system. First, the servo pattern geometry in the timing-based servo system is designed in conjunction with a digital synchronous servo channel to minimize the measurement error in the position-error signal. Second, a flangeless tape path is introd...

We explore an intuitionistic fragment of Artëmov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certificate component. Dubbed the Certifying Mobile Calculus, our language caters for both code and certificate development in a unified theory. In the same way that mobile code is constructed out of code components and extant typ...

Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form computational workflows. In many cases end users have requirements and preferences that depend on how the workflow unfolds, and that cannot be specified beforehand. Workflow editors therefore need to be augmented with intelligent assistance ...

Many of today’s systems evolve through a series of releases that add new functionality and features, in addition to corrective maintenance. As the systems evolve over time it is necessary to keep track of and manage their problematic components. Our focus is to track system evolution and to react before the systems become difficult to manage. We apply a method based on a collection of statistic...