Sciweavers

386 search results - page 25 / 78
» Heuristic Evaluations of Bioinformatics Tools: A Development...
Sort
View
ISCIS
2009
Springer
14 years 2 months ago
A web-based data source for metabolomics
—With the development of improved and cost-effective technologies, it is now possible to detect thousands of metabolites in biofluids or specific organs, and reliably quantify th...
Ali Cakmak, Arun Dsouza, Richard Hanson, Gultekin ...
BIBE
2007
IEEE
149views Bioinformatics» more  BIBE 2007»
13 years 11 months ago
XML Encoding of Features Describing Rule-Based Modeling of Reaction Networks with Multi-Component Molecular Complexes
Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...
Michael L. Blinov, Ion I. Moraru
ICSE
2010
IEEE-ACM
14 years 16 days ago
An empirical study of optimizations in YOGI
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
Aditya V. Nori, Sriram K. Rajamani
LREC
2008
110views Education» more  LREC 2008»
13 years 9 months ago
Developing Non-European Translation Pairs in a Medium-Vocabulary Medical Speech Translation System
We describe recent work on MedSLT, a medium-vocabulary interlingua-based medical speech translation system, focussing on issues that arise when handling languages of which the gra...
Pierrette Bouillon, Sonia Halimi, Yukie Nakao, Kyo...
LADC
2005
Springer
14 years 1 months ago
Quantitative Evaluation of Distributed Algorithms Using the Neko Framework: The NekoStat Extension
In this paper we present NekoStat, an extension of the Neko tool. Neko is a Java framework and a communication platform that permits rapid prototyping of distributed applications; ...
Lorenzo Falai, Andrea Bondavalli, Felicita Di Gian...