QUANTIFIERS

作品数：9被引量：11H指数：3
导出分析报告
相关领域：语言文字更多>>
相关作者：陈文更多>>
相关机构：南京师范大学更多>>
相关期刊：《Communications in Theoretical Physics》《Frontiers of Computer Science》《World Journal of Clinical Oncology》《宏观语言学》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Optimality of T-gate for generating magic resource
《Communications in Theoretical Physics》2023年第4期1-9,共9页Xiaohui Li Shunlong Luo 
supported by the National Key R&D Program of China,Grant No.2020YFA0712700;the National Natural Science Foundation of China,Grant No.11875317。
In the stabilizer formalism of fault-tolerant quantum computation,stabilizer states serve as classical objects,while magic states(non-stabilizer states)are a kind of quantum resource(called magic resource)for promotin...
关键词：stabilizer formalism Pauli group Clifford group quantifiers of magic T-GATE 
Variant quantifiers in L_(3)-valued first-order logic
《Frontiers of Computer Science》2021年第5期151-159,共9页Wei LI Yuefei SUI 
the Open Fund of the State Key Laboratory of Software Development Environment(SKLSDE-2010KF-06);Beijing University of Aeronautics and Astronautics,and by the National Basic Research Program of China(973 Program)(2005CB321901).
Traditional first-order logic has four definitions for quantifiers,which are defined by universal and existential quantifiers.In L_(3)-valued(three-valued)first-order logic,there are eight kinds of definitions for qua...
关键词：L_(3)-valued(three-valued)first-order logic sequent QUANTIFIER soundness theorem completeness theorem 
Powerful quantifiers for cancer transcriptomics
《World Journal of Clinical Oncology》2020年第9期679-704,共26页Dumitru Andrei Iacobas 
Every day,investigators find a new link between a form of cancer and a particular alteration in the sequence or/and expression level of a key gene,awarding this gene the title of“biomarker”.The clinician may choose ...
关键词：Cancer biomarkers Cancer nodule Gene therapy Kidney cancer Prostate cancer RNA gene Thyroid cancer 
Noun Phrase in Mesqan
《宏观语言学》2019年第1期97-104,共8页Ousman Shafi 
Mesqan is a South Ethio-Semitic tonguewhich is mainly worn in day-to-day message by a people of on 179,737 communities in the Gurage Zone,Ethiopia,whose linguistic skin were not well expressed.The inner aspire of this...
关键词：QUANTIFIERS NUMERALS DETERMINERS demonstrative suffixes GENITIVE PHRASE possessive 
Quantum Coherence Quantifiers Based on Rényi α-Relative Entropy被引量：3
《Communications in Theoretical Physics》2017年第6期631-636,共6页邵连合 李永明 罗宇 席政军 
Supported by National Natural Science Foundation of China under Grant Nos.11271237,11671244,61671280;the Higher School Doctoral Subject Foundation of Ministry of Education of China under Grant No.20130202110001;Fundamental Research Funds for the Central Universities(GK201502004 and 2016CBY003);the Academic Leaders and Academic Backbones,Shaanxi Normal University under Grant No.16QNGG013
The resource theories of quantum coherence attract a lot of attentioI2 in recent years. Especially, the monotonicity property plays a crucial role here. In this paper we investigate the monotonicity property for the c...
关键词：quantum coherence RSnyi a-relative entropy MONOTONICITY mixedness 
Prognostic value and clinical correlations of18-fluorodeoxyglucose metabolism quantifiers in gastriccancer被引量：3
《World Journal of Gastroenterology》2015年第19期5901-5909,共9页
Supported by National Polish Science Centre,No.403238140
AIM： To investigate the correlations of pre-treatmentpositron emission tomography-computer tomography（PET-CT） metabolic quantifiers with clinical data ofunstratified gastric cancer （GC） patients.METHODS： Forty P...
关键词：STOMACH neoplasmas Positron-emissiontomography 18Fluorodeoxyglucose NEOPLASM STAGING DISTANT metastasis 
The Rational Man Model in Social and Political Studies： A Plea for Relevance被引量：1
《Journal of Literature and Art Studies》2015年第1期86-92,共7页Gerardo M. Acay 
This paper examines the assumptions of the Rational Man （RM） model familiar in social and political studies. It is observed that the model is too restrictive in its explaining events and behavior in social and polit...
关键词：rational MODEL logic QUANTIFIERS RELEVANCE JUSTIFICATION 
UNDERSTANDING QUANTIFIERS AND SCOPE INTERPRETATIONS IN A SECOND LANGUAGE被引量：4
《当代外语研究》2012年第12期86-93,共8页YAN LI 
This article reviews the main published studies on the acquisition of quantifiers and scope interpretations by adult second language learners,and discusses how this research affects the development of theories in seco...
关键词：英语教学 教学方法 课堂教学 阅读教学 
On the Satisfiability of Linear Systems of Equations for Quantifiers
《Science China Mathematics》1993年第4期385-393,共9页李廉 李慧陵 刘义循 
Project supported by the National Natural Science Foundation of China.
In this paper, the satisfiability problem of a linear system of equations for quantifiers is discussed. This problem arises from the mechanical theorem-proving on modules. A discriminating condition for this problem i...
关键词：module mechanical theorem-proving LINEAR system of EQUATIONS alge braic SYMBOLIC computation. 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部