×

找到35个软件包(结果1-35)

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、Peterlveczky、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)

奥里斯

1份文件引用(2005)
软件作者: 贾科莫·布奇;劳拉·卡内瓦利;洛伦佐·里迪;恩里科·比卡里奥
相关软件: TINA;Uppaal;时间…
主要字段: 计算机科学(68-XX)

PSyHCoS系统

1份文件引用(2014)
软件作者: 埃蒂安·安德烈;刘,杨;孙军;董金松
相关软件: Shrinktech公司;拍打;PPL…
主要字段: 计算机科学(68-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)

ss鼠标架

在0个文档中引用
软件作者: 安东尼奥·卡尔卡尼,马西米利亚诺·帕斯托雷
相关软件: KFAS;ggmcmc;shinystan…
主要字段:

StateSpace.jl公司

在0个文档中引用
软件作者:
相关软件: Optim公司;控制系统.jl;Kalman.jl…
主要字段:

定时自动机

1份文件引用(2016)
软件作者: 西蒙·威默
相关软件: 存档正式证据;HOL;Uppaal…
主要字段: 计算机科学(68-XX)

TSSS公司

1份文件引用(2021)
软件作者: Genshiro北川
相关软件: R(右)
主要字段: 统计学(62-XX)

部分CI

在0个文档中引用
软件作者: 马修·克莱格、克里斯托弗·克劳斯、乔纳斯·伦德
相关软件:
主要字段:

无线电测距

在0个文档中引用
软件作者: 郝烨、亚当·克拉克、伊桑·德伊尔、奥利弗·凯斯、乔治·杉原
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件