Sciweavers

3090 search results - page 484 / 618
» On Testing Answer-Set Programs
Sort
View
114
Voted
ISSTA
2010
ACM
15 years 2 months ago
Automatically identifying critical input regions and code in applications
Applications that process complex inputs often react in different ways to changes in different regions of the input. Small changes to forgiving regions induce correspondingly smal...
Michael Carbin, Martin C. Rinard
123
Voted
BMCBI
2007
131views more  BMCBI 2007»
15 years 2 months ago
FUNC: a package for detecting significant associations between gene sets and ontological annotations
Background: Genome-wide expression, sequence and association studies typically yield large sets of gene candidates, which must then be further analysed and interpreted. Informatio...
Kay Prüfer, Bjoern Muetzel, Hong Hai Do, Gunt...
135
Voted
BMCBI
2008
101views more  BMCBI 2008»
15 years 2 months ago
Scipio: Using protein sequences to determine the precise exon/intron structures of genes and their orthologs in closely related
Background: For many types of analyses, data about gene structure and locations of non-coding regions of genes are required. Although a vast amount of genomic sequence data is ava...
Oliver Keller, Florian Odronitz, Mario Stanke, Mar...
BMCBI
2008
211views more  BMCBI 2008»
15 years 2 months ago
CUDA compatible GPU cards as efficient hardware accelerators for Smith-Waterman sequence alignment
Background: Searching for similarities in protein and DNA databases has become a routine procedure in Molecular Biology. The Smith-Waterman algorithm has been available for more t...
Svetlin Manavski, Giorgio Valle
BMCBI
2006
165views more  BMCBI 2006»
15 years 2 months ago
Improving the quality of protein structure models by selecting from alignment alternatives
Background: In the area of protein structure prediction, recently a lot of effort has gone into the development of Model Quality Assessment Programs (MQAPs). MQAPs distinguish hig...
Ingolf Sommer, Stefano Toppo, Oliver Sander, Thoma...