Sciweavers

4716 search results - page 829 / 944
» Iterative-free program analysis
Sort
View
AMAI
2007
Springer
15 years 4 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
134
Voted
ANOR
2008
90views more  ANOR 2008»
15 years 4 months ago
Multiple orders per job batch scheduling with incompatible jobs
: The growth in demand for semiconductors has been accompanied by intense competition between semiconductor manufacturers to satisfy customer on-time delivery needs. This paper is ...
Vishnu Erramilli, Scott J. Mason
BMCBI
2008
163views more  BMCBI 2008»
15 years 4 months ago
ProfileGrids as a new visual representation of large multiple sequence alignments: a case study of the RecA protein family
Background: Multiple sequence alignments are a fundamental tool for the comparative analysis of proteins and nucleic acids. However, large data sets are no longer manageable for v...
Alberto I. Roca, Albert E. Almada, Aaron C. Abajia...
BMCBI
2008
123views more  BMCBI 2008»
15 years 4 months ago
Ori-Finder: A web-based system for finding oriCs in unannotated bacterial genomes
Background: Chromosomal replication is the central event in the bacterial cell cycle. Identification of replication origins (oriCs) is necessary for almost all newly sequenced bac...
Feng Gao, Chun-Ting Zhang
128
Voted
CMPB
2010
152views more  CMPB 2010»
15 years 4 months ago
Fast free-form deformation using graphics processing units
A large number of algorithms have been developed to perform non-rigid registration and it is a tool commonly used in medical image analysis. The FreeForm Deformation algorithm is ...
Marc Modat, Gerard R. Ridgway, Zeike A. Taylor, Ma...