检索结果-南通市图书馆

b cell development is critically dependent on NFATc1 activity

Cellular & Molecular Immunology 2019年第5期16卷 508-520页

作者： Sabrina Giampaolo Gabriela Wojcik Stefan Klein-Hessling Edgar Serfling Amiya K.Patra Department of Molecular Pathology Institute of PathologyUniversity of WürzburgJosef Schneider-Str.297080 WürzburgGermany Institute of Translational and Stratified Medicine Faculty of Medicine and DentistryUniversity of PlymouthPlymouth PL68BUUK Comprehensive Cancer Center Mainfranken University of WürzburgJosef Schneider-Str.697080 WürzburgGermany

b cell development in bone marrow is a precisely regulated complex *** successive stages of differentiation,which are regulated by a multitude of signaling pathways and an array of lineage-specific transcription factors,the common lymphoid progenitors ultimately give rise to mature b *** to early thymocyte development in the thymus,early b cell development in bone marrow is critically dependent on IL-7 *** this IL-7-dependent stage of differentiation,several transcription factors,such as E2A,EbF1,and Pax5,among others,play indispensable roles in b lineage specification and *** recent studies have implicated several other transcription factors in b cell development,the role of NFATc1 in early b cell developmental stages is not ***,using multiple gene-manipulated mouse models and applying various experimental methods,we show that NFATc1 activity is vital for early b cell *** of NFATc1 activity in pro-b cells suppresses EbF1 expression,impairs immunoglobulin gene rearrangement,and thereby prebCR formation,resulting in defective b cell ***,deficiency in NFATc1 activity arrested the pro-b cell transition to the pre-b cell stage,leading to severe b cell *** findings suggest that,along with other transcription factors,NFATc1 is a critical component of the signaling mechanism that facilitates early b cell differentiation.

关键词： Differentiation EbF1 NFATc1 pro-b Pre-b

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Growth differentiation factor-15 combined with N-terminal prohormone of brain natriuretic peptide increase 1-year prognosis prediction value for patients with acute heart failure: a prospective cohort study

引用

Chinese Medical Journal 2019年第19期132卷 2278-2285页

作者： Ji Hao Iokfai Cheang Li Zhang Kai Wang Hui-Min Wang Qian-Yun Wu Yan-Li Zhou Fang Zhou Dong-Jie Xu Hai-Feng Zhang Wen-Ming Yao Xin-Li Li Department of Cardiology The First Affiliated Hospital of Nanjing Medical UniversityNanjingJiangsu 210029China Department of Cardiology The Second Affiliated Hospital of Xuzhou Medical CollegeXuzhouJiangsu 221002China

background:Clinical assessment and treatment guidance for heart failure depends on a variety of *** objective of this study was to investigate the prognostic predictive value of growth differentiation factor-15(GDF-15)and N-terminal prohormone of brain natriuretic peptide(NT-probNP)in assessing hospitalized patients with acute heart failure(AHF).Methods:In total,260 patients who were admitted for AHF in the First Affiliated Hospital of Nanjing Medical University were enrolled from April 2012 to May *** history and blood samples were collected within 24 h after the *** primary endpoint was the all-cause mortality within 1 *** patients were divided into survival group and death group based on the *** established mortality risk factors and serum GDF-15 level,receiver-operator characteristic(ROC)analyses were *** regression analyses were used to further analyze the combination values of NT-probNP and ***:baseline GDF-15 and NT-probNP were significantly higher amongst deceased than those in survivors(PprobNP was 0.682(95%CI:0.622–0.738,Pbetween the two markers(P=0.650).based on the optimal cut-offs(GDF-15:4526.0 ng/L;NT-probNP:1978.0 ng/L),the combination of GDF-15 and NT-probNP increased AUC for 1-year mortality prediction(AUC=0.743,95%CI:0.685–0.795,Pprognostic marker in patients with AHF,is not inferior to *** the two markers could provide an early recognition of high-risk patients and improve the prediction values of AHF long-term *** trial registration:ChiCTR-ONC-12001944,http://***.

关键词： Growth differentiation factor-15 Heart failure N-terminal pro-b type natriuretic peptide prognosis

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于Event-b的细化需求建模及验证

引用

长治学院学报 2019年第2期36卷 37-43页

作者：史逸轩王鸿斌忻州师范学院计算机系

Event-b通过为每个event添加环境、变量及常量等限制条件,从而细化及快速扩展系统功能,避免数据冗余问题。以账单分摊系统为例,通过添加成员支付账单、账单全部付清及成员加入和退出小组的日期及时间等三点细分需求,详细描述了使用Rodi... 详细信息

Event-b通过为每个event添加环境、变量及常量等限制条件,从而细化及快速扩展系统功能,避免数据冗余问题。以账单分摊系统为例,通过添加成员支付账单、账单全部付清及成员加入和退出小组的日期及时间等三点细分需求,详细描述了使用Rodin工具集细化需求建模及通过pro-b animator进行规范性验证的方法和过程。

关键词： Event-b 细化 pro-b Rodin 扩展系统功能

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于Event-b方法的需求建模及验证

引用

忻州师范学院学报 2019年第2期35卷 24-31页

作者：史逸轩忻州师范学院山西忻州034000

Event-b是国外新兴的一种通过形式化方法,主要用于对系统功能性需求建模并验证,在Rodin工具集中,通过给出环境、变量、常量和相关事件,对每一个抽象需求建模。其后,使用pro-b animator进行验证。它通过逻辑分析产生验证规约并且自动抛... 详细信息

Event-b是国外新兴的一种通过形式化方法,主要用于对系统功能性需求建模并验证,在Rodin工具集中,通过给出环境、变量、常量和相关事件,对每一个抽象需求建模。其后,使用pro-b animator进行验证。它通过逻辑分析产生验证规约并且自动抛除无关紧要的验证规约来取代传统的编译,解决了传统的软件工程过程中系统分析与设计阶段非形式化方法带来的低效率,错误率高,不易纠错,不灵活,编码复杂以及常常不够符合实际的缺陷。以账单分摊系统为例,详细描述了Event-b方法的需求建模和规范化验证的思路和过程方法。

关键词：形式化方法 Event-b pro-b Rodin 逻辑分析

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：