{"intvolume":"      9271","publication_status":"published","oa_version":"Preprint","oa":1,"acknowledgement":"This research was supported by the People Programme (Marie Curie Actions) of the European Union’s Seventh Framework Programme (FP7/2007-2013) under REA grant agreement no. 291734, and the SNSF Early Postdoc.Mobility Fellowship, the grant number P2EZP2_148797.","author":[{"last_name":"Beica","full_name":"Beica, Andreea","first_name":"Andreea"},{"id":"47F8433E-F248-11E8-B48F-1D18A9856A87","first_name":"Calin C","last_name":"Guet","full_name":"Guet, Calin C","orcid":"0000-0001-6220-2052"},{"orcid":"0000-0002-9041-0905","last_name":"Petrov","full_name":"Petrov, Tatjana","first_name":"Tatjana","id":"3D5811FC-F248-11E8-B48F-1D18A9856A87"}],"type":"conference","year":"2016","date_updated":"2021-01-12T06:51:22Z","month":"01","page":"173 - 191","volume":9271,"date_created":"2018-12-11T11:52:31Z","department":[{"_id":"CaGu"},{"_id":"ToHe"}],"title":"Efficient reduction of kappa models by static inspection of the rule-set","_id":"1524","user_id":"3E5EF7F0-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"publisher":"Springer","publist_id":"5649","abstract":[{"lang":"eng","text":"When designing genetic circuits, the typical primitives used in major existing modelling formalisms are gene interaction graphs, where edges between genes denote either an activation or inhibition relation. However, when designing experiments, it is important to be precise about the low-level mechanistic details as to how each such relation is implemented. The rule-based modelling language Kappa allows to unambiguously specify mechanistic details such as DNA binding sites, dimerisation of transcription factors, or co-operative interactions. Such a detailed description comes with complexity and computationally costly executions. We propose a general method for automatically transforming a rule-based program, by eliminating intermediate species and adjusting the rate constants accordingly. To the best of our knowledge, we show the first automated reduction of rule-based models based on equilibrium approximations.\r\nOur algorithm is an adaptation of an existing algorithm, which was designed for reducing reaction-based programs; our version of the algorithm scans the rule-based Kappa model in search for those interaction patterns known to be amenable to equilibrium approximations (e.g. Michaelis-Menten scheme). Additional checks are then performed in order to verify if the reduction is meaningful in the context of the full model. The reduced model is efficiently obtained by static inspection over the rule-set. The tool is tested on a detailed rule-based model of a λ-phage switch, which lists 92 rules and 13 agents. The reduced model has 11 rules and 5 agents, and provides a dramatic reduction in simulation time of several orders of magnitude."}],"conference":{"location":"Madrid, Spain","end_date":"2015-09-05","name":"HSB: Hybrid Systems Biology","start_date":"2015-09-04"},"citation":{"mla":"Beica, Andreea, et al. <i>Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set</i>. Vol. 9271, Springer, 2016, pp. 173–91, doi:<a href=\"https://doi.org/10.1007/978-3-319-26916-0_10\">10.1007/978-3-319-26916-0_10</a>.","ista":"Beica A, Guet CC, Petrov T. 2016. Efficient reduction of kappa models by static inspection of the rule-set. HSB: Hybrid Systems Biology, LNCS, vol. 9271, 173–191.","short":"A. Beica, C.C. Guet, T. Petrov, in:, Springer, 2016, pp. 173–191.","apa":"Beica, A., Guet, C. C., &#38; Petrov, T. (2016). Efficient reduction of kappa models by static inspection of the rule-set (Vol. 9271, pp. 173–191). Presented at the HSB: Hybrid Systems Biology, Madrid, Spain: Springer. <a href=\"https://doi.org/10.1007/978-3-319-26916-0_10\">https://doi.org/10.1007/978-3-319-26916-0_10</a>","ieee":"A. Beica, C. C. Guet, and T. Petrov, “Efficient reduction of kappa models by static inspection of the rule-set,” presented at the HSB: Hybrid Systems Biology, Madrid, Spain, 2016, vol. 9271, pp. 173–191.","ama":"Beica A, Guet CC, Petrov T. Efficient reduction of kappa models by static inspection of the rule-set. In: Vol 9271. Springer; 2016:173-191. doi:<a href=\"https://doi.org/10.1007/978-3-319-26916-0_10\">10.1007/978-3-319-26916-0_10</a>","chicago":"Beica, Andreea, Calin C Guet, and Tatjana Petrov. “Efficient Reduction of Kappa Models by Static Inspection of the Rule-Set,” 9271:173–91. Springer, 2016. <a href=\"https://doi.org/10.1007/978-3-319-26916-0_10\">https://doi.org/10.1007/978-3-319-26916-0_10</a>."},"doi":"10.1007/978-3-319-26916-0_10","scopus_import":1,"main_file_link":[{"open_access":"1","url":"http://arxiv.org/abs/1501.00440"}],"project":[{"grant_number":"291734","name":"International IST Postdoc Fellowship Programme","_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7"}],"date_published":"2016-01-10T00:00:00Z","day":"10","ec_funded":1,"status":"public","alternative_title":["LNCS"],"quality_controlled":"1"}