检索结果-南通市图书馆

Pancreatic stromal Gremlin 1 expression during pancreatic tumorigenesis

Genes & Diseases 2022年第1期9卷 108-115页

作者： Joy M.Davis Binglu Cheng Madeline M.Drake Qiang Yu Baibing Yang Jing Li Chunhui Liu mamoun younes Xiurong Zhao Jennifer M.Bailey Qiang Shen Tien C.Ko Yanna Cao Department of Surgery The University of Texas Health Science Center at HoustonHoustonTX 77030USA Department of Pathology&Laboratory Medicine The University of Texas Health Science Center at HoustonHoustonTX 77030USA Department of Neurology The University of Texas Health Science Center at HoustonHoustonTX 77030USA Department of Internal Medicine The University of Texas Health Science Center at HoustonHoustonTX 77030USA Department of Genetics Louisiana State University Health Sciences CenterNew OrleansLA 70112USA

Chronic pancreatitis(CP)is a major risk factor of pancreatic ductal adenocarcinoma(PDAC).How CP promotes pancreatic oncogenesis remains unclear.A characteristic feature of PDAC is its prominent desmoplasia in the tumor microenvironment,composed of activated fibroblasts and *** can be characterized as M1 or M2,with tumor-inhibiting or-promoting functions,*** reported that Gremlin 1(GREM1),a key pro-fibrogenic factor,is upregulated in the stroma of *** current study aimed to investigate the expression of GREM1 and correlation between GREM1 and macrophages within the pancreas during chronic inflammation and the development of *** mRNA in situ hybridization,we detected GREM1 mRNA expression withinα-smooth muscle actin(SMA)-positive fibroblasts of the pancreatic *** designated FibroblastsGrem1+marginally increased from CP to pancreatic intraepithelial neoplasia(PanIN)and *** PDAC,FibroblastsGrem1+increased with higher pathological tumor stages and in a majority of PDAC subtypes ***,FibroblastsGrem1+positively correlated with total macrophages(MacCD68+)and M2 macrophages(M2CD163+)in *** begin exploring potential molecular links between FibroblastsGrem1+and macrophages in PDAC,we examined the expression of macrophage migration inhibitory factor(MIF),an endogenous counteracting molecule of GREM1 and an M1 macrophage promoting *** IHC staining of MIF,we found MIF to be expressed by tumor cells,positively correlated with GREM1;by IHC co-staining,we found MIF to be negatively correlated with M2CD163+*** findings suggest that GREM1 expression by activated fibroblasts may promote PDAC development,and GREM1/MIF may play an important role in macrophage phenotype.

关键词： Fibroblasts Gremlin 1 Macrophage migration inhibitory factor Macrophages

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Smart contract token-based privacy-preserving access control system for industrial Internet of Things

引用

Digital Communications and Networks 2023年第2期9卷 337-346页

作者： Weizheng Wang Huakun Huang Zhimeng Yin Thippa Reddy Gadekallu mamoun Alazab Chunhua Su Department of Computer Science City University of Hong KongHong Kong SAR999077China Division of Computer Science University of AizuFukushima965-8580Japan School of Information Technology and Engineering Vellore Institute of TechnologyTamil NaduIndia College of Engineering IT and EnvironmentCharles Darwin UniversityAustralia School of Computer Science and Cyber Engineering Guangzhou UniversityChina

Due to mobile Internet technology's rapid popularization,the Industrial Internet of Things(IIoT)can be seen everywhere in our daily *** IIoT brings us much convenience,a series of security and scalability issues related to permission operations rise to the surface during device ***,at present,a reliable and dynamic access control management system for IIoT is in urgent *** till now,numerous access control architectures have been proposed for ***,owing to centralized models and heterogeneous devices,security and scalability requirements still cannot be *** this paper,we offer a smart contract token-based solution for decentralized access control in IIoT ***,there are three smart contracts in our system,including the Token Issue Contract(TIC),User Register Contract(URC),and Manage Contract(MC).These three contracts collaboratively supervise and manage various events in IIoT *** also utilize the lightweight and post-quantum encryption algorithm-Nth-degree Truncated Polynomial Ring Units(NTRU)to preserve user privacy during the registration ***,to evaluate our proposed architecture's performance,we build a prototype platform that connects to the local ***,experiment results show that our scheme has achieved secure and dynamic access control for the IIoT system compared with related research.

