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.

Details

Title
Verifying an algorithm for defining biological entities for use in a Boolean Network
Author
Pedersen, Jay
Year
2009
Publisher
ProQuest Dissertations & Theses
ISBN
978-1-109-51282-3
Source type
Dissertation or Thesis
Language of publication
English
ProQuest document ID
305140235
Copyright
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.