×

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

LEO-II型

52篇文献引用(2008–2021)
软件作者: Benzmüller,C.,Paulson,L.,Theiss,F.,Fietzke,A,本泽米勒,C.,鲍尔森,L.,泰斯,F.,费茨克,A
相关软件: 沙达拉;TPTP;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

GHC公司

39篇文献引用(1986–2023)
软件作者: Kazunori上田
相关软件: 谈判;SICStus公司;Kima…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

STL-10数据集

29篇文献引用(2012–2024)
软件作者: Adam Coates、Honglak Lee、Andrew Y.Ng
相关软件: CIFAR;AlexNet;ImageNet…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

AFNI公司

17篇文献引用(2008–2023)
软件作者: 罗伯特·考克斯
相关软件: FSL;R;oro.nifti…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

气象

12份文件引用(1990–2004)
软件作者: 黄芪;D.W.洛夫兰
相关软件: SETHEO公司;水獭;帕塞农…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ECOSMOG公司

15篇文献引用(2016–2023)
软件作者: 李保九、赵公波、罗曼·特西耶、小山
相关软件: RAMSES公司;可乐;GADGET…
主要字段: 算子理论(47-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

MPM3DMP公司

11份文件引用(2008–2023)
软件作者: Huang,P.等人。;张,X。;马,S。;Wang,香港。
相关软件: MPM3D;FEAPpv公司
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

奥尔巴尼/费利克斯

10篇文献引用(2015–2023)
软件作者: I.Tezaur、M.Perego、A.Salinger、R.Tuminaro、S.Price
相关软件: SMIP-HOM;ISSM;特里利诺斯…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);变形固体力学(74-XX)…

特里希

6篇文献引用(2020–2024)
软件作者: 拉斐尔·巴列斯特·雷波尔、彼得·林德斯特罗姆、雷纳托·帕哈罗拉
相关软件: 塔克MPI;Scikit;TAMRESH…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

规范3D

6篇文献引用(2010–2021)
软件作者: 卡林顿,L。;Komatitsch,D。;Laurenzano,M。;蒂基尔,M.M。;Michea,D。;戈夫,N.L。;斯内维利,A。;J·特隆普。
相关软件: p4测试;交易.ii;DUNE…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

MPAS公司

6篇文献引用(2022–2023)
软件作者: 霍夫曼,M.J。;佩雷戈,M。;价格,S.F。;Lipscomb,W.H。;张,T。;雅各布森,D。;特泽尔,I。;塞林格,A.G。;杜米纳罗,R。;贝尔塔尼亚,L。
相关软件: 特里利诺斯;ISSM;皮亚尔巴尼…
主要字段: 统计学(62-XX);数值分析(65-XX);流体力学(76-XX)…

脉冲

6篇文献引用(2021–2022)
软件作者: Sachit Menon、Alexandru Damian、Shijia Hu、Nikhil Ravi、Cynthia Rudin
相关软件: DnCNN;Wasserstein GAN;FFD网络…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

平滑(Smoothtst)

6篇文献引用(2017年至2021年)
软件作者: 杨科·伯姆;Frühbis-Krüger,安妮
相关软件: 单一;GPI-空间;库斯汀·米勒…
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…

FBNetV2型

3份文件引用(2019–2023)
软件作者: 阿尔文·万、戴晓亮、张培钊、何子建、田远东、谢赛宁、吴碧琴、于马修、陶旭、陈侃、彼得·瓦伊达、约瑟夫·冈萨雷斯
相关软件: PyTorch;MobileNetV2;ImageNet…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

进口

5份文件引用(2004–2020)
软件作者: 张培森、叶小璐、李廖、詹姆斯·鲁索、斯图亚特·费舍尔
相关软件:
主要字段: 组合数学(05-XX);计算机科学(68-XX)

甲基Sig

5份文件引用(2016年至2022年)
软件作者: Park,Y.、M.E.Figueroa、L.S.Rozek、M.A.Sartor
相关软件: B平滑;明菲;甲基试剂盒…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

npFEM公司

4份文件引用(2019–2023)
软件作者: 克里斯托斯·科萨洛斯;乔纳斯·拉特;巴斯蒂恩·肖帕德
相关软件: 帕拉博斯;血细胞;蚱蜢…
主要字段: 可变形固体力学(74-XX);流体力学(76-XX);经典热力学,传热(80-XX)…

