×

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

生物赛顿

软件作者:考克,P.J.A。;安涛,T。;张杰。;查普曼学士。;考克斯·C·J。;达尔克,A。;弗里德伯格,I。;哈梅利克,T。;考夫,F。;威尔钦斯基,B。;德勋,M.J。
参考文献: 7种出版物(2009-2019)
相关软件: 蟒蛇;bioperl公司;生物爪哇;树突;TRANSFAC公司;UniProt…
主要领域: 一般性和全局性主题;收款(00-XX);数理逻辑与基础(03-XX);统计(62-XX)

sCASP公司

软件作者:华金·阿里亚斯、曼努埃尔·卡罗、埃尔默·萨拉扎、凯尔·马普尔、戈帕尔·古普塔
参考文献: 10种出版物(2018-2022)
相关软件: 保鲜膜;喘息;ezcsp公司;小队;斯坦福德科伦普;DLV-EX…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX);生物学和其他自然科学(92-XX)

海狮

软件作者:Johannes Oetsch,Jörg Pührer,Hans Tompits
参考文献: 7种出版物(2012-2019)
相关软件: 阿斯匹德;卡拉;猿类;斯波克;阿斯匹兹;黄蜂…
主要领域: 一般性和全局性主题;收款(00-XX);计算机科学(68-XX);数学教育(97-XX)

JSetL公司

软件作者:Andrea Fois,Gianfranco Rossi,Elisabetta Poleo等人
参考文献: 4种出版物(2009-2021)
相关软件: 集合;问题;微量锌;Z轴;通用电气代码;雅可…
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX)

森林

软件作者:罗伯特·S·史密斯、迈克尔·J·柯蒂斯、威廉·J·曾
参考文献: 4种出版物(2019-2022)
相关软件: 调皮工;利基;项目Q;蟒蛇;ScaffCC公司;QPL…
主要领域: 数理逻辑与基础(03-XX);代数几何(14-XX);差分与函数方程(39-XX)

JSAI公司

软件作者:维尼思·卡希亚普、凯尔·杜威、伊桑·A·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉奇诺、本·维德曼、本·哈德科夫
参考文献: 4种出版物(2017-2021)
相关软件: JavaScript;Phantm公司;诺恩;Node.js;ast;把关人…
主要领域: 计算机科学(68-XX);运筹学,数学规划(90-XX)

PFLP公司

软件作者:桑德拉·迪卢斯、简·克里斯蒂安森、芬恩·蒂根
参考文献: 3种出版物(2020-2022)
相关软件: 轻松检查;CHR.js;因式分解;帕克斯;教堂;无糖咖喱…
主要领域: 计算机科学(68-XX)

代码2seq

软件作者:尤里·阿隆、沙克·布罗迪、奥马尔·利维、伊兰·亚哈夫
参考文献: 0个出版物
相关软件: 蟒蛇;科德伯特;秃鹫;罗伯塔;fairseq公司;阿伦利普…
主要领域:

纽皮罗

软件作者:杜潘、尼拉吉·普拉丹、马丁·扬科维亚克
参考文献: 1次出版(2021年)
相关软件: JAX;PyMC公司;张量流;UCI毫升;皮斯坦;爱德华2…
主要领域: 博弈论、经济学、金融学和其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)

欧芹

软件作者:亚杜·巴布吉、安娜·伍德、李卓钊、丹尼尔·S·卡茨、本·克利福德、罗汉·库马尔、卢卡斯·拉辛斯基、瑞安·查德、贾斯汀·M·沃兹尼亚克、伊恩·福斯特、迈克尔·王尔德、凯尔·查德
参考文献: 0个出版物
相关软件: 蟒蛇;达斯克;煤油;皮康普斯;零MQ;张量流…
主要领域:

亲笔签名

软件作者:丹•摩尔多瓦,詹姆斯•M•德克尔,王菲,安德鲁•A•约翰逊,布莱恩•K•李,扎卡里•纳多,D•斯库利,蒂亚克•罗姆普夫,亚历山大•B•威尔施科
参考文献: 0个出版物
相关软件: MXNet公司;ONNX公司;Pythorch公司;张量流;十四行诗;OpenAI健身房…
主要领域:

