Journal Articles
(Publications are listed alphabetically by title)
Pages
Uniform accountability for multiple modes of reasoning. International Journal of Approximate Reasoning. 1988;2(3):233-246.
Unifying Shading and Texture Through an Active Observer. Proceedings of the Royal Society of London. B. Biological Sciences. 1989;238(1290):25-37.
Unit verification: the CARA experience. International Journal on Software Tools for Technology Transfer (STTT). 2004;5(4):351-369.
UNITRAN: A PRINCIPLE-BASED PARSER FOR MACHINE TRANSLATION. The MIT parsing volume, 1987-88. 1988;(1):128.
UNITRAN: an interlingual approach to machine translation. Proceedings of the Sixth Conference of the American Association of Artificial Intelligence. 1987:534-539.
Universal Duality in Conic Convex Optimization. Mathematical Programming A. 2007;109(1):69-88.
Universal usability. Communications of the ACM. 2000;43(5):84-91.
Universal usability as a stimulus to advanced interface design. Behaviour & Information Technology. 2001;20(5):367-376.
Universal usability statements: Marking the trail for all users. interactions. 2001;8(2):16-18.
Universal Usability: A grand challenge for HCI. Universal usability: Designing computer interfaces for user diversity. 2007.
Universal Usability: Pushing Human-Computer Interaction Research to Empower Every Citizen. Media access: social and psychological dimensions of new technology use. 2004:255.
Universally composable multi-party computation using tamper-proof hardware. Advances in Cryptology-EUROCRYPT 2007. 2007:115-128.
Universally composable multi-party computation with an unreliable common reference string. Theory of Cryptography. 2008:142-154.
Universally composable password-based key exchange. Advances in Cryptology–Eurocrypt 2005. 2005:557.
University of Maryland, USA. Fifth International Conference on Information Visualisation: 25-27 July 2001 London, England: Proceedings. 2001:3.
Unlocking the Potential of the Spoken Word. Science. 2008;321(5897):1787-1788.
Unsupervised learning applied to progressive compression of time-dependent geometry. Computers & Graphics. 2005;29(3):451-461.
Unsupervised view and rate invariant clustering of video sequences. Computer Vision and Image Understanding. 2009;113(3):353-371.
Upstream and downstream influence on the unsteadiness of STBLI using DNS data in two configurations. AIAA Paper 2008-0719, 46, h. 2008.
URV ESPRIT for tracking time-varying signals. Signal Processing, IEEE Transactions on. 1994;42(12):3441-3448.
Usability and Accessibility in Consumer Health Informatics: Current Trends and Future Challenges. American Journal of Preventive Medicine. 2011;40(5, Supplement 2):S187-S197 - S187-S197.
Use of Environmental Parameters to Model Pathogenic Vibrios in Chesapeake Bay. Journal of Environmental Informatics. 2015.
Use of linear algebra kernels to build an efficient finite element solver. Parallel Computing. 1995;21(1):161-173.
Use of the SAND spatial browser for digital government applications. Commun. ACM. 2003;46(1):61-64.
User Controlled Smooth Zooming for Information Visualization. Institute for Systems Research Technical Reports. 1994.
User Frustration with Technology in the Workplace (2004). Institute for Systems Research Technical Reports. 2005.
User interface consistency: an evaluation of original and revised interfaces for a videodisk library. Sparks of innovation in human-computer interaction. 1993:259.
User interface design with speech technologies : A cognitive limitations review. Sprache und Datenverarbeitung. 2004;28(2):101-109.
User interface evaluation and empirically-based evolution of a prototype experience management tool. Software Engineering, IEEE Transactions on. 2003;29(9):838-850.
User Interface Reengineering: A Diagnostic Approach. Technical Reports of the Computer Science Department. 1998.
User Interface Reengineering: Low-Effort, High-Payoff Strategies. IEEE Software. 1997;14(4):66-72.
User Interfaces for a Complex Robotic Task: A Comparison of Tiles vs. Overlapped Windows. Institute for Systems Research Technical Reports. 1997.
User simulations for evaluating answers to question series. Information Processing & Management. 2007;43(3):717-729.
User-assisted query translation for interactive cross-language information retrieval. Information Processing & Management. 2008;44(1):181-211.
Users can change their web search tactics: Design guidelines for categorized overviews. Information Processing & Management. 2008;44(2):463-484.
Using a distributed quadtree index in peer-to-peer networks. The VLDB Journal. 2007;16(2):165-178.
Using a pilot study to derive a GUI model for automated testing. ACM Transactions on Software Engineering and Methodology (TOSEM). 2008;18(2):7:1-7:35-7:1-7:35.
Using Categorical Information in Multidimensional Data Sets: Interactive Partition and Cluster Comparison. Institute for Systems Research Technical Reports. 2005.
Using classifier cascades for scalable e-mail classification. Collaboration, Electronic Messaging, Anti-Abuse and Spam Conference, ACM International Conference Proceedings Series. 2011.
Using content-derived names for configuration management. ACM SIGSOFT Software Engineering Notes. 1997;22(3):104-109.
Using differential technlques to efficiently support transaction time. The VLDB JournalVLDB Journal. 1993;2(1):75-111.
Using distributed partial memories to improve self-organizing collective movements. Systems, Man, and Cybernetics, Part B: Cybernetics, IEEE Transactions on. 2004;34(4):1697-1707.
Using formal specifications to support testing. ACM Computing Surveys. 2009;41:1-76.
Using friendship ties and family circles for link prediction. Advances in Social Network Mining and Analysis. 2010:97-113.
Using Graphics Processors for High-Performance Computation and Visualization of Plasma Turbulence. Computing in Science Engineering. 2009;11(2):52-59.
Using Hilbert curve in image storing and retrieving. Information Systems. 2002;27(8):523-536.
Using independent auditors as intrusion detection systems. Information and Communications Security. 2002:291-302.
Using information content to evaluate semantic similarity in a taxonomy. Arxiv preprint cmp-lg/9511007. 1995.
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. 2001;52(4):331-343.