Publications

Export 7151 results:
Author [ Title(Desc)] Type Year
Filters: Block-preconditioners-discrete-incompressible-navier%E2%80%93stokes-equations is   [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 
V
Elgot-drapkin J, Kraus S, Miller M, Nirkhe M, Perlis D.  1993.  Vacuum-logic. Proceedings of AAAI 1993 Fall Symposium Series: Instantiating Real-World Agents. :51-54.
Zadorozhny V, Raschid L, Zhan T, Bright L.  2001.  Validating an access cost model for wide area applications. Cooperative Information Systems. :371-385.
Ray A, Morschhaeuser I, Ackermann C, Cleaveland R, Shelton C, Martin C.  2009.  Validating Automotive Control Software Using Instrumentation-Based Verification. Automated Software Engineering, International Conference on. :15-25.
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.
Srinivasan A.  2000.  The value of strong inapproximability results for clique. Proceedings of the thirty-second annual ACM symposium on Theory of computing. :144-152.
Cheng A-S, Fleischmann KR, Wang P, Ishita E, Oard D.  2010.  Values of Stakeholders in the Net Neutrality Debate: Applying Content Analysis to Telecommunications Policy. Hawaii International Conference on System Sciences. :1-10.
Zhang W, Guo Y, Meth R, Sokoloff H, Pope A, Strat T, Chellappa R.  2011.  Variable remapping of images from very different sources. 2011 18th IEEE International Conference on Image Processing (ICIP). :1501-1504.
Hao X, Varshney A.  2001.  Variable-precision rendering. Proceedings of the 2001 symposium on Interactive 3D graphics. :149-158.
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.
Brabec F, Samet H, Yilmaz C.  2003.  VASCO: visualizing and animating spatial constructs and operations. Proceedings of the nineteenth annual symposium on Computational geometry. :374-375.
Grinstein G, O'Connell T, Laskowski S, Plaisant C, Scholtz J, Whiting M.  2006.  VAST 2006 Contest - A Tale of Alderwood. Visual Analytics Science And Technology, 2006 IEEE Symposium On. :215-216.
Grinstein G, Plaisant C, Laskowski S, O'Connell T, Scholtz J, Whiting M.  2007.  VAST 2007 Contest - Blue Iguanodon. Visual Analytics Science and Technology, 2007. VAST 2007. IEEE Symposium on. :231-232.
Grinstein G, Plaisant C, Laskowski S, O'Connell T, Scholtz J, Whiting M.  2008.  VAST 2008 Challenge: Introducing mini-challenges. Visual Analytics Science and Technology, 2008. VAST '08. IEEE Symposium on. :195-196.
Grinstein G, Scholtz J, Whiting M, Plaisant C.  2009.  VAST 2009 challenge: An insider threat. Visual Analytics Science and Technology, 2009. VAST 2009. IEEE Symposium on. :243-244.
Grinstein G, Konecni S, Scholtz J, Whiting M, Plaisant C.  2010.  VAST 2010 Challenge: Arms dealings and pandemics. Visual Analytics Science and Technology (VAST), 2010 IEEE Symposium on. :263-264.
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.

Pages