×

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

细胞景观

48篇文献引用(2007–2023)
软件作者: Shannon P、Markiel A、Ozier O、Baliga NS、Wang JT、Ramage D、Amin N、Schwikowski B、Ideker T
相关软件: KEGG;R;IntAct…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

SciANN公司

33篇文献引用(2021–2024)
软件作者: 伊桑·哈希亚特;鲁本·胡安斯
相关软件: 亚当;DeepXDE;TensorFlow…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

REVEAL公司

24篇文献引用(2003–2022)
软件作者: Liang,S.、Fuhrman,S.和Somogyi,R
相关软件: KEGG;R;BoolNet…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

数学Web搜索

22篇文献引用(2006–2021)
软件作者: Michael Kohlhase、Bogdan A.Matican、Corneliu-Claudiu Prodescu
相关软件: OMDoc;MMT;Mizar…
主要字段: 数学逻辑与基础(03-XX);特殊功能(33-XX);偏微分方程(35-XX)…

国防部

15篇文献引用(1993–2010)
软件作者: 瓦莱里奥·西马加里;马西米利亚诺·博比;马尔科·巴尔西
相关软件: ——
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);可变形固体力学(74-XX)…

马斯科特

12份文件引用(1997–2022)
软件作者: 佩雷·桑乔(Pere P.Sancho)、卡洛斯·尤兹(Carlos Juiz)、拉蒙·普贾纳(Ramon Puigjaner)
相关软件: LSTRS;贝叶斯DA;翡翠…
主要字段: 数论(11-XX);近似和扩展(41-XX);数值分析(65-XX)…

帕戈达

12份文件引用(2007–2015)
软件作者: Wirsing,Martin;Denker,砂砾;卡罗琳·塔尔科特;安迪·波乔(Andy Poggio);Briesemeister琳达
相关软件: 莫德;克拉姆;重新设置(amp;E)…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

凯莱网

引用于9份文件(2019–2023)
软件作者: 罗恩·列维、费德里科·蒙蒂、泽维尔·布列松、迈克尔·布朗斯坦
相关软件: STransE;DeepWalk;PyG…
主要字段: 组合数学(05-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…

CertiKOS公司

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)

网址(Ur/Web)

8份文件引用(2016–2022)
软件作者: 奇利帕拉,A。
相关软件: 链接;FlowFox;CoSMed…
主要字段: 计算机科学(68-XX)

伊萨温

引用于7份文件(1999–2007)
软件作者: 克里斯托夫·吕斯;伯克哈特·沃尔夫
相关软件: TAS;一般证明;Mizar…
主要字段: 计算机科学(68-XX)

QMCPACK(质量管理确认)

8份文件引用(2008–2022)
软件作者: J.Kim等人。
相关软件: NWChem公司;S3D军团;KKRnano…
主要字段: 总体主题;藏品(00-XX);常微分方程(34-XX);数值分析(65-XX)…

SCTL-MUS公司

5份文件引用(2001–2006)
软件作者: JoséJ.Pazos Arias。;加西亚·杜克(Jorge García Duque)
相关软件: PVS;灌篮;NuSMV…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿尔法

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

比例6.2

6篇文献引用(2015–2021)
软件作者: 里尔登,B。;列斐伏尔,R。;列斐伏尔,J。;克拉诺,K。;威廉姆斯,M。;Petrie,L。;美国Mertyurek。
相关软件: 德诺沃;特里利诺斯;比例…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

茶包

6篇文献引用(2005–2013)
软件作者: S.Antoy和S.Johnson
相关软件: 玩具;PAKCS;胡德…
主要字段: 计算机科学(68-XX)

DPARSF公司

4份文件引用(2013–2022)
软件作者: Y Chao Gan,Z Yu Feng
相关软件: RegEM;插补;FieldTrip…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

检流计

5份文件引用(2009–2019)
软件作者: 席尔瓦,P.F。;J.N.奥利维拉。
相关软件: 菲亚特;维拉斯科;ASTREE…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…

J均质机

5份文件引用(2006–2021)
软件作者: 亚马逊人、卜拉欣;乔·科培
相关软件: 耦合器;均质机++;
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…

PRED等级

3份文件引用(2008–2012)
软件作者: Pasquier C、Promponas VJ、Hamodrakas SJ
相关软件: SVM灯;SLEX;爆炸…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

连接器

3份文件引用(2020–2022)
软件作者: Whitfield-Gabrieli S,Nieto-Castanon A。
相关软件: BrainNet查看器;大脑连接工具箱;FieldTrip…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);计算机科学(68-XX)…

KeY-ABS公司

4份文件引用(2015–2021)
软件作者: Din,Crystal Chang;理查德·布贝尔(Richard Bubel);雷纳·哈内尔
相关软件: 防抱死制动系统;斯卡拉;算法864…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

工厂TFDB

2份文件引用(2016–2019)
软件作者: Jin J、Tian F、Yang DC、Meng YQ、Kong L、Luo J、Gao G
相关软件: R;sva;KLU…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

