禁忌搜索 1027份文件引用(1991–2022) 软件作者: 弗雷德·格洛弗(Fred Glover);埃里克·泰勒;多米尼克·德韦拉 相关软件: 分散搜索;CPLEX;VRP… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
Reluplex公司 71篇文献引用(2017–2024) 软件作者: 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件: 马拉博;AI2;NNV… 主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…
剪辑 64篇文献引用(1992–2020) 软件作者: 加里·莱利;吉亚兰托 相关软件: 杰斯;蛋白质;马格特… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
AlphaZero(零字母) 66份文件中引用(2018–2024) 软件作者: DeepMind;大卫·西尔弗;托马斯·休伯特;朱利安·施里特维瑟(Julian Schrittwieser);哈萨比斯 相关软件: 亚当;AlexNet;ImageNet… 主要字段: 统计学(62-XX);计算机科学(68-XX);变形固体力学(74-XX)…
梯度-CAM 42篇文献引用(2018–2024) 软件作者: Ramprasaath R.Selvaraju、Michael Cogswell、Abhishek Das、Ramakrishna Vedantam、Devi Parikh、Dhruv Batra 相关软件: ImageNet;形状;AlexNet… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
火炬 30篇文献引用(2003–2023) 软件作者: R.Collobert、S.Bengio、J.Mariethoz 相关软件: TensorFlow;咖啡馆;Theano… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
GNMT公司 引用于38份文件(2018–2024) 软件作者: 吴永辉、迈克·舒斯特尔、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁操、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤义雄、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯,杰森·里萨(Jason Riesa)、亚历克斯·鲁德尼克(Alex Rudnick 相关软件: ImageNet;AlexNet;亚当… 主要字段: 近似和展开(41-XX);统计学(62-XX);计算机科学(68-XX)…
AOA公司 42篇文献引用(2021–2024) 软件作者: Laith Abualigah;阿里·迪亚巴特(Ali Diabat);米尔贾利利、塞耶达利;穆罕默德·阿卜德·埃拉齐兹(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)…
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传感器;BERT;亚当… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-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)…
SOMA公司 21篇文献引用(2002–2023) 软件作者: 伊凡·泽林卡;朱妮·兰皮宁 相关软件: GSA;GWO;irace… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
ShapeNet公司 16篇文献引用(2018年-2023年) 软件作者: Angel X.Chang、Thomas Funkhouser、Leonidas Guibas、Pat Hanrahan、Qixing Huang、Zimo Li、Silvio Savarese、Manolis Savva、Shuran Song、Hao Su、Xiaojiangong、Li Yi、Fisher Yu 相关软件: PointNet;3D-R2N2;亚当… 主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-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;预测… 主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);计算机科学(68-XX)…
爱德华 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)…
艾伯特 10篇文献引用(2021–2023) 软件作者: 兰振中、陈明达、古德曼、金佩尔、夏尔马、索里克特 相关软件: BERT;RoBERTa公司;手套… 主要字段: 统计学(62-XX);计算机科学(68-XX);系统论;控制(93-XX)
DeepProbLog(深度探测日志) 18篇文献引用(2020–2023) 软件作者: 罗宾·曼哈夫、塞巴斯蒂安·杜曼奇奇、安吉丽卡·金米格、托马斯·德梅斯特、吕克·德雷特 相关软件: ProbLog;NeurASP;亚当… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
深度数学 16篇文献引用(2017–2023) 软件作者: Alex A.Alemi、Francois Chollet、Niklas Een、Geoffrey Irving、Christian Szegedy、Josef Urban 相关软件: E定理证明器;米扎尔;谜… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);计算机科学(68-XX)
卡拉 10篇文献引用(2019–2024) 软件作者: 阿列克谢·多索维茨基(Alexey Dosovitskiy)、德国人罗斯(German Ros)、菲利佩·科德维拉(Felipe Codevilla)、安东尼奥·洛佩兹(Antonio Lopez)、弗拉德伦·科尔顿 相关软件: OpenAI健身房;LGSVL;ChauffeurNet… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
DLV-EX公司 16篇文献引用(2007–2021) 软件作者: 弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼 相关软件: 克林孔;克林戈;接通DLV… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
轨道库 16篇文献引用(2008–2021) 软件作者: 安德烈·普拉泽 相关软件: z3;凯伊迈拉;QEPCAD… 主要字段: 数学逻辑与基础(03-XX);交换代数(13-XX);代数几何(14-XX)…
PointCNN(美国有线电视新闻网) 13份文件引用(2019–2023) 软件作者: 李阳彦、吕布、孙明超、吴伟、狄新翰、陈宝全 相关软件: PointNet;VoxNet;VoxelNet… 主要字段: 欧氏空间(42-XX)的调和分析;数值分析(65-XX);计算机科学(68-XX)…
RLlib(RL库) 8份文件引用(2020–2024) 软件作者: 射线团队修订;Eric Liang、Richard Liaw、Philipp Moritz、Robert Nishihara、Roy Fox、Ken Goldberg、Joseph E.Gonzalez、Michael I.Jordan、Ion Stoica 相关软件: OpenAI健身房;多巴胺;PyTorch… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-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)…
隐马尔可夫模型 12份文件引用(2004–2020) 软件作者: K墨菲 相关软件: R;Matlab;大脑连接工具箱… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
阳光 13份文件引用(2014–2023) 软件作者: 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗 相关软件: 萨齐拉;微量锌;变形杆菌… 主要字段: 几何(51-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
生物爪哇 5份文件引用(2009–2017) 软件作者: 安德烈亚斯·普里奇;安德鲁·耶茨(Andrew Yates);斯宾塞·E·布利文;彼得·罗斯(Peter W.Rose);朱利叶斯·雅各布森;Peter V.Troshin;马克·查普曼;高建炯;川可可;西尔万·福西;理查德·霍兰德(Richard Holland);格迪米亚斯·里姆萨;迈克尔·豪尔(Michael L.Heuer);H.Brandstatter-Muller;菲利普·伯恩(Philip E.Bourne);滑板车威利斯 相关软件: 生物蟒蛇;生物钟;MMTK… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
Theta公司* 12份文件引用(2010年-2023年) 软件作者: 肯尼·丹尼尔、亚历克斯·纳什、斯文·柯尼格、阿里尔·费尔纳 相关软件: 安雅;Matlab;MISER3… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
CTADEL公司 12份文件引用(1998–2020) 软件作者: 范·恩格伦,罗伯特·亚历山大 相关软件: Mathematica;手指;SciNapse… 主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);数值分析(65-XX)…
graph2vec(图形2vec) 11份文件引用(2018–2024) 软件作者: Annamalai Narayanan、Mahinthan Chandramohan、Rajasekar Venkatesan、Lihui Chen、Yang Liu、Shantanu Jaiswal 相关软件: node2vec;DeepWalk;单词2vec… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
神经卫星 12份文件引用(2019–2023) 软件作者: 丹尼尔·塞尔萨姆;马修·拉姆(Matthew Lamm);班尼茨,贝内迪克特;梁佩西;莱昂纳多·德·莫拉;大卫·L·迪尔。 相关软件: 萨齐拉;古罗比;亚当… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
3D-R2N2型 8份文件引用(2019–2021) 软件作者: Christopher B.Choy、Danfei Xu、JunYoung Gwak、Kevin Chen、Silvio Savarese 相关软件: ShapeNet;PointNet;亚当… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
HOList公司 10篇文献引用(2020–2023) 软件作者: 克什蒂吉·班萨尔、莎拉·卢斯、马库斯·拉贝、克里斯蒂安·塞格迪、斯图尔特·威尔科克斯 相关软件: 谜;E定理证明器;FEMaLeCoP… 主要字段: 群论与推广(20-XX);数值分析(65-XX);计算机科学(68-XX)
PMLB公司 8份文件引用(2018年-2023年) 软件作者: Randal S.Olson、William La Cava、Patryk Orzechowski、Ryan J.Urbanowicz、Jason H.Moore 相关软件: Scikit;UCI-ml;GitHub… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
维基百科矿工 4份文件引用(2012–2019) 软件作者: 大卫·米尔恩(David Milne);伊恩·维滕 相关软件: 数据库;曼陀罗;BabelNet… 主要字段: 统计学(62-XX);计算机科学(68-XX)
集群-GCN 引用于9份文件(2021–2024) 软件作者: 蒋伟林、刘宣清、司思、杨丽、萨米·本吉奥、谢卓绝 相关软件: 快速GCN;DeepWalk;亚当… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
资产负债管理 8份文件引用(2012–2020) 软件作者: Daniela Inclezan、Michael Gelfond 相关软件: 人民;VerbNet;CCalc… 主要字段: 计算机科学(68-XX)
MLP混合器 8份文件引用(2022–2023) 软件作者: 伊利亚·托尔斯蒂金、尼尔·霍尔斯比、亚历山大·科尔斯尼科夫、卢卡斯·拜尔、翟小华、托马斯·恩特提纳、杰西卡·容格、安德烈亚斯·施泰纳、丹尼尔·凯泽斯、雅各布·乌斯科雷特、马里奥·卢西奇、阿列克谢·多索维茨基 相关软件: BERT;GPT-3;Tensor2传感器… 主要字段: 统计学(62-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…
NumPyro编号 6篇文献引用(2021–2023) 软件作者: 杜凡、尼拉杰·普拉丹、马丁·扬科维亚克 相关软件: 坚果;高温;JAX… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
雷 5份文件引用(2021–2022) 软件作者: 菲利普·莫里茨(Philipp Moritz)、罗伯特·西哈拉(Robert Nishihara)、斯蒂芬妮·王(Stephanie Wang 相关软件: TensorFlow;蟒蛇;OpenAI健身房… 主要字段: 动力系统与遍历理论(37-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
验证 6篇文献引用(2021–2024) 软件作者: Tommaso Dreossi、Daniel J.Fremont、Shromona Ghosh、Edward Kim、Hadi Ravanbakhsh、Marcel Vazquez Chanlatte、Sanjit A.Seshia 相关软件: Reluplex;NNV;阿波罗… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
cplint(cplint) 7份文件引用(2017–2022) 软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);朱塞佩·科塔;埃琳娜·贝洛迪;里卡多·泽斯 相关软件: ProbLog;SWI-预测;棱镜… 主要字段: 计算机科学(68-XX)
海外建筑运营管理局 7份文件引用(2019–2023) 软件作者: 杨成润、秋本裕二、金大元、尤德尔 相关软件: 超波段;自动sklearn;SMAC… 主要字段: 近似和展开(41-XX);统计学(62-XX);数值分析(65-XX)…
人民 6篇文献引用(2019–2021) 软件作者: 杨方凯、吕道明、刘波、史蒂文·古斯塔夫森 相关软件: REBA;BWIBots;ALM… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
割断 7份文件引用(2019–2023) 软件作者: 迪亚科尼科拉斯,伊利亚斯;高塔姆·卡马特;丹尼尔·凯恩(Daniel M.Kane)。;李杰瑞;雅各布·斯坦哈特;阿利斯泰尔·斯图尔特 相关软件: UCI-ml;查找;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 Alsallakh、Jonathan Reynolds、Alexander Melnikov、Natalia Kliushkina、Carlos Araya、Siqi Yan、Orion Reblitz-Richardson 相关软件: PyTorch;不在场证明解释;Python… 主要字段: 计算机科学(68-XX)
图RNN 6篇文献引用(2020–2023) 软件作者: 尤嘉轩、英力士、任翔、威廉·汉密尔顿、朱尔·莱斯科维奇 相关软件: DeepWalk;node2vec;NetGAN… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
流浪汉 4份文件引用(2021–2022) 软件作者: Luigi Bellomarini、Georg Gottlob、Emanuel Sallinger 相关软件: 数据日志;RDFox;LUBM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
链条RL 2份文件引用(2021) 软件作者: 藤田康宏、片冈敏树、永拉詹(Prabhat Nagarajan)、石川隆弘(Takahiro Ishikawa) 相关软件: RLlib;rlpyt;多巴胺… 主要字段: 计算机科学(68-XX)
利比亚 5份文件引用(2016–2018) 软件作者: 彼得·米尔斯 相关软件: PRMLT;SPOT;iACP… 主要字段: 偏微分方程(35-XX);变分法与最优控制;优化(49-XX);统计学(62-XX)…
Pykg2vec公司 2份文件引用(2021) 软件作者: Shih Yuan Yu、Sujit Rokka Chhetri、Arquimedes Canedo、Palash Goyal、Mohammad Abdullah Al-Faruque 相关软件: OpenKE;AmpliGraph;Python… 主要字段: 计算机科学(68-XX)
核心50 3份文件引用(2019–2022) 软件作者: 文森佐·洛莫纳科(Vincenzo Lomonaco)、戴维德·马尔托尼(Davide Maltoni) 相关软件: iCaRL;PyTorch;CIFAR… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)
联邦卫生局 3份文件引用(2021–2023) 软件作者: 陈一强、王金东、余朝晖、高文、秦欣 相关软件: 脚手架;获取SGD;MNIST… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
法国食品标准局 3份文件引用(2000–2006) 软件作者: 多萝西娅·布罗斯坦、史蒂夫·史密斯、凯文·诺文斯、理查德·扎尼比、阿利斯·罗斯、大卫·陶斯基、尼克·威兰 相关软件: MathBrush;枫树 主要字段: 计算机科学(68-XX)
NLocalSAT(非本地卫星) 3份文件引用(2021–2023) 软件作者: 张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐 相关软件: CCAnr;YalSAT;玲玲… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
PPF网 3份文件引用(2019–2023) 软件作者: Haowen Deng、Tolga Birdal、Slobodan Ilic 相关软件: PointNet;3DMatch;PPF-FoldNet… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
派肯 2份文件引用(2021–2023) 软件作者: 迈赫迪·阿里、马克斯·贝伦多夫、查尔斯·塔普利·霍伊特、劳伦特·弗穆、萨汉德·沙里夫扎德、沃尔克·特雷普、延斯·莱曼 相关软件: DGL-KE;Pykg2vec;OpenKE… 主要字段: 计算机科学(68-XX)
子图形2vec 2份文件引用(2019–2020) 软件作者: Annamalai Narayanan、Mahinthan Chandramohan、Lihui Chen、Yang Liu、Santhoshkumar Saminathan 相关软件: node2vec;蟒蛇;快速DTW… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
TinyBERT公司 2份文件引用(2022–2023) 软件作者: 焦晓琦、尹宜春、尚立峰、新疆、小陈、李林林、王芳、刘群 相关软件: BERT;Tensor2传感器;RoBERTa… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
主题RNN 3份文件引用(2019–2022) 软件作者: Adji B.Dieng、Chong Wang、Jianfeng Gao、John Paisley 相关软件: TensorFlow;torchdiffeq;Tensor2传感器… 主要字段: 统计学(62-XX);计算机科学(68-XX)
ViZDoom公司 3份文件引用(2018–2022) 软件作者: MichałKempka、Marek Wydmuch、Grzegorz Runc、Jakub Toczek、Wojciech Ja she kowski 相关软件: 亚当;AI2-THOR;MuJoCo… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
高级BNN 3份文件引用(2021–2023) 软件作者: 刘玄清;李、姚;吴崇若;谢卓瑞 相关软件: MagNet;AlexNet;ImageNet… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
bn监视器 2份文件引用(2022–2023) 软件作者: Manuele Leonelli、Ramsiya Ramanathan、Rachel Wilkerson 相关软件: 舞台树;g雨水;bn学习… 主要字段: 计算机科学(68-XX)
着色变压器 1份文件引用(2022) 软件作者: Manoj Kumar、Dirk Weissenborn、Nal Kalchbrenner 相关软件: ImageNet;TransGAN公司;DeblurGAN… 主要字段: 计算机科学(68-XX)
CVAE-GAN公司 3份文件引用(2020–2023) 软件作者: 鲍建民、董晨、方文、李厚强、刚华 相关软件: Wasserstein GAN;亚当;Inception-v4… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
FiLM公司 2份文件引用(2020) 软件作者: Ethan Perez、Florian Strub、Harm de Vries、Vincent Dumoulin、Aaron Courville 相关软件: 计数观念;V-Net;快速NAT… 主要字段: 计算机科学(68-XX)
游戏Pad 3份文件引用(2019–2023) 软件作者: Daniel Huang;Prafulla Dhariwal;宋,黎明;伊利亚·萨茨克沃 相关软件: E定理证明器;深度数学;FEMaLeCoP… 主要字段: 计算机科学(68-XX)
GAN实验室 1份文件引用(2021) 软件作者: Minsuk Kahng、Nikhil Thorat、Duen Hong Chau、Fernanda Viégas、Martin Wattenberg 相关软件: ConvNetJS;TensorFlow;LSTMVis… 主要字段: 算子理论(47-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
Isar步骤 3份文件引用(2021–2023) 软件作者: 李文达;于磊;吴玉怀;劳伦斯·C·鲍尔森。 相关软件: Isabelle/HOL;HOList;TacTok… 主要字段: 计算机科学(68-XX)
LSTM签证 1份文件引用(2018) 软件作者: 亨德里克·斯特罗贝尔(Hendrik Strobelt)、塞巴斯蒂安·盖尔曼(Sebastian Gehrmann)、汉斯彼得·普菲斯特(Hanspeter Pfister)、亚历山大·拉什(Alexander M.Rush) 相关软件: TensorFlow;CUDA;DeepEyes… 主要字段: 统计学(62-XX);计算机科学(68-XX)
迷宫基地 1份文件引用(2020) 软件作者: 赛因巴亚尔·苏赫巴托、亚瑟·斯拉姆、加布里埃尔·辛奈夫、索米斯·金塔拉、罗伯·弗格斯 相关软件: BWAPI;RMSprop;OpenAI健身房… 主要字段: 计算机科学(68-XX)
MidiNet公司 2份文件引用(2020–2023) 软件作者: Li-Chia Yang、Szu Yu Chou、Yi-Hsuan Yang 相关软件: 亚当;LakhNES公司;穆塞根… 主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);统计学(62-XX)…
MOPO公司 3份文件引用(2021–2023) 软件作者: 于天河;加勒特·托马斯;于兰涛;埃蒙,斯特凡诺;詹姆斯·邹(James Zou);谢尔盖·莱文;芬恩,切尔西;马腾宇 相关软件: PRMLT;ElemStatLearn;安全健身房… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
OR-Gym公司 1份文件引用(2022) 软件作者: Christian D.Hubbs、Hector D.Perez、Owais Sarwar、Nikolaos V.Sahinidis、Ignacio E.Grossmann、John M.Wassick 相关软件: OpenAI健身房;古罗比;MIP学习… 主要字段: 变分法与最优控制;优化(49-XX);系统论;控制(93-XX)
2百万吨 2份文件引用(2022) 软件作者: 乔瓦尼·西亚托、罗伯塔·卡莱加里、安德烈亚·奥米西尼 相关软件: 重新规范;tuProlog公司;序言… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
日出 2份文件引用(2022–2023) 软件作者: Kimin Lee、Michael Laskin、Aravind Srinivas、Pieter Abbeel 相关软件: 曲线;QT-点;VIME… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
AI2-THOR公司 1份文件引用(2022) 软件作者: Eric Kolve、Roozbeh Mottaghi、Winson Han、Eli VanderBilt、Luca Weihs、Alvaro Herrasti、Daniel Gordon、Yuke Zhu、Abhinav Gupta、Ali Farhadi 相关软件: ViZDoom;全球;ArraMon… 主要字段: 计算机科学(68-XX)
阿尔弗雷德 2份文件引用(2022) 软件作者: Mohit Shridhar、Jesse Thomason、Daniel Gordon、Yonatan Bisk、Winson Han、Roozbeh Mottaghi、Luke Zettlemoyer、Dieter Fox 相关软件: 全球;ArraMon;小屋… 主要字段: 计算机科学(68-XX)
双酚A 2份文件引用(2018) 软件作者: 本杰明·艾弗拉 相关软件: COMSOL公司;Matlab;Theta公司* 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
清洁网 2份文件引用(2021–2023) 软件作者: Kuang-Huei Lee、Xiaodong He、Lei Zhang、Linjun Yang 相关软件: MobileNets;ImageNet;CIFAR… 主要字段: 计算机科学(68-XX)
清洁X 在0个文档中引用 软件作者: 坎迪斯·马克达·摩尔(Candace Makeda Moore)、安德鲁·墨菲(Andrew Murphy)、奥列格·西沃康(Oleg Sivokon)、帕特里斯·穆索克(Patrice J Musoke) 相关软件: 蟒蛇;模仿;TF-GAN… 主要字段: –
DAC公司 1份文件引用(2023年) 软件作者: 特蕾莎·艾默、安德烈·比登卡普、马克西米利安·雷默、史蒂文·阿德里安森、弗兰克·赫特、马吕斯·林道尔 相关软件: AClib;HyFlex;SGDR… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
欧氏瓣心内膜炎 1份文件引用(1992) 软件作者: 巴拉斯,P。;布鲁姆,J。;Paumier,J.C。;维托姆斯基,P。;Rechenmann,F。 相关软件: ELLPACK公司 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)
Gelisp公司 1份文件引用(2017) 软件作者: 毛里西奥·托罗、卡米洛·鲁埃达、卡洛斯·阿贡、杰拉德·阿萨亚格 相关软件: 自旋蛋白;ntccSim;Ntccrt… 主要字段: 运筹学、数学规划(90-XX)
GoTube公司 2份文件引用(2022) 软件作者: 索菲·格伦巴赫(Sophie Gruenbacher)、马蒂亚斯·莱切纳(Mathias Lechner)、拉明·哈萨尼(Ramin Hasani)、丹妮拉·罗斯(Daniela Rus)、托马斯·汉津格(Thomas A.Henzinger)、斯科特·斯莫尔卡(Scott Smolka 相关软件: torchdiffeq;Reluplex;流量*… 主要字段: 计算机科学(68-XX)