查询词典 existentially

Functional programming languages, based on reduction, have properties such as deterministic evaluation and lazy evaluation; however they lack some desirable properties such as existentially quantified variables and partial data structures.

但同时它又缺少诸如存在量化的变量以及部分数据结构等所希望的性质。

The television series The Twilight Zone, scripted by Rod Serling and broadcast on CBS between 1959 and 1965, manifested the same existentially uncanny mood found in many of Crewdson's works.

由Rod Serling撰写，在1959年至1965年期间由CBS播出的的电视剧《黄昏地带》表现了许多同样在Crewdson作品中出现情绪关于存在与离奇—作品的精髓与伟大的美国自然主义者Ray Bradbury有着相似的特征—鲜明的黑暗倾向。

We formalized a notion of security for partial delegation with warrant proxy signature schemes, i.e., existentially unforgeability under an adaptive chosen-message attack and an adaptive chosen-warrant attack. We compare the new model with the previous formal models and identify their weakness.

重新给出了具有证书的部分代理签名的安全定义，即适应性选择消息攻击和适应性选择授权文件攻击下的不可存在性伪造，建立了形式化安全模型。

God is an invisible, personal, and living Spirit, distinguished from all other spirits by several kinds of attributes: metaphysically God is self-existent, eternal, and unchanging; intellectually God is omniscient, faithful, and wise; ethically God is just, merciful, and loving; emotionally God detests evil, is long-suffering, and is compassionate; existentially God is free, authentic, and omnipotent; relationally God is transcendent in being immanent universally in providential activity, and immanent with his people in redemptive activity.

上帝是一种无形的，个人化的，生活的精神，而有别于其他所有烈酒数种特质：形而上学的上帝是自我存在的，永恒的，不变的；智力神是无所不知，忠诚，智慧；伦理的上帝是公正，慈悲和爱好；感情上上帝detests邪恶的，是长期的痛苦，是值得同情的； existentially上帝是免费的，真实的，无所不能； relationally上帝是超越性，在被上苍普遍在天赐活动，而内在与他的人民在救赎的活动。

We formalize a notion of security for proxy multi-signature and multi-proxy signature, i.e., existentially unforgeability under an adaptive chosen-message attack and an adaptive chosenwarrant attack.

本文给出了代理多重签名和多重代理签名的安全定义，即适应性选择消息攻击和适应性选择授权文件攻击下的不可存在性伪造，并建立了形式化安全模型。

ENTERTAINMENT WEEKLY》采访Daniel Radcliffe的时候提到:There's a profoundly, existentially lonely passage in the chapter when he prepares to let himself be killed.

这里他们显然说第三十四章哈利要去找伏地魔的时候的那段描写有存在主义的孤独感。

This paper defines a strong security model for multi-recipient signcryption scheme in the random oracle model, which is semantically secure against adaptive chosen-ciphertext insider attack, existentially forgeable chosen-message attack and anonymous chosen-ciphertext insider attack. By analyzing, we point out that Li-Hu-Liu Multi-Recipient Signcryption Scheme is insecure against the adaptive and anonymous chosen-ciphertext insider attacks.

摘要在随机预言模型下定义了一个多接收者签密方案的强安全性模型，该模型满足适应性选择密文内部攻击安全性、选择消息抗存在性伪造和密文匿名安全性；通过分析指出， Li、Hu和Liu等人提出的多接收者签密方案，不具有适应性选择密文内部攻击安全性和密文匿名性，并给出所定义强安全性模型中的攻击方法；随后提出改进方案，该方案在强安全模型中证明是安全的。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。