Publications

Export 7148 results:
[ Author(Desc)] Title 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 
Z
Zhang D, Cleaveland R.  2005.  Efficient temporal-logic query checking for presburger systems. Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering. :24-33.
Zhang N, Wang Q, Ehlinger A, Randles L, Lary JW, Kang Y, Haririnia A, Storaska AJ, Cole JL, Fushman D et al..  2009.  Structure of the S5a:K48-Linked Diubiquitin Complex and Its Interactions with Rpn13. Molecular Cell. 35(3):280-290.
Zhang P, Soergel D, Klavans JL, Oard D.  2008.  Extending sense-making models with ideas from cognition and learning theories. Proceedings of the American Society for Information Science and Technology. 45(1):23-23.
Zhang D, Cleaveland R.  2005.  Fast on-the-fly parametric real-time model checking. Real-Time Systems Symposium, 2005. RTSS 2005. 26th IEEE International. :10–pp-10–pp.
Zhang X-N, Mount SM.  2009.  Two Alternatively Spliced Isoforms of the Arabidopsis SR45 Protein Have Distinct Roles during Normal Plant Development. Plant PhysiologyPlant Physiol.. 150(3):1450-1458.
Zhang Y, Manister E, Kraus S, V.S. Subrahmanian.  2005.  Approximation results for probabilistic survivability. Multi-Agent Security and Survivability, 2005 IEEE 2nd Symposium on. :1-10.
Zhang P, Plettenberg L, Klavans JL, Oard D, Soergel D.  2007.  Task-based interaction with an integrated multilingual, multimedia information system: a formative evaluation. Proceedings of the 7th ACM/IEEE-CS joint conference on Digital libraries. :117-126.
Zhang Z, JaJa JF, Bader DA, Kalluri SNV, Song H, El Saleous N, Vermote E, Townshend JRG.  2000.  Kronos: A software system for the processing and retrieval of large-scale AVHRR data sets. PE & RS- Photogrammetric Engineering and Remote Sensing. 66(9):1073-1082.
Zhang D, Cleaveland R, Stark EW.  2003.  The integrated CWB-NC/PIOAtool for functional verification and performance analysis of concurrent systems. Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems. :431-436.
Zhang D, Chen T, Ziv I, Rosenzweig R, Matiuhin Y, Bronner V, Glickman MH, Fushman D.  2009.  Together, Rpn10 and Dsk2 Can Serve as a Polyubiquitin Chain-Length Sensor. Molecular Cell. 36(6):1018-1033.
Zhang Z, Mayergoyz ID, Gumerov NA, Duraiswami R.  2006.  Numerical Analysis of Plasmon Resonances Based on Fast Multipole Method. Electromagnetic Field Computation, 2006 12th Biennial IEEE Conference on. :459-459.
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.
Zhang Z, Kalluri SNV, JaJa JF, Liang S, Townshend JRG.  1998.  Models and high-performance algorithms for global BRDF retrieval. Computational Science Engineering, IEEE. 5(4):16-29.
Zhang W, Abhayapala TD, Kennedy RA, Duraiswami R.  2010.  Insights into head-related transfer function: Spatial dimensionality and continuous representation. The Journal of the Acoustical Society of America. 127(4):2347-2357.
Zhang G, Elman H.  1992.  Parallel sparse Cholesky factorization on a shared memory multiprocessor. Parallel Computing. 18(9):1009-1022.
Zhang K, Andrade H, Raschid L, Sussman A.  2005.  Query planning for the grid: adapting to dynamic resource availability. Cluster Computing and the Grid, IEEE International Symposium on. 2:751-758.
Zhang Z, Klassen E, Srivastava A, Turaga P, Chellappa R.  2011.  Blurring-invariant Riemannian metrics for comparing signals and images. 2011 IEEE International Conference on Computer Vision (ICCV). :1770-1775.
Zhang Z, Basili VR, Shneiderman B.  1998.  An Empirical Study of Perspective-Based Usability Inspection. Proceedings of the Human Factors and Ergonomics Society Annual MeetingProceedings of the Human Factors and Ergonomics Society Annual Meeting. 42(19):1346-1350.
Zhang Z, Basili VR, Shneiderman B.  1999.  Perspective-based Usability Inspection: An Empirical Validation of Efficacy. Empirical Software Engineering. 4(1):43-69.
Zhang Z, Mayergoyz ID, Gumerov NA, Duraiswami R.  2007.  Numerical Analysis of Plasmon Resonances in Nanoparticles Based on Fast Multipole Method. Magnetics, IEEE Transactions on. 43(4):1465-1468.
Zhao H, Plaisant C, Shneiderman B.  2005.  Improving Accessibility and Usability of Geo-referenced Statistical Data (2003). Institute for Systems Research Technical Reports.
Zhao H, Smith BK, Norman KL, Plaisant C, Shneiderman B.  2005.  Listening to Maps: User Evaluation of Interactive Sonifications of Geo-Referenced Data. Institute for Systems Research Technical Reports.
Zhao H, Plaisant C, Shneiderman B, Lazar J.  2008.  Data Sonification for Users with Visual Impairment: A Case Study with Georeferenced Data. ACM Trans. Comput.-Hum. Interact.. 15(1):4:1–4:28-4:1–4:28.
Zhao H, Plaisant C, Shneiderman B, Duraiswami R.  2004.  Sonification of geo-referenced data for auditory information seeking: Design principle and pilot study. Proceedings of ICAD.
Zhao H, Wu M, Wang ZJ, Liu KJR.  2002.  Nonlinear collusion attacks on independent multimedia fingerprints. submitted to IEEE Trans. on Image Proc.

Pages