9110 search results - page 1778 / 1822 » Formally-Based Design Evaluation |
AROBOTS
2010
13 years 10 months ago
2010
Abstract Assistive mobile robots that autonomously manipulate objects within everyday settings have the potential to improve the lives of the elderly, injured, and disabled. Within...
BIODATAMINING
2008
13 years 10 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
BMCBI
2010
13 years 10 months ago
2010
Background: The most common application for the next-generation sequencing technologies is resequencing, where short reads from the genome of an individual are aligned to a refere...
BMCBI
2010
13 years 10 months ago
2010
Background: Bisulfite sequencing using next generation sequencers yields genome-wide measurements of DNA methylation at single nucleotide resolution. Traditional aligners are not ...
BMCBI
2010
13 years 10 months ago
2010
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...