000 03695nam a22006015i 4500
001 978-3-642-11712-1
003 DE-He213
005 20140220084532.0
007 cr nn 008mamaa
008 100715s2010 gw | s |||| 0|eng d
020 _a9783642117121
_9978-3-642-11712-1
024 7 _a10.1007/978-3-642-11712-1
_2doi
050 4 _aQH324.2-324.25
072 7 _aPSA
_2bicssc
072 7 _aUB
_2bicssc
072 7 _aCOM014000
_2bisacsh
082 0 4 _a570.285
_223
100 1 _aPriami, Corrado.
_eeditor.
245 1 0 _aTransactions on Computational Systems Biology XII
_h[electronic resource] :
_bSpecial Issue on Modeling Methodologies /
_cedited by Corrado Priami, Rainer Breitling, David Gilbert, Monika Heiner, Adelinde M. Uhrmacher.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aIX, 263p. 73 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5945
505 0 _aBiomodel Engineering – From Structure to Behavior -- The Attributed Pi-Calculus with Priorities -- A Language for Biochemical Systems: Design and Formal Specification -- Mechanistic Insights into Metabolic Disturbance during Type-2 Diabetes and Obesity Using Qualitative Networks -- Modelling Self-assembly in BlenX -- Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon -- Modelling and Analysis of the NF-?B Pathway in Bio-PEPA.
520 _aThe LNCS journal Transactions on Computational Systems Biology is devoted to inter- and multidisciplinary research in the fields of computer science and life sciences and supports a paradigmatic shift in the techniques from computer and information science to cope with the new challenges arising from the systems oriented point of view of biological phenomena. This special issue of the journal focuses on the topic of modeling methodologies. It starts with a position paper by the guest editors, entitled Biomodel Engineering - from Structure to Behavior, which is followed by the technical contributions covering a broad range of modeling methodologies. Two papers focus on new modeling languages, and these are followed by an article presenting a case study demonstrating the value of the qualitative network approach. With the remaining three contributions, the special issue leaves the area of qualitative modeling, to move toward quantitative programming with the BlenX language and the application of more theoretical process calculi.
650 0 _aComputer science.
650 0 _aComputer software.
650 0 _aArtificial intelligence.
650 0 _aComputer simulation.
650 0 _aBioinformatics.
650 1 4 _aComputer Science.
650 2 4 _aComputational Biology/Bioinformatics.
650 2 4 _aSimulation and Modeling.
650 2 4 _aComputation by Abstract Devices.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aProbability and Statistics in Computer Science.
700 1 _aBreitling, Rainer.
_eeditor.
700 1 _aGilbert, David.
_eeditor.
700 1 _aHeiner, Monika.
_eeditor.
700 1 _aUhrmacher, Adelinde M.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642117114
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v5945
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-11712-1
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c111919
_d111919