2 bibliograph · 2019. 4. 4. · 2 bibliograph y represen tation that uses no de and edges...

45

Upload: others

Post on 21-Feb-2021

0 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Math 4/5779: Mathematics Clinic

Pathway Inference: Computational Issues

Supplement: Bibliography

Taught by Harvey J. Greenberg

Assisted by Raphael Bar-Or, Lance Lana, Cary Miller, Tod

Morrison and Christiaan van Woudenberg

Sponsored by

DMI BioSciences, Genomica and Tech-X

Spring Semester 2002

May 23, 2002

This supplement contains the complete bibliography, most of which werecompiled before the semester began. Student annotations have been leftseparate, rather than merged. Unsigned annotations are by Harvey J. Green-berg, most of which were done early to serve as examples.

Page 2: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 1

Bibliography

[1] T. Akutsu, S. Miyano, and S. Kuhara. Identi�cation of genetic net-works from a small number of gene expression patterns under theboolean network model. In R.B. Altman, A.K. Dunker, L. Hunter,and T.E. Klein, editors, Proceedings of the Paci�c Symposium on Bio-

computing (PSB), volume 4, pages 17�28, http://www-smi.stanford.edu/projects/helix/psb01/, 1999. World Wide Web.

The boolean network model infers genetic network ar-chitectures from state transition tables, which corre-spond to time series of gene expression patterns. Thisarticle reports the results of computational experi-ments, suggest that a small number of stage transition(INPUT/OUTPUT) pairs are su�cient in order to infer theoriginal Boolean network correctly. It goes on to discuss thepractical usefulness of this model.� Dung T. Ngyuen

This paper proposes an algorithm for inferring genetic net-work architectures from state transition tables which corre-spond to time series of gene expression patterns, using theBoolean network model. It is argued that if the indegree ofeach node is bounded by a constant, only O(log n) state tran-sition pairs are necessary and su�cient to identify, with highprobability, the original Boolean network of n nodes cor-rectly. The paper describes the computational experimentsexecuted in order to expose the constant factor involved inO(log n) notation. The computational results are used toshow that a Boolean network of size 100,000 can be identi-�ed by their algorithm from about 100 INPUT/OUTPUTpairs if the maximum indegree is bounded by 2. The paperclaims that the algorithm is conceptually so simple that it isextensible for more realistic network models.� Adolfo Perez-Duran

[2] M. Arita. Metabolic reconstruction using shortest paths. Simulation

Practice and Theory, 8:109�125, 2000.

This explains bottom-up fashion of biological models toreconstruct. It considers all possible consequences fromobserved laboratory data to check their validation. TheAMR(automated metabolic reconstruction) is a simulationsystem for the metabolic reconstruction. The graph-oriented

Page 3: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

2 Bibliography

representation that uses node and edges expresses atomsand enzymatic mappings, so it considers atomic level, notcompound level. The shortest path algorithm e�cientlysearches possible pathways. AMR system generates hypo-thetical metabolic pathways from compound structures andreaction formulas.� Min Hong

[3] M. Ashburner, C.A. Ball, J.A. Blake, D. Botstein, H. Butler, J.M.Cherry, A.P. Davis, K. Dolinski, S.S. Dwight, J.T. Eppig, M.A. Har-ris, D.P. Hill, L. Issel-Tarver, A. Kasarskis, S. Lewis, J.C. Matese, J.E.Richardson, M. Ringwald, G.M. Rubin, and G. Sherlock. Gene ontol-ogy: Tool for the uni�cation of biology. Nature Genetics, 25:25�29,2000.

This paper describes the e�orts of the Gene OntologyConsortium to construct a universal ontology. The authorspoint out the strengths of their ontology, one of which isits independency from any type of organism. A controlledlanguage to describe processes, cellular components andmolecular functions is provided and discussed in this paper.The general high acceptance of the concepts and axiomesused to build this ontology already make it the most widelyused controlled language in molecular biology.� Jens Eberlein

The authors propose a unifying vocabulary for variousaspects of eukaryote biology. They create three distincthierarchies: biological process, molecular function andcellular component. A biological process uses molecularfunctions to transform something. A molecular function isthe biochemical activity of a gene product. The cellularcomponent refers to the area where the gene product isactive. While one could imagine there is a single geneproduct unifying entries in each hierarchy, a gene productmight actually have multiple assignments. It might beinvolved in various biological processes, perform severalmolecular functions and do so at di�erent parts of the cell.� Aaron Gabow

[4] A.R. Asthagiri and D.A. Lau�enburger. A computational study of feed-back e�ects on signal dynamics in a mitogen-activated portein kinase(mapk) pathway model. Biotechnology Progress, 17:227�239, 2001.

Page 4: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 3

[5] G. Bader and C. Hogue. BIND: A data speci�cation for storing and de-scribing biomolecular interactions, molecular complexes and pathways.Bioinformatics, 16(5):465�477, 2000.

The Biomolecular Interaction Network Database (BIND) isa standard data speci�cation that stores information in allits detail and allows e�cient cross-platform transfer of datausing the internationally standard ASN. Syntax is the keypoint in this paper. There are three main types of data ob-jects in the BIND speci�cation: interactions, molecular com-plex and pathway. It also contains useful database manage-ment and data exchange objects. A BIND interaction recordis based on the interaction between two objects, such as pro-tein, DNA, RNA, ligand, molecular complex or an interac-tion. An interaction is described by cellular location, experi-mental conditions used to observe the interaction, conservedsequence, molecular location, chemical action, kinetics, ther-modynamics, and chemical state. An interaction contains anNCBI date object, a sequence of updates for an audit trail,an interaction identi�er (IID) accession number, two inter-acting molecules (BIND-objects), a description of the inter-action, a series of publications and a private �ag. The BINDID number space is controlled using a unique key server.� Xuan Le

[6] G.D. Bader, I. Donaldson, C. Wolting, B.F.F. Ouellette, and T. Paw-son. BIND � the biomolecular interaction network database. NucleicAcids Research, 29(1):242�245, 2001.

[7] J.E. Bailey. Mathematical modeling and analysis in biochemical engi-neering: Past accomplishments and future opportunities. Biotechnol-ogy Progress, 14:8�20, 1998.

[8] P.G. Baker, C.A. Goble, S. Bechhofer, N.W. Paton, R. Stevens, andA. Brass. An ontology for bioinformatics applications. Bioinformatics,15(6):510�520, 1999.

The authors give an overview of the ontology for the Trans-parent Access to Multiple Biological Information Sources

Page 5: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

4 Bibliography

(TAMBIS). In particular, they claim that an ontology isneeded that re�ects the view of the data. Furthermore, theyclaim that Description Logics (DLs), which are a form of insilico knowledge representation, have the �exibility, consis-tency, and other necessary properties to construct a bioin-formatic ontology that can be used to make inferences. Theauthors compare DLs to frame representations, as used inthe EcoCyc database. They claim that one way in which DLshave an advantage is that not only do they have a mecha-nism for capturing declarative knowledge, but DLs also havea built-in classi�er that allows for reasoning. In a frame rep-resentation the hierarchy of concepts is static and built inby the modeler. In a DL representation a concept is insertedinto the hierarchy by the classi�er and may be reclassi�edwhen new information is given about the concept. Addition-ally, a concept may have more than one parent in a DL, asopposed to just one, giving the DL greater �exibility. Thisis important because often times in biology one concept canbe viewed in many di�erent ways. The TAMBIS ontologywas written in the GRAIL language, and this paper givesa very through description how GRAIL enables the TAM-BIS ontology to work through the use of assertions, opera-tions, reasoning services, and sanctions. The authors men-tion that currently the TAMBIS ontology has more breadththan depth and they discuss the known limitations of DLsand of GRAIL in particular. The primary aim of TAMBIS isto develop a system �exible enough to perform some of thetasks of a domain expert.� Tessa F. Weinstein

[9] M.Y. Becker and I. Rojas. A graph layout algorithm for drawingmetabolic pathways. Bioinformatics, 17(5):461�467, 2001.

In this article, the authors present a dynamically generatedgraph layout algorithm that is designed to handle cyclic, par-tially cyclic, linear, and branched metabolic pathways. Theauthors propose an algorithm that speci�cally deals with themain nodes of complex pathways without graphing the sidereactions. By using a recursive algorithm, the graph repre-senting the metabolic pathway to be displayed is partitionedinto subgraphs, which have simple display methods. The au-thors also describe the use of a spring embedding algorithmto position the primary parts of the graph relative to one

Page 6: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 5

another. While the algorithm was only tested on �ve path-ways the results were promising.Lance Lana et al.

[10] BioCarta pathways database and software. World Wide Web, http://www.biocarta.com/genes/.

[11] J.M. Bower and H. Bolouri, editors. Computational Modeling of Ge-

netic and Biochemical Networks. MIT Press, Cambridge, MA, 2001.

This collection of articles is very diverse. The �rst, �Mod-eling the Activity of Single Genes,� by M.A. Gibson andE. Mjolsness, is a particularly insightful introduction. Top-ics include boolean networks, ODE models and stochasticmodels. Hybrid systems are discussed, along with relativemerits of each approach, giving examples where each is pre-ferred. The chapter on model reduction techniques [26] stepsthe reader through carefully examined examples, pointingout both good and bad points. Other chapters bear furtherstudy, as they deal with di�erent aspects of modeling geneticand biochemical networks.� Cary Miller [HG, ed.]

[12] Cell signaling networks database (CSN). World Wide Web, http://geo.nihs.go.jp/csndb/.

This is not only a database, but also a knowledgebase for sig-naling pathways of human cells. It compiles the informationon biological molecules, sequences, structures, functions andbiological reactions that transfer the cellular signals. Thesource of the data is from articles in Nature, Science andNature Cell Biology.

[13] C. Chassagnole, D.A. Fell, B. Raïs, B. Kudla, and J.-P. Maza. Controlof the threonine synthesis pathway in Escherichia coli : a theoreticaland experimental approach. Biochemistry Journal, 356:433�444, 2001.Note: available at http://bms-mudshark.brookes.ac.uk/publicat.html.

[14] C. Chassagnole, B. Raïs, E. Quentin, D.A. Fell, and J.-P. Maza. Anintegrated study of threonine-pathway enzyme kinetics in Escherichia

coli. Biochemistry Journal, 356:415�423, 2001. Note: available athttp://bms-mudshark.brookes.ac.uk/publicat.html.

Page 7: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

6 Bibliography

