×

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

RCV1型

105篇文献引用(2005–2023)
软件作者: 大卫·D·刘易斯(David D.Lewis);杨一鸣;托尼·G·罗斯(Tony G.Rose);范丽
相关软件: LIBSVM;UCI-ml;BoosTexter…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

清洁

56篇文献引用(1987–2016)
软件作者: 医学博士Plasmeijer。
相关软件: 哈斯克尔;米兰达;闪闪发光…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…

PITA公司

24篇文献引用(2010–2023)
软件作者: 法布里齐奥·里古齐(Fabrizio Riguzzi);Swift,Terrance公司
相关软件: ProbLog;CP逻辑;棱镜…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

JSAI公司

4份文件引用(2017–2022)
软件作者: 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫
相关软件: JavaScript;幻影;诺恩…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

网络PIE

8份文件引用(2012–2022)
软件作者: Urbani,J.、Kotoulas,S.、Maassen,J.,van Harmelen,F.、Bal,H。
相关软件: XSB;数据日志;ELK…
主要字段: 计算机科学(68-XX)

HoTTSQL

6篇文献引用(2018–2022)
软件作者: 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋
相关软件: Coq;克莱斯利;序列…
主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)

3份文件引用(2008–2015)
软件作者: Humphreys,G.、Houston,M.、Ng,R.、Frank,R.,Ahern,S.、Kirchner,P.D.、Klosowski,J.T。
相关软件: 洞穴;CMPGRD;SimWall…
主要字段: 计算机科学(68-XX);流体力学(76-XX)

莱姆

4份文件引用(2011–2021)
软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔
相关软件: Isabelle/HOL;Coq;ACL2…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

Angelix公司

3份文件引用(2017–2023)
软件作者: S.Mechtaev、J.Yi、A.Roychoudhury
相关软件: 先知;SemFix;代码缺陷…
主要字段: 计算机科学(68-XX)

鲁棒填充

4份文件引用(2019年-2023年)
软件作者: 雅各布·德夫林;约纳森·尤萨托(Jonathan Uesato);苏里亚布帕提拉朱;里沙巴·辛格;阿卜杜勒·拉赫曼·穆罕默德;科利,普希米特
相关软件: SQL生成器;PyGGI;杜松子酒…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

eThor公司

3份文件引用(2021年至2022年)
软件作者: 克拉拉·施奈德温德、伊利亚·格里什琴科、马库斯·谢勒、马特奥·马菲
相关软件: SMT-LIB;CVC4;K校准仪…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

ICOT公司

2份文件引用(1998–2002)
软件作者: Yang,Hyung Jeong;Yang,Jae Dong;金永浩(Kim,Yeongho)
相关软件:
主要字段: 计算机科学(68-XX)

XSat公司

2份文件引用(2018–2022)
软件作者:
相关软件: 数学SAT5;dReal;z3…
主要字段: 代数拓扑(55-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

CSimpl公司

2份文件引用(2017)
软件作者: Sanán,D.,Zhao,Y.,Hou,Z.,Zhang,F.,Tiu,A.,Liu,Y。
相关软件: seL4;Isabelle/HOL;区域设置…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SEG云

2份文件引用(2019–2022)
软件作者: Lyne P.Tchapmi、Christopher B.Choy、Iro Armeni、JunYoung Gwak、Silvio Savarese
相关软件: PointNet;TensorFlow;PointConv…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

solc验证

2份文件引用(2021)
软件作者: 阿尔科斯·哈伊杜,德扬·约瓦诺维奇
相关软件: VerX;深海;Manticore…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

AIQL公司

在0个文档中引用
软件作者: 高平、肖欣、李忠、徐福、库尔卡尼S.R.、米塔尔P。
相关软件: 弹性搜索;NoDoze;SAQL…
主要字段:

应用镜检查

1份文件引用(2015)
软件作者: Feng,Y.、Anand,S.、Dillig,I.、Aiken,A。
相关软件: AppGuard;EviCheck;双人护卫…
主要字段: 计算机科学(68-XX)

CRaDLe公司

在0个文档中引用
软件作者: 顾文超;李宗杰;高翠云;王朝正;张宏宇;徐增林;迈克尔·R·吕。
相关软件: CoaCor公司;CCFinder;CodeSearchNet…
主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX)

FSCNMF公司

在0个文档中引用
软件作者: Sambaran Bandyopadhyay、Harsh Kara、Aswin Kannan、M N Murty
相关软件: 正弦;数字Py;RolX…
主要字段:

JFIX公司

在0个文档中引用
软件作者: LE,丁宣巴赫;罗大卫
相关软件: 代码缺陷;Qlose;Angelix…
主要字段:

克托伊莎贝尔

1份文件引用(2021)
软件作者: 李,李毅;埃尔萨·甘特。
相关软件: 莫德;Isabelle/HOL;LambdaMu-calculus…
主要字段: 计算机科学(68-XX)

MLCask公司

1份文件引用(2023)
软件作者: 罗兆静、赛和阳、张美慧、郑开平、朱磊、陈刚、范飞毅、钱琳、李渊、吴本钦
相关软件: 猫头鹰;MLDev公司
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

网络安全策略验证

1份文件引用(2016)
软件作者: 迪克曼,C。
相关软件: 罗宾斯猜想;VAMPIRE公司;E定理证明器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PTaCL公司

1份文件引用(2012)
软件作者: 杰森·克兰普顿(Jason Crampton);查尔斯·莫里塞特
相关软件:
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

排练

1份文件引用(2021)
软件作者: Rian Shambaugh、Aaron Weiss、Arjun Guha
相关软件: 地形;p4v;LWeb…
主要字段: 计算机科学(68-XX)

SAFEWAPI公司

在0个文档中引用
软件作者: S.Bae、H.Cho、I.Lim、S.Ryu
相关软件: ast;守门人;合成码…
主要字段:

简单防火墙

1份文件引用(2018)
软件作者: 科尼利厄斯·迪克曼、朱利叶斯·迈克利斯、马克西米利安·哈斯贝克
相关软件: github;NetKAT;菲马托…
主要字段: 计算机科学(68-XX)

Analyza公司

在0个文档中引用
软件作者: Dhamdhere,K.,K.S.McCurley,R.Nahmias,M.Sundararajan,Q.Yan
相关软件:
主要字段:

以太信托

在0个文档中引用
软件作者: Grishchenko,I.,Maffei,M.,Schneidewind,C。
相关软件:
主要字段:

图像精神

在0个文档中引用
软件作者: 程明明;郑帅;林文燕;维尼特(Vibhav);保罗·斯特吉斯;奈杰尔·克鲁克;尼洛伊·米特拉。;菲利普·托尔
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段