Phylon扫描

5份文件引用(2018–2023)
软件作者: 唐云凡;马,李;Dan L.尼古拉。
相关软件: RcppArmadillo;卢比;半标准杆…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

SpGEMM公司

5份文件引用(2015–2018)
软件作者: 费利克斯·格雷姆斯;安德烈亚斯·霍夫特;Lars Ole施文;费边·基斯林;乌韦·诺曼
相关软件: 稀疏矩阵;尖点;库达…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)

TransGAN公司

1份文件引用(2022)
软件作者: 蒋一凡、张世玉、王章扬
相关软件: ImageNet;PyTorch;Python…
主要字段: 计算机科学(68-XX)

CTFFIND公司

3份文件引用(2020–2021)
软件作者: 亚历克西斯·罗霍(Alexis Rohou)、尼古拉·格里戈里夫(Nikolaus Grigorieff)
相关软件: 关系;法语;EMPIAR…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

H峰值

4份文件引用(2012–2016)
软件作者: 秦泽斯,于杰,沈杰,等。
相关软件: 贝叶斯峰;CLIPZ公司;计数…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);生物学和其他自然科学(92-XX)

RAISR公司

4份文件引用(2017–2023)
软件作者: 亚尼夫·罗曼诺(Yaniv Romano)、约翰·伊西多罗(John Isidoro)、佩曼·米兰法尔(Peyman Milanfar)
相关软件: FSIM;ESRGAN;亚当…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

读取深度

4份文件引用(2015–2018)
软件作者: Miller,CA等人。
相关软件: CNV-seq;R;ExomeWalker…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

夏普

4份文件引用(2018–2023)
软件作者: Mohamad Shalaby、Avery E.Broderick、Philip Chang、Christoph Pfrommer、Astrid Lamberts、Ewald Puchwein
相关软件: 蛋白石;AMReX;ORB5…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

毛姆

1份文件引用(2020年)
软件作者: De Cruz,L.、Demaeyer,J.、Vannisem,S。
相关软件: qgs;皮克;Oceaniangans.jl…
主要字段: 动力系统与遍历理论(37-XX);地球物理学(86-XX);系统论;控制(93-XX)

MyriMatch公司

2份文件引用(2019)
软件作者: Tabb,D.L。;费尔南多,C.G。;钱伯斯,M.C。
相关软件: 串联;基因侦察;iPiG…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

PICS公司

3份文件引用(2011–2015)
软件作者: 张学奎;罗伯逊,戈登;克日温斯基,马丁;宁、凯达;阿诺德·德罗伊特;史蒂文·琼斯;拉斐尔·戈塔多
相关软件: FindPeaks;生物导体;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

SEAS5公司

3份文件引用(2021–2022)
软件作者: 约翰逊,SJ;田纳西州斯托克代尔;费兰蒂,L。;马萨诸塞州巴尔马塞达;Molteni,F。;马格努森,L。;Tietsche,S。;减速机,D。;魏希默,A。;Balsamo,G。;Keeley,SPE公司;Mogensen,K。;左,H。;蒙格桑斯,BM
相关软件: GMRFLib;IceCast;FRK…
主要字段: 统计学(62-XX);地球物理学(86-XX);生物学和其他自然科学(92-XX)

荃湾

3份文件引用(2010–2020)
软件作者: Sven Harig;查罗尼,维多多·S·普拉诺沃;约恩·贝伦斯
相关软件: CENALT公司;COMCOT公司;MOST…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

CvT公司

1份文件引用(2022)
软件作者: 吴海平、肖斌、诺埃尔·科迪拉、刘梦晨、戴喜阳、陆元、张磊
相关软件: Swin变压器;ViViT;BERT…
主要字段: 计算机科学(68-XX)

高级HRNet

在0个文档中引用
软件作者: Bowen Cheng、Bin Xiao、王京东、石红辉、Thomas S.Huang、Lei Zhang
相关软件: ImageNet;蟒蛇;T2T-ViT…
主要字段:

iJADE监督员

2份文件引用(2003–2006)
软件作者: Raymond S.T.李。
相关软件: iJADE IWShopper公司
主要字段: 计算机科学(68-XX)