关键词： Blockchain Privacy preservation Smart contract Industrial IoT

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Fractional flow reserve and non-hyperemic indices:Essential tools for percutaneous coronary interventions

引用

World Journal of Clinical Cases 2023年第10期11卷 2123-2139页

作者： Amine mamoun Boutaleb Chadi Ghafari Claudiu Ungureanu Stéphane Carlier Department of Cardiology Ibn Rochd University HospitalCasablanca 20230CasablancaMorocco Department of Cardiology Centre Hospitalier Universitaire Ambroise ParéMons 7000Belgium Department of Cardiology University of MonsMons 7000Belgium Catheterization Unit Jolimont HospitalLa Louvière 7100BelgiumBelgium

Hemodynamical evaluation of a coronary artery lesion is an important diagnostic step to assess its functional *** flow reserve(FFR)received a class IA recommendation from the European Society of Cardiology for the assessment of angiographically moderate *** evaluation of coronary artery disease offers improvement of the therapeutic strategy,deferring unnecessary procedures for lesions with a FFR>0.8,improving patients'management and clinical *** intervention,an optimal FFR>0.9 post stenting should be reached and>0.8 post drug eluting ***-hyperemic pressure ratio measurements have been validated in previous studies with a common threshold of *** might overestimate the hemodynamic significance of some lesions but remain useful whenever hyperemic agents are *** remains the gold standard reference for invasive assessment of *** illustrate this review with two cases introducing the possibility to estimate also non-invasively FFR from reconstructed 3-D angiograms by quantitative flow *** conclude introducing a hybrid approach to intermediate lesions(DFR 0.85-0.95)potentially maximizing clinical decision from all measurements.

关键词： Fractional flow measurements Coronary artery physiology Quantitative flow reserve Non-hyperemic pressure ratios

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL

引用

Frontiers of Computer Science 2019年第4期13卷 715-734页

作者： Zhibin YANG Jean-Paul BODEVEIX mamoun FILALI School of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 211106 China State Key Laboratory of Software Development Environment Beijing 100191 China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing 211106 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France

This paper presents a simple and safe compiler, called MinSIGNAL, from a subset of the synchronous dataflow language SIGNAL to C, as well as its existing en? hancements. The compiler follows a modular architecture, and can be seen as a sequence of source-to-source transformations applied to an intermediate representation which is named Synchronous Clocked Guarded Actions (S-CGA) and translation to sequential imperative code. Objective Caml (OCaml) is used for the implementation of MinSIGNAL. As a modem functional language, OCaml is adapted to symbolic computation and so, particularly suitable for compiler design and implementation of formal analysis tools. In particular, the safety of its type checking allows to skip some verification that would be mandatory with other languages. Additionally, this work is a basis for the formal verification of the compilation of SIGNAL with a theorem prover such as Coq.

关键词： synchronous languages SIGNAL Synchronous Clocked Guarded Actions (S-CGA) Objective Caml functional programming

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A comparative study of two formal semantics of the SIGNAL language

引用

Frontiers of Computer Science 2013年第5期7卷 673-693页

作者： Zhibin YANG Jean-Paul BODEVEIX mamoun FILALI School of Computer Science and Engineering Beihang University Beijing 100191 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France

SIGNAL is a part of the synchronous languages family, which are broadly used in the design of safety-critical real-time systems such as avionics, space systems, and nu- clear power plants. There exist several semantics for SIG- NAL, such as denotational semantics based on traces （called trace semantics）, denotational semantics based on tags （called tagged model semantics）, operational semantics presented by structural style through an inductive definition of the set of possible transitions, operational semantics defined by syn- chronous transition systems （STS）, etc. However, there is lit- tle research about the equivalence between these semantics. In this work, we would like to prove the equivalence be- tween the trace semantics and the tagged model semantics, to get a determined and precise semantics of the SIGNAL language. These two semantics have several different defini- tions respectively, we select appropriate ones and mechanize them in the Coq platform, the Coq expressions of the abstract syntax of SIGNAL and the two semantics domains, i.e., the trace model and the tagged model, are also given. The dis- tance between these two semantics discourages a direct proof of equivalence. Instead, we transform them to an intermediate model, which mixes the features of both the trace semantics and the tagged model semantics. Finally, we get a determined and precise semantics of SIGNAL.