[15] M.W. Covert, C.H. Schilling, and B. 6Ø. Palsson. Regulation of geneexpression in �ux balance models of metabolism. Journal of TheoreticalBiology, 213:73�88, 2001.

[16] F.W. Cummings. A model of pattern formation based on signalingpathways. Journal of Theoretical Biology, 207:107�116, 2000.

A model of pattern formation in the early embryo is pre-sented that depends on the family of Wnt kinase and RPTPphosphatase signaling pathways. The question asked is howsuch signaling molecules, consisting of kinases and phatases,are able to make complex patterns. This process is mod-eled as a system of PDEs, which includes a combinationof the Laplacian and nonlinear Helmholtz equations. TheLaplacian operator on a curved epithelial surface is calledthe Beltrami operator. Numerical results are given for the 1-D case, that analyze which regions set apart the binary geneselection of a particular pattern. A discussion highlights sim-ilarities between physical and biological processes and howthese famous equations apply to both.� Rico Argentati

[17] E. Davidson. Genomic Regulatory Systems: Development and Evolu-

tion. Academic Press, Reading, MA, 2001.

This book takes the theory of genetic regulation developedover the past 50 years and reduces it to its most basic essence.When this is done the problem begins to resemble circuitdesign or reverse engineering of circuits. The basic idea isthat a gene is controlled by cis and trans regulatory ele-ments, with the former being binding binding sites or otherDNA elements and the latter being transcription factors.The expression of a gene is determined by the combinationregulatory elements acting on it and their orientation withrespect to one another. The two running examples through-out the book are embryonic development in Drosophila andsea urchin. These two genera represent hugely divergent evo-lutionary cousins and so if the same things happen in boththat is a good indication that the same probably happens inall multi-cellular creatures. These two model systems have

Page 8: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 7

been used to uncover universal principles of animal develop-ment.� Cary Miller

[18] P. D'haeseleer. Reconstructing Gene Networks from Large Scale Gene

Expression Data. PhD thesis, University of New Mexico, Albuquerque,NM, 2000.

[19] P. D'haeseleer, S. Liang, and R. Somogy. Tutorial: Gene expres-sion data analysis and modeling. In R.B. Altman, A.K. Dunker,L. Hunter, and T.E. Klein, editors, Proceedings of the Paci�c Sym-

posium on Biocomputing (PSB), volume 4, http://psb.stanford.edu/psb99/genetutorial.pdf, 1999. World Wide Web.

This is a succinct introduction to the entitled topics. thecolor �gures are very helpful in giving insight into gene ex-pression data and the associated issues with the high dimen-sionality.

[20] P. D'haeseleer, S. Liang, and R. Somogyi. Genetic network inference:from co-expression clustering to reverse engineering. Bioinformatics,16(8):707�726, 2000.

This paper focuses on generating models that allow them tosystematically derive predictions about important biologi-cal processes in disease, development and metabolic control.They use clustering of co-expression pro�les, which allowthem to infer shared regulatory inputs and functional path-ways. The reverse engineering has the goal of identifying thecausal relationships among gene products that determine im-portant phenotypic parameters. Using the network inference,the goal of this project is to construct a coarse-scale modelof the network of regulatory interactions among the genes.� Xuan Le

[21] J.S. Edwards and B. 6Ø. Palsson. Systems properties of the Haemophilusin�uenzae Rd metabolic genotype. The Journal of Biological Chem-

istry, 274(25):17410�17416, 1999.

[22] J.S. Edwards and B. 6Ø. Palsson. Robustness analysis of the tex-titEscherichia coli metabolic network. Biotechnology Progress, 16:927�939, 2000.

Page 9: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

8 Bibliography

[23] L.B.M. Ellis, S.M. Speedie, and R. McLeish. Representing metabolicpathway information: an object-oriented approach. Bioinformatics,14(9):803�806, 1998.

In this article the authors describe the development ofthe Compound, Organism, Reaction and Enzyme (CORE)database management system. CORE was programmed inJava and intended to encapsulate and serve the informationin the University of Minnesota Biocatalysis/BiodegradationDatabase (UM-BBD). The UM-BBD contains pathway in-formation concerning the biodegradation of compounds. Thearticle details the development of CORE, the hardware andsoftware used to build and access CORE, and the algorithmsused. The authors claim that the primary way in which thisdatabase di�ers from other web based metabolic databasesin that it contains dynamic search links to other relevantinformation. This di�erence becomes evident when we �ndthat CORE produces textual pathway maps, where the textin the pathway provides a link to more information aboutthe topic selected. The system's greatest strength is its �ex-ibility and the ease with which it can be updated to includeother information.� Tessa F. Weinstein

[24] A. Enright and C. Ouzunis. BioLayout � an automatic graph layoutfor similarity visualization. Bioinformatics, 17(9):853�854, 2001.

The authors present a force-based graph layout algorithmsolved with simulated annealing. They employ this ratherstandard algorithm to visualize protein families. Nodes rep-resent proteins and repel each other. However, proteins thathave sequence similarities have an edge between them thatexerts an attractive force. After about 50 iterations of thealgorithm, similar proteins end up clustered together. Theyalso implement a 3-dimensional version that uses OpenGL.However, it appears this version lacks labeling facilities

[25] ENZYME database. World Wide Web, http://expasy.ch/enzyme/.

This is a repository of enzyme nomenclature, based uponthe recommendations of the Nomenclature Committee of theInternational Union of Biochemistry and Molecular Biology(IUBMB). It describes each type of characterized enzyme for

Page 10: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 9

which an Enzyme Commission number has been provided.The site contains a User Manual and other services.

[26] B. Ermentrout. Simplifying and reducing complex models. In J.M.Bower and H. Bolouri, editors, Computational Modeling of Genetic

and Biochemical Networks, pages 307�322, Cambridge, MA, 2001. MITPress.

[27] D.A. Fell. Systems properties of metabolic networks. In Y. Bar-Yam,editor, Proceedings of the International Conference on Complex Sys-

tems, pages 21�26, 1997. Note: available at http://bms-mudshark.brookes.ac.uk/publicat.html.

[28] D.A. Fell. Signal transduction and the control of expression of enzymeactivity. Adv. Enzyme Reg. XXX must �nd full name, 40:35�46, 2000.

[29] D.A. Fell, C. Chassagnole, and J-P. Mazat. Building a computer simu-lation of threonine synthesis in Escherichia coli . In T-M. Yi, M. Hucka,M. Morohashi, and H. Kitanno, editors, Proceedings of the Second In-

ternational Conference of Systems Biology, http://www.icsb2001.org/toc.html, 2001. World Wide Web.

[30] D.A. Fell and A. Wagner. Structural properties of metabolic networks:implications for evolution and modelling of metabolism. In J.-H. S.Hofmeyr, J.M. Rohwer, and J.L. Snoep, editors, Animating the cellularmap, pages 79�85. Stellenbosch University Press, 2000. Note: availableat http://bms-mudshark.brookes.ac.uk/publicat.html.

[31] A.E.N. Ferreira. PLAS, Version 1.2. with Voit [112] and at http://correio.cc.fc.ul.pt/�aenf/plas.html, 2000.

[32] A. Finney, V. Gor, B. Bornstein, E. Mjolsness, and H. Bolouri. Systemsbiology markup language (SBML) level 2 proposal: Array features.Technical report, California Institute of Technology, http://www.cdb.caltech.edu/erato/, 2002.

Page 11: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

10 Bibliography

[33] A. Finney, V. Gor, B. Bornstein, E. Mjolsness, and H. Bolouri. Systemsbiology markup language (SBML) level 2 proposal: Miscellaneoousfeatures. Technical report, California Institute of Technology, http://www.cdb.caltech.edu/erato/, 2002.

[34] C.V. Forst and K. Schulten. Evolution of metabolisms: A new methodfor comparison of metabolic pathways. In RECOMB Proceedings, pages174�181, New York, NY, 1999. ACM.

This introduces a new method based on a combination ofsequence information with graph topology for comparison ofmetabolic pathways. The approach uses phylogenetic anal-ysis to �nd relationships of di�erent organisms. The rela-tionship between individual biopolymers is measured by dis-tances between substrates and enzymes. In particular, theyapply the distance of the di�erence between ortholog andparalog and gap penalty technique for missing functionalroles.� Min Hong

[35] J.J. Fox and C.C. Hill. From topology to dynamics in biochemicalnetworks. IGERT program in nonlinear systems, Cornell University,Ithaca, NY, 2001.

[36] C. Friedman, P. Kra, H. Yu, M. Krauthammer, and A. Rzhetsky.GENIES: a natural-language processing system for the extraction ofmolecular pathways from journal articles. Bioinformatics, 17(Supple-ment 1):S74�S82, 2001.

GeneWays is a program that has the ability mine data frombiological literature. The program enacts a literature searchassociated with a given interest. The program uses gram-mar as the procedure for data collection. In this manner,GENIES semantically searches and stores interactions andrelationships between biological molecules.� Ben Perrone

GENIES is a natural-language processing system that hasbeen highly successful in specialized domains. The GENIEsystem extracts and structures information about cellular

Page 12: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 11

pathways from the biological literature in accordance witha knowledge model that developed earlier. A modi�cationof GENIE by implementing an existing medical natural lan-guage processing system is a powerful tool of molecular bi-ology and medical �eld today. Both of these techniques ac-quired valuable data from biological journals.� Dung T. Ngyuen

[37] S. Fuhrman, P. D'haeseleer, and R. Somogyi. Tracing genetic informa-tion �ow from gene expression to pathways and molecular networks.In D. H. Geschwind, editor, DNA Microarrays: The New Frontier in

Gene Discovery and Gene Expression Analysis, Short Course Syllabus,pages 57�66, Washington, DC, 1999. Society for Neuroscience, Societyfor Neuroscience.

[38] M.A. Gibson and E. Mjolsness. Modeling the activity of single genes.In J.M. Bower and H. Bolouri, editors, Computational Modeling of

Genetic and Biochemical Networks, pages 1�48, Cambridge, MA, 2001.MIT Press.

This is a thorough and clear introduction to what genes areand how they function. It is not light reading, but it is es-pecially useful in beginning to gain a non-super�cial under-standing of the underlying biology and biochemistry of suchpathway inference issues as cell signaling.

[39] P.M. Gleiss, P.F. Stadler, A. Wagner, and D.A. Fell. Small cyclesin small worlds. Working paper 00-10-058, The Sante Fe Institute,1399 Hyde Park Road, Sante Fe, NM 87501, 2000. Note: available athttp://www.santafe.edu/s�/publications/00wplist.html.

