×

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

彗星

75篇文献引用(2004–2023)
软件作者: 米歇尔·洛朗;看,安德鲁;帕斯卡·范·亨特利克
相关软件: CPLEX;本地化人员;Gecode…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

汉德尔-C

28篇文献引用(2001–2020)
软件作者: ——
相关软件: 马戏团;哈斯克尔;锡林斯…
主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…

活力

32篇文献引用(1993–2018)
软件作者: 托尼·安德鲁斯;沙兹·卡迪尔;Rajamani,Sriram K。;雅各布·雷霍夫;谢、伊晨
相关软件: 自旋蛋白;灌篮;veriSoft…
主要字段: 代数几何(14-XX);复变量函数(30-XX);统计学(62-XX)…

马拉布

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

时尚GAN

24篇文献引用(2019–2022)
软件作者: Tero Karras、Samuli Laine、Timo Aila
相关软件: Wasserstein GAN;CycleGAN;像素x像素…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

珍珠包

18篇文献引用(1998–2008)
软件作者: 霍斯蒂斯,E.N。;赖斯,J.R。;Weerawarana,S。;Catlin,A.C.公司。;Papachiou,P。;Wang,K.-Y。;盖塔茨,M。
相关软件: ELLPACK;PYTHIA公司;LAPACK…
主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);变分法与最优控制;优化(49-XX)…

阿斯卡隆

6篇文献引用(2002–2012)
软件作者: 托马斯·法林格;亚历山德鲁·朱格鲁(Alexandru Jugravu);萨布里·普拉纳;Radu Prodan;小克洛维斯·塞拉乔托;洪林忠
相关软件: Java CoG工具包;SCALEA公司;网格流…
主要字段: 计算机科学(68-XX)

皮莫

12份文件引用(2021–2024)
软件作者: Julian Blank,Kalyanmoy Deb
相关软件: 蟒蛇;PlatEMO;数字标识…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

高迪

11份文件引用(2001–2010)
软件作者: 巴兰德,G。;I·贝利亚耶夫。;宾科,P。;Cattaneo,M。;Chytracek,R。;科尔蒂,G。;M.弗兰克。;格雷西亚,G。;J.哈维。;van Herwijnen,E。;Maley,P。;马托,P。;普罗布斯特,S。;F.兰贾德。
相关软件: 根;RapidSim;Scikit…
主要字段: 总体主题;藏品(00-XX);微分几何(53-XX);粒子力学与系统(70-XX)…

CArtAgO公司

引用于7份文件(2009–2011)
软件作者: 亚历山德罗·里奇;安德烈亚·桑蒂(Andrea Santi);米歇尔·皮安蒂;米尔科·维罗利;安德烈亚·奥米西尼(Andrea Omicini);马可·吉迪;马蒂亚·米诺蒂
相关软件: 杰森;贾德克斯;代理发言…
主要字段: 计算机科学(68-XX)

ICENI公司

4份文件引用(2002年-2010年)
软件作者: Nathalie Furmento;安东尼·梅耶(Anthony Mayer);斯蒂芬·麦高(Stephen McGough);史蒂文·纽豪斯(Steven Newhouse);托尼·菲尔德(Tony Field);约翰·达林顿
相关软件: Condor-G;仙人掌;网格信息软件…
主要字段: 计算机科学(68-XX)

后台传真

11份文件引用(2011–2020)
软件作者: Lennart C.L.Kats;埃尔科·维瑟
相关软件: Stratego;JastAdd;SugarJ…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

Java MaC语言

11份文件引用(2003–2021)
软件作者: Moonzoo Kim、Mahesh Viswanathan、Sampath Kannan、Insup Lee、Oleg Sokolsky
相关软件: JPAX;Java-MOP;LOLA…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

阿克拉

10篇文献引用(2005年至2011年)
软件作者: 乔瓦尼·佩祖洛(Giovanni Pezzulo);Gianguglielmo·卡尔维
相关软件: 古巴国防部;可可;戴恩…
主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-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)…

PaGMO公司

6篇文献引用(2014年-2023年)
软件作者: 弗朗西斯科·比斯卡尼(Francesco Biscani)、达里奥·伊佐(Dario Izzo)、奇·洪扬(Chit Hong Yam)
相关软件: PaGMO/PyGMO;SciPy;Python…
主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

阿尔法

6篇文献引用(1999–2005)
软件作者: D.K.王尔德。
相关软件: MMAlpha;PolyLib;OPERA…
主要字段: 计算机科学(68-XX)

