检索结果-南通市图书馆

neural Regeneration Research 2025年第9期20卷 2581-2582页

作者： Marianne Bardy-Lagarde Narimène Asbelaoui Abdel Mouman Ghoumari UMR1195 “Diseases and Hormones of the Nervous System”Inserm and University Paris-SaclayKremlin-BicêtreFrance

Multiple sclerosis(MS)is the most common chronic disease of the central nervous system(CNS)in young adults and represents the first cause of severe handicap,originally non-traumatic(Oh et al.,2018).MS is chara cterized by the infiltration of auto reactive lymphocytes specific to myelin through the blood-brain barrier,which results in the appearance of inflammatory demyelinating lesions caused by the death of the central nervous system myelinating cells,oligodendrocytes(Oh et al.,2018).There is a prevalence sexual with a ratio of three times more affected women than men.

关键词： myelin CXCR4

Estimating costs of salvage logging for large-scale burned forest lands: A case study on Turkey's Mediterranean coast

在线全文

学校读者我要写书评

暂无评论

Journal of Forestry Research 2021年第5期32卷 1899-1909页

作者： neşe Gülci Faculty of Forestry Kahramanmaras Sutcu Imam University46100 KahramanmarasTurkey

Different forest fires causing different degrees of effects occur in fire-sensitive forests due to various reasons such as climate *** as well as harmful aspects of forest fires are a multi-disciplinary research *** information systems(GIS)and remote sensing(RS)methods offer a number of benefits for researchers and operators in the field of forest fire *** present study analyses timber pricing based on forest contractor demands of post-salvage logging *** effect of timber obtained from compartment units on producers’pricing policy was *** forest fire area(2500 ha)located in Antalya in Turkey was selected as the main study *** parameters(aspect,slope and slope position),stand types(diameter class and crown closure),and burn severity were analyzed together using GIS and R software packages.A multi-linear regression model(R^(2)=0.752)demonstrated that factors that had the most impact on pricing were slope position,aspect,stand age,crown closure and burn *** model can be used to estimate salvage logging prices in Calabrian pine(Pinus brutia Ten.)stands with similar *** administrators and contractors may readily address the unit price of timber by estimating approximate costs in a given forest area for which they are going to *** will help reduce operational planning times of harvesting procedures in burned stands.

关键词： Timber extraction Forest fires Stumpage sale Cost estimation Sustainability Crown fire

Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2010年第6期25卷 1305-1320页

作者： Osman Hasan Sofiène Tahar Department of Electrical and Computer Engineering Concordia University

Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational ***,such analyses are performed using paper-and-pencil proofs and the results are sometimes validated using simulation *** techniques are informal and thus may result in an inaccurate *** this paper,we propose a formal technique for analyzing the expected time complexity of algorithms using higher-order-logic theorem *** approach calls for mathematically modeling the algorithm along with its inputs,using indicator random variables,in higher-order *** model is then used to formally reason about the expected time complexity of the underlying algorithm in a theorem *** paper includes the higher-order-logic formalization of indicator random variables,which are fundamental to the proposed *** order to illustrate the practical effiectiveness and utilization of the proposed infrastructure,the paper also includes the analysis of algorithms for three well-known problems,i.e.,the hat-check problem,the birthday paradox and the hiring problem.

关键词： formal method higher-order logic probability theory theorem proving birthday paradox hat-check problem hiring problem

SYNTHESIS OF SOLUBLE POLY(3,4-DIHYDROXY-o-TOLYLEne):REDOX POLYMER

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Polymer Science 2006年第1期24卷 41-46页

作者： Sad Moulay Fatima M'zyène Laboratoire de Chimie-Physique Moléculaire et Macromoléculaire Faculté des Sciences de l'Ingénieur Département de Chimie Industrielle Université de BlidaRoute de SoumèaB.P.270Blida 09000Algeria. Laboratoire de Chimie-Physique Moléculaire et Macromoléculaire Faculté des Sciences de l'Ingénieur Département de Chimie Industrielle Université de BlidaRoute de SoumaB.P.270Blida 09000Algeria.

Conventional chloromethylation, paraformaldehyde/hydrogen chloride in acetic acid medium, was applied to 1,2- dimethoxybenzene. Chloroform-soluble poly（3,4-dimethoxy-o-tolylene） was obtained with an intrinsic viscosity of 0.034 dL g^-1. The polymer was evaluated as a condensation redox polymer precursor formed by a Friedel-Crafts reaction. Cleavage of the methoxy groups present in this polymer resulted in poly（3,4-dihydroxy-o-tolylene） which manifested a great air-oxidation resistance. The redox property of the latter polymer was found to be 1017 mV by potentiometric titration with 0.05 N ceric ammonium nitrate at 25℃. This midpotential was compared to that of catechol, a monomeric analogue, under the same titration conditions.

