×

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

TensorFlow公司

引用于855篇文献(2016–2024)
软件作者: 谷歌大脑团队;M.Abadi、A.Agarwal、P.Barham、E.Brevdo、Z.Chen、C.Citro、G.S.Corrado、A.Davis、J.Dean、M.Devin等人
相关软件: 亚当;PyTorch公司;Keras…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

NOMAD公司

132份文件引用(2001–2024)
软件作者: 塞巴斯蒂安·勒·迪加贝尔
相关软件: OrthoMADS;EGO;MultiMin…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

里奥

90篇文献引用(2003–2023)
软件作者: 马特杰·杜尼克
相关软件: 琳达;莫德;mCRL2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

德尔福

52篇文献引用(1995–2015)
软件作者: Embarcadero技术公司;博兰德
相关软件: Visual Basic;擅长;SPSS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

科莱姆

65篇文献引用(2000–2023)
软件作者: 德尼古拉,R。;法拉利,通用汽车。;普格利泽,R。
相关软件: 琳达;克拉瓦;SCEL…
主要字段: 数学逻辑与基础(03-XX);一般拓扑(54-XX);计算机科学(68-XX)…

AntNet公司

48篇文献引用(1998–2015)
软件作者: Di Caro,G。;M.多里戈。
相关软件: AntHocNet;MACS-VRPTW;HAS-SOP…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

快速SLAM

49篇文献引用(2002–2023)
软件作者: Montemerlo M、Thrun S、Koller D、Wegbreit B
相关软件: SIFT;MonoSLAM;SURF…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

全球移动模拟

37篇文献引用(2001–2015)
软件作者: 向曾;拉吉夫·巴格罗迪亚;马里奥·格拉
相关软件: 帕塞克;ns-2;OMNet++…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

清洁

56篇文献引用(1987–2016)
软件作者: 医学博士Plasmeijer。
相关软件: 哈斯克尔;米兰达;闪光…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

CiaoPP公司

51篇文献引用(1999–2022)
软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。
相关软件: Ciao;SICStus公司;汞…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

JBoss公司

23篇文献引用(2004–2023)
软件作者: Red Hat公司。
相关软件: 口水;方面J;WebSphere…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

移动网络

39篇文献引用(2019–2024)
软件作者: Andrew G.Howard、Zhu Menglong、Bo Chen、Dmitry Kalenichenko、Weijun Wang、Tobias Weyand、Marco Andreetto、Hartwig Adam
相关软件: ImageNet;ShuffleNet;AlexNet…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

ArcGIS

26篇文献引用(2002–2022)
软件作者: esri.com网站
相关软件: R;QGIS;Python…
主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)…

MonoSLAM公司

