Publications

Export 7151 results:
Author [ Title(Asc)] Type Year
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 
C
Furr M, Foster JS.  2008.  Checking type safety of foreign function calls. ACM Transactions on Programming Languages and Systems (TOPLAS). 30(4):18-18.
Furr M, Foster JS.  2005.  Checking type safety of foreign function calls. ACM SIGPLAN Notices. 40:62-72.
Aiken A, Foster JS, Kodumal J, Terauchi T.  2003.  Checking and inferring local non-aliasing. ACM SIGPLAN Notices. 38:129-140.
Kianzad V, Bhattacharyya SS.  2004.  CHARMED: A multi-objective co-synthesis framework for multi-mode embedded systems. Application-Specific Systems, Architectures and Processors, 2004. Proceedings. 15th IEEE International Conference on. :28-40.
Bin Tariq M, Mansy A, Feamster N, Ammar M.  2009.  Characterizing VLAN-induced sharing in a campus network. Proceedings of the 9th ACM SIGCOMM conference on Internet measurement conference. :116-121.
Gumerov NA, Duraiswami R.  2010.  Characterizing scattering coefficients numerically via the fast multipole accelerated boundary element method.. The Journal of the Acoustical Society of America. 127(3):1751-1751.
Dogan RI, Getoor L, Wilbur WJ.  2007.  Characterizing RNA Secondary-Structure Features and Their Effects on Splice-Site Prediction. Data Mining Workshops, 2007. ICDM Workshops 2007. Seventh IEEE International Conference on. :89-94.
Salles-Loustau G, Berthier R, Collange E, Sobesto B, Cukier M.  2011.  Characterizing Attackers and Attacks: An Empirical Study. :174-183.
Ceccarelli D, Garriss G, Choi SY, Hasan NA, Stepanauskas R, Pop M, Huq A, Colwell RR.  2017.  Characterization of Two Cryptic Plasmids Isolated in Haiti from Clinical Vibrio cholerae Non-O1/Non-O139. Frontiers in Microbiology.
Ringuette MJ, Martin, M.P, Smits AJ, Wu M.  2006.  Characterization of the turbulence structure in supersonic boundary layers using DNS data. AIAA Paper. 3539
Minker J.  1997.  A characterization of the partial stable models for disjunctive deductive databases. Logic programming: proceedings of the 1997 International Symposium. :245-245.
Blake-Hall J, Walker O, Fushman D.  2004.  Characterization of the Overall Rotational Diffusion of a Protein From 15N Relaxation Measurements and Hydrodynamic Calculations. Protein NMR Techniques. 278:139-159.
Stamps BW, Leddy MB, Plumlee MH, Hasan NA, Colwell RR, Spear JR.  2018.  Characterization of the Microbiome at the World’s Largest Potable Water Reuse Facility. Frontiers in Microbiology.
Katz J, Yung M.  2006.  Characterization of security notions for probabilistic private-key encryption. Journal of Cryptology. 19(1):67-95.
Ivanova EP, Matte GR, Matte MH, Coenye T, Huq A, Colwell RR.  2002.  Characterization of Pseudoalteromonas citrea and P. nigrifaciens Isolated from Different Ecological Habitats Based on REP-PCR Genomic Fingerprints. Systematic and Applied Microbiology. 25(2):275-283.
Chen AJ, Hasan NA, Haley BJ, Taviani E, Tarnowski M, Brohawn K, Johnson CN, Colwell RR, Huq A.  2017.  Characterization of Pathogenic Vibrio parahaemolyticus from the Chesapeake Bay, Maryland. Frontiers in Microbiology.
Leddy MB, Hasan NA, Subramanian P, Heberling C, Cotruvo J, Colwell RR.  2017.  Characterization of Microbial Signatures From Advanced Treated Wastewater Biofilms. Journal - American Water Works Association. 109:E503-E512.
Zhou S, Chellappa R, Jacobs DW.  2004.  Characterization of human faces under illumination variations using rank, integrability, and symmetry constraints. Computer Vision-ECCV 2004. :588-601.
Peng XB, Mount SM.  1990.  Characterization of enhancer-of-white-apricot in Drosophila melanogaster.. GeneticsGenetics. 126(4):1061-1069.
Hammel M, Sfyroera G, Pyrpassopoulos S, Ricklin D, Ramyar KX, Pop M, Jin Z, Lambris JD, Geisbrecht BV.  2007.  Characterization of Ehp, a Secreted Complement Inhibitory Protein from Staphylococcus aureus. Journal of Biological Chemistry. 282(41):30051-30061.
Ishimori N, Walsh K, Zheng X, Lu F, Hannenhalli S, Nusskern D, Mural R, Paigen B.  2004.  CHARACTERIZATION OF Ath17, A QUANTITATIVE TRAIT LOCUS FOR ATHEROSCLEROSIS SUSCEPTIBILITY BETWEEN C57BL/6J AND 129S1/SvImJ; SINGLE-NUCLEOTIDE POLYMORPHISMS HAVE IMPORTANT IMPLICATIONS ON IDENTIFYING ATHEROSCLEROSIS MODIFIER GENES. Cardiovascular Pathology. 13(3, Supplement):5-6.
Talledo M, Rivera ING, Lipp EK, Neale A, Karaolis D, Huq A, Colwell RR.  2003.  Characterization of a Vibrio cholerae phage isolated from the coastal water of Peru. Environmental Microbiology. 5(5):350-354.
Ananthanarayanan A, Gupta SK, Bruck HA.  2009.  Characterization and control of pin diameter during in-mold assembly of mesoscale revolute joints. North American Manufacturing Research Institute. 37
Elman H, Ramage A.  2003.  A characterisation of oscillations in the discrete two-dimensional convection-diffusion equation. Mathematics of computation. 72(241):263-288.
Han B, Ji L, Lee S, Miller RR, Bhattacharjee B.  2009.  Channel Access Throttling for Overlapping BSS Management. Communications, 2009. ICC '09. IEEE International Conference on. :1-6.

Pages