关键词： synchronous language SIGNAL trace seman- tics tagged model semantics semantics equivalence Coq

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

SVM Model Selection Using PSO for Learning Handwritten Arabic Characters

引用

Computers, Materials & Continua 2019年第9期61卷 995-1008页

作者： mamouni El mamoun Zennaki Mahmoud Sadouni Kaddour Département Informatique Universitédes Sciences et de la Technologie d’Oran Mohamed Boudiaf USTO-MB BP 1505 El M’naoeur31000OranAlgérie

Using Support Vector Machine(SVM)requires the selection of several parameters such as multi-class strategy type(one-against-all or one-against-one),the regularization parameter C,kernel function and their *** choice of these parameters has a great influence on the performance of the final *** paper considers the grid search method and the particle swarm optimization(PSO)technique that have allowed to quickly select and scan a large space of SVM parameters.A comparative study of the SVM models is also presented to examine the convergence speed and the results of each *** is applied to handwritten Arabic characters learning,with a database containing 4840 Arabic characters in their different positions(isolated,beginning,middle and end).Some very promising results have been achieved.

关键词： SVM PSO handwritten Arabic grid search character recognition

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Structural damage assessment criteria for reinforced concrete buildings by using a Fuzzy Analytic Hierarchy process

引用

Underground Space 2018年第3期3卷 243-249页

作者： Khader M.Hamdia Mohammed Arafa mamoun Alqedra Institute of Structural Mechanics Bauhaus-Universitat Weimar99423 WeimarGermany Department of Civil Engineering The Islamic University of GazaGazaPalestine

Reinforced concrete structures are often exposed to many types of damages and deteriorations due to different causes and exposure conditions during their life *** of such structures is inherently subjected to uncertainty and ambiguity,where subjective opinion and incomplete numeric data are *** the damage assessment process,estimating the importance of assessment criteria is an important field in itself,and depends heavily on the experience and expertise of *** aim of this study is to present a fuzzy-based assessment model,which estimates the importance of structural assessment criteria for concrete *** work aims also at studying,identifying,and prioritizing assessment *** assessment criteria are based on close visual inspections and simple measurements that do not require special testing or long-term *** main assessment criteria include the state of building history,environmental conditions,structural capacity,durability,and professional involvement in *** of them has two levels of *** criteria weights are obtained based on the opinions of experts using the Fuzzy Analytic Hierarchy Process(FAHP)*** application of the FAHP method showed that the most important criteria is the structural capacity with a weighting factor of 50.1%,followed by the environmental condition as second,with a weighting factor of 22.5%.

关键词： Assessment criteria Uncertainty Fuzzy logic Analytic hierarchy process Building evaluation

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

The role of exclusive enteral nutrition in the management of orofacial granulomatosis in children

引用

世界儿科杂志:英文版 2016年第4期12卷 421-424页

作者： Mohamed Mutalib Khaled Bezanti mamoun Elawad Fevronia Kiparissi Department of Pediatric Gastroenterology Great Ormond Street Hospital NHS Foundation Trust

Background:Orofacial granulomatosis(OFG)is a term used to describe a persistent,painless swelling of lips and orofacial *** can be associated with ulceration,gingival hypertrophy and cobble stone appearance of the buccal *** is commonly associated with Crohn’s disease and can precede the intestinal manifestation of the *** enteral nutrition(EEN)is a recognized treatment for induction of remission for Crohn’s *** aim of this study was to review the use of EEN in the management of OFG in ***:Retrospective review of medical records of all children diagnosed with OFG between 2007 and 2012 was *** of comorbidities,progression to inflammatory bowel disease(IBD)and response to EEN was ***:Twenty-nine children were included,mean age at diagnosis was 9 years(standard deviation 3.9)*** children had isolated OFG and 19 had OFG and IBD,of which 12 presented with OFG and IBD and 7 developed IBD *** time to progression to IBD was 33 months(inter quartile range:9.8-85.5).Twenty-two children completed 6 weeks of EEN,and 19 showed clinical improvement in the OFG ***:EEN appears to be an effective treatment option for children with isolated OFG or OFG and IBD.

