4880 search results - page 964 / 976 » Manuals as Structured Programs |
109
click to vote
TCS
2008
15 years 1 months ago
2008
Suppose we are given a set W of logical structures, or possible worlds, a set of logical formulas called possible data and a logical formula . We then consider the classification p...
128
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Many three-dimensional (3D) images are routinely collected in biomedical research and a number of digital atlases with associated anatomical and other information have...
148
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The alignment of multiple protein sequences is a fundamental step in the analysis of biological data. It has traditionally been applied to analyzing protein families f...
131
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...
122
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The ESTree db http://www.itb.cnr.it/estree/ represents a collection of Prunus persica expressed sequenced tags (ESTs) and is intended as a resource for peach functiona...