查询词典 provable formula

It was unprovable of course, but in provable instances the readings had shown themselves to be honest if not infallible.

当然，这是无法证明的，但解读材料表明，即使不可证明，它们也是诚实的。

To achieve provable security, the simulator protocol is given in the security proof.

同时，通过构造了同模拟机协议给出了方案的安全性证明，达到了可证明安全。

None of the options were externally provable because consciousness is not subject to the scientific method.

这两个选项都无法从外部证明，因为意识无法通过科学方法验证。

In this paper, a new Hierarchical Identity-Based Encryption scheme is proposed and is provable security in the generalized selective-ID model in the standard model.

摘要该文给出了一种新的基于身份的分级加密方案，在标准模型下，证明了该方案是推广selective-ID安全的。

For those who are unaware, an empirical truth can be defined as,"verifiable or provable by means of repeatable observation or experiment."

对于那些不知道，实证真理，可以被界定为"，可核查，或可证明的方式可重复观察或实验"。

Rule of corroboration is an important rule in system of evidence, in which provable value and the rule of corroboration of accomplices confession is necessary.

补强证据规则是证据制度中的一项重要规则，而共犯被告人供述的证据价值与补强则是补强证据规则中的重要内容。

LFC is high-level and executable, and properties of its programs are provable.

LFC具有高层次、可执行、能证明的特点。

The project hypothesis is clear, realistic and provable.

项目假设清楚、现实，并且是可以被证实的。

The value of death is universal, particular, provable, social and historical, directional.

死亡价值具有普遍性、特殊性、证明性、社会历史性、指向性等特点。

In fact, probability theory allows us to make some very strong, provable statements about random numbers despite the fact that they are random events.

事实上，可能性理论允许我们作一些很有可能证明的，关于随意数据的，尽管它们是些随意的事件言辞。

Anna: No, I've got a hangover.

不是，我昨晚宿醉了。

We head into the mountains in Su's new Land Cruiser, stop for lunch at a scenic restaurant and then hang around drinking beer and eating fruit as two of his employees attempt to lure the birds with a tape recording of the fowl's mating call.

我们坐上苏的巡逻车向山顶出发，在一家风景优美的餐馆吃了中饭。然后我们喝着啤酒吃着水果四处逛。