×

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

ANTLR公司

53篇文献引用(1997–2023)
软件作者: 帕尔,T。;于丹;颜洪志;王吉娜
相关软件: Stratego;YACC;JastAdd…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

ITP公司

31份文件引用(2005年-2023年)
软件作者: Clavel,M。;帕洛米诺,M。;A.里斯科。
相关软件: 莫德;SCC;咖啡OBJ…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

捷运局

27篇文献引用(2018年至2024年)
软件作者: 罗伯特·麦库洛赫、罗德尼·斯帕帕尼、罗伯特·格拉马奇、查尔斯·斯潘鲍尔、马修·普拉托拉、马丁·普卢默、尼基·贝斯特、凯特·考尔斯、凯伦·维纳斯
相关软件: 贝叶斯树;巴蒂;tsbart…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

二叉树

24篇文献引用(2010年-2023年)
软件作者: 埃里克·罗兰。
相关软件: 组织环境信息系统;GJsqfree;GJSAW…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);数论(11-XX)…

倾角RF

16篇文献引用(2016–2024)
软件作者: 比约恩·门泽;D.N.Splitthoff公司
相关软件: UCI-ml;grf;XGBoost…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

植物醇

12份文件引用(2014–2022)
软件作者: 利亚姆·雷维尔
相关软件: 猿;R;盖革…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

埃塞特拉

9份文件引用(2017年-2023年)
软件作者: 雅科克斯,E。;Chauve,C。;Szöllősi,G.J。;彭蒂,Y。;斯科纳瓦卡,C。
相关软件: RAxML;TreeFix;Notung…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

糖囊最小化器

7份文件引用(2020–2021)
软件作者: 马雷克·菲舍尔
相关软件: 组织环境信息系统;Mathematica;apTreeshape…
主要字段: 组合数学(05-XX);测量和集成(28-XX);生物学和其他自然科学(92-XX)

SHIELD(屏蔽)

7份文件引用(2016年至2019年)
软件作者: 阿尔哈桑·凯德;格伦·古拉克(Glenn Gulak);维诺德·瓦昆塔坦
相关软件: FHEW;HElib;如果…
主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

HERBY公司

5份文件引用(1998-2004年)
软件作者: 蒙蒂,新生儿
相关软件: 水獭;TPTP;TGTP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

新图表

6篇文献引用(1997–2021)
软件作者: 法克,V。;Pitre,S.N。;范德杰格特,J。
相关软件: NJGRAF;COEFANG1;拉卡…
主要字段: 组合数学(05-XX);特殊功能(33-XX);偏微分方程(35-XX)…

DIF树

4份文件引用(2003–2017)
软件作者: J.B.Dugan、B.Venkataraman、R.Gulati
相关软件: DFTCalc;CADP;MRMC…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX);信息与通信理论,电路(94-XX)

dt控制

4份文件引用(2020–2022)
软件作者: 阿肖克,普拉纳夫;马蒂亚斯·杰克米耶;贾格塔普、普什帕克;Křetínsk \345],Jan;马克西米利安,威宁格;马吉德·扎马尼
相关软件: SCOTS;GOSDT;CRIO…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

KDTREE公司

4份文件引用(2011–2021)
软件作者: 马修·B·犬舍
相关软件: PRMLT;Voro++;PIC-MCC…
主要字段: 数值分析(65-XX);流体力学(76-XX);统计力学,物质结构(82-XX)…

毫秒BP

2份文件引用(2016–2021)
软件作者: 安东尼奥·卡纳尔
相关软件: R;CODA;BNP密度…
主要字段: 统计学(62-XX)

OCTAL公司

4份文件引用(2017–2022)
软件作者: Christensen,S.、Molloy,E.K.、Vachaspati,P.、Warnow,T。
相关软件: ASTRID公司;ASTRAL-II;巴基…
主要字段: 总体主题;藏品(00-XX);运筹学,数学编程(90-XX);生物学和其他自然科学(92-XX)

玫瑰色

4份文件引用(2003–2010)
软件作者: 丹·昆兰
相关软件: SUIF;GAMS;AMPL…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

同步试验台

4份文件引用(2016–2023)
软件作者: 文森特·格拉莫利
相关软件: NOrec;CESAR;c2i…
主要字段: 计算机科学(68-XX)

布尔表达式检查器

