U.T.Dallas Computer Science Program

Klaus Truemper

Professor Emeritus of Computer Science

   E-mail: truemper@utdallas.edu
   Office: (972) 883-2712

Recent News/Papers/Talks:

  1. Mathematics: Discovered or Constructed? , invited presentation given at the Aussois Combinatorial Optimization Workshop, Aussois, France, January 2013. The file includes verbal comments of the presentation.

  2. Implementation of a Unimodularity Test , by M. Walter and K. Truemper. To be published by Springer, Mathematical Programming Computation, volume 5, number 1, pp. 57-73, 2013.

  3. Dimension Reduction of Chemical Process Simulation Data , by G. Janiga and K. Truemper.

  4. Multivariate Classification of Children with Speech Delay of Unknown Origin , by J. Vick, C. A. Moore, T. Campbell, L. Shriberg, J. Green, and K. Truemper, Presentation at American Speech-Language Hearing Association Convention (ASHA) 2009. Describes example application of Subgroup Discovery module of Leibniz System.

  5. The Needles-In-Haystack-Problem , by K. Moreland and K. Truemper; a summarizing version appears in Proceedings of International Conference on Machine Learning and Data Mining (MLDM), 2009.

  6. Discretization of Target Attributes for Subgroup Discovery , by K. Moreland and K. Truemper, Proceedings of International Conference on Machine Learning and Data Mining (MLDM), 2009.

  7. Improved Comprehensibility and Reliability of Explanations via Restricted Halfspace Discretization , by K. Truemper, Proceedings of International Conference on Machine Learning and Data Mining (MLDM), 2009.

  8. An Alternative Representation for QBF , by A. Remshagen and K. Truemper, Proceedings of International Conference on Artificial Intelligence (ICAI), 2009.

  9. Construction of Deterministic, Consistent, and Stable Explanations from Numerical Data and Prior Domain Knowledge , by K. Riehl and K. Truemper.

Available Software/Books:

  1. Free installation, for noncommercial as well as commercial use, of Unimodularity Library for deciding unimodularity, strong unimodularity, and total unimodularity of integer matrices. The program is supplied in source code form and can be installed on any computer with C++ compiler.

  2. The basic version of the Leibniz System software in source code, is available free of charge to any purchaser of the book Design of Logic-based Intelligent Systems . The expanded version of the Leibniz System is available by license from the UTD Office of Technology Commercialization . The Leibniz System can be installed on any computer with C compiler.

  3. Free installation, for noncommercial as well as commercial use, of Laempel System for checking of spelling and syntax of English texts. The system is supplied in source code form and can be installed on any computer with C compiler.

  4. Free of charge copying of book Matroid Decomposition (Revised Edition) . Also available from The Electronic Library of Mathematics .

  5. Free of charge copying of book Effective Logic Computation (Revised Edition) .

Available Optimization Software of Other Sites:

  1. Free installation, for noncommercial use, of Soplex Linear Programming System of Zuse Institute Berlin, Germany.

Research Projects

  1. Treatment for severe dysarthria in children: identifying target consonant movements for use with animated 3D visual biofeedback software. Work with J. C. Vick, Case Western Reserve University.

  2. Modeling of biological processes, solution of engineering optimization problems. Work with R. Weismantel and D. Thevenin, University Magdeburg.

  3. Obtaining explanations from numerical data, including cases of very small data sets with very long records such as DNA-microarrays. Work with PhD students K. Moreland and K. Riehl.

  4. Chronic injury diagnosis and treatment. With D. A. McClellan and F. Edmiston, Brazos Family Medicine Residency.

  5. Quantified SAT and MINSAT: Techniques for solving logic problems at the second and higher levels of the polynomial hierarchy. With A. Remshagen, University of West Georgia.

  6. Learning in combinatorial optimization algorithms. With G. Felici of IASI-CNR "Antonio Ruberti", Rome, and F. Liers of University of Cologne.

  7. Decentralized traffic control system TraVerS: At each intersection, a logic program for control of traffic lights. With G. Felici and G. Rinaldi of IASI-CNR "Antonio Ruberti", Rome, A. Sforza (U. of Naples), and researchers of Fiat Elasis Institute (Naples).

Software Systems

  1. Leibniz System . Supports logic computation and data mining for the construction of intelligent systems. Work started in 1987. Current version 14.0.

  2. FasTrac: For design and simulation of decentralized traffic control systems. Joint work with G. Felici and G. Rinaldi, CNR-IASI, Rome, Italy, 1991-1996.

  3. Laempel System: For finding and correcting spelling, syntactic, and semantic errors in English text. Joint work with Y. Zhao, Ph.D. student, graduated 1996, and H. Al-Mubaid, Ph.D. student, graduated 2000. Current version 7.0.

  4. Kritzel: For handwriting interpretation. Joint work with G. Qian, Ph.D. student, graduated 1997.

  5. OCHEM: (Optimal Cost Hazard Exposure Management): For optimal exposure management of hazardous materials. Joint work with J. Straach, Ph.D. student, graduated 1998.

  6. Lsquare System: For learning logic and data mining. Joint work with G. Felici, CNR-IASI, Rome, Italy, and with Ph.D. student F.-S. Sun, graduated 1998.

Books

  1. Design of Logic-based Intelligent Systems , Wiley, 2004. An errata file is kept current.

  2. Effective Logic Computation , Wiley, New York, 1998; Revised Edition , Leibniz, Plano, Texas, 2010. The publisher of the revised edition has granted permission to individuals to print, without charge, single copies of the book for personal use. Addenda and Errata for original edition. The methodology is used in the Leibniz System.

  3. Matroid Decomposition , Academic Press, Boston, 1992; revised edition Leibniz, Plano, Texas, 1998. The publisher of the revised edition has granted permission to individuals to print, without charge, single copies of the book for personal use.

Airplane Improvements: The Zenith 601HDS

    We have developed and implemented several design changes for the Zenith 601 HDS airplane. For details, go to Design Improvements .

Flying

    The blog Passion for Flight describes flying trips.

    The blog Points for Pilots contains posts about safe low-level flying.

    Weather Abbreviations is a handy list for interpretation of weather information of AIR/SIGMETS and NOTAMS.