检索结果-南通市图书馆

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

A HYBRID MODEL OF KNOWLEDGE MANAGEMENt FOR neW SERVICE DEVELOPMENt

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science and Systems Engineering 2016年第4期25卷 424-447页

作者： august tsai Department of Industrial Management College of Management Chien Hsin University of Science and Technology Taoyuan32097 Taiwan China

Although many theories regarding the implementation of knowledge management （KM） in organizations have been proposed and studied, most applications tend to stand alone without incorporating the business processes. Different categories of knowledge provide different benefits and how to integrate various categories of KM into a hybrid approach as an effective KM manner remains strategically important, and yet is still understudied. therefore, in this paper a hybrid model that integrates principal KM applications for new service development （NSD） and the measurement of the resulting f＇mancial benefits have been developed. the proposed KM model incorporates newsgroups, knowledge forums, knowledge asset management and knowledge application processes as a hybrid means for sharing organizational knowledge along two axes, explicit vs. implicit and individual vs. collective. One of the largest management consulting companies in taiwan, China, whose process model of NSD was standing alone with KM applications, was selected for the case study. A set of hybrid KM processes was developed to implement the proposed KM model, and it illustrates an application with greater financial benefits for integrating hybrid KM practices into the business process. Based on knowledge value added （KVA） validation, the proposed KM model provides a new operating system for sharing NSD knowledge within an organization. through the case study by measuring the achieved financial results, the proposed KM model is found to provide an exclusive hybrid platform with an empirical process model to address innovative approaches and practical values of KM within an organization.

关键词： Knowledge management new service development (NSD) newsgroup knowledge forum knowledge asset knowledge application process knowledge value added (KVA)

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

Viral hepatitis:Past,present,and future

在线全文

学校读者我要写书评

暂无评论

World Journal of Gastroenterology 2022年第14期28卷 1405-1429页

作者： Matthew august Odenwald Sonali Paul Department of Medicine Section of GastroenterologyHepatologyand NutritionCenter for Liver DiseasesUniversity of ChicagoChicagoIL 60637United States

Each hepatitis virus—Hepatitis A,B,C,D,E,and G—poses a distinct scenario to the patient and clinician *** the discovery of each virus,extensive knowledge regarding epidemiology,virologic properties,and the natural clinical and immunologic history of acute and chronic infections has been *** discoveries about host immunologic responses to acute and chronic viral infections,combined with virologic data,has led to vaccines to prevent Hepatitis A,B,and E and highly efficacious antivirals for Hepatitis B and *** therapeutic breakthroughs are transforming the fields of hepatology,transplant medicine in general,and public and global *** notably,there is even an ambitious global effort to eliminate chronic viral hepatitis within the next *** attainable,there are many barriers to this goal that are being actively investigated in basic and clinical labs on the local,national,and international ***,we discuss pertinent clinical information and recent organizational guidelines for each of the individual hepatitis viruses while also synthesizing this information with the latest research to focus on exciting future directions for each virus.

关键词： Viral Hepatitis Hepatitis A Hepatitis B Hepatitis C Hepatitis D Hepatitis E Hepatitis G

Structural and chemical mechanisms governing stability of inorganic Janus nanotubes

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

npj Computational Materials 2021年第1期7卷 380-387页

作者： Felix t.Bölle august E.G.Mikkelsen Kristian S.thygesen tejs Vegge Ivano E.Castelli Department of Energy Conversion and Storage Technical University of DenmarkKgs.LyngbyDenmark Department of Physics Technical University of DenmarkKgs.LyngbyDenmark

One-dimensional inorganic nanotubes hold promise for technological applications due to their distinct physical/chemical properties,but so far advancements have been hampered by difficulties in producing single-wall nanotubes with a well-defined *** this work we investigate,based on Density Functional theory(DFt),the formation mechanism of 135 different inorganic nanotubes formed by the intrinsic self-rolling driving force found in asymmetric 2D Janus *** show that for isovalent Janus sheets,the lattice mismatch between inner and outer atomic layers is the driving force behind the nanotube formation,while in the non-isovalent case it is governed by the difference in chemical bond strength of the inner and outer layer leading to steric *** our pool of candidate structures we have identified more than 100 tubes with a preferred radius below 35Å,which we hypothesize can display distinctive properties compared to their parent 2D *** descriptors have been identified to accelerate the discovery of small-radius tubes and a Bayesian regression approach has been implemented to assess the uncertainty in our predictions on the radius.

关键词： inorganic chemical radius

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

同方期刊数据库