×

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

GAMS游戏

898份文件引用(1984–2024)
软件作者: GAMS开发公司,GAMS软件有限公司
相关软件: CPLEX;AMPL;MINOS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

XPath(XPath)

205篇文献引用(2002–2023)
软件作者: w3.org网站
相关软件: XQuery;X标记;Oracle…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…

BERT(误码率)

179份文件引用(2019–2024)
软件作者: 雅各布·德夫林、张明伟、肯顿·李、克里斯蒂娜·图塔诺娃
相关软件: Tensor2传感器;亚当;RoBERTa…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

生物-PEPA

97篇文献引用(2008–2024)
软件作者: 费德里卡·乔切塔(Federica Ciocchetta)、玛丽亚·路易莎·格雷耶罗(Maria Luisa Guerriero)、瓦什蒂·加尔宾(Vashti Galpin)、简·希尔斯顿(Jane Hillston)、朱利奥·卡拉瓦尼亚(Giulio Caravagna)、阿兰·克拉克(Allan Clark)、安德烈亚·德加斯佩里(Andrea Degasperi)、亚当·杜吉德(Adam Duguid)、卡尼莫奇·埃尔拉瓦拉瓦松(Kanimozhi Ellavarason)、斯蒂芬·吉尔摩(Stephen Gilmore)、劳伦斯·洛伊(Laurence Loewe)、迪米利奥斯(Dimitrios Milios)
相关软件: 政治公众人物协议;棱镜;生物活性炭…
主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

Pfinder(查找器)

33篇文献引用(2000–2023)
软件作者: 雷恩,C.R。;阿扎尔巴耶贾尼,A。;Darrell,T。;A.彭特兰。
相关软件: BraMBLe公司;SIFT;扫描…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)…

IETI公司

70篇文献引用(2012–2023)
软件作者: S.K.Kleiss、C.Pechstein、B.Juêttler、S.Tomar
相关软件: GeoPDE;G+Smo;ISOGAT…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);数值分析(65-XX)…

ProVerify公司

49篇文献引用(2005–2023)
软件作者: inria.fr;布鲁诺·布兰切特
相关软件: AVISPA;塔马林;OFMC…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)…

固化

31份文件引用(2001–2023)
软件作者: K.J.Dana、B.Van-Ginneken、S.K.Nayar、J.J.Koenderink
相关软件: Outex;SIFT;EMD…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

如果2.0

38篇文献引用(2002–2022)
软件作者: 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔
相关软件: Uppaal;克罗诺斯;旋转…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

椰子

40篇文献引用(2003–2023)
软件作者: Hermann Schichl、COCONUT项目、Arnold Neumaier、Oleg Shcherbina、Eric Monfroy、Brice Pajot
相关软件: BARON公司;全球溶胶;AMPL…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

棱镜

41篇文献引用(2006–2022)
软件作者: 佐藤,T.,卡梅亚,Y。
相关软件: ProbLog;CP逻辑;PITA…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

SMOTEBoost公司

33篇文献引用(2004–2023)
软件作者: 巴尔南·达斯;Nitesh V.Chawla、Aleksandar Lazarevic、Lawrence O.Hall、Kevin W.Bowyer
相关软件: 打击;UCI-ml;AdaCost…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

低碳所

33篇文献引用(2016–2023)
软件作者: Laurent Dinh、David Krueger、Yoshua Bengio
相关软件: 亚当;辉光;火炬差异…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

GraRep公司

32篇文献引用(2017–2023)
软件作者: S.Cao、W.Lu、Q.Xu
相关软件: node2vec;DeepWalk;线路…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

深面(DeepFace)

32篇文献引用(2015–2023)
软件作者: Taigman Y,Yang M,Ranzato M,Wolf L。
相关软件: ImageNet;AlexNet;FaceNet…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

PHYSALIS公司

31份文件引用(2001–2022)
软件作者: 黄华雄;高木,舒
相关软件: 变形杆菌;CMPGRD;BiCGstab…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

APMC公司

29篇文献引用(2004–2021)
软件作者: 托马斯·Hérault;理查德·拉斯因;弗雷德里克·马涅特;西尔万·佩伦内特
相关软件: 棱镜;Uppaal;风暴…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

南美林猫

23篇文献引用(2007–2022)
软件作者: 埃米娜·托拉克;丹尼尔·杰克逊
相关软件: z3;Isabelle/HOL;尼特皮克…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

花茎

20篇文献引用(2009–2023)
软件作者: D.Anguelov、P.Srinivasan、D.Koller、S.Thrun、J.Rodgers、J.Davis
相关软件: HumanEva;Pfinder;PointNet…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

OFMC公司

25篇文献引用(2005–2022)
软件作者: 塞巴斯蒂安·莫德谢姆,卢卡·维甘诺
相关软件: AVISPA;NRL;Casper…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

沙雷

6篇文献引用(2020年-2023年)
软件作者: S霍耶
相关软件: 蟒蛇;数字Py;Matplotlib…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);概率论与随机过程(60-XX)…

LTSmin公司

25篇文献引用(2011–2023)
软件作者: 阿尔芬斯·拉阿尔曼(Alfons Laarman);雅各·范德波尔;迈克尔·韦伯;斯特凡·布洛姆
相关软件: 自旋蛋白;Uppaal;迪文尼…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

艺术3

16篇文献引用(1992–2012)
软件作者: 盖尔·卡彭特(Gail A.Carpenter);斯蒂芬·格罗斯伯格
相关软件: 模糊ARTMAP;UCI-ml;LVQPAK…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

TrueSkill公司

26篇文献引用(2008–2023)
软件作者: 拉尔夫·赫布里奇、汤姆·明卡、托尔·格雷佩尔
相关软件: 真技能;视觉UTA;PRMLT…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PITA公司

24篇文献引用(2010–2023)
软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);Swift,Terrance公司
相关软件: ProbLog;CP逻辑;棱镜…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

吉帕克

20篇文献引用(1994–2023)
软件作者: Codsi G。;皮尔逊·K·R。;莫纳什大学商业与经济学院政策研究中心
相关软件: GAMS;路径求解器;MPSGE…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

ProTDB公司

12份文件引用(2005–2018)
软件作者: A.尼尔曼,H.V.贾加迪什
相关软件: ProbView;PSQL;XPath…
主要字段: 计算机科学(68-XX)

狄拉克++

18篇文献引用(2008–2021)
软件作者: 吉多·莫肯。;克里斯托夫·凯特尔。
相关软件: Dirac_Laczos;FFTW;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);光学、电磁理论(78-XX)…

有限责任公司

在13份文件中引用(2012–2022)
软件作者: 斯蒂芬·福克(Stephan Falke);弗洛里安·默兹(Florian Merz);卡斯滕·辛兹
相关软件: 不明飞行物;CPA检查员;CBMC…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

MB基础

17篇文献引用(1999–2006)
软件作者: 安德烈亚斯·弗兰克;迈克尔·科尔哈斯
相关软件: TPS;欧米茄;数字(amp;N)…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)

圣蒂克

7份文件引用(2002–2018)
软件作者: Raschia,G。;N.穆阿迪布。
相关软件: 汇总SQL;C4.5;基因科普
主要字段: 计算机科学(68-XX)

苏西诺

16篇文献引用(2012–2021)
软件作者: 雷纳托·M.丰塞卡
相关软件: LieART;莎拉;数学…
主要字段: 非结合环与代数(17-XX);拓扑群,李群(22-XX);计算机科学(68-XX)…

回转变压器

12份文件引用(2022–2023)
软件作者: 刘泽、林宇通、曹岳、胡涵、魏一轩、张正、林士泰、郭白宁
相关软件: ViT;ImageNet;U-Net…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

DCVALID公司

16篇文献引用(2001–2022)
软件作者: 潘迪亚
相关软件: MONA;IDLVALID;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

灵丹妙药

16篇文献引用(1982–2005)
软件作者: Ramakrishnan,K.G。;密特拉·D·。
相关软件: FIDIL;GENTRAN公司;阿尔巴
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

深度SDF

12份文件引用(2020年-2023年)
软件作者: Jeong Joon Park、Peter Florence、Julian Straub、Richard Newcombe、Steven Lovegrove
相关软件: PyTorch;PointNet;ImageNet…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

PUMI公司

14篇文献引用(2016–2023)
软件作者: D.A.Ibanez、E.S.Seol、C.W.Smith、M.S.Shephard
相关软件: Gmsh;github;PETSc…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

简历

9份文件引用(1997–2023)
软件作者: 尤瓦尔·沙哈尔;马克·穆森
相关软件: 蛋白质;PrefixSpan;铲…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

布莱索

14篇文献引用(2011–2022)
软件作者: 克里斯·汉斯
相关软件: 奥斯卡;glmnet;ElemStatLearn…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);统计学(62-XX)…

DLR衬垫

14篇文献引用(2011–2023)
软件作者: 拉尔夫·哈特曼(Ralf Hartmann);霍尔德,约阿希姆;托拜厄斯·莱希特;弗洛里安·普里尔
相关软件: Spalart-Allmaras;PETSc;梅蒂斯…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

MatcotM公司

14篇文献引用(2022–2024)
软件作者: 帕瓦伊兹·艾哈迈德·奈克;以斯坎达里,琐赫;穆罕默德·亚武兹(Mehmet Yavuz);祖、健
相关软件: MatContM;自动;AUTO-07P…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);差分和函数方程(39-XX)…

metatah2vec

在13份文件中引用(2018–2023)
软件作者: Yuxiao Dong、Nitesh V Chawla、Ananthram Swami
相关软件: node2vec;DeepWalk;线路…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

Y-Geo公司

14篇文献引用(2015–2022)
软件作者: 俄克拉荷马州马哈巴迪;Lisjak,A;蒙吉扎,A;格拉塞利,G
相关软件: UDEC;FEAPpv;MultiFracs…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…

迪蒂尔伯特

6篇文献引用(2021年-2023年)
软件作者: Victor Sanh、Lysandre首次亮相、Julien Chaumond、Thomas Wolf
相关软件: BERT;RoBERTa公司;变形金刚…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

E-KRHper公司

在11份文件中引用(2007–2021)
软件作者: 佩尔泽,比约恩;Christoph Wernhard公司
相关软件: E定理证明器;E-Darvin;萨奇莫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

西格玛*

在13份文件中引用(2013–2022)
软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić)
相关软件: 拉利布;libalf;z3…
主要字段: 计算机科学(68-XX)

薄片

10篇文献引用(2016–2022)
软件作者: Carter,M.、He,S.、Whitaker,J.、Rakamarić,Z.、Emmi,M。
相关软件: CBMC;z3;SeaHorn…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

SPOOK(短管)

在11份文件中引用(2000–2020)
软件作者: A.Pfeffer、D.Koller、B.Milch、K.Takusagawa
相关软件: 博客;工厂;IBAL…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

APNN-工具箱

12份文件引用(1999–2022)
软件作者: 彼得·巴赫霍尔茨(Peter Buchholz);马库斯·费舍尔;彼得·坎佩尔;卡斯滕·泰珀
相关软件: 棱镜;政治公众人物协议;LDQBD…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

横梁

12份文件引用(2008–2020)
软件作者: 理查德·丘奇。
相关软件: OR-库;TSPLIB;SITATION…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

骨髓基质细胞

6篇文献引用(2017–2023)
软件作者: 斯特凡·齐格纳;马丁·费尔德基彻
相关软件: R;BMA;BAS…
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

检查VML

8份文件引用(2004–2019)
软件作者: 阿尔科斯·施密特(Dániel Varró)
相关软件: 自旋蛋白;沟槽;茂物…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

旗帜