[40] S. Goto, H. Bono, H. Ogata, W. Fujibuchi, T. Nishioka, K. Sato, andM. Kanehisa. Organizing and computing metabolic pathway data interms of binary relations. In R.B. Altman, A.K. Dunker, L. Hunter,and T.E. Klein, editors, Proceedings of the Paci�c Symposium on Bio-

computing (PSB), volume 2, pages 175�186, http://www-smi.stanford.edu/projects/helix/psb97/, 1997. World Wide Web.

At present, functional prediction of genes and genomesis done by searching similarities of each in the sequencedatabase or the motif libraries and to extend sequence

Page 13: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

12 Bibliography

similarities to functional similarities. The problem is thesequence-function relationships of molecules do not containhigher level information of how components are connected toform a functional unit, such as a metabolic pathway. ProjectKEGG (Kyoto Encyclopedia of Genes and Genomes) triesto computerize current knowledge of the information path-ways of genes and gene products, which may be consideredwiring diagrams of biological systems. The data of interact-ing molecules or genes is represented using the binary rela-tions that correspond to the pair wise interaction. Interac-tions involving more than two components are approximatedby a collection of pair wise interactions. KEGG has two ma-jor purposes, �rst to establish an integrated view of geneproducts, namely how they are interacting. Second, it willprovide a practical tool for making assignments of enzymegenes from genomic sequences. The major feature of KEGGis its link capabilities, both in terms of linking to the existingdatabases and di�erent organisms and in terms of the linkingto compute a pathway from binary relations. By represent-ing each reaction as a collection of binary relations KEGGtries to reproduce the known pathways.� Adolfo Perez

[41] H.J. Greenberg. Mathematical Programming Glossary. World WideWeb, http://www.cudenver.edu/�hgreenbe/glossary/, 1996�2002.

[42] A.J. Hartemink, D.K. Gi�ord, T.S. Jaakkola, and R.A. Young. Us-ing graphical models and genomic expression data to statistically val-idate models of genetic regulatory networks. In R.B. Altman, A.K.Dunker, L. Hunter, and T.E. Klein, editors, Proceedings of the Paci�cSymposium on Biocomputing (PSB), volume 6, pages 422�433, http://www-smi.stanford.edu/projects/helix/psb01/, 2001. World Wide Web.

The authors describe a model-driven approach for the anal-ysis of genomic expression data, which permit genetic regu-latory networks to be represented in an interpretable form.The models are Bayesian networks that contain latent vari-ables capturing unobserved factors, which describe arbitrailycomplex relationships. The graph semantics permit anno-tated edges and score models.� Ben Perrone

Page 14: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 13

[43] J. Hasty, D. McMillen, F. Isaacs, and J. Collins. Computational studiesof gene regulatory networks: In Numero molecular biology. Nature

Reviews Genetics, 2:268�279, 2001.

Most of the gene regulatory schemes proposed o�er qualita-tive information only. If a deep understanding of regulation isto be achieved, we require quantitative modeling techniquesin concert with experiment. This is the basis for the au-thors' argument: an engineering approach is desirable. Thepaper goes on to describe the current state of such e�orts andprovides an extensive bibliography. Much has been achievedin the study of nonlinear dynamics and stochastic process.People are now applying this work to biosystems. Gene cir-cuits are compared to electric circuits. Electric circuits aregoverned by well-understood physical laws and perterbationof such circuits has predictable e�ects. It is not yet clearwhether gene circuits will ultimately be as predictable butnevertheless people are working on it. The understanding ofelectric circuits is based on a thourough knowledge of theindividual components; resistors, capacitors, etc. That levelof detailed knowledge is not there yet for the componentsof gene circuits; transcription factors, promoters, etc. The-oretical models without a connection to experiment are notvery useful. Modelers have sometimes tended to let theirimaginations run wild and made very elegant models thatare untestable or just not useful for describing real biology.Most of the models here have an experimental component.

While it is important to have our models based in reality wewill probably never get a complete understanding of gene cir-cuits through the reverse-engineering approach implied. Nowpeople are experimenting with synthetic gene networks. Sucha network has the distinct advantage that we know exactlywhat went into it. Then we can systematically perturb thenetwork and observe the results. It is hoped that such ex-perimentation will yield insights into the workings of naturalgene circuits.� Cary Miller

[44] J. Heidel, J. Maloney, and C. Farrow. Finding cycles in synchronousboolean networks with applications to biochemical systems. Interna-

tional Journal of Bifurcations and Chaos, 2002 (to appear).

Page 15: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

14 Bibliography

[45] J-H S. Hofmeyr. Metabolic control analysis in a nutshell. In M. Yi,M. Hucka, M. Morohashi, and H. Kitano, editors, Proceedings of the

Second International Symposium on Systems Biology, pages 291�300,Madison, WI, 2001. Omnipress. available at http://www.icsb2001.org/Papers/19_icsb2001_distiller.pdf.

This presents a derivation of some of the important theo-rems of metabolic control analysis. Starting from a generalkinetic model of coupled chemical reactions written a setof nonlinear di�erential equation, the author then consid-ers the special case of the steady-state kinetic model. Usingthe steady-state model, he investigates how the steady-statevariables change with respect to perturbations in one or moreof the parameters. This is accomplished with a detail discus-sion of the di�erentiation of the steady-state equation, whichis then used to derive several basic theorems of metaboliccontrol analysis.� Tod Morrison

[46] M. Hucka, A. Finney, H. Sauro, H. Bolouri, J. Doyle, and H. Kitano.The ERATO systems biology workbench: architectural evolution. InT-M. Yi, M. Hucka, M. Morohashi, and H. Kitanno, editors, Pro-ceedings of the Second International Conference of Systems Biology,http://www.icsb2001.org/toc.html, 2001. World Wide Web.

[47] L. Hunter, editor. Arti�cial Intelligence and Molecular Biology, Cam-bridge, MA, 1993. MIT Press.

This is now available at http://www.aaai.org//Library/Books/Hunter/hunter.html. Chapter 1, by the editor, pro-vides a good introduction to biology for computer scientistsand mathematicians. This is highly recommended for a gen-tle, informative introduction. Other chapters of direct rele-vance are by Karp [51] and Mavrovouniotis [72].

[48] T. Ideker, T. Galitski, and L. Hood. A new approach to decoding life:Systems biology. Annual Reviews of Genomics and Human Genetics,2:343�372, 2001.

[49] T. Ideker, V. Thorsson, J. Ranish, R. Christmas, and J. Buhler. Inte-grated genomic and proteomic analyses of a systematically perturbedmetabolic network. Science, 292:929�934, 2001.

Page 16: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 15

[50] T.E. Ideker, V. Thorsson, and R.M. Karp. Discovery of regulatoryinteractions through perturbation: Inference and experimental design.Technical report, Institute for Systems Biology, Seattle, WA, 2000.

[51] P.D. Karp. A qualitative biochemistry and its application to the reg-ulation of the tryptophan operon. In L.E. Hunter, editor, Arti�cialIntelligence and Molecular Biology, pages 289�324, Cambridge, MA,1993. MIT Press.

This paper discusses the representation and simulation ofbiological information so that it can be used in various sit-uations. This is done through the particular example of abacterial gene regulation system, the tryptophan operon ofE. coli. The possibility of improving simulation programsthat predict the outcome of a gene regulation experimentis explored. The GENISM simulator is held up as a simula-tor that will e�ciently do this. Karp explores its functions,possibilities and limitations. Some results of simulations runthrough GENISM are presented.� Jennifer Phillips

The focus of this chapter is on the issues of representationand simulation of the gene regulation system of the tryto-phan operon of E. coli. The author presents a model, Gen-sim, which describes the biochemical reactions that deter-mine the expression of the genes, the reactions by whichthe genes direct the synthesis of enzymes, and the reactionscatalyzed by these enzymes. He then presents a detailed dis-cussion of the implementation of this model.� Tod Morrison

[52] P.D. Karp. An ontology for biological function based on molecularinteractions. Bioinformatics, 16(3):269�285, 2000.

This paper discusses functional bioinformatics, the idea ofcomputation that involves the function of proteins. The on-tology is a step toward a controlled, precise vocabulary forbiology. Discusses the use of Lisp as the implementation lan-guage for the EcoCyc system and gives a series of exam-ple queries that could be used with EcoCyc. All examplequeries are relatively simple. The article suggests that more

Page 17: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

16 Bibliography

complex queries are possible. Distinguishes 'local' and 'inte-grated' function for proteins.� Cary Miller et al.

[53] P.D. Karp. Pathway databases: A case study in computational sym-bolic theories. Science, 293:2040�2044, 2001.

This article introduces the concept of pathway genomedatabase (PGDB) as a method of describing biochemicalpathways and their component reactions, enzymes and sub-strates. A PGDB includes pathway information as well as in-formation about the complete genome of the organism. TheEcoCyc project is provided as an example of a PGDB. Eco-Cyc is structured using an ontology of about 1000 classes.The PGDB consists of a network of interconnected frames.Each frame represents a biological object. The labeled con-nections between the frames represent semantic relationshipsbetween the objects. The key to this representation is de-vising an ontology that clearly de�nes the meaning of thedi�erent PGDB �elds and provides ease of extension whennew domain concepts are discovered. The authors include adiscussion of a program called �PathoLogic,� which was de-veloped to predict the metabolic network from the genomeof an organism. Prediction of pathway �ux rates for the en-tire metabolic network of an organism is also discussed. Theauthors stress the importance of using database content insolving these computational problems. There are no knownalgorithms that can solve these problems without being cou-pled with an accurate and well-designed pathway DB.� Lance Lana et al.

[54] P.D. Karp, M. Krummenacker, S. Paley, and J. Wagg. Integratedpathway/genome databases and their role in drug discovery. Trends inBiotechnology, 17(7):275�281, 1999.

Reviews the use of EcoCyc and PathoLogic to construct newpathways for prokaryotes other that E. coli. Pathways fornew organisms are compared to E. coli and the annotatedgenome is used to populate the knowledge base. Pathwayspresent in a new organism but not in E. coli are added byhand. Presents methods used for the identi�cation of falseinformation in the annotated genome.� Cary Miller et al.

Page 18: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 17

[55] P.D. Karp, C. Ouzounis, and S. Paley. HinCyc: A knowledge baseof the complete genome and metabolic pathways of H.in�uenzae. InD.J. States, P. Agarwal, T. Gaasterland, L. Hunter, and R.F.Smith,editors, Proceedings of the Fourth Intelligent Systems for Molecular

Biology Conference (ISMB), pages 116�124, Menlo Park, CA, 1996.AAAI Press.

