CUDA公司 1188份文件引用(2007–2024) 软件作者: NVIDIA公司;Péter的Vingelmann;Frank H.P.菲泽克。 相关软件: OpenCL;CUBLAS;Matlab… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
可视化C++ 84份文件引用(1993–2023) 软件作者: 微软 相关软件: Visual Basic;OpenGL;VisualStudio。NET… 主要字段: 微分几何(53-XX);数值分析(65-XX);计算机科学(68-XX)…
茂物 27篇文献引用(2003–2014) 软件作者: 马修·德怀尔(Matthew B.Dwyer)。;约翰·哈特克利夫;马修·胡西尔(Matthew Hoosier);马修·罗比 相关软件: 自旋蛋白;班德拉;veriSoft… 主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…
ATL公司 12份文件引用(2008–2021) 软件作者: 弗莱德里克·尤厄(Frédéric Jouault);弗雷迪·阿利莱尔;让·贝齐文;伊万·库特夫 相关软件: HOL-OCL;UML2合金;AGG… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
Dlib-ml公司 16篇文献引用(2014–2023) 软件作者: 戴维斯·金 相关软件: Scikit;蟒蛇;Matlab… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
天基信息平台 12份文件引用(2012–2021) 软件作者: 弗布拉罗,奥诺弗里奥;克里斯蒂安·里尔;弗朗西斯科·里卡 相关软件: 海狮;卡拉;APE… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
网络记录器 10篇文献引用(2001–2012) 软件作者: Gunter,D.、Tierney,B.、Crowley,B.、Holding,M.、Lee,J。 相关软件: 交叉网格;Java CoG工具包;ASP。NET… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
GKLEE公司 11份文件引用(2013–2022) 软件作者: Li,G.、Li,P.、Sawaya,G.、Gopalakrishnan,G.、Ghosh,I.、Rajan,S.P。 相关软件: CUDA;GPU验证;OpenCL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
全赢 8份文件引用(2000–2023) 软件作者: Rogue Wave软件公司。 相关软件: C-DVM;深度LOB;马莫特… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
布莱斯 10篇文献引用(2009–2022) 软件作者: 基思·博纳维茨(Keith Bonawitz)、维卡什·曼辛加(Vikash Mansinghka)、博·克罗宁(Beau Cronin) 相关软件: bnsoft;推断。网络;R、 … 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
BadNets(BadNet) 4份文件引用(2019–2023) 软件作者: 顾天宇、布伦丹·多兰·加维特、西德哈斯·加格 相关软件: ImageNet;AlexNet;Grad-CAM… 主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)
国际象棋 5份文件引用(2008–2021) 软件作者: Musuvathi M、Qadeer S、Ball T 相关软件: 橡皮擦;veriSoft;AVIO… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
辐条 4份文件引用(2008–2020) 软件作者: Gebser,M.、Pührer,J.、Schaub,T.、Tompits,H.、Woltran,S。 相关软件: 格林戈;天基信息平台;SeaLion… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
OntoDebug(开始调试) 4份文件引用(2018年-2023年) 软件作者: Schekotihin、Konstantin;Patrick Rodler;沃尔夫冈·施密德 相关软件: 颗粒;MERGEXPLAIN公司;赫密特… 主要字段: 计算机科学(68-XX)
可视化文档 4份文件引用(2005–2011) 软件作者: Vanderplaats研发公司。 相关软件: 运输部;ABAQUS/标准;起源 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
资本资产负债表 3份文件引用(2000–2006) 软件作者: Leggett,P.F。;约翰逊,S.P。;克罗斯,M。 相关软件: CAPTools;MatWeb;SHMEM… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)
DMPL公司 2份文件引用(2001–2003) 软件作者: 詹姆斯·考尼(James Cownie)、约翰·德尔西诺尔(John DelSignore Jr.)、布朗尼斯·德·苏宾斯基(Bronis R.de Supinski)、凯伦·沃伦·佩奇(Karen Warren Pages) 相关软件: 全赢 主要字段: 计算机科学(68-XX)
防护装置 2份文件引用(2002–2017) 软件作者: Abramson,D。;沃森·G。;Dung,L.P.(左肺)。 相关软件: TotalView;马莫特;C-DVM… 主要字段: 计算机科学(68-XX)
多种族 1份文件引用(2017) 软件作者: 埃利·波兹尼安斯基(Eli Pozniansky),阿萨夫·舒斯特(Assaf Schuster) 相关软件: 螺纹消毒剂;CDS检查器;ktsan… 主要字段: 计算机科学(68-XX)
皮雷 在0个文档中引用 软件作者: Michael Aivazis、Jiao Lin、Mike McKerns、Brandon Keith等人。 相关软件: 蟒蛇;神秘主义;Matlab… 主要字段: –
QuteRTL公司 1份文件引用(2012年) 软件作者: Yeh,Hu-Hsi;吴成寅;黄忠阳(Ric) 相关软件: 金刚狼;FShell;HSF… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
模拟设计 2份文件引用(2018) 软件作者: 菲尔·查尔默斯 相关软件: 沼泽;SAS;profdpm… 主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
VIFID/TRIFID公司 2份文件引用(2009–2016) 软件作者: 曼纽尔·卡罗;曼努埃尔·赫尔梅内吉尔多 相关软件: DiSCiPl;Oz Explorer;COMET… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
魅力FL 在0个文档中引用 软件作者: 库赛·伊德里斯·萨罕(Qusay Idrees Sarhan)、阿提拉·萨特马里(Attila Szatmari)、拉杰蒙德·托特(Rajmond Toth)、阿帕德·贝塞德斯(Arpad Beszedes) 相关软件: 酥脆;pytest;封面.py… 主要字段: –
CoDeSe公司 1份文件引用(2015) 软件作者: Gligoric,M.、Marinov,D.、Kamin,S。 相关软件: 哈斯克尔;K校准仪;GitHub… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
JavaPDG软件 1份文件引用(2018) 软件作者: Shu G、Sun B、Henderson TA、Podgurski A 相关软件: 准确指出;信息;暗黑破坏神… 主要字段: 计算机科学(68-XX)
MultiViz公司 在0个文档中引用 软件作者: 保罗·浦亮、刘一伟、Gunjan Chhablani、Nihal Jain、邓子豪、王兴波、路易斯·菲利佩·莫伦西、鲁斯兰·萨拉库丁诺夫 相关软件: COVAREP;RUBi;OpenFace… 主要字段: –
奥克格林 1份文件引用(2022) 软件作者: 普莱斯,J。;南卡罗来纳州麦金托什-史密斯。 相关软件: VerCors;GPU验证;毒蛇… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PerfXplain公司 1份文件引用(2022) 软件作者: Nodira Khoussainova、Magdalena Balazinska、Dan Suciu 相关软件: DeepLog;自动诊断;TensorFlow… 主要字段: 计算机科学(68-XX)
TSTL公司 在0个文档中引用 软件作者: Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件: 假设;MutPy;DLint… 主要字段: –
PENGEOM公司 在0个文档中引用 软件作者: 胡里奥·阿尔曼萨;弗朗西斯科·萨尔瓦特·普约尔;迪亚斯·隆多尼奥,格洛里亚;Carnicer,Artur;安东尼奥·莱莱纳(Antonio M.Lallena)。;弗朗西斯科·萨尔瓦特 相关软件: – 主要字段: –
拉夫康 在0个文档中引用 软件作者: 塞巴斯蒂安·G·布伦纳(Sebastian G.Brunner)、弗兰兹·斯坦梅茨(Franz Steinmetz)、里科·贝尔德(Rico Belder)、安德烈亚斯·德梅尔(Andreas Dömel) 相关软件: – 主要字段: –