×

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

ANSYS有限元分析软件

750份文件中引用(1978–2024)
软件作者: John Swanson,Ansys公司。
相关软件: ABAQUS;Matlab;FLUENT…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

MapReduce

214篇文献引用(2008–2024)
软件作者: 潘杰;弗莱德里克·马古莱斯;亚恩·勒比安尼克
相关软件: Hadoop;火花;Apache Spark…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

SNAP(快照)

236篇文献引用(2009–2024)
软件作者: 朱尔·莱斯科维奇
相关软件: 网络X;科内克特;稀疏矩阵…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

火花

46篇文献引用(2015–2024)
软件作者: Zaharia M、Chowdhury M、Franklin MJ、Shenker S、Stoica I
相关软件: MapReduce;Hadoop;Dryad…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

RM-MEDA公司

31份文件引用(2010–2022)
软件作者: 张庆福;周爱民;金耀初
相关软件: MOEA/D;SPEA2;HypE…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

马拉布

26篇文献引用(2021–2024)
软件作者: Katz,G.、Huang,D.A.、Ibeling,D.、Julian,K.、Lazarus,C.、Lim,R.、Shah,P.、Thakoor,S.、Wu,H.、ZeljíC,A.、Dill,D.L.、Kochenderfer,M.J.、Barrett,C。
相关软件: Reluplex;NNV;AI2…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

ELKI公司

13份文件引用(2012–2023)
软件作者: 舒伯特E、科斯A、埃姆里奇T、Züfle A、施密德KA、齐梅克A
相关软件: LOF;奥尔卡;IsolationForest…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

VTune(VTune)

8份文件引用(2006–2023)
软件作者: 英特尔;莱因德斯,J。
相关软件: ParaView;PETSc;快速排序…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

网络工具包

19份文件引用(2015–2024)
软件作者: Christian L.Staudt、Aleksejs Sazonovs、Henning Meyerhenke
相关软件: SNAP;科内克特;NetworkX…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PVeStA公司

14篇文献引用(2011–2023)
软件作者: AlTurki,M.,Meseguer,J
相关软件: 莫德;PMaude;VESTA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

GKLEE公司

11份文件引用(2013–2022)
软件作者: 李·G、李·P、萨瓦亚·G、戈帕拉克里希南·G、高什·I、拉詹·S.P。
相关软件: CUDA;GPU验证;OpenCL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

nbodykit公司

12份文件引用(2019–2023)
软件作者: Nick Hand、Yu Feng、Florian Beutler、Yin Li、Chirag Modi、Uros Seljak、Zachary Slepian
相关软件: 类别;ECOSMOG;L-PICOLA…
主要字段: 粒子和系统力学(70-XX);光学、电磁理论(78-XX);量子理论(81-XX)…

ObliVM公司

14篇文献引用(2017–2023)
软件作者: Liu,C.,Wang,X.,Nayak,K.,Huang,Y.,Shi,E。
相关软件: ABY;JustGarble;倾斜-C…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

五月BMS

11份文件引用(2011–2022)
软件作者: Huang,J.、Antova,L.、Koch,C.、Olteanu,D。
相关软件: 三重奏;MYSTIQ;克劳奥…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

ECDAR公司

9份文件引用(2011–2022)
软件作者: 亚历山大·戴维;金·拉森。G。;Legay,Axel;乌尔里克·奈曼;安德烈·索夫斯基
相关软件: Uppaal;MIO工作台;UPPAAL TIGA…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

HPCTOOLKIT公司

6篇文献引用(2010–2022)
软件作者: L.Adhianto;S.Banerjee;M.Fagan;M.Krentel;G.马林;J.Mellor-Crummey;N.R.塔伦特
相关软件: τ;Scalasca;PARAVER…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

SA集群

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

奥尔巴尼/费利克斯

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

多视图

10篇文献引用(2015–2023)
软件作者: 孙继萌、斯皮罗斯·帕帕迪米特里奥、林清勇、曹楠、刘世霞、钱伟宏
相关软件: 张量工具箱;Tensorlab公司;tproduct…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX)…

