Sciweavers

5606 search results - page 110 / 1122
» Advances in Information Science
Sort
View
PPL
2007
112views more  PPL 2007»
15 years 6 months ago
Embodied Computation
The traditional computational devices and models, such as the von Neumann architecture or the Turing machine, are strongly influenced by concepts of central control and perfectio...
Heiko Hamann, Heinz Wörn
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 5 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
215
Voted
BMCBI
2010
138views more  BMCBI 2010»
15 years 7 months ago
A database and API for variation, dense genotyping and resequencing data
Background: Advances in sequencing and genotyping technologies are leading to the widespread availability of multi-species variation data, dense genotype data and large-scale rese...
Daniel Rios, William M. McLaren, Yuan Chen, Ewan B...
BROADNETS
2006
IEEE
16 years 28 days ago
Grid Resource Management by means of Ant Colony Optimization
— The use of a manageable optical network is an important requirement for the new advanced data-intensive grid applications that begin to emerge on the e-Science field. In this ...
Gustavo Sousa Pavani, Helio Waldman
BMCBI
2005
246views more  BMCBI 2005»
15 years 6 months ago
ParPEST: a pipeline for EST data analysis based on parallel computing
Background: Expressed Sequence Tags (ESTs) are short and error-prone DNA sequences generated from the 5' and 3' ends of randomly selected cDNA clones. They provide an im...
Nunzio D'Agostino, Mario Aversano, Maria Luisa Chi...