Sciweavers

1887 search results - page 300 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
ICSE
2003
IEEE-ACM
16 years 2 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
MIAR
2010
IEEE
15 years 1 months ago
Computational Decision Support for Percutaneous Aortic Valve Implantation
Valve replacement is the most common therapy for diseased aortic valves. Percutaneous approaches are becoming increasingly popular, due to reduced procedural complications and lowe...
Ingmar Voigt, Razvan Ioan Ionasec, Bogdan Georgesc...
138
Voted
BMCBI
2008
135views more  BMCBI 2008»
15 years 2 months ago
Inferring the role of transcription factors in regulatory networks
Background: Expression profiles obtained from multiple perturbation experiments are increasingly used to reconstruct transcriptional regulatory networks, from well studied, simple...
Philippe Veber, Carito Guziolowski, Michel Le Borg...
120
Voted
BMCBI
2007
116views more  BMCBI 2007»
15 years 2 months ago
Clustering protein environments for function prediction: finding PROSITE motifs in 3D
Background: Structural genomics initiatives are producing increasing numbers of threedimensional (3D) structures for which there is little functional information. Structure-based ...
Sungroh Yoon, Jessica C. Ebert, Eui-Young Chung, G...
BMCBI
2005
111views more  BMCBI 2005»
15 years 2 months ago
Improving interoperability between microbial information and sequence databases
Background: Biological resources are essential tools for biomedical research. Their availability is promoted through on-line catalogues. Common Access to Biological Resources and ...
Paolo Romano, Peter Dawyndt, Francesca Piersigilli...