Content area
Abstract
Modern Biology includes the study of cellular systems; including gene regulatory networks and signal transduction networks. These are seen as a dynamical system with emergent properties created by the interaction of the parts of the cells. These systems may be studied with continuous models or with discrete models.
This thesis discusses both models, and then expands on the discrete model. It focuses on a Boolean Network model used by researchers at UNO, particularly on a tool used to generate logic-based definitions for biologic entities like proteins. This tool is known as the Interview Truth Table Generator, also known by the acronym ITTG.
ITTG's algorithm is documented and is proven robust, able to model any possible logic-based protein definition. ITTG is also shown to generate correct Truth Table definitions for protein definitions entered using biological terminology.