21430 search results - page 3760 / 4286 » Abstract Effective Models |
183
click to vote
RECOMB
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. The recent availability of large scale data sets profiling single nucleotide polymorphisms (SNPs) and gene expression across different human populations, has directed muc...
223
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Mapping intra-cellular signaling networks is a critical step in developing an understanding of and treatments for many devastating diseases. The predominant ways of disco...
162
click to vote
RECOMB
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Peptide mass fingerprinting is a technique to identify a protein from its fragment masses obtained by mass spectrometry after enzymatic digestion. Recently, much attentio...
176
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
180
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...