×

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

Uppaal公司

568份文件引用(1990–2023)
软件作者: 瑞典乌普萨拉大学;丹麦奥尔堡大学
相关软件: 克罗诺斯;高科技;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

信号

51篇文献引用(1987年-2020年)
软件作者: 大卫·诺瓦克;让-皮埃尔·塔尔平;蒂埃里·戈蒂埃;保罗·勒格尔尼克
相关软件: 卢斯特;埃斯特尔;托勒密…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

Uppaal2k公司

38篇文献引用(2000–2017)
软件作者: Kim G.Larsen、Wang Yi、Paul Pettersson、Alexandre David、Brian Nielsen、Arne Skou、John Håkansson、Jacob Illum Rasmussen、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin
相关软件: Uppaal;克罗诺斯;高科技…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

BraMBLe公司

6篇文献引用(2006年-2014年)
软件作者: Isard,M.和MacCormick,J。
相关软件: Pfinder;阿达·布斯特。MH;OTCBVS…
主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

群组工具包

2份文件引用(2003–2009)
软件作者: 罗斯曼M。;格林伯格S。
相关软件: 脱咖啡因咖啡;PlanEdit;克莱姆…
主要字段: 数学逻辑与基础(03-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)

TEXPLORE公司

10篇文献引用(2013年-2023年)
软件作者: 托德·海丝特
相关软件: AlphaZero;DDDAS;EnKF…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);运筹学,数学编程(90-XX)…

RT-ASLAN公司

3份文件引用(1994–2002)
软件作者: 奥尔海默B,凯默R A。
相关软件: 酯类;Ada95;ASTRAL公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

休谟

3份文件引用(2007–2011)
软件作者: 哈蒙德,K.,迈克尔森,G。
相关软件: 旋风;Cedalion;JastAdd…
主要字段: 计算机科学(68-XX)

MarCaSPiS公司

5份文件引用(2009–2015)
软件作者: 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克
相关软件: 奶牛;MoDeST;克莱姆…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

路径帕斯卡

4份文件引用(1986–1997)
软件作者: 罗伯特·B·科尔斯塔德(Robert B Kolstad);罗伊·H·坎贝尔
相关软件: 舒适的;PAL-11A;Ada95…
主要字段: 计算机科学(68-XX)

vbd广播

4份文件引用(2018–2023)
软件作者: Leah R.Johnson。;Gramacy,罗伯特·B。;杰里米·科恩(Jeremy Cohen);艾琳·末底改;默多克,考特尼;杰森·罗尔(Jason Rohr);萨迪·J·瑞安。;安娜·M·斯图尔特·伊巴拉。;丹尼尔·威克尔
相关软件: laGP;fpp2;经验丰富…
主要字段: 欧氏空间(42-XX)的调和分析;概率论与随机过程(60-XX);统计学(62-XX)…

BALTRAD公司

在0个文档中引用
软件作者: Michelson,D,Henja,A,Ernes,S,Haase,G,Koistinen,J,O ssiródka,K,Peltonen,T,Szewczykowski,M,Szturc
相关软件: wradlib;蟒蛇;Py-ART…
主要字段:

DYFRAT公司

3份文件引用(2020–2022)
软件作者: 加尔卡尼A,伦巴第L
相关软件: 贝塔雷格;glmmTMB;irtrees…
主要字段: 统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

真实92

2份文件引用(1993–2002)
软件作者: Nepomnyashij,V。;希洛夫,N。
相关软件: 自旋蛋白;IF-2.0型
主要字段: 计算机科学(68-XX)

VERSA公司

3份文件引用(1997–2022)
软件作者: D.克拉克、I.李、H.l.谢
相关软件: Uppaal;西尔文;M-TREE…
主要字段: 计算机科学(68-XX)

黑色-DEM

2份文件引用(2014–2017)
软件作者: 尼科林·戈文德
相关软件: CUDA公司
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

ESPADON公司

2份文件引用(2003–2006)
软件作者: 鲍勃·K·马达哈尔。;艾恩·阿尔斯通(Ian D.Alston)。;丹尼斯·奥拉格尼尔;汉斯·舒勒;马克·托马斯(Mark Thomas);萨吉特,布丽吉特
相关软件: 锡林克斯
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

LPMD公司

2份文件引用(2010–2021)
软件作者: 塞尔吉奥·戴维斯;洛约拉,克劳迪娅;费利佩·冈萨雷斯(Felipe Gonz'alez);佩拉塔,约阿库
相关软件: DL_POLY_3;发霉
主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)

开放率SLAM

1份文件引用(2019)
软件作者: 鲍尔·D。;希思,S。;威尔斯,J。;惠氏,G。;科克,P。;米尔福德,M。
相关软件: 亚当;DTAM;SeqSLAM…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;对照(93-XX)

RCPCP公司

2份文件引用(2003–2009)
软件作者: 吴军;Kuo,Tei Wei;徐志文
相关软件:
主要字段: 计算机科学(68-XX)

TiViPE公司

1份文件引用(2007)
软件作者: 蒂诺·卢伦斯
相关软件: 玛丽亚斯;SndObj;康塔塔…
主要字段: 生物学和其他自然科学(92-XX)

密集聚变

在0个文档中引用
软件作者: 陈旺、徐丹飞、朱玉科、罗伯特·马丁·马汀、卢策武、李菲菲、西尔维奥·萨瓦雷斯
相关软件: VoxelNet;深度上下文;PPF网…
主要字段:

sgolayflt公司

在0个文档中引用
软件作者: 里卡多·贾迪姆;F.莫尔加多·迪亚斯
相关软件: 服务提供商;光栅;RStoolbox…
主要字段:

Wave2Vec(波2Vec)

在0个文档中引用
软件作者: Kim S.、Kim J.、Chun H.-W。
相关软件: 朱庇特;JavaScript;TensorFlow…
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段