3份文件引用(2017–2022)
软件作者: 托比亚斯·尼普科
相关软件: 存档正式证据;Isabelle/HOL;Transition_Systems_and_Automata…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

项目工具包

2份文件引用(2015–2017)
软件作者: ITEM软件(美国)公司
相关软件: 棱镜;MARCA;HyperStar…
主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX)

爪哇基因

3份文件引用(2002–2008)
软件作者: Al Globus、Sean Atsatt、John Lawton、Todd Wipke
相关软件:
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);统计力学,物质结构(82-XX)…

贾格诺

3份文件引用(2015–2018)
软件作者: 乔纳森·海宁(Jonathan Heinen);克里斯蒂娜·詹森(Christina Jansen);Joost-Pieter Katoen;诺尔,托马斯
相关软件: HIP;见证人;MONA…
主要字段: 计算机科学(68-XX)

意向书

3份文件引用(2012–2014)
软件作者: 多龙·泽尔伯格
相关软件: 二叉树
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)

超级三人组

3份文件引用(2011–2019)
软件作者: Ranwez,V.、Criscuolo,A.、Douzery,E。
相关软件: 物理SIC;四重奏MaxCut;记录-I-DCM3…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

踏板

3份文件引用(2018–2020)
软件作者: 马克西米利安·哈斯贝克(Maximilian Haslbeck)、曼努埃尔·埃贝尔(Manuel Eberl)、托比亚斯·尼普科(Tobias Nipkow)
相关软件: Isabelle/HOL;快速分拣成本;密度编译器…
主要字段: 计算机科学(68-XX)

自动2_Imperative_HOL

2份文件引用(2018)
软件作者: 伯华詹
相关软件: 分离逻辑;AUTO2;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

EHBT公司

2份文件引用(2001–2003)
软件作者: 桑德罗·拉斐利;Laurent Mathy;大卫·哈奇森
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

快速Adaboost

2份文件引用(2020–2023)
软件作者: 苏拉夫·查特吉
相关软件: 神经网络;拉尔斯;插入符号…
主要字段: 统计学(62-XX);计算机科学(68-XX)

FSInteract公司

2份文件引用(2014–2020)
软件作者: Hyun Jik Kim,Rajen D.Shah
相关软件: 亚当;沃罗诺伊;XGBoost…
主要字段: 统计学(62-XX);计算机科学(68-XX)

ImbTreeAUC公司

在0个文档中引用
软件作者: Krzysztof Gajowniczek;托马什·兹昂布考斯基
相关软件: ImbTreeEntropy;UCI-ml;rpart…
主要字段:

ImbTreeEntropy(ImbTree熵)

在0个文档中引用
软件作者: Krzysztof Gajowniczek,Tomasz Ząbkowski
相关软件: UCI-ml;rpart;C4.5…
主要字段:

皮斯鲁格斯

在0个文档中引用
软件作者: 索拉布·托菲吉
相关软件: 蟒蛇;DEAP;pyGOURGS公司
主要字段:

随机BST

2份文件引用(2018–2020)
软件作者: 曼纽尔·埃贝尔
相关软件: Isabelle/HOL;密度编译器;根平衡树…
主要字段: 计算机科学(68-XX)

Splay树

2份文件引用(2016年至2019年)
软件作者: T.尼普科。
相关软件: 存档正式证据;摊销复杂性;HOL…
主要字段: 计算机科学(68-XX)

tq距离

2份文件引用(2017–2021)
软件作者: A.Sand、M.K.Holt、J.Johansen、G.S.Brodal、T.Mailund、C.N.S.Pedersen
相关软件: 算法447;SuMoTED;欧洲公共科学图书馆
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

附加位

1份文件引用(2021)
软件作者: 布拉戈·热诺夫
相关软件: github;q骨架;波尔科…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);凸和离散几何(52-XX);数值分析(65-XX)…

适用的吊装

1份文件引用(2016)
软件作者: 安德烈亚斯·洛赫比勒;约书亚·施耐德
相关软件: Coq;Isabelle/HOL;密度编译器…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

乔木3D

1份文件引用(2005年)
软件作者: 德里克·A·鲁思、爱德华·S·陈、利兰·埃利斯
相关软件: TreeWiz;CloseGraph;RadCon…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

大Wig