pTatin3D

10篇文献引用(2015–2021)
软件作者: D.A.May、J.Brown、L.L.Laetitia
相关软件: PETSc;FEniCS;交易.ii…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

SpectralNet公司

9份文件引用(2019–2023)
软件作者: 乌里·沙哈姆、凯利·斯坦顿、亨利·李、博阿兹·纳德勒、罗恩·巴斯里、尤瓦尔·克鲁格
相关软件: t-SNE;RCV1;SyncSpecCnn…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

PeriPy公司

引用于7份文件(2021–2023)
软件作者: B.Boys、T.J.Dodwell、M.Hobbs、M.Girolma
相关软件: kdtree++;车灯;Python…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX)

PowerGraph(功率图)

8份文件引用(2015–2022)
软件作者: J.E.Gonzalez、Y.Low、H.Gu、D.Bickson、C.Guestrin
相关软件: 普雷格尔;图X;图形实验室…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

压裂混凝土

8份文件引用(2019年至2022年)
软件作者: 安德烈·福诺;Ngo,Tri-Dat;Noetinger,Benoit;克里斯蒂安·拉博德里
相关软件: dfn工程;Gmsh;DuMuX…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

IGA-ADS公司

8份文件引用(2017–2023)
软件作者: Łosh,Marcin M。;Woźniak,Maciej;马西耶·帕西恩斯基亚;安德鲁·伦哈特(Andrew Lenharth);哈桑(Muhamm Amber Hassaan);基沙夫·平加里
相关软件: CMake;促进;增强C++库…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

打开规则基准

引用于7份文件(2011–2014)
软件作者: Liang,S.、Fodor,P.、Wan,H.、Kifer,M。
相关软件: XSB;SPARQL;OPTYap…
主要字段: 计算机科学(68-XX)

依偎

引用于7份文件(2010–2021)
软件作者: Chandra,S.、Fink,S.J.、Sridharan,M。
相关软件: 投掷;z3;STP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

斯托克Hy

8份文件引用(2019–2023)
软件作者: Nathalie Cauchi、Kurt Degiorgio、Alessandro Abate
相关软件: 棱镜;FAUST2;SReachTools…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;对照(93-XX)

WIGEON公司

8份文件引用(2015–2023)
软件作者: 孟,陈;王龙;曹宗岩;冯龙龙;朱伟山
相关软件: HOSTA公司;VAMPIR(VAMPIR);PETSc…
主要字段: 微分几何(53-XX);数值分析(65-XX);粒子和系统力学(70-XX)…

Calysto公司

5份文件引用(2008–2020)
软件作者: Babić,D.,Hu,A.J。
相关软件: z3;ESC/Java;BoogiePL…
主要字段: 计算机科学(68-XX)

购物车3D

6篇文献引用(2006–2022)
软件作者: M.Aftosmis、M.Berger、J.Melton、S.Murman
相关软件: 格里斯;HE-E1GODF;EGADSite…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

JAUMIN公司

6篇文献引用(2015–2023)
软件作者: 范宣华;王克英;肖师父;刘庆凯;莫泽尧
相关软件: 贾斯敏;UMFPACK;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

公园道路

5份文件引用(2007–2013)
软件作者: A.特里富诺维奇;W.J.诺滕贝尔
相关软件: PaToH;佐尔坦;赫梅蒂斯…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

ScalaBLAST

4份文件引用(2008–2020)
软件作者: Oehmen,C。;贾勒克·尼普洛查
相关软件: 爆炸;k-均值++;AS 136…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

2小时

4份文件引用(2015–2023)
软件作者: M.S.沃伦
相关软件: GADGET公司;算法967;FFTW…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

AMIDST公司

4份文件引用(2017–2020)
软件作者: 安德烈斯·马塞戈萨。;Ana M.Martinez。;海尔格·兰塞斯;托马斯·尼尔森。;安东尼奥·萨尔梅隆;达里奥·拉莫斯·洛佩斯;安德斯·马德森。
相关软件: PMTK;R/qtl;qtlnet…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)

ASASP公司

