Publications
Export 7151 results:
Author Title [ Type] Year Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is [Clear All Filters]
2007. Geometrical algorithms for automated design of side actions in injection moulding of complex parts. Computer-Aided Design. 39(10):882-897.
2005. Geometric algorithms for containment analysis of rotational parts. Computer-Aided Design. 37(2):213-230.
2005. Geometric algorithms for computing cutter engagement functions in 2.5D milling operations. Computer-Aided Design. 37(14):1469-1480.
2004. Geometric algorithms for automated design of rotary-platen multi-shot molds. Computer-Aided Design. 36(12):1171-1187.
2004. Geometric algorithms for automated design of multi-piece permanent molds. Computer-Aided Design. 36(3):241-260.
2000. Genomic Sequence, Splicing, and Gene Annotation. American Journal of Human GeneticsAm J Hum Genet. 67(4):788-792.
2002. Genomic profiles of clinical and environmental isolates of Vibrio cholerae O1 in cholera-endemic areas of Bangladesh. Proceedings of the National Academy of Sciences. 99(19):12409-12409.
2017. Genomic Methods and Microbiological Technologies for Profiling Novel and Extreme Environments for the Extreme Microbiome Project (XMP). Journal of Biomolecular Techniques : JBT. 28(1):31-39.
2012. Genomic insights to SAR86, an abundant and uncultivated marine bacterial lineage.. ISME J. 6(6):1186-99.
2012. Genomic diversity of 2010 Haitian cholera outbreak strains. Proceedings of the National Academy of Sciences. :E2010-E2017.
2012. Genomic analysis of ICE Vch Ban8: An atypical genetic element in Vibrio cholerae. FEBS Letters. (11):1617-1621.
2011. Genome-Wide Survey of Natural Selection on Functional, Structural, and Network Properties of Polymorphic Sites in Saccharomyces Paradoxus. Molecular Biology and EvolutionMol Biol Evol. 28(9):2615-2627.
2007. Genome-wide expression profiling and bioinformatics analysis of diurnally regulated genes in the mouse prefrontal cortex. Genome Biology. 8(11):R247-R247.
2005. Genome-wide analysis of retroviral DNA integration. Nat Rev MicroNat Rev Micro. 3(11):848-858.
2008. Genome-Wide Analysis of Natural Selection on Human Cis-Elements. PLoS ONEPLoS ONE. 3(9):e3137-e3137.
2005. Genome-Wide Analysis of Chromosomal Features Repressing Human Immunodeficiency Virus Transcription. Journal of VirologyJ. Virol.. 79(11):6610-6619.
2005. The Genome Sequence of Trypanosoma cruzi, Etiologic Agent of Chagas Disease. Science. 309(5733):409-415.
2005. The Genome Sequence of Trypanosoma Cruzi, Etiologic Agent of Chagas Disease. ScienceScience. 309(5733):409-415.
2005. The genome sequence of Trypanosoma cruzi, etiologic agent of Chagas disease. Science. 309(5733)
2010. Genome Sequence of Hybrid Vibrio Cholerae O1 MJ-1236, B-33, and CIRS101 and Comparative Genomics with V. Cholerae. Journal of BacteriologyJ. Bacteriol.. 192(13):3524-3533.
2003. The genome sequence of Bacillus anthracis Ames and comparison to closely related bacteria. Nature. 423(6935):81-86.