×

找到70个软件包(结果1–70)

棱镜

498份文件引用(2001–2023)
软件作者: 奎亚特科夫斯卡,玛尔塔;格钦·诺曼;大卫·帕克
相关软件: MRMC;风暴;Uppaal…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

MRMC公司

71篇文献引用(2006年-2023年)
软件作者: Joost-Pieter Katoen;亚琛工业大学
相关软件: 棱镜;Uppaal;CADP…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

ParEGO公司

66份文件引用(2005年-2023年)
软件作者: 约书亚·诺尔斯;埃文·休斯。
相关软件: EGO;MOEA/D;SPEA2…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

POMDPS公司

40篇文献引用(1998年-2023年)
软件作者: 罗斯,S。;Pineau,J。;帕克特,S。;Chaib-Draa,B。
相关软件: 目的地;PRMLT;EGO…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

SINTEF公司

40篇文献引用(2007–2023)
软件作者: Hasle,Geir(编辑);Lie,Knut-Andreas(编辑);Ewald Quak(编辑)
相关软件: Matlab;VRP;FEniCS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

R-最大

35篇文献引用(2002–2021)
软件作者: 罗恩·布拉夫曼(Ronen I.Brafman)。;莫舍·坦尼霍尔茨
相关软件: 棒极了;AlexNet;ImageNet…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

POMDP公司

30篇文献引用(2001–2023)
软件作者: 安东尼·卡桑德拉。
相关软件: 棱镜;风暴;古罗比…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

AFRYCA公司

25篇文献引用(2015–2024)
软件作者: 阿尔瓦罗·拉布拉;弗朗西斯科·埃斯特雷拉(Francisco J.Estrella);路易斯·马丁内斯
相关软件: 燧石;右旋糖酐;核仁…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

LiQuor公司

引用于19份文件(2007–2019)
软件作者:
相关软件: 棱镜;MRMC;拉比尼泽…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

FAUST2型

17篇文献引用(2017年-2023年)
软件作者: S.Esmaeil Zadeh Soudjani、C.Gevaerts、A.Abate
相关软件: 棱镜;斯托克海;SReachTools…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

iscas-Mc公司

在11份文件中引用(2016–2023)
软件作者: Hahn,E.M.、Li,Y.、Schewe,S.、Turrini,A.、Zhang,L。
相关软件: 棱镜;风暴;Uppaal…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

硬盘驱动器

10篇文献引用(2017–2022)
软件作者: Thomas V.Wiecki、Imri Sofer、Michael J.Frank
相关软件: 快速-dm;R;DMAT…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

氟氯化钙

在11份文件中引用(2006–2021)
软件作者: Hölldobler,S。;卡拉巴耶夫,E。;O.斯科沃尔佐娃。
相关软件: FODD-计划;ProbLog;CCalc…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

图形转换基准

4份文件引用(2006–2010)
软件作者: G.Varró,A.Schürr,D.Varrö
相关软件: 进度;VIATRA2;福贾巴语…
主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)

TEXPLORE公司

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

StochPy公司

9份文件引用(2017–2022)
软件作者: Maarleveld,T.R。;奥利维尔,B.G。;F.J.布鲁格曼。
相关软件: BioNetGen;工具箱2;COPASI…
主要字段: 常微分方程(34-XX);近似和展开(41-XX);概率论与随机过程(60-XX)…

OMAC公司

9份文件引用(1997–2010)
软件作者: Kenneth N.McKay。;大卫·B·克莱特(David B.Kletter)。;斯蒂芬·格雷夫斯(Stephen C.Graves)。
相关软件:
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX);信息与通信理论,电路(94-XX)

AMYTISS公司

8份文件引用(2020–2023)
软件作者: 拉瓦伊(Lavaei),阿波法兹尔(Abolfazl);哈立德,马哈茂德;苏德贾尼,萨代格;马吉德·扎马尼
相关软件: SReachTools;ProbReach;棱镜…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

IMOST公司

8份文件引用(1995–2009)
软件作者: 赖,Young-Jou
相关软件: 术语
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

iNN调查

