Publications

Export 180 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is V  [Clear All Filters]
Journal Articles
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.
Zelkowitz MV, Wallace D.  1998.  Validating the Benefit of New Software Technology. Software Quality Practitioner. 1
Reyna-Fabian ME, Laclette JP, Cummings MP, García-Varela M.  2010.  Validating the systematic position of ıt Plationus Segers, Murugan & Dumont, 1993 (Rotifera: Brachionidae) using sequences of the large subunit of the nuclear ribosomal DNA and of cytochrome C oxidase. Hydrobiologia. 644(1):361-370.
Duan L, Martin, M.P.  2008.  Validation of a DNS code for wall-bounded turbulence including finite-rate reactions and surface catalysis. AIAA Paper 2008. 645
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.
Bilgic M, Getoor L.  2011.  Value of information lattice: exploiting probabilistic independence for effective feature subset acquisition. Journal of Artificial Intelligence Research. 41(2):69-95.
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.
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.
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.
Minkah N, Hwang Y, Perry K, Van Duyne GD, Hendrickson R, Lefkowitz EJ, Hannenhalli S, Bushman FD.  2007.  Variola virus topoisomerase: DNA cleavage specificity and distribution of sites in Poxvirus genomes. Virology. 365(1):60-69.
Liu X, Doermann D, Li H.  2008.  VCode - Pervasive Data Transfer Using Video Barcode. IEEETransactions on Multimedia. 10(3):361-371.
Mayergoyz ID.  2006.  Vector Preisach models of hysteresis. The Science of Hysteresis: Mathematical modeling and applications. 1:447-447.
Kembhavi A, Harwood D, Davis LS.  2011.  Vehicle Detection Using Partial Least Squares. Pattern Analysis and Machine Intelligence, IEEE Transactions on. 33(6):1250-1265.
Cevher V, Chellappa R, McClellan JH.  2009.  Vehicle Speed Estimation Using Acoustic Wave Patterns. Signal Processing, IEEE Transactions on. 57(1):30-47.
Plaisant C, Bhamidipati P.  2000.  Vehicle Speed Information Displays for Public Websites A Survey of User Preferences. Technical Reports from UMIACS.
Rand W, Wilensky U.  2006.  Verification and Validation through Replication: A Case Study Using Axelrod and Hammond’s Ethnocentrism Model. North American Association for Computational Social and Organization Sciences (NAACSOS).
Elseaidy WM, Baugh JW, Cleaveland R.  1996.  Verification of an active control system using temporal process algebra. Engineering with computers. 12(1):46-61.
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.
Swamy N, Hicks MW.  2009.  Verified enforcement of stateful information release policies. SIGPLAN Not.. 43(12):21-31.
Goodrich MT, Nguyen D, Ohrimenko O, Papamanthou C, Tamassia R, Triandopoulos N, Lopes CVideira.  2012.  Verifying Search Results Over Web Collections. arXiv:1204.5446 [cs].
Kim Y, Lee C H, Varshney A.  2006.  Vertex–transformation streams. Graphical Models. 68(4):371-383.
Raykar V C, Duraiswami R.  2006.  Very fast optimal bandwidth selection for univariate kernel density estimation. Technical Reports from UMIACS UMIACS-TR-2005-73.
Alam M, Sultana M, Nair GB, Siddique AK, Hasan NA, Sack RB, Sack DA, Ahmed KU, Sadique A, Watanabe H et al..  2007.  Viable but nonculturable Vibrio cholerae O1 in biofilms in the aquatic environment and their role in cholera transmission. Proceedings of the National Academy of Sciences. 104(45):17801-17801.
Binsztein N, Costagliola MC, Pichel M, Jurquiza V, Ramírez FC, Akselman R, Vacchino M, Huq A, Colwell RR.  2004.  Viable but Nonculturable Vibrio Cholerae O1 in the Aquatic Environment of Argentina. Applied and Environmental MicrobiologyAppl. Environ. Microbiol.. 70(12):7481-7486.
Colwell RR.  2009.  Viable but not cultivable bacteria. Uncultivated Microorganisms. :121-129.

Pages