Truth through scientific discipline
 |
 |
 |
 |
 |
 |
Projects
Future Projects
Intelligent system thermodynamics
Apply the techniques used to develop the model of information system thermodynamics to describe the nature of intelligent systems
Autonomous system operating system
Apply the techniques used to develop the model of intelligent system thermodynamics to design a scalable operating system for autonomous systems
Human information processing thermodynamics
Apply the model of intelligent system thermodynamics to interpret the data from past and current brain mapping projects to build a model of human information system thermodynamics
Simulation law
Apply the reproducible accreditation techniques to define the limits of legal liability for model and simulation products and services
Human mind transfer
Apply the mechanics of human information processing thermodynamics to interpret data from current brain process instrumentation to develop an executable approximation of a specific human mind from observations of the brain activity that creates that mind
Clients for Our Past Projects
Current Projects
Source code quality measurement
This project has developed a technique for reproducibly measuring the quality of source code and the programming practices that have produced that code. The technique has been applied to source code samples in C, C++, Java and PL/SQL. A mean anomaly density of 0.338 anomalies / SLOC has been observed in > 38 reviews of > 54K SLOC of source code.
Reproducible accreditation
This project has developed a technique for repeatably deriving simulation accreditation recommendations from the available accreditation evidence. This technique integrates claims-arguments-evidence argumentation with uncertainty quantification to produce recommendations that include estimates of the aggregate uncertainties in the simulation predictions and the uncertainties associated with the recommendations themselves. This technique has been recently demonstrated on the accreditation of two complex simulations and several lessons were learned from these demonstrations. Most importantly, strong accreditation recommendations cannot be easily modified to respond to reviewer comments without changing the accreditation evidence, the arguments upon which the recommendation depend, or the statement of intended use. This fact may limit the adoption of this technique.
Information system thermodynamics
This project is applying techniques from discrete mathematics to construct a model that can predict the behavior of any kind of information system. A preliminary model has been developed that identifies a set of observable macroscopic properties of information systems and a set of relationships between those properties. Work is ongoing to increase model fidelity and extend it to the description of intelligent systems.