{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:36:11Z","timestamp":1725536171681},"publisher-location":"Berlin, Heidelberg","reference-count":45,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888680"},{"type":"electronic","value":"9783540888697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-88869-7_33","type":"book-chapter","created":{"date-parts":[[2009,8,12]],"date-time":"2009-08-12T21:41:55Z","timestamp":1250113315000},"page":"661-674","source":"Crossref","is-referenced-by-count":1,"title":["On Using Divide and Conquer in Modeling Natural Systems"],"prefix":"10.1007","author":[{"given":"Yaki","family":"Setty","sequence":"first","affiliation":[]},{"given":"Irun R.","family":"Cohen","sequence":"additional","affiliation":[]},{"given":"Avi E.","family":"Mayo","sequence":"additional","affiliation":[]},{"given":"David","family":"Harel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,8,13]]},"reference":[{"key":"33_CR1","unstructured":"3D Game Studio. www.3dgamestudio.com"},{"key":"33_CR2","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1016\/j.cell.2006.07.018","volume":"126","author":"JD Axelrod","year":"2006","unstructured":"Axelrod JD (2006) Cell shape in proliferating epithelia: a multifaceted problem. Cell 126:643\u2013645","journal-title":"Cell"},{"key":"33_CR3","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/11599128_10","volume":"3","author":"L Cardelli","year":"2005","unstructured":"Cardelli L (2005) Abstract machines of systems biology. Trans Comput Syst Biol 3:145\u2013168","journal-title":"Trans Comput Syst Biol"},{"key":"33_CR4","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/S1043-2760(02)00039-5","volume":"14","author":"SK Chakrabarti","year":"2003","unstructured":"Chakrabarti SK, Mirmira RG (2003) Transcription factors direct the development and function of pancreatic beta cells. Trends Endocrinol Metab 14:78\u201384","journal-title":"Trends Endocrinol Metab"},{"key":"33_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1210\/rp.56.1.23","volume":"56","author":"K Chu","year":"2001","unstructured":"Chu K, Nemoz-Gaillard E, Tsai MJ (2001) BETA2 and pancreatic islet development. Recent Prog Horm Res 56:23\u201346","journal-title":"Recent Prog Horm Res"},{"key":"33_CR6","doi-asserted-by":"publisher","first-page":"1243","DOI":"10.1083\/jcb.200306139","volume":"163","author":"A Ciliberto","year":"2003","unstructured":"Ciliberto A, Novak B, Tyson JJ (2003) Mathematical model of the morphogenesis checkpoint in budding yeast. J Cell Biol 163:1243\u20131254","journal-title":"J Cell Biol"},{"key":"33_CR7","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1098\/rsif.2006.0173","volume":"4","author":"IR Cohen","year":"2007","unstructured":"Cohen IR, Harel D (2007) Explaining a complex living system: dynamics, multi-scaling and emergence. J R Soc Interface 4:175\u2013182","journal-title":"J R Soc Interface"},{"key":"33_CR8","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719147","volume-title":"Mathematical models in biology","author":"L Edelstein-Keshet","year":"2005","unstructured":"Edelstein-Keshet L (2005) Mathematical models in biology. Society for Industrial and Applied Mathematics, Philadelphia"},{"key":"33_CR9","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1038\/nrg841","volume":"3","author":"H Edlund","year":"2002","unstructured":"Edlund H (2002) Pancreatic organogenesis\u2014developmental mechanisms and implications for therapy. Nat Rev Genet 3:524\u2013532","journal-title":"Nat Rev Genet"},{"key":"33_CR10","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MC.2005.31","volume":"38","author":"S Efroni","year":"2005","unstructured":"Efroni S, Harel D, Cohen IR (2005) Reactive animation: realistic modeling of complex dynamic systems. IEEE Comput 38:38\u201347","journal-title":"IEEE Comput"},{"issue":"5","key":"33_CR11","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.2004.1297236","volume":"37","author":"A Finkelstein","year":"2004","unstructured":"Finkelstein A, Hetherington J, Li L, Margoninski O, Saffrey P, Seymour R, Warner A (2004) Computational challenges of systems biology. IEEE Comput 37(5):26\u201333","journal-title":"IEEE Comput"},{"key":"33_CR12","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J Fisher","year":"2007","unstructured":"Fisher J, Henzinger TA (2007) Executable cell biology. Nat Biotechnol 25:1239\u20131249","journal-title":"Nat Biotechnol"},{"key":"33_CR13","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1049\/sb:20045019","volume":"1","author":"R Ghosh","year":"2004","unstructured":"Ghosh R, Tomlin C (2004) Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modelling: delta\u2013notch protein signalling. Syst Biol (Stevenage) 1:170\u2013183","journal-title":"Syst Biol (Stevenage)"},{"key":"33_CR14","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1038\/nature05014","volume":"442","author":"MC Gibson","year":"2006","unstructured":"Gibson MC, Patel AB, Nagpal R, Perrimon N (2006) The emergence of geometric order in proliferating metazoan epithelia. Nature 442:1038\u20131041","journal-title":"Nature"},{"key":"33_CR15","unstructured":"Gorgevik D, Loskovska S, Mihajlov D (1994) Lindenmayer system application on the human kidney arterial system. In: Proceedings of the 12th international congress of the European federation for medical informatics, pp 127\u2013131"},{"key":"33_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel D (1987) Statecharts: a visual formalism for complex systems. Sci Comput Program 8:231\u2013274","journal-title":"Sci Comput Program"},{"key":"33_CR17","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D Harel","year":"1997","unstructured":"Harel D, Gery E (1997) Executable object modeling with statecharts. IEEE Comput 30:31\u201342","journal-title":"IEEE Comput"},{"key":"33_CR18","unstructured":"Harel D, Setty Y (2007) Generic reactive animation: realistic modeling of natural complex systems (submitted)"},{"key":"33_CR19","series-title":"Lecture notes in bioinformatics","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11885191_3","volume-title":"Proceedings of the computational methods in systems biology (CMSB\u201906)","author":"J Heath","year":"2006","unstructured":"Heath J, Kwiatkowska M, Norman G, Parker D, Tymchyshyn O (2006) Probabilistic model checking of complex biological pathways. In: Priami C (ed) Proceedings of the computational methods in systems biology (CMSB\u201906). Lecture notes in bioinformatics, vol 4210. Springer, Berlin, pp\u00a032\u201347"},{"key":"33_CR20","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1002\/dvdy.10460","volume":"229","author":"J Jensen","year":"2004","unstructured":"Jensen J (2004) Gene regulatory factors in pancreatic development. Dev Dyn 229:176\u2013200","journal-title":"Dev Dyn"},{"key":"33_CR21","doi-asserted-by":"publisher","first-page":"540","DOI":"10.1016\/S0959-437X(02)00338-6","volume":"12","author":"SK Kim","year":"2002","unstructured":"Kim SK, MacDonald RJ (2002) Signaling and transcriptional control of pancreatic organogenesis. Curr Opin Genet Dev 12:540\u2013547","journal-title":"Curr Opin Genet Dev"},{"key":"33_CR22","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/0022-5193(68)90079-9","volume":"18","author":"A Lindenmayer","year":"1968","unstructured":"Lindenmayer A (1968) Mathematical models for cellular interaction in development. J Theor Biol 18:280\u2013315","journal-title":"J Theor Biol"},{"key":"33_CR23","unstructured":"The MathWorks. www.mathworks.com"},{"key":"33_CR24","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1104\/pp.105.060483","volume":"139","author":"L Mundermann","year":"2005","unstructured":"Mundermann L, Erasmus Y, Lane B, Coen E, Prusinkiewicz P (2005) Quantitative modeling of arabidopsis development. Plant Physiol 139:960\u2013968","journal-title":"Plant Physiol"},{"key":"33_CR25","unstructured":"Mundermann L, MacMurchy P, Pivovarov J, Prusinkiewicz P (2003) Modeling lobed leaves. In: Proceedings of computer graphics international"},{"key":"33_CR26","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1146\/annurev.cellbio.19.111301.144752","volume":"19","author":"LC Murtaugh","year":"2003","unstructured":"Murtaugh LC, Melton DA (2003) Genes, signals, and lineages in pancreas development. Annu Rev Cell Dev Biol 19:71\u201389","journal-title":"Annu Rev Cell Dev Biol"},{"key":"33_CR27","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1126\/science.1131000","volume":"314","author":"CM Nelson","year":"2006","unstructured":"Nelson CM, Vanduijn MM, Inman JL, Fletcher DA, Bissell MJ (2006) Tissue geometry determines sites of mammary branching morphogenesis in organotypic cultures. Science 314:298\u2013300","journal-title":"Science"},{"key":"33_CR28","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1042\/BST0330539","volume":"33","author":"D Noble","year":"2005","unstructured":"Noble D (2005) The heart is already working. Biochem Soc Trans 33:539\u2013542","journal-title":"Biochem Soc Trans"},{"key":"33_CR29","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1016\/0012-1606(72)90083-8","volume":"29","author":"RL Pictet","year":"1972","unstructured":"Pictet RL, Clark WR, Williams RH, Rutter WJ (1972) An ultrastructural analysis of the developing embryonic pancreas. Dev Biol 29:436\u2013467","journal-title":"Dev Biol"},{"key":"33_CR30","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1093\/bib\/5.3.259","volume":"5","author":"C Priami","year":"2004","unstructured":"Priami C, Quaglia P (2004) Modelling the dynamics of biosystems. Brief Bioinform 5:259\u2013269","journal-title":"Brief Bioinform"},{"key":"33_CR31","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.pbi.2003.11.007","volume":"7","author":"P Prusinkiewicz","year":"2004","unstructured":"Prusinkiewicz P (2004) Modeling plant growth and development. Curr Opin Plant Biol 7:79\u201383","journal-title":"Curr Opin Plant Biol"},{"key":"33_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-1428-9","volume-title":"Lindenmayer systems, fractals and plants","author":"P Prusinkiewicz","year":"1989","unstructured":"Prusinkiewicz P, Hanan J (1989) Lindenmayer systems, fractals and plants. Springer, New York"},{"key":"33_CR33","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.pbi.2005.11.015","volume":"9","author":"P Prusinkiewicz","year":"2006","unstructured":"Prusinkiewicz P, Rolland-Lagan AG (2006) Modeling plant morphogenesis. Curr Opin Plant Biol 9:83\u201388","journal-title":"Curr Opin Plant Biol"},{"key":"33_CR34","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A Regev","year":"2002","unstructured":"Regev A, Shapiro E (2002) Cellular abstractions: cells as computation. Nature 419:343","journal-title":"Nature"},{"key":"33_CR35","unstructured":"Regev A, Silverman W, Shapiro E (2001) Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Pacific symposium on biocomputing, pp\u00a0459\u2013470"},{"key":"33_CR36","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1145\/1138304.1138316","volume-title":"GaMMa\u201906: proceedings of the 2006 international workshop on global integrated model management","author":"M Roux-Rouqui\u00e9","year":"2006","unstructured":"Roux-Rouqui\u00e9 M, daRosa DS (2006) Ten top reasons for systems biology to get into model-driven engineering. In: GaMMa\u201906: proceedings of the 2006 international workshop on global integrated model management. New York, ACM, pp 55\u201358"},{"key":"33_CR37","doi-asserted-by":"publisher","first-page":"2639","DOI":"10.1210\/en.2004-0051","volume":"145","author":"SE Schonhoff","year":"2004","unstructured":"Schonhoff SE, Giel-Moloney M, Leiter AB (2004) Minireview: development and differentiation of gut endocrine cells. Endocrinology 145:2639\u20132644","journal-title":"Endocrinology"},{"key":"33_CR38","volume-title":"Modeling dynamic phenomena in molecular and cellular biology","author":"LA Segel","year":"1984","unstructured":"Segel LA (1984) Modeling dynamic phenomena in molecular and cellular biology. Cambridge University Press, New York"},{"key":"33_CR39","volume-title":"Biological kinetics","author":"LA Segel","year":"1991","unstructured":"Segel LA (1991) Biological kinetics. Cambridge University Press, New York"},{"issue":"51","key":"33_CR40","doi-asserted-by":"publisher","first-page":"20374","DOI":"10.1073\/pnas.0808725105","volume":"105","author":"Y Setty","year":"2008","unstructured":"Setty Y, Cohen IR, Dor Y, Harel D (2008) Four-dimensional realistic modeling of pancreatic organogenesis. Proc Natl Acad Sci USA 105(51):20374\u201320379","journal-title":"Proc Natl Acad Sci USA"},{"key":"33_CR41","doi-asserted-by":"crossref","first-page":"1569","DOI":"10.1242\/dev.121.6.1569","volume":"121","author":"JM Slack","year":"1995","unstructured":"Slack JM (1995) Developmental biology of the pancreas. Development 121:1569\u20131580","journal-title":"Development"},{"key":"33_CR42","doi-asserted-by":"publisher","first-page":"1301","DOI":"10.1073\/pnas.0510457103","volume":"103","author":"RS Smith","year":"2006","unstructured":"Smith RS, Guyomarc\u2019h S, Mandel T, Reinhardt D, Kuhlemeier C, Prusinkiewicz P (2006) A\u00a0plausible model of phyllotaxis. Proc Natl Acad Sci USA 103:1301\u20131306","journal-title":"Proc Natl Acad Sci USA"},{"key":"33_CR43","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1109\/ICDE.2005.212","volume-title":"ICDEW\u201905: proceedings of the 21st international conference on data engineering workshops","author":"C Taubner","year":"2005","unstructured":"Taubner C, Merker T (2005) Discrete modelling of the ethylene-pathway. In: ICDEW\u201905: proceedings of the 21st international conference on data engineering workshops. Washington, IEEE Computer Society, p 1152"},{"key":"33_CR44","unstructured":"Telelogic. www.telelogic.com"},{"issue":"2","key":"33_CR45","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s10489-006-6937-9","volume":"24","author":"K Webb","year":"2006","unstructured":"Webb K, White T (2006) Cell modeling with reusable agent-based formalisms. Appl Intell 24(2):169\u2013181","journal-title":"Appl Intell"}],"container-title":["Natural Computing Series","Algorithmic Bioprocesses"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88869-7_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,9]],"date-time":"2021-10-09T16:03:02Z","timestamp":1633795382000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88869-7_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540888680","9783540888697"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88869-7_33","relation":{},"ISSN":["1619-7127"],"issn-type":[{"type":"print","value":"1619-7127"}],"subject":[],"published":{"date-parts":[[2009]]}}}