网页
图片
视频
学术
词典
地图
更多
航班
笔记本
provably
网络
可验证性的
网络释义
1.
可验证性的
这个机器
可验证性的
(
provably
)学习整个概念类。还有,这些类是可被刻画特征的。
blog.sciencenet.cn
|
基于 1 个网页
例句
释义:
全部
全部
,
可验证性的
可验证性的
类别:
全部
全部
,
口语
口语
,
书面语
书面语
,
标题
标题
,
技术
技术
来源:
全部
全部
,
字典
字典
,
网络
网络
难度:
全部
全部
,
简单
简单
,
中等
中等
,
难
难
更多例句筛选
收起例句筛选
1.
The computer
science research
community
is
constantly
debating
the
question
of
how
to
make
provably
secure
software
.
资讯
科学研究
社群
正在
争论
如何
制作
出
确实
安全
的
软体
。
dictsearch.appspot.com
2.
Inventing
,
analyzing
,
and
optimizing
new
algorithms
or
data structures
that are
provably
better
than
the
alternatives
.
编写
,
分析
并
优化
新
的
算法
或
数据结构
并
证实
比
现有
方案
更
优
。
www.job956.com
3.
Careful
source
analysis
can
reason
through
such
conditionals
to
provably
correct
conclusions
.
仔细
进行
源
分析
可以
从
此类
条件
推理
出
证实
正确
的
结论
。
www.ibm.com
4.
An
efficient
digital
signature
scheme
provably
secure
in
the
standard
model
from
bilinear
maps
was proposed
.
利用
双线性
映射
技术
设计
了
一个
有效
的
在
标准
模型
下
可
证
安全
的
数字
签名
方案
。
www.dictall.com
5.
The
performance
analysis
results
show
that the
scheme
is
provably
secure
in
the
random
oracle
model
under
the CDH
problem
assumption
.
安全性
分析
表明
,
在
假设
CDH
问题
是
难
解
的
情况
下
,
该
方案
在
随机
预言
模型
中
是
可
证
安全
的
。
jeit.ie.ac.cn
6.
In
the
random
oracle
model
,
the
scheme
is
provably
secure
against
adaptive
chosen
ciphertext
attacks
.
在
随机
预言
模型
下
,
该
方案
在
适应性
选择
密
文
攻击
下
是
可
证明
安全
的
。
www.ceaj.org
7.
A
certificateless
signature
scheme
provably
secure
in
the
standard
model
is
analyzed
.
It
points out
that the
scheme
is
insecure
.
通过
对
一个
标准
模型
下
可
证
安全
的
无
证书
签名
方案
进行
分析
,
指出
该
方案
是
不
安全
的
。
ceaj.org
8.
Before
HTML5
,
it is
literally
impossible
to
be
provably
standards
compliant
.
在
HTML5
之前
,
标准
兼容
简直
就
不可能
被
加以
证明
。
select.yeeyan.org
9.
Not
provably
valid
or
not
valid
.
不可
证明
为
有效
或
无效
。
technet.microsoft.com
10.
The
procedure
is
provably
irreversible
.
已经
证明
,
此
过程
是
不可逆
的
。
msdn2.microsoft.com
1
2
3