在11份文件中引用(2013–2022)
软件作者: 冯,J。;哈里森,A.K。;奇坦维斯,S。;马古利斯,J。
相关软件: 雷亚尔;CAVEAT;七巧板…
主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);数值分析(65-XX)…

询问人

9份文件引用(1997–2013)
软件作者: 乔纳森·米伦
相关软件: OFMC;Isabelle/HOL;PVS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

OSiL公司

10篇文献引用(2005–2022)
软件作者: 罗伯特·福勒;马军;基普·马丁
相关软件: AMPL;GAMS;林多…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

PROMETHEE-MD公司

10篇文献引用(2009–2023)
软件作者: 北卡罗瓦尼。;Chabchoub,H。;马特尔,J.-M。
相关软件: FLINTSTONES公司;VIKOR;致敬…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);运筹学,数学规划(90-XX)…

德代尔

7份文件引用(2001–2010)
软件作者: S.Grumbach、P.Rigaux、L.Segoufin
相关软件: CCUBE;抒情的;Oracle…
主要字段: 近似和展开(41-XX);计算机科学(68-XX)

EAGLE公司

10篇文献引用(2015–2021)
软件作者: 亚历克西斯·图米;朱利安·古铁雷斯(Julian Gutierrez);迈克尔·伍尔德里奇
相关软件: 棱镜;PRISM-名称;MCMAS…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

国内流离失所者3

9份文件引用(2015–2020)
软件作者: 莫里斯·布鲁诺(Maurice Bruynooghe);亨德里克·布洛克(Hendrik Blockeel);博加特,巴特;De Cat,Broes;德普特(De Pooter,Stef);约阿希姆·扬森;安东尼·拉巴雷;Ramon,Jan;马克·德内克(Marc Denecker);四川省韦尔市
相关软件: 卡环;WASP;DLV…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

莱蒂斯·克里格

7份文件引用(2015–2023)
软件作者: 道格拉斯·尼奇卡(Douglas Nychka)、多里特·哈默林(Dorit Hammerling)、斯蒂芬·赛恩(Stephan Sain)、内森·伦森(Nathan Lenssen)
相关软件: FRK公司;spBayes;INLA…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);地球物理学(86-XX)

ARENA公司

9份文件引用(2002–2018)
软件作者: 罗克韦尔自动化公司
相关软件: Matlab;SPSS软件;DFBOX_IMPR…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)…

决策支持系统

3份文件引用(2008–2022)
软件作者: 保罗·吉尔伯特
相关软件: R;dlm;KFAS…
主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

中非合作论坛

9份文件引用(1994–2009)
软件作者: 阿迪尔Baykasoglu;新泽西州纳比尔·金迪。
相关软件: GAMS游戏
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

N3逻辑

7份文件引用(2008年至2017年)
软件作者: 蒂姆·伯纳斯-李(Tim Berners-Lee);Dan Connolly;拉拉纳·卡加尔;尤西·沙夫;吉姆·亨德勒
相关软件: 平滑;MWeb;SPARQL…
主要字段: 计算机科学(68-XX)

ProxylessNAS公司

7份文件引用(2020年-2023年)
软件作者: 韩才、朱立庚、宋涵
相关软件: DARTS;ImageNet;PyTorch…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

辛西娅

8份文件引用(2012–2022)
软件作者: Peter,H.-J.,Ehlers,R.,Mattmüller,R。
相关软件: UPPAAL TIGA;Uppaal;棱镜…
主要字段: 动力系统与遍历理论(37-XX);计算机科学(68-XX);系统论;控制(93-XX)

WinALT公司

8份文件引用(1997–2014)
软件作者: Piskunov,S.V.、Ostapkevich M.B.、Beletkov D.T。
相关软件: 可视化C++
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

EPWT公司