Blaze-DEMGPU系统

5份文件引用(2017–2023)
软件作者: Govender,N。;Wilke,D。;南科克。
相关软件: CUDA;SudoDEM;OptiX…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);可变形固体力学(74-XX)…

QCL公司

3份文件引用(2010–2021)
软件作者: 奥默,B。
相关软件: LLVM;ScaffCC;Quipper…
主要字段: 计算机科学(68-XX);量子理论(81-XX)

空标题

3份文件引用(2017–2022)
软件作者: Christopher R.Aberger、Susan Tu、Kunle Olukotun、Christophers Ré
相关软件: HyperBench;利格拉;图形X…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

EXPRESS(快递)

4份文件引用(1983–2016)
软件作者: 北卡罗来纳州舒。;豪斯,不列颠哥伦比亚省。;泰勒,R.W。;Ghosh,S.P。;卢姆,V.Y。
相关软件: ——
主要字段: 计算机科学(68-XX)

蒙斯特尔

5份文件引用(1995–1998)
软件作者: 巴纳赫,R。
相关软件: DACTL公司
主要字段: 计算机科学(68-XX)

普赛克

5份文件引用(2013–2020)
软件作者: 圣菲省格拉汉·伦格兰德
相关软件: 伊莎贝尔;直觉;ILTP…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

XPP-VC公司

3份文件引用(2002–2006)
软件作者: Joáo M.P.Cardoso。;马库斯·温哈特
相关软件: FEAST;mctoolbox;NuMesh(NuMesh)
主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

AsmetaSMV公司

2份文件引用(2016–2021)
软件作者: Arcaini,P.、Gargantini,A.、Riccobene,E。
相关软件: 昏迷;NuSMV;ASMETA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

卡利普索

4份文件引用(1997–2009)
软件作者: 乔瓦尼·塞萨里
相关软件: ——
主要字段: 数论(11-XX);动力学系统和遍历理论(37-XX);计算机科学(68-XX)

高特

2份文件引用(2015年至2016年)
软件作者: ——
相关软件: RecInt公司;mpFq;LinBox…
主要字段: 数值分析(65-XX);生物学和其他自然科学(92-XX)

电网总线

1份文件引用(2009)
软件作者: Buyya,R.,Venugopal,S。
相关软件: 网格流;阿斯卡龙;NetSolve…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

科学数据库

2份文件引用(2016–2023)
软件作者: Stonebraker,M.、Brown,P.、Zhang,D.、Becla,J。
相关软件: R;动物园;mgcv…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

SIMRI公司

4份文件引用(2008–2018)
软件作者: Cattin HB、Collewit G、Belaussi B、Jalmes HS、Odet C
相关软件: COMSOL公司;Matlab公司
主要字段: 数值分析(65-XX);计算机科学(68-XX);光学、电磁理论(78-XX)…

斯雷特

3份文件引用(2000–2013)
软件作者: 斯里尼瓦桑·拉马尼;Swapna S.Gokhale。;特里维迪,基索S。
相关软件: 蟒蛇;C-SFRAT;分享
主要字段: 统计学(62-XX);计算机科学(68-XX)

特克图(Tekkotsu)

在0个文档中引用
软件作者: Touretzky DS,Tira-Thompson EJ公司
相关软件: 卡门;多氧;Matlab…
主要字段: ——

维塔夫

2份文件引用(2013)
软件作者: 林胜伟、林胜伟,曾庆红,李政英,傅家俊
相关软件: 细胞;MARTE公司;英特尔TBB…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

DG2VHDL

3份文件引用(2000–2003)
软件作者: 安德鲁·斯通(Andrew Stone);埃利亚斯·马诺拉科斯。
相关软件: 托勒密
主要字段: 计算机科学(68-XX)

NetCore公司

2份文件引用(2013–2018)
软件作者: 克里斯托弗·孟山都;Nate Foster;罗伯·哈里森(Rob Harrison);大卫·沃克
相关软件: github;NetKAT;菲马托…
主要字段: 计算机科学(68-XX)

架构(ArchC)

2份文件引用(2005–2010)
软件作者: 阿泽夫多、鲁道夫;Sandro Rigo;巴托洛缪,马库斯;阿劳霍,圭多;克里斯蒂亚诺·阿劳霍;埃德娜·巴罗斯
相关软件: aiT;MiBench公司;MediaBench…
主要字段: 计算机科学(68-XX)

BCOOPL公司

