933 search results - page 186 / 187 » Robust Distributed Source Coding |
SDL
2007
13 years 7 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
ECIS
2000
13 years 7 months ago
2000
- The measurement and assessment of health status in communities throughout the world is a massive information technology challenge. The Comprehensive Assessment for Tracking Commu...
BMCBI
2006
13 years 6 months ago
2006
Background: Modeling of cis-elements or regulatory motifs in promoter (upstream) regions of genes is a challenging computational problem. In this work, set of regulatory motifs si...
NAR
2008
13 years 6 months ago
2008
The Biological General Repository for Interaction Datasets (BioGRID) database (http://www. thebiogrid.org) was developed to house and distribute collections of protein and genetic...
BMCBI
2005
13 years 6 months ago
2005
Background: Graph theory provides a computational framework for modeling a variety of datasets including those emerging from genomics, proteomics, and chemical genetics. Networks ...