我们今天的趋势是…朝向一种坚定、坚实且可证明的知识。
The tendency of our own day is towards firm, solid, verifiable knowledge.
所以,凡由此得到证明的一切事物将必归属于可证明的一个级别;
Therefore it follows that all attributes that are proved must belong to a single class;
这样处理的好处是便于构造正确性可证明的编译器设计的理论基础。
The benefit is that one can build up the theory of correctness provable compiler easily.
但是,如果我给你提供一些可能的辩解,以证明他干的那件事是情有可原的呢?
But what if I gave you what might be some justification for what he did.
有一些论坛上,互联网可以证明是有利可图的论坛。
There are some forums on the Internet that can prove to be profitable forums.
通过马尔可夫链的分析,证明它是全局收敛的。
接着提出了一个基于身份的可证明安全的群签名方案。
Then, we propose a provably secure and ID-Based group signature scheme.
我们证明该方案在随机预言机模型中是可证安全的。
Then we prove that our scheme satisfies these security notions in the random oracle model.
证明了该过程的局部时的存在性、联合连续性和可微性。
The existence, joint continuity and differential of local times of this process are shown.
本文的目的是证明关于结合环可换性的三个定理。
The object of this paper is to prove three theorems of associated ring's commutativity.
专家组有权认定证据的可采性、关联性、利害关系和证明力。
The Panel shall determine the admissibility, relevance, materiality and weight of the evidence.
文章针对被积函数是连续函数、可导函数的定积分不等式提出了几种有效的证明方法。
This article was to offer the method about the complex function's differentiable and holomorphic.
本文在一维情形下对拟可微函数的星核进行了讨论,证明了拟微分星-有界等价子类的存在性;
In this paper, the star-kernel of a quasi-differentiable function in one-dimensional space is studied.
可时间的推移,如此缓慢,时间可以证明很多。
你的论据脆弱,因为你没有证明可支持你的观点。
Your argument is weak, for you have no proof to sup-port your ideas.
证明你的技能具有可转移性;
在标准模型下可证明它的安全性,并且阐述其高效性。
It could be proven secure in the standard model, and it was efficient.
最后证明了在交叉验证理论可证明正确的前提下,协议具有公平性。
Meanwhile, the protocol certificated its own fairness on the basis of right cross validation.
有证据证明该药可增强肌蛋白综合体和减缓肌蛋白被破坏的速度。
Evidence suggests it may increase muscle protein synthesis and slow muscle protein breakdown.
我只是觉得没有什么其他的可证明了。
我只是觉得没有什么其他的可证明了。
我只是觉得没有什么其他的可证明了。
我只是觉得没有什么其他的可证明了。
应用推荐