棱镜 498份文件引用(2001–2023) 软件作者: 玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克 相关软件: MRMC;风暴;Uppaal… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
MC队列 163篇文献引用(2003–2024) 软件作者: 亨克·蒂杰姆斯 相关软件: github;R;EMpht… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
MRMC公司 71篇文献引用(2006–2023) 软件作者: Joost-Pieter Katoen;亚琛工业大学 相关软件: 棱镜;Uppaal;CADP… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
聚乙烯醇水杨酸 14篇文献引用(2011年-2023年) 软件作者: AlTurki,M.,Meseguer,J 相关软件: 莫德;PMaude;VESTA… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
磅 16篇文献引用(2010–2022) 软件作者: 迈克尔·佩德森(Michael Pedersen);戈登·普洛金(Gordon D.Plotkin)。 相关软件: 生物-PEPA;BioNetGen;生物活性炭… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
可视化DSD 15篇文献引用(2013–2023) 软件作者: 拉金,M.R.,优素福,S.,波罗,F.,埃米特,S.,菲利普斯,A。 相关软件: 棱镜;z3;Z34Bio… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)…
侵蚀 14篇文献引用(2017–2024) 软件作者: Cardelli,L.、Tribastone,M.、Tschaikowski,M.和Vandin,A。 相关软件: CLUE;z3;NFsim… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
APNN-工具箱 12份文件引用(1999年至2022年) 软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀 相关软件: 棱镜;政治公众人物协议;LDQBD… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
斯皮科 在10份文件中引用(2007–2020) 软件作者: 科特勒,塞林;塞德里克·侯赛因;约阿希姆·尼伦 相关软件: 生物-PEPA;BioNetGen;BlenX… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
SABRE公司 5份文件引用(2011–2016) 软件作者: Didier,F.、Henzinger,T.A.、Mateescu,M.、Wolf,V 相关软件: 棱镜;玛丽;生物-PEPA… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
DiPro公司 4份文件引用(2014–2023) 软件作者: 侯赛因·阿尔贾扎尔(Husain Aljazzar)、弗洛里安·雷特纳·费舍尔(Florian Leitner-Fischer)、斯特凡·洛伊(Stefan Leue)、迪米塔尔·西梅诺夫(Dimitar Simeonov) 相关软件: 棱镜;漫画;z3… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
信息 4份文件引用(2009–2015) 软件作者: Ernst Moritz Hahn、Holger Hermanns、Björn Wachter、Lijun Zhang 相关软件: 棱镜;APMC;SBML测试套件… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
PRISM-PSY公司 4份文件引用(2018) 软件作者: 乔什卡,M.,Pilař,P.,Paoletti,N.,Brim,L.,Kwiatkowska,M。 相关软件: 棱镜;PROPhESY公司;PPL… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
CCMC公司 2份文件引用(2013年) 软件作者: 高,杨;恩斯特·莫里茨·哈恩(Ernst Moritz Hahn);詹乃军;张丽君 相关软件: MRMC;棱镜 主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX)
SimInf公司 1份文件引用(2023) 软件作者: Stefan Widgren、Pavol Bauer、Stefan Engblom 相关软件: R;灵活的;EpiModel… 主要字段: 统计学(62-XX)
SOC溶液4L 2份文件引用(2008–2014) 软件作者: 阿扎托,J.D。;Krawczyk,J.B。 相关软件: – 主要字段: 常微分方程(34-XX);变分法与最优控制;优化(49-XX);概率论与随机过程(60-XX)…
WBR-2019 2份文件引用(2019–2022) 软件作者: 詹姆斯·N·沃克。;安德鲁·布莱克(Andrew J.Black)。;Joshua V.罗斯。 相关软件: AABC;贝叶斯DA;MLM和ABC的保密性… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
ptdalgorithms 1份文件引用(2022) 软件作者: 托拜厄斯·Röikjer;霍博尔特(Asger Hobolth);卡斯珀·蒙奇 相关软件: R;相位类型R;矩阵指数函数 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)