Sciweavers

74 search results - page 13 / 15
» An Analysis of Automatic Subroutine Discovery in Genetic Pro...
Sort
View
ASIAN
2006
Springer
152views Algorithms» more  ASIAN 2006»
13 years 10 months ago
Inferring Disjunctive Postconditions
Polyhedral analysis [9] is an abstract interpretation used for automatic discovery of invariant linear inequalities among numerical varia program. Convexity of this abstract domain...
Corneliu Popeea, Wei-Ngan Chin
BMCBI
2007
173views more  BMCBI 2007»
13 years 6 months ago
CGKB: an annotation knowledge base for cowpea (Vigna unguiculata L.) methylation filtered genomic genespace sequences
Background: Cowpea [Vigna unguiculata (L.) Walp.] is one of the most important food and forage legumes in the semiarid tropics because of its ability to tolerate drought and grow ...
Xianfeng Chen, Thomas W. Laudeman, Paul J. Rushton...
ISBI
2008
IEEE
14 years 7 months ago
Multiresolution identification of germ layer components in teratomas derived from human and nonhuman primate embryonic stem cell
We propose a system for identification of germ layer components in teratomas derived from human and nonhuman primate embryonic stem cells. Tissue regeneration and repair, drug tes...
Amina Chebira, John A. Ozolek, Carlos A. Castro, W...
BMCBI
2006
87views more  BMCBI 2006»
13 years 6 months ago
MathDAMP: a package for differential analysis of metabolite profiles
Background: With the advent of metabolomics as a powerful tool for both functional and biomarker discovery, the identification of specific differences between complex metabolite p...
Richard Baran, Hayataro Kochi, Natsumi Saito, Mako...
KBSE
2005
IEEE
14 years 5 days ago
Optimized run-time race detection and atomicity checking using partial discovered types
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott...