查询词典 existentially

According to this interpretation, cogito was explained as a thought-act, which had the same logical structure with the speech-act, and the function of cogito was elucidated as follows: I utter the sentence"I don't exist"to myself in mind, and found that this performatory act was self-defeating and existentially inconsistent, so"I am"and"I exist"were self-verifying.

在这种模式中，&我思&被诠释为一种与&言语行为&逻辑同构的思想行为，&我思&的功能被诠释为&我在心灵中对自己说：'我不存在'&，由于这一践言行为导致了自我驳斥，引发了存在性矛盾，因而&我在&自身得以确认，&我思故我在&得到合理化。

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.

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

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等人提出的多接收者签密方案，不具有适应性选择密文内部攻击安全性和密文匿名性，并给出所定义强安全性模型中的攻击方法；随后提出改进方案，该方案在强安全模型中证明是安全的。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。