MOTIVATION Rapid methods for protein structure search enable biological discoveries based on flexibly defined structural similarity, unleashing the power of the ever greater number of solved protein structures. Projection methods show promise for the development of fast structural database search solutions. Projection methods map a structure to a point in a high-dimensional space and compare tw...

Identification of behavioural contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding workflow model used as implementation. In this paper, we propose causal behavioural profiles as the basis for a consistency notion, which capture essential behavioural information...

We describe in this paper a novel approach to identify repeating circuit structures referred to as templates. The approach is based on a clan-based decomposition algorithm that has been successfully used in other domains 6, 5]. The algorithm discovers clans, a grouping of nodes in the circuit graph that have a natural aan-ity towards each other, and it hierarchically builds a parse tree of all ...

In the current study we investigate the EEG response to listening and imagining melodies and explore the possibility of decomposing this response according to musical features, such as rhythm and pitch patterns. A structural model was created based on musical aspects and multiple regression was used to calculate profiles of the contribution of each aspect, in contrast to traditional ERP compone...

Structural models for Alcufe icosahedral and rhombohedral phases are obtained by decomposition, in perpendicular space, of the atomic surfaces into cells of identical local environment. The models are descnbed in 3D real space and compared to the corresponding

This work extends the Holcombe’s holonomy decomposition of near-rings to seminearrings employing the techniques of Eilenberg for studying the structure of transformation semigroups. This work investigates structural properties of certain types of seminearrings.

In this paper, we propose a new heuristic structural decomposition strategy for Constraint Satisfaction Problems (CSPs), called Cut-and-Traverse (CAT) decomposition. This method has three steps: cutting step, traversing step and combining step. In the first step, cutting step, we gradually decompose the structure of a CSP instance to multiple partitions by finding independent cuts in a given CS...

Article history: Received 19 April 2012 Received in revised form 20 December 2013 Accepted 31 January 2014 Available online 5 February 2014

Nowadays, a large number of practical systems in aerospace and industrial environments are best represented as hybrid systems that consist of discrete modes of behavior, each defined by a set of continuous dynamics. These hybrid dynamics make the on-line fault diagnosis task very challenging. In this work, we present a new modeling and diagnosis framework for hybrid systems. Models are composed...