Sciweavers

377 search results - page 61 / 76
» Extra-Music(ologic)al Models for Algorithmic Composition
Sort
View
JCB
2007
107views more  JCB 2007»
14 years 9 months ago
Effects of Long-Range Correlations in DNA on Sequence Alignment Score Statistics
Long-range correlations in genomic base composition are a ubiquitous statistical feature among many eukaryotic genomes. In this article, these correlations are shown to substantia...
Philipp W. Messer, Ralf Bundschuh, Martin Vingron,...
RECOMB
2004
Springer
15 years 10 months ago
Computational identification of evolutionarily conserved exons
Phylogenetic hidden Markov models (phylo-HMMs) have recently been proposed as a means for addressing a multispecies version of the ab initio gene prediction problem. These models ...
Adam C. Siepel, David Haussler
ATVA
2008
Springer
144views Hardware» more  ATVA 2008»
14 years 11 months ago
Tests, Proofs and Refinements
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
Sriram K. Rajamani
BMCBI
2008
162views more  BMCBI 2008»
14 years 9 months ago
Background correction using dinucleotide affinities improves the performance of GCRMA
Background: High-density short oligonucleotide microarrays are a primary research tool for assessing global gene expression. Background noise on microarrays comprises a significan...
Raad Z. Gharaibeh, Anthony Fodor, Cynthia Gibas
TACAS
2010
Springer
241views Algorithms» more  TACAS 2010»
15 years 4 months ago
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions
Abstract. The Real-Time Calculus (RTC) [16] is a framework to analyze heterogeneous real-time systems that process event streams of data. The streams are characterized by pairs of ...
Matthieu Moy, Karine Altisen