校样板

软件作者:Caleb Eggensperger公司
参考文献: 出版1期(2018年)
相关软件: ACL2;德古拉;DrJava公司;dr方案
主要领域: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

塞克

软件作者:大卫·因萨、塞尔吉奥·佩雷斯、约瑟夫·席尔瓦、萨尔瓦多·塔马里特
参考文献: 出版1期(2018年)
相关软件: 急促地;适当的;更可爱;红虫;二郎;打字机…
主要领域: 计算机科学(68-XX)

运河

软件作者:宋春霞、保尔森、王超
参考文献: 0个出版物
相关软件: 螃蟹llvm;克莱;薄片;CacheSim;gem5
主要领域:

dypro公司

软件作者:王珂
参考文献: 0个出版物
相关软件: DeepFix公司;斯基普;MOOC公司;照片
主要领域:

易接触面

软件作者:杰斯·多梅内克、萨米尔·杰纳姆、埃纳尔·布罗克·约翰森、鲁道夫·施拉特
参考文献: 0个出版物
相关软件: jsTree公司;jQuery;动态图
主要领域:

JuliaConnectoR公司

软件作者:Stefan Lenz,Harald Binder
参考文献: 0个出版物
相关软件: 拉贾瓦;rTorch公司;不同流量;Pythorch公司;朱利亚卡尔;亚当…
主要领域:

mPyPl公司

软件作者:德米特里·索什尼科夫,亚娜·瓦利耶娃
参考文献: 0个出版物
相关软件: 管道;霍洛沃德;阿帕奇火花;煤油;熊猫;蟒蛇
主要领域:

程序

软件作者:克里斯·康明斯,扎迦利亚·V·费什,塔尔·本·努恩,托尔斯滕·霍夫勒,休·皮革
参考文献: 0个出版物
相关软件: 亚当;XLA公司;张量流;LLVM;神经载体;代码2VEC
主要领域:

PyCG公司

软件作者:Vitalis Salis、Thodoris Sotiropoulos、Panos Louridas、Diomidis Spinellis、Dimitris Mitropoulos
参考文献: 0个出版物
相关软件: ast;看门人;滑膜;法官;瓦拉;Node.js…
主要领域:

单点系泊

软件作者:Sumith Kulal、Panupong Pasupat、Kartik Chandra、Mina Lee、Oded Padon、Alex Aiken、Percy Liang
参考文献: 0个出版物
相关软件: 国家质检总局;椰子壳;葡萄园;偏差;米西姆;布格拉姆…
主要领域:

TryLinks公司

软件作者:吴俊奥,阿雷克·米科拉扎克,詹姆斯·切尼
参考文献: 0个出版物
相关软件: Pindom工具;角镖;链接
主要领域:

雅普

软件作者:纪尧姆·鲍达特、马丁·赫泽尔、基兰·凯特、路易斯·曼德尔、阿夫拉罕·辛纳
参考文献: 0个出版物
相关软件: 烟火;切线;裸体;PyMC公司;朱庇特;Matplotlib…
主要领域:

吉莉安

软件作者:何塞·弗拉戈索·桑托斯、佩塔·马克西莫维奇、萨查·埃莉·阿尤恩、菲利普·加德纳
参考文献: 0个出版物
相关软件:
主要领域:

粘液

软件作者:雅克·卡莱特,布鲁克斯·麦克拉克兰,W·斯宾塞·史密斯
参考文献: 0个出版物
相关软件:
主要领域:

tfp.mcmc公司

软件作者:劳俊鹏,克里斯托弗·苏特,伊恩·兰格莫尔,西里尔·奇米索夫,阿希什·萨克森,帕维尔·索恩佐夫,戴夫·摩尔,里夫·A·索鲁斯,马修·D·霍夫曼,约书亚·V·狄龙
参考文献: 0个出版物
相关软件:
主要领域: