LEADER 05528nam 2200709 450 001 9910132156603321 005 20230803204225.0 010 $a1-119-01521-9 010 $a1-119-00522-1 010 $a1-119-01533-2 035 $a(CKB)3710000000218284 035 $a(EBL)1765112 035 $a(SSID)ssj0001411781 035 $a(PQKBManifestationID)11753489 035 $a(PQKBTitleCode)TC0001411781 035 $a(PQKBWorkID)11401602 035 $a(PQKB)10081305 035 $a(MiAaPQ)EBC4040537 035 $a(OCoLC)887507393 035 $a(MiAaPQ)EBC1765112 035 $a(Au-PeEL)EBL1765112 035 $a(CaPaEBR)ebr10907565 035 $a(CaONFJC)MIL637336 035 $a(EXLCZ)993710000000218284 100 $a20140822h20142014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aLogical modeling of biological systems /$fedited by Luis Farin?as del Cerro, Katsumi Inoue 210 1$aLondon, [England] ;$aHoboken, New Jersey :$cISTE :$cWiley,$d2014. 210 4$dİ2014 215 $a1 online resource (429 p.) 225 0 $aBioengineering and Health Science Series 300 $aDescription based upon print version of record. 311 $a1-84821-680-7 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aCover; Title Page; Copyright; Contents; Foreword; Chapter 1. Symbolic Representation and Inference of Regulatory Network Structures; 1.1. Introduction: logical modeling and abductive inference in systems biology; 1.2. Logical modeling of regulatory networks; 1.2.1. Background; 1.2.2. Logical model of signed-directed networks; 1.2.2.1. Prior knowledge; 1.2.2.2. Rule-based underlying model; 1.2.2.3. Integrity constraints; 1.2.2.4. Inferring signed-directed networks and explanatory reasoning; 1.3. Evaluation of the ARNI approach; 1.3.1. ARNI predictive power 327 $a1.3.1.1. Prediction under biological and experimental noise1.3.1.2. Prediction under incomplete data; 1.3.2. ARNI expressive power; 1.3.2.1. Network motif representations; 1.3.2.2. Representing complex interactions; 1.4. ARNI assisted scientific methodology; 1.4.1. Testing biological hypotheses; 1.4.1.1. Testing cross-talk between signaling pathways; 1.4.2. Informative experiments for networks discrimination; 1.5. Related work and comparison with non-symbolic approaches; 1.5.1. Limitations and future work; 1.6. Conclusions; 1.7. Bibliography 327 $aChapter 2. Reasoning on the Response of Logical Signaling Networks with ASP2.1. Introduction; 2.2. Answer set programming at a glance; 2.3. Learn and control logical networks with ASP; 2.3.1. Preliminaries; 2.3.2. Reasoning on the response of logical networks; 2.3.3. Learning models of immediate-early response; 2.3.4. Minimal intervention strategies; 2.3.5. Software toolbox: caspo; 2.4. Conclusion; 2.5. Acknowledgments; 2.6. Bibliography; Chapter 3. A Logical Model for Molecular Interaction Maps; 3.1. Introduction; 3.2. Biological background; 3.3. Logical model 327 $a3.3.1. Activation and inhibition3.3.1.1. Activation and inhibition capacities; 3.3.1.2. Relations between the activation and inhibition causes and effects; 3.3.1.3. Relations between causal relations; 3.3.2. Model extension; 3.3.2.1. Phosphorylation; 3.3.2.2. Autophosphorylation; 3.3.2.3. Binding; 3.3.3. Causality relations redefinition; 3.3.3.1. Activation axioms; 3.3.3.2. Phosphorylation axioms; 3.3.3.3. Autophosphorylation axioms; 3.3.3.4. Binding axioms; 3.3.3.5. Inhibition axioms; 3.4. Quantifier elimination for restricted formulas; 3.4.1. Domain formulas; 3.4.2. Restricted formulas 327 $a3.4.3. Completion formulas3.4.4. Domain of domain formulas; 3.4.5. Quantifier elimination procedure; 3.5. Reasoning about interactions in metabolic interaction maps; 3.6. Conclusion and future work; 3.7. Acknowledgments; 3.8. Bibliography; Chapter 4. Analyzing Large Network Dynamics with Process Hitting; 4.1. Introduction/state of the art; 4.1.1. The modeling challenge; 4.1.2. Historical context: Boolean and discrete models; 4.1.3. Analysis issues; 4.1.4. The process hitting framework; 4.1.5. Outline; 4.2. Discrete modeling with the process hitting; 4.2.1. Motivation 327 $a4.2.2. The process hitting framework 330 $a Systems Biology is the systematic study of the interactions between the components of a biological system and studies how these interactions give rise to the function and behavior of the living system. Through this, a life process is to be understood as a whole system rather than the collection of the parts considered separately. Systems Biology is therefore more than just an emerging field: it represents a new way of thinking about biology with a dramatic impact on the way that research is performed. The logical approach provides an intuitive method to provide explanations based on an expres 410 0$aBioengineering and health science series. 606 $aBiology$xMethodology 606 $aBiology$xPhilosophy 606 $aEvolution (Biology) 615 0$aBiology$xMethodology. 615 0$aBiology$xPhilosophy. 615 0$aEvolution (Biology) 676 $a570.28 702 $aFarin?as del Cerro$b Luis 702 $aInoue$b Katsumi 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910132156603321 996 $aLogical modeling of biological systems$92113790 997 $aUNINA