A framework for components on the Web needs a formal model that captures essen tial concepts such as contractual information and service matching We propose a typed calculus based model for Web components that formalises an extension of the currently discussed Web Services framework We address in particular activities in the stages of a component life cycle such as matching commitment connectio...

We consider the representation of each extension of the modal logic S4 as sum of two components. The first component in such a representation is always included in Grzegorczyk logic and hence contains ”modal resources” of the logic in question, while the second one uses essentially the resources of a corresponding intermediate logic. We prove some results towards the conjecture that every S4-lo...

In this work we consider the extension of Genetic-Independent Component Analysis Algorithms (GA-ICA) with guiding operators and prove their convergence to the optimum. This novel method for Blindly Separating unobservable independent component Sources (BSS) consists of novel guiding genetic operators (GGA) and finds the separation matrix which minimizes a contrast function. The convergence is s...

The man-machine interface of a small electronic device like a wristwatch is a crucial component, as more and more functions have to be controlled using a small set of buttons. We propose to use Argos, an automaton-based language for reactive systems, and Larissa, its aspectoriented extension, to show that several interfaces can be obtained from the same set of basic components, assembled in var...

This paper presents an extension of the multi-channel Wiener filter (MWF) for noise reduction in binaural hearing aids, taking into account binaural localisation cues. By adding a term related to the interaural time difference (ITD) and the interaural level difference (ILD) of the noise component to the cost function of the MWF, the ITD and ILD cues of both the speech and the noise component ca...

In this paper we present the r ontology, a foundational ontology for reactive rules, aiming at coping with language heterogeneity at the rule (component) level. This (OWL-DL) ontology is at a low (structural) abstraction level thus fostering its extension. Although focusing on reactive rules (reactive derivation rules not excluded), the r ontology defines a vocabulary that allows also for the d...

We suggest an extension of the Neural Gas vector quantization method to local principal component analysis. The distance measure for the competition between local units combines a normalized Mahalanobis distance in the principal subspace and the squared reconstruction error, with the weighting of both measures depending on the residual variance in the minor subspace. A recursive least squares m...

A number of recent publications explain NBTI to consist of a recoverable and a more permanent component. While a lot of information has been gathered on the recoverable component, the permanent component has been somewhat elusive. We demonstrate that oxide defects commonly linked to the recoverable component also form an important contribution to the permanent component of NBTI. As such, they c...

BACKGROUND Basal cell carcinoma (BCC) is the most common malignancy with increasing incidence worldwide. The tumor invades surrounding tissues in an irregular pattern via subclinical and microscopic finger-like growths known as subclinical extension. Subclinical extension may be responsible for incomplete resection of the tumor. This study investigates the subclinical extension of BCC. METHOD...

The study analyzed factors that motivate agricultural extension agents in Agricultural Development Programme of Abia State. Primary data were collected from 96 extension agents in Abia State, Nigeria who were selected using multi-stage random sampling technique. Data were analyzed using descriptive statistics, mean score, ordered logit and Spearman rank correlation. It was revealed that 58.3% o...