检索结果-南通市图书馆

Model-theoretical foundation of action and progression

Science China(Technological Sciences) 1997年第4期40卷 430-438页

作者：田启家史忠植 Institute of Computing Technology Chinese Academy of Sciences Beijing 100080 China

Action is one of the most important concepts in computer science, and situation calculus is the standard formalism for representing and reasoning about actions and their effects. Situation calculus essentially could be presented in a logic framework. Based on the framework LR, such a logic framework is given. Minimal action theory is proposed and studied from the point of view of model theory. By theorems of mathematical logic, some results about the definability about the progression.in minimal action theory are obtained.

关键词： situation calculus many-sorted logic model theory action progression.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

ON THE LEAST PRIME IN AN ARITHMETICAL progression.Ⅲ)

引用

Science China Mathematics 1989年第7期32卷 654-673页

作者：陈景润刘健民 Institute of Mathematics Academia Sinica

Let D be a large integer, and P(D,K) the least prime in the progression.{Dn + K:n∈ N, 0

关键词： the least prime arithmetical progression.

来源：

维普期刊数据库

同方期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Pulmonary Large Cell Carcinoma Displays High Expression of EMMPRIN and VEGF

引用

Chinese Journal of Clinical Oncology 2008年第5期5卷 333-338页

作者： Yushuang Zheng Miao Yu Huachuan Zheng Yifu Guan Yasuo Takano Department of Biochemistry and Molecular Biology College of Basic Medicine China Medical University Shenyang 110001 Liaoning Province China. Department of Surgical Oncology The Affiliated First Hospital of China Medical University Shenyang 110001 Liaoning Province China Department of Diagnostic Pathology Graduate School of Medicine and Pharmaceutical Science University of Toyama Toyama Japan

OBJECTIVE To investigate the expression of extracellular matrix metalloproteinase inducer(EMMPRIN) and vascular endothelial growth factor(VEGF) in lung carcinomas,and to clarify their roles in carcinoma *** Expression of EMMPRIN and VEGF was examined with tissue microarrays(TMAs) of lung carcinomas(n = 181),and their suppression in adjacent normal lung samples(n = 40) were determined by *** results were compared with clinicopathological fi ndings for the same *** Both EMMPRIN and VEGF were occasionally ex-pressed in pseudostratif ied columnar epithelium and frequently in lung ***,EMMPRIN and VEGF displayed higher levels in large(LCC) cell carcinomas than adenocarcinoma(AD),squamous(SQ) and small cell carcinomas(SCC)(P < 0.05).EMMPRIN was more highly expressed in SQ as compared with AD(P < 0.05),while the converse was true for VEGF(P < 0.05).Binding was generally more intense for EMMPRIN in samples from male compared to female patients(P < 0.05),whereas the lat-ter tended to exhibit more VEGF expression(P < 0.05).Positive as-sociations of VEGF expression with the TNM stage and amounts of EMMPRIN were noted in the lung carcinomas(P < 0.05).CONCLUSION EMMPRIN and VEGF possibly contribute to physiological repair of normal lung and histogenesis of lung *** proteins might be involved in the molecular basis for differences in the incidence of lung carcinoma between men and women.

关键词： lung carcinoma EMMPRIN VEGF progression.

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A Five-Year Journey

引用

China Today 2022年第12期71卷 26-30页

作者： MENG JIAXIN 不详

While China remains committed to its course of opening up,the CIIE also sees exhibitors committed to being a part of the onward progression.

关键词： committed progression. Five

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：