U.T.Dallas Computer Science Program

Klaus Truemper

Professor Emeritus of Computer Science

   E-mail: klaus .at. utdallas .dot. edu
   Office: (972) 883-2712

Klaus Truemper is Professor Emeritus of Computer Science. His research has focused on problems in mathematics and computer science, but now also concerns brain science, history, and questions of philosophy. Find out more.

Books


   

Subconscious Blunders: A 21st-Century Epidemic

Download the introductory part of the book.



   

Artificial Intelligence: Why AI Projects Succeed or Fail

Download the introductory part of the book.



   

Wittgenstein and Brain Science: Understanding the World

Download the introductory part of the book.



   

Magic, Error, and Terror: How Models in Our Brain Succeed and Fail

Download the introductory part of the book.



   

The Daring Invention of Logarithm Tables: How Jost Bürgi, John Napier, and Henry Briggs Simplified Arithmetic and Started the Computing Revolution

Download the introductory part of the book.

Deutsche Ausgabe des Buches:

   

Die wagemutige Erfindung der Logarithmentafeln: Wie Jost Bürgi, John Napier, und Henry Briggs das Rechnen revolutionierten

Laden Sie den einleitenden Teil des Buches herunter.



   

The Construction of Mathematics: The Human Mind's Greatest Achievement

Download the introductory part of the book.



   

Matroid Decomposition (Revised Edition)

Download the introductory part of the book.



   

Effective Logic Computation (Revised Edition)

Download the introductory part of the book.




Design of Logic-based Intelligent Systems

Copyright restrictions prevent inclusion of the introductory part of the book. Errata.

Edited Books


   

Berlin 1945: Surviving the Collapse

Author F. Hülster, editor and translator K. Truemper

Download the introductory part of the book.



   

Introduction to Wittgenstein's Tractatus Logico-Philosophicus

Author F. Hülster, translator W. E. O'Hea, editors I. Truemper and K. Truemper

Download the introductory part of the book.

Deutsche Ausgabe des Buches:


Einführung in Wittgensteins Tractatus Logico-Philosophicus

Autor F. Hülster, Herausgeber K. Truemper

Laden Sie den einleitenden Teil des Buches herunter.


Leibniz System Software and References

The entire Leibniz System software is available in source code form and free of charge under the GNU Lesser General Public License (LGPL).

Subgroup Discovery Method SUBARP , by K. Truemper, 2015.

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

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.

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.

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.

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.

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

A Solver for Quantified Formula Problem Q-ALL SAT , by A. Remshagen and K. Truemper, 2008.

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

Design of Logic-based Intelligent Systems, 2004. Errata .

Other Software

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.

Free installation, for noncommercial as well as commercial use, of the 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.

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

My blogs Passion for Flight and Points for Pilots describe flying trips and contain posts about safe low-level flying and maintenance of small aircraft.

Solutions for a Variety of Problems

My blog A Few Creative Solutions provides answers for various problems where the Internet or, more generally, the market place didn't offer good or reasonably priced solutions.

Professional Website

My professional website contains details about the books I have written or edited in mathematics, computer science, brain science, history, and philosophy. The website is also used for rapid distribution of news and posts.