Haemophilius In�uenzae is a rod-shaped bacteria that is theleading cause of meningitis in children, and the second mostcommon cause of bacterial pneumonia. As a bacterial in-fection, it is treated with antibiotics. A good collection ofreferences for H.in�uenzae can be found at http://www.bacteriamuseum.org/species/Hin�uenzae.shtml. Karp et al.apply the knowledge and methodology learned from creatingthe EcoCyc knowledge base to construct metabolic pathwayrepresentations for H. in�uenzae. They use a bootstrap ap-proach to populate the new KB from gene data at The In-stitute for Genomic Research (TIGR) and infer pathways.The completed knowledge base contains data about genes,enzymes, reactions, pathways and compounds that occur inH. in�uenzae, and the functional homologues that occur inE. coli.� Raphael Bar-Or et al.

In this article the authors describe a methodology for pre-dicting which metabolic pathways that are present in E.

coli are also present in H. in�uenzae. The EcoCyc knowl-edge base (KB) contains information regarding the knownmetabolic pathways of E. coli. Recently, the genomic se-quence of H. in�uenzae was completed, allowing the authorsto develop a process by which they compare H. in�uenzaeto E. coli and store the prediction results in the HinCycKB. First, the authors created gene objects in HinCyc andcompared them to E. coli proteins, those with homologoussequences were obtained. Next, they created polypeptide ob-jects and then a protein-complex object. The authors notethat these objects were created in a conservative fashion sothat the resulting prediction would be minimal but accurate.They then determine what reactions are catalyzed by the H.in�uenzae enzymes, and �nally make pathway predictions.They discuss the limitations of their method, related work,and lastly suggest how better information might make pro-

Page 19: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

18 Bibliography

cess more accurate.� Tessa F. Weinstein

[56] P.D. Karp and S. Paley. Integrated access to metabolic and genomicdata. Journal of Computational Biology, 3(1):191�212, 1996.

This article addresses the EcoCyc system, which consists ofa graphical user interface (GUI) that provides integrated ac-cess to a metabolic and genomic knowledge base (KB) forE. coli. EcoCyc is the result of joint work between SRI In-ternational and the Marine Biology Laboratory (MBL). Theauthors advocate their choice of implementing the KB asa frame based system called �HyperTheo.� They argue thatthis is a very e�cient and rapid way of implementing the KBbecause it adapts easily to the ever-changing world of biol-ogy. The authors also discuss their dynamically generateddisplay of signaling pathways as a mixture of hypertext andgif �les, using a tool they developed to retro�t CLIM ap-plications to be displayed on the World Wide Web. Severalexamples are presented that include an enzyme display for 2-dehydro-3-deoxphosphoheptonate aldolase, graphical depic-tions of biosynthetic pathways for threonine, phenylalanineand tyrosine, as well as a genomic map display. They fur-ther describe the use of a user-friendly but very restrictedGUI to query the KB. Only pre-formed options can be usedto query the KB from the GUI, which prohibits complexBoolean searches.� Lance Lana et al.

[57] P.D. Karp and S.M. Paley. Automated drawing of metabolic path-ways. In H. Lim, C. Cantor, and R. Robbins, editors, Proceedingsof the Third International Conference on Bioinformatics and Genome

Research, 1994. Note: reprinted in 2000 at SRI.

[58] P.D. Karp and S.M. Paley. Representations of metabolic knowledge:Pathways. In R. Altman, D. Brutlag, P. Karp, R. Lathrop, andD. Searls, editors, Proceedings of the Second Intelligent Systems for

Molecular Biology Conference (ISMB), pages 203�211, Menlo Park,CA, 1994. AAAI Press.

Karp and Paley discuss the formulation of a database schemaand a set of accompanying software tools which form theknowledge base known as EcoCyc. The core problem is one

Page 20: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 19

of path representation; how can one most e�ciently storepathway data and still construct complete pathways? Theauthors discuss the problems encountered during their for-mulation of the knowledge base and propose solutions toachieve a complete reconstruction of the known pathways inE. coli. Relationships between reactions is stored in a prede-cessor list, containing tuples of a reaction and its predecessorcompound in the pathway. Main versus side compounds anddirection in individual reactions is determined by the prede-cessor list along with a list of heuristics.� Raphael Bar-Or et al.

In this article Karp and Paley tackle the di�cult problemof using information in the EcoCyc knowledge base (KB)to obtain a pathway graph, with the ultimate goal of us-ing the pathway graph to create a pathway map. The Eco-Cyc knowledge base is a database (DB) that has informationpertaining to the genes and intermediary metabolism of E.coli. Speci�cally, it contains information about the genes, en-zymes, reactions and chemical compounds that participatein the metabolic pathways in E. coli. Their goal was to use aminimal amount of information from the KB to accomplishthis so that the KB would be easy to maintain and update.The primary contribution they made to this end was whatthe authors call a predecessor list, which e�ectively gives re-actions in a pathway order. Using the predecessor list andinformation stored in the KB about reactions, the enzymesthat catalyze those reactions and the chemical compoundsthat are active in those reactions, Karp and Paley develop analgorithm based on production rules and heuristics to turn apredecessor list into a pathway graph. To this end they aresomewhat successful.� Tessa F. Weinstein

In this article the authors present an automated graph layoutalgorithm that dynamically draws given pathways present inthe EcoCyc database. The algorithm determines the topol-ogy of the pathway as being cyclic, linear, or branched.Larger groupings of such pathways are handled by prede-�ned layouts that are applied to the subgraphs within thepathway. Facilities for navigating, expanding and collapsingpathways within the user interface are discussed. Complexjunctions and super-pathway algorithms are also discussed.It is apparent that one of the goals of the algorithm is depth

Page 21: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

20 Bibliography

of representation, but not necessarily breadth.Lance Lana et al.

[59] P.D. Karp, M. Riley, M. Saier, I.T. Paulsen, S.M. Paley, andA. Pellegrini-Toole. The EcoCyc and MetaCyc databases. Nucleic

Acids Research, 28(1):56�59, 2000.

The authors provide an update on the EcoCyc and Met-Cyc knowledge bases, now uni�ed under a common softwaretoolbox called �The Pathway Tools,� released as version 5.0at the time of publication. While EcoCyc attempts to com-pletely document the metabolic map of E. coli, MetaCyc isdesigned as a reference for metabolic pathways in various or-ganisms, without the detailed genetic information providedin EcoCyc. The breadth of information contained in EcoCychas been expanded to include membrane transport systemswith the same level of detail a�orded to the metabolic path-ways represented in EcoCyc already. This allows researchersto query the relationships between metabolic pathways andtransport systems at the cellular level. MetaCyc is built onthe framework of EcoCyc, but it is expanded to containspecies information for each pathway reaction. It does notcontain any genetic map information.� Raphael Bar-Or et al.

This article focuses on describing the information containedin, and the available forms of query to access, the EcoCycand MetaCyc databases. EcoCyc is a database (DB) thatcontains biochemical information about E. coli, such as sig-nal transduction pathways, transports, and its genes. A re-cent addition to this DB is information regarding membranetransport systems. MetaCyc, on the other hand, aims to de-scribe metabolic pathways from a variety of di�erent species.The information it contains about pathways includes reac-tions, enzymes and substrate components. However, it doesnot include information about transport processes like theEcoCyc database does.� Tessa F. Weinstein

[60] H. Kitano, editor. Foundations of Systems Biology. MIT Press, Cam-bridge, MA, 2001. editor's introduction, Systems Biology: Toward

System-level Understanding of Biological Systems, is also available athttp://www.cds.caltech.edu/erato/.

Page 22: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 21

[61] F. Kolpakov, E. Ananko, G. Kolesov, and N. Kolchanov. GeneNet: Agene network database and its automated visualization. Bioinformat-ics, 14(6):529�537, 1998.

This paper presents an object-oriented database, calledGeneNet, and the software for its automated visualization.The authors describe three major models for the gene net-works and their dynamics: (1) logical description, in whichvariables the gene networks components and functions therelationships between the components can take only a lim-ited number of values, typically only 0, 1 and 2; (2) de-scription of the gene network dynamics using a system ofnon-linear di�erential equations; and, (3) stochastic modelof the gene network, which is most applicable to those partsof the gene network where small events are determined bya very low concentration of transcription factor. The majorgoal of the object-oriented database model is to ensure se-mantic data integrity where it re�ects the real world and hasother merits versus the relational model. The state of a genenetwork the objects involved, their states and interactionsdepends on the type of cells, inducers and other factors.� Xuan Le

The authors describe the automated visualization of genenetworks in their GeneNet database through a Java basedgraphical user interface found at http://wwwmgs.bionet.nsc.ru/systems/MGL/GeneNet/. While most other gene net-work data bases have been drawn manually, GeneNet's soft-ware provides automated construction of gene network di-agrams. GeneNet is based on an object-oriented approachwith entities such as cell, protein, gene and substance be-ing related to each other by relations such as reaction andregulatory event. The resulting gene network diagram is agraph with nodes corresponding to entities and arrows rep-resenting relations. In order to automatically construct thegraph, the nodes are �rst assigned to regions of the graph.Then, the size of the regions are determined and the arrowsare drawn. GenNet also provides �lters such as the ability to�lter out the entities and relationships that have not beenexperimentally veri�ed. All of the images are interactive al-lowing a user to click on an image to view more information.The main advantage to automated drawing of gene networkdiagrams is that the diagrams can be automatically updated

Page 23: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

22 Bibliography

when new data is obtained. The major disadvantage is thatthe algorithm is not yet capable of drawing the very complexdiagrams that humans are able to construct.� Lance Lana

[62] F. Kose, W. Weckwerth, T. Linke, and O. Fiehn. Visualizing plantmetabolomic correlation networks using clique-metabolite matrices.Bioinformatics, 17(12):1198�1208, 2001.

The authors use graph theoretic ideas to reduce visual com-plexity of metabolic network diagrams. Assigns edges be-tween metabolites based on correlation of metabolite concen-tration. This idea is unusual but may indeed in some casesprovide useful compression of data. Uses standard algorithmfor �nding all maximal cliques. These maximal cliques cor-respond to metabolites that all vary together. Uses an inter-esting approach that is very much like viewing the maximal-clique/vertex matrix for easily visualizing all metabolites in aclique and all cliques that contain a given vertex/metabolite.� Cary Miller et al.

[63] J.R. Koza, G. Lanza W. Mydlowec, J. Yu, and M.A. Keane. Reverseengineering of metabolic pathways from observed data using geneticprogramming. In R.B. Altman, A.K. Dunker, L. Hunter, and T.E.Klein, editors, Proceedings of the Paci�c Symposium on Biocomput-

