Java路径查找器 96篇文献引用(2000–2023) 软件作者: 克劳斯·哈维隆德;托马斯·普雷斯伯格 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;对照(93-XX)
扩展平滑 58篇文献引用(2008–2024) 软件作者: Hyndman,R.J。;安妮·科勒(Anne B.Koehler)。;Ord,J.Keith;拉尔夫·斯奈德。 相关软件: 预测;预测;R、 … 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
StFinMetrics公司 49篇文献引用(2003–2023) 软件作者: 埃里克·齐沃特(Eric Zivot);王家辉 相关软件: R;预测;预测… 主要字段: 动力系统与遍历理论(37-XX);概率论与随机过程(60-XX);统计学(62-XX)…
分享 38篇文献引用(1992–2024) 软件作者: 罗宾·萨纳(Robin Sahner);Trivedi,Kishor S。;安东尼奥·普利亚菲托 相关软件: 莫比乌斯;SPNP;智能_… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者: Kim G.Larsen、Wang Yi、Paul Pettersson、Alexandre David、Brian Nielsen、Arne Skou、John Håkansson、Jacob Illum Rasmussen、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
智能_ 23篇文献引用(2000–2018) 软件作者: Ciardo,G。;Jones,R.L。;Miner,A.S.公司。;R·西米尼亚努。 相关软件: 自旋蛋白;棱镜;NuSMV… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
dSPIN公司 22篇文献引用(2000–2014) 软件作者: Demartini,C.,Iosif,R.,Sisto,R。 相关软件: 自旋蛋白;班德拉;Java PathFinder… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
罗密欧 27篇文献引用(2005–2020) 软件作者: 纪尧姆·加迪;莱姆,迪迪埃;摩根·马根(Morgan Magnin);Olivier Roux(H.) 相关软件: TINA;Uppaal;Kronos… 主要字段: 组合数学(05-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
CAESAR_解决 11份文件引用(2006–2022) 软件作者: Radu Mateescu公司 相关软件: CADP;到期未结;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
E4类 14篇文献引用(1997–2021) 软件作者: Jose Manuel Casals、Alfredo Garcia-Hiernaux、Miguel Jerez、Sonia Sotoca、A.Alexandre Trindade 相关软件: Matlab;印章;MIDAS回归… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
APNN-工具箱 12份文件引用(1999–2022) 软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀 相关软件: 棱镜;政治公众人物协议;LDQBD… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
雷贝卡 引用于8份文件(2010–2022) 软件作者: 穆罕默德·马赫迪·贾古奥里;Sirjani,Marjan;穆萨维、穆罕默德·雷扎;哈梅斯帕纳,埃桑;阿里·莫瓦加尔 相关软件: Uppaal;克里奥尔;定时丽贝卡… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
测力计 引用于8份文件(2018–2023) 软件作者: Lu Ou、Michael D.Hunter、Sy Miin Chow 相关软件: R;KFAS;熔岩… 主要字段: 统计学(62-XX);系统论;对照(93-XX)
喷溅 3份文件引用(2012–2017) 软件作者: 法比奥·西格里斯特(Fabio Sigrist);汉斯·R·昆施。;沃纳·A·斯塔尔。 相关软件: R;spBayes;sp计时器… 主要字段: 统计学(62-XX);数值分析(65-XX);地球物理学(86-XX)
海军陆战队 引用于2份文件(2016–2023) 软件作者: 福尔摩斯E、沃德E、威尔斯K 相关软件: R;KFAS;VGAM… 主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
阿拉伯联合酋长国 3份文件引用(2012–2016) 软件作者: Kyungmin Bae、Peterlveczky、JoséMeseguer 相关软件: 电子LOTOS;GRL;LNT2LOTOS… 主要字段: 计算机科学(68-XX)
jMocha公司 4份文件引用(2008–2021) 软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;Henzinger,T。;托马斯。;Kang,M。;Kirsch,C。;马朱姆达尔,R。;Mang,F。;王,B.-Y。 相关软件: 摩卡;MCMAS;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
鳄鱼 引用于2份文件(2011–2021) 软件作者: Colange,M。;Baarir,S。;Kordon,F。;蒂里·米格(Thierry-Mieg,Y.)。 相关软件: 海伦娜;AlPiNA;GreatSPN公司 主要字段: 计算机科学(68-XX)
ERA-PAT公司 引用于2份文件(2014–2021) 软件作者: 林尚伟;刘,杨;孙军;董金松;埃蒂安·安德烈 相关软件: 拍打;ProB;PDDL… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
定时丽贝卡 3份文件引用(2016–2020) 软件作者: Khamespanah,E.,Sirjani,M.,Sabahi-Kaviani,Z.,Khosravi,R.,Izadi,M。 相关软件: 丽贝卡;Uppaal;旋转… 主要字段: 计算机科学(68-XX)
jMarkov公司 1份文件引用(2017) 软件作者: 胡安·佩雷斯(Juan F.Pérez);丹尼尔·席尔瓦(Daniel F.Silva);朱利奥·哥伊斯(Julio C.Góez);安德烈斯·萨米恩托;安德烈斯·萨米恩托·罗梅罗;Raha Akhavan-Tabatabaei;热尔曼·里阿尼奥 相关软件: MARCA;HyperStar;Jphase… 主要字段: 概率论与随机过程(60-XX);运筹学,数学编程(90-XX)
状态空间模型 在0个文档中引用 软件作者: 拉斐尔·萨维德拉(Raphael Saavedra)、吉尔赫梅·博丹(Guilherme Bodin)、马里奥·索托(Mario Souto) 相关软件: Optim公司;印章;朱莉娅… 主要字段: –
丽莎 1份文件引用(1992) 软件作者: 弗朗西斯科·马里努齐;斯特凡诺·索利安尼 相关软件: LISPACK;穆马特-83 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)
LISPACK系列 1份文件引用(1992) 软件作者: Iazeolla G.、Marinuzzi F 相关软件: 丽莎;穆马特-83 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)
NGSSEML公司 1份文件引用(2022) 软件作者: 蒂亚戈·雷泽恩德·多斯桑托斯(Thiago Rezende dos Santos)、达尼·加默曼(Dani Gamerman)、格拉拉·达康西卡奥·佛朗哥(Glaura da Conceicao Franco) 相关软件: SsfPack系列 主要字段: 统计学(62-XX)
Paracosm公司 1份文件引用(2023) 软件作者: Rupak Majumdar;阿曼·马图尔;马库斯·皮龙(Marcus Pirron);劳拉·斯坦纳;达米安·祖弗里 相关软件: imgage;SYNTHIA数据集;挤压Det… 主要字段: 计算机科学(68-XX)
ptdalgorithms 1份文件引用(2022) 软件作者: 托拜厄斯·Röikjer;霍博尔特(Asger Hobolth);卡斯珀·蒙奇 相关软件: R;相位类型R;矩阵指数函数 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)