发布求助
文献互助 智能选刊 最新文献

Automated Reasoning for Systems Biology and Medicine最新文献

筛选
英文 中文
Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions 多发性硬化症病变中髓鞘再生过程的随机空间模型
Automated Reasoning for Systems Biology and Medicine Pub Date : 2019-06-12 DOI: 10.1007/978-3-030-17297-8_11
L. L. Vissat, J. Hillston, Anna C. Williams
{"title":"Stochastic Spatial Modelling of the Remyelination Process in Multiple Sclerosis Lesions","authors":"L. L. Vissat, J. Hillston, Anna C. Williams","doi":"10.1007/978-3-030-17297-8_11","DOIUrl":"https://doi.org/10.1007/978-3-030-17297-8_11","url":null,"abstract":"","PeriodicalId":253768,"journal":{"name":"Automated Reasoning for Systems Biology and Medicine","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116679504","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}
引用次数: 0
Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data 迈向代谢网络建模和机器学习的整合，用于高通量患者数据的常规分析
Automated Reasoning for Systems Biology and Medicine Pub Date : 2019-06-01 DOI: 10.1007/978-3-030-17297-8_15
Maria Pires Pacheco, Tamara Bintener, T. Sauter
{"title":"Towards the Integration of Metabolic Network Modelling and Machine Learning for the Routine Analysis of High-Throughput Patient Data","authors":"Maria Pires Pacheco, Tamara Bintener, T. Sauter","doi":"10.1007/978-3-030-17297-8_15","DOIUrl":"https://doi.org/10.1007/978-3-030-17297-8_15","url":null,"abstract":"","PeriodicalId":253768,"journal":{"name":"Automated Reasoning for Systems Biology and Medicine","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115987501","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}
引用次数: 0
Approximation Techniques for Stochastic Analysis of Biological Systems 生物系统随机分析的近似技术
Automated Reasoning for Systems Biology and Medicine Pub Date : 2019-01-22 DOI: 10.1007/978-3-030-17297-8_12
Thakur Neupane, Zhen Zhang, C. Madsen, Hao Zheng, C. Myers
{"title":"Approximation Techniques for Stochastic Analysis of Biological Systems","authors":"Thakur Neupane, Zhen Zhang, C. Madsen, Hao Zheng, C. Myers","doi":"10.1007/978-3-030-17297-8_12","DOIUrl":"https://doi.org/10.1007/978-3-030-17297-8_12","url":null,"abstract":"","PeriodicalId":253768,"journal":{"name":"Automated Reasoning for Systems Biology and Medicine","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126963859","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}
引用次数: 4
Statistical Model Checking-Based Analysis of Biological Networks 基于统计模型检验的生物网络分析
Automated Reasoning for Systems Biology and Medicine Pub Date : 2018-12-03 DOI: 10.1007/978-3-030-17297-8_3
Bing Liu, Benjamin M. Gyori, P. Thiagarajan
{"title":"Statistical Model Checking-Based Analysis of Biological Networks","authors":"Bing Liu, Benjamin M. Gyori, P. Thiagarajan","doi":"10.1007/978-3-030-17297-8_3","DOIUrl":"https://doi.org/10.1007/978-3-030-17297-8_3","url":null,"abstract":"","PeriodicalId":253768,"journal":{"name":"Automated Reasoning for Systems Biology and Medicine","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131876876","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}
引用次数: 5
Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution 利用状态空间探索确定基因调控网络如何约束癌症进化中的突变顺序
Automated Reasoning for Systems Biology and Medicine Pub Date : 2018-09-27 DOI: 10.1007/978-3-030-17297-8_5
Matthew A. Clarke, S. Woodhouse, Nir Piterman, B. Hall, J. Fisher
{"title":"Using State Space Exploration to Determine How Gene Regulatory Networks Constrain Mutation Order in Cancer Evolution","authors":"Matthew A. Clarke, S. Woodhouse, Nir Piterman, B. Hall, J. Fisher","doi":"10.1007/978-3-030-17297-8_5","DOIUrl":"https://doi.org/10.1007/978-3-030-17297-8_5","url":null,"abstract":"","PeriodicalId":253768,"journal":{"name":"Automated Reasoning for Systems Biology and Medicine","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116444151","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}
引用次数: 8
Automated Reasoning for the Synthesis and Analysis of Biological Programs 生物程序合成与分析的自动推理
Automated Reasoning for Systems Biology and Medicine Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-17297-8_2
Sara-Jane Dunn, B. Yordanov
{"title":"Automated Reasoning for the Synthesis and Analysis of Biological Programs","authors":"Sara-Jane Dunn, B. Yordanov","doi":"10.1007/978-3-030-17297-8_2","DOIUrl":"https://doi.org/10.1007/978-3-030-17297-8_2","url":null,"abstract":"","PeriodicalId":253768,"journal":{"name":"Automated Reasoning for Systems Biology and Medicine","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123666669","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}
引用次数: 0
Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering 人工智能应用于生物工程的机遇与挑战
Automated Reasoning for Systems Biology and Medicine Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-17297-8_16
F. Yaman, A. Adler, J. Beal
{"title":"Opportunities and Challenges in Applying Artificial Intelligence to Bioengineering","authors":"F. Yaman, A. Adler, J. Beal","doi":"10.1007/978-3-030-17297-8_16","DOIUrl":"https://doi.org/10.1007/978-3-030-17297-8_16","url":null,"abstract":"","PeriodicalId":253768,"journal":{"name":"Automated Reasoning for Systems Biology and Medicine","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122835831","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}
引用次数: 0
Model Checking Approach to the Analysis of Biological Systems 生物系统分析的模型检验方法
Automated Reasoning for Systems Biology and Medicine Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-17297-8_1
Nikola Benes, L. Brim, Samuel Pastva, David Šafránek
{"title":"Model Checking Approach to the Analysis of Biological Systems","authors":"Nikola Benes, L. Brim, Samuel Pastva, David Šafránek","doi":"10.1007/978-3-030-17297-8_1","DOIUrl":"https://doi.org/10.1007/978-3-030-17297-8_1","url":null,"abstract":"","PeriodicalId":253768,"journal":{"name":"Automated Reasoning for Systems Biology and Medicine","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114742867","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}
引用次数: 5
Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol 静脉给药异丙酚的个体化递送率计算方法
Automated Reasoning for Systems Biology and Medicine Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-17297-8_14
Alena Simalatsar, M. Guidi, P. Roduit, T. Buclin
{"title":"Methods for Personalised Delivery Rate Computation for IV Administered Anesthetic Propofol","authors":"Alena Simalatsar, M. Guidi, P. Roduit, T. Buclin","doi":"10.1007/978-3-030-17297-8_14","DOIUrl":"https://doi.org/10.1007/978-3-030-17297-8_14","url":null,"abstract":"","PeriodicalId":253768,"journal":{"name":"Automated Reasoning for Systems Biology and Medicine","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126525874","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}
引用次数: 1
Balancing Prescriptions with Constraint Solvers 用约束求解器平衡处方
Automated Reasoning for Systems Biology and Medicine Pub Date : 1900-01-01 DOI: 10.1007/978-3-030-17297-8_9
J. Bowles, M. Caminati
{"title":"Balancing Prescriptions with Constraint Solvers","authors":"J. Bowles, M. Caminati","doi":"10.1007/978-3-030-17297-8_9","DOIUrl":"https://doi.org/10.1007/978-3-030-17297-8_9","url":null,"abstract":"","PeriodicalId":253768,"journal":{"name":"Automated Reasoning for Systems Biology and Medicine","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114397790","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}
引用次数: 6
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信