Sciweavers

407 search results - page 27 / 82
» On sequential functionals of type 3
Sort
View
BMCBI
2010
84views more  BMCBI 2010»
13 years 8 months ago
An integrated analysis of molecular aberrations in NCI-60 cell lines
Background: Cancer is a complex disease where various types of molecular aberrations drive the development and progression of malignancies. Large-scale screenings of multiple type...
Chen-Hsiang Yeang
CAV
2010
Springer
154views Hardware» more  CAV 2010»
14 years 17 days ago
Verifying Low-Level Implementations of High-Level Datatypes
For efficiency and portability, network packet processing code is typically written in low-level languages and makes use of bit-level operations to compactly represent data. Althou...
Christopher L. Conway, Clark Barrett
BMCBI
2010
87views more  BMCBI 2010»
13 years 8 months ago
Epigenetic domains found in mouse embryonic stem cells via a hidden Markov model
Background: Epigenetics is an important layer of transcriptional control necessary for cell-type specific gene regulation. Recent studies have shown significant epigenetic pattern...
Jessica L. Larson, Guo-Cheng Yuan
AMC
2011
13 years 3 months ago
Complexity reduction of C-Algorithm
This is a companion paper of [1] and [2]. In the cited papers, using the C-algorithm introduced in [3], many new examples of isochronous centers for Li´enard type equation are fou...
Magali Bardet, Islam Boussaada
SOFSEM
2007
Springer
14 years 2 months ago
Multimedia Retrieval Algorithmics
Abstract. After text retrieval, the next waves in web searching and multimedia retrieval are the search for and delivery of images, music, video, and 3D scenes. Not only the percep...
Remco C. Veltkamp