4份文件引用(2019–2021)
软件作者: 马克西米利安·阿尔伯(Maximilian Alber)、塞巴斯蒂安·拉普什金(Sebastian Lapuschkin)、菲利普·西格勒(Philipp Seegerer)、米里亚姆·哈格尔(Miriam Hägele)、克里斯托夫·舒特(Kristof T.Schütt)、格里戈伊尔·蒙塔文(Grégoire Montavon)、沃西奇·萨梅克(Wojciech Samek)、
相关软件: TensorFlow;Captum;不在场证明…
主要字段: 计算机科学(68-XX);可变形固体力学(74-XX);量子理论(81-XX)

MoChiBA公司

7份文件引用(2017年-2023年)
软件作者: 所罗门·西克特;简·Křetínsk
相关软件: 棱镜;猫头鹰;SPOT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

狂喜

7份文件引用(2005–2020)
软件作者: Jeannet B、dArgenio P、Larsen K
相关软件: 棱镜;参数;PROPhESY…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

阿普特

5份文件引用(2017–2018)
软件作者: V.雪娃;David Baelde、Stephanie Delaune、Lucca Hirschi
相关软件: 阿克斯;塔马林;AVISPA…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

DiPro公司

4份文件引用(2014–2023)
软件作者: 侯赛因·阿尔贾扎尔(Husain Aljazzar)、弗洛里安·雷特纳·费舍尔(Florian Leitner-Fischer)、斯特凡·洛伊(Stefan Leue)、迪米塔尔·西梅诺夫(Dimitar Simeonov)
相关软件: 棱镜;漫画;z3…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

POMDP公司

4份文件引用(2020–2023)
软件作者: 马克西姆·埃戈罗夫;Sunberg,Zachary N。;爱德华·巴拉班(Edward Balaban);蒂姆·惠勒(Tim A.Wheeler)。;贾耶什·古普塔。;Mykel J.Kochenderfer。
相关软件: 朱莉娅;OpenAI健身房;GitHub…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX);系统论;控制(93-XX)

QUASY公司

6篇文献引用(2011–2021)
软件作者: 克里希南多·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;巴巴拉·乔布斯曼(Barbara Jobstmann);罗希特·辛格
相关软件: 棱镜;摩卡;PRISM-games…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

埃科勒

3份文件引用(2021–2023)
软件作者: Antoine Prouvost、Justin Dumouchelle、Maxime Gasse、Didier Chételat、Andrea Lodi
相关软件: MIPLIB公司;PyTorch;古罗比…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX)

哈瓦那

5份文件引用(2010年-2023年)
软件作者: Hollund K、Mostad P、Fredrik Nielsen B、Holden L、Gjerde J、Grazia Contursi M、McCann AJ、Townsend C、Sverdrup E
相关软件: SGeMS;Roxar RMS;AlexNet…
主要字段: 组合数学(05-XX);计算机科学(68-XX);地球物理学(86-XX)

HIBITS公司

5份文件引用(2018–2023)
软件作者: 高,徐;沙巴巴,巴巴克;埃尔南多·奥姆巴奥
相关软件: 提示;astsa;EEGLAB…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX)

后勤局域网

5份文件引用(1985–2020)
软件作者: 安东尼·克雷茨马尔(Antoni Kreczmar);安德烈·索尔维基(Andrzej Salwicki);马雷克·沃佩霍夫斯基
相关软件: Simula 67;贝塔
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

涡轮增压器1

5份文件引用(2013年至2018年)
软件作者: S.V.Fortova、L.M.Kraginskii、A.V.Chikitkin、E.I.Oparina
相关软件: 涡轮
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

MDP工具箱

3份文件引用(2017年-2023年)
软件作者: I.Chadès、G.Chapron、M.J.Cros、F.Garcia、R.Sabbadin
相关软件: MARCA;HyperStar;J阶段…
主要字段: 概率论与随机过程(60-XX);运筹学,数学编程(90-XX);系统论;控制(93-XX)

SDSM公司

