6274 search results - page 1233 / 1255 » Proofs, Programs, Processes |
BMCBI
2008
13 years 7 months ago
2008
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...
BMCBI
2008
13 years 7 months ago
2008
Background: Microarray analysis allows the simultaneous measurement of thousands to millions of genes or sequences across tens to thousands of different samples. The analysis of t...
BMCBI
2008
13 years 7 months ago
2008
Background: Proteomic profiling using mass spectrometry (MS) is one of the most promising methods for the analysis of complex biological samples such as urine, serum and tissue fo...
BMCBI
2008
13 years 7 months ago
2008
Background: Prediction of protein solvent accessibility, also called accessible surface area (ASA) prediction, is an important step for tertiary structure prediction directly from...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...