Sciweavers

2205 search results - page 112 / 441
» Mutation Operators for Specifications
Sort
View
IFM
2000
Springer
15 years 6 months ago
A Process Compensation Language
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
Michael J. Butler, Carla Ferreira
RISE
2005
Springer
15 years 8 months ago
Formal Development of Reactive Fault Tolerant Systems
Usually complex systems are controlled by an operator co-operating with a computer-based controller. The controlling software runs in continuous interaction with the operator and c...
Linas Laibinis, Elena Troubitsyna
BMCBI
2010
114views more  BMCBI 2010»
15 years 2 months ago
An integrative modular approach to systematically predict gene-phenotype associations
Background: Complex human diseases are often caused by multiple mutations, each of which contributes only a minor effect to the disease phenotype. To study the basis for these com...
Michael R. Mehan, Juan Nunez-Iglesias, Chao Dai, M...
BMCBI
2007
104views more  BMCBI 2007»
15 years 2 months ago
Comparative evaluation of gene-set analysis methods
Background: Multiple data-analytic methods have been proposed for evaluating gene-expression levels in specific biological pathways, assessing differential expression associated w...
Qi Liu, Irina Dinu, Adeniyi J. Adewale, John D. Po...
125
Voted
BMCBI
2010
201views more  BMCBI 2010»
15 years 2 months ago
Analysis of X-ray Structures of Matrix Metalloproteinases via Chaotic Map Clustering
Background: Matrix metalloproteinases (MMPs) are well-known biological targets implicated in tumour progression, homeostatic regulation, innate immunity, impaired delivery of pro-...
Ilenia Giangreco, Orazio Nicolotti, Angelo Carotti...