>>> 哲学 经济学 法学 教育学 文学 历史学 理学 工学 农学 医学 军事学 管理学 旅游学 文化学 特色库
搜索结果: 1-15 共查到specification相关记录66条 . 查询时间(0.037 秒)
The goal of this document is to provide a self-contained, comprehensive, and fully-detailed specification of a new cryptographic voting protocol for the future system of the State of Geneva. The docum...
In this paper, we describe and analyze the security of the AES-GCM-SIV mode of operation, as defined in the CFRG specification \cite{CFRG}. This mode differs from the original GCM-SIV mode that was de...
We present a framework for computing context-free language reachability properties when parts of the program are missing. Our framework infers candidate specifications for missing program pieces that ...
This study develops a methodology of inference for a widely used Cliff–Ord type spatial model containing spatial lags in the dependent variable, exogenous variables, and the disturbance terms, while a...
Statistical evaluation of the Dourbes (4.6˚E, 50.1˚N) digisonde automatic scaling of the more frequently used ionospheric parameters (foF2, foF1, foE, h’F2, h’F, h’E, and M3000F2) was perfor...
The two-fund separation theorem tells us that an investor with quadratic utility can separate her asset allocation decision into two steps: First, find the tangency portfolio (TP), i.e., the portfolio...
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presents a novel framework ...
The development of a specification to standardise the capture, presentation and delivery of point clouds for cultural heritage applications is a necessary step in the acceptance of laser scanning as ...
The two-fund separation theorem tells us that an investor with quadratic utility can separate her asset allocation decision into two steps: First, find the tangency portfolio (TP), i.e., the portfolio...
The main objective of GSDI is data sharing and integration. This requires the formulation of standards for data exchange. Most standards developed to date take mainly care of issues like the technica...
A hierarchy of endothelial colony forming cells (ECFCs) with different levels of proliferative potential has been identified in human circulating blood and blood vessels. High proliferative potential ...
Gamma-band neuronal synchronization during sentence-level language comprehension has previously been linked with semantic unification. Here, we attempt to further narrow down the functional significan...
This paper deals with a specific type of homogeneous beechwood called Fageta paupera. The aim is to acquire information about the heterogeneity of soil environment. As a material we used 20 research p...
UPDATING AND SPECIFICATION CHANGES - STATISTICAL ESTIMATION OF WORKLOAD.

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...