32篇文献引用(2008–2022)
软件作者: A.J.Davison、I.D.Reid、N.D.Molton、O.Stasse
相关软件: SIFT;FastSLAM;SURF…
主要字段: 数值分析(65-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

SMIL公司

10篇文献引用(2001–2016)
软件作者: W3.org网站
相关软件: XPath;Lua;SPARQL…
主要字段: 组合数学(05-XX);计算机科学(68-XX);数学教育(97-XX)

MobileNetV2手机

32篇文献引用(2020–2024)
软件作者: 马克·桑德勒、安德鲁·霍华德、朱梦龙、安德烈·日莫吉诺夫、陈良杰
相关软件: ImageNet;AlexNet;MobileNets…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

MWB公司

34份文件引用(1995年至2022年)
软件作者: 比约恩·维克多(Björn Victor)、法伦·莫勒(Faron Moller)
相关软件: 彼得鲁乔;棱镜;图片…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

电视节目

33篇文献引用(2000–2022)
软件作者: 塔尔·列夫·阿米;穆利·萨吉夫
相关软件: ESC/Java;简化;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

SpiNNaker公司

19份文件引用(2015–2023)
软件作者: Furber,S.、Galluppi,F.、Temple,S.和Plana,洛杉矶。
相关软件: 神经元;派恩;巢穴…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

VisualStudio。净值

在28份文件中引用(2002–2023)
软件作者: 微软
相关软件: Visual Basic;ASP。网络;Visual C#…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

混洗网

引用于27份文件(2019–2024)
软件作者: 张祥宇、周新宇、林梦晓、孙健
相关软件: ImageNet;MobileNets;AlexNet…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

MIRACL公司

26篇文献引用(1989–2021)
软件作者: 斯科特·M。;CertiVox有限公司。
相关软件: 遗迹;eBACS;eBATS…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

乔坎尔

26篇文献引用(2000–2022)
软件作者: Fornet,塞德里克;法布里斯·勒费桑;Luc Maranget;阿兰·施密特
相关软件: 皮克特;OCaml;PiDuce…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

Aglets公司

21篇文献引用(2001–2011)
软件作者: 国际商用机器公司
相关软件: 旅行者号;康科迪亚;科莱姆…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

CPU基准

在25份文件中引用(2016–2024)
软件作者: PassMark®软件
相关软件: irace;DIMACS;LKH…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

盖泽博

21篇文献引用(2006–2023)
软件作者: Koenig,N。;H·霍华德。
相关软件: 活性氧;MuJoCo;转子…
主要字段: 常微分方程(34-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

石灰

10篇文献引用(2002–2016)
软件作者: G.Picco、A.Murphy、G.-C.Roman
相关软件: 琳达;科莱姆;TuCSoN…
主要字段: 计算机科学(68-XX)

COSTA公司

22篇文献引用(1992–2020)
软件作者: 埃尔维拉·阿尔伯特(Elvira Albert)、普里·阿雷纳斯(Puri Arenas)、萨米尔·吉纳伊姆(Samir Genaim)、杰尔曼·普埃布拉(Germanán Puebla)、达米亚诺·扎纳尔迪尼(Damiano Zanardini)
相关软件: 速度;AProVE;参考…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);偏微分方程(35-XX)…

KASUMI公司

20篇文献引用(2002–2016)
软件作者: 佐藤、阿卡西;住友县森冈
相关软件: 山茶花;漩涡;SageMath…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

节点.js

6篇文献引用(2017–2022)
软件作者: Ioannis K.Chaniotis。;Kyriakou,Kyriacos-Ioannis D。;尼古拉斯·泽利卡斯。
相关软件: JavaScript;github;MySQL…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

卡斯珀*

5份文件引用(2012–2022)
软件作者: Chow、Chi-Yin;Mokbel,Mohamed F。;瓦利德·阿雷夫。
相关软件: SpaceTwist;STR;氯化钠…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)

克拉瓦

18篇文献引用(2002–2020)
软件作者: 洛伦佐·贝蒂尼;德尼古拉(De Nicola)、罗科(Rocco);罗萨里奥·普格利泽
相关软件: 科莱姆;琳达;石灰…
主要字段: 计算机科学(68-XX)

TuCSoN公司

7份文件引用(2001–2018)
软件作者: 安德烈亚·奥米西尼(Andrea Omicini);弗朗科·赞博内利
相关软件: 琳达;重新规范;石灰…
主要字段: 计算机科学(68-XX)

旅行者号

14篇文献引用(2000年至2006年)
软件作者: G.玻璃;对象空间
相关软件: Aglet;康科迪亚;DECAF…
主要字段: 计算机科学(68-XX)

HYTEC公司

引用于16份文件(2010年至2022年)
软件作者: 简·范德利、劳伦特·德温特、文森特·拉格诺、帕特里克·高布利特
相关软件: MoMaS;最小值3;水文地球化学…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

智能手机

14篇文献引用(2008–2014)
软件作者: 叶卡捷琳娜·奥尔;沃尔夫拉姆·路德
相关软件: ValEncIA-IVP;FADBAD++;ValEncIA…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

AntHocNet公司

