>>> 哲学 经济学 法学 教育学 文学 历史学 理学 工学 农学 医学 军事学 管理学 旅游学 文化学 特色库
搜索结果: 1-15 共查到知识库 An Introduction相关记录416条 . 查询时间(0.406 秒)
The development of technologies for the genetic manipulation of mitochondrial genomes remains a major challenge. Here we report a method for the targeted introduction of mutations into plant mitochond...
课程概况:开课单位:华中农业大学资源与环境学院。课程名称:《Introduction to Environmental Engineering》。授课教师:刘广龙,副教授。课程性质与学时:环境工程本科专业选修课,16学时。选课年级及人数 :环工1801、环工1802,26人。
This tutorial demonstrates how cryptographic security notions, constructions, and game-based security proofs can be formalized using the CryptHOL framework. As a running example, we formalize a varian...
The environmental impact assessment system and the environmental plan for the preservation of the land environment are carried out with the aim of preventing damage to the environment caused by human ...
To provide insurance on the resistance of a system against side-channel analysis, several national or private schemes are today promoting an evaluation strategy, common in classical cryptography, whic...
The NIH Office of Dietary Supplements convened a public workshop on iron screening and supplementation in iron-replete pregnant women and young children in 2016 in Bethesda, Maryland. The starting poi...
How did human sound systems get to be the way they are? Collecting contributions implementing a wealth of methods to address this question, this special issue treats language and speech as being the r...
Formal Semantics and Distributional Semantics are two very influential semantic frameworks in Computational Linguistics. Formal Semantics is based on a symbolic tradition and centered around the inf...
This study was carried out in Loveh forest, north of Iran. We measured the quantitative characteristics of seedlings including collar diameter (measured at 1 cm above the soil surface), height, and cu...
These lecture notes survey some of the main ideas and tech- niques used in cryptographic voting systems. The write-up is geared to- wards readers with little knowledge of cryptography and it focuses o...
The NIH Office of Dietary Supplements (ODS) convened 3 workshops on iodine nutrition in 2014, each held in Rockville, Maryland. These workshops were part of the ongoing ODS Iodine Initiative, begun in...
Cette introduction place l’edition speciale sur la sante et la mortalite en Afrique francophone dans son contexte, en relevant les specificites de la transition sanitaire qui est en cours dans cette r...
The logical basis for information theory is the newly developed logic of partitions that is dual to the usual Boolean logic of subsets. The key concept is a "distinction" of a partition, an ordered pa...
Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of class...
An actual cause of some token effect is itself a (distinct) token event (or fact, or state of affairs, …) that helped to bring about that effect. The notion of an actual cause is different from that o...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

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

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...