{"title":"KAMIStudio: An Environment for Biocuration of Cellular Signalling Knowledge","authors":"Russell Harmer, Eugenia Oshurko","doi":"10.1007/978-3-030-31304-3_20","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_20","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125793056","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Paul Piho, Filip Margetiny, E. Bartocci, R. Ribchester, J. Hillston
{"title":"Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting","authors":"Paul Piho, Filip Margetiny, E. Bartocci, R. Ribchester, J. Hillston","doi":"10.1007/978-3-030-31304-3_7","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_7","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"2018 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129772904","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Bayesian Parameter Estimation for Stochastic Reaction Networks from Steady-State Observations","authors":"Ankit Gupta, M. Khammash, G. Sanguinetti","doi":"10.1007/978-3-030-31304-3_23","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_23","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124105412","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
I. Abdeljaoued-Tej, Alia Benkahla, Ghassen Haddad, A. Valibouze
{"title":"Separators for Polynomial Dynamic Systems with Linear Complexity","authors":"I. Abdeljaoued-Tej, Alia Benkahla, Ghassen Haddad, A. Valibouze","doi":"10.1007/978-3-030-31304-3_30","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_30","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127613740","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Carlo Spaccasassi, B. Yordanov, Andrew Phillips, Neil Dalchau
{"title":"Fast Enumeration of Non-isomorphic Chemical Reaction Networks","authors":"Carlo Spaccasassi, B. Yordanov, Andrew Phillips, Neil Dalchau","doi":"10.1007/978-3-030-31304-3_12","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_12","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117016866","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Reachability Design Through Approximate Bayesian Computation","authors":"Mahmoud Bentriou, Paolo Ballarini, P. Cournède","doi":"10.1007/978-3-030-31304-3_11","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_11","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114517118","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints","authors":"Emilie Allart, Joachim Niehren, Cristian Versari","doi":"10.1007/978-3-030-31304-3_14","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_14","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130114633","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
M. Saccomani, Giuseppina Bellu, S. Audoly, L. D'Angiò
{"title":"A New Version of DAISY to Test Structural Identifiability of Biological Models","authors":"M. Saccomani, Giuseppina Bellu, S. Audoly, L. D'Angiò","doi":"10.1007/978-3-030-31304-3_21","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_21","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115611842","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Hugues Mandon, Cui Su, S. Haar, Jun Pang, Loïc Paulevé
{"title":"Sequential Reprogramming of Boolean Networks Made Practical","authors":"Hugues Mandon, Cui Su, S. Haar, Jun Pang, Loïc Paulevé","doi":"10.1007/978-3-030-31304-3_1","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_1","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124879925","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
David Šafránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, M. Demko, Samuel Pastva, A. Pejznoch, L. Brim
{"title":"Barbaric Robustness Monitoring Revisited for STL* in Parasim","authors":"David Šafránek, Matej Troják, Vojtech Bruza, Tomás Vejpustek, Jan Papousek, M. Demko, Samuel Pastva, A. Pejznoch, L. Brim","doi":"10.1007/978-3-030-31304-3_26","DOIUrl":"https://doi.org/10.1007/978-3-030-31304-3_26","url":null,"abstract":"","PeriodicalId":433620,"journal":{"name":"Computational Methods in Systems Biology","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127425629","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}