×

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

UniProt公司

78篇文献引用(2004–2023)
软件作者: UniProt财团;阿普威勒,R。;Bairoch,A。;Wu,C.H。;巴克,W.C。;Boeckmann,B。;费罗,S。;Gasteiger,E。;黄,H。;洛佩兹,R。;Magrane,M。;马丁·M·J。;Natale,D.A。;奥多诺万,C。;Redaschi,N。;是的,L.S。
相关软件: 爆炸;PSI-爆炸;KEGG…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

seL4级

92份文件引用(2009–2023)
软件作者: Klein,G.、Elphinstone,K.、Heiser,G.,Andronick,J.、Cock,D.、Derrin,P.、Elkaduwe,D.、Engelhardt,K.,Kolanski,R.、Norrish,M.、Sewell,T.、Tuch,H.、Winwood,S。
相关软件: Isabelle/HOL;Coq;伊莎贝尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX)…

阿尔卑斯山

引用于16份文件(2009–2023)
软件作者: B.Bauer等人
相关软件: IT传感器;MCTDH;QuSpin…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

AiiDA公司

4份文件引用(2022–2024)
软件作者: 乔瓦尼·皮齐、安德烈亚·塞佩洛蒂、里卡多·萨巴蒂尼、尼古拉·马尔扎里、鲍里斯·科津斯基
相关软件: AFLOW;FireWorks;脓毒症…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

FireWorks公司

1份文件引用(2023年)
软件作者: Jain,A。;Ong,S.P。;Chen,W。;Medasani,B。;曲,X。;科彻,M。;布拉夫曼,M。;彼得雷托,G。;里格纳内斯语,G.-M。;Hautier,G。;Gunter,D。;佩尔松,K.A。
相关软件: AiiDA公司;蟒蛇;脓毒症…
主要字段: 数值分析(65-XX);地球物理学(86-XX);运筹学、数学规划(90-XX)

视觉轨迹

引用于3份文件(2015–2019)
软件作者:
相关软件: 飞马座;塔维纳;R、 …
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

寓言

6篇文献引用(2011–2017)
软件作者: Swamy N、Corcoran BJ、Hicks M
相关软件: F*;Jif;AURA…
主要字段: 计算机科学(68-XX)

ANTsR公司

2份文件引用(2019–2023)
软件作者: Avants BB、Kandel BM、Duda JT、Cook PA、新泽西州Tustison
相关软件: oro.nifti;fslr;R、 …
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX);信息与通信理论,电路(94-XX)

ProGen公司

5份文件引用(2008–2009)
软件作者: 张晓;王珊;莉安(Lian,Na)
相关软件: PSPLIB;禁忌搜索
主要字段: 积分方程(45-XX);数值分析(65-XX);计算机科学(68-XX)…

特里亚纳

在0个文档中引用
软件作者: 马吉西亚,S。;加的夫Sch。计算的。科学。,英国加的夫大学;护罩,M。;泰勒,I。;我·王。
相关软件: 塔维纳;网格流;MiToBo…
主要字段:

科学数据库

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

运动图表

1份文件引用(2014年)
软件作者: Al-Aziz,J。;北卡罗来纳州克里斯托。;迪诺夫,I.D。
相关软件: SOCR公司
主要字段: 统计学(62-XX)

VaxiJen公司

引用于3份文件(2009–2017)
软件作者: Doytchinova,I.A。;D.R.弗劳尔。
相关软件: I-TASSER;欧洲公共图书馆;SVM-Prot…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

语音识别

