×

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

深面(DeepFace)

32篇文献引用(2015–2023)
软件作者: Taigman Y,Yang M,Ranzato M,Wolf L。
相关软件: ImageNet;AlexNet;FaceNet…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

垫片

30篇文献引用(2015–2023)
软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基
相关软件: z3;CVC4;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

MARTE公司

10篇文献引用(2009–2017)
软件作者: 对象管理集团。
相关软件: SysML;Uppaal;旋转…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX);信息与通信理论,电路(94-XX)

SCADE公司

14篇文献引用(2001–2019)
软件作者: 杰拉德·贝里;Esterel科技
相关软件: Simulink;卢斯特;酯类…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

LTSA-WS公司

12份文件引用(2006–2021)
软件作者: Magee J、Kramer J、Uchitel S等
相关软件: WSAT;NuSMV;UFO…
主要字段: 计算机科学(68-XX)

fc2工具

12份文件引用(1999–2022)
软件作者: Bouali,A.、Ressouche,A.、Roy,V.、de Simone,R。
相关软件: CADP;到期未结;CAESAR_SOLVE…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)

UMM公司

6篇文献引用(2007–2016)
软件作者: Yang Y、Gopalakrishnan G、Lindstrom G
相关软件: Coq;检查围栏;TSOTool…
主要字段: 计算机科学(68-XX)

CoMA公司

引用于2份文件(2016年至2021年)
软件作者: P Arcaini、A Gargantini、E Riccobene
相关软件: AsmetaSMV;NuSMV;ASMETA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

时代广场

3份文件引用(2015–2016)
软件作者: 朱利安·德安东尼(Julien DeAntoni),弗雷德里克·马莱特(Frédéric Mallet)
相关软件: 埃斯特尔;Uppaal;信号…
主要字段: 计算机科学(68-XX)

Verisig公司

4份文件引用(2021–2022)
软件作者: 拉多斯拉夫·伊万诺夫;Taylor Carpenter;詹姆斯·韦默(James Weimer);拉杰夫·阿鲁尔;乔治·帕帕斯(George Pappas);李因苏普
相关软件: NNV;Reluplex;AI2…
主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…

SL2SX系列

3份文件引用(2019–2023)
软件作者: 斯特凡诺·米诺波利;戈兰·弗雷斯
相关软件: Simulink;Isabelle/HOL;Matlab…
主要字段: 计算机科学(68-XX)

美国国际开发署

在0个文档中引用
软件作者: 阿尔伯特·波杜森科(Albert Podusenko)、巴特·范·埃尔普(Bart van Erp)、马格努斯·库达尔(Magnus Koudahl)、贝尔特·德弗里斯(Bert de Vries)
相关软件: 反向Diff.jl;转发差异;图灵…
主要字段:

OpenMETA公司

在0个文档中引用
软件作者: 贾诺斯·什蒂帕诺维茨(Janos Sztipanovits);泰德·巴普蒂;尼玛、桑迪普;拉里·霍华德;伊桑·杰克逊
相关软件: OpenModelica;z3(零3)
主要字段: 计算机科学(68-XX)

1份文件引用(2021)
软件作者: Brun,L。;伯克,T。;普泽特,M。
相关软件: 第2类;卢雷特;LUSTRE…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件