关键词： Poly(3,4-dimethoxy-o-tolylene) Poly(3,4-dihydroxy-o-tolylene) Redox polymer.

Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2013年第2期28卷 217-231页

作者： Liya Liu Osman Hasan Sofiène Tahar Department of Electrical and Computer Engineering Concordia University

Markov chains are extensively used in modeling different aspects of engineering and scientific systems, such as performance of algorithms and reliability of systems. Different techniques have been developed for analyzing Markovian models, for example, Markov Chain Monte Carlo based simulation, Markov Analyzer, and more recently probabilistic model- checking. However, these techniques either do not guarantee accurate analysis or are not scalable. Higher-order-logic theorem proving is a formal method that has the ability to overcome the above mentioned limitations. However, it is not mature enough to handle all sorts of Markovian models. In this paper, we propose a formalization of Discrete-Time Markov Chain （DTMC） that facilitates formal reasoning about time-homogeneous finite-state discrete-time Markov chain. In particular, we provide a formal verification on some of its important properties, such as joint probabilities, Chapman-Kolmogorov equation, reversibility property, using higher-order logic. To demonstrate the usefulness of our work, we analyze two applications： a simplified binary communication channel and the Automatic Mail Quality Measurement protocol.

关键词： discrete-time Markov chain higher-order logic probability theory theorem prover

Direct Ni Electroless Metallization of Poly(etherimide) without Using Palladium as a Catalyst

在线全文

学校读者我要写书评

暂无评论

材料热处理学报 2004年第05B期25卷 1106-1111页

作者： Marlène Charbonnier Maurice Romand Yves Goepfert Laboratoire de Sciences et Ingenierie des Surfaces Universite Claude Bernard - Lyon 1 69622 Villeurbanne Cedex FranceLaboratoire de Sciences et Ingenierie des Surfaces Universite Claude Bernard - Lyon 1 69622 Villeurbanne Cedex FranceUMR 5180 des Sciences Analytiques Universite Claude Bernard - Lyon 1 69622 Villeurbanne Cedex France

Nickel or copper electroless metallization of polymers needs the grafting of a catalyst (palladium in the Pd(0) oxidation state) on the substrate surface to be coated. Our previous works on this topic [1-5] have allowed to develop a simple, tin-free method to attach Pd(+2) species from a palladium chloride (PdCl2) solution on any insulating surface and subsequently to reduce them, in the wet way, into the Pd(0) oxidation state. This Pd(0) state of the catalyst allows an instantaneous initiation of the Ni or Cu deposit by immersion in a plating bath. As palladium is an expensive chemical, it appears interesting to replace it by Ni(0) or Cu(0) species which are catalysts of their own ion reduction. Concerning the direct Ni electroless plating, the polymer surface (PI) was made catalytic for the electroless process by deposition (spin- coating or dipping) of an ultra-thin film of an organic nickel salt in an alcoholic solution. The chemical reduction of this salt, checked by XPS, was performed by chemical or photochemical ways and by plasma. Under these conditions, the initiation, by autocatalysis, of the Ni film deposition in an industrial plating bath was immediate i.e. without any initiation time. The film obtained was homogeneous, dense, bright, well-adhering up to thicknesses reaching

关键词：镍非电金属喷镀等离子处理 XPS 聚酰亚胺

Stability of Traveling Waves Solutions for Nonlinear Cellular neural networks with Distributed Delays

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2022年第1期35卷 18-31页

作者： GUO Yingxin GE Shuzhi Sam ARBI Adnène School of Mathematical Sciences Qufu Normal UniversityQufu 273165China Department of Electrical and Computer Engineering National University of Singapore117576Singapore National School of Advanced Sciences and Technologies of Borj Cedria University of CarthageEl Khawarizmi StreetCarthage 2078Tunisia Laboratory of Engineering Mathematics(LR01ES13) Tunisia.

This paper investigates the exponential stability of traveling wave solutions for nonlinear delayed cellular neural *** a continuity of the past work(Wu and Niu,2016;Yu,et al.,2011)on the existence and uniqueness of the traveling wave solutions,it is very reasonable and interesting to consider the exponential stability of the traveling wave *** the weighted energy method,comparison principle and the first integral mean value theorem,this paper proves that,for all monotone traveling waves with the wave speed cc2*>0,the solutions converge time-exponentially to the corresponding traveling waves,when the initial perturbations decay at some fields.

关键词： Cellular delayed neural networks comparison principle stability analysis traveling waves solutions

同方期刊数据库

Isolation and characterization of facultative mixotrophic ammonia-oxidizing bacteria from constructed wetlands

在线全文

学校读者我要写书评

暂无评论

Journal of Environmental Sciences 2011年第10期23卷 1699-1708页