ing (PSB), volume 6, pages 434�445, http://www-smi.stanford.edu/projects/helix/psb01/, 2001. World Wide Web.

This paper demonstrates that that it is possible to auto-matically create a network of chemical reactions from ob-served time domain data. Genetic programming starts withobserved time domain. These concentrations of input sub-stances can automatically create both the topology of thenetwork of chemical reactions. The rates of each reactionwith the network would bring concentration of the �nal prod-uct of the automatically created network, which matches theobserved time-domain data. Speci�cally, genetic program-ming automatically created metabolic pathways involved inthe phospholipid cycle and the synthesis and degradation ofketone bodies.� Felemon Belay

This paper discusses the possibility of automatically creatinga network of chemical reactions from observed time-domain

Page 24: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 23

data using genetic programming. The paper walks through adetailed example of creating a metabolic pathway from onlythe time-domain concentration values of the �nal product.This involves automatically creating both the topology ofthe network and the sizing of the network of chemical reac-tions. There is discussion of representing networks of chemi-cal reactions with programming trees and some backgroundinformation on genetic programming.� Amy Rulo

This paper introduces the feature of genetic programmingthat demonstrates the ability to create networks that havebeen generated by linear and nonlinear continuous-time dif-ferential equations. The article describes the ability of ge-netic programming to create a set of chemical reactions fromobserved time-domain data. The ideal result is the creationof metabolic pathways.� Jennifer Phillips

The major principle addressed by this book is that geneticprogramming is a method for automatically creating a com-puter program whose behavior satis�es certain high-level re-quirements. Genetic programming has been demonstratedto work by authomatically creating both the topology andsizing for analog electrical circuits composed for transistors,capacitors, resistors, and other components merely by spec-ifying the circuit's output.� Olasumbo Olufunke Adesola

This discusses the application of genetic programming tech-niques to automatically generate feasible metabolic path-ways from observed time-domain data. Such programs startwith observed time-domain concentrations and automati-cally produce a both the topology and reaction rates of theunderlying network of chemical reactions. The method pre-sented in the paper establishes a representation of the in-volved chemical reactions and applies genetic programmingmethodologies to generate a population of improving path-ways. These pathways are interpreted as analog electricalcircuits and evaluated for �tness using a well known circuitsimulation package.� Tod Morrison

[64] G. Krauss. Biochemistry of Signal Transduction and Regulation. Wiley-VCH, Weinheim, FRG, 2nd edition, 2001.

Page 25: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

24 Bibliography

This book is a must for everybody who wants to model signaltransduction pathways. It provides the user with necessaryfacts and principles about signal transduction and regula-tion. The only negative aspect of the book is that the liter-ature list is not as extensive and almost only restricted toreview articles. Of special interest might be chapter 13 (cellcycle) and chapter 15 (apoptosis).� Jens Eberlein

[65] A. Kremling, T. Sauter, E. Bullinger, M. Ederer, F. Allgower, andE. D. Gilles. Biosystems engineering: applying methods from systemstheory to biological systems. In T-M. Yi, M. Hucka, M. Morohashi,and H. Kitanno, editors, Proceedings of the Second International Con-

ference of Systems Biology, http://www.icsb2001.org/toc.html, 2001.World Wide Web.

This is a presentation of the application of the methods andtools from system theory in the analysis and design of mathe-matical models of biological systems. The author begins witha brief historical introduction to the development of the �eldof systems biology. He then proceeds to construct a math-ematical model to simulate and analyze the cellular systemof E. coli by progressively combining submodels, based onstructured functional units, into higher aggregated modelsstructures. The system is then systematically perturbed toreveal genes which are highly interconnected. Using the de-scribed model, methods of analysis and validation are dis-cussed and high level conclusions regarding the usefulness ofsuch an approach inferred.� Tod Morrison

[66] Kyoto encyclopedia of genes and genomes (KEGG). World Wide Web,http://www.genome.ad.jp/kegg/.

This database contains pictures of pathways, hyperlinked togive information about the parts. Basic references to the lit-erature are cited, and some are available as pdf or postscript�les.

[67] S. Liang, S. Fuhrman, and R. Somogyi. REVEAL, a general re-verse engineering algorithm for inference of genetic network architec-tures. In R.B. Altman, A.K. Dunker, L. Hunter, and T.E. Klein, ed-itors, Proceedings of the Paci�c Symposium on Biocomputing (PSB),volume 3, pages 18�29, http://www-smi.stanford.edu/projects/helix/psb98/, 1998. World Wide Web.

Page 26: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 25

The REVerse Engineering ALgorithm (REVEAL) was im-plemented as a C program to infer a complex regulatorynetwork architecture from input/output patterns of its vari-ables. The algorithm was generalized to include multi-statemodels, essentially allowing direct application to realistic bi-ological data sets. A genetic network analysis tools can bedesigned based on generating model systems on which theperformance of the tools can be tested on. An example ofsuch model system is the Boolean network. In this network,the wiring of the elements to one another correspond to func-tional links between genes, and the rules determine the resultof a signaling interaction given a set of input values. Genesare expressed as either o� or on, which results in binary el-ements interacting according to Boolean rules.� Olasumbo Olufunke Adesola

This article attempts to answer the question of whether itis possible in principle to completely infer a complex regu-latory network architecture from the input/output patternsof its variables. Using state transition tables to representgene expression patterns, Information Theory (Shannon En-tropy) is used to determine the wiring relationships of theextended genetic network. A program called REVEAL doesthis, enabling the inference of inputs which control genes inthe network.� Rob Wilburn

[68] Ligand chemical database for enzyme reactions (LIGAND). WorldWide Web,http://www.genome.ad.jp/dbget/ligand.html.

This database is designed to provide the linkage betweenchemical and biological aspects of life in the light of enzy-matic reactions. There are three sections: ENZYME [25];COMPOUND � a collection of metabolic compounds, in-cluding substrates, products and inhibitors; and REAC-TION � a collection of chemical reactions that appear inthe pathway diagrams of KEGG [66].

[69] R. Maimon and S. Browning. Diagrammatic notation and computa-tional structure of gene networks. In Proceedings of the Second Inter-

national Conference on Systems Biology, pages 311�317, 2001.

This brings in a formal notation for gene networks. The no-tations are trying to standardize a higher-level language for

Page 27: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

26 Bibliography

genetic networks in this paper. At �rst, it describes the sim-plest nouns, the atoms that are indivisible units of biologi-cal function and three types of actions that are the simplestverbs. And then it explains the linkbox that is the �rst com-plex grammatical element in the notation and keeps explain-ing about the likebox, the third elements that details sets ofobjects which act similarly. Through the examples, this pa-per proves the notation has two merits. The one is that itcan explain modules and individual reactions and the otheris that it is translated mechanically into a set of individualreactions. As a result, the notation is much reasonable com-paring to the current notation.� Min Hong

[70] Y. Maki, D. Tominaga, M. Okamoto, S. Watanabe, and Y. Eguchi. De-velopment of a system for the inference of large scale genetic networks.In R.B. Altman, A.K. Dunker, L. Hunter, and T.E. Klein, editors, Pro-ceedings of the Paci�c Symposium on Biocomputing (PSB), volume 6,pages 446�458, http://www-smi.stanford.edu/projects/helix/psb01/,2001. World Wide Web.

This paper presents an approach to the inference of interre-lated mechanisms among genes in a genetic network based onthe analysis of gene expression patterns. The approach de-veloped in this paper actually uses a combination of two pre-viously developed methods. The �rst analysis is performedby a static Boolean network model based on a multi-level di-graph approach. The second uses a dynamic network model,the S-system that relies on the analysis of temporal responsesof gene expression patterns against perturbations or internalchanges. The weakness in the Boolean network model is thatrelations between genes that a�ect each other cannot be de-termined. These genes are assigned to equivalence classesand then the dynamic network model is used to determinethe relations within these equivalence classes. The Booleannetwork model can infer large genetic networks (10,000+genes) in less than a second, but it cannot determine therelations between genes that belong to the same equivalenceclasses. The dynamic model based on the S-system can inferthe network even if there are equivalence classes, but the runtime is O(n2) so this model is not practical to use with largenetworks. The authors approach uses the Boolean networkmodel to reduce the size of the network into functional units

Page 28: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 27

that the dynamic model can solve in a �reasonable� amountof time.� Lance Lana et al.

[71] E. Martz. Beginner's Guide to Molecular Biology. World Wide Web,http://www.iacr.bbsrc.ac.uk/notebook/courses/guide/, 2001.

This is a simpli�ed introduction, with online animationsto help understand mainstream topics in molecular biology.(The animations are with RasMol, which is free software thatruns in an MS Windows environment.)

[72] M.L. Mavrovouniotis. Identi�cation of qualitatively feasible metabolicpathways. In L.E. Hunter, editor, Arti�cial Intelligence and Molecular

Biology, pages 325�364, Cambridge, MA, 1993. MIT Press.

This chapter describes an algorithm for the synthesis of bio-chemical pathways. Biochemical pathway synthesis is theconstruction of pathways which produce certain target bio-products, under partial constraints on the available reac-tants, allowed by-products, etc. Given a set of stoichiomet-ric constraints and a database of biochemical reactions, thisalgorithm transforms an initial set of available bioreactionsinto a �nal set of pathways by and iterative satisfaction ofconstraints. After explaining the design of the algorithm, theauthor presents a case study of its application to study ofthe synthesis of biochemical pathways for the production oflysine from glucose and ammonia.� Tod Morrison

This article discusses the use of an AI method for �ndingquantitatively feasible metabolic pathways. In order to quan-tify a pathway's feasibility, the method uses information onthe types and amounts of enzymes, ratios of metabolites,and the likelihood of a reactions occurrence in a particulardirection within the pathway. The chapter discusses how theAI algorithm works and gives an abstract problem as an ex-ample.� Rob Wilburn

[73] R. McEntire, P. Karp, N. Abernethy, D. Benton, G. Helt, M. DeJongh,R. Kent, A. Kosky, S. Lewis, D. Hodnett, E. Neumann, F. Olken,D. Pathak, P. Tarczy-Hornoch, L. Toldo, and T. Topaloglou. An eval-uation of ontology exchange language for bioinformatics. In P. Bourne,M. Gribskov, R. Altman, N. Jensen, D. Hope, T. Lengauer, J. Mitchell,

Page 29: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

28 Bibliography

