查询词典 provable formula

Is it provable mammals are smarter than others animals?

哺乳类动物是否比其他动物聪明呢？

Such curves are suitable for establishing provable secure cryptographic schemes with low bandwidth.

在这类曲线上适合建立低带宽的、可证明安全的密码体制。

But in the past few years, a brave group of scientists, fewer in number than male nurses, has been trying to uncover the physiology of laughter and its provable medical benefits.

但在过去几年，一群勇敢的科学家，人数可比男护士少，已经试图揭示笑的生理机能以及可以证明的笑在医学上的益处。

Religion, by contrast, is based on truths that are not provable through ordinary human understanding—the "belief in things not seen."

反过来说，宗教是基于不能被一般人类的判断能力证明的真理——"笃信你所看不到的事物"。

Based on the Waters'signature scheme, we put forward a new proxy multi-signature scheme and provide provable security proof in the standard model.

因此本文提出了一个新的基于身份的代理多重签名体制，并在随机预言模型下形式化的证明了该方案的安全性。

Analysis shows that the proposed scheme is secure and effective.It has provable security properties of blindness,unforgeability and robustness.

分析表明，所提方案具有部分盲性、不可伪造性和强壮性等特性，是安全、有效的。

Esterel is a formally provable language that's used primarily to design control-intensive silicon intellectual-property blocks.

Esterel是一种可正式验证的语言，主要用于设计控制密集型硅知识产权模块。

If you've gotten this far, you're probably convinced that Authenticated Encryption is a good thing, CBC-MACs are tricky (but have provable security with apppropriate counter mode encryptors), and it is best to use a canned solution.

如果你建立了这一步，你可能认为认证加密是一件好事，央行，互有棘手的（但有适当的计数器模式加密器可证明的安全性），这是最好使用罐装的解决方案。

L Activism to expose and stop mind control should contain a substantial base of information which is on public record and provable.

用行动去揭露和制止精神控制应该包含着一个坚固的信息基础，它能在公共记录上找到，并是可证明的。

Article 47 An enterprise shall, in a written or any other appropriate form, properly preserve relevant records or data generated in the course of the establishment and application of internal control so as to ensure that the establishment and application of internal control are provable.

第四十七条企业应当以书面或者其他适当的形式，妥善保存内部控制建立与实施过程中的相关记录或者资料，确保内部控制建立与实施过程的可验证性。

Cable dampener cannot be rolled up but must be hung over the cable.

缆帆不能被卷起，必须保证处于展开状态

"This skylark is a present from my master," he says.

"这只云雀是我主人献上的礼物。"他说。