biological networks; dynamic systems; parallel model checking; parameter scanning; systems biology;
机译:大规模系统生物学模型中的参数估计:一种并行自适应合作策略
机译:SBML-PET-MPI:用于基于系统生物学标记语言的模型的并行参数估计工具
机译:SBML-PET-MPI:用于基于系统生物学标记语言的模型的并行参数估计工具
机译:通过并行模型检查在系统生物学中的应用程序扫描
机译:算法代数模型检查:混合自动机和系统生物学。
机译:大规模系统生物学模型中的参数估计:一种并行自适应合作策略
机译:通过并行模型检查进行参数扫描及其在系统生物学中的应用
机译:切换模型的时态优先级检验及其在并行着陆协议中的应用