×

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

PhyCNN(美国有线电视新闻网)

13份文件引用(2021–2024)
软件作者: 张瑞阳、刘洋、孙浩
相关软件: 亚当;PhyGeoNet;PyTorch…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

穆瓦尔

8份文件引用(2010–2023)
软件作者: Ou,X.,Govindavajhala,S.,Appel,A.W。
相关软件: ADEPTS;分享;SPSS…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

波普尔

5份文件引用(2021–2023)
软件作者: 高庆云、吕兆阳、翁翠薇、卢卡·丹尼尔、王毅、林大华
相关软件: Reluplex;马拉博;AI2…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);系统论;控制(93-XX)

设计

2份文件引用(2021–2022)
软件作者: 周亚琴、刘尚清、肖京凯、杜晓宁、杨柳
相关软件: CodeBERT;单词2vec;代码2vec…
主要字段: 计算机科学(68-XX)

调试工具

3份文件引用(2020–2021)
软件作者: Tikhomirov,S.等人。
相关软件: github;破坏者;LLVM…
主要字段: 博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

深悟空

2份文件引用(2021–2023)
软件作者: Cheng,X。;Wang,H。;Hua,J。;徐,G。;隋,Y。
相关软件: ovAFLow;夹板;布加鲁…
主要字段: 计算机科学(68-XX)

EIA-全国保卫人民大会

2份文件引用(2021–2022)
软件作者: 贾瓦德·雷扎伊;Zare-Mirakabad,Fatemeh;MirHassani,Seyed Ali;赛义德·阿米尔·马拉西
相关软件: 稀疏矩阵
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

对手Wavelet训练

引用于1份文件(2023)
软件作者: 严军;尹慧琳;赵子明;葛万成;张浩;里戈尔,格哈德
相关软件: 深度愚人;CIFAR公司
主要字段: 数值分析(65-XX);计算机科学(68-XX)

配置检查器

引用于1份文件(2018)
软件作者: Al-Shaer,E.,Alsaleh,M。
相关软件: github;NetKAT;菲马托…
主要字段: 计算机科学(68-XX)

CyGraph(赛格图)

引用于1份文件(2018)
软件作者: Noel,S。;哈雷,E。;Tam,K。;利米埃罗,M。;共享,M。
相关软件: MulVAL;TCPD泵
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)

电梯

引用于1份文件(2018)
软件作者: Hancilar,美国。;Tuzun,C。;Yenidogan,C。;埃尔迪克,M。
相关软件: OpenQuake;开放街道地图;优化工具箱
主要字段: 运筹学、数学规划(90-XX)

SGS公司

引用于1份文件(2020)
软件作者: Wang,Y。;胡,T。;唐·G。;谢军。;卢,J。
相关软件: NetKAT;SDSNM;OpenFlowSIA…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件