工学 >>> 计算机科学技术 >>> 计算机科学技术基础学科 >>> 自动机理论 可计算性理论 计算机可靠性理论 算法理论 数据结构 数据安全与计算机安全 计算机科学技术基础学科其他学科
搜索结果: 1-13 共查到计算机科学技术基础学科 structure相关记录13条 . 查询时间(0.39 秒)
Data Structure Fusion     Data Structure       2016/5/24
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data types are speci-fie...
Modeling the structural ensemble of intrinsically disordered proteins (IDPs),which lack fixed structures, is essential in understanding their cellular functions and re-vealingtheirregulationmechanisms...
River structure is a direct concept for the distribution of rivers in nature. In spatial database, river structure is a type of spatial relations composed by river features. This paper proposes the ch...
Without a proper restriction on mappings, virtually any system could be seen as implementing any computation. That would not allow characterization of systems in terms of implemented computations and ...
A Bayesian network is graphical representation of the probabilistic relationships among set of variables and can be used to encode expert knowledge about uncertain domains. The structure of this model...
This thesis is concerned with sequential decision making by multiple agents, whether they are acting cooperatively to maximize team reward or selfishly trying to maximize their individual rewards. The...
This thesis focuses on decision-theoretic reasoning and planning problems that arise when a group of collaborative agents are tasked to achieve a goal that requires collective effort. The main contrib...
This thesis presents a means of enhancing the iterative calculation techniques used in electronic structure calculations, particularly Kohn-Sham DFT. Based on the subspace iteration method of the FEAS...
In this paper, a Global “Natural” Grid (GNG) modeling method based on the terrain topological structure is proposed. GNG partitions the earth surface into “natural” cells by using the natural terrain...
In this paper we study the optimal information and average information rates of secret sharing schemes which are all connected graphs on six vertices. There are 102 connected graphs on six vertices th...
Many areas of artificial intelligence must handling with imperfection of information. One of the ways to do this is using representation and reasoning with Bayesian networks. Creation of a Bayesian ...
The security of most elliptic curve cryptosystems is based on the intractability of the Elliptic Curve Discrete Logarithm Problem (ECDLP). Such a problem turns out to be computationally unfeasible whe...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...