10159 search results - page 1735 / 2032 » System Design Validation Using Formal Models |
191
Voted
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
Vortex breakdowns and flow recirculation are essential phenomena in aeronautics where they appear as a limiting factor in the design of modern aircrafts. Because of the inherent i...
197
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
: ? Applying Syntactic Similarity Algorithms for Enterprise Information Management Ludmila Cherkasova, Kave Eshghi, Charles B. Morrey III, Joseph Tucek, Alistair Veitch HP Laborato...
207
click to vote
BIODATAMINING
2008
15 years 6 months ago
2008
This editorial introduces BioData Mining, a new journal which publishes research articles related to advances in computational methods and techniques for the extraction of useful ...
176
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The binding of regulatory proteins to their specific DNA targets determines the accurate expression of the neighboring genes. The in silico prediction of new binding s...
202
click to vote
NAR
2010
15 years 1 months ago
2010
PROSESS (PROtein Structure Evaluation Suite and Server) is a web server designed to evaluate and validate protein structures generated by X-ray crystallography, NMR spectroscopy o...