2份文件引用(2012–2019)
软件作者:
相关软件:
主要字段: 统计学(62-XX);运筹学,数学编程(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

绝对的

3份文件引用(2004–2006)
软件作者: M.Bichler、J.Lee、H.S.Lee和J.-Y.Chung
相关软件:
主要字段: 运筹学,数学编程(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

CAMOS公司

3份文件引用(1996–2002)
软件作者: A.奥西茨卡。
相关软件: SPOT;三角形;Gstat…
主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

电子商务设备

3份文件引用(2002–2019)
软件作者: 碱液,S.W。;Lee,S.G。;科奥,M.K。
相关软件: NBI;MatWeb(马特网)
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

电气III

2份文件引用(2021–2023)
软件作者: Ezbakhe,Fatine;阿古斯蒂·佩雷斯·福盖特
相关软件: 定义;BENSOLVE公司;DESDEO…
主要字段: 运筹学,数学编程(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

FieldOpt(字段选项)

3份文件引用(2021–2022)
软件作者: 鲍曼,EJ;Dale,SI;钟表,MC
相关软件: EnKF;日食;雷姆瑟…
主要字段: 计算机科学(68-XX);地球物理学(86-XX);运筹学、数学规划(90-XX)

犹豫不决

1份文件引用(2023)
软件作者: Devin Incerti;杰罗恩·詹森
相关软件: 希莫德;BCEA;R、 …
主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX)

捕鼠器

2份文件引用(2018)
软件作者: Kieslich,P.J。;亨尼格尔,F。
相关软件: 鼠标跟踪器;KFAS;ggmcmc…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)

RO模型

3份文件引用(2022)
软件作者: Johannes Wiebe;露丝·米塞纳
相关软件: ROC++;PyROS;RSOME…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

比西姆区

1份文件引用(2021)
软件作者: 乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森(Kim Guldstrand Larsen);拉杜·马尔代尔
相关软件: prob-black-reach;N模型;棱镜…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

DaProS公司

在0个文档中引用
软件作者: 加列戈斯一世、盖茨A、特威迪C
相关软件: MARTE公司;HERBY;UML秒…
主要字段:

迪达森++

2份文件引用(1999–2015)
软件作者: Andrzej P.维尔兹比奇。;贾努斯·格拉纳特
相关软件: GAMS;CAMOS公司
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

功能观察员

2份文件引用(2019–2020)
软件作者: 哈桑·金格雷夫(Hassan A.Kingravi)、哈沙尔·马斯克(Harshal Maske)、吉里什·乔达里(Girish Chowdhary)
相关软件: odmd;PRMLT;GitHub…
主要字段: 功能分析(46-XX);可变形固体力学(74-XX);流体力学(76-XX)

iGrafx公司

2份文件引用(2006–2015)
软件作者: iGrafx有限责任公司。
相关软件: C++Builder;BPSim++;成本…
主要字段: 运筹学,数学编程(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

国际MOLPE

2份文件引用(2016)
软件作者: 卡洛斯·亨格勒·安图内斯;玛丽亚·乔·阿尔维斯;乔安·克里马科
相关软件: WINPRE;WINGDSS;可视化UTA…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX)

jMarkov公司

1份文件引用(2017)
软件作者: 胡安·佩雷斯(Juan F.Pérez);丹尼尔·席尔瓦(Daniel F.Silva);朱利奥·哥伊斯(Julio C.Góez);安德烈斯·萨米恩托;安德烈斯·萨米恩托·罗梅罗;Raha Akhavan-Tabatabaei;热尔曼·里阿尼奥
相关软件: MARCA;HyperStar;J阶段…
主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX)

MCDA公司

2份文件引用(2021–2022)
软件作者: Patrick Meyer、Sébastien Bigaret、Richard Hodgett、Alexandru Liviu Olteanu
相关软件: diviz;D-Sight;TOPSIS…
主要字段: 运筹学,数学编程(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

多重增益

2份文件引用(2016–2017)
软件作者: 托马斯·布拉兹迪尔;克里希南德·查特吉;Forejt,Vojtěch;公司;安东·库切拉
相关软件: 棱镜;鹰;TuLiP…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

NucPosPred(数字位置预测)

2份文件引用(2018–2019)
软件作者: 贾、苍之;杨青;邹全(音)
相关软件: pSumo-CD;Prnam-PC;2L-piRNA…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

综合分析师

1份文件引用(2013)
软件作者: Megaputer Intelligence公司。
相关软件: QL2;SAS TextMiner;GeneSight…
主要字段: 统计学(62-XX);计算机科学(68-XX)

PyMDP工具箱

1份文件引用(2017)
软件作者: S.Cordwell公司
相关软件: MARCA;HyperStar;J阶段…
主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX)

最小二乘法

在0个文档中引用
软件作者: 杰里米·耶伊
相关软件: R;DiceOptim;DiceKriging…
主要字段:

