5482 search results - page 341 / 1097 » Logic Programming and Databases |
195
click to vote
APBC
2003
15 years 8 months ago
2003
The development of high-throughput genome sequencing and protein structure determination techniques have provided researchers with a wealth of biological data. Integrated analysis...
190
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
153
click to vote
IIS
2001
15 years 8 months ago
2001
: A method for discovering multi-head attributional rules in large databases is presented and illustrated by results from an implemented program. Attributional rules (a.k.a. attrib...
172
click to vote
NAR
2000
15 years 6 months ago
2000
The AMmtDB database (http://bio-www.ba.cnr.it:8000/ srs6/ ) has been updated by collecting the multi-aligned sequences of Chordata mitochondrial genes coding for proteins and tRNA...
174
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
This paper discusses Curry’s work on how to implement the problem of inverse interpolation on the ENIAC (1946) and his subsequent work on developing a theory of program compositi...