Sciweavers

877 search results - page 54 / 176
» Annotated Revision Programs
Sort
View
BMCBI
2010
156views more  BMCBI 2010»
13 years 9 months ago
PeakAnalyzer: Genome-wide annotation of chromatin binding and modification loci
Background: Functional genomic studies involving high-throughput sequencing and tiling array applications, such as ChIP-seq and ChIP-chip, generate large numbers of experimentally...
Mali Salmon-Divon, Heidi Dvinge, Kairi Tammoja, Pa...
NAR
2008
174views more  NAR 2008»
13 years 7 months ago
miRGator: an integrated system for functional annotation of microRNAs
MicroRNAs (miRNAs) constitute an important class of regulators that are involved in various cellular and disease processes. However, the functional significance of each miRNA is m...
Seungyoon Nam, Bumjin Kim, Seokmin Shin, Sanghyuk ...
TGC
2007
Springer
14 years 3 months ago
Elimination of Ghost Variables in Program Logics
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
Martin Hofmann, Mariela Pavlova
BMCBI
2010
163views more  BMCBI 2010»
13 years 9 months ago
DraGnET: Software for storing, managing and analyzing annotated draft genome sequence data
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...
Stacy Duncan, Ruchita Sirkanungo, Leslie Miller, G...
BMCBI
2006
108views more  BMCBI 2006»
13 years 9 months ago
Promoter prediction and annotation of microbial genomes based on DNA sequence and structural responses to superhelical stress
Background: In our previous studies, we found that the sites in prokaryotic genomes which are most susceptible to duplex destabilization under the negative superhelical stresses t...
Huiquan Wang, Craig J. Benham