4份文件引用(2012–2020)
软件作者: 弗朗西斯科·阿尔贝蒂;亚历山德罗·阿曼多;西尔维奥·兰伊斯
相关软件: Mcmt公司;验证;助推器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

巴赫

5份文件引用(2010–2018)
软件作者: Bu L、Li Y、Wang L、Li X
相关软件: SpaceEx;高科技;PHAVer…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

EMPIRE-PIC公司

5份文件引用(2021–2024)
软件作者: Bettencourt,Matthew T。;多米尼克·A·S·布朗。;卡特赖特(Keith L.Cartwright)。;埃里克·塞尔(Eric C.Cyr)。;克里斯蒂安·格卢萨(Christian A.Glusa)。;Lin,Paul T。;斯坦·摩尔(Stan G.Moore)。;Mcgregor,Duncan A.O。;罗杰·帕洛夫斯基(Roger P.Pawlowski)。;爱德华·菲利普斯。;罗伯茨,内森五世。;史蒂文·赖特(Steven A.Wright)。;Satheesh Maheswaran;约翰·P·琼斯。;斯蒂芬·贾维斯。
相关软件: 科科斯;bootlib;RODAS…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

Inc群集

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

梅林

5份文件引用(2013–2017)
软件作者: Livshits VB、Nori AV、Rajamani SK、Banerjee A
相关软件: JavaScript;萨纳尔;TAJ…
主要字段: 计算机科学(68-XX)

麻雀

5份文件引用(2016–2022)
软件作者: Hakjoo Oh、Kihong Heo、Wonchan Lee、Woosuk Lee、Kwangkeun Yi
相关软件: 烟尘;停机坪;ASTREE…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

微量元素

5份文件引用(2013–2023)
软件作者: Klinvex,A。;赛义德,F。;A.萨米赫。
相关软件: PRIMME公司;EIGIFP;JDQR…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

FLAVERS(活门)

在0个文档中引用
软件作者: 科布雷,J.M。;洛杉矶克拉克。;L.J.奥斯特维尔。
相关软件: SLAM;偏振模色散;PQL…
主要字段:

G空间

引用于3份文件(2015–2022)
软件作者: Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal
相关软件: CUDA;GKLEE;GPU验证…
主要字段: 数学逻辑与基础(03-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

MLGO公司

4份文件引用(2019–2023)
软件作者: Hu,F.,Lin,Y.,Tang,J。
相关软件: ProCAR;莫韦;Mugsy…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);计算机科学(68-XX)…

巴拉圭人

引用于3份文件(2013–2015)
软件作者: Kraj P、Sharma A、Garge N、Podolsky R、Richard A、Mcindoe RA
相关软件: 集群发现;ImageNet;AlexNet…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);计算机科学(68-XX)…

轮班

4份文件引用(2016–2018)
软件作者: 塔拉·M·潘迪亚。;塞斯·约翰逊。;托马斯·埃文斯。;格雷戈里·戴维森。;史蒂文·汉密尔顿(Steven P.Hamilton)。;Andrew T.戈弗雷。
相关软件: 维拉;OpenMC;KENO…
主要字段: 数值分析(65-XX);统计力学,物质结构(82-XX)

TIRA公司

4份文件引用(2019年至2022年)
软件作者: 皮尔雷·让·梅耶(Pierre-Jean Meyer);亚历克斯·德文波特;穆拉特·阿卡克
相关软件: 流量*;github;LipBaB…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

卡伊曼

2份文件引用(2020–2022)
软件作者: Giovannucci,A.、Friedrich,J.、Gunn,P.、Kalfon,J.,Brown,B.L.、Koay,S.A.等人。
相关软件: 套房2p;SIMA;ImageBee…
主要字段: 生物学和其他自然科学(92-XX)

级联

1份文件引用(2020)
软件作者: Wang,W.、Barrett,C.、Wies,T。
相关软件: 薄片;卫星抗体;UFO…
主要字段: 计算机科学(68-XX)

MoVES公司

