Publications

Ward NL, Challacombe JF, Janssen PH, Henrissat B, Coutinho PM, Wu M, Xie G, Haft DH, Sait M, Badger J et al.. 2009. Three genomes from the phylum Acidobacteria provide insight into the lifestyles of these microorganisms in soils.. Appl Environ Microbiol. 75(7):2046-56.

Seydou F, Duraiswami R, Seppanen T. 2003. Three dimensional acoustic scattering from an M multilayered domain via an integral equation approach. Antennas and Propagation Society International Symposium, 2003. IEEE. 1:669-672vol.1-669-672vol.1.

Abd-Almageed W, Blace RE, Eltoweissy M. 2011. Threat-Aware Clustering in Wireless Sensor Networks. IFIP Advances in Information and Communication Technology (AICT). 264(264):1-12.

Zelkowitz MV. 1975. Third generation compiler design. Proceedings of the 1975 annual conference. :253-258.

Nirkhe M, Kraus S, Perlis D. 1995. Thinking takes time: a modal active-logic for reasoning in time. Proc. of BISFAI-95.

Vishkin U. 2007. Thinking in parallel: Some basic data-parallel algorithms and techniques. UMIACS, University of Maryland, College Park. 1993

Perlis D. 1990. Thing and Thought. Knowledge Representation and Defeasible Reasoning. Kluwer.

Piatetsky-Shapiro G, Grossman R, Djeraba C, Feldman R, Getoor L, Zaki M. 2006. Is there a grand challenge or X-prize for data mining? Proceedings of the 12th ACM SIGKDD international conference on Knowledge discovery and data mining. :954-956.

Lathan C, Vice J M, Tracey M, Plaisant C, Druin A, Edward K, Montemayor J. 2001. Therapeutic play with a storytelling robot. CHI '01 extended abstracts on Human factors in computing systems. :27-28.

Swamy N, Hicks MW, Bierman GM. 2009. A theory of typed coercions and its applications. Proceedings of the 14th ACM SIGPLAN international conference on Functional programming. :329-340.

Foster JS, Fähndrich M, Aiken A. 1999. A theory of type qualifiers. ACM SIGPLAN Notices. 34:192-203.

Stewart G.W. 1995. Theory of the Combination of Observations Least Subject to Errors. SIAM, Philadelphia.[Translation of Gauss (1821, 1823, 1826).].

Cleaveland R, Zwarico AE. 1991. A theory of testing for real-time. , Proceedings of Sixth Annual IEEE Symposium on Logic in Computer Science, 1991. LICS '91. :110-119.

Bernardo M, Cleaveland R. 1999. A Theory of Efficiency for Markovian Processes. University of Bologna.

Rivlin E, Doermann D, Rosenfeld A. 1996. A Theory of Document Functionality. Proceedings in FLAIRS. :429-433.

Perlis D. 2006. Theory and Application of Self-Reference: Logic and Beyond. Self-reference. 178:121-121.

Shneiderman B. 2003. Theories for Understanding Information Visualization. The craft of information visualization: readings and reflections. :349-349.

Guha ML, Druin A, Montemayor J, Chipman G, Farber A. 2007. A theoretical model of children's storytelling using physically-oriented technologies (SPOT). Journal of Educational Multimedia and Hypermedia. 16(4):389-389.

Reggia JA, Nau DS, Peng Y, Perricone B. 1985. A theoretical foundation for abductive expert systems.

Dix J, Munoz-Avila H, Nau DS, Zhang L. 2002. Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. Logics in Artificial Intelligence. 2424:173-185.

Dorr BJ, Habash N, Traum D. 1998. A Thematic Hierarchy for Efficient Generation from Lexical-Conceptual Structure. Machine Translation and the Information SoupMachine Translation and the Information Soup. 1529:333-343.

Losiewicz P, Oard D, Kostoff RN. 2000. Textual data mining to support science and technology management. Journal of Intelligent Information Systems. 15(2):99-119.

Li H, Doermann D. 2002. Text Quality Estimation in Digital Video. SPIE Conf. on Document Recognition and Information Retrieval. :232-243.

Card SK, Mackinlay JD, Shneiderman B. 1999. Text in 3D+ time. Readings in information visualizationReadings in information visualization. :451-451.

Card SK, Mackinlay JD, Shneiderman B. 1999. Text in 3D. Readings in information visualizationReadings in information visualization. :440-441.

Pages

Publications