掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Computational Methods in Systems Biology
International Conference on Computational Methods in Systems Biology
召开年:
2017
召开地:
Darmstadt(DE)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Symbolic Dynamics of Biochemical Pathways as Finite States Machines
机译:
生物化学途径的象征性动态作为有限状态机器
作者:
Ovidiu Radulescu
;
Satya Swarup Samal
;
Aurelien Naldi
;
Dima Grigoriev
;
Andreas Weber
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
2.
Stochastic Analysis of Chemical Reaction Networks Using Linear Noise Approximation
机译:
使用线性噪声近似化学反应网络的随机分析
作者:
Luca Cardelli
;
Marta Kwiatkowska
;
Luca Laurenti
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
3.
Approximate Bayesian Computation for Stochastic Single-Cell Time-Lapse Data Using Multivariate Test Statistics
机译:
使用多变量测试统计数据的随机单细胞时间流逝数据近似贝叶斯计算
作者:
Carolin Loos
;
Carsten Marr
;
Fabian J. Theis
;
Jan Hasenauer
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
关键词:
Parameter estimation;
Approximate Bayesian computation;
Multivariate test statistics;
Single-cell time-series;
4.
Model-Based Investigation of the Effect of the Cell Cycle on the Circadian Clock Through Transcription Inhibition During Mitosis
机译:
基于模型的细胞周期通过转录抑制在昼夜节律中的细胞周期效应的研究
作者:
Pauline Traynard
;
Francois Fages
;
Sylvain Soliman
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
5.
Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking
机译:
基于自动机的模型检查分析细胞系特定的EGFR信令
作者:
Adam Streck
;
Kirsten Thobe
;
Heike Siebert
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
关键词:
Boolean Networks;
Model checking;
EGFR;
Cancer;
6.
Experimental Design for Inference over the A. thaliana Circadian Clock Network
机译:
对A. Thaliana Circadian Clock网络推断的实验设计
作者:
Daniel Trejo-Banos
;
Andrew J. Millar
;
Guido Sanguinetti
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
7.
Derivation of Qualitative Dynamical Models from Biochemical Networks
机译:
生物化网络的定性动态模型推导
作者:
Wassim Abou-Jaoude
;
Jerome Feret
;
Denis Thieffry
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
8.
Analysis of a Post-translational Oscillator Using Process Algebra and Spatio-Temporal Logic
机译:
使用过程代数和时空逻辑分析翻译后振荡器
作者:
Christopher J. Banks
;
Daniel D. Seaton
;
Ian Stark
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
9.
OPINION PAPER Evolutionary Constraint-Based Formulation Requires New Bi-level Solving Techniques
机译:
舆论论文进化约束制剂需要新的双级求解技术
作者:
Marko Budinich
;
Jeremie Bourdon
;
Abdelhalim Larhlimi
;
Damien Eveillard
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
10.
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices
机译:
个性化医疗和可穿戴设备混合心脏模型的估算与验证
作者:
Benoit Barbot
;
Marta Kwiatkowska
;
Alexandru Mereacre
;
Nicola Paoletti
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
11.
Qualitative Reasoning for Reaction Networks with Partial Kinetic Information
机译:
部分动态信息的反应网络定性推理
作者:
Joachim Niehren
;
Mathias John
;
Cristian Versari
;
Francois Coutte
;
Philippe Jacques
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
12.
Structural Simplification of Chemical Reaction Networks Preserving Deterministic Semantics
机译:
化学反应网络的结构简化保持确定性语义
作者:
Guillaume Madelaine
;
Cedric Lhoussaine
;
Joachim Niehren
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
13.
SReach: A Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems
机译:
搜索:用于随机混合系统的概率界限增长性分析仪
作者:
Qinsi Wang
;
Paolo Zuliani
;
Soonho Kong
;
Sicun Gao
;
Edmund M. Clarke
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
14.
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network
机译:
遗传修改的Hoare逻辑,其识别基因网络的参数
作者:
Gilles Bernot
;
Jean-Paul Comet
;
Olivier Roux
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2015年
15.
Matching Models Across Abstraction Levels with Gaussian Processes
机译:
使用高斯进程匹配跨抽象级别的模型
作者:
Giulio Caravagna
;
Luca Bortolussi
;
Guido Sanguinetti
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
关键词:
Computational abstraction;
Emulation;
Gaussian Processes;
Heteroschedasticity;
16.
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory
机译:
用化学组织理论进行反应网络的正式定量分析
作者:
Chunyan Mu
;
Peter Dittrich
;
David Parker
;
Jonathan E. Rowe
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
17.
ASSA-PBN 2.0: A Software Tool for Probabilistic Boolean Networks
机译:
ASSA-PBN 2.0:用于概率布尔网络的软件工具
作者:
Andrzej Mizera
;
Jun Pang
;
Qixia Yuan
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
18.
PREMER: Parallel Reverse Engineering of Biological Networks with Information Theory
机译:
首先:具有信息理论的生物网络并行逆向工程
作者:
Alejandro F. Villaverde
;
Kolja Becker
;
Julio R. Banga
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
关键词:
Network inference;
Information theory;
Parallel computing;
19.
Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium
机译:
平衡中随机反应网络的普遍性方法
作者:
Michael Backenkohler
;
Luca Bortolussi
;
Verena Wolf
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
20.
Autonomous and Adaptive Control of Populations of Bacteria Through Environment Regulation
机译:
通过环境监管的细菌种群自主和适应性控制
作者:
Chieh Lo
;
Radu Marculescu
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
关键词:
Quorum sensing;
Biological controller;
Pathogen;
Environment regulation;
Cell-cell communication;
21.
Temperature Dependence of Leakiness of Transcription Repression Mechanisms of Escherichia coli
机译:
大肠杆菌转录镇压机制泄漏的温度依赖性
作者:
Nadia Goncalves
;
Samuel M. D. Oliveira
;
Vinodh K. Kandavalli
;
Jose M. Fonseca
;
Andre S. Ribeiro
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
关键词:
Transcription;
Repression;
Leakiness;
LacO3O1;
MS2-GFP RNA detection;
Time-lapse confocal microscopy;
22.
Fast Simulation of Probabilistic Boolean Networks
机译:
概率布尔网络快速仿真
作者:
Andrzej Mizera
;
Jun Pang
;
Qixia Yuan
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
23.
Hybrid Reductions of Computational Models of Ion Channels Coupled to Cellular Biochemistry
机译:
耦合到蜂窝生物化学的离子通道计算模型的混合减少
作者:
Jasha Sommer-Simpson
;
John Reinitz
;
Leonid Fridlyand
;
Louis Philipson
;
Ovidiu Radulescu
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
24.
Target Controllability of Linear Networks
机译:
线性网络的目标可控性
作者:
Eugen Czeizler
;
Cristian Gratie
;
Wu Kai Chiu
;
Krishna Kanhaiya
;
Ion Petre
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
25.
Influence Systems vs Reaction Systems
机译:
影响系统与反应系统
作者:
Francois Fages
;
Thierry Martinez
;
David A. Rosenblueth
;
Sylvain Soliman
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
26.
Parameter Estimation for Reaction Rate Equation Constrained Mixture Models
机译:
反应速率方程的参数估计约束混合模型
作者:
Carolin Loos
;
Anna Fiedler
;
Jan Hasenauer
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
关键词:
Parameter estimation;
Reaction rate equations;
Mixture models;
Sensitivity analysis;
27.
Deregulation of Osmotic Regulation Machinery Explains and Predicts Cellular Transformation in Cancer and Disease
机译:
渗透调节机制的放松管制解释并预测了癌症和疾病的细胞转化
作者:
David Shorthouse
;
Angela Riedel
;
Jacqueline Shields
;
Benjamin A. Hall
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
28.
High-Performance Symbolic Parameter Synthesis of Biological Models: A Case Study
机译:
生物模型的高性能符号参数合成:一种案例研究
作者:
Martin Demko
;
Nikola Benes
;
Lubos Brim
;
Samuel Pastva
;
David Safranek
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
29.
PINT: A Static Analyzer for Dynamics of Automata Networks
机译:
PINT:一个静态分析仪,用于自动机网络的动态
作者:
Loic Pauleve
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
30.
Formal Modeling and Analysis of Pancreatic Cancer Microenvironment
机译:
胰腺癌微环境的正式建模与分析
作者:
Qinsi Wang
;
Natasa Miskov-Zivanov
;
Bing Liu
;
James R. Faeder
;
Michael Lotze
;
Edmund M. Clarke
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
31.
Local Traces: An Over-Approximation of the Behaviour of the Proteins in Rule-Based Models
机译:
本地迹线:在基于规则的模型中蛋白质行为的过度逼近
作者:
Jerome Feret
;
Kim Quyen Ly
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
32.
Normalizing Chemical Reaction Networks by Confluent Structural Simplification
机译:
通过汇合结构简化归一化化学反应网络
作者:
Guillaume Madelaine
;
Elisa Tonello
;
Cedric Lhoussaine
;
Joachim Niehren
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
33.
Inference of Delayed Biological Regulatory Networks from Time Series Data
机译:
从时间序列数据推动延迟生物监管网络
作者:
Emna Ben Abdallah
;
Tony Ribeiro
;
Morgan Magnin
;
Olivier Roux
;
Katsumi Inoue
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
关键词:
Inference model;
Dynamic modeling;
Delayed biological regulatory networks;
Automata network;
Time series data;
34.
E-Cyanobacterium.org: A Web-Based Platform for Systems Biology of Cyanobacteria
机译:
e-cyanobacterium.org:一种基于网络的系统生物学平台 - 蓝细菌
作者:
Matej Trojak
;
David Safranek
;
Jakub Hrabec
;
Jakub Salagovic
;
Frantiska Romanovska
;
Jan Cerveny
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
35.
Modeling Peptide Adsorption on Inorganic Surfaces
机译:
在无机表面上建模肽吸附
作者:
Priya Anand
;
Monika Borkowska-Panek
;
Florian Gussmann
;
Karin Fink
;
Wolfgang Wenzel
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
关键词:
EISM;
Peptide binding affinity;
SIMONA;
36.
A Stochastic Hybrid Approximation for Chemical Kinetics Based on the Linear Noise Approximation
机译:
基于线性噪声近似的化学动力学的随机混合近似
作者:
Luca Cardelli
;
Marta Kwiatkowska
;
Luca Laurenti
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
37.
(Mathematical) Logic for Systems Biology (Invited Paper)
机译:
系统生物学(邀请纸)的(数学)逻辑
作者:
Joelle Despeyroux
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
38.
Goal-Oriented Reduction of Automata Networks
机译:
面向目标的自动机网络减少
作者:
Loic Pauleve
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
39.
Bifurcation Analysis of Cardiac Alternans Using δ-Decidability
机译:
使用δ解脱性的心脏缩放分析分析
作者:
Ariful Islam
;
Greg Byrne
;
Soonho Kong
;
Edmund M. Clarke
;
Rance Cleaveland
;
Flavio H. Fenton
;
Radu Grosu
;
Paul L. Jones
;
Scott A. Smolka
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
40.
Linear Temporal Logic for Biologists in BMA
机译:
BMA中生物学家的线性时间逻辑
作者:
Benjamin A. Hall
;
Nir Piterman
;
Jasmin Fisher
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
41.
GPU-Accelerated Steady-State Analysis of Probabilistic Boolean Networks
机译:
GPU加速概率布尔网络稳态分析
作者:
Andrzej Mizera
;
Jun Pang
;
Qixia Yuan
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2016年
42.
Abduction Based Drug Target Discovery Using Boolean Control Network
机译:
基于绑架的药物目标发现使用布尔控制网络
作者:
Celia Biane
;
Franck Delaplace
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
关键词:
Dynamical system reprogramming;
Boolean control network;
Abductive reasoning;
Drug target prediction;
Etiology of cancer;
43.
Non-disjoint Clustered Representation for Distributions over a Population of Cells
机译:
对细胞群体的分布的非脱节聚类表示
作者:
Matthieu Pichene
;
Sucheendra Palaniappan
;
Eric Fabre
;
Blaise Genest
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
44.
Discrete Stochastic Graph Dynamics for the Nuclear Architecture of Mouse Meiotic Prophase Spermatocytes
机译:
小鼠减肥预防血管细胞核建筑的离散随机图动力学
作者:
Julio Lopez Fenner
;
Aude Maignan
;
Rachid Echahed
;
Soledad Berrios
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
45.
Bio-Curation for Cellular Signalling: The KAMI Project
机译:
蜂窝信号传导的生物策策:Kami项目
作者:
Russ Harmer
;
Yves-Stan Le Cornec
;
Sebastien Legare
;
Ievgeniia Oshurko
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
46.
Explaining Response to Drugs Using Pathway Logic
机译:
使用途径逻辑解释对药物的反应
作者:
Carolyn Talcott
;
Merrill Knapp
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
47.
Discrete Bifurcation Analysis with Pithya
机译:
用pithya离散分叉分析
作者:
Nikola Benes
;
Lubos Brim
;
Martin Demko
;
Matej Hajnal
;
Samuel Pastva
;
David Safranek
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
48.
Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data
机译:
可能大概是从时间序列数据的监管网络的近似正确学习
作者:
Arthur Carcano
;
Francois Fages
;
Sylvain Soliman
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
49.
Effects of the Dynamics of the Steps in Transcription Initiation on the Asymmetry of the Distribution of Time Intervals Between Consecutive RNA Productions
机译:
转录开始对连续RNA生产中时间间隔分布不对称性的动力学的影响
作者:
Sofia Startceva
;
Vinodh Kumar Kandavalli
;
Ari Visa
;
Andre S. Ribeiro
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
关键词:
Transcription initiation;
Asymmetries in RNA production;
Stochastic models;
Single-RNA measurements;
50.
Methods to Expand Cell Signaling Models Using Automated Reading and Model Checking
机译:
使用自动读取和模型检查扩展小区信令模型的方法
作者:
Kai-Wen Liang
;
Qinsi Wang
;
Cheryl Telmer
;
Divyaa Ravichandran
;
Peter Spirtes
;
Natasa Miskov-Zivanov
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
关键词:
Literature mining;
Modeling Automation;
Cancer;
51.
Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs
机译:
连续化学反应网络的强大完成性和混合模数节目的汇编
作者:
Francois Fages
;
Guillaume Le Guludec
;
Olivier Bournez
;
Amaury Pouly
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
52.
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes
机译:
用基于均衡变化的正式框架检测毒性途径
作者:
Benjamin Miraglio
;
Gilles Bernot
;
Jean-Paul Comet
;
Christine Risso-de Faverney
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
关键词:
Discrete dynamic systems;
Rule-based modeling;
Temporal logic;
Computational toxicology;
53.
Detecting Attractors in Biological Models with Uncertain Parameters
机译:
用不确定参数检测生物模型中的吸引子
作者:
Jiri Barnat
;
Nikola Benes
;
Lubos Brim
;
Martin Demko
;
Matej Hajnal
;
Samuel Pastva
;
David Safranek
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
54.
A Scheme for Adaptive Selection of Population Sizes in Approximate Bayesian Computation - Sequential Monte Carlo
机译:
近似贝叶斯计算中种群尺寸的自适应选择方案 - 顺序蒙特卡罗
作者:
Emmanuel Klinger
;
Jan Hasenauer
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
关键词:
Parameter estimation;
Likelihood-free inference;
Approximate Bayesian Computation;
Model selection;
Sequential Monte Carlo;
Population size;
55.
Identifying Functional Families of Trajectories in Biological Pathways by Soft Clustering: Application to TGF-β Signaling
机译:
软聚类识别生物途径中的轨迹的功能系列:应用于TGF-β信令
作者:
Jean Coquet
;
Nathalie Theret
;
Vincent Legagneux
;
Olivier Dameron
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
关键词:
TGF-β;
Signaling pathways;
Discrete dynamic model;
Soft clustering;
RSC model;
56.
TransferEntropyPT: An R Package to Assess Transfer Entropies via Permutation Tests
机译:
TransferentRopypt:R包通过排列测试评估转移熵
作者:
Patrick Boba
;
Kay Hamacher
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
57.
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
机译:
心律失常检测算法的定量正则表达式
作者:
Houssam Abbas
;
Alena Rodionova
;
Ezio Bartocci
;
Scott A. Smolka
;
Radu Grosu
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
关键词:
Peak Detection;
Electrocardiograms;
Arrythmia discrim-ination;
ICDs;
Quantitative Regular Expressions;
58.
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties
机译:
膳食型1型糖尿病的数据驱动鲁棒控制和运动不确定性
作者:
Nicola Paoletti
;
Kin Sum Liu
;
Scott A. Smolka
;
Shan Lin
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
59.
Temporal Reprogramming of Boolean Networks
机译:
布尔网络的时间重新编程
作者:
Hugues Mandon
;
Stefan Haar
;
Loic Pauleve
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
60.
A Stochastic Model for the Formation of Spatial Methylation Patterns
机译:
用于形成空间甲基化模式的随机模型
作者:
Alexander Luck
;
Pascal Giehr
;
Jorn Walter
;
Verena Wolf
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
关键词:
DNA methylation;
Hidden Markov model;
Spatial stochastic model;
61.
Database of Dynamic Signatures Generated by Regulatory Networks (DSGRN)
机译:
法规网络生成的动态签名数据库(DSGRN)
作者:
Bree Cummins
;
Tomas Gedeon
;
Shaun Harker
;
Konstantin Mischaikow
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
62.
Graph Representations of Monotonic Boolean Model Pools
机译:
单调布尔模型池的图表表示
作者:
Robert Schwieger
;
Heike Siebert
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
63.
PINT: A Static Analyzer for Transient Dynamics of Qualitative Networks with IPython Interface
机译:
PINT:具有IPython接口的定性网络瞬态动态的静态分析仪
作者:
Loic Pauleve
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
64.
Automated Property Synthesis of ODEs Based Bio-pathways Models
机译:
基于生物途径模型的杂井自动化合成
作者:
Jun Zhou
;
R. Ramanathan
;
Weng-Fai Wong
;
P. S. Thiagarajan
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
关键词:
Property synthesis;
Statistical model checking;
Bounded linear-time temporal logic;
ODEs models of bio-pathways;
65.
KADE: A Tool to Compile Kappa Rules into (Reduced) ODE Models
机译:
kade:将kappa规则编译为(减少)ode模型的工具
作者:
Ferdinanda Camporesi
;
Jerome Feret
;
Kim Quyen Ly
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2017年
66.
Computing Diverse Boolean Networks from Phosphoproteomic Time Series Data
机译:
从磷肝蛋白时间序列数据计算各种布尔网络
作者:
Misbah Razzaq
;
Roland Kaminski
;
Javier Romero
;
Torsten Schaub
;
Jeremie Bourdon
;
Carito Guziolowski
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
关键词:
Diverse solution enumeration;
Answer set programming;
Boolean Networks;
Model checking;
Time series data;
67.
ASSA-PBN 3.0: Analysing Context-Sensitive Probabilistic Boolean Networks
机译:
ASSA-PBN 3.0:分析上下文敏感的概率布尔网络
作者:
Andrzej Mizera
;
Jun Pang
;
Hongyang Qu
;
Qixia Yuan
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
68.
Experimental Biological Protocols with Formal Semantics
机译:
正式语义的实验生物协议
作者:
Alessandro Abate
;
Luca Cardelli
;
Marta Kwiatkowska
;
Luca Laurenti
;
Boyan Yordanov
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
69.
Deep Abstractions of Chemical Reaction Networks
机译:
化学反应网络的深层抽象
作者:
Luca Bortolussi
;
Luca Palmieri
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
关键词:
Deep learning;
Chemical reaction networks;
Model abstraction;
Stochastic simulation;
70.
Derivation of a Biomass Proxy for Dynamic Analysis of Whole Genome Metabolic Models
机译:
全基因组代谢模型动态分析的生物质代理衍生
作者:
Timothy Self
;
David Gilbert
;
Monika Heiner
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
71.
Programming Substrate-Independent Kinetic Barriers with Thermodynamic Binding Networks
机译:
用热力学绑定网络进行编程基板无关的动力学屏障
作者:
Keenan Breik
;
Cameron Chalk
;
David Doty
;
David Haley
;
David Soloveichik
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
72.
Reparametrizing the Sigmoid Model of Gene Regulation for Bayesian Inference
机译:
重新处理贝叶斯推理基因调节的矩阵模型
作者:
Martin Modrak
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
关键词:
Gene regulation;
Gene network inference;
Bayesian statistics;
73.
Characterization of the Experimentally Observed Clustering of VEGF Receptors
机译:
实验观察到VEGF受体聚类的表征
作者:
Emine Guven
;
Michael J. Wester
;
Bridget S. Wilson
;
Jeremy S. Edwards
;
Adam M. Halasz
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
关键词:
Membrane receptors;
Clustering;
Hierarchical clustering;
VEGF;
74.
Formal Analysis of Network Motifs
机译:
网络主题的正式分析
作者:
Hillel Kugler
;
Sara-Jane Dunn
;
Boyan Yordanov
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
关键词:
Biological programs;
Formal analysis;
Network motifs;
75.
Stochastic Rate Parameter Inference Using the Cross-Entropy Method
机译:
使用跨熵方法的随机速率参数推断
作者:
Jeremy Revell
;
Paolo Zuliani
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
76.
KaSa: A Static Analyzer for Kappa
机译:
KASA:Kappa的静态分析仪
作者:
Pierre Boutillier
;
Ferdinanda Camporesi
;
Jean Coquet
;
Jerome Feret
;
Kim Quyen Ly
;
Nathalie Theret
;
Pierre Vignet
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
77.
Modeling and Engineering Promoters with Pre-defined RNA Production Dynamics in Escherichia Coli
机译:
在大肠杆菌中具有预定义RNA生产动态的建模与工程推动者
作者:
Samuel M. D. Oliveira
;
Mohamed N. M. Bahrudeen
;
Sofia Startceva
;
Vinodh Kandavalli
;
Andre S. Ribeiro
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
关键词:
Model of transcription initiation;
Synthetic constructs;
Rate-limiting steps;
Gene engineering framework;
78.
Systems Metagenomics: Applying Systems Biology Thinking to Human Microbiome Analysis
机译:
系统Metagenomics:应用系统生物学思考人类微生物组分析
作者:
Golestan Sally Radwan
;
Hugh Shanahan
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
关键词:
Systems metagenomics;
Population;
Human microbiome;
Stress response;
Obesity;
Function;
Protein families;
79.
On Robustness Computation and Optimization in BIOCHAM-4
机译:
关于BioCham-4的鲁棒性计算与优化
作者:
Francois Fages
;
Sylvain Soliman
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
80.
LNA++: Linear Noise Approximation with First and Second Order Sensitivities
机译:
LNA ++:与第一和二阶灵敏度的线性噪声近似
作者:
Justin Feigelman
;
Daniel Weindl
;
Fabian J. Theis
;
Carsten Marr
;
Jan Hasenauer
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
关键词:
Linear noise approximation;
Automatic construction;
Numerical simulation;
Sensitivity analysis;
MATLAB;
Python;
81.
Robust Data-Driven Control of Artificial Pancreas Systems Using Neural Networks
机译:
使用神经网络的人工胰腺系统的鲁棒数据驱动控制
作者:
Souradeep Dutta
;
Taisa Kushner
;
Sriram Sankaranarayanan
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
82.
Buffering Gene Expression Noise by MicroRNA Based Feedforward Regulation
机译:
基于MicroRNA的馈电调节缓冲基因表达噪声
作者:
Pavol Bokes
;
Michal Hojcka
;
Abhyudai Singh
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
83.
Inferring Mechanism of Action of an Unknown Compound from Time Series Omics Data
机译:
从时间序列omics数据推断出未知化合物的作用机制
作者:
Akos Vertes
;
Albert-Baskar Arul
;
Peter Avar
;
Andrew R. Korte
;
Hang Li
;
Peter Nemes
;
Lida Parvin
;
Sylwia Stopka
;
Sunil Hwang
;
Ziad J. Sahab
;
Linwen Zhang
;
Deborah I. Bunin
;
Merrill Knapp
;
Andrew Poggio
;
Mark-Oliver Stehr
;
Carolyn L. Talcott
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
84.
Synthesis for Vesicle Traffic Systems
机译:
囊泡交通系统的合成
作者:
Ashutosh Gupta
;
Somya Mani
;
Ankit Shukla
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
85.
Composable Rate-Independent Computation in Continuous Chemical Reaction Networks
机译:
连续化学反应网络中可组合的速率无关计算
作者:
Cameron Chalk
;
Niels Kornerup
;
Wyatt Reeves
;
David Soloveichik
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
86.
A Trace Query Language for Rule-Based Models
机译:
基于规则的模型的跟踪查询语言
作者:
Jonathan Laurent
;
Hector F. Medina-Abarca
;
Pierre Boutillier
;
Jean Yang
;
Walter Fontana
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
关键词:
Rule-based modeling;
Query language;
Kappa;
87.
On the Full Control of Boolean Networks
机译:
关于布尔网络的完整控制
作者:
Soumya Paul
;
Jun Pang
;
Cui Su
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2018年
88.
Biomimetic in Silico Devices
机译:
Silico器件中的仿生料
作者:
C. Anthony Hunt
;
Glen E.P. Ropella
;
Michael S. Roberts
;
Li Yan
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
89.
Spatial Modeling and Simulation of Diffusion in Nuclei of Living Cells
机译:
活细胞核中扩散的空间建模与模拟
作者:
Dietmar Volz
;
Martin Eigel
;
Chaitanya Athale
;
Peter Bastian
;
Harald Hermann
;
Constantin Kappel
;
Roland Eils
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
90.
Autonomous Mobile Robot Control Based on White Blood Cell Chemotaxis
机译:
基于白细胞趋化性的自主移动机器人控制
作者:
Matthew D. Onsum
;
Adam P. Arkin
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
91.
IMGT-Choreography: Processing of Complex Immunogenetics Knowledge
机译:
IMGT-Choreography:复杂免疫原性知识的加工
作者:
Denys Chaume
;
Veronique Giudicelli
;
Kora Combres
;
Chantal Ginestoux
;
Marie-Paule Lefranc
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
92.
Residual Bootstrapping and Median Filtering for Robust Estimation of Gene Networks from Microarray Data
机译:
来自微阵列数据的基因网络的鲁棒估计的残余自动启动和中值滤波
作者:
Seiya Imoto
;
Tomoyuki Higuchi
;
SunYong Kim
;
Euna Jeong
;
Satoru Miyano
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
93.
VICE: A VIrtual CEll
机译:
副:虚拟单元格
作者:
D. Chiarugi
;
M. Curti
;
P. Degano
;
R. Marangoni
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
94.
Beta Binders for Biological Interactions
机译:
用于生物相互作用的β粘合剂
作者:
Corrado Priami
;
Paola Quaglia
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
95.
Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States
机译:
基于图的生物监管网络建模:奇异态的引入
作者:
Adrien Richard
;
Jean-Paul Comet
;
Gilles Bernot
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
96.
Brane Calculi Interactions of Biological Membranes
机译:
生物膜的Brane Calculi相互作用
作者:
Luca Cardelli
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
97.
Modeling the Molecular Network Controlling Adhesion Between Human Endothelial Cells: Inference and Simulation Using Constraint Logic Programming
机译:
使用约束逻辑规划建模控制人类内皮细胞之间的分子网络粘附性:推理和仿真
作者:
Eric Fanchon
;
Fabien Corblin
;
Laurent Trilling
;
Bastien Hermant
;
Danielle Gulino
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
98.
Building and Analysing an Integrative Model of HIV-1 RNA Alternative Splicing
机译:
建设和分析HIV-1 RNA替代拼接的一体化模型
作者:
A. Bockmayr
;
A. Courtois
;
D. Eveillard
;
M. Vezain
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
99.
Modelling Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods
机译:
基于随机逻辑程序的集合方法建模代谢途径
作者:
Huma Lodhi
;
Stephen Muggleton
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
100.
The Biochemical Abstract Machine BIOCHAM
机译:
生物化学抽象机Biocham
作者:
Nathalie Chabrier-Rivier
;
Francois Fages
;
Sylvain Soliman
会议名称:
《International Conference on Computational Methods in Systems Biology》
|
2005年
意见反馈
回到顶部
回到首页