在0个文档中引用
软件作者: 莫滕·杰丁(Morten Gjerding)、托比约恩·斯科夫斯(Thorbjórn Skovhus)、阿斯比约恩·拉斯穆森(Asbjörn Rasmussen)、费比安·贝托尔多(Fabian Bertoldo)、阿斯克·霍尔特·拉森(Ask Hjorth Larsen)、延斯·约根·莫滕森(Jens J
相关软件: 脓毒原;原子化;FireWorks…
主要字段:

数据仓库

在0个文档中引用
软件作者: Halchenko等人。
相关软件: 蟒蛇;FitLins;BIDS应用程序…
主要字段:

DfAnalyzer

1份文件引用(2021)
软件作者: 维托·席尔瓦;维尼修斯·坎波斯;泰伦·盖德斯(Thaylon Guedes);何塞·卡马塔;丹尼尔·德·奥利维拉(Daniel de Oliveira);Alvaro L.G.A.Coutinho;帕特里克·瓦杜里兹(Patrick Valduriez);马尔塔·马托索
相关软件: libMesh;FEniCS;ParaView…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);生物学和其他自然科学(92-XX)

数据工具AI

1份文件引用(2023年)
软件作者: 马修·哈特利;特杰尔瓦尔S.G.奥尔森
相关软件: MNIST;OpenLORIS公司;流-51…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

golubEsets公司

2份文件引用(2008–2019)
软件作者: T·格鲁布。
相关软件: 弹弓;seqLogo;烤饼…
主要字段: 统计学(62-XX)

卡斯科

在0个文档中引用
软件作者: Joana M.F.da Trindade、Konstantinos Karanasos、Carlo Curino、Samuel Madden、Julian Shun
相关软件: 利格拉;图形框架;WebGraph…
主要字段:

Quantum Mobile公司

1份文件引用(2022)
软件作者: 克里斯·苏厄尔(Chris Sewell)、乔瓦尼·皮齐(Giovanni Pizzi)、利奥波德·塔利尔茨(Leopold Talirz)
相关软件: 量子浓缩咖啡;维斯塔3;CMake…
主要字段: 组合数学(05-XX);量子理论(81-XX);统计力学,物质结构(82-XX)…

科学物理

在0个文档中引用
软件作者: K.A.OcañA、D.D.Oliveira、E.Ogasawara、A.M.Davila、A.A.Lima、M.Mattoso
相关软件: 塔维纳;Docker;WEP…
主要字段:

切换器

1份文件引用(2019)
软件作者: 加布里埃尔·贝克尔
相关软件: R;代码依赖;摇杆…
主要字段: 统计学(62-XX)

ACCESSPROV公司

1份文件引用(2020)
软件作者: Capobianco,F。;斯卡尔卡,C。;Jaeger,T。
相关软件: 导线;PQL公司
主要字段: 计算机科学(68-XX)

AIQL公司

在0个文档中引用
软件作者: 高平、肖欣、李忠、徐福、库尔卡尼S.R.、米塔尔P。
相关软件: 弹性搜索;NoDoze;SAQL…
主要字段:

区域DB

在0个文档中引用
软件作者: 斯蒂芬·埃尔曼(Steffen Ehrmann)、拉尔夫·塞佩尔特(Ralf Seppelt)、卡斯滕·梅耶(Carsten Meyer)
相关软件: 高温气冷堆;将死;tidyverse…
主要字段:

大调试

在0个文档中引用
软件作者: Gulzar,M.A.,Interlandi,M.,Yoo,S.,Tetali,S.D.,Condie,T.,Millstein,T.D.,Kim,M
相关软件: ThermalPlot;HAMA;嫁接…
主要字段: 计算机科学(68-XX)

生物工作台

在0个文档中引用
软件作者: 玛丽亚·路易莎·蒙德利、蒂亚戈·马加莱斯、吉尔赫梅·洛斯、迈克尔·王尔德、伊恩·福斯特、玛塔·马托佐、丹尼尔·卡茨、赫利奥·J.C.巴博萨、安娜·特雷扎·R·瓦斯康塞洛斯、卡里·奥卡尼亚、小路易斯·加德哈
相关软件: 塔维纳;Docker;WEP…
主要字段:

gcam数据

