Publications

Export 116 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Last Name is I  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
O
Katz B, Felshin S, Yuret D, Ibrahim A, Jimmy Lin, Marton G, Jerome McFarland A, Temelkuran B.  2002.  Omnibase: Uniform access to heterogeneous data for question answering. Natural Language Processing and Information Systems. :230-234.
Dachman-Soled D, Lee HK, Malkin T, Servedio RA, Wan A, Wee H.  2008.  Optimal Cryptographic Hardness of Learning Monotone Functions. Automata, Languages and Programming. :36-47.
Cleaveland R, Iyer P, Yankelevich D.  1995.  Optimality in abstractions of model checking. Static Analysis. :51-63.
P
Islam MS, Tasmin R, s l a m Khan SI, Bakht HBM, a y a t Mahmood ZH, i a u r Rahman MZ, m i n Bhuiyan NA, Nishibuchi M, a l a k r i s h Nair GB, r a d l e y Sack RB et al..  2004.  Pandemic strains of O3:K6 Vibrio parahaemolyticus in the aquatic environment of Bangladesh. Canadian Journal of Microbiology. 50(10):827-834.
Miller BP, Callaghan MD, Cargille JM, Hollingsworth J, Irvin RB, Karavanic KL, Kunchithapadam K, Newhall T.  1995.  The Paradyn parallel performance measurement tool. Computer. 28(11):37-46.
Apostolico A, Iliopoulos C, Landau GM, Schieber B, Vishkin U.  1988.  Parallel construction of a suffix tree with applications. Algorithmica. 3(1):347-365.
Juba D, Cardone A, Ip C Y, Simon Jr CG, K Tison C, Kumar G, Brady M, Varshney A.  2013.  Parallel geometric classification of stem cells by their three-dimensional morphology. Computational Science & Discovery. 6(1):015007.
Itoi N, Arbaugh WA, Pollack S, Reeves D.  2001.  Personal secure booting. Information Security and Privacy. :130-144.
Choi SY, Rashed SM, Hasan NA, Alam M, Islam T, Sadique A, Johura F-T, Eppinger M, Ravel J, Huq A et al..  2016.  Phylogenetic Diversity of Vibrio cholerae Associated with Endemic Cholera in Mexico from 1991 to 2008. mBio. 7(2)
Hajiaghayi MT, Immorlica N, Mirrokni VS.  2007.  Power optimization in fault-tolerant topology control algorithms for wireless multi-hop networks. IEEE/ACM Transactions on Networking (TON). 15(6):1345-1358.
Cleaveland R, Iyer PS, Narasimha M.  2005.  Probabilistic temporal logics via the modal mu-calculus. Theoretical Computer Science. 342(2-3):316-350.
R
Pemmaraju S, Srinivasan A.  2008.  The Randomized Coloring Procedure with Symmetry-Breaking. Automata, Languages and ProgrammingAutomata, Languages and Programming. 5125:306-319.
[Anonymous].  2002.  RECOMB '02: Proceedings of the sixth annual international conference on Computational biology.
Colwell RR, Huq A, Islam SM, Aziz KMA, Yunus M, Khan HN, Mahmud A, Sack BR, Nair GB, Chakraborty J et al..  2003.  Reduction of Cholera in Bangladeshi Villages by Simple Filtration. Proceedings of the National Academy of SciencesPNAS. 100(3):1051-1055.
Ip CY, Gupta SK.  2007.  Retrieving matching CAD models by using partial 3D point clouds. Computer-Aided Design & Applications. 4(5):629-638.
Grim CJ, Zo Y-G, Hasan NA, Ali A, Chowdhury WB, Islam A, Rashid MH, Alam M, Morris GJ, Huq A et al..  2009.  RNA Colony Blot Hybridization Method for Enumeration of Culturable Vibrio Cholerae and Vibrio Mimicus Bacteria. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 75(17):5439-5444.
S
Patro R, Ip CY, Varshney A, Hagen H.  2010.  Saliency Guided Summarization of Molecular Dynamics Simulations. Scientific Visualization: Advanced Concepts. 1:321-335.
Ip C Y, Varshney A.  2011.  Saliency-Assisted Navigation of Very Large Landscape Images. Visualization and Computer Graphics, IEEE Transactions on. 17(12):1737-1746.
Kim Y, Patro R, Ip CY, O’Leary DP, Anishkin A, Sukharev S, Varshney A.  1998.  Salient Frame Detection for Molecular Dynamics Simulations. Scientific Visualization: Interactions, Features, Metaphors. 2:160-175.
Anagnostakis K, Hicks MW, Ioannidis S, Keromytis A, Smith J.  2000.  Scalable Resource Control in Active Networks. Active NetworksActive Networks. 1942:343-357.
Baker K, Bethard S, Bloodgood M, Brown R, Callison-Burch C, Coppersmith G, Dorr BJ, Filardo W, Giles K, Irvine A et al..  2009.  Semantically informed machine translation (SIMT). SCALE summer workshop final report, Human Language Technology Center Of Excellence.
Alam M, Chowdhury WB, Bhuiyan NA, Islam A, Hasan NA, Nair BG, Watanabe H, Siddique AK, Huq A, Sack BR et al..  2009.  Serogroup, Virulence, and Genetic Traits of Vibrio Parahaemolyticus in the Estuarine Ecosystem of Bangladesh. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 75(19):6268-6274.
Lam H, Bertini E, Isenberg P, Plaisant C, Carpendale S.  2011.  Seven guiding scenarios for information visualization evaluation. 2011-992-04
Nau DS, Au TC, Ilghami O, Kuter U, Murdock JW, Wu D, Yaman F.  2003.  SHOP2: An HTN planning system. J. Artif. Intell. Res. (JAIR). 20:379-404.
Borah M, Bajwa RS, Hannenhalli S, Irwin MJ.  1994.  A SIMD solution to the sequence comparison problem on the MGAP. International Conference on Application Specific Array Processors, 1994. Proceedings. :336-345.

Pages