地图数据

1份文件引用(2015)
软件作者: Becker RA、Wilks AR、Brownrigg R
相关软件: 地图;施帕斯塔特;R、 …
主要字段: 统计学(62-XX)

PIFuHD公司

1份文件引用(2022)
软件作者: 斋藤顺介、托马斯·西蒙、杰森·萨拉吉、韩比尔·乔
相关软件: PIFu;PyTorch;KinectFusion…
主要字段: 计算机科学(68-XX)

海雀

2份文件引用(2015–2017)
软件作者: Polishko,A.、E.M.Bunnik、K.G.Le Roch、S.Lonardi
相关软件: github;小偷;银河…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

PyARPES公司

在0个文档中引用
软件作者: 斯坦斯伯里,C。;A.兰扎拉。
相关软件: 数字Py;蟒蛇;LMFIT…
主要字段:

REFLIX公司

1份文件引用(2002)
软件作者: Salcic、Zoran;Partha Roop;Biglari-Abhari,Morteza;阿巴斯·比格德利
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

REPTIL公司

2份文件引用(2023)
软件作者: 施密德公司。;Gersem,医学博士。;Gjonaj,E。
相关软件: hlib;CUDA;BaryTree…
主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

放射性同位素当量

2份文件引用(2019–2022)
软件作者: 安德鲁·道森(Andrew Dawson);彼得·杜本。
相关软件: mctoolbox;朱莉娅;MPFR…
主要字段: 数值分析(65-XX)

立体声网络

2份文件引用(2022)
软件作者: 萨米赫·哈米斯(Sameh Khamis)、肖恩·法内洛(Sean Fanello)、克里斯托夫·莱曼(Christoph Rhemann
相关软件: MobileNets;布里斯克;效率检测…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

BettiBounds公司

1份文件引用(2015)
软件作者: 杨科·伯姆;帕帕达基斯(Papadakis)、斯塔夫罗斯(Stavros Argyrios)
相关软件: 麦考莱2
主要字段: 交换代数(13-XX)

BSD-GAN公司

1份文件引用(2020年)
软件作者: Yi,Zili;陈志勤;蔡浩;毛文东;龚明伦;张浩
相关软件: LSUN;属性2图像;DualGAN公司
主要字段: 信息与通信理论,电路(94-XX)

聊天机器人SQL

在0个文档中引用
软件作者: 鲁本·佩雷斯·梅尔卡多、安东尼奥·巴尔德斯、安德烈斯·穆尼奥斯、胡安·弗朗西斯科·卡布雷拉、曼努埃尔·帕洛莫·德瓦尔、胡安·阿曼纽尔·多德罗
相关软件: 拉拉维利;节点.js;PHP…
主要字段:

COSMO-EULAG公司

1份文件引用(2016)
软件作者: Kurowski,M。;Wojcik,D。;齐米扬斯基,M。;罗莎,B。;彼得罗夫斯基
相关软件: MPDATA;NICAM;沙斯塔…
主要字段: 地球物理学(86-XX)

分解

在0个文档中引用
软件作者: 安妮塔·南迪、蒂姆·卢卡斯、罗汉·阿兰贝巴拉、安德烈·Python
相关软件: 特征值;CHOLMOD公司;CppAD…
主要字段:

3DSRNet公司

1份文件引用(2022)
软件作者: Soo Ye Kim、Jeongyeon Lim、Taeyoung Na、Munchurl Kim
相关软件: AlexNet;MetaIQA;RankSRGAN…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

双SR

在0个文档中引用
软件作者: Emad,M。;Peemen,M。;H·下士。
相关软件: ODL;SRFlow;亚当…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)

电子侦察系统

在0个文档中引用
软件作者: 安妮特·莫勒(Annette Möller),Jurgen Groß
相关软件: 动物园;集成MOS;开发工具…
主要字段:

快速测试-3D

1份文件引用(2007)
软件作者: Christoph Scheit、Georg Hager、Jan Treibig、Stefan Becker、Gerhard Wellein
相关软件: LESOCC公司
主要字段: 流体力学(76-XX);经典热力学,传热(80-XX)

HiFive公司