在0个文档中引用
软件作者: 本·邦德·兰贝蒂(Ben Bond-Lamberty)、卡琳·多海姆(Kalyn Dorheim)、雷娜·崔(Ryna Cui)、罗素·霍洛维茨(Russell Horowitz)、阿比盖尔·斯奈德(Abigail Snyder)、凯瑟琳·卡尔文(Katherine Calvin)、乐扬·冯(Leyang Feng)、雷切尔·霍斯利(Rachel Hoesly)、吉尔·霍林(Jill Horing)、G.Page Kyle、罗伯特·林克(Robert Link)、普拉特·帕特尔(Pralit Patel)、克里斯托弗·罗尼(Christopher Roney)、亚伦·斯坦尼舍夫斯基(Aaron Staniszewski,史蒂文·史密斯、斯蒂芬妮·沃尔多夫、马歇尔·怀斯、莱昂·克拉克
相关软件: R(右)
主要字段:

GrAALF公司

在0个文档中引用
软件作者: Omid Setayeshfar、Christian Adkins、Matthew Jones、Kyu Hyung Lee、Prashant Doshi
相关软件: 弹性搜索;NoDoze;AIQL…
主要字段:

科马杜

在0个文档中引用
软件作者: Suriarachchi,I.,Zhou,Q.,Plale,B。
相关软件: 轴2;兔MQ;行星实验室…
主要字段:

NoDoze公司

在0个文档中引用
软件作者: Wajih Ul Hassan、Guo Shengjian、Ding Li、Zhengzhang Chen、Kangkok Jee、Zhichun Li、Adam Bates
相关软件: 弹性搜索;AIQL;SAQL…
主要字段:

无工作流

在0个文档中引用
软件作者: Pimentel J.F.、Murta L.、Braganholo V.、Freire J。
相关软件: ParaView;libMesh;FEniCS…
主要字段:

Prov工具箱

在0个文档中引用
软件作者: 吕克·莫罗
相关软件: 轴2;兔MQ;行星实验室…
主要字段:

剃刀

1份文件引用(2015)
软件作者: 萨勒曼·萨加菲;丹尼尔·道尔蒂
相关软件: 迷你卫星;iProver;iProver-Eq…
主要字段: 计算机科学(68-XX)

RCE公司

在0个文档中引用
软件作者: Brigitte Boden、Jan Flink、Niklas Först、Robert Mischke、Kathrin Schaffert、Alexander Weinert、Annika Wohlan、Andreas Schreiber
相关软件: 达科塔;KNIME;Apache NiFi…
主要字段:

RDataTracker(数据跟踪器)

在0个文档中引用
软件作者: 勒纳(Lerner,B.)、博斯(Boose,E.)、佩雷斯(Perez,L.)。
相关软件: 格拉夫维兹;生存;目标…
主要字段:

SAVANT公司

在0个文档中引用
软件作者: D.奥斯·科伊莱恩(D.Oh Coileáin)、D.奥马霍尼(D.O'Mahony)
相关软件: NDN编号。JS;ChronoChat;github
主要字段:

跟踪程序

1份文件引用(2019)
软件作者: 加布里埃尔·贝克尔;萨拉·摩尔(Sara E.Moore)。;迈克尔·劳伦斯
相关软件: knitr;VisTrails;rlang…
主要字段: 统计学(62-XX)

Triboo公司

在0个文档中引用
软件作者: 亚当·波科克
相关软件: liblinear-java;瓦姆萨;LIBLINEAR…
主要字段:

域拔沙

在0个文档中引用
软件作者: Mohammad Hossein Namaki、Avrilia Floratou、Fotis Psallidas、Subru Krishnan、Ashvin Agrawal、Yinghui Wu、Yiwen Zhu、Markus Weimer
相关软件: 论坛;liblinear java;LIBLINEAR…
主要字段:

起源

在0个文档中引用
软件作者: 彼得·弗梅施
相关软件:
主要字段:

记录器

在0个文档中引用
软件作者: 彼得·斯劳特、马修·琼斯、克里斯·琼斯、劳伦·帕尔默
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件