引用于3份文件(2008–2019)
软件作者: 卢西亚诺·波诺尼;Marco Di Felice;加布里埃尔·D’Angelo;米歇尔·布拉库托;洛伦佐·多纳蒂耶洛
相关软件: 使徒;Python PDEVS;GridSpice…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

PolyPaver公司

引用于3份文件(2014–2018)
软件作者: 米查尔·科内奇、扬·杜拉茨
相关软件: CkAnalytic;泰勒;CAPD…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)

皮亚尔巴尼

引用于3份文件(2023)
软件作者: Kim Liegeois;毛罗·佩雷戈(Mauro Perego);塔克·哈特兰
相关软件: MPAS;特里利诺斯;奥尔巴尼…
主要字段: 统计学(62-XX);数值分析(65-XX);地球物理学(86-XX)…

快速傅里叶变换

引用于3份文件(2015–2021)
软件作者: 格雷戈里·普拉姆(Gregory Plumb);帕乔里,迪普蒂;Risi Kondor;维卡斯·辛格
相关软件: SnOB;茱莉亚;PerMallows…
主要字段: 组合数学(05-XX);欧氏空间(42-XX)的调和分析;概率论与随机过程(60-XX)…

SNVer公司

引用于3份文件(2013–2018)
软件作者: Zhi Wei、Wei Wang、Pingzhao Hu、Gholson J.Lyon、Hakon Hakonarson
相关软件: Samtools;关贸总协定;ExomeWalker…
主要字段: 统计学(62-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

沃尔纳-OP2

引用于3份文件(2020–2021)
软件作者: 里格利,I.Z。;贾尔斯,D。;戈皮纳坦,D。;基维,L。;贝克,J.H。;贾尔斯,M.B。;吉拉斯,S。;直径,F。
相关软件: CENALT公司;水龙头;沃尔纳…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

自动HOOT

1份文件引用(2022)
软件作者: 马林健、叶嘉玉、埃德加·索洛莫尼克
相关软件: 数字Py;皮曼诺普;DiffSharp…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);微分几何(53-XX);数值分析(65-XX)

比特切碎

2份文件引用(2018–2023)
软件作者: Jang,J.、Brumley,D.、Venkataraman,S。
相关软件: ADAM;德莱宾;DroidMat…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

云物理

2份文件引用(2017–2018)
软件作者: Xu,X。;季,Z。;Zhang。
相关软件: Clustal X;T-咖啡;肌肉…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

声纳编码

1份文件引用(2014)
软件作者: GrammaTech公司
相关软件: Klocwork;FindBugs;斯坦…
主要字段: 计算机科学(68-XX);流体力学(76-XX)

核心NP

2份文件引用(2014–2019)
软件作者: 皮埃特罗·希拉姆·古齐(Pietro Hiram Guzzi);朱塞佩·阿加皮托;马里奥·卡纳塔罗
相关软件: Cloud4SNP;MapReduce
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

深循环TOF

1份文件引用(2023)
软件作者: H.Li、U.Shaham、K.Stanton、Y.Yao、R.Montgomery、Y.Kluger
相关软件: flowLearn;流量峰值;Tclust…
主要字段: 统计学(62-XX)

Echopype公司

在0个文档中引用
软件作者: 吴正利、艾米利奥·马约尔加、兰登·塞蒂亚万、伊姆兰·马吉德、卡文·阮、瓦伦蒂娜·斯坦尼娃
相关软件: PyEcholab;马特乔;ESP3…
主要字段:

GoTube公司

2份文件引用(2022)
软件作者: 索菲·格伦巴赫(Sophie Gruenbacher)、马蒂亚斯·莱切纳(Mathias Lechner)、拉明·哈萨尼(Ramin Hasani)、丹妮拉·罗斯(Daniela Rus)、托马斯·汉津格(Thomas A.Henzinger)、斯科特·斯莫尔卡(Scott Smol
相关软件: 火炬差异;Reluplex;流量*…
主要字段: 计算机科学(68-XX)

图形材质

2份文件引用(2019–2020)
软件作者: Narayanan Sundaram、Nadathur Rajagopalan Satish、Md Mostofa Ali Patwarve、Subramanya R Dulloor、Satya Gautam Vadlamudi、Dipankar Das、Pradeep Dubey
相关软件: SNAP;网络X;ANTLR…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)