1份文件引用(2019)
软件作者: Sauria,M.E.、Phillips Cremins,J.E.、Corces,V.G.、Taylor,J。
相关软件: TADFinder先生;TAD树
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

InteriorNet公司

在0个文档中引用
软件作者: 李文斌、萨贾德·赛义迪、约翰·麦科马克、罗纳德·克拉克、迪莫斯·祖马尼卡斯、青叶、黄玉忠、唐瑞、斯特凡·卢特内格
相关软件: PointSIFT;VoxNet;PointNet…
主要字段:

KEIM公司

1份文件引用(2005)
软件作者: Huang,X.、Kerber,M.、Kohlhase,M.,Melis,E.、Nesmith,D.、Richts,J.、Siekmann,J。
相关软件: 欧米茄;狮子座;MKRP公司
主要字段: 计算机科学(68-XX)

克拉克阴谋

在0个文档中引用
软件作者: Krackhardt D、Blythe J、McGrath C
相关软件: R;GRADAP;SIENA…
主要字段:

利托

1份文件引用(2017)
软件作者: M.E.Pasyanos、G.Masters、G.Laske和Z.Ma
相关软件: 地壳
主要字段: 地球物理学(86-XX)

MEPDF公司

1份文件引用(2021)
软件作者: 马丁·威根(Martin Wiegand)、萨拉丽斯·纳达拉亚(Saralees Nadarajah)
相关软件: 南瓜;巧妙地;ismev…
主要字段: 概率论与随机过程(60-XX)

MetaGO公司

1份文件引用(2023)
软件作者: 张,C。;郑伟。;弗雷多利诺,P.L。;张,Y。
相关软件: GOProFormer;MultiPredGO;DeepGO…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

ML编织

1份文件引用(2022)
软件作者: Zeke Wang、Kaan Kara、Hantian Zhang、Gustavo Alonso、Onur Mutlu、Ce Zhang
相关软件: Spector;尼禄;StreamBox-HBM…
主要字段: 计算机科学(68-XX)

NIFTY公司

1份文件引用(2023)
软件作者: 马可·塞利格(Marco Selig);迈克尔·R·贝尔(Michael R.Bell)。;亨利克·容克列维茨(Henrik Junklewitz);Oppermann,Niels;马丁·雷内克(Martin Reinecke);马克西姆·格雷纳;卡洛斯·帕查亚(Carlos Pachajoa);Enßlin,托尔斯滕A。
相关软件: UQLab;NumPyro;NIFTy5…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

Nuprl灯

1份文件引用(1997)
软件作者: 杰森·希基。
相关软件: 剑桥LCF;Nuprl;伊莎贝尔
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

补丁匹配网

1份文件引用(2022)
软件作者: 王方金华、西尔瓦诺·加利亚尼、克里斯托夫·沃格尔、巴勃罗·斯佩莱特、马克·波利菲斯
相关软件: 布里斯克;效率检测;面2面…
主要字段: 计算机科学(68-XX)

PiSCAT公司

在0个文档中引用
软件作者: 霍曼·米尔扎利安·达斯特杰迪、雷扎·戈洛米·马哈穆达巴迪、马提亚斯·巴赫、瓦希德·桑德达尔、哈拉尔德·科斯特勒
相关软件: Scikit;天文术;Trackpy…
主要字段:

SNP芯片

1份文件引用(2008)
软件作者: Scharpf,R.B.、Ting,J.C.、Pevsner,J.、Ruczinski,I。
相关软件: CARAT公司;血浆;dChipSNP…
主要字段: 统计学(62-XX)

过渡配合

在0个文档中引用
软件作者: J.J.C.Hayes、E.Kerins、J.S.Morgan、A.Humpage、S.Awiphan、S.Charles-Mindoza、I.McDonald、T.Inyanya、T.Padjaroen、P.Munsaket、P.Churaksasat、S.Komonjinda、P.Kittara、V.S.Dhillon、T.R.Marsh、D.E.Reichart、S.Poshyachinda
相关软件: SExtractor;蝙蝠侠;PyLightcurve…
主要字段:

iCorr(iCorr)

在0个文档中引用
软件作者: Shubham Kundal、Raunak Lohiya、Kushal Shah
相关软件:
主要字段:

空间Vx

在0个文档中引用
软件作者: 埃里克·吉兰德
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段