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.  Fast generic model-checking for data-based systems. Formal Techniques for Networked and Distributed Systems-FORTE 2005. :83-97.
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 G, Elman H.  1992.  Parallel sparse Cholesky factorization on a shared memory multiprocessor. Parallel Computing. 18(9):1009-1022.
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 D, Raasi S, Fushman D.  2008.  Affinity Makes the Difference: Nonselective Interaction of the UBA Domain of Ubiquilin-1 with Monomeric Ubiquitin and Polyubiquitin Chains. Journal of Molecular Biology. 377(1):162-180.
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 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.
Zhang J, Luo X, Perdisci R, Gu G, Lee W, Feamster N.  2011.  Boosting the scalability of botnet detection using adaptive traffic sampling. Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security. :124-134.
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, 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 W, Abhayapala TD, Kennedy RA, Duraiswami R.  2009.  Modal expansion of HRTFs: Continuous representation in frequency-range-angle. Acoustics, Speech and Signal Processing, 2009. ICASSP 2009. IEEE International Conference on. :285-288.
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 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 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 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, 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, 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, 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, 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 Y, Rath N, Hannenhalli S, Wang Z, Cappola T, Kimura S, Atochina-Vasserman E, Lu M M, Beers MF, Morrisey EE.  2007.  GATA and Nkx factors synergistically regulate tissue-specific gene expression and development in vivo. Development. 134(1):189-198.
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 B, Sen P, Getoor L.  2006.  Entity and relationship labeling in affiliation networks. ICML Workshop on Statistical Network Analysis.
Zhao H, Plaisant C, Shneiderman B.  2003.  Improving Accessibility and Usability of Geo-referenced Statistical Data. Technical Reports from UMIACS.
Zhao L, Davis LS.  2005.  Segmentation and appearance model building from an image sequence. Image Processing, 2005. ICIP 2005. IEEE International Conference on. 1:I-321-4-I-321-4.
Zhao H, Plaisant C, Shneiderman B.  2005.  "I hear the pattern": interactive sonification of geographical data patterns. CHI '05 extended abstracts on Human factors in computing systems. :1905-1908.

Pages