{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T12:23:33Z","timestamp":1740140613771,"version":"3.37.3"},"reference-count":38,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T00:00:00Z","timestamp":1619827200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001348","name":"Agency for Science, Technology and Research","doi-asserted-by":"publisher","award":["A1687b0033"],"award-info":[{"award-number":["A1687b0033"]}],"id":[{"id":"10.13039\/501100001348","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Comput. Biol. and Bioinf."],"published-print":{"date-parts":[[2021,5,1]]},"DOI":"10.1109\/tcbb.2019.2936200","type":"journal-article","created":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T19:32:22Z","timestamp":1566502342000},"page":"1217-1226","source":"Crossref","is-referenced-by-count":1,"title":["Synthesis of the Dynamical Properties of Feedback Loops in Bio-Pathways"],"prefix":"10.1109","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7899-2909","authenticated-orcid":false,"given":"Jun","family":"Zhou","sequence":"first","affiliation":[]},{"given":"R.","family":"Ramanathan","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4281-2053","authenticated-orcid":false,"given":"Weng-Fai","family":"Wong","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.1186\/1752-0509-5-184","article-title":"The plasticity of TGF-$\\beta$? signaling","volume":"5","author":"celli\u00e8re","year":"2011","journal-title":"BMC Syst Biology"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1046\/j.1432-1327.2000.01197.x"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1088\/1478-3967\/1\/3\/006"},{"year":"2001","author":"galassi","journal-title":"GNU Scientific Library Reference Manual","key":"ref31"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"1586","DOI":"10.1063\/1.3637934","article-title":"Odeint–solving ordinary differential equations in c++","author":"ahnert","year":"2011","journal-title":"Proc AIP Conf Proc"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1038\/msb.2010.6"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1016\/j.jtbi.2008.01.006"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1038\/35002125","article-title":"A synthetic oscillatory network of transcriptional regulators","volume":"403","author":"elowitz","year":"2000","journal-title":"Nature"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1091\/mbc.9.12.3521"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1007\/s00018-016-2297-8"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1073\/pnas.0308265100"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1038\/sj.onc.1208615"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1038\/35042500"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1126\/science.1160617"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1529\/biophysj.107.125021"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1073\/pnas.0610759104"},{"key":"ref17","first-page":"391","author":"bufo","year":"2014","journal-title":"Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.tcs.2015.02.046"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1145\/1467247.1467271"},{"year":"2015","author":"abadi","article-title":"TensorFlow: Large-scale machine learning on heterogeneous systems","key":"ref28"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"ref27","first-page":"298","author":"zheng","year":"2014","journal-title":"Time Series Classification Using Multi-Channels Deep Convolutional Neural Networks"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-319-10512-3_3","article-title":"Data-driven statistical learning of temporal logic properties","author":"bartocci","year":"2014","journal-title":"Proc Int Conf Formal Model Anal Timed Syst"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1662","DOI":"10.1126\/science.1069492","article-title":"Systems biology: A brief overview","volume":"295","author":"kitano","year":"2002","journal-title":"Sci"},{"year":"1993","author":"seggern","journal-title":"CRC Standard Curves and Surfaces","key":"ref29"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1146\/annurev.genom.2.1.343"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1126\/science.1156951"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/j.ceb.2013.07.007"},{"key":"ref2","first-page":"265","author":"zhou","year":"2017","journal-title":"Automated Property Synthesis of ODEs Based Bio-pathways Models"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1016\/j.ccr.2006.10.003"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1126\/science.283.5400.381","article-title":"Emergent properties of networks of biological signaling pathways","volume":"283","author":"bhalla","year":"1999","journal-title":"Sci"},{"key":"ref20","first-page":"323","article-title":"A robust genetic algorithm for learning temporal specifications from data","author":"nenzi","year":"2018","journal-title":"Proc 2nd Int Conf Quant Eval Syst"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-319-26916-0_3"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1007\/978-3-642-40708-6_10"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.2307\/2291091"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-642-03845-7_15"},{"key":"ref26","first-page":"255","article-title":"The Handbook of Brain Theory and Neural Networks","author":"lecun and","year":"1998"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1371\/journal.pcbi.0020120"}],"container-title":["IEEE\/ACM Transactions on Computational Biology and Bioinformatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8857\/9446661\/08807133.pdf?arnumber=8807133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T11:32:09Z","timestamp":1643283129000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8807133\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,1]]},"references-count":38,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tcbb.2019.2936200","relation":{},"ISSN":["1545-5963","1557-9964","2374-0043"],"issn-type":[{"type":"print","value":"1545-5963"},{"type":"electronic","value":"1557-9964"},{"type":"electronic","value":"2374-0043"}],"subject":[],"published":{"date-parts":[[2021,5,1]]}}}