维塔夫

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

PyHST2型

2份文件引用(2017)
软件作者: 亚历山德罗·米龙;Emmanuel Brun;Emmanuelle Gouillart;保罗·塔福罗(Paul Tafforeau);杰罗姆·基弗
相关软件: 泥浆;数字Py;TomoPy…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

架构(ArchC)

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

BRAPH公司

1份文件引用(2020)
软件作者: ——
相关软件: 大脑连接工具箱;巴斯科;GTG…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

珊瑚礁

2份文件引用(2020–2022)
软件作者: Brandon Anderson、Truong-Son Hy、Risi Kondor
相关软件: DScribe;github;DiffSharp…
主要字段: 概率论与随机过程(60-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)

通用通用虚拟机

2份文件引用(2011–2013)
软件作者: 李,齐;萨勒曼,被袭击;测试,埃里克
相关软件: LIBSVM;CONV_QP;UCI毫升…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

GRUMPS公司

1份文件引用(2003)
软件作者: Huw Evans;马尔科姆·阿特金森;玛格丽特·布朗;嘉吉、朱莉;莫里·克鲁斯(Murray Crease);史蒂夫·德雷珀(Steve Draper);菲尔·格雷(Phil Gray);理查德·托马斯
相关软件: ——
主要字段: 计算机科学(68-XX)

电梯

1份文件引用(2010)
软件作者: Dos Santos Brito,K。;加西亚,V.C。;De Almeida,E.S。;德莱莫斯·梅拉(De Lemos Meira),S.R。
相关软件: 里吉;SkuAVisit;再见…
主要字段: 计算机科学(68-XX)

瑞典全瓷牙

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

拉蒙

2份文件引用(2003)
软件作者: 阿尔多·罗维里;卡拉·法比亚纳·齐亚塞里尼;毛罗·费米内拉;托马索·米洛迪亚;贾科莫·莫拉比托;米歇尔·罗西;伊利亚州蒂尼雷洛
相关软件: ——
主要字段: 计算机科学(68-XX)

SS-W记录器

在0个文档中引用
软件作者: 王,C。;Lefkowitz,E。
相关软件: 爆破;PSI-爆炸;拨号…
主要字段: ——

凶悍的人

2份文件引用(2021–2022)
软件作者: 马丁·科尔贝尔;Leue,Stefan;托马斯·怀斯
相关软件: Uppaal;SemFix;S-TaLiRo…
主要字段: 计算机科学(68-XX)

VoDKA公司

2份文件引用(2005–2009)
软件作者: Victor M.Gulias。;米格尔·巴雷罗;何塞·弗雷尔(Jose L.Freire)。
相关软件: OCaml;凸轮;PoSSo…
主要字段: 交换代数(13-XX);计算机科学(68-XX)

ARIAL公司

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

字节转换器

1份文件引用(2023)
软件作者: 翟玉佳、蒋程泉、王乐元、贾小英、张尚、陈自忠、刘鑫、朱一博
相关软件: Sunny.jl;OpenBLAS(开放BLAS)
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

集群Viz

1份文件引用(2017)
软件作者: Wang,J。;钟,J。;陈,G。;李,M。;Wu,F.-X。;潘,Y。
相关软件: 父系;SDTNBI;DNRLMF-MDA…
主要字段: 生物学和其他自然科学(92-XX);系统论;控制(93-XX)

CNA工具

在0个文档中引用
软件作者: 罗伯托·路易斯·苏扎·蒙泰罗、雷娜塔·苏萨·弗雷塔斯·丹塔斯·巴雷托、安德烈亚·丽塔·达席尔瓦、何塞·罗伯托·德阿拉乌乔·方图拉、埃尔纳内·博尔赫斯·德巴罗斯·佩雷拉
相关软件: Sigma.js;SocNetV;Gephi…
主要字段: ——

FPQRNA公司

在0个文档中引用
软件作者: 夏,费;窦勇;雷国庆
相关软件: ——
主要字段: ——

Jx公司

1份文件引用(2020)
软件作者: Yoon、Hongkee;Kim,Taek Jung;Sim,Jae-Hoon;韩明俊
相关软件: 瓦尼尔90;朱莉娅;OpenMx(OpenMx)
主要字段: 粒子和系统力学(70-XX);统计力学,物质结构(82-XX)

OX传感器存储

1份文件引用(2009)
软件作者: 加扎涅,托马斯;文森特·汉克斯
相关软件: OCaml;蜜蜂
主要字段: 计算机科学(68-XX)

PIRSF公司

1份文件引用(2017)
软件作者: Nikolskayay QN、Arighi CN、Huang H、Barker WC、Wu CH
相关软件: RDP2;PhyloBayes 3;分区查找器…
主要字段: 总体主题;藏品(00-XX);生物学和其他自然科学(92-XX)

斯特拉姆斯

1份文件引用(1999)
软件作者: Nisheva-Pavlova,Maria M。
相关软件: ——
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件