>>> 哲学 经济学 法学 教育学 文学 历史学 理学 工学 农学 医学 军事学 管理学 旅游学 文化学 特色库
搜索结果: 1-15 共查到知识库 Branching相关记录145条 . 查询时间(0.043 秒)
Branching in woody plants affects their ecological benefits and impacts wood formation. To obtain genome-wide insights into the transcriptome changes and regulatory mechanisms associated with branchin...
Mature endosperm was separated regionally into different parts in three rice cultivars, Te-qing (TQ), Wu-xiang 9915 (WX9915) and Guang-ling-xiang-nuo (GLXN), and their transgenic lines with inhibition...
Kernel components and some physicochemical properties of cooked rice were investigated and compared between a popular japonica rice Wu-xiang 9915 (WX) and its transgenic line (WX-SBEI/IIb-) with suppr...
This paper presents the first attribute-based signature (ABS) scheme in which the correspondence between signers and signatures is captured in an arithmetic model of computation. Specifically, we desi...
In this paper, we propose cryptanalyses of all existing indistinguishability obfuscation (iO) candidates based on branching programs (BP) over GGH13 multilinear map. To achieve this, we introduce two ...
For the purpose of extracting productions of some specific branching plants effectively and realizing its 3D reconstruction, Terrestrial LiDAR data was used as extraction source of production, and a 3...
We present new constructions of private constrained PRFs and lockable obfuscation, for constraints (resp. functions to be obfuscated) that are computable by general branching programs. Our constructio...
We describe new cryptanalytic attacks on the candidate branching-program obfuscator proposed by Garg, Gentry, Halevi, Raykova, Sahai and Waters (GGHRSW) using the GGH13 graded encoding, and its vari...
Secure multilinear maps (mmaps) have been shown to have remarkable applications in cryptography, such as program obfuscation and multi-input functional encryption (MIFE). To date, there has been littl...
The paper develops a theory of branching spatiotemporal histories that accommodates indeterminism and the insights of general relativity. A model of this theory can be viewed as a collection of overla...
The logical theory of branching space-times (Belnap, Synthese 1992), which provides a relativistic framework for studying objective indeterminism, remains mostly disconnected from the discussion of sp...
This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller 2013). We introduce a framework of branching histories to take account of indeterminism. Ou...
Deniable encryption (Canetti et al. CRYPTO ’97) is an intriguing primitive that provides a security guarantee against not only eavesdropping attacks as required by semantic security, but also stronge...
There is a remarkable similarity between some mathematical objects used in the Branching Space-Times framework and those appearing in computer science in the fields of event structures for concurrent ...
We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbe...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...