E. Schee�, C. Smith, S. Strande, and H. Weissig, editors, Proceed-ings of the Eighth Intelligent Systems for Molecular Biology Conference

(ISMB), pages 239�250, Menlo Park, CA, 2000. AAAI Press.

This paper compares some candidate ontology-exchange lan-guages to �nd the one that best deals with a variety of issues.Ontology exchange languages should exchange using a stan-dardized form that has well-described syntax and semanticsto make the sharing of information e�ective. If the databaseuses a well-de�ned ontology, then it can convey more accu-rate nuances of purpose. On the other hand, coarsely-de�nedontologies will convey only super�cial facets of information.

This paper compares the following ontology exchangelanguages: Ontolingua, CycL, OML/CKML, OPM,XML/RDF, UML, ASN.1, and ODL with the followingideal criteria: Language support and standardization, datamodel/capabilities, performance, pragmatics, and connectiv-ity. It turns out Ontolingua and OML/CKML have enoughexpressivity, however, Ontolingua does not have XML ex-pressions and OML is not a framed-based system, the au-thor recommends a new language XOL (XML Ontology Lan-guage) that has frame-based semantics with XML expres-sions the author feels that XML is important due to theproliferation of the web and the widespread availability ofparsers.� Min Hong

[74] P. Mendes. Computer Simulation of the dynamics of biochemical path-

ways. PhD thesis, University of Wales, Institute of Biological Sciences,Aberystwyth, Wales, 1994.

[75] P. Mendes. Modeling large scale biological systems from functionalgenomic data: parameter estimation. In H. Kitano, editor, Foundationsof Systems Biology, pages 163�186, Cambridge, MA, 2001. MIT Press.

Since new data became available, Mendes states that simul-taneous measurements of thousands of cellular components,such as mRNA and proteins, can occur. When these se-quences are put together, they form �movies� of the cellu-lar machinery in action, and it should be possible to buildmodels to describe the dynamics. These models, according

Page 30: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 29

to Mendes, will be able to represent large numbers of bio-chemical reactions at some level of detail.� Felemon Belay

[76] P. Mendes and D. Kell. Non-linear optimization of biochemical path-ways: applications to metabolic engineering and parameter estimation.Bioinformatics, 14(10):869�883, 1998.

