×

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

SAMRAI公司

51篇文献引用(2002–2023)
软件作者: 理查德·霍农(Richard D.Hornung)。;斯科特·科恩。
相关软件: PETSc;炒作;帕拉梅什…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

神童

24篇文献引用(1992–2019)
软件作者: Carbonell,J.、Blythe,J.,Etzioni,O.、Gil,Y.、Joseph,R.、Kahn,D.、Knoblock,C.、Minton,S.、Pérez,M.A.、Reilly,S.,Veloso,M.、Wang,X。
相关软件: UCPOP;图形平面图;KQML…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

CSP防护

17篇文献引用(2005–2022)
软件作者: 吉野县Isobe;马库斯·罗根巴赫
相关软件: PVS;Isabelle/HOL;FDR2…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

SA集群

12份文件引用(2012–2022)
软件作者: 程红;周,杨;黄欣;Yu,Jeffrey Xu先生
相关软件: 集群内;GraRep;节点2vec…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

证书KOS

10篇文献引用(2017–2022)
软件作者: Gu,R.,Shao,Z.,Chen,H.,Wu,X.N.,Kim,J.,Sjöberg,V.,Costanzo,D。
相关软件: seL4;Coq;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

中枢神经系统

9份文件引用(1999–2018)
软件作者: A.T Brünger、P.D Adams、G.M Clore、W.L DeLano、P Gros、R.W Grosse Kunstleve、J.-S Jiang、J Kuszewski、M Nilges、N.S Pannu、R.J Read、L.M Rice、T Simonson、G Warren
相关软件: 查姆;Xplor-NIH;VMD…
主要字段: 组合数学(05-XX);几何(51-XX);统计力学,物质结构(82-XX)…

HyTeG公司

6篇文献引用(2019–2022)
软件作者: 科尔,N。;Thönnes,D。;Drzisga,D。;Bartuschat,D。;吕德,美国。
相关软件: 利奎德;p4测试;ParILUT…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

拉赫夫特

引用于8份文件(2018–2023)
软件作者: Kafle,B.,Gallagher,J.P.,Morales,J.F。
相关软件: z3;SeaHorn;垫片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Inc集群

5份文件引用(2012–2020)
软件作者: 程红;周,杨;黄欣;Yu,Jeffrey Xu先生
相关软件: SA集群;线路;apcluster…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

点RCNN

1份文件引用(2022)
软件作者: 史绍帅、王晓刚、李洪生
相关软件: VoxelNet;更快的R-CNN;SSD…
主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)

REBA公司

4份文件引用(2019–2021)
软件作者: 莫汉·斯里德哈兰;Michael Gelfond;张世奇;杰里米·怀亚特
相关软件: 旋转;CCalc;平滑…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)

CMView(CMView)

1份文件引用(2014)
软件作者: 科琳娜·维洛、亨宁·斯特尔、马蒂亚斯·温克尔曼、何塞·杜阿尔特、拉尔斯·佩佐德、朱利安·丁斯、迈克尔·拉普
相关软件: 细胞景观;采访者
主要字段: 生物学和其他自然科学(92-XX)

立体声网络

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

XYZ/ADL公司

1份文件引用(2003)
软件作者: 朱雪阳;唐志松
相关软件: 自旋蛋白
主要字段: 计算机科学(68-XX)

DeepFlame公司

1份文件引用(2023)
软件作者: 毛润泽;林敏琪;张燕;张天汉;徐志琴约翰;陈志霞(音)。
相关软件: 火炬;预混合;日晷…
主要字段: 流体力学(76-XX)

密集聚变

在0个文档中引用
软件作者: 陈旺、徐丹飞、朱玉科、罗伯特·马丁·马汀、卢策武、李菲菲、西尔维奥·萨瓦雷斯
相关软件: VoxelNet;深层语境;PPFNet…
主要字段:

指数

1份文件引用(2023)
软件作者: 拉斯穆斯·罗特;拉杜·蒂莫夫特;吕克·范·古尔
相关软件: 分支机构网络;FaceNet;VGG面2…
主要字段: 统计学(62-XX);计算机科学(68-XX)

伟大的

1份文件引用(2008)
软件作者: 亚历山大·克里斯托夫;穆勒,马蒂亚斯·M。
相关软件:
主要字段: 计算机科学(68-XX)

KERIS公司

在0个文档中引用
软件作者: M·曾格
相关软件:
主要字段:

MANIP公司

1份文件引用(2011年)
软件作者: 马西尔,C。
相关软件: Web-FEM;WebDFEA;OpenGL(OpenGL)
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX)

RecResNet公司

1份文件引用(2022)
软件作者: 巴索斯,K。;摩尔多海,P。
相关软件: 布里斯克;效率检测;面2面…
主要字段: 计算机科学(68-XX)

StereoDRNet公司

1份文件引用(2022)
软件作者: 罗汉·查布拉、朱利安·斯特劳布、克里斯·斯威尼、理查德·纽科姆、亨利·富克斯
相关软件: 布里斯克;效率检测;面2面…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件