Lincoln University Digital Thesis

Total Page:16

File Type:pdf, Size:1020Kb

Lincoln University Digital Thesis Lincoln University Digital Thesis Copyright Statement The digital copy of this thesis is protected by the Copyright Act 1994 (New Zealand). This thesis may be consulted by you, provided you comply with the provisions of the Act and the following conditions of use: you will use the copy only for the purposes of research or private study you will recognise the author's right to be identified as the author of the thesis and due acknowledgement will be made to the author where appropriate you will obtain the author's permission before publishing any material from the thesis. Two reduction methods to simplify complex ODE mathematical models of biological networks and a case study: The G1/S checkpoint/DNA-damage signal transduction pathways A thesis submitted in partial fulfilment of the requirements for the Degree of Doctor of Philosophy in Computer Sience at Lincoln University by Mutaz Khazaaleh Lincoln University 2018 Abstract of a thesis submitted in partial fulfilment of the requirements for the Degree of Doctor of Philosophy in Computer Science Two reduction methods to simplify complex ODE mathematical models of biological networks and a case study: The G1/S checkpoint/DNA-damage signal transduction pathways by Mutaz Khazaaleh Model reduction is a hot topic in studies of biological systems. By reducing the complexity of detailed models through finding important elements, developing multi-level models and keeping the soul (biological meaning) of the model, model reduction can help answer many important questions raised about these systems. This thesis addressed several issues related to complex systems, complexity, biological systems complexity and the different reduction methods used to simplify biological models. It gives a brief review of the biological background of the regulation of the cell cycle and proposes two reduction methods to simplify the corresponding complex ODE mathematical models. The first method is based on a hierarchical representation and lumping approach, and the Second method uses a time windows for identifying active and inactive periods of a system and logical models. For the purpose of the current study, biological network model reduction is defined as any method designed to reproduce the original model through a set of smaller models that collectively produce the same behaviour as the original model. It does this, by reducing one or more dimensions of the biological network model’s complexity (i.e., reducing the number of species, number of reactions or model run time). In the first reduction method, based on hierarchical representation and a lumping approach, we used G1/S checkpoint pathway as a case study to present this reduction method. This consisted of two parts; the first part reorganised the biological network as a hierarchy (levels) based on the protein binding relations, and this allowed us to model the biological network with different levels of abstraction. The ii second part applied different levels (level 1, 2, 3) of lumping the species together depending on the level of the hierarchy. We propose and simulate the reduced models for level-1, level-2 and level-3 of lumping for the G1/S checkpoint pathway and evaluate the biological plausibility of the proposed method by comparing the results with the original (ODE) model of Iwamoto et al. (2011). The results of the G1/S checkpoint pathway with or without DNA-damage for reduced models of level-1, level-2 and level-3 of lumping have agreed and are consistent with the original model results and with biological experiments Iwamoto et al. (2011). Therefore, the reduced model (level-1) can be used to evaluate the effects of DNA damage on G1 progression. It is suggested that the proposed method is suitable to reduce complex biological networks. Moreover, the reduced model is more efficient to run and generate solutions than the original ODE model. In second reduction method we used time windows and logical models. Time windows were used to identify regions of slow activity such as gene expression, fast activity such as protein signalling and no activity. In general, most knowledge about regulatory and signalling networks is of a qualitative nature, which allows these networks to be represented by logical models, where the state of a molecule is either 0 (inactive) or 1 (active). These simpler models have many advantages, such as ; they do not require kinetic parameters and are able to capture the essential behaviour of a network; however, they are not able to reproduce detailed time courses for the concentration levels of molecules. Nowadays, however, experiments yield more and more quantitative data, so many quantitative models have been built and most of these models are very complex. An obvious question, therefore, is how to reduce complex quantitative models so they can be used to explain and predict the outcome of these experiments. Here, we present a way of reducing complex quantitative models into logical (Boolean) models, where the use of time windows allows a reduction in time complexity and logical representation allows to do so without kinetic parameters in the model. The method is standardised and can readily be applied to complex quantitative models. Moreover, we discuss and generalise existing theoretical results on the relations between the Boolean and continuous models. As a case study, a continuous ODE model is reduced into a logical model describing the G1/S checkpoint with and without DNA damage. We discuss how this model can explain and predict the G1/S checkpoint behaviour with DNA damage, including oscillations for some molecules and the cell fate. This shows the reduced model is still useful for obtaining biological insights and is easier to run and analyse. This new method greatly helps to simplify complex quantitative models into simpler models and can facilitate the interactions between the modelling and the experiments. Moreover, it helps researchers iii and those who build models to focus on understanding and representing system behaviour rather than on determining the values for the kinetic parameters. While the analysis presented was in terms of biological networks, it should be noted that the specific example used was chosen to explain our two reduction methods. However, the two methods used could be more generally applied to the reduction of ODEs of biological systems and, even more generally, to most complex systems. Relaxing the struggle with the complexity of mathematical models is possible and the proposed reduction methods have the potential to make an impact across many fields of biomedical research. Keywords: Biological systems, biological networks, complexity, model reduction, hierarchy of protein complex formation (abstraction), Ordinary Differential Equations (ODEs), time windows, Boolean model, G1/S checkpoint, DNA damage. iv Acknowledgements First of all, all praise and thanks are due to Allah, the Almighty, having made everything possible by giving me strength and patience to accomplish this work. I must acknowledge and thank the Almighty Allah for blessing and grace. I would like to thank my supervisor, Professor Sandhya Samarasinghe, for the opportunity to undertake this thesis, and for her expert guidance and support in all aspects and stages of research. Without her supervision this research would not have been possible. I would like to thank my co-supervisor, Professor Don Kulasiri, for his expert help and support. To the staff at Lincoln University, thank you. This University offered me services and all the facilities I needed during my PhD thesis. The staff were very friendly and helpful. Special thanks also go to Caitriona Cameron at Teaching and Learning Services. I would like to thank Mom and Dad. Thanks for your love and support. And for teaching me to finish what I start. In addition, I want to direct many thanks to my brothers, sisters and friends, especially Professor Abdel- Rahman Abu-Melhim, for their continuous encouragement and support. Last but not least, great thanks go to my wife, for her love, patience, interest in my work and support. I would like to include my beautiful children (Karam, Jood, Hala, Seraj and Murad) in this acknowledgement. Finally, I dedicate this work to my father, who is a great man. Thank you all! Mutaz Khazaaleh July, 2018 v Table of Contents Abstract ....................................................................................................................................... ii Acknowledgements ...................................................................................................................... v Table of Contents ........................................................................................................................ vi List of Tables ................................................................................................................................ x List of Figures ............................................................................................................................. xii Abbreviations ……......................................................................................................................... xvi Chapter 1 Introduction ............................................................................................................ 1 1.1 General Introduction ................................................................................................................1 1.2 Overview ..................................................................................................................................3
Recommended publications
  • Fighting for Tenure the Jenny Harrison Case Opens Pandora's
    Calendar of AMS Meetings and Conferences This calendar lists all meetings and conferences approved prior to the date this issue insofar as is possible. Instructions for submission of abstracts can be found in the went to press. The summer and annual meetings are joint meetings with the Mathe­ January 1993 issue of the Notices on page 46. Abstracts of papers to be presented at matical Association of America. the meeting must be received at the headquarters of the Society in Providence, Rhode Abstracts of papers presented at a meeting of the Society are published in the Island, on or before the deadline given below for the meeting. Note that the deadline for journal Abstracts of papers presented to the American Mathematical Society in the abstracts for consideration for presentation at special sessions is usually three weeks issue corresponding to that of the Notices which contains the program of the meeting, earlier than that specified below. Meetings Abstract Program Meeting# Date Place Deadline Issue 890 t March 18-19, 1994 Lexington, Kentucky Expired March 891 t March 25-26, 1994 Manhattan, Kansas Expired March 892 t April8-10, 1994 Brooklyn, New York Expired April 893 t June 16-18, 1994 Eugene, Oregon April4 May-June 894 • August 15-17, 1994 (96th Summer Meeting) Minneapolis, Minnesota May 17 July-August 895 • October 28-29, 1994 Stillwater, Oklahoma August 3 October 896 • November 11-13, 1994 Richmond, Virginia August 3 October 897 • January 4-7, 1995 (101st Annual Meeting) San Francisco, California October 1 December March 4-5, 1995
    [Show full text]
  • Asymptotology of Chemical Reaction Networks
    Chemical Engineering Science 65 (2010) 2310-2324 Asymptotology of Chemical Reaction Networks A. N. Gorban ∗ University of Leicester, UK O. Radulescu IRMAR, UMR 6625, University of Rennes 1, Campus de Beaulieu, 35042 Rennes, France A. Y. Zinovyev Institut Curie, U900 INSERM/Curie/Mines ParisTech, 26 rue d’Ulm, F75248, Paris, France Abstract The concept of the limiting step is extended to the asymptotology of multiscale reaction networks. Complete theory for linear networks with well separated reaction rate constants is developed. We present algorithms for explicit approximations of eigenvalues and eigenvectors of kinetic matrix. Accuracy of estimates is proven. Performance of the algorithms is demonstrated on simple examples. Application of algorithms to nonlinear systems is discussed. Key words: Reaction network, asymptotology, dominant system, limiting step, multiscale asymptotic, model reduction PACS: 64.60.aq, 82.40.Qt, 82.39.Fk, 82.39.Rt 87.15.R-, 89.75.Fb 1. Introduction was proposed by Kruskal (1963), but fundamental research in this direction are much older, and many Most of mathematical models that really work fundamental approaches were developed by I. New- are simplifications of the basic theoretical models ton (Newton polyhedron, and many other things). Following Kruskal (1963), asymptotology is “the arXiv:0903.5072v2 [physics.chem-ph] 14 Jun 2010 and use in the backgrounds an assumption that some terms are big, and some other terms are small art of describing the behavior of a specified solution enough to neglect or almost neglect them. The closer (or family of solutions) of a system in a limiting case. consideration shows that such a simple separation ..
    [Show full text]
  • Tropical Geometry of Biological Systems O Radulescu
    Tropical Geometry of Biological Systems O Radulescu To cite this version: O Radulescu. Tropical Geometry of Biological Systems. CASC 2020, Sep 2020, Linz, Austria. hal- 02949563 HAL Id: hal-02949563 https://hal.archives-ouvertes.fr/hal-02949563 Submitted on 25 Sep 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Tropical Geometry of Biological Systems (Invited Talk) O. Radulescu University of Montpellier, and CNRS UMR5235 LPHI, Montpellier, France [email protected] Abstract. Tropical geometry ideas were developed by mathematicians that got inspired from very different topics in physics, discrete mathe- matics, optimization, algebraic geometry. In tropical geometry, tools like the logarithmic transformation coarse grain complex objects, drastically simplifying their analysis. I discuss here how similar concepts can be applied to dynamical systems used in biological modeling. In particular, tropical geometry is a natural framework for model reduction and for the study of metastability and itinerancy phenomena in complex biochemical networks. Keywords: Tropical geometry, chemical reaction networks, model reduction, singular perturbations, metastability, itinerancy 1 Introduction Mathematical modelling of biological systems is a daunting challenge. In or- der to cope realistically with the biochemistry of cells, tissues and organisms, both in fundamental and applied biological research, systems biology models use hundreds and thousands of variables structured as biochemical networks [16,38,1].
    [Show full text]
  • Appendix a Linear and Nonlinear Mathematical Physics: from Harmonic Waves to Solitons
    Appendix A Linear and Nonlinear Mathematical Physics: from Harmonic Waves to Solitons It does not say in the Bible that the fundamental equations of physics must be linear. -E. Fermi 1 In this section we describe briefly a very impressing development of Nonlinear Science strongly connected with the discovery of solitons ( Manevitch, 1996). In the last few decades, problems of a qualitatively new type have appeared in different fields of physics. A turning point was transition from quasi-linear (almost linear) Physics to essentially nonlinear Physics. Such a transition would be impossible or, at least, near hopelessly difficult without a parallel development of mathematical techniques fitting well with the new physical ideas. Therefore it is very important that modern progress in physics took place at the same time as amazing mathematical discoveries. Similar key notions (though in different guises), for the first time, after a long period, turn out to be at the center of attention simultaneously of physicists and mathemati­ cians. Certainly a soliton or particle-like wave is a case in point. This term first appeared in the pages of scientific journals some forty years ago and one sees it, perhaps, in all fields of physics. The role of the soliton in nonlinear mathematical physics is similar to the role of har­ monic oscillations and waves (corresponding, for example to pure tones in acoustics and pure colors in optics) in the quasi-linear case. Therefore we can symbolically characterize the path from quasi-linear to nonlin­ ear mathematical physics, as it is called in the title of this section, as: 183 184 ASYMPTOTOLOGY: IDEAS, METHODS, AND APPLICATIONS from harmonic waves to solitons.
    [Show full text]
  • A Structural Perspective on the Dynamics of Biochemical Systems Sylvain Soliman
    A structural perspective on the dynamics of biochemical systems Sylvain Soliman To cite this version: Sylvain Soliman. A structural perspective on the dynamics of biochemical systems. Bioinformatics [q-bio.QM]. Université Paris Sud - Orsay, 2016. tel-01403712 HAL Id: tel-01403712 https://tel.archives-ouvertes.fr/tel-01403712 Submitted on 7 Dec 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. HABILITATION À DIRIGER DES RECHERCHES Spécialité : Informatique par Sylvain Soliman A structural perspective on the dynamics of biochemical systems Présentée le 7 décembre 2016 devant le jury composé de : M. Vincent Danos (Rapporteur) M. Simon de Givry (Rapporteur) M. Nicolas Le Novère (Rapporteur) M. Philippe Dague M. Alain Denise M. François Fages M. Christophe Soulé H.D.R. préparée au sein de l’EPI LIFEWARE CENTRE DE RECHERCHE Inria Saclay – Île-de-France 1 rue Honoré d’Estienne d’Orves Bâtiment Alan Turing Campus de l’École Polytechnique 91120 Palaiseau Abstract In recent years Systems Biology has become a rich field of study, trying to encompass all the information that has become available thanks to the new high-throughput techniques of biologists. Fifteen years ago, a fundamental breakthrough was the publication of Kurt Kohn’s map of the cell cycle control in mammals.
    [Show full text]
  • Arxiv:1802.05745V1 [Physics.Chem-Ph] 15 Feb 2018 Rpitsbitdt Elsevier to Submitted Preprint Hoiso Ope Hmclratos He Simple Invented: Three Been Have Ideas Reactions
    Model reduction in chemical dynamics: slow invariant manifolds, singular perturbations, thermodynamic estimates, and analysis of reaction graph A.N. Gorbana,b aDepartment of Mathematics, University of Leicester, Leicester, LE1 7RH, UK bLobachevsky University, Nizhni Novgorod, Russia Abstract The paper has two goals: (1) It presents basic ideas, notions, and methods for reduction of reaction kinetics models: quasi-steady-state, quasi- equilibrium, slow invariant manifolds, and limiting steps. (2) It describes briefly the current state of the art and some latest achievements in the broad area of model reduction in chemical and biochemical kinetics, including new results in methods of invariant manifolds, computation singular perturbation, bottleneck methods, asymptotology, tropical equilibration, and reaction mechanism skeletonisation. Keywords: reaction network, quasi steady state, quasi-equilibrium, limiting step, dominant path, entropy production Historical introduction • The Quasi Steady State approximation or QSS (some of species, very often these are some of Three eras (or waves) of chemical dynamics can be intemediates or radicals, exist in relatively small associated with their leaders [1]: (1) the vant Hoff amounts; they reach quickly their QSS concentra- wave (the first Nobel Prize in Chemistry, 1901) (2) the tions, and then follow, as a slave, the dynamics of Semenov–Hinshelwood wave, and (3) the Aris wave. these other species remaining close to the QSS). The problem of modelling of complex reaction networks The QSS is defined as the steady state under con- was in the focus of chemical dynamics research since dition that the concentrations of other species do the invention of the concept of “chain reactions” by not change; Semenov and Hinshelwood (the shared Nobel Prize in Chemistry, 1956).
    [Show full text]
  • Mathematical Analysis of the Interaction of an Inviscid Fluid with Immersed Structures Krisztian Benyo
    Mathematical analysis of the interaction of an inviscid fluid with immersed structures Krisztian Benyo To cite this version: Krisztian Benyo. Mathematical analysis of the interaction of an inviscid fluid with immersed structures. Fluid mechanics [physics.class-ph]. Université de Bordeaux, 2018. English. NNT : 2018BORD0156. tel-01927910 HAL Id: tel-01927910 https://tel.archives-ouvertes.fr/tel-01927910 Submitted on 20 Nov 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Thèse de doctorat de l’Université de Bordeaux École doctorale de mathématiques et d’informatique Spécialité : Mathématiques Appliquées Présentée par Krisztián Benyó pour obtenir le grade de docteur de l’Université de Bordeaux Analyse mathématique de l’interaction d’un fluide non-visqueux avec des structures immergées Date de soutenance : 25 septembre 2018 Directeurs de thèse : M. David Lannes DR CNRS (Université de Bordeaux) M. Franck Sueur Professeur (Université de Bordeaux) Rapporteurs : M. Pascal Noble Professeur (Université Paul Sabatier) M. Takéo Takahashi CR Inria (Université
    [Show full text]
  • As a Conclusion
    As a Conclusion This book proposed a tour d’horizon, a fresco, on linear and nonlinear extrapolation methods, Padé approximation, formal orthogonal polynomials, continued fractions, and related topics. It also has the unique feature of mixing mathematical concepts and results, their history, a detailed analysis of important publications, personal testimonies by researchers involved in research on these domains, and information, anecdotes, and exclusive remembrances on some actors. After a mathematical introduction to these themes, we gave an account of their status of knowledge around 1950, that is, at the time most scholars, Aitken, Richard- son, Shanks, Wynn, and others, began their research. In the course of the analysis of these works, and in particular of Peter Wynn’s papers and reports (all written alone), some more mathematical concepts were introduced and explained. Then the recent developments of the domains were presented. In published papers and books, research is most of the time introduced in an impersonal way, although developed by people who have existed or are still alive. The human side of research is missing. This is why we asked researchers who personally played (and are still playing) a role in these fields, and whose works are related to those described herein, to send us their testimonies. They show how research in a domain starts and evolves. For the same reason, biographies of other scholars encountered have been included. The human side of research plays a fundamental part in its development. This is why congresses form an important feature of our profession, since they allow researchers to meet other specialists and to build relationships that often last a lifetime.
    [Show full text]