克罗诺斯 246篇文献引用(1997–2022) 软件作者: Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件: Uppaal;高科技;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
MPT公司 255篇文献引用(2004–2023) 软件作者: M.Kvasnica;P.Grieder;M.Baoti;苏黎世联邦理工大学;弗朗西斯科·博雷利 相关软件: YALMIP;CPLEX;Matlab… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
应用程序 108篇文献引用(2002–2023) 软件作者: 罗伯托·巴格纳拉;利玛窦(Elisa Ricci);埃纳州扎法内拉;帕特里夏·M·希尔。 相关软件: 高科技;停机坪;ASTREE… 主要字段: 数学逻辑与基础(03-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
普林斯 104篇文献引用(2012–2023) 软件作者: 朱莉娅·博格霍夫(Julia Borghoff);安妮·坎特;G“uneysu,Tim;Kavun,Elif Bilge;Knezevic,Miroslaf;Knudsen,Lars R.;Leander,Gregor;Nikov,Ventzislav;Paar,Christof;Rechberger,Christian;Rombouts,Peter;Thomsen,S{o} 任美国。;雅克{c}{i} n个、托尔加 相关软件: 出席;西蒙;短笛… 主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…
Pfinder(查找器) 33篇文献引用(2000–2023) 软件作者: 雷恩,C.R。;阿扎尔巴耶贾尼,A。;Darrell,T。;Pentland,A。 相关软件: BraMBLe公司;SIFT;扫描… 主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);计算机科学(68-XX)…
OSQP公司 49份文件中引用(2018–2024) 软件作者: Bartolomeo Stellato、Goran Banjac、Paul Goulart、Alberto Bempoad、Stephen Boyd 相关软件: 古罗比;莫塞克;qpOASES… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
CVXGEN公司 48篇文献引用(2010–2023) 软件作者: J.马丁利;S.博伊德 相关软件: qpOASES;ECOS;fast_mpc… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
IF-2.0型 38篇文献引用(2002–2022) 软件作者: 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔 相关软件: Uppaal;克罗诺斯;旋转… 主要字段: 一般性和全局性主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
MonoSLAM公司 32篇文献引用(2008–2022) 软件作者: A.J.Davison、I.D.Reid、N.D.Molton、O.Stasse 相关软件: SIFT;FastSLAM;SURF… 主要字段: 数值分析(65-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…
混合工具箱 在30份文件中引用(2004–2023) 软件作者: 贝姆帕德A。 相关软件: HYSDEL公司;MPT;CPLEX… 主要字段: 变分法与最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
大表 17篇文献引用(2010–2023) 软件作者: Chang,Fay;杰弗里·迪恩;桑杰·盖马瓦特;谢伟信(Xieh,Wilson C.)。;黛博拉·瓦拉赫(Deborah A.Wallach)。;Mike Burrows;图沙·钱德拉;菲克斯,安德鲁;罗伯特·E·格鲁伯 相关软件: MapReduce;发电机;卡桑德拉… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
制动MBLE 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)
税收 15篇文献引用(2001–2017) 软件作者: 艾蒂安·克劳斯;米歇尔·波伊泽(Michel Poize);雅克·普鲁;约瑟夫·西法基斯(Joseph Sifakis);帕特里克·文特 相关软件: Uppaal;克罗诺斯;埃菲尔… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
乔托 17篇文献引用(2001–2022) 软件作者: 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件: 卢斯特;Uppaal;酯类… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
节点.js 6篇文献引用(2017–2022) 软件作者: Ioannis K.Chaniotis。;Kyriakou,Kyriacos-Ioannis D。;尼古拉斯·泽利卡斯。 相关软件: JavaScript;github;MySQL… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
BCI2000型 12份文件引用(2016–2022) 软件作者: Schalk G、McFarland D J、Hinterberger T、Birbaumer N、Wolpow J R 相关软件: PhysioToolkit;EEGLAB;OpenViBE… 主要字段: 常微分方程(34-XX);统计学(62-XX);计算机科学(68-XX)…
音乐厅 18篇文献引用(2011–2023) 软件作者: 克里斯蒂安·柯奇斯 相关软件: qpHPSC;Ipopt;Mintoc… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);量子理论(81-XX)…
qpHPSC 18篇文献引用(2011年-2023年) 软件作者: 克里斯蒂安·柯奇斯 相关软件: MuShROOM;Ipopt;Mintoc… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);量子理论(81-XX)…
滑行模拟 14篇文献引用(2019–2024) 软件作者: 迪米特里斯·伯西马斯;帕特里克·贾利特(Patrick Jaillet);塞巴斯蒂安·马丁 相关软件: VRP;github;古罗比… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
SynDEx公司 11份文件引用(1996–2011) 软件作者: INRIA公司;拉瓦伦内,C.,塞格罗奇尼,O.,索雷尔,Y.,索林,M。 相关软件: 酯类;卢斯特;Simulink… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);信息与通信理论,电路(94-XX)
维迪纳 12份文件引用(2006–2022) 软件作者: Burgemister,B。;阿诺德,M。;埃斯特尔,B。;TESIS DYNAware股份有限公司 相关软件: 罗德斯;MEXX;SIMPACK… 主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);变形固体力学(74-XX)…
法布里克 9份文件引用(2011–2022) 软件作者: 安德烈亚斯·阿里斯蒂杜;琼·拉森比 相关软件: CLUCalc;加洛普;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);微分几何(53-XX);数值分析(65-XX)…
LLNet公司 8份文件引用(2018年-2023年) 软件作者: Kin Gwn Lore、Adedotun Akintayo、Soumik Sarkar 相关软件: AlexNet;CBAM;启发GAN… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
桅杆 引用于7份文件(2008–2018) 软件作者: 冈萨雷斯港,M;JJ古铁雷斯;巴伦西亚,JC;吉咪·德雷克 相关软件: Uppaal;切达干酪;TINA… 主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
OpenFace(开放面) 5份文件引用(2018–2021) 软件作者: Amos,B.,Ludwiczuk,B.,Satyanarayanan,M。;T.Baltrušaitis、P.Robinson、L.P.Morency 相关软件: LFW;蟒蛇;FaceNet… 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
机器人 7份文件引用(1993–2020) 软件作者: N.Docquier、A.Poncelet、P.Fisette 相关软件: EasyDyn;Chrono;帕西莫多… 主要字段: 一般性和全局性主题;藏品(00-XX);历史与传记(01-XX);粒子力学与系统(70-XX)…
iFogSim软件 4份文件引用(2020–2023) 软件作者: 哈希特·古普塔、阿米尔·瓦希德·达斯特杰迪、索米亚·戈什、拉杰库马尔·布亚 相关软件: YAFS;FogNetSim++;云模拟… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
BranchyNet公司 5份文件引用(2021–2023) 软件作者: 苏拉特·提拉皮塔亚农(Surat Teerapittayanon)、布拉德利·麦克丹尼尔(Bradley McDanel)、H.T.孔(H.T.Kung) 相关软件: PyTorch公司;TensorFlow;FaceNet… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)
伊萨卡-FV 6篇文献引用(2020年至2021年) 软件作者: 稳定,G。;G.罗扎。 相关软件: 红色套件;OpenFOAM;ANSYS-CFX… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
Simulink编码器 3份文件引用(2009–2016) 软件作者: MathWorks公司。 相关软件: Simulink;Matlab;鲁棒控制工具箱… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
塞莱利斯 5份文件引用(2017–2023) 软件作者: 萨珊·塔瓦库尔;Patrick Lynett 相关软件: HLLE;GEOCLAW公司;HySEA… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
I2T型 1份文件引用(2012) 软件作者: 姚,B。;杨,X。;林,L。;Lee,M.W。;朱S.C。 相关软件: Im2Text;密度盖;PASCAL VOC… 主要字段: 计算机科学(68-XX)
PREGO公司 5份文件引用(2015–2020) 软件作者: Belle,V.,H.J.Levesque 相关软件: 博客;ProbLog;高尔夫… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
传感器模拟 2份文件引用(2003–2012) 软件作者: S.Park、A.Savvides、M.B.Srivastava 相关软件: Wiselib;ns-2;升压… 主要字段: 计算机科学(68-XX)
苏打水 1份文件引用(2014) 软件作者: 乔尔·沃尔夫;尼基尔·班萨尔(Nikhil Bansal);Kirsten Hildrum;苏杰·帕雷赫(Sujay Parekh);迪帕克·拉詹(Deepak Rajan);罗希特·瓦格尔;吴坤龙;丽莎·弗莱舍 相关软件: 电报CQ;BRITE;霸王龙… 主要字段: 计算机科学(68-XX)
StreamQRE(流QRE) 5份文件引用(2019–2023) 软件作者: 马穆拉斯,K。;拉戈塔曼,M。;阿鲁尔(Alur,R.)。;艾夫斯,Z.G。;南卡罗来纳。 相关软件: LOLA;蒙保利;奈德… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
塔斯奈特 3份文件引用(2021–2022) 软件作者: 伊洛,尼玛·梅斯加拉尼 相关软件: PyTorch;亚当;ESPnet… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
维多利亚州 4份文件引用(2010–2022) 软件作者: 相关解决方案 相关软件: Ncorr;VIC-2D;VEDDAC… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
3D-十进制 2份文件引用(2008–2016) 软件作者: —— 相关软件: VTK;MITK公司;模拟… 主要字段: 粒子和系统力学(70-XX);可变形固体力学(74-XX);流体力学(76-XX)…
投掷 2份文件引用(2020–2021) 软件作者: J.Lee、M.X.Grey、S.Ha、T.Kunz、S.Jain、Y.Ye、S.S.Srinivasa、M.Stilman、C.K.Liu 相关软件: MuJoCo;活性氧;Python… 主要字段: 统计学(62-XX);计算机科学(68-XX);变形固体力学(74-XX)…
FaST机架 4份文件引用(2019–2021) 软件作者: Sylvia L.Herbert、Mo Chen、SooJean Han、Somil Bansal、Jaime F.Fisac、Claire J.Tomlin 相关软件: SOTER;LTLMoP;Python机器人… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
基因设计师 3份文件引用(2008–2014) 软件作者: 维拉洛沃斯,A。;Ness,J.E。;古斯塔夫森,C。;米舒尔,J。;Govindarajan,S。 相关软件: 合成基因设计者;优化器;GeMS… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
镜子 3份文件引用(2002–2020) 软件作者: 熊明;拉马姆里萨姆,克里蒂;Haritsa,Jayant R。;约翰·斯坦科维奇。 相关软件: SimDVS公司 主要字段: 计算机科学(68-XX)
MLAMBDA公司 4份文件引用(2005–2018) 软件作者: Chang,X.-W。;杨,X。;Zhou,T。 相关软件: 英里;莫塞克;CVX公司 主要字段: 统计学(62-XX);数值分析(65-XX);地球物理学(86-XX)…
皮库姆 4份文件引用(2021–2023) 软件作者: Bürger,A.、Zeile,C.、Hahn,M.、Altmann Dieses,A.、Sager,S.、Diehl,M。 相关软件: 卡萨迪;Ipopt;HSL… 主要字段: 变分法与最优控制;优化(49-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
Torsche公司 3份文件引用(2010–2012) 软件作者: 罗马·卡佩克;Zdeněk Hanzálek;PřemyslŠůcha;米查尔·索伊卡 相关软件: TrueTime;MaRTE操作系统;托勒密… 主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
维萨德 3份文件引用(2002–2005) 软件作者: William Hibbard、Curtis Rueden、Steve Emmerson、Tom Rink、David Glowacki、Tom Whittaker、Don Murray、David Fulker、John Anderson 相关软件: LINPACK;PETSc;交易.ii… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)
BundleFusion包 3份文件引用(2019–2022) 软件作者: Angela Dai、Matthias Nießner、Michael Zollhöfer、Shahram Izadi、Christian Theobalt 相关软件: PointNet;布里斯克;效率检测… 主要字段: 统计学(62-XX);计算机科学(68-XX)
辛迪GL 3份文件引用(2016–2018) 软件作者: Aaron Montag;里希特·盖伯特(Jürgen Richter-Gebert) 相关软件: 辛迪·JS;灰姑娘;CindyScript… 主要字段: 计算机科学(68-XX)
杜夸德 3份文件引用(2015–2022) 软件作者: I.Necoara,S.Kvamme 相关软件: qpOASES;VIATOC;GRAMPC… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
ERA-PAT公司 2份文件引用(2014–2021) 软件作者: 林尚伟;刘,杨;孙军;董金松;埃蒂安·安德烈 相关软件: 拍打;ProB;PDDL… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
快速DVDnet 引用于2份文件(2022–2023) 软件作者: 马蒂亚斯·塔萨诺、朱莉·德隆、托马斯·维特 相关软件: DVDnet;MemNet;FFD网络… 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
全球3D 2份文件引用(2018–2019) 软件作者: V.Bloom、D.Makris、V.Argyriou 相关软件: PrefixSpan;铲刀;ChaLearn手势… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX);粒子和系统力学(70-XX)…
GigaVoxels(千兆像素) 1份文件引用(2015) 软件作者: 西里尔·克拉辛(Cyril Crassin)、法布里斯·尼雷特(Fabrice Neyret)、西尔万·列斐伏尔(Sylvain Lefebvre)、埃尔玛·艾斯曼(Elmar Eisemann) 相关软件: GMac;克利福德;OCaml… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
总经理 2份文件引用(2019–2021) 软件作者: JiaWang Bian、Wen-Yan Lin、Yasuyuki Matsushita、Sai-Kit Yeung、Tan-Dat Nguyen、Ming-Ming Cheng 相关软件: D2-Net;SuperPoint;HPatches… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
HiPE公司 2份文件引用(2002–2003) 软件作者: E.Johansson、M.Pettersson、K.Sagonas 相关软件: 埃尔朗;SICStus公司;清洁 主要字段: 计算机科学(68-XX)
MATMPC公司 3份文件引用(2022–2023) 软件作者: Chen,Y.、Bruschetta,M.、Picotti,E.、Beghi,A。 相关软件: 武力NLP;VIATOC;GRAMPC… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);系统论;控制(93-XX)
帕罗克++ 3份文件引用(2003–2014) 软件作者: 阮、团安;皮埃尔·库宁 相关软件: eSkel;NAS平行基准;礼拜堂… 主要字段: 一般性和全局性主题;藏品(00-XX);计算机科学(68-XX)
UltraSONIC公司 3份文件引用(2002) 软件作者: 西蒙·海恩斯(Simon D.Haynes)。;Henry G.Epsom。;理查德·库珀(Richard J.Cooper)。;保罗·麦卡尔平。 相关软件: —— 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
布里斯克 2份文件引用(2000–2005) 软件作者: Aleksandar Bakić;马特·穆特卡(Matt W.Mutka)。;黛安·罗弗。 相关软件: CLOS;微型计算机 主要字段: 计算机科学(68-XX)
面部法医学 2份文件引用(2021–2022) 软件作者: 安德烈亚斯·罗斯勒(Andreas Rössler)、大卫德·科佐利诺(Davide Cozzolino)、路易莎·威尔多利瓦(Luisa Verdoliva)、克里斯蒂安·里斯(Christian Riess)、朱斯特斯·蒂斯(Justus Thies)、马蒂亚斯·涅 相关软件: Celeb-DF;MesoNet;像素x像素… 主要字段: 计算机科学(68-XX)
快速GRNN 2份文件引用(2021–2022) 软件作者: Aditya Kusupati、Manish Singh、Kush Bhatia、Ashish Kumar、Pratek Jain、Manik Varma 相关软件: 先知;轮班;gRPC… 主要字段: 统计学(62-XX);计算机科学(68-XX)
iOverbook公司 2份文件引用(2015–2021) 软件作者: Caglar F、Gokhale A 相关软件: Be-CoDiS公司 主要字段: 运筹学、数学规划(90-XX);博弈论、经济学、金融学以及其他社会和行为科学(91-XX);生物学和其他自然科学(92-XX)
喷气发动机 2份文件引用(2011–2012) 软件作者: Sartori,F。;Cenedese,A。;F.米拉尼。 相关软件: 春分;正则化工具 主要字段: 流体力学(76-XX);系统论;控制(93-XX)
ModSecurity(ModSecurity) 1份文件引用(2022) 软件作者: 菲利佩·齐默勒(Felipe Zimmerle);等。 相关软件: 萨纳尔;用鼻子哼哼;swrl… 主要字段: 计算机科学(68-XX)
打开PTrack 2份文件引用(2017–2020) 软件作者: Munaro,M.、Basso,F.、Menegatti,E。 相关软件: scikit-image;github;OpenCL… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);粒子力学与系统(70-XX)…
PRESAS公司 2份文件引用(2020–2022) 软件作者: 里恩·奎里宁(Rien Quirynen)、斯特凡诺·迪·凯拉诺(Stefano Di Cairano) 相关软件: qpOASES;QPDAS;QPSchur… 主要字段: 运筹学、数学规划(90-XX);系统论;控制(93-XX)
qpSWIFT银行 2份文件引用(2022–2023) 软件作者: Pandala股份有限公司;丁,Y。;停车场,HW 相关软件: qpOASES;OOQP;NASOQ… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)
细分(Tessellation) 引用于1份文件(2019) 软件作者: J.A.Colmenares、G.Eads、S.Hofmeyr、S.Bird、M.Moretó、D.Chou、B.Gluzman、E.Roman、D.B.Bartolini、N.Mor等人 相关软件: 精密路径指示器;多维数据集浏览器;兄弟竞争… 主要字段: 计算机科学(68-XX)
VSIPL公司++ 在0个文档中引用 软件作者: Lebak,J。;Kepner,J。;霍夫曼,H。;E·拉德利奇。 相关软件: CUDA;QUDA;PIMA(GE)2… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
WORHP禅宗 引用于2份文件(2018–2021) 软件作者: 伦克·库尔曼;瑟伦·杰夫肯;克里斯托夫·比斯肯斯 相关软件: WORHP公司 主要字段: 一般性和全局性主题;藏品(00-XX);运筹学、数学规划(90-XX)
阿达LED 1份文件引用(2023) 软件作者: 伊维卡·基奇;Vlachas,Pantelis R。;乔治·阿兰帕齐斯(Georgios Arampatzis);查齐马诺拉基斯,迈克尔;吉巴斯、列奥尼达斯;彼得罗·库穆塔科斯 相关软件: github;odmd;OctNet… 主要字段: 流体力学(76-XX);统计力学,物质结构(82-XX)
自动诊断 1份文件引用(2022) 软件作者: 乌米特·德米尔巴加;文振宇;艾曼·努尔(Ayman Noor);卡兰·米特拉(Karan Mitra);哈立德·阿尔瓦塞尔;索拉巴·加格;阿尔伯特·Y·佐玛雅。;拉吉夫·兰扬 相关软件: DeepLog;PerfXplain;TensorFlow… 主要字段: 计算机科学(68-XX)
混合火炬 在0个文档中引用 软件作者: Christoph Heindl、Lukas Brunner、Sebastian Zambal、Josef Scharinger 相关软件: CAD2RL;NDDS;Stillleben… 主要字段: ——
BLNM.jl公司 1份文件引用(2024) 软件作者: 萨尔瓦多,马泰奥;艾莉森·莱斯利·马斯登 相关软件: svFSI;双血管;微分方程.jl… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)
CFLOW-AD公司 在0个文件中引用 软件作者: Denis Gudovskiy、Shun Ishizaka、Kazuki Kozuka 相关软件: 加诺马利;TensorFlow;PyTorch闪电… 主要字段: ——