{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T07:06:29Z","timestamp":1763535989056},"reference-count":26,"publisher":"Oxford University Press (OUP)","issue":"Supplement_2","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/academic.oup.com\/journals\/pages\/open_access\/funder_policies\/chorus\/standard_publication_model"}],"funder":[{"name":"French Agence Nationale pour la Recherche","award":["ECCB2022","ANR-20-CE45-0001"],"award-info":[{"award-number":["ECCB2022","ANR-20-CE45-0001"]}]},{"name":"French Laboratory of Excellence","award":["ANR-10-LABX-41","ANR-11-IDEX-0002-02"],"award-info":[{"award-number":["ANR-10-LABX-41","ANR-11-IDEX-0002-02"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,9,16]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:sec><jats:title>Motivation<\/jats:title><jats:p>Many techniques have been developed to infer Boolean regulations from a prior knowledge network (PKN) and experimental data. Existing methods are able to reverse-engineer Boolean regulations for transcriptional and signaling networks, but they fail to infer regulations that control metabolic networks.<\/jats:p><\/jats:sec><jats:sec><jats:title>Results<\/jats:title><jats:p>We present a novel approach to infer Boolean rules for metabolic regulation from time-series data and a PKN. Our method is based on a combination of answer set programming and linear programming. By solving both combinatorial and linear arithmetic constraints, we generate candidate Boolean regulations that can reproduce the given data when coupled to the metabolic network. We evaluate our approach on a core regulated metabolic network and show how the quality of the predictions depends on the available kinetic, fluxomics or transcriptomics time-series data.<\/jats:p><\/jats:sec><jats:sec><jats:title>Availability and implementation<\/jats:title><jats:p>Software available at https:\/\/github.com\/bioasp\/merrin.<\/jats:p><\/jats:sec><jats:sec><jats:title>Supplementary information<\/jats:title><jats:p>Supplementary data are available at https:\/\/doi.org\/10.5281\/zenodo.6670164.<\/jats:p><\/jats:sec>","DOI":"10.1093\/bioinformatics\/btac479","type":"journal-article","created":{"date-parts":[[2022,9,20]],"date-time":"2022-09-20T09:13:36Z","timestamp":1663665216000},"page":"ii127-ii133","source":"Crossref","is-referenced-by-count":2,"title":["MERRIN: MEtabolic regulation rule INference from time series data"],"prefix":"10.1093","volume":"38","author":[{"given":"Kerian","family":"Thuillier","sequence":"first","affiliation":[{"name":"INRIA, CNRS, IRISA, University of Rennes , Rennes F-35000, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Caroline","family":"Baroukh","sequence":"additional","affiliation":[{"name":"LIPME, INRAE, CNRS, Universit\u00e9 de Toulouse , Castanet-Tolosan F-31326, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Bockmayr","sequence":"additional","affiliation":[{"name":"Institute of Mathematics, Freie Universit\u00e4t Berlin , Berlin D-14195, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ludovic","family":"Cottret","sequence":"additional","affiliation":[{"name":"LIPME, INRAE, CNRS, Universit\u00e9 de Toulouse , Castanet-Tolosan F-31326, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lo\u00efc","family":"Paulev\u00e9","sequence":"additional","affiliation":[{"name":"Univ. Bordeaux, Bordeaux INP, CNRS, LaBRI, UMR5800 , F-33400 Talence, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne","family":"Siegel","sequence":"additional","affiliation":[{"name":"INRIA, CNRS, IRISA, University of Rennes , Rennes F-35000, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2022,9,18]]},"reference":[{"key":"2023041408002157600_","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"Baral","year":"2003"},{"key":"2023041408002157600_","first-page":"305","volume-title":"Satisfiability Modulo Theories","author":"Barrett","year":"2018"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jtbi.2004.04.003","article-title":"Application of formal methods to biological regulatory networks: extending Thomas\u2019 asynchronous logical approach with temporal logic","volume":"229","author":"Bernot","year":"2004","journal-title":"J. Theor. Biol"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/s10441-010-9097-6","article-title":"Comparing Boolean and piecewise affine differential models for genetic networks","volume":"58","author":"Chaves","year":"2010","journal-title":"Acta Biotheor"},{"key":"2023041408002157600_","volume-title":"ICTAI","author":"Chevalier","year":"2019"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1006\/jtbi.2001.2405","article-title":"Regulation of gene expression in flux balance models of metabolism","volume":"213","author":"Covert","year":"2001","journal-title":"J. Theor. Biol"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1089\/10665270252833208","article-title":"Modeling and simulation of genetic regulatory systems: a literature review","volume":"9","author":"de Jong","year":"2002","journal-title":"J. Comput. Biol"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1016\/j.mib.2010.03.003","article-title":"The biomass objective function","volume":"13","author":"Feist","year":"2010","journal-title":"Curr. Opin. Microbiol"},{"key":"2023041408002157600_","author":"Forrest","year":"2022"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1017\/S1471068418000455","article-title":"Hybrid metabolic network completion","volume":"19","author":"Frioux","year":"2019","journal-title":"Theory Pract. Log. Program"},{"key":"2023041408002157600_","first-page":"1","article-title":"Answer set solving in practice","volume":"6","author":"Gebser","year":"2012","journal-title":"Synth. Lect. Artif. Intell. Mach. Learn"},{"key":"2023041408002157600_","article-title":"Multi-shot ASP solving with Clingo","author":"Gebser","year":"2017","journal-title":"CoRR"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1016\/j.ymben.2015.10.003","article-title":"Quantitative prediction of genome-wide resource allocation in bacteria","volume":"32","author":"Goelzer","year":"2015","journal-title":"Metab. Eng"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1017\/S1471068417000242","article-title":"Clingo goes linear constraints over reals and integers","volume":"17","author":"Janhunen","year":"2017","journal-title":"Theory Pract. Log. Program"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"110317","DOI":"10.1016\/j.jtbi.2020.110317","article-title":"Regulatory dynamic enzyme-cost flux balance analysis: a unifying framework for constraint-based modeling","volume":"501","author":"Liu","year":"2020","journal-title":"J. Theor. Biol"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"1331","DOI":"10.1016\/S0006-3495(02)73903-9","article-title":"Dynamic flux balance analysis of diauxic growth in Escherichia coli","volume":"83","author":"Mahadevan","year":"2002","journal-title":"Biophys. J"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1186\/s12918-015-0238-z","article-title":"FlexFlux: combining metabolic flux and regulatory network analyses","volume":"9","author":"Marmiesse","year":"2015","journal-title":"BMC Syst. Biol"},{"key":"2023041408002157600_","first-page":"179","article-title":"Recherches sur la croissance des cultures bacteriennes","volume":"69","author":"Monod","year":"1942","journal-title":"Ann. Inst. Pasteur"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1038\/nbt.1614","article-title":"What is flux balance analysis?","volume":"28","author":"Orth","year":"2010","journal-title":"Nat. Biotechnol"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"e1006538","DOI":"10.1371\/journal.pcbi.1006538","article-title":"Computational discovery of dynamic cell line specific Boolean networks from multiplex time-course data","volume":"14","author":"Razzaq","year":"2018","journal-title":"PLoS Comput. Biol"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1038\/msb.2009.87","article-title":"Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction","volume":"5","author":"Saez-Rodriguez","year":"2009","journal-title":"Mol. Syst. Biol"},{"key":"2023041408002157600_","first-page":"159","volume-title":"CMSB\u2014Volume 12881 of LNCS","author":"Thuillier","year":"2021"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"1349","DOI":"10.1007\/s00285-017-1118-5","article-title":"Optimal resource allocation enables mathematical exploration of microbial metabolic configurations","volume":"75","author":"Tournier","year":"2017","journal-title":"J. Math. Biol"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"2433","DOI":"10.1093\/bioinformatics\/bty139","article-title":"Optimality and identification of dynamic models in systems biology: an inverse optimal control framework","volume":"34","author":"Tsiantis","year":"2018","journal-title":"Bioinformatics"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","first-page":"3724","DOI":"10.1128\/aem.60.10.3724-3731.1994","article-title":"Stoichiometric flux balance models quantitatively predict growth and metabolic by-product secretion in wild-type Escherichia coli W3110","volume":"60","author":"Varma","year":"1994","journal-title":"Appl. Environ. Microbiol"},{"key":"2023041408002157600_","doi-asserted-by":"crossref","DOI":"10.1093\/bioinformatics\/btw738","article-title":"Caspo: a toolbox for automated reasoning on the response of logical signaling networks families","author":"Videla","year":"2017","journal-title":"Bioinformatics"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/38\/Supplement_2\/ii127\/49886118\/btac479.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/38\/Supplement_2\/ii127\/49886118\/btac479.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,26]],"date-time":"2023-11-26T04:31:53Z","timestamp":1700973113000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/38\/Supplement_2\/ii127\/6702002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,1]]},"references-count":26,"journal-issue":{"issue":"Supplement_2","published-print":{"date-parts":[[2022,9,16]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/btac479","relation":{},"ISSN":["1367-4803","1367-4811"],"issn-type":[{"value":"1367-4803","type":"print"},{"value":"1367-4811","type":"electronic"}],"subject":[],"published-other":{"date-parts":[[2022,9,1]]},"published":{"date-parts":[[2022,9,1]]}}}