Sciweavers

2296 search results - page 414 / 460
» The Expressive Power of Synchronizations
Sort
View
143
Voted
BMCBI
2005
133views more  BMCBI 2005»
15 years 4 months ago
Ab initio identification of putative human transcription factor binding sites by comparative genomics
Background: Understanding transcriptional regulation of gene expression is one of the greatest challenges of modern molecular biology. A central role in this mechanism is played b...
Davide Corà, Carl Herrmann, Christoph Diete...
BMCBI
2005
179views more  BMCBI 2005»
15 years 4 months ago
MARS: Microarray analysis, retrieval, and storage system
Background: Microarray analysis has become a widely used technique for the study of geneexpression patterns on a genomic scale. As more and more laboratories are adopting microarr...
Michael Maurer, Robert Molidor, Alexander Sturn, J...
BMCBI
2005
126views more  BMCBI 2005»
15 years 4 months ago
An algorithm for automatic evaluation of the spot quality in two-color DNA microarray experiments
Background: Although DNA microarray technologies are very powerful for the simultaneous quantitative characterization of thousands of genes, the quality of the obtained experiment...
Eugene Novikov, Emmanuel Barillot
NJC
2000
169views more  NJC 2000»
15 years 3 months ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
LOGCOM
1998
178views more  LOGCOM 1998»
15 years 3 months ago
Applying the Mu-Calculus in Planning and Reasoning about Action
Planning algorithms have traditionally been geared toward achievement goals in single-agent environments. Such algorithms essentially produce plans to reach one of a specified se...
Munindar P. Singh