搜索筛选:
搜索耗时9.2649秒,为你在为你在102,285,761篇论文里面共找到 790 篇相符的论文内容
发布年度:
Machine Proving System for Mathematical Theorems based on Coq-Machine Realization of the Axiomatic S
[会议论文] 作者：Sun Tianyu,
来源：2017中国智能物联系统会议 年份：2017
Using the interactive theorem proving tool Coq,we completed the construction of the machine proving system of the axiomatic set theory.The axiomatic set theory used in this paper refers to Kelleys axi...
Multi-user quantum private comparison with scattered preparation and one-way convergent transmission
[期刊论文] 作者：TianYu Ye,ZhaoXu Ji,,
来源：Science China(Physics,Mechanics & Astronomy) 年份：2017
Quantum private comparison(QPC) aims to accomplish the equality comparison of the secrets from different users without disclosing their genuine contents by usin...
[会议论文] 作者：Tianyu Shu,Huizhen Wu,
来源：第十二届全国分子束外延学术会议 年份：2017
...
[会议论文] 作者：Sun Tianyu,Yu Wensheng,
来源：2017中国智能物联系统会议 年份：2017
Under the axiomatic set theory frame,this paper implements the machine proving of the equivalence between the Axiom of Choice and Tukey lemma using Coq as an interactive theorem proving tool.The provi...
[期刊论文] 作者：Bowen Zheng,Guiling Sun,Tianyu,
来源：电脑和通信(英文) 年份：2017
We propose the Forward-Backward Synergistic Acceleration Pursuit (FBSAP) algorithm in this paper. The FBSAP algorithm inherits the advantages of the Forward-Bac...
[期刊论文] 作者：TianYu Zheng,YongHong Duan,Wei,
来源：地球与行星物理：英文版 年份：2017
...
Enhanced properties of solid solution （CeZr）02 modified with metal oxides for catalytic oxidation of
[期刊论文] 作者：Tianyu Guo,Jianping Du,Jinting,
来源：中国化学工程学报：英文版 年份：2017
The solid solution(Ce Zr)O_2 catalyst was synthesized, and it was modified with metal oxides by incipient impregnation. Morphology and structure were characteri...
Enhanced properties of solid solution (CeZr)O2 modified with metal oxides for catalytic oxidation of
[期刊论文] 作者：Tianyu Guo,Jianping Du,Jinting,
来源：城市道桥与防洪 年份：2017
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥...
[期刊论文] 作者：DongJin-Pei,GaoWen,TengGui-Gen,TianYu,WangHua-Hong,
来源：中华医学杂志英文版 年份：2017
...
Feasibility of Atrial AutoCaptureTM to Detect Atrial Evoked Response: Experience from 102 Patients I
[期刊论文] 作者：Hai-Long Si,Qin Qin,Bing-Rang,
来源：中华医学杂志（英文版） 年份：2017
Background:Atrial AutoCaptureTM (ACapTM) was a new technological development that confirmed atrial capture by analyzing evoked response (ER) with a new method-p...
[期刊论文] 作者：Qin Zhang,
来源：教育理论与管理杂志(英文) 年份：2017
In order to improve the service level of the University Library and increase the utilization rate of the students' libraries, the domestic libraries began t...
The value of ultrasound contrast for assessing cancer cell proliferation and invasion function as we
[期刊论文] 作者：Qin Yang,
来源：海南医科大学学报(英文版) 年份：2017
Objective:To study the value of ultrasound contrast for assessing cancer cell proliferation and invasion as well as angiogenesis in lesions of in patients with...
Effect of anxiety and depression on pulmonary function as well as airway inflammation and remodeling
[期刊论文] 作者：Qin Yang,
来源：海南医科大学学报(英文版) 年份：2017
Objective:To study the effect of anxiety and depression on pulmonary function as well as airway inflammation and remodeling in patients with bronchial asthma.Me...
Impaired inactivation of digestive proteases: The possible key factor for the high susceptibility of
[期刊论文] 作者：Xiaofa Qin,,
来源：World Journal of Gastrointestinal Pathophysiology 年份：2017
Recent study shows that germ-free and antibiotic-treated animals are highly susceptible to gut epithelial injury. This paper addresses that impaired inactivatio...
Effects of intravenous inhalational anesthesia on the hemodynamic homeostasis as well as postoperati
[期刊论文] 作者：Yan Qin,
来源：海南医科大学学报(英文版) 年份：2017
Objective: To explore the effects of intravenous inhalational anesthesia on the hemodynamic homeostasis as well as postoperative brain function and Th1/Th2 immu...
[期刊论文] 作者：Qin Tian,
来源：现代国际关系：英文版 年份：2017
...
Twist and YB-1 gene expression in cervical cancer and precancerous tissue and their correlation with
[期刊论文] 作者：Qin Tian,
来源：海南医科大学学报(英文版) 年份：2017
Objective:To study the correlation of Twist and YB-1 gene expression in cervical cancer and precancerous tissue with cell invasion.Methods:Cervical cancer tissu...
[期刊论文] 作者：LIU Qin,
来源：文学与艺术研究：英文版 年份：2017
...
[期刊论文] 作者：QIN HONG,,
来源：China Today 年份：2017
...
[期刊论文] 作者：Qin Chenghua,
来源：学术界 年份：2017
...
相关搜索：
