生物CHAM swMATH ID: 9927 软件作者: Chabrier,N.、Fages,F.、Soliman,S。 描述: 生物化学抽象机(Biocham)是一种系统生物学建模环境,具有用于静态分析或从时间逻辑约束推断未知模型参数的一些独特功能。Biocham主要由以下部分组成:用于建模生化系统的基于规则的语言(与SBML兼容);多个模拟器(布尔、微分、随机),一种基于时态逻辑的语言,用于形式化生物系统的时态属性,并根据此类规范验证模型,开发/校正/完成/耦合模型的独特功能,包括从时序逻辑约束中推断高维动力学参数。Biocham是受GNU通用公共许可GPL版本2保护的自由软件。这是一个开放源代码许可证,允许免费使用此软件。特别欢迎对Biocham在应用、研究或教学中的使用进行反馈。 主页: http://lifeware.iria.fr/biocham/ 相关软件: 生物-PEPA;棱镜;政治公众人物协议;生物净发电;GNA公司;伦敦商学院;NuSMV公司;单元格设计器;RoVerGeNe公司;迪维尼;KEGG公司;rxncon公司;PySB公司;迷你锌;违约;科帕西;BlenX公司;NFsim公司;z3型;生物模型 引用于: 52文件 全部的 前5名91位作者引用 13 弗朗索瓦·法赫斯 7 西尔万·索利曼 5 卢博什·布里姆 5 卡德,莫菲 5 萨夫拉内克,大卫 三 卢卡·博托卢西 三 安德烈亚·德加斯佩里 三 马修·海默里 三 安德烈亚·马吉奥洛·谢蒂尼 三 保罗·米拉佐 三 约阿希姆·尼伦 2 奥纳·安德烈 2 保罗·巴拉里尼 2 JiříBarnat 2 卢卡·卡德利 2 伊万娜·乔纳 2 费德里卡·乔切塔 2 斯文·德拉赞 2 简·希尔斯顿 2 乔瓦尼·帕迪尼 2 阿尔贝托,Policriti 2 奥雷连·里兹克 2 特里巴斯通,米尔科 2 特罗亚克(Troják,Matej) 2 马克斯·柴科夫斯基 2 阿瑟纳伊斯,阴道 2 安德烈·范丁 2 克里斯蒂安·维萨里 1 艾米丽·阿勒特 1 阿尔瓦雷斯-巴伊拉·罗塞斯,玛丽亚·埃琳娜 1 帕特里克·阿马尔 1 希拉·阿米尔·克罗尔 1 佩德罗·巴拉奥纳 1 奇塔·R·巴拉尔。 1 埃齐奥·巴托奇 1 阿德里安·鲍迪尔 1 塞缪尔·博塔尼 1 布拉尼斯拉夫·布罗兹曼 1 阿方索·卡塔 1 乔尔文,简 1 科什卡,米兰 1 查维斯,马达琳娜 1 戴维·齐亚鲁吉 1 科恩(Irun R.Cohen)。 1 A.Credi。 1 何塞·达维拉·维尔德雷恩 1 伊丽莎白·德·玛丽亚 1 伊丽莎·多明古兹·胡廷格(Elisa Domínguez-Hüttinger) 1 彼得·比克博士 1 玛丽·杜弗洛特 1 贾纳·法布里科娃 1 莫雷诺,法拉斯基 1 马可·加拉维利 1 史蒂文,同性恋 1 语法,巴兹尔 1 Eléa Thibault Greugny 1 玛丽亚·路易斯·格雷罗 1 Shigeki Hagihara 1 大卫·哈雷 1 Ichinose、Takuma 1 Sohei伊藤 1 直子伊祖米 1 苏米特·库马尔·贾阿 1 路德维希·克里帕尔 1 斯特凡·库恩 1 科西莫·拉内夫 1 克里斯托弗·詹姆斯·兰米德 1 塞德里克·侯赛因 1 马丁内斯·加西亚,胡安·卡洛斯 1 玛丽亚娜·埃斯特·马丁内斯·桑切斯 1 蒂埃里·马丁内斯 1 劳拉·内兹 1 卡洛斯·奥拉特 1 卡图西亚帕拉米德斯 1 洛伊奇·波列维 1 安娜·菲利普 1 Sylvain Pradalier 1 基里亚基·帕萨拉 1 奥维迪乌·拉杜列斯库 1 David A.Rosenblueth。 1 阿维塔尔·萨多特 1 Šalagovič,雅库布 1 吉多·桑吉内蒂 1 Masaya岛川 1 西尔维,S。 1 斯塔马塔斯,乔治·N·。 1 伊恩·斯塔克 1 彼得·斯莫利安 1 伊雷克·乌利多夫斯基 1 直纪延崎 1 吉安路易吉·扎瓦塔罗 全部的 前5名6篇连载文章中引用 23 理论计算机科学 2 约束条件 1 混沌、孤子和分形 1 应用逻辑杂志 1 理论生物学杂志 1 实验医学与生物学进展 全部的 前5名13个领域引用 43 生物学和其他自然科学(92-XX) 35 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 三 概率论与随机过程(60-XX) 三 运筹学、数学规划(90-XX) 2 数值分析(65-XX) 1 实际功能(26年X月X日) 1 常微分方程(34-XX) 1 动力学系统与遍历理论(37至XX) 1 变分法与最优控制;最优化(49至XX) 1 统计学(62-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文