8份文件引用(2006–2021)
软件作者: Di Caro,G。;杜卡泰尔,F。;甘巴德拉,L.M。
相关软件: AntNet;FLAR(闪光);OMNet公司++
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)…

M-树

在15份文件中引用(2005–2022)
软件作者: 陆成怀;张涛;施卫东;李显新S。
相关软件: BISIMULATOR;CADP;Exp.打开…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)

HEC-RAS公司

11份文件引用(2009–2023)
软件作者: 布伦纳·G。
相关软件: InfoWorks;WASH123D;FloPy…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

HOPLA公司

14篇文献引用(2002–2014)
软件作者: 米克尔·奈加德;温克尔,格林
相关软件: 新HOPLA
主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);范畴理论;同调代数(18-XX)…

杂技演员

8份文件引用(1997–2021)
软件作者: 土砖
相关软件: 单词;Ghostscript;LEMO…
主要字段: 计算机科学(68-XX);量子理论(81-XX);信息与通信理论,电路(94-XX)

安全Dpi

13份文件引用(2004–2011)
软件作者: 轩尼诗,马修;朱利安·拉特克(Julian Rathke);吉田、Nobuko
相关软件: 乔卡姆;MJ;Jif…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MAGDA公司

10篇文献引用(2006–2010)
软件作者: 洛科·阿弗萨、贝尼亚米·迪·马蒂诺、尼古拉·马佐卡、萨尔瓦多·文提琴
相关软件: Globus工具包;夏洛特;MPICH-G2…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);整体分析,流形分析(58-XX)…

MRSVP公司

10篇文献引用(2000年至2006年)
软件作者: Talukdar,Anup Kumar;巴德里纳特,不列颠哥伦比亚省。;阿查里亚,奥雅纳
相关软件: HMRSVP;ReVirt;HMAT公司
主要字段: 计算机科学(68-XX)

Qt(数量)

4份文件引用(1999–2023)
软件作者: Qt有限公司。
相关软件: ParaView;Qt设计师;RGtk2…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

辛迪JS

9份文件引用(2016–2021)
软件作者: 冯·盖格恩,马丁;乌尔里奇·科滕坎普;里希特·盖伯特(Jürgen Richter-Gebert);迈克尔·斯特罗贝尔
相关软件: 灰姑娘;GeoGebra;CindyGL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);几何(51-XX)…

传单

5份文件引用(2017–2022)
软件作者: 阿加丰金五世
相关软件: 传单;开放街道地图;R、 …
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

多媒体卡

9份文件引用(2003–2020)
软件作者: 杨平;罗摩克里希南,C.R。;斯科特·斯莫尔卡。
相关软件: MWB;MCK;Uppaal…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

ULM公司

10篇文献引用(2004–2011)
软件作者: 热拉尔·布多尔
相关软件: 酯类;糖块;JoCaml…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

AMC公司

7份文件引用(2020–2023)
软件作者: 何一辉、吉林、刘志坚、王汉瑞、李佳丽、宋涵
相关软件: ImageNet;亚当;TensorFlow…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…

移动

9份文件引用(2001–2010)
软件作者: 叶卡捷琳娜·奥尔;安德烈斯·凯斯科梅西;Tändl,马丁;特拉辛斯基,霍尔格
相关软件: 轮廓/偏差;智能手机;TADIFF…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

尼瑞塞尔

5份文件引用(2016–2023)
软件作者: Mohan,P.、Venkata,N.、Ramjee,R。
相关软件: github;蟒蛇;数字标识…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PICIN公司

8份文件引用(2015–2023)
软件作者: 凯利,D.M。;陈,Q。;臧,J。
相关软件: FEniCS;双球面物理学;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

积极主动

6篇文献引用(2002–2019)
软件作者: Inria Sophia Antipolis公司
相关软件: 雄心勃勃的谈话;防抱死制动系统;甲酚…
主要字段: 数值分析(65-XX);计算机科学(68-XX);地球物理学(86-XX)

AmbientTalk公司

