Sciweavers

377 search results - page 61 / 76
» Extra-Music(ologic)al Models for Algorithmic Composition
Sort
View
JCB
2007
107views more  JCB 2007»
13 years 6 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
14 years 7 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»
13 years 8 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»
13 years 6 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»
14 years 1 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