8份文件引用(2009–2022)
软件作者: 格林德·普隆卡(Gerlind Plonka);伊斯克,阿明;斯特凡妮·特诺思
相关软件: RBEPWT;2013年TID2013;S+小波…
主要字段: 近似和展开(41-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…

掠夺

6篇文献引用(2001–2004)
软件作者: 尤尔根·鲁夫
相关软件: Uppaal;KIV;皮纳帕…
主要字段: 计算机科学(68-XX)

样品

8份文件引用(2008–2022)
软件作者: 巴伦特,克里斯蒂安;乔塔姆·米特拉;穆斯塔法·萨奇;罗伯特·福勒
相关软件: MSLiP;古罗比;PySP…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

VerbNet(动词网络)

7份文件引用(2014–2022)
软件作者: 科罗拉多大学波德分校
相关软件: StanfordCoreNLP;小队;AQuA…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

AdaptFitOS(适配操作系统)

7份文件引用(2012–2020)
软件作者: Manuel Wiesenfarth;达吉亚纳·克里沃博科娃;克拉森,斯蒂芬;斯特凡·斯珀里奇
相关软件: 混乱;半标准杆;gamair…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

BAPS 2(安全带2)

6篇文献引用(2007–2015)
软件作者: 朱卡·科兰德(Jukka Corander)、帕特里克·沃尔德曼(Patrik Waldmann)、佩卡·马丁宁(Pekka Marttinen)、米科·西兰帕德(Mikko J.Sillanpä)
相关软件: 结构;iCDI-PseFpt;iEzy-drug…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

BAT公司

6篇文献引用(2009–2018)
软件作者: Allen Caldwell;丹尼尔·科拉尔(Daniel Kollar);凯文·克罗宁格
相关软件: HEPfit;图灵;古巴…
主要字段: 统计学(62-XX);数值分析(65-XX);量子理论(81-XX)

宝石派

5份文件引用(2019–2024)
软件作者: 米盖尔·德拉·瓦尔加、亚历山大·沙夫、弗洛里安·威尔曼
相关软件: 红色套件;大熊猫;光栅…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

基因

6篇文献引用(2012–2023)
软件作者: Carmona,J.、Cortadella,J.和Kishinevsky,M。
相关软件: 石化;红矿工;VipTool…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

GMNN公司

7份文件引用(2020年-2023年)
软件作者: 孟曲、约舒亚·本吉奥、简唐
相关软件: NetKit;结构;DeepWalk…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

HyLoRes公司

7份文件引用(2002–2020)
软件作者: Areces,C。;J.Heguiabehere。
相关软件: 斯巴达克斯;HyLoTab;HTab…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LinAIG公司

7份文件引用(2011–2022)
软件作者: 沃纳·达姆;Dierks,Henning;斯蒂芬·迪什(Stefan Disch);威廉·哈格曼;弗洛里安·皮戈什(Florian Pigorsch);克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨
相关软件: z3;CUDD;SpaceEx…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)…

OpenKE公司

4份文件引用(2021年-2023年)
软件作者: 徐翰、曹树林、吕欣、林彦凯、刘志远、孙茂松、李娟子
相关软件: Pykg2vec;AmpliGraph;旋转E…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

PoliMIce公司

7份文件引用(2015–2023)
软件作者: 戈里,G。;佐卡,M。;M.加拉贝利。;Guardone,A。;夸兰塔,G。
相关软件: SU2;LEWICE公司;Gmsh…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

精确度