Imalytics临床前

1份文件引用(2018)
软件作者: Gremse-IT股份有限公司;F.Gremse、M.Stärk、J.Ehling、J.R.Menzel、T.Lammers、F.Kiessling
相关软件: BoneJ;海洋代码;局部厚度映射…
主要字段: 数值分析(65-XX)

Kuai公司

2份文件引用(2019–2021)
软件作者: Majumdar,R.,Tetali,S.D.,Wang,Z。
相关软件: 食蚁兽;VeriCon公司;NetKAT…
主要字段: 计算机科学(68-XX)

MCGS公司

2份文件引用(1999–2004)
软件作者: 马赫斯瓦兰、穆图库马鲁;凯文·韦伯(Kevin J.Webb)。;霍华德·杰伊·西格尔
相关软件: SPARSKIT;ITSOL公司
主要字段: 数值分析(65-XX);光学、电磁理论(78-XX)

NAT盒

在0个文档中引用
软件作者: Chavan SS、Bauer MA、Scutari M、Nagarajan R
相关软件: DAnTE;MAIA;BRLMM…
主要字段:

网络草图

2份文件引用(2010–2012)
软件作者: 阿泽州贝斯塔夫罗斯;阿萨夫省克富尔;笔记本电脑,Andrei;迈克尔·J·奥森。
相关软件: 伊莎贝尔;自旋蛋白;玛蒂塔…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

步伐

2份文件引用(2008–2010)
软件作者: Nudd,G。;Kerbysin,D。;Papaefstathiou,大肠杆菌。;佩里,S。;哈珀,J。;威尔科克斯,D。
相关软件: fda(R);FFTW;GrADS…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)

帕尔佩斯特

1份文件引用(2008年)
软件作者: 达戈斯蒂诺,N.,Aversano,M.,Chiusano,M.L
相关软件: MySQL;康塞德;佩尔
主要字段: 生物学和其他自然科学(92-XX)

产品开发质量

2份文件引用(2005–2016)
软件作者: 尼尔·J·冈瑟。
相关软件: 佩尔
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

PIETOOLS公司

2份文件引用(2021)
软件作者: 皮特,M。;Shivakumar,S。;A.达斯。
相关软件: YALMIP;Matlab公司
主要字段: 积分方程(45-XX);系统论;对照(93-XX)

PittPack公司

1份文件引用(2020)
软件作者: Jaber J.Hasbestan,Inanc Senocak公司
相关软件: CUDA;2DECOMP;OpenACC…
主要字段: 数值分析(65-XX);流体力学(76-XX)

PrimAlign(基本对齐)

2份文件引用(2020–2021)
软件作者: 卡雷尔·卡莱基;Young-Rae Cho(杨瑞秋)
相关软件: L-GRAAL;IsoRankN;IsoRank…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…

普罗莫卡

2份文件引用(2016–2023)
软件作者: 阿克·古奈{i} n个; 刘,杨;张杰
相关软件:
主要字段: 计算机科学(68-XX)

QAP电网

2份文件引用(2017–2021)
软件作者: Inostroza-Ponta M、Berretta R、Moscato P
相关软件: HAS-QAP;吴佩斯;QAPLIB…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

活动监视器

1份文件引用(2016)
软件作者: 洪伟伦;希曼舒·乔汉;维杰·加格。
相关软件: 自动同步;GTgraph(GT图)
主要字段: 计算机科学(68-XX)

约MC3

1份文件引用(2020)
软件作者: 阿格拉瓦尔、杜尔盖什;Bhavishya;Kuldeep S.梅尔。
相关软件: 备用计数2
主要字段: 计算机科学(68-XX)

BANE公司

1份文件引用(2001)
软件作者: Fähndrich,M。
相关软件: 毫升
主要字段: 计算机科学(68-XX)

BATLLNN公司