1份文件引用(2014)
软件作者: Kent,W.J.,Zweig,A.S.,Barber,G.,Hinrichs,A.S..,Karolchik,D。
相关软件: 基因组比对;基因组范围;批量实验…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

BinClass(二进制类)

1份文件引用(2004)
软件作者: Gyllenberg,M.,T.Koski,T.Lund
相关软件:
主要字段: 生物学和其他自然科学(92-XX)

CIMTx公司

在0个文档中引用
软件作者: 胡良元、顾晨阳、迈克尔·洛佩兹、季佳怡
相关软件: 捷运局;tmle;超级学习者…
主要字段:

多样性森林

1份文件引用(2022)
软件作者: 马文·赖特(Marvin N.Wright),罗曼·霍农(Roman Hornung)
相关软件: 螺栓SIRR;倾斜RF;可调性…
主要字段: 统计学(62-XX)

关贸总协定

1份文件引用(2019)
软件作者: Noutahi,E.,El-Mabrouk,N。
相关软件: 气体;ProCAR;角度…
主要字段: 总体主题;藏品(00-XX);运筹学,数学编程(90-XX);生物学和其他自然科学(92-XX)

gbev型

1份文件引用(2010)
软件作者: J.塞克斯顿。
相关软件: AdaCost;ada;AdaBoost。MH…
主要字段: 统计学(62-XX);数值分析(65-XX)

图BPT

1份文件引用(2015)
软件作者: 阿卜杜拉·杜加利;弗朗索瓦·梅尔基奥;塞巴斯蒂安·列夫雷
相关软件: 利伯达
主要字段: 计算机科学(68-XX)

利比亚增值税

1份文件引用(2019)
软件作者: Ondrej Lengal;吉里·西马切克;托马斯·沃伊纳;马丁·赫鲁斯卡;卢卡斯·霍利克
相关软件: 餐前小吃;反链;LTL2BA…
主要字段: 计算机科学(68-XX)

果园生成器

1份文件引用(2024)
软件作者: 加布里埃尔·卡多纳;杰勒德·里巴斯(Gerard Ribas);琼·卡尔斯·彭斯
相关软件: Phylo网络
主要字段: 生物学和其他自然科学(92-XX)

订单记录注册

1份文件引用(2015)
软件作者: Bethany J.沃尔夫。;Elizabeth H.Slate。;伊丽莎白·希尔。
相关软件: LogicReg;CRAN;rpartScore…
主要字段: 统计学(62-XX)

OSDT公司

1份文件引用(2022)
软件作者: 胡希扬、辛西娅·鲁丁、玛戈·塞尔泽
相关软件: 埃克拉特;PyDL8.5;伊斯兰解放军…
主要字段: 运筹学、数学规划(90-XX)

配对堆

1份文件引用(2019)
软件作者: 豪克·布林科普;托比亚斯·尼普科
相关软件: OCaml;根平衡树;存档正式证据…
主要字段: 计算机科学(68-XX)

红黑树

1份文件引用(2016)
软件作者: 埃敏·马提尼安
相关软件: TauStar;R(右)
主要字段: 统计学(62-XX)

射频+

1份文件引用(2021)
软件作者: 姚、基冈;Mukul S.班萨尔。
相关软件: SaGePhy;ASTRAL-II标准
主要字段: 计算机科学(68-XX)

树QA

1份文件引用(2016)
软件作者: Pan,F.、L.McMillan、F.Pardo-Manuel de Villena、D.Threadgill、W.Wang
相关软件: 加迈尔;HTreeQA;树LD…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

TxT公司

1份文件引用(2013)
软件作者: 郑宇;吴涛阳;张路欣
相关软件: 诺顿
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

VBCTOOL公司

1份文件引用(2005年)
软件作者: 塞巴斯蒂安·莱佩特
相关软件: 林多;CPLEX;优化软件的决策树…
主要字段: 运筹学、数学规划(90-XX)

VR-BFDT公司

1份文件引用(2015)
软件作者: 法希梅·戈尔扎里(Fahimeh Golzari);赛义德·贾利利
相关软件: iPro54-PseKNC;iLoc Gpos公司;iLoc-Plant…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

flexBART公司

在0个文档中引用
软件作者: Sameer K.Deshpande。
相关软件:
主要字段:

gbts标准

在0个文档中引用
软件作者: 韦利·W·J·梁
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件