Pub Date : 2007-07-02DOI: 10.1007/978-3-540-73433-8_1
B. Mishra
{"title":"Algebraic Systems Biology: Theses and Hypotheses","authors":"B. Mishra","doi":"10.1007/978-3-540-73433-8_1","DOIUrl":"https://doi.org/10.1007/978-3-540-73433-8_1","url":null,"abstract":"","PeriodicalId":231857,"journal":{"name":"Algebraic Biology","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124131383","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}
Pub Date : 2007-07-02DOI: 10.1007/978-3-540-73433-8_17
C. Kuttler, Cédric Lhoussaine, Joachim Niehren
{"title":"A Stochastic Pi Calculus for Concurrent Objects","authors":"C. Kuttler, Cédric Lhoussaine, Joachim Niehren","doi":"10.1007/978-3-540-73433-8_17","DOIUrl":"https://doi.org/10.1007/978-3-540-73433-8_17","url":null,"abstract":"","PeriodicalId":231857,"journal":{"name":"Algebraic Biology","volume":"48 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132532732","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}
Pub Date : 2007-07-02DOI: 10.1007/978-3-540-73433-8_12
A. Tiwari, C. Talcott, M. Knapp, P. Lincoln, K. Laderoute
{"title":"Analyzing Pathways Using SAT-Based Approaches","authors":"A. Tiwari, C. Talcott, M. Knapp, P. Lincoln, K. Laderoute","doi":"10.1007/978-3-540-73433-8_12","DOIUrl":"https://doi.org/10.1007/978-3-540-73433-8_12","url":null,"abstract":"","PeriodicalId":231857,"journal":{"name":"Algebraic Biology","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117046857","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}
Pub Date : 2007-07-02DOI: 10.1007/978-3-540-73433-8_11
I. Zinovik, D. Kroening, Y. Chebiryak
{"title":"An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors","authors":"I. Zinovik, D. Kroening, Y. Chebiryak","doi":"10.1007/978-3-540-73433-8_11","DOIUrl":"https://doi.org/10.1007/978-3-540-73433-8_11","url":null,"abstract":"","PeriodicalId":231857,"journal":{"name":"Algebraic Biology","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128757836","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}
Pub Date : 2007-07-02DOI: 10.1007/978-3-540-73433-8_8
L. Kovács, B. Paláncz
{"title":"Glucose-Insulin Control of Type1 Diabetic Patients in H2/Hinfinity Space Via Computer Algebra","authors":"L. Kovács, B. Paláncz","doi":"10.1007/978-3-540-73433-8_8","DOIUrl":"https://doi.org/10.1007/978-3-540-73433-8_8","url":null,"abstract":"","PeriodicalId":231857,"journal":{"name":"Algebraic Biology","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114812337","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}
Pub Date : 2007-07-02DOI: 10.1007/978-3-540-73433-8_23
Tetsuya Sato, Yoshihiro Yamanishi, K. Horimoto, M. Kanehisa, H. Toh
{"title":"Inference of Protein-Protein Interactions by Using Co-evolutionary Information","authors":"Tetsuya Sato, Yoshihiro Yamanishi, K. Horimoto, M. Kanehisa, H. Toh","doi":"10.1007/978-3-540-73433-8_23","DOIUrl":"https://doi.org/10.1007/978-3-540-73433-8_23","url":null,"abstract":"","PeriodicalId":231857,"journal":{"name":"Algebraic Biology","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124985580","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}
Pub Date : 2007-07-02DOI: 10.1007/978-3-540-73433-8_15
E. Chorukova, S. Diop, I. Simeonov
{"title":"On Differential Algebraic Decision Methods for the Estimation of Anaerobic Digestion Models","authors":"E. Chorukova, S. Diop, I. Simeonov","doi":"10.1007/978-3-540-73433-8_15","DOIUrl":"https://doi.org/10.1007/978-3-540-73433-8_15","url":null,"abstract":"","PeriodicalId":231857,"journal":{"name":"Algebraic Biology","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133601139","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}
Pub Date : 2007-07-02DOI: 10.1007/978-3-540-73433-8_24
J. Harrison
{"title":"A Short Survey of Automated Reasoning","authors":"J. Harrison","doi":"10.1007/978-3-540-73433-8_24","DOIUrl":"https://doi.org/10.1007/978-3-540-73433-8_24","url":null,"abstract":"","PeriodicalId":231857,"journal":{"name":"Algebraic Biology","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129399113","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}
Pub Date : 2007-07-02DOI: 10.1007/978-3-540-73433-8_3
G. Paun
{"title":"Membrane Computing as a Framework for Bio-modeling (An Informal Glimpse)","authors":"G. Paun","doi":"10.1007/978-3-540-73433-8_3","DOIUrl":"https://doi.org/10.1007/978-3-540-73433-8_3","url":null,"abstract":"","PeriodicalId":231857,"journal":{"name":"Algebraic Biology","volume":"38 5","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120993267","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：