1份文件引用(2022)
软件作者: James Ferlez;Khedr,Haitham;亚瑟·舒克利
相关软件: github;马拉博;佩雷格里恩…
主要字段: 计算机科学(68-XX);系统论;对照(93-XX)

臭虫

1份文件引用(2014)
软件作者: 帕维尔·卡德克
相关软件: 派克斯;KLEE公司;z3…
主要字段: 计算机科学(68-XX)

云4SNP

1份文件引用(2019)
软件作者: 阿加皮托,G。;卡纳塔罗,M。;Guzzi,P.H。;Marozzo,F。;塔里亚,D。;特伦菲奥,P。
相关软件: 核心SNP;MapReduce
主要字段: 生物学和其他自然科学(92-XX)

配置检查器

1份文件引用(2018)
软件作者: Al-Shaer,E.,Alsaleh,M。
相关软件: github;NetKAT;菲马托…
主要字段: 计算机科学(68-XX)

CUDAMPF公司++

在0个文档中引用
软件作者: 韩宇江、纳拉扬·甘尼桑、姚宇东
相关软件: HMMER;CUDA公司
主要字段:

数据中心2

在0个文档中引用
软件作者: Ivancic,F.、Balakrishnan,G.、Gupta,A.等人。
相关软件: DDVerify;CBMC;CPA检查器…
主要字段:

去GSM

1份文件引用(2020)
软件作者: 郭洪哲、傅一磊、闫高、李俊义、王亚东、刘波
相关软件: github;KMC公司
主要字段: 生物学和其他自然科学(92-XX)

快速cmprsk

在0个文档中引用
软件作者: Eric S Kawaguchi、Jenny I Shen、Gang Li、Marc A Suchard
相关软件: crrSC;crrp;do并行…
主要字段:

快速测试-3D

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

FlexJava软件

1份文件引用(2018)
软件作者: Park,J.、Esmaeilzadeh,H.、Zhang,X.、Naik,M.、Harris,W。
相关软件: 胡迪尼;布吉;依赖…
主要字段: 计算机科学(68-XX)

Hadoop总线

1份文件引用(2013)
软件作者: 马蒂·尼门马;阿列克西·卡利奥;安德烈·舒马赫;彼得里·克莱梅尔;Eija Korpelainen;凯霍·赫尔扬科
相关软件: 普罗瓦林;十字弓;k表示++…
主要字段: 生物学和其他自然科学(92-XX)

汉帕

1份文件引用(2020)
软件作者: 李,肖;Farzin Houshmand;莱萨尼,莫森
相关软件: CVC4;PSync(同步)
主要字段: 计算机科学(68-XX)

热箱

在0个文档中引用
软件作者: 伊利亚·基西尔(Ilya Kisil)、朱塞佩·G·卡尔维(Giuseppe G.Calvi)、布鲁诺·S·迪斯(Bruno S.Dees)、达尼洛·曼迪奇(Danilo P.Mandic)
相关软件: 大熊猫;Seaborn;Scikit…
主要字段:

iDiff(iDiff)

1份文件引用(2001)
软件作者: 苏尼塔萨拉瓦吉
相关软件: DB2;MS SQL Server;甲骨文公司
主要字段: 计算机科学(68-XX)

贾克尔

1份文件引用(2019)
软件作者: Beyer,K.、Ercegovac,V.、Gemulla,R.、Balmin,A.、Eltabakh,M.、Kanne,C.-C.等人。
相关软件: 蜂巢;MapReduce
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

狮子森林

1份文件引用(2022)
软件作者: Ioannis Mollas;尼克·巴西利亚德斯(Nick Bassiliades);格里戈里奥斯·祖马卡斯
相关软件: 在树中;形状;XGBoost…
主要字段: 计算机科学(68-XX)

MetaSpark公司

1份文件引用(2017)
软件作者: 周,W。;李,R。;袁,S。;刘,C。;姚,S。;罗,J。;牛,B
相关软件: AlexNet;ImageNet;Apache Spark…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

纳帕

1份文件引用(2008年)
软件作者: 金军、乔楠、梁德旺
相关软件:
主要字段: 数值分析(65-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件