关键词： gastroenterology inflammatory bowel disease inflammation orofacial granulomatosis

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Towards a verified compiler prototype for the synchronous language SIGNAL

引用

Frontiers of Computer Science 2016年第1期10卷 37-53页

作者： Zhibin YANG Jean-Paul BODEVEIX mamoun FILALI Kai HU Yongwang ZHAO Dianfu MA College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 210016 China IRIT-CNRS Universite de Toulouse Toulouse 31062 France State Key Laboratory of Software Development Environment Beihang University Beijing 100191 China

SIGNAL belongs to the synchronous languages family which are widely used in the design of safety-critical real-time systems such as avionics, space systems, and nu- clear power plants. This paper reports a compiler prototype for SIGNAL. Compared with the existing SIGNAL com- piler, we propose a new intermediate representation （named S-CGA, a variant of clocked guarded actions）, to integrate more synchronous programs into our compiler prototype in the future. The front-end of the compiler, i.e., the transla- tion from SIGNAL to S-CGA, is presented. As well, the proof of semantics preservation is mechanized in the theo- rem prover Coq. Moreover, we present the back-end of the compiler, including sequential code generation and multi- threaded code generation with time-predictable properties. With the rising importance of multi-core processors in safety- critical embedded systems or cyber-physical systems （CPS）, there is a growing need for model-driven generation of multi- threaded code and thus mapping on multi-core. We propose a time-predictable multi-core architecture model in archi- tecture analysis and design language （AADL）, and map the multi-threaded code to this model.

关键词： synchronous languages SIGNAL guarded ac-tions verified compiler Coq architecture analysis and designlanguage (AADL)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Effect of Replacing Vanadium by Niobium and Iron on the Tribological Behavior of HIPed Titanium Alloys

引用

Acta Metallurgica Sinica(English Letters) 2017年第11期30卷 1089-1099页

作者： mamoun Fellah Linda Aissani Mohammed Abdul Samad Alain Iosts Touhami Mohamed Zine Alex Montagnes Corinne Nouveau Mechanical Engineering Department ABBES Laghrour University P.O. 1252 40004 Khenchela Algeria Tribology Materials Surface and Interfaces GroupLaboratory of Foundry BADJI Mokhtar University BO 12CP 23000 Annaba Algeria Physics Department ABBES Laghrour University P.O.1252 40004 Khenchela Algeria Mechanical Engineering Department KFUPM Box 1180Dhahran 31261 Kingdom of Saudi Arabia Laboratory of Mechanics Surfaces and Processing Materials ARTS ET METIERS ParisTech Boulevard Louis XIV 859046 Lille Cedex France La.Bo.Ma.P ENSAM Rue Porte de Paris 71250 ClunyFrance

This study aims to examine the effect of replacing vanadium by niobium and iron on the tribological behavior of hot-isostatic-pressed titanium alloy （Ti-6Al-4V） biomaterial, using a ball-on-disk-type oscillating tribometer, under wet conditions using physiological solution in accordance with the ISO7148 standards. The tests were carried out under a normal load of 6 N, with an AISI 52100 grade steel ball as a counter face. The morphological changes and structural evolution of the nanoparticle powders using different milling times （2, 6, 12 and 18 h） were studied. The morphological characterization indicated that the particle and crystallite size continuously decrease with increasing milling time to reach the lowest value of 4 nm at 18-h milling. The friction coefficient and wear rate were lower in the samples milled at 18 h （0.226, 0.297 and 0.423; and 0.66 × 10-2, 0.87 × 10-2 and 1.51 × 10-2 μm3 N-1 i, tm-1） for Ti-6Al-4Fe, Ti-6A1-7Nb and Ti-6Al-4V, respectively. This improvement in friction and wear resistance is attributed to the grain refinement at 18-h milling. The Ti-6Al-4Fe samples showed good tribological performance for all milling times.

关键词： Tribological behavior Titanium alloys Wear testing Nanotribology Milling time Hot isostatic pressing(HIPing)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：