This article discusses the suitability of various optimizationmethods, used as part of simulation software, to study thekinetics of biochemical reactions. The authors focus on ana-lyzing the ability of these algorithms to �nd global minima.They recommend that a suite of diverse optimization meth-ods should be available in simulation software, as no singleone performs best for all problems. They discuss how theyhave implemented such a simulation-optimization strategy inthe biochemical kinetics simulator Gepasi (http://gepisi.dbs.aber.as.uk/softw/Gepasi.html). They provide an overview ofoptimization methods and discuss the importance of �ndingthe global minimum. They also discuss computational issuesthat arise from the nonlinearity. Applications and numericalresults are discussed for two areas: simulation of a hypo-thetical branched biochemical pathway with conserved cofac-tor and feedback, and parameter estimation. The followingmethods are compared: L-BFGS-B, Levenberg-Marquardt,Steepest descent, Simulated annealing, Multistart, Randomsearch, Truncated Newton, Evolutionary programming anda genetic algorithm. Many of these methods can be imple-mented without explicit calculation of derivatives.� Rico Argentati

[77] G. Michal, editor. Biochemical Pathways: An Atlas of Biochemistry

and Molecular Biology. John Wiley & Sons, Heidelberg, FRG, 1999.

[78] MIT Biology Hypertextbook. Massachusetts Institute of Technol-ogy, http://esg-www.mit.edu:8001/esgbio/7001main.html, latest edi-tion, 2002.

This has undergone maturation since its �rst posting, andit is a fairly complete introductory resource. The chaptersof most direct bene�t to understanding pathways are Chem-istry Review, Large Molecules, Cell Biology, Enzyme Bio-

chemistry, Glycolysis and the Krebs Cycle, and Prokaryotic

Page 31: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

30 Bibliography

Genetics and Gene Expression. (Of course, the other chap-ters are also important.) You can stretch your knowledge byworking their �practice problems.�

[79] J.E. Mittenthal. An algorithm to assemble pathways from processes.In R.B. Altman, A.K. Dunker, L. Hunter, and T.E. Klein, editors, Pro-ceedings of the Paci�c Symposium on Biocomputing (PSB), volume 2,pages 292�303, http://www-smi.stanford.edu/projects/helix/psb97/,1997. World Wide Web.

This paper discusses algorithms created to assemble molec-ular networks in which the enzymes remain unchanged. Itis shown that this type of algorithm is di�erent than onein which the enzymes are changed. Speci�c steps are givento implement a method in which the enzymes remain un-changed. A particular example, the regulation of the break-down and sythesis of glycogen, is given to help the reader tounderstand the method. The future possibilities of such analgorithm are explored as well.� Jennifer Phillips

This article covers the steps of an algorithm due toMavrovouniotis et al. (1990) and gives several examples ofwhat the algorithm does. This can be used to assemble path-ways from existing molecules and reactions and can be usedto assemble possible pathways from databases of moleculesand reactions.� Amy Rulo

This article discusses how an algorithm developed for theconstruction of metabolic pathways can be altered in or-der to construct protein-modifying networks. The methoduses lists of reactions, molecules and enzymes, along with aset of constraints to build potential pathways. The method�rst identi�es coupled reactions which are considered par-tial pathways. These coupled reactions can then be used asbuilding blocks for constructing larger pathways.� Rob Wilburn

This discusses the application of the algorithm developed byMavrovouniotis [72] to the construction of protein-modifyingnetworks. Typically in metabolism, reactions do not mod-ify enzymes, but in some networks a process may mod-ify enzymes. The author presents an example of one suchnetwork and demonstrates that the algorithm developed by

Page 32: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 31

Mavrovouniotis is suitable to these types of metabolic net-works as well as the types it was initially designed for. Fromthis the author concludes that the algorithm can assemblemany types of intercellular networks, including pathwaysmediating gene regulation and cell mobility.� Tod Morrison

[80] C.A. Ouzounis and P.D. Karp. Global properties of the metabolic mapof Escherichia coli . Genome Research, 10:568�576, 2000.

[81] M.G. Poolman and D.A. Fell. Modelling and experimental eveidencefor two separate steady states in the photosynthetic calvin cycle. InJ.-H. S. Hofmeyr, J.M. Rohwer, and J.L. Snoep, editors, Animatingthe cellular map, pages 249�254. Stellenbosch University Press, 2000.Note: available at http://bms-mudshark.brookes.ac.uk/publicat.html.

[82] Protein data bank (PDB). World Wide Web, http://www.rcsb.org/pdb/.

This database contains protein data, including annotations.It highlights a �Molecule of the Month.�

[83] B. Raïs, C. Chassagnole, T. Letellier, D.A. Fell, and J.-P. Mazat. Thre-onine synthesis from aspartate in Escherichia coli cell-free extracts:pathway dynamics. Biochemistry Journal, 356:425�432, 2001. Note:available at http://bms-mudshark.brookes.ac.uk/publicat.html.

[84] R. Ramakrishna, J.S. Edwards, A. McCulloch, and B. 6Ø. Palsson. Flux-balance analysis of mitochondrial energy metabolism: consequences ofsystemic stoichiometric constraints. American Journal of Physiology �Regulatory, Integrative and Comparative Physiology, 280:R695�R704,2001.

[85] T.J. Rothenberg. Simultaneous equations models. In J. Eatwell,M. Milgate, and P. Newman, editors, The New Palgrave: Econmetrics,pages 229�237, New York, NY, 1990. W.W. Norton & Company.

Page 33: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

32 Bibliography

The book is a series of invited articles by noted econome-tricians about subjects basic to the theory and doctrine ofthe �eld of econometrics. The discussion on this chapteron simultaneous equations gives a clearer view as to howeconometricians use this method and the limitations of thismethod in modelling real economic phenomena. The authorconisiders exogenous and endogenous factors to be impor-tant in this analysis as tools for building the model. Thiscan be compared to external and internal factors in the be-havior of the cell, or some other biological systems.� Andrew Been

[86] A. Rzhetsky, T. Koike, S. Kalachikov, S.M. Gomez, M. Krauthammer,S.H. Kaplan, P. Kra, J.J. Russo, and C. Friedman. A knowledge modelfor analysis and simulation of regulatory networks. Bioinformatics,16(12):1120�1128, 2000.

This paper describes an ontology speci�cally geared towardsignal transduction pathways. The ontology is based uponPeter Karp's EcoCyc ontology [59] and is extended tosupposingly capture the features of a signal transductionpathways. Like many papers in this area, this paper isnot very detailed. In particular, it does not provide anystatistical method to prove how well the ontology works.It merely states that the knowledgebase created using thisontology works well, not justifying the claim with anydepth. Still, the presented ontology and taxonomies doesprovide some interesting new relationships geared towardsignal transduction.� Jens Eberlein

An attempt to deal with the enormous volume of sci-enti�c publication by using natural language processingtechniques to automate knowledge acquisition. Uses aknowledge-base similar to that of EcoCyc but removesthe human intervention to the level of assigning scoresto authors, journals, etc. Discusses in some detail the4 aspects of a knowledge-base; taxonomy of concepts(is-a relationship), relationships between concepts (has-arelationship), properties of concepts (slots) and axioms.Makes the important distinction between the logical andbiochemical representations of a reaction or pathway.� Cary Miller et al.

Page 34: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 33

[87] W. Salamonsen, K.Y.C. Mok, and P. Kolatkar. BioJAKE: A toolfor the creation, visualization and manipulation of metabolic path-ways. In R.B. Altman, A.K. Dunker, L. Hunter, and T.E. Klein, ed-itors, Proceedings of the Paci�c Symposium on Biocomputing (PSB),volume 4, http://www-smi.stanford.edu/projects/helix/psb99/, 1999.World Wide Web.

The authors discuss the Java computer program BioJAKEwhich allows for the creation, manipulation and visualizationof metabolic pathways. A user may create pathways fromscratch or from information stored in databases. Pathwaysare represented as a series of images (molecules) and reac-tion lines. Users may zoom into speci�c areas of interest andremote database queries such as Prosite, Entrez, and Blastare possible. The molecules are objects that have a type anda state. A type tree is used to describe the possible molec-ular types such as protein and nucleic acid. States includephosphorylation and capping. Three dimensional represen-tation and the addition of reaction simulations are discussedas possible future enhancements to the program.� Lance Lana

This article introduces BioJAKE, a Java-based visualizationprogram that enables the user to create and manipulatemetabolic pathways. Incorporated into the BioJAKE pro-gram is the ability to access other remote databases. Oncethe databases have been accessed, BioJAKE sorts and storesany queries according to the given metabolic pathway. Ulti-mately, the information is integrated into a larger, compre-hensive database for future references.� Kimberly A. Somers

This article describes a JAVA program called BioJAKE. Bio-JAKE provides easy to use mechanisms for the constructionof on-screen pathway visualizations. The primary topics inthis article are how BioJAKE constructs these visualizations,what information is used, how Types and States are used toidentify a molecules present state, and the future develop-ment of BioJAKE.� Bob Wilburn

This paper covers the possibility of completely inferring com-plex regulatory network architecture from input/output pat-terns of its variables. This was investigated using the RE-VEAL algorithm and binary models of genetic networks. The

Page 35: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

34 Bibliography

paper goes into detail about how the algorithm works us-ing M-analysis, mutual information measures, and gives thestep-by-step process. The bene�t of this algorithm is thatit performs rather quickly for networks with low numbers ofinputs per gene, however more time is required for larger val-ues. It can also be generalized to include multi-state modelsallowing direct application to realistic biological data sets.� Amy Rulo

The BioJAKE program was created for the visualization,creation and manipulation of metabolic pathways. It pro-vides an easy-to-use mechanism to constuct pathways ei-ther from scratch, or automatically from information storedwithin a database. The elements of these pathways con-tain and represent diverse information including state, lo-cation, comments and associated remote database queries.It also computes the reactions in which any given moleculeis involved, or the sequence of reactions required for a spe-ci�c pathway to take place. This program was developed inJava to provide individual independence and maximum ex-tendibility.� Olasumbo Olufunke Adesola

[88] M. G. Samsonova and V. N. Serov. NetWork: An interactive interfaceto the tools for analysis of genetic network structure and dynamics. InR.B. Altman, A.K. Dunker, L. Hunter, and T.E. Klein, editors, Pro-ceedings of the Paci�c Symposium on Biocomputing (PSB), volume 4,pages 102�111, http://www-smi.stanford.edu/projects/helix/psb99/,1999. World Wide Web.

This introduces a Java applet, called NetWork, that enablesthe visualization of large genetic networks at the level of geneexpression. A Boolean network is chosen for the mathemat-ical representation of the genetic networks. In the Booleannetwork, the state of a gene is either turned on or o�. Genesare represented as elements of the Boolean net, and thewiring of the elements represents the functionality of thelinks between the genes. A detailed explanation of the algo-rithm is given. In addition to the visualization of a network,the program provides an interactive interface to the toolsfor network dynamics simulation. A user can simulate a dy-namic network by selecting a network, selecting the genesin the network that are turned on at the start, then click-ing on the Dynamics button. The weakness of the program

Page 36: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 35

is that regulatory interactions occurring at other than thegene expression level are not considered. The authors planto modify the program to account for this weakness.� Lance Lana

[89] H.M. Sauro. Jarnac: A system for interactive metabolic analysis. InJ-H. S. Hofmeyr, J. M. Rohwer, and J. L. Snoep, editors, Animatingthe Cellular Map, 9th International BioThermoKinetics Meeting, pages221�228, http://www.sun.ac.za/biochem/btk/book/Sauro.pdf/, 2000.Stellenbosch University Press.

[90] J.M. Savinell and B. 6Ø. Palsson. Network analysis of intermediarymetabolism using linear optimization I: development of mathematicalformalism. Journal of Theoretical Biology, 154:421�454, 1992.

The article addresses the bene�ts of using a stoichiometricmatrix as a tool for understanding metabolic behavior of acell its relationship with external compounds. The metabolicpathways considered in the matrix were the mass and energyfactors. Shadow prices acted as the parameters on the ma-trix, which ultimately helped in identifying any growth limi-tations. Attempts at linearly optimizing the matrix revealedimportant cell behavior in its processing of elements, suchas carbon, for growth factors. Glucose, glutamine, and glu-tamate factors were the primary focus upon linear optimiza-tion. The linear optimization returned information relatingto energy use, growth, and ratios under given conditionssuch as limited oxygen uptake or minimized production ofNADH. Using linear optimization techniques proved success-ful when attempting to minimize certain productions, whichthen o�ered insight to inhibiting some cell functions or delet-ing genes altogether. Overall, the stoichiometric matrix foranalyzing the cell behavior related to metabolic pathwaysreturned good results and o�ered great promise for furtherstudy.� Kimberly A. Somers

[91] J.M. Savinell and B. 6Ø. Palsson. Network analysis of intermediarymetabolism using linear optimization II: interpretation of hybridomacell metabolism. Journal of Theoretical Biology, 154:455�473, 1992.

The article continues to examine the metabolic network rep-resented as stoichiometric matrix. The simulations of the hy-

Page 37: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

36 Bibliography

bridoma looked at the conditions placed upon the stoichio-metric and the associated interactions among the nutrients.Quite a few factors were able to be examined for their e�ectson growth rate, which included ATP and antibody produc-tion rates. Also analyzed were the shadow price e�ects andreduced cost e�ects of chosen elements or nutrients on thegrowth factors in the cell. The sensitivities of some com-pounds (pyruvate, for example) were also analyzed. Shadowprices rendered the most signi�cant information regardingthe stoichiometry as a whole. Overall, further stoichiometricanalyses contributed to increased understanding about cellfunction and cost analyses for conducting such simulations.� Kimberly A. Somers

[92] J.M. Savinell and B. 6Ø. Palsson. Optimal selection of metabolic �uxesfor in vivo experimental determination I: development of mathematicalmethods. Journal of Theoretical Biology, 155:201�214, 1992.

This paper presents a framework for determining internal�uxes for highly branched metabolic networks. The prob-lem is formulated as a linear system which contains bothmeasured and calculated �uxes. The goal of this particularwork is to determine an optimal set of �uxes to measure sothat the calculated values are as accurate as possible. This isdone by anayzing the sensitivity of the system (bounded bya condition number) to the choice of measured vs. calculated�uxes. The authors �nd an estimation to the optimal set ofmeasured �uxes using a shotgun approach and observing theshape of the scatter plot produced.� Raphael Bar-Or et al.

[93] J.M. Savinell and B. 6Ø. Palsson. Optimal selection of metabolic �uxesfor in vivo experimental determination II: application to E. coli andhybridoma cell metabolism. Journal of Theoretical Biology, 155:215�242, 1992.

This paper is an application of the authors previous work toe-coli and Hybridoma cell lines to estimate metabolic �uxesfrom a set of measured �uxes. They �nd that there were po-tentially very poor choices of measured �uxes such that theywould lead to a 100,000 fold ampli�cation of experimentalerrors. They further found that the sensitivity of the sys-tems increased with system complexity and size. They showthat by measuring additional �uxes, such that the system

Page 38: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 37

is over determined and computing a least-squared solution,that they could signi�cantly reduce the error. The data theypresent suggests that relatively few extra measurements canhave a signi�cant e�ect on the �nal error and that for poorlyconditioned systems, that this approach may be useful.� Raphael Bar-Or et al.

[94] F. Schacherer. An object-oriented database for the compilation of sig-

nal transduction pathways. PhD thesis, Technical Universität Braun-schweig, Braunschweig, FRG, 2001.

[95] F.G.D. Schacherer. A review of biological network visualization. Tech-nical report, Technical Universität Braunschweig, Braunschweig, FRG,2000.

[96] C.H. Schilling, J.S. Edwards, D. Letscher, and B. 6Ø. Palsson. Com-bining pathway analysis with �ux balance analysis for the comprehen-sive study of metabolic systems. Biotechnology and Bioengineering,71(4):286�306, 2001.

[97] C.H. Schilling, D. Letscher, and B. 6Ø. Palsson. Theory for the sys-temic de�nition of metabolic pathways and their use in interpretingmetabolic function from a pathway-oriented perspective. Journal of

Theoretical Biology, 203:229�248, 2000.

Uses the well-established, super-powerful techniques of lin-ear algebra to analyze metabolic pathways. Makes use of asubset of all possible metabolic pathways available in a sys-tem to de�ne the 'metabolic �ux cone'. This is the set ofall conceivable metabolic phenotypes. To make the analysistractable to linear algebraic methods makes the simplifyingassumption that reactions and pathways are at a steady-state. This assumption is not totally justi�able but is com-mon in modeling of metabolic pathways. The paper doesnot address pathway regulation. Some of the descriptive lin-ear �equations� are actually inequalities so concepts of linearprogramming or convex analysis are used.� Cary Miller et al.

Page 39: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

38 Bibliography

[98] C.H. Schilling and B. 6Ø. Palsson. The underlying pathway structure ofbiochemical reaction networks. Proceedings of the National Academy

of Science, 95:4193�4198, 1998.

[99] C.H. Schilling and B. 6Ø. Palsson. Assessment of the metabolic capabil-ities of Haemophilus in�uenzae Rd through a genome-scale pathwayanalysis. Journal of Theoretical Biology, 203:249�283, 2000.

[100] C.H. Schillling, S. Schuster, B. 6Ø. Palsson, and R. Heinrich. Metabolicpathway analysis: Basic concepts and scienti�c applications in thepost-genomic era. Biotechnology Progress, 15:296�303, 1999.

[101] I. Shah and L. Hunter. Visualization based on the enzyme commissionnomenclature. In R.B. Altman, A.K. Dunker, L. Hunter, and T.E.Klein, editors, Proceedings of the Paci�c Symposium on Biocomput-

ing (PSB), volume 5, pages 275�287, http://www-smi.stanford.edu/projects/helix/psb00/, 2000. World Wide Web.

Using the EC numbers, Shah and Hunter map the systemshierarchical structure into a visualizable trees. At its sim-plest, these visualizations indicate related proteins and theirquantitative properties. They implement a more complex ap-plication that looks at the ROCK (a sensitivity versus speci-�city test) scores measuring the ability to predict functional-ity based o� of sequence. They could then look at an enzymeclass and see for that particular class how good of a predic-tor the sequence was.� Aaron Gabow

[102] G.N. Stephanopoulos, A.A. Aristidou, and J. Nielsen. Metabolic Engi-

neering: Principles and Methodologies. Academic Press, London, UK,1998.

[103] Z. Szallasi and S. Liang. Modeling the normal and neoplastic cell cyclewith �realistic boolean genetic networks�: Their application for under-standing carcinogenesis and assessing therapeutic strategies. In R.B.Altman, A.K. Dunker, L. Hunter, and T.E. Klein, editors, Proceedings

Page 40: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 39

of the Paci�c Symposium on Biocomputing (PSB), volume 3, pages 66�76, http://www-smi.stanford.edu/projects/helix/psb98/, 1998. WorldWide Web.

[104] A. Tanay and R. Shamir. Computational expansion of genetic net-works. Bioinformatics, 17(Supplement 1):1�9, 2001.

[105] S. Thomas, P.J.F. Mooney, M.M. Burrell, and D. A. Fell. Metaboliccontrol analysis of glycolysis in tuber tissue of potato (Solanum tubero-

sum): explanation for the low control coe�cient of phosphofructoki-nase over respiratory �ux. Biochemistry Journal, 322:119�127, 1997.Note: available at http://bms-mudshark.brookes.ac.uk/publicat.html.

[106] M. Tomita, K. Hashimoto, K. Takahashi, Y. Matsuzaki, R. Mat-sushima, K. Yugi, F. Miyoshi, H. Nakano, Y. Saito, S. Shimizu, andY. Nakayama. The e-cell project: Towards integrative simulation of cel-lular processes. In D.J. States, P. Agarwal, T. Gaasterland, L. Hunter,and R.F.Smith, editors, RECOMB Proceedings, pages 290�298, NewYork, NY, 1996. ACM.

This introduces the E-Cell project (http://www.e-cell.org)that models and simulates various cellular processes. It fo-cuses on the simulation of large scale of cellular behav-ior using same framework. This contains kinetic model oferythrocyte, DNA replication, signal transduction of bacte-rial chemotaxis, and energy metabolism for mitochondria.Three classes of objects (substance, reactor, and system)are used to represent molecular species, reactions, and phys-ical/functional compartment.� Min Hong

[107] P. Uetz, T. Ideker, and B. Schwikowski. Visualization and integra-tion of protein-protein interactions. In E. Golemis, editor, The Study

of Protein-Protein Interactions � An Advanced Manual, Cold SpringHarbor, 2002 (to appear). Cold Spring Harbor Laboratory Press.

The introduction compares protein interaction maps withmetabolic pathways and describes the kinds of informationin need of visual displays. Besides the usual zoom and panfunctions, they point out the need for graph condensation

Page 41: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

40 Bibliography

and expansion, raising issues of recognizable protein classi-�cations. They proceed to descibe the symbolic syntax oftheir displays and handling supplemental data. In their �Fu-ture Directions� the authors point to three important needs:

1. More complex schemes to integrate data and networkvisualization � for example, small molecules that in�u-ence a gene's expression ought to be represented in thenetwork, but presently they are not

2. Better network layout algorithms � for example, groupnodes that represent genes of similar function

3. Broader range of information about the network objects� for example, was some interaction predicted or dis-covered by experiment, and what was the associated in-formation about error?

[108] C. van Gend and U. Kummer. STODE � automatic stochastic simu-lation of systems described by di�erential equations. Technical report,Bioinformatics and Computational Chemistry Group, European MediaLaboratory, Schloss-Wolfsbrunnenweg 33, D-69118 Heidelberg, FRG,2001.

[109] J. van Helden, D. Gilbert, L. Wernisch, M. Schroeder, and S. Wodak.Application of regulatory sequence analysis and metabolic networkanalysis to the interpretation of gene expression data. In O. Gas-cuel and M-F. Sagot, editors, Computational Biology, number 2066 inLecture Notes in Computer Science, pages 155�172, Heidelberg, FRG,2001. Springer-Verlag.

[110] J. van Helden, A. Naim, C. Lerner, R. Mancuso, M. Eldridge, and S.J.Wodak. From molecular activities and processes to biological function.Brie�ngs in Bioinformatics, 2(1):81�93, 2001.

This article describes the aMAZE data model, based on aconceptual description of the network of interactions be-tween molecular entities. aMAZE is the name for �thelabyrinth of interactions between the myriad of molecularentities in the cell.� This software has the ambition of em-bodying the molecular interactions, processes and pathways.Furthermore, it handles information on signal transduction

Page 42: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 41

pathways, bio-ontology, and it can be thought of as de�n-ing biological function at the semantic level. This aMAZEdatabase, can deal with information on metabolic pathways,gene regulation, sub-cellular locations and transport. Thereare four major classes or levels of hierarchy in the aMAZEdatabase:

1. Biochemical Entity attributes of the object representstructural properties.

2. Interaction contains objects describing molecular ac-tivities, which are subdivided into classes specifying par-ticular types of activities called Reaction, Expression,transcriptional regulation and Assembly/Disassembly.

3. Process/Pathway is a network, whose nodes are path-way elements, connected by pathway arcs.

4. Compartment de�nes the di�erent levels in the orga-nization of biochemical entities: sub-cellular compart-ment, cell type, tissue, organ, and organisms themselvescan be considered as a special type of compartment.

The Object Oriented aMAZE model is represented by thereference relationship class hierarchy, instead of the inher-itance relationship, operating between objects, whereby agiven object refers to another object in the database. This re-lationship is encoded in the objects attributes. Representingthe various facets of multifunctionality is not straightforwardwith this system, and would require adding extra dimensionsto the current description. Thus, in this model, informationon the function(s) of a gene product is not obtained by look-ing up catalogues, but is computed on the �y via queries tothe aMAZE database, which analyze the network of inter-actions in which the gene product takes part. Other moreelaborate data structures make a clear distinction betweenentities and interactions. However, except for chemical andcatalyst reactions, all other types of interactions are rep-resented in relationship between the objects, rather thanobjects in their own right as in the aMAZE model. Theseadvanced models, though they may represent entities, inter-actions and pathways, fall short in representing hierarchicalrelationships between object classes, and the representationof object taxonomies, as the aMAZE does.� Anissa Larson

[111] J. van Helden, A. Naim, R. Mancuso, M. Eldridge, L. Wernlsch,

Page 43: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

42 Bibliography

D. Gilbert, and S.J. Wodak. Representing and analyzing molecular andcellular function in the computer. Biological Chemistry, 381(9/10):921�935, 2000.

The authors of this article discuss problems with existingbiological databases and the need for �nding better waysto represent information including the representation of bi-ological function on multiple levels. They discuss how theaMAZE database model will address some of these prob-lems. The aMAZE database model goes beyond the de�ningand catagorizing tasks of most ontologies by de�ning pro-teins and compounds in a functional context and allowingrepresentation of multiple functions for the same molecule.The data model also has the capacity to add new knowledgein a �exible way when needed. � Amy Rulo

[112] E.O. Voit. Computational Analysis of Biochemical Systems. CambridgeUniversity Press, Cambridge, UK, 2000.

[113] A. Wagner and D.A. Fell. The small world inside large metabolicnetwork. Working paper 00-07-041, The Sante Fe Institute, 1399 HydePark Road, Sante Fe, NM 87501, 2000. Note: available at http://www.santafe.edu/s�/publications/00wplist.html.

[114] D. Weaver, C. Workman, and G. Stormo. Modeling regulatory net-works with weight matrices. In Proceedings of the Paci�c Symposium

on Biocomputing (PSB), volume 4, pages 112�123, 1999.

The authors describe the TReMM (Transcription RegulationModeled with Matrices) algorithm to model gene regulatorypathways with a linear weight matrix. Each row representsall of the regulatory inputs for one gene. TReMM was im-plemented in MATLAB, and it is described as a frameworkwithin which more accurate nonlinear modeling componentsand environmental variables can be included.� Adolfo Perez

[115] L.F.A. Wessels, E.P. Van Someren, and M.J.T. Reinders. A comparisonof genetic network models. In R.B. Altman, A.K. Dunker, L. Hunter,and T.E. Klein, editors, Proceedings of the Paci�c Symposium on Bio-

computing (PSB), volume 6, pages 508�519, http://www-smi.stanford.edu/projects/helix/psb01/, 2001. World Wide Web.

Page 44: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

Mathematics Clinic Supplement 43

Genetic networks were proposed as a possible methodologyfor modeling genetic interactions. Since then, a wide varietyof di�erent models have been introduced. It is unclear whatthe strengths and weaknesses of each of these approaches are.This article compares and discover what about each networkmakes them unique but at the same time similar. Also thispaper addresses the extraction of the gene regulation matrixfrom the expressed data.� Felemon Belay

Several genetic network models have been proposed for mod-elling genetic interactions. This paper compares many ofthose di�erent approaches and rates them based on theirconsistency, ability to infer and predict, stability and com-putational cost. Each of these properties is discussed. Thesemodels serve the purpose of extracting the gene regulationmatrix. The paper gives the results of the comparisons, show-ing which models are best suited for performing large scalegene expression and anlysis.� Jennifer Phillips

[116] U. Wittig and A. De Beuckelaer. Analysis and comparison of metabolicpathway databases. Brie�ngs in Bioinformatics, 2(2):126�142, 2001.

This is a useful, albeit very brief, description of currentpathway databases (most of which are static and have nocomputational methods to support inference): CSNDB, Eco-Cyc/MetaCyc, ExPASy � Biochemcial Pathways, KEGG,PATHDB, SPAD UM-BBD. (It does not include others, suchas BioCarta [10].)

[117] L. Wong. PIES: A protein interaction extraction system. In R.B. Alt-man, A.K. Dunker, L. Hunter, and T.E. Klein, editors, Proceedingsof the Paci�c Symposium on Biocomputing (PSB), volume 6, pages520�531, http://www-smi.stanford.edu/projects/helix/psb97/, 2001.World Wide Web.

The Protein Interaction Extraction System (PIES) is a dataextraction method that uses three separate tools for datacollection, analysis, and visualization development. A natu-ral language processing method is utilized and the informa-tion is analyzes to create graphical layouts for metabolic andprotein pathways. A strength of the PIES program is in itsability to utilize multiple comparison tools.� Ben Perrone

Page 45: 2 Bibliograph · 2019. 4. 4. · 2 Bibliograph y represen tation that uses no de and edges expresses atoms and enzymatic mappings, so it considers atomic lev el, not comp ound lev

44 Bibliography

[118] A. Zien, R. Kü�ner, R. Zimmer, and T. Lengauer. Analysis of geneexpression data with pathway scores. In P. Bourne, M. Gribskov,R. Altman, N. Jensen, D. Hope, T. Lengauer, J. Mitchell, E. Schee�,C. Smith, S. Strande, and H. Weissig, editors, Proceedings of the EighthIntelligent Systems for Molecular Biology Conference (ISMB), pages407�417, Menlo Park, CA, 2000. AAAI Press.