7份文件引用(2001–2009)
软件作者: S.Krishnan、M.Foskey、T.Culver、J.Keyser、D.Manocha
相关软件: MAPC;LiDIA公司;mctoolbox…
主要字段: 交换代数(13-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

取消绑定DPC

7份文件引用(2017–2019)
软件作者: Khan M、Hayat M、Khan SA、Iqbal N
相关软件: 2L-piRNA;iRSpot-EL;iRNA-PseColl…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

WRF-SFIRE公司

7份文件引用(2016–2022)
软件作者: 曼德尔,J。;比兹利,J.D。;A.K.Kochanski。
相关软件: 火焰地图;FARSITE;Multivac…
主要字段: 偏微分方程(35-XX);统计学(62-XX);流体力学(76-XX)…

BDI-POMDP公司

3份文件引用(2005–2011)
软件作者: 奈尔(Nair,R.)。;M.塔姆贝。
相关软件: 杰森;PSPLIB;生物战…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

贝哈维

6篇文献引用(2016–2023)
软件作者: 贝彻,M。;格林·V。;托贝克,P。;霍恩,J。;肯尼迪,P。;奥斯本,J。
相关软件: BEESCOUT公司;锅铲;圆形…
主要字段: 差分方程和函数方程(39-XX);积分方程(45-XX);生物学和其他自然科学(92-XX)

BioBERT公司

5份文件引用(2022–2023)
软件作者: Jinhyuk Lee、Wonjin Yoon、Sungdong Kim、Donghyeon Kim、Sunkyu Kim、Chan Ho So、Jaewoo Kang
相关软件: BERT;SciBERT公司;捷运局…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

BiT公司

6篇文献引用(2022–2023)
软件作者: Alexander Kolesnikov、Lucas Beyer、Xiaohua Zhai、Joan Puigcerver、Jessica Yung、Sylvain Gelly、Neil Houlsby
相关软件: MS-COCO;BERT;ImageNet…
主要字段: 计算机科学(68-XX);流体力学(76-XX);运筹学,数学规划(90-XX)…

克利夫索

6篇文献引用(2010–2020)
软件作者: Gentile A.、Segreto S.、Sorbello F.、Vassallo G.、Vitable S.、Vullo V。
相关软件: 盖根;加洛普;CLU…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

代码2vec

3份文件引用(2022)
软件作者: 乌里·阿隆、梅塔尔·齐尔伯斯坦、奥马尔·利维、埃兰·雅哈夫
相关软件: 亚当;单词2vec;设计…
主要字段: 计算机科学(68-XX)

头巾

4份文件引用(2014年至2020年)
软件作者: 谢一辉;霍夫曼,海克;程晓月
相关软件: R;GGobi;rggobi…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX)

DeePMD套件

4份文件引用(2021年-2023年)
软件作者: 韩旺、张林峰、韩洁群、渭南E
相关软件: 亚当;TensorFlow;DL_MESO…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);流体力学(76-XX)…

DiPro公司

4份文件引用(2014–2023)
软件作者: 侯赛因·阿尔贾扎尔(Husain Aljazzar)、弗洛里安·雷特纳·费舍尔(Florian Leitner-Fischer)、斯特凡·洛伊(Stefan Leue)、迪米塔尔·西梅诺夫(Dimitar Simeonov)
相关软件: 棱镜;漫画;z3…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

FAMIX公司

1份文件引用(2010)
软件作者: S.Demeyer、S.Tichelaar、S.Ducasse
相关软件: 丘拉斯科;SPARQL;GitHub…
主要字段: 计算机科学(68-XX)

加诺马利

4份文件引用(2019–2021)
软件作者: Samet Akcay、Amir Atapour-Abarghouei、Toby P.Breckon
相关软件: TensorFlow;Scikit;PyTorch…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

HIN2Vec公司

5份文件引用(2018–2021)
软件作者: 陶洋富、王谦利、甄磊
相关软件: metatah2vec;PTE;节点2vec…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

LaSDI公司

6篇文献引用(2022–2023)
软件作者: 威廉·D·弗里斯。;何小龙;崔英秀
相关软件: gLaSDI;亚当;PyTorch…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

NTU RGB+D

4份文件引用(2021年至2022年)
软件作者: Amir Shahroudy、Jun Liu、Tian Tsong Ng、Gang Wang
相关软件: HON4D;格拉克勒斯;签字人:…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

像素VAE

6篇文献引用(2019–2022)
软件作者: Ishaan Gulrajani、Kundan Kumar、Faruk Ahmed、Adrien Ali Taiga、Francesco Visin、David Vazquez、Aaron Courville
相关软件: PMTK;WaveNet;darch…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

重新校准

6篇文献引用(2011–2022)
软件作者: 王法恩
相关软件: 克罗诺斯;Uppaal;CMC…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件