的里雅斯特

2份文件引用(2023)
软件作者: 维克多·皮奇尼、乔尔·伯克利、亨利·莫斯、赫沃杰·斯托伊奇、乌里·格兰塔、塞巴斯蒂安·奥贝尔、阿尔特姆·阿特梅夫、库拉姆·加尼、亚历山大·古道尔、安德烈·帕莱耶斯、萨塔尔·瓦基利、塞尔吉奥·帕斯科尔·迪亚兹、斯特拉蒂斯·马库、吉祥青、纳斯鲁洛·罗卡、伊沃·库伊特
相关软件: EGO;中银国际;PSwarm…
主要字段: 统计学(62-XX);运筹学、数学规划(90-XX)

小子

1份文件引用(2017)
软件作者:
相关软件:
主要字段: 统计学(62-XX)

呼啸声

1份文件引用(2022)
软件作者: 哈特维尔,J。;盖博,MM;阿扎德,RMA
相关软件: 在树中;形状;XGBoost…
主要字段: 计算机科学(68-XX)

鸸鹋

在0个文档中引用
软件作者: Andrei Paleyes、Mark Pullin、Maren Mahsereci、Cliff McCollum、Neil D.Lawrence、Javier Gonzalez
相关软件: 数字Py;角落.py;GPry…
主要字段:

绒毛糖基

1份文件引用(2020)
软件作者: 爱德华多·阿维拉尔;奥斯卡·卡斯蒂略;何塞·索里亚
相关软件: 倍频程模糊逻辑工具包;蟒蛇
主要字段: 计算机科学(68-XX)

G-TIME公司

1份文件引用(2006)
软件作者: 阿卡迪Kryazhimskii;奥列格·尼科诺夫;雅罗斯拉夫·米努林
相关软件:
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX)

葡萄接收

1份文件引用(2020)
软件作者: 兹比格涅夫·帕尔莫夫斯基;亚历克桑德拉·西多罗维奇
相关软件: github
主要字段: 运筹学、数学规划(90-XX)

iDiff(iDiff)

1份文件引用(2001)
软件作者: 苏尼塔·萨拉瓦吉
相关软件: DB2;MS SQL Server;甲骨文公司
主要字段: 计算机科学(68-XX)

吉梅纳

1份文件引用(2018)
软件作者: Karl S、Dandekar T
相关软件: 动态记录仪;gplots;否定…
主要字段: 生物学和其他自然科学(92-XX)

狮子森林

1份文件引用(2022)
软件作者: Ioannis Mollas;尼克·巴西利亚德斯(Nick Bassiliades);格里戈里奥斯·祖马卡斯
相关软件: 在树中;形状;XGBoost…
主要字段: 计算机科学(68-XX)

使其合理化

1份文件引用(2016)
软件作者: 使其合理化
相关软件: WINPRE;WINGDSS;视觉UTA…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX)

姆博塞

在0个文档中引用
软件作者: Yukinobu Hamuro;中本正明;张思敏(Stephane Cheung);爱德华·叶
相关软件: bst;红宝石;推车…
主要字段:

1000人

1份文件引用(2016)
软件作者: 保罗·汉森(Paul Hansen)、弗兰兹·奥姆布勒(Franz Ombler)
相关软件: WINPRE;WINGDSS;视觉UTA…
主要字段: 总体主题;藏品(00-XX);运筹学、数学规划(90-XX)

平地导弹

在0个文档中引用
软件作者: Conor Heins;贝伦·米利奇;达芙妮·德梅卡斯(Daphne Demekas);布伦南·克莱恩(Brennan Klein);卡尔·弗里斯顿;伊恩·D·库赞(Iain D.Couzin);亚历山大·茨昌茨
相关软件: 福尼实验室;Matlab;SPM…
主要字段:

皮姆格里德

在0个文档中引用
软件作者: Gonzague Henri、Tanguy Levent、Avishai Halev、Reda Alami、Philippe Cordier
相关软件: 微电网;微网格RL模拟器;OpenAI健身房…
主要字段:

XPOMCP公司

1份文件引用(2023)
软件作者: 朱利奥·马齐;阿尔贝托·卡斯泰里尼;亚历山德罗·法利内利
相关软件: REBA;字母零;IsolationForest…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件