2份文件引用(2001–2003)
软件作者: 汉斯·德布鲁因
相关软件: ——
主要字段: 计算机科学(68-XX)

CBabel公司

2份文件引用(2005–2009)
软件作者: 亚历山大·雷德梅克;克里斯蒂亚诺·布拉加;亚历山大·斯塔金伯格
相关软件: 莫德;GraphML;SLMC…
主要字段: 计算机科学(68-XX)

沙漠FD

在0个文档中引用
软件作者: Eames,Brandon K。;妮玛(Neema)、桑迪普·K·。;罗希特·萨拉斯瓦特
相关软件: 禁忌搜索;SICStus公司;FaMa…
主要字段: 计算机科学(68-XX)

流体防火阀

2份文件引用(2020–2022)
软件作者: C.T.雅各布斯,M.D.皮戈特
相关软件: PETSc/TS;ADCIRC;FEniCS…
主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)

哈尔_

2份文件引用(1992–2000)
软件作者: 克里斯·霍克(Chris Houck)、古尔·阿加(Gul Agha)
相关软件: 蟒蛇;CHARM++;Oz…
主要字段: 计算机科学(68-XX)

Java统计

2份文件引用(2009–2013)
软件作者: E.詹姆斯·哈纳(E.James Harner);罗大杰;Tan,Jun先生
相关软件: R;代码工具;truncdist…
主要字段: 统计学(62-XX);计算机科学(68-XX)

兰贝克

2份文件引用(2023)
软件作者: 迪米特里·卡茨卡利斯;范·伊恩;杨丽姬;安娜·皮尔逊(Anna Pearson);罗宾·洛伦茨(Robin Lorenz);亚历克西斯·图米;乔瓦尼·德·费利塞(Giovanni de Felice);Meichanetzidis,Konstantinos;斯蒂芬·克拉克(Stephen Clark);鲍勃·科克
相关软件: 量子计算书;Penny巷;TensorFlow…
主要字段: 计算机科学(68-XX);统计力学,物质结构(82-XX)

OpenSALICON公司

1份文件引用(2019)
软件作者: 克里斯托弗·李·托马斯
相关软件: TensorFlow;Matlab;SMILER…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

瑞典全瓷牙

1份文件引用(2020)
软件作者: Voellmy,A.、Kim,H.、Feamster,N。
相关软件: SGS;SDSNM;OpenFlowSIA…
主要字段: 计算机科学(68-XX)

R2D(R2D)

2份文件引用(2009–2010)
软件作者: 拉马努贾姆,苏尼莎;阿努巴·古普塔;拉蒂弗·汗;巴瓦尼,图赖辛厄姆;史蒂文·赛达
相关软件: SPARQL;DataVision;D2RQ…
主要字段: 计算机科学(68-XX)

维斯帕克

2份文件引用(2016–2019)
软件作者: Choi,Woohyuk;洪素敏;郑元基
相关软件: 火花;Apache Spark;图形X…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

WearNET公司

1份文件引用(2002)
软件作者: Lukowicz,P。;Junker,H。;Stäger,M。;冯·比伦,T。;Tröster,G。
相关软件: ——
主要字段: 计算机科学(68-XX)

xMAML公司

在0个文档中引用
软件作者: Lallet,J.、Pillement,S.、Sentieys,O。
相关软件: OCaml;FPath;通过ADL…
主要字段: 计算机科学(68-XX)

A-CMSI

1份文件引用(2002)
软件作者: 阿德兰塔多,马丁;蒂鲍特·德曼
相关软件: ——
主要字段: 计算机科学(68-XX)

ADIOS公司

1份文件引用(2023)
软件作者: 戈多伊,W.F。;Podhorszki,北卡罗来纳州。;Wang,R。;阿特金斯,C。;艾森豪尔,G。;顾,J。;戴维斯,P。;Choi,J。;Germaschewski,K。;哈克,K。
相关软件: 飞行;AMReX公司
主要字段: 流体力学(76-XX);统计力学,物质结构(82-XX)

ANEMA公司

1份文件引用(2009)
软件作者: 哈杰尔·德尔贝尔;纳齐姆·阿古尔明;米卡·萨拉恩
相关软件: ——
主要字段: 计算机科学(68-XX)

APICAS公司

1份文件引用(2012)
软件作者: 克拉西米拉·伊万诺娃
相关软件: ——
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

ARIAL公司

1份文件引用(2002)
软件作者: 弗吉尼亚弗雷斯,奥利维尔变形
相关软件: SynDEx公司
主要字段: 计算机科学(68-XX)

BEAGLE公司

1份文件引用(2013)
软件作者: 加涅·C。;帕里佐M。
相关软件: 北极星;j金属;休眠…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

Craniux公司

在0个文档中引用
软件作者: 阿兰·德根哈特(Alan D.Degenhart)。;John W.Kelly。;罗宾·阿什莫尔(Robin C.Ashmore)。;詹妮弗·科林格(Jennifer L.Collinger)。;伊丽莎白·泰勒·卡巴拉(Elizabeth C.Tyler-Kabara)。;道格拉斯·J·韦伯(Douglas J.Weber)。;王伟
相关软件: OpenViBE;2000年预算;BCI2000…
主要字段: ——

取决于

在0个文档中引用
软件作者: G.Zhang;J.武侠
相关软件: ast;守门人;合成码…
主要字段: ——

Genefer公司

在0个文档中引用
软件作者: I.A.白求恩、Y·加洛特。
相关软件: CUDA;BOINC公司;开放式PFGW
主要字段: ——

哈加

1份文件引用(2002)
软件作者: 奥斯卡·门瑟、黄志宁和洛伦斯·韦尔斯卑尔根
相关软件: ——
主要字段: 组合数学(05-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

matlab控制

在0个文档中引用
软件作者: Michalis P.Michalides、Demetrios G.Eliades、Marinos Christodoulou、Marios Kyriakou、Christos Panayiotou、Marios Polycarpou
相关软件: matlab-contam-toolbox;github
主要字段: ——

MLaut(MLaut)

在0个文档中引用
软件作者: 维克托·卡扎科夫(Viktor Kazakov)、弗兰兹·基拉利(Franz J.Király)
相关软件: 插入符号;CNTK;咖啡…
主要字段: ——

MuPIF公司

1份文件引用(2019)
软件作者: B.帕特扎克、D.瑞普、J.克鲁斯。
相关软件: SfePy;数字Py;mpi4py…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)

NeMo公司+

1份文件引用(2017)
软件作者: Shvetsov,I.、Telerman,V.、Ushakov,D。
相关软件: InC++;JGloptLab;进入PT_90…
主要字段: 数值分析(65-XX)

OCOA公司

1份文件引用(2002)
软件作者: 费利西亚诺·曼扎诺(Feliciano Manzano);洛杉矶加西亚。
相关软件: ——
主要字段: 计算机科学(68-XX)

章鱼

在0个文档中引用
软件作者: Dierick M、Masschaele B、Hoorebeke Van L
相关软件: ——
主要字段: ——

PiLLoW公司

在0个文档中引用
软件作者: Daniel Cabeza、Manuel Hermenegildo、Sacha Varmaa
相关软件: ——
主要字段: ——

ProGraML软件

在0个文档中引用
软件作者: Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather
相关软件: 亚当;XLA;TensorFlow…
主要字段: ——

彪马

1份文件引用(2020)
软件作者: Aayush Ankit、Izzat El Hajj、Sai Rahul Chalamarasetti、Geoffrey Ndu、Martin Foltin、R Stanley Williams、Paolo Faraboschi、Wen-mei W Hwu、John Paul Strachan、Kaushik Roy、Milojicic Dejan
相关软件: 图R;PipeLayer;PANTHER…
主要字段: 计算机科学(68-XX)

RWebData公司

在0个文档中引用
软件作者: Matter,美国。
相关软件: 读数器;服务器;httr…
主要字段: ——

电子表格编码器

1份文件引用(2023)
软件作者: 陈新云;马尼亚蒂斯(Maniatis),Petros;里沙巴·辛格;查尔斯·萨顿;戴、韩军;林,马克斯;周,丹尼
相关软件: SQLizer;PyGGI;杜松子酒…
主要字段: 计算机科学(68-XX)

特里尔

1份文件引用(2020)
软件作者: 巴德里什·钱德拉穆利(Badrish Chandramouli)、乔纳森·戈尔茨坦(Jonathan Goldstein)、迈克·巴内特(Mike Barnett
相关软件: 卡尤加;霸王龙;阿帕奇·弗林克
主要字段: 计算机科学(68-XX)

NCSWT公司

在0个文档中引用
软件作者: 埃伊西、埃梅卡;白、贾;德里克·莱利(Derek Riley);翁建年;魏燕;薛、袁;Koutsoukos,Xenofon;贾诺斯·什蒂帕诺维茨
相关软件: ——
主要字段: ——

筛选结果依据…

全部的 前5名

相关软件