730 search results - page 145 / 146 » Security-typed programming within dependently typed programm... |
IAAI
2001
13 years 6 months ago
2001
Due to military drawdowns and the need for additional transportation lift requirements, the US MARINE CORPS developed a concept wherein they had modified a commercial container sh...
BMCBI
2010
13 years 5 months ago
2010
Background: The investigation of plant genome structure and evolution requires comprehensive characterization of repetitive sequences that make up the majority of higher plant nuc...
BMCBI
2007
13 years 5 months ago
2007
Background: Metagenomic analyses of microbial communities that are comprehensive enough to provide multiple samples of most loci in the genomes of the dominant organism types will...
BMCBI
2008
2008
WSPMaker: a web tool for calculating selection pressure in proteins and domains using window-sliding
13 years 5 months ago
Background: In the study of adaptive evolution, it is important to detect the protein coding sites where natural selection is acting. In general, the ratio of the rate of non-syno...
BMCBI
2006
13 years 5 months ago
2006
Background: Genome sequences vary strongly in their repetitiveness and the causes for this are still debated. Here we propose a novel measure of genome repetitiveness, the index o...