作者： Soulwène Kouki neila Saidi Fadhel M'hiri Houda Nasr Hanène Cherif Hadda Ouzari Abdennaceur Hassen Laboratory of Treatment and Water Recycling Centre of Research and Water TechnologiesTechnopark of Borj-CedriaBP 2738020SolimanTunisia Unit of Transfer and Innovation Technologies Tunis International Centre for Environmental TechnologiesBoulevard of the Leader Yasser ArafatLa Charguia1080TunisTunisia Laboratory of Microbiology and Active Biomolecules Department of BiologyFaculty of Sciences of Tunis2092TunisTunisia

Autotrophic ammonia-oxidizing bacteria （AOB） have been widely studied in constructed wetlands systems, while mixotrophic AOB have been less thoroughly examined. Heterotrophic bacteria were isolated from wastewater and rhizospheres of macrophytes of constructed wetlands, and then cultivated in a mixotrophic medium containing ammonium and acetic acid. A molecular characterization was accomplished using ITS-PCR amplification, and phylogenetic analysis based on 16S rRNA gene Sequences. Results showed the presence of 35 bacteria, among 400 initially heterotrophic isolates, that were able to remove ammonia. These 35 isolates were classified into 10 genetically different groups based on ITS pattern. Then, a collection of 10 isolates were selected because of their relatively high ammonia removal efficiencies （ARE≥ 80%） and their phylogenetic diversity. In conditions of mixotrophy, these strains were shown to be able to grow （increase of optical density OD660 during incubation with assimilation of nitrogen into cellular biomass） and to oxidize ammonia （important ammonia oxidation efficiencies, AOE between 79% and 87%）. Among these facultative mixotrophic AOB, four isolates were genetically related to Firmicutes （Bacillus and Exiguobacterium）, three isolates were affiliated to Actinobacteria （Arthrobacter） and three other isolates were associated with Proteobacteria （Pseudomonas, Ochrobactrum and Bordetella）.

关键词： ammonia-oxidizing bacteria mixotroph constructed wetlands ammonia oxidation macrophytes' rhizosphere

How to derive a geovisualization from an application data model: an approach based on Semantic Web technologies

在线全文

学校读者我要写书评

暂无评论

International Journal of Digital Earth 2021年第7期14卷 874-898页

作者： Matthieu Viry Marlène Villanova-Oliver Univ.Grenoble Alpes CNRSGrenoble INP(Institute of Engineering Univ.Grenoble Alpes)LIGGrenobleFrance

While ontological modelling and Semantic Web technologies are sometimes used to describe knowledge domains with a spatial component,there is still a lack of semantics to describe how to present this knowledge geovisually to the end user and how to automatize the *** this paper,we first present vocabularies to describe at a high level the elements that make up a *** then propose a method that describes at a semantic level how to obtain a geovisualization from an existing data *** method is based on our vocabularies and on a set of semantic rules encoding rich and complex operations on *** leads to the derivation of ontological knowledge,ready to be exploited to automate the creation of a *** method is implemented in a framework that uses Semantic Web *** singularity and the strength of our proposal is that it enables to describe a geovisualization through a RDF specification file,which once loaded in our system makes the geovisualization directly available for use from a Web *** result is obtained by extending a priori an application data model with ad hoc geovisualization semantics features and rules.

关键词： Knowledge representation Semantic Web geovisualization ontologies rule-based system

Disaster Risk Resilience:Conceptual Evolution,Key Issues,and Opportunities

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

International Journal of Disaster Risk Science 2022年第3期13卷 330-341页

作者： Marie-Hélène Graveline Daniel Germain Institut des Sciences de l’Environnement(ISE) Universitédu QuébecàMontréalMontréalH3C 3P8Canada Department of Geography Universitédu QuébecàMontréalMontréalH3C 3P8Canada

Resilience has become a cornerstone for risk management and disaster ***,it has evolved extensively both etymologically and conceptually in time and across scientific *** concept has been(re)shaped by the evolution of research and practice *** the opposite of vulnerability for a long time,resilience was first defined as the ability to resist,bounce back,cope with,and recover quickly from the impacts of *** avoid the possible return to conditions of vulnerability and exposure to hazards,the notions of post-disaster development,transformation,and adaptation(build back better)and anticipation,innovation,and proactivity(bounce forward)were then ***,resilience is characterized by a multitude of components and several *** present a selection of 25 components used to define resilience,and an interesting linkage emerges between these components and the dimensions of risk management(prevention,preparedness,response,and recovery),offering a perspective to strengthen resilience through the development of *** its potential,resilience is subject to challenges regarding its operationalization,effectiveness,measurement,credibility,equity,and even its ***,it offers applicability and opportunities for local communities as well as an interdisciplinary look at global challenges.

关键词： Community Disaster risk Resilience Sustainable development