禁忌搜索 1027份文件引用(1991–2022) 软件作者: 弗雷德·格洛弗(Fred Glover);埃里克·泰勒;多米尼克·德韦拉 相关软件: 分散搜索;CPLEX;VRP… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
糠 引用于559份文件(2001–2023) 软件作者: Moskewicz,M.、Madigan,C.、Zhao,Y.、Zhang,L.和Malik,S 相关软件: MiniSat;伯克敏;SATO… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
ETPS公司 162篇文献引用(1986–2022) 软件作者: 彼得·安德鲁斯(Peter Andrews)、马修·毕晓普(Matthew Bishop)、查德·布朗(Chad E.Brown)、苏尼尔·伊萨尔(Sunil Issar)、丹·内史密斯(Dan Nesmith)、弗兰克·普芬宁(Frank Pfenning 相关软件: TPS;Isabelle/HOL;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
口齿不清 114篇文献引用(1960–2023) 软件作者: 麦卡锡,约翰 相关软件: ACL2;NQTHM;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
CCalc公司 77份文件引用(2003–2023) 软件作者: 恩里科·金奇利亚(Enrico Giunchiglia);Lee,Joohyung;弗拉基米尔·利夫希茨;诺曼·麦凯恩;哈德森·特纳 相关软件: 平滑;科拉;高尔夫… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
第三方程序 78篇文献引用(1990–2022) 软件作者: Andrews,Peter B。;乍得·E·布朗。 相关软件: TPTP;ETPS;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数学逻辑与基础(03-XX)…
Reluplex公司 71篇文献引用(2017–2024) 软件作者: Guy Katz、Clark Barrett、David Dill、Kyle Julian、Mykel Kochenderfer 相关软件: AI2;NNV;ImageNet… 主要字段: –
夹子 64篇文献引用(1992–2020) 软件作者: 加里·莱利;吉亚兰托 相关软件: 杰西;蛋白质;马格特… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
火炬 在30份文件中引用(2003–2023) 软件作者: R.Collobert、S.Bengio、J.Mariethoz 相关软件: TensorFlow;咖啡馆;Theano… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
FRIL公司 38篇文献引用(1987–2022) 软件作者: 鲍德温,J.F。;马丁·T·P。;B.W.皮尔斯沃思。 相关软件: Likelog;FPROLOG;XPath… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
AOA公司 42篇文献引用(2021–2024) 软件作者: Laith Abualigah;迪亚巴特,阿里;米尔贾利利、塞耶达利;穆罕默德·阿卜德·埃拉齐兹(Abd Elaziz,Mohamed);Amir H.甘多米。 相关软件: GWO;WOA;SSA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
Python Web图形生成器 41篇文献引用(2013年-2023年) 软件作者: 萨基特·萨特 相关软件: 就餐套房;NetLogo;invGauss… 主要字段: 组合数学(05-XX);常微分方程(34-XX);统计力学,物质结构(82-XX)…
GNMT公司 35篇文献引用(2018–2023) 软件作者: 吴永辉、迈克·舒斯特尔、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁操、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤义雄、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯,杰森·里萨(Jason Riesa)、亚历克斯·鲁德尼克(Alex Rudnick 相关软件: ImageNet;AlexNet;亚当… 主要字段: 近似和展开(41-XX);统计学(62-XX);计算机科学(68-XX)…
阿尔法零 34份文件引用(2018–2022) 软件作者: DeepMind;大卫·西尔弗;托马斯·休伯特;朱利安·施里特维瑟(Julian Schrittwieser);哈萨比斯 相关软件: 亚当;AlexNet;ImageNet… 主要字段: 统计学(62-XX);计算机科学(68-XX);变形固体力学(74-XX)…
梯度-CAM 22篇文献引用(2018–2023) 软件作者: Ramprasaath R.Selvaraju、Michael Cogswell、Abhishek Das、Ramakrishna Vedantam、Devi Parikh、Dhruv Batra 相关软件: ImageNet;AlexNet;形状… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
ViT公司 24篇文献引用(2021–2024) 软件作者: Alexey Dosovitskiy、Lucas Beyer、Alexander Kolesnikov、Dirk Weissenborn、Xiaohua Zhai、Thomas Unterthiner、Mostafa Deghani、Matthias Minderer、Georg Heigold、Sylvain Gelly、Jakob Uszkoreit、Neil Houlsby 相关软件: Tensor2传感器;伯特;亚当… 主要字段: 偏微分方程(35-XX);计算机科学(68-XX);变形固体力学(74-XX)…
NESTOR公司 27篇文献引用(1985–2017) 软件作者: G.F.库珀。 相关软件: TETRAD公司;DENDRAL公司;ElemStatLearn… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);统计学(62-XX)…
QUBE公司 26篇文献引用(2001–2018) 软件作者: 恩里科·金奇利亚(Enrico Giunchiglia);马西莫·纳里扎诺;阿曼多·塔切拉 相关软件: QuBE++;Quaffle;箔条… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX)…
德洛雷斯 21篇文献引用(2000–2022) 软件作者: 迈克尔·马赫(Michael Maher);特里斯坦·米勒 相关软件: DR-Prolog;DLV2;WebPIE… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
图尔巴尔2 27篇文献引用(2007–2023) 软件作者: 托马斯·希克斯;西蒙·德·吉夫里(Simon de Givry);大卫·阿洛奇 相关软件: mplp2;数字插孔;MaxHS… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
DeepStack公司 26篇文献引用(2017年-2023年) 软件作者: 莫拉夫切克,马泰吉;马丁·施密德(Martin Schmid);尼尔·伯奇;维利亚姆·利西;达斯汀·莫里尔;诺兰·巴德;特雷弗·戴维斯;Waugh,Kevin;迈克尔·约翰逊(Michael Johanson);迈克尔·保龄球 相关软件: 天秤座;游戏萎缩;Pluribus… 主要字段: 常微分方程(34-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
海绵体 23篇文献引用(2001–2021) 软件作者: A.P.道伊德 相关软件: TETRAD公司;HdBCS;玻璃… 主要字段: 组合数学(05-XX);范畴理论;同调代数(18-XX);概率论与随机过程(60-XX)…
SOMA公司 21篇文献引用(2002–2023) 软件作者: 伊凡·泽林卡;朱妮·兰皮宁 相关软件: GSA;GWO;irace… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
太阳能 19份文件引用(1993–2022) 软件作者: Nabeshima Hidetomo、岩沼浩二、井上胜美、Oliver Ray 相关软件: E定理证明器;SPASS;SCIFF… 主要字段: (68T15-XX);(68T27-XX)
Zchaff2004型 16篇文献引用(2005–2016) 软件作者: Yogesh S.Mahajan。;傅朝辉;沙拉德·马利克 相关软件: MiniSat;查夫;伯克敏… 主要字段: 数学逻辑与基础(03-XX);几何(51-XX);凸和离散几何(52-XX)…
美国心脏协会 20篇文献引用(2022–2024) 软件作者: 赵卫国;王丽英;米尔贾利,塞耶达利 相关软件: WOA;GWO;GSA… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
DeepAR(深度AR) 19份文件引用(2021–2024) 软件作者: David Salinas、Valentin Flunkert、Jan Gasthaus 相关软件: expsmooth;XGBoost;预测… 主要字段: –
爱德华 15篇文献引用(2017年-2023年) 软件作者: Tran,D.,Kucukelbir,A.,Dieng,A.B.,Rudolph,M.,Liang,D.,Blei,D.M。 相关软件: 斯坦;TensorFlow;Theano… 主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);数值分析(65-XX)…
CIXL2号机组 17篇文献引用(2005–2014) 软件作者: Ortiz Boyer博士。;埃尔瓦斯·马丁内斯,C。;北卡罗来纳州加西亚·佩德拉哈斯。 相关软件: 基因组学;ABC;LIBSVM… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
EOlib(EOlib) 13份文件引用(2002–2015) 软件作者: Keijzer,M。;梅雷洛,J.J。;罗梅罗,G。;马克·肖纳(Marc Schoenauer);Johann Dréo,Caner Candan 相关软件: ParaDisEO;欧洲法院;MAFRA… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)…
艾伯特 10篇文献引用(2021–2023) 软件作者: 兰振中、陈明达、古德曼、金佩尔、夏尔马、索里克特 相关软件: RoBERTa公司;伯特;手套… 主要字段: 统计学(62-XX);计算机科学(68-XX);系统论;控制(93-XX)
DeepProbLog(深度探测日志) 18篇文献引用(2020–2023) 软件作者: 罗宾·曼哈夫、塞巴斯蒂安·杜曼奇奇、安吉丽卡·金米格、托马斯·德梅斯特、吕克·德雷特 相关软件: ProbLog;亚当;NeurASP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
ShapeNet公司 13份文件引用(2018–2022) 软件作者: Angel X.Chang、Thomas Funkhouser、Leonidas Guibas、Pat Hanrahan、Qixing Huang、Zimo Li、Silvio Savarese、Manolis Savva、Shuran Song、Hao Su、Xiao、Li Yi、Fisher Yu 相关软件: PointNet;3D-R2N2;像素2网格… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
HARP(HARP) 15篇文献引用(1990年至2020年) 软件作者: Opacher,F。;翻毛皮,E 相关软件: SETHEO公司;TPTP;3TAP… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
代理风险 14篇文献引用(2013年-2023年) 软件作者: 诺曼·芬顿;尼尔、马丁 相关软件: R;TETRAD公司;Elicitator… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
深度数学 15篇文献引用(2017–2021) 软件作者: Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban 相关软件: 米扎尔;E定理证明器;谜… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);计算机科学(68-XX)
DLV-EX公司 16篇文献引用(2007–2021) 软件作者: 弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼 相关软件: 克林孔;克林戈;接通DLV… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
全球投资银行 14篇文献引用(2001–2019) 软件作者: 俄勒冈州大学 相关软件: 古罗比;MCTS解决方案;伙计 主要字段: 组合数学(05-XX);非结合环与代数(17-XX);群论与推广(20-XX)…
FPROLOG公司 13份文件引用(1985–2023) 软件作者: T.P.马丁。;鲍德温,J.F。;皮尔斯沃斯,B.W。 相关软件: FRIL;Ciao;BousiProlog… 主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);统计学(62-XX)…
监狱 14篇文献引用(2004–2023) 软件作者: F.古拉德。 相关软件: 剖面/偏差;filib++;国际实验室… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
MEBN公司 11份文件引用(2008–2018) 软件作者: 凯瑟琳·布莱克蒙·拉斯基 相关软件: 博客;PR-OWL;IBAL… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);统计学(62-XX)…
RLlib(RL库) 7份文件引用(2020–2024) 软件作者: 射线团队修订;Eric Liang、Richard Liaw、Philipp Moritz、Robert Nishihara、Roy Fox、Ken Goldberg、Joseph E.Gonzalez、Michael I.Jordan、Ion Stoica 相关软件: OpenAI健身房;多巴胺;PyTorch… 主要字段: 组合数学(05-XX);偏微分方程(35-XX);数值分析(65-XX)…
嗯 12份文件引用(2004–2020) 软件作者: K墨菲 相关软件: R;Matlab;大脑连接工具箱… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
崔弟 14篇文献引用(2016–2023) 软件作者: 蒂姆,M。 相关软件: DiArg;LARS;Clingo… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
ACUOS2号机组 13份文件引用(2014–2022) 软件作者: 马利亚阿尔普特;黛米斯·巴利斯;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔 相关软件: 莫德;莫德-NPA;塔马林… 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)
生物爪哇 5份文件引用(2009–2017) 软件作者: 安德烈亚斯·普里奇;安德鲁·耶茨(Andrew Yates);斯宾塞·E·布利文;彼得·罗斯(Peter W.Rose);朱利叶斯·雅各布森;Peter V.Troshin;马克·查普曼;高建炯;川可可;西尔万·福西;理查德·霍兰德;格迪米亚斯·里姆萨;迈克尔·豪尔(Michael L.Heuer);H.Brandstatter-Muller;菲利普·伯恩(Philip E.Bourne);滑板车威利斯 相关软件: 生物蟒蛇;生物钟;MMTK… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
iCaRL公司 11份文件引用(2019–2023) 软件作者: Sylvestre-Alvise Rebuffi、Alexander Kolesnikov、Georg Sperl、Christoph H.Lampert 相关软件: ImageNet;PyTorch公司;亚当… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
CTADEL公司 12份文件引用(1998–2020) 软件作者: 范恩格伦,罗伯特·亚历山大 相关软件: Mathematica;手指;SciNapse… 主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);数值分析(65-XX)…
神经卫星 12份文件引用(2019–2023) 软件作者: 丹尼尔·塞尔萨姆;马修·拉姆(Matthew Lamm);班尼茨,贝内迪克特;梁佩西;莱昂纳多·德·莫拉;大卫·L·迪尔。 相关软件: 萨齐拉;古罗比;亚当… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
PointCNN(美国有线电视新闻网) 9份文件引用(2019–2022) 软件作者: 李阳彦、吕布、孙明超、吴伟、狄新翰、陈宝全 相关软件: PointNet;VoxNet;VoxelNet… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
阳光 11份文件引用(2014年至2020年) 软件作者: 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 相关软件: 萨齐拉;微量锌;变形杆菌… 主要字段: 几何(51-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
天秤座 10篇文献引用(2018–2022) 软件作者: 诺姆·布朗;托马斯·桑德霍姆 相关软件: DeepStack;普里巴斯;AlphaZero… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Theta公司* 10篇文献引用(2010–2022) 软件作者: 肯尼·丹尼尔、亚历克斯·纳什、斯文·柯尼格、阿里尔·费尔纳 相关软件: Matlab;MISER3;可视化MISER… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
阿克拉 10篇文献引用(2005–2011) 软件作者: 乔瓦尼·佩祖洛(Giovanni Pezzulo);Gianguglielmo·卡尔维 相关软件: 古巴国防部;可可;戴恩… 主要字段: (68T99-XX)
克莱沃 9份文件引用(2020–2023) 软件作者: 贾斯汀·约翰逊(Justin Johnson)、巴拉斯·哈里哈兰(Bharath Hariharan)、劳伦斯·范德马滕(Laurens van der Maaten)、李菲菲(Li Fei-Fei)、C.劳伦斯·齐特尼克(C.Lawrence Zitnick)、罗斯·吉希克 相关软件: CLEVR数据集;DeepProbLog;NeurASP… 主要字段: 统计学(62-XX);计算机科学(68-XX)
3D-R2N2型 8份文件引用(2019–2021) 软件作者: Christopher B.Choy、Danfei Xu、JunYoung Gwak、Kevin Chen、Silvio Savarese 相关软件: 形状网;PointNet;亚当… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
graph2vec(图形2vec) 9份文件引用(2018–2021) 软件作者: Annamalai Narayanan、Mahinthan Chandramohan、Rajasekar Venkatesan、Lihui Chen、Yang Liu、Shantanu Jaiswal 相关软件: node2vec;DeepWalk;单词2vec… 主要字段: –
HOList公司 10篇文献引用(2020–2023) 软件作者: 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件: 谜;E定理证明器;GitHub… 主要字段: 群论与推广(20-XX);数值分析(65-XX);计算机科学(68-XX)
莱拉 9份文件引用(2002–2011) 软件作者: Ciampolini,安娜;伊芙琳娜·拉姆;梅洛,保拉;保罗·托罗尼 相关软件: KQML;Qu-Prolog;数据日志… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);系统论;控制(93-XX)
PMLB公司 8份文件引用(2018–2023) 软件作者: Randal S.Olson、William La Cava、Patryk Orzechowski、Ryan J.Urbanowicz、Jason H.Moore 相关软件: Scikit;UCI毫升;GitHub… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
PyBrain公司 6篇文献引用(2011–2016) 软件作者: T.Schaul、J.Bayer、D.Wierstra、Y.Sun、M.Felder、F.Sehnke、T.Rückstieß、J.Schmidhuber 相关软件: 蟒蛇;SHOGUN公司;橙色… 主要字段: 统计学(62-XX);计算机科学(68-XX);量子理论(81-XX)…
足球服务器 引用于3份文件(2007–2010) 软件作者: 野田佳彦,H.松原,K.平木,I.弗兰克。 相关软件: 社会可视化者;岛国;CCalc… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
维基百科矿工 4份文件引用(2012–2019) 软件作者: 大卫·米尔恩(David Milne);伊恩·维滕 相关软件: DBpedia;曼陀罗;BabelNet… 主要字段: 统计学(62-XX);计算机科学(68-XX)
AIspace公司 7份文件引用(2010–2022) 软件作者: Knoll,B.,Kisynski,J.,Carenini,G.,Conati,C.,Mackworth,A.,Poole,D 相关软件: GOSDT;HgMUS;形状… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…
卡拉 6篇文献引用(2019–2023) 软件作者: 阿列克谢·多索维茨基(Alexey Dosovitskiy)、德国人罗斯(German Ros)、菲利佩·科德维拉(Felipe Codevilla)、安东尼奥·洛佩兹(Antonio Lopez)、弗拉德伦·科尔顿 相关软件: OpenAI健身房;LGSVL;基蒂… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);运筹学、数学规划(90-XX)
集群-GCN 9份文件引用(2021–2024) 软件作者: 蒋伟林、刘宣清、Si Si、Yang Li、Samy Bengio、Cho Jui Hsieh 相关软件: 快速GCN;亚当;签名… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
RealPlan(实际计划) 9份文件引用(2001–2008) 软件作者: 斯利瓦斯塔瓦,比普拉夫;Subbarao Kombhampati;多,明B。 相关软件: 图形平面图;STAN;CPlan… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
资产负债管理 8份文件引用(2012–2020) 软件作者: Daniela Inclezan、Michael Gelfond 相关软件: 人民;VerbNet;CCalc… 主要字段: 计算机科学(68-XX)
CLEVR数据集 7份文件引用(2020–2022) 软件作者: 贾斯汀·约翰逊(Justin Johnson)、巴拉斯·哈里哈兰(Bharath Hariharan)、劳伦斯·范德马滕(Laurens van der Maaten)、李菲菲(Li Fei-Fei)、C.劳伦斯·齐特尼克(C.Lawrence Zitnick)、罗斯·吉希克 相关软件: CLEVR;伯特;PyTorch… 主要字段: –
hABCDE 8份文件引用(2014–2023) 软件作者: 向万里;马寿峰;安美清 相关软件: ABC;玉石;哇… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
MLP-混合器 8份文件引用(2022–2023) 软件作者: 伊利亚·托尔斯蒂金、尼尔·霍尔斯比、亚历山大·科尔斯尼科夫、卢卡斯·拜尔、翟小华、托马斯·恩特提纳、杰西卡·容格、安德烈亚斯·施泰纳、丹尼尔·凯泽斯、雅各布·乌斯科雷特、马里奥·卢西奇、阿列克谢·多索维茨基 相关软件: 伯特;GPT-3;Tensor2传感器… 主要字段: 统计学(62-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
NumPyro编号 6篇文献引用(2021–2023) 软件作者: 杜凡、尼拉杰·普拉丹、马丁·扬科维亚克 相关软件: 坚果;JAX;Pyro… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
普里巴斯 8份文件引用(2019–2022) 软件作者: 诺姆·布朗;托马斯·桑德霍姆 相关软件: DeepStack;天秤座;FEniCS… 主要字段: 统计学(62-XX);计算机科学(68-XX);流体力学(76-XX)…
雷 5份文件引用(2021–2022) 软件作者: 菲利普·莫里茨(Philipp Moritz)、罗伯特·西哈拉(Robert Nishihara)、斯蒂芬妮·王(Stephanie Wang 相关软件: TensorFlow;蟒蛇;OpenAI健身房… 主要字段: 动力系统与遍历理论(37-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
AI可解释性360 2份文件引用(2021) 软件作者: V.Arya、R.K.E.Bellamy、P.-Y.Chen、A.Dhurandhar、M.Hind、S.C.Hoffman、S.Houde、Q.V.Liao、R.Luss、A.Mojsilovic、S.Mourad、P.Pedemonte、R.Raghavendra、J.T.Richards、P.Sattigeri、K.Shanmugam、M.Singh、K.R.Varshney、D.Wei、Y.Zhang 相关软件: TensorFlow;InterpretML;不在场证明解释… 主要字段: 计算机科学(68-XX)
cplint(cplint) 7份文件引用(2017年至2022年) 软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);朱塞佩·科塔;埃琳娜·贝洛迪;里卡多·泽斯 相关软件: ProbLog;SWI-预测;棱镜… 主要字段: 计算机科学(68-XX)
割断 7份文件引用(2019–2023) 软件作者: 迪亚科尼科拉斯,伊利亚斯;高塔姆·卡马特;丹尼尔·凯恩(Daniel M.Kane)。;李杰瑞;雅各布·斯坦哈特;阿利斯泰尔·斯图尔特 相关软件: UCI毫升;查找;Scikit… 主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);计算机科学(68-XX)…
波浪辉光 5份文件引用(2021–2022) 软件作者: Ryan Prenger、Rafael Valle、Bryan Catanzaro 相关软件: 辉光;亚当;nsf… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
Captum公司 1份文件引用(2021) 软件作者: Narine Kokhlikyan、Vivek Miglani、Miguel Martin、Edward Wang、Bilal Alsalakh、Jonathan Reynolds、Alexander Melnikov、Natalia Kliushkina、Carlos Araya、Siqi Yan、Orion Reblitz Richardson 相关软件: PyTorch公司;不在场证明解释;Python… 主要字段: –
通用包装器4AC 6篇文献引用(2019年至2024年) 软件作者: 凯萨琳娜·艾根斯佩格;马吕斯·林道尔;弗兰克·哈特 相关软件: irace;帕拉米尔斯;EGO… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
图RNN 6篇文献引用(2020–2023) 软件作者: 尤嘉轩、英力士、任翔、威廉·汉密尔顿、朱尔·莱斯科维奇 相关软件: DeepWalk;node2vec;NetGAN… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
牛顿 5份文件引用(1997–2013) 软件作者: 范·亨特利克(Van Hentenryck),帕斯卡(Pascal);劳伦特·米歇尔(Laurent Michel);F.本哈莫。 相关软件: 太阳神;帕斯卡尔-XSC;COMET… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
人民 5份文件引用(2019–2021) 软件作者: 杨芳凯、吕道明、刘波、史蒂文·古斯塔夫森 相关软件: REBA;BWIBots;ALM… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
流浪汉 4份文件引用(2021–2022) 软件作者: Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件: 数据日志;RDFox;LUBM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
验证 5份文件引用(2021–2023) 软件作者: 托马索·德罗西(Tommaso Dreossi)、丹尼尔·弗雷蒙特(Daniel J.Fremont)、施洛蒙娜·戈什(Shromona Ghosh)、爱德华·金(Edward Kim)、哈迪·拉文巴赫(Hadi Ravanbakhsh)、马塞尔·巴斯奎兹·香拉特(Marcell Vazque 相关软件: Reluplex;NNV;风景… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
CVD网 2份文件引用(2023) 软件作者: Chaimae的Ouchicha;阿莫尔,瓦法埃;穆罕默德·梅克纳西 相关软件: 冠状病毒网络;github;Xception… 主要字段: 测量和集成(28-XX);常微分方程(34-XX);数值分析(65-XX)…
国内流离失所者 5份文件引用(2008–2017) 软件作者: DTAI-KU鲁汶;Wittocx,J.,Marién,M.,Denecker,M 相关软件: 平滑;MiniSat;本质… 主要字段: 计算机科学(68-XX)
利比亚 5份文件引用(2016–2018) 软件作者: 彼得·米尔斯 相关软件: PRMLT;SPOT;iACP… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);统计学(62-XX)…
纳萨里 5份文件引用(2016–2022) 软件作者: JoséCamacho-Collados;穆罕默德·塔赫尔·皮莱瓦尔(Mohammad Taher Pilehvar);罗伯特·纳维利 相关软件: 单词2vec;BabelNet;WordNet… 主要字段: 计算机科学(68-XX)
Pykg2vec公司 2份文件引用(2021) 软件作者: Shih Yuan Yu、Sujit Rokka Chhetri、Arquimedes Canedo、Palash Goyal、Mohammad Abdullah Al-Faruque 相关软件: OpenKE;AmpliGraph;Python… 主要字段: 计算机科学(68-XX)