Robust pole assignment for incomplete nonlinear decoupling applied to robots

A robustness analysis and synthesis for incomplete nonlinear decoupling for a class of nonlinear systems is discussed. Rigid and elastic-joint robot models belong to this class. For the elastic case, a transformation facilitates the robustness analysis under a weak assumption. Charts with H ₁- and H - norms of closed-loop disturbance transfer functions of the nonlinear-decoupled system are presented for a robust pole assignment.     

HihO: accelerating artificial intelligence interpretability for medical imaging in IoT applications using hierarchical occlusion

Neural Computing and Applications - In the medical imaging domain, nonlinear warping has enabled pixel-by-pixel mapping of one image dataset to a reference dataset. This co-registration of data...     

Investigation of long term drift of an intraocular pressure sensor

Microsystem Technologies - “Zero drift” behavior of an optical intraocular pressure sensor is studied using an analytical model based on the deflection of a circular membrane. Results...     

EASEA: specification and execution of evolutionary algorithms on GPGPU

EASEA is a framework designed to help non-expert programmers to optimize their problems by evolutionary computation. It allows to generate code targeted for standard CPU architectures, GPGPU-equipped machines as well as distributed memory clusters. In this paper, EASEA is presented by its underlying algorithms and by some example problems. Achievable speedups are also shown onto different NVIDIA GPGPUs cards for different optimization algorithm families.     

A digital library framework for heterogeneous music collections: from document acquisition to cross-modal interaction

In this paper, we present a digital library system for managing heterogeneous music collections. The heterogeneity refers to various document types and formats as well as to different modalities, e. g., CD-audio recordings, scanned sheet music, and lyrics. The system offers a full-fledged, widely automated document processing chain: digitization, indexing, annotation, access, and presentation. Our system is implemented as a generic and modular music repository based on a service-oriented software architecture. As a particular strength of our approach, the various documents representing aspects of a piece of music are jointly considered in all stages of the document processing chain. Our user interfaces allow for a multimodal and synchronized presentation of documents (WYSIWYH: what you see is what you hear), a score- or lyrics-based navigation in audio, as well as a cross- and multimodal retrieval. Hence, our music repository may be called a truly cross-modal library system. In our paper, we describe the system components, outline the techniques of the document processing chain, and illustrate the implemented functionalities for user interaction. We describe how the system is put into practice at the Bavarian State Library (BSB) Munich as a part of the German PROBADO Digital Library Initiative (PDLI).     

The influence of different centralised pre-packaging systems on the shelf-life of fresh pork

The influence of different centralised pre-packaging systems (PVC, modified atmosphere packaging (MAP), 25% CO(2) and 75% O(2), vacuum skin packaging (VSP) and the mother bag concept, 100% CO(2)) on the shelf-life (0, 7, 14 and 21 days at 0°C) of fresh pork was determined using microbiological, colour, odour and acceptability characteristics. All the packaging treatments were equally efficient for the first 4 days of retail display. In the extended shelf-life study (7, 14 and 21 days) the mother bag centralised packaging system gave the most promising shelf-life results (21 days) and was also judged superior in terms of odour. Modified atmosphere packaging (14 days) and VSP (7 days) may be considered as other possible options.     

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization

Certain tasks, such as formal program development and theorem proving, fundamentally rely upon the manipulation of higher-order objects such as functions and predicates. Computing tools intended to assist in performing these tasks are at present inadequate in both the amount of knowledge they contain (i.e., the level of support they provide) and in their ability to learn (i.e., their capacity to enhance that support over time). The application of a relevant machine learning technique—explanation-based generalization (EBG)—has thus far been limited to first-order problem representations. We extend EBG to generalize higher-order values, thereby enabling its application to higher-order problem encodings.Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out. First-order Horn logics (e.g., Prolog) are not, however, well suited to higher-order applications. Instead, we employ Prolog, a higher-order logic programming language, as our basic framework for realizing higher-order EBG. In order to capture the distinction between domain theory and training instance upon which EBG relies, we extend Prolog with the necessity operator of modal logic. We develop a meta-interpreter realizing EBG for the extended language, Prolog, and provide examples of higher-order EBG.     

High-temperature creep and structure investigation of nearly stoichiometric Fe3Si

Single crystals of nearly stoichiometric Fe₃Si were creep-deformed at temperatureT = 450 to 850° C and applied stress=40 to 250 MPa. While the temperature dependence of the steady-state creep rate of crystals with less than 25 at% Si can be described by an exponential function exp (–H _exp/kT), the Fe-26 at% Si samples show an exponential dependence only below 500° C and above 600° C. At intermediate temperatures the dependence is weak. It is suggested that in this intermediate range two phases exist. The experimental results are consistent with the assumption that the phase boundaries do not hinder dislocation movement, and that the disocation velocity in the two phases is different.