Sciweavers

4498 search results - page 787 / 900
» How to Invent Functions
Sort
View
132
Voted
CORR
2010
Springer
116views Education» more  CORR 2010»
15 years 3 months ago
Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal Analysis
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
Musab AlTurki, José Meseguer
127
Voted
COMPUTER
2008
84views more  COMPUTER 2008»
15 years 3 months ago
e-Science, caGrid, and Translational Biomedical Research
We describe the informatics requirements of translational biomedical research projects and how e-Science tools can be used to address them. We use pattern templates to describe the...
Joel H. Saltz, Tahsin M. Kurç, Shannon Hast...
140
Voted
BMCBI
2006
120views more  BMCBI 2006»
15 years 3 months ago
Integrating protein structures and precomputed genealogies in the Magnum database: Examples with cellular retinoid binding prote
Background: When accurate models for the divergent evolution of protein sequences are integrated with complementary biological information, such as folded protein structures, anal...
Michael E. Bradley, Steven A. Benner
139
Voted
BMCBI
2006
85views more  BMCBI 2006»
15 years 3 months ago
Use of physiological constraints to identify quantitative design principles for gene expression in yeast adaptation to heat shoc
Background: Understanding the relationship between gene expression changes, enzyme activity shifts, and the corresponding physiological adaptive response of organisms to environme...
Ester Vilaprinyó, Rui Alves, Albert Sorriba...
118
Voted
BMCBI
2006
122views more  BMCBI 2006»
15 years 3 months ago
Genome comparison using Gene Ontology (GO) with statistical testing
Background: Automated comparison of complete sets of genes encoded in two genomes can provide insight on the genetic basis of differences in biological traits between species. Gen...
Zhaotao Cai, Xizeng Mao, Songgang Li, Liping Wei