Publications

Export 3364 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Journal Articles
Swamy N, Hicks MW.  2008.  Verified enforcement of automaton-based information release policies. Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security. ACM Press.
Eisenstat SC, Elman H, Schultz MH.  1983.  Variational Iterative Methods for Nonsymmetric Systems of Linear Equations. SIAM Journal on Numerical Analysis. 20(2):345-357.
Sato T, Kameya Y, Kurihara K, De Raedt L, Dietterich T, Getoor L, Kersting K, Muggleton SH.  2008.  Variational Bayes via Propositionalization. Probabilistic, Logical and Relational Learning-A Further Synthesis.
Islam MS, Talukder KA, Khan NH, Mahmud ZH, Rahman MZ, Nair GB, Siddique AKM, Yunus M, Sack DA, Sack RB et al..  2004.  Variation of toxigenic Vibrio cholerae O1 in the aquatic environment of Bangladesh and its correlation with the clinical strains. Microbiology and immunology. 48(10):773-777.
Islam MS, Talukder KA, Khan NH, Mahmud ZH, Rahman MZ, Nair GB, Siddique AKM, Yunus M, Sack DA, Sack RB et al..  2004.  Variation of toxigenic Vibrio cholerae O1 in the aquatic environment of Bangladesh and its correlation with the clinical strains. Microbiology and immunology. 48(10):773-777.
Islam MS, Talukder KA, Khan NH, Mahmud ZH, Rahman MZ, Nair GB, Siddique AKM, Yunus M, Sack DA, Sack RB et al..  2004.  Variation of toxigenic Vibrio cholerae O1 in the aquatic environment of Bangladesh and its correlation with the clinical strains. Microbiology and immunology. 48(10):773-777.
Budowle B, Connell ND, Bielecka-Oder A, Colwell RR, Corbett CR, Fletcher J, Forsman M, Kadavy DR, Markotic A, Morse SA et al..  2014.  Validation of high throughput sequencing and microbial forensics applications. Investigative Genetics. 5(1):9.
Budowle B, Connell ND, Bielecka-Oder A, Colwell RR, Corbett CR, Fletcher J, Forsman M, Kadavy DR, Markotic A, Morse SA et al..  2014.  Validation of high throughput sequencing and microbial forensics applications. Investigative Genetics. 5(1):9.
Krishna A, Schmidt D, Memon AM, Porter A, Sevilla D.  2004.  Validating quality of service for reusable software via model-integrated distributed continuous quality assurance. Software Reuse: Methods, Techniques, and Tools. :286-295.
Krishna A, Schmidt D, Memon AM, Porter A, Sevilla D.  2004.  Validating quality of service for reusable software via model-integrated distributed continuous quality assurance. Software Reuse: Methods, Techniques, and Tools. :286-295.
Plishker W, Dandekar O, Bhattacharyya SS, Shekhar R.  2010.  Utilizing Hierarchical Multiprocessing for Medical Image Registration. IEEE Signal Processing Magazine. 27(2):61-68.
Card SK, Mackinlay JD, Shneiderman B.  1999.  Using vision to think. Readings in information visualization: using vision to think. :579-581.
Asahi T, Turo D, Shneiderman B.  1995.  Using Treemaps to Visualize the Analytic Hierarchy Process. Information Systems ResearchInformation Systems Research. 6(4):357-375.
Snelick R, JaJa JF, Kacker R, Lyon G.  1995.  Using synthetic perturbations and statistical screening to assay shared-memory programs. Information processing letters. 54(3):147-153.
Perer A, Shneiderman B, Oard D.  2006.  Using rhythms of relationships to understand e‐mail archives. Journal of the American Society for Information Science and Technology. 57(14):1936-1948.
Getoor L, Sahami M.  1999.  Using probabilistic relational models for collaborative filtering. Proc. Workshop Web Usage Analysis and User Profiling (WEBKDD’99).
Spring N, Peterson L, Bavier A, Pait V.  2006.  Using PlanetLab for network research. ACM SIGOPS Operating Systems Review. 40:17-17.
Hochheiser H, Shneiderman B.  2001.  Using interactive visualizations of WWW log data to characterize access patterns and inform site design. Journal of the American Society for Information Science and Technology. 52(4):331-343.
Song Z, Roussopoulos N.  2002.  Using Hilbert curve in image storing and retrieving. Information Systems. 27(8):523-536.
Stantchev G, Juba D, Dorland W, Varshney A.  2009.  Using Graphics Processors for High-Performance Computation and Visualization of Plasma Turbulence. Computing in Science Engineering. 11(2):52-59.
Shakarian P, V.S. Subrahmanian, Sapino ML, Hermenegildo M, Schaub T.  2010.  Using Generalized Annotated Programs to Solve Social Network Optimization Problems. ICLP.
Shakarian P, V.S. Subrahmanian, Sapino ML, Hermenegildo M, Schaub T.  2010.  Using Generalized Annotated Programs to Solve Social Network Optimization Problems. ICLP.
Shakarian P, V.S. Subrahmanian, Sapino ML, Hermenegildo M, Schaub T.  2010.  Using Generalized Annotated Programs to Solve Social Network Optimization Problems. ICLP.
Shakarian P, V.S. Subrahmanian, Sapino ML, Hermenegildo M, Schaub T.  2010.  Using Generalized Annotated Programs to Solve Social Network Optimization Problems. ICLP.
Hierons RM, Krause P, Lüttgen G, Simons AJH, Vilkomir S, Woodward MR, Zedan H, Bogdanov K, Bowen JP, Cleaveland R et al..  2009.  Using formal specifications to support testing. ACM Computing Surveys. 41:1-76.

Pages