6篇文献引用(2009–2019)
软件作者: Dedecker J.、Van Cutsem T.、Mostinkx S.、D'Hondt T.、De Meuter W。
相关软件: 甲酚;JCobox;多重显示…
主要字段: 计算机科学(68-XX)

卡门

2份文件引用(2005–2009)
软件作者: 蒙特默罗,M.,罗伊,N.,特伦,S
相关软件: 活性氧;高温;Tekkotsu…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

德尔菲

8份文件引用(2013–2022)
软件作者: 李,L。;李,C。;Sarkar,S。;张杰。;威瑟姆,S。;张,Z。;Wang,L。;N.史密斯。;佩图赫,M。;阿列克索夫,E。
相关软件: APBS;MIBPB;PDB2PQR…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

FRIDGE公司

4份文件引用(2004–2007)
软件作者: Keding,H.、Willems,M.、Coors,M.和Meyr,H。
相关软件: Simulink;HOL;HOL灯…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

LEAP公司

2份文件引用(2002)
软件作者: Federico Bergenti;阿戈斯蒂诺·波吉
相关软件: 无DoSE;XPath;XMLTK…
主要字段: 计算机科学(68-XX)

occam-pi型

6篇文献引用(2005–2021)
软件作者: 彼得·H·韦尔奇。;弗雷德里克·巴恩斯。
相关软件: 皮克特;韩国石油公司;Boids…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

Protelis公司

7份文件引用(2019–2023)
软件作者: 雅各布·比尔、达尼洛·皮亚尼尼、米尔科·维罗利
相关软件: 羽量级Java;MapReduce;SDEF…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)

semPLS公司

5份文件引用(2013–2023)
软件作者: Leisch F,Monecke A公司
相关软件: SmartPLS;R;请注意…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)

张量流

5份文件引用(2021–2023)
软件作者: Allaire,J.、Eddelbuettel,D.、Golding,N.、Tang,Y。
相关软件: TensorFlow;R;亚当…
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)

自动血压计

6篇文献引用(2001–2008)
软件作者: 彭伟;鲁、西城
相关软件: 多氯联苯;帕塞克;全球移动模拟
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

阵列火力

4份文件引用(2019–2024)
软件作者: Yalamanchili,P,Arshad,U,Mohammed,Z,Garigipati,P,Entschev,P,Kloppenborg,B,James,J和Melonakos,J
相关软件: github;CUDA;CuArrays.jl…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

CAPEUS公司

4份文件引用(2001–2011)
软件作者: 萨穆洛维茨,迈克尔;弗洛里安·米夏赫勒(Florian Michahelles);克劳迪娅·林霍夫·波皮恩
相关软件: JBoss;LUBM;口水…
主要字段: 计算机科学(68-XX)

D*Lite系列

4份文件引用(2004–2019)
软件作者: 斯文·柯尼格(Sven Koenig)、马克西姆·利哈切夫(Maxim Likhachev)
相关软件: 基因组学;杰森;LARS…
主要字段: 组合数学(05-XX);变分法与最优控制;优化(49-XX);计算机科学(68-XX)…

动力机械

2份文件引用(2010)
软件作者: McMillan,S.、Orin,D.E.、McGee,R.B
相关软件: 机器人生成器
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

LoPSiL公司

5份文件引用(2009–2023)
软件作者: 杰·利加蒂(Jay Ligatti);比利·里基;纳林·赛加尔
相关软件: 方面J;BCEL;TaintDroid公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

烟火

2份文件引用(2005–2009)
软件作者: 布兰克、D.S.、库马尔、D.、米登、L.、扬科、H
相关软件: 卡门;活性氧;Orocos…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

SpaceTwist(空间扭曲)

4份文件引用(2011–2022)
软件作者: Man Lung Yiu;克里斯蒂安·詹森(Christian S.Jensen)。;黄雪刚;卢,华
相关软件: 卡斯珀*;LocLok;MaPIR…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

苏门答腊岛

4份文件引用(2002–2017)
软件作者: Anurag Acharya、M.Ranganathan、Joel Saltz
相关软件: 克拉瓦;石灰;卡梅洛特…
主要字段: 计算机科学(68-XX)

阿尔戈维基

5份文件引用(2017–2022)
软件作者: V.Voevodin、A.Antonov、J.Dongarra
相关软件: CAE Fidesys公司;SPL征服者;Scalasca…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

尽快

4份文件引用(2007–2010)
软件作者: Girish Khandelwal;Lee,Kyonghwan;Yener,Aylin;塞族,塞米希
相关软件: CPN/工具;接入/CPN;设计/CPN…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

康考迪亚

6篇文献引用(2001–2006)
软件作者: David Wong、Noemi Paciorek、Tom Walsh、Joe DiCelie、Mike Young、Bill Peet
相关软件: Aglet;旅行者号;胃…
主要字段: 计算机科学(68-XX)

沙发DB

引用于3份文件(2011–2021)
软件作者: 阿帕奇
相关软件: MongoDB;卡桑德拉;MySQL…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

FBNetV2公司

引用于3份文件(2019–2023)
软件作者: Alvin Wan、戴晓亮、张培照、何子健、田远东、谢赛宁、吴碧晨、Matthew Yu、Tao Xu、Kan Chen、Peter Vajda、Joseph E.Gonzalez
相关软件: PyTorch公司;MobileNetV2;ImageNet…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

圣杯

5份文件引用(2003–2019)
软件作者: Lennart Beringer;肯尼思·麦肯齐(Kenneth MacKenzie);伊恩·斯塔克
相关软件: 卡米洛特;Isabelle/HOL;OCaml…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Java日志

引用于3份文件(2002–2007)
软件作者: 阿曼迪,安娜拉;马塞洛·坎波;亚历杭德罗·祖尼诺
相关软件: 高尔夫;奥兹;METATEM…
主要字段: 计算机科学(68-XX)

MetaKlaim公司

5份文件引用(2003–2020)
软件作者: Gianluigi法拉利;尤金尼奥·莫吉;罗萨里奥·普格利泽
相关软件: 科莱姆;克拉瓦;杰森…
主要字段: 计算机科学(68-XX)

MnasNet公司

4份文件引用(2021–2024)
软件作者: Tan Mingxing、Bo Chen、Rooming Pang、Vijay Vasudevan、Mark Sandler、Andrew Howard、Quoc V.Le
相关软件: DARTS;MobileNets;EfficientNet…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

MobiDoc公司

4份文件引用(2001–2002)
软件作者: 佐藤,一郎
相关软件: Aglets公司
主要字段: 计算机科学(68-XX)

移动

5份文件引用(2014–2017)
软件作者: 美国环境保护署
相关软件: CONTRAM公司;TEMMS;TREMOVE…
主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)

雷巴

5份文件引用(2019–2023)
软件作者: 莫汉·斯里德哈兰;Michael Gelfond;张世奇;杰里米·怀亚特
相关软件: 人民;CCalc;AlphaZero…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

草图测量

1份文件引用(2020)
软件作者: Matthias Ehmann、Michael Gerhäuser、Carsten Miller、Alfred Wassermann
相关软件: GeoGebra;几何画板;灰姑娘…
主要字段: 计算机科学(68-XX)

简洁

5份文件引用(2004–2010)
软件作者: 尼尔森,弗莱明;尼尔森、汉内·里斯;孙红燕;米凯尔·巴赫霍尔茨(Mikael Buchholtz);Hansen、Rene Rydhof;亨里克·皮莱加德;赫尔穆特·塞德尔
相关软件: 琳达;科莱姆;政治公众人物协议…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

AODV公司

4份文件引用(2014年至2016年)
软件作者: 蒂莫西·布鲁克;彼得·霍夫纳
相关软件: HOL/SPIN;伊莎贝尔/马戏团;Isabelle/HOL…
主要字段: 计算机科学(68-XX)

CTRW公司

4份文件引用(2016–2019)
软件作者: Andrea Cortis,Brian Berkowitz
相关软件: Matlab;GSLIB公司
主要字段: 偏微分方程(35-XX);积分方程(45-XX);数值分析(65-XX)…

发电机数据库

2份文件引用(2017–2018)
软件作者: 亚马逊
相关软件: Bigtable;VoltDB;烹饪…
主要字段: 计算机科学(68-XX)

燃气轮机实验室

引用于3份文件(2002–2009)
软件作者: 霍斯蒂斯,E.N。;Catlin,A.C.公司。;Tsompanopoulou,P。;戈特弗里德,D。;Balakrishnan,G。;苏凯。;赖斯,J.R。
相关软件: 威卡;ELLPACK;TrueGrid…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

JAFMAS公司

引用于3份文件(2000–2007)
软件作者: D·肖汉
相关软件: 剪辑;脱咖啡因咖啡
主要字段: 计算机科学(68-XX)

JikesRVM系列

2份文件引用(2008–2019)
软件作者: 拉斐尔·基塔达莫;贾科莫·卡布里;莱蒂齐亚·莱昂纳迪
相关软件: SPECjvm2008;神谕;DaCapo…
主要字段: 计算机科学(68-XX)

叶片

2份文件引用(2022–2023)
软件作者: 塞巴斯蒂安·卡尔达斯(Sebastian Caldas)、赛·梅赫·卡尔蒂克·杜杜(Sai Meher Karthik Duddu)、彼得·吴(Peter Wu
相关软件: 脚手架;EMNIST公司;MNIST…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

树叶快照

4份文件引用(2014–2018)
软件作者: Kumar,N.、Belhumeur,P.N.、Biswas,A.、Jacobs,D.W.、John Kress,W.、Lopez,I.C.、Soares,J.V.B。
相关软件: PubFig;CLOVER;SURF…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

手机软件

1份文件引用(2005)
软件作者: Oguz,A.、Campbell,A.T.、Kounavis,M.E.、Liao,R.F。
相关软件: KQML;Globus工具包;NAG…
主要字段: 计算机科学(68-XX)

MOMI公司

4份文件引用(2005–2008)
软件作者: 洛伦佐·贝蒂尼;贝蒂·文内里(Betti Venneri);维维亚娜·博诺
相关软件: 琳达;科莱姆;克拉瓦
主要字段: 计算机科学(68-XX)

PODC公司

4份文件引用(2001–2005)
软件作者: 邝海荣;比克(Lubomir F.Bic)。;迈克尔·迪伦科特(Michael B.Dillencourt)。
相关软件: NINJA公司
主要字段: 计算机科学(68-XX)

ProMoVer公司

4份文件引用(2011–2016)
软件作者: Siavash Soleimanifard;古罗夫,帝力;玛丽克·赫斯曼
相关软件: MAVEN公司;DeltaCCS;MSTA…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

球体

4份文件引用(2020–2022)
软件作者: 安德烈亚·阿米卡雷利、索罗·马南蒂、拉斐尔·阿尔巴诺、佐丹奴玛瑙、马可·帕吉、劳拉·隆戈尼、多梅尼卡·米卢达、拉蒂法·齐亚内、贾科莫·维奇奥内、萨拉·托德斯奇尼、奥雷利亚·索勒、拉拉·玛蒂娜·巴尔迪尼、大卫德·布兰比拉、莫妮卡·帕皮尼、穆罕默德·谢里夫·凯拉夫、博纳文图拉·塔利亚菲罗、卢卡·萨诺、吉多·皮罗瓦诺
相关软件: github;NDSPMHD;Engauge数字转换器…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

SWiM网

引用于3份文件(2001–2008)
软件作者: 布克切、阿泽丁;Das,Sajal K。;亚历山德罗·法布里
相关软件: GloboSim;网络模拟器2;Tmix…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件