检索结果-南通市图书馆

On the use of formal methods to model and verify neuronal archetypes

Frontiers of Computer Science 2022年第3期16卷 101-122页

作者： elisabetta de maria Abdorrahim BAHRAMI Thibaud L'YVONNET Amy FELTY Daniel GAFFÉ Annie RESSOUCHE Franck GRAMMONT UniversitéCôte d'zur CNRSI3S06903 Sophia Antipolis CedexFrance School of Electrical Engineering and Computer Science University of OttawaOntarioK1N 6N5Canada UniversitéCôte d'Azur INRIA SAM06902 Sophia Antipolis CedexFrance UniversitéCôte d'Azur CNRSLEAT06903 Sophia Antipolis CedexFrance UniversitéCôte d'Azur CNRSLJAD06108 Nice Cedex 02France

Having a formal model of neural networks can greatly help in understanding and verifying their properties,behavior,and response to external factors such as disease and *** this paper,we adopt a formal model to represent neurons,some neuronal graphs,and their *** specific neuronal graphs are known for having biologically relevant structures and behaviors and we call them *** archetypes are supposed to be the basis of typical instances of neuronal information *** this paper we study six fundamental archetypes(simple series,series with multiple outputs,parallel composition,negative loop,inhibition of a behavior,and contralateral inhibition),and we consider two ways to couple two archetypes:(i)connecting the output(s)of the first archetype to the input(s)of the second archetype and(ii)nesting the first archetype within the second *** report and compare two key approaches to the formal modeling and verification of the proposed neuronal archetypes and some selected *** first approach exploits the synchronous programming language Lustre to encode archetypes and their couplings,and to express properties concerning their dynamic *** properties are verified thanks to the use of model *** second approach relies on a theorem prover,the Coq Proof Assistant,to prove dynamic properties of neurons and archetypes.

关键词： neuronal networks leaky integrate and fire modeling synchronous languages model checking theorem proving Lustre Coq formal methods

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

This pain drives me crazy:Psychiatric symptoms in women with interstitial cystitis/bladder pain syndrome

引用

World Journal of Psychiatry 2024年第6期14卷 954-984页

作者： marianna Mazza Stella Margoni Giuseppe Mandracchia Guglielmo Donofrio Alessia Fischetti Georgios D Kotzalidis Giuseppe Marano Alessio Simonetti delfina Janiri Lorenzo Moccia Ilaria Marcelli Greta Sfratta Domenico de Berardis Ottavia Ferrara Evelina Bernardi Antonio Restaino Francesco maria Lisci Antonio maria D'Onofrio Caterina Brisi Flavia Grisoni Claudia Calderoni Michele Ciliberto Andrea Brugnami Sara Rossi maria Chiara Spera Valeria de Masi Ester maria Marzo Francesca Abate Gianluca Boggio maria Benedetta Anesini Cecilia Falsini Anna Quintano Alberto Torresi Miriam Militenda Giovanni Bartolucci Marco Biscosi Sara Ruggiero Luca Lo Giudice Giulia Mastroeni elisabetta Benini Luca Di Benedetto Romina Caso Francesco Pesaresi Francesco Traccis Luca Onori Luca Chisari Leonardo Monacelli mariateresa Acanfora Eleonora Gaetani Monia Marturano Sara Barbonetti Elettra Specogna Francesca Bardi Emanuela de Chiara Gianmarco Stella Andrea Zanzarri Flavio Tavoletta Arianna Crupi Giulia Battisti Laura Monti Giovanni Camardese Daniela Chieffo Antonio Gasbarrini Giovanni Scambia Gabriele Sani department of Neurosciences Fondazione Policlinico Universitario A Gemelli IRCCSUniversita Cattolica del Sacro CuoreRome 00168Italy department of Psychiatry UniversitàCattolica del Sacro CuoreRome 00168Italy department of Neurosciences Section of PsychiatryFondazione Policlinico Universitario Agostino Gemelli IRCCSUniversitàCattolica del Sacro CuoreRome 00168Italy Mental Health NHSASL 4 TeramoTeramo 64100Italy Medical and Surgical Sciences UniversitàCattolica del Sacro CuoreRome 00168Italy Division of Gynecologic Oncology UniversitàCattolica del Sacro CuoreRome 00168Italy UOS Psicologia Clinica Governo ClinicoFondazione Policlinico Universitario Agostino Gemelli IRCCSRome 00168Italy CEMAD Digestive Disease Center Fondazione Policlinico Universitario A.Gemelli-IRCCSRome 00168Italy department of Woman and Child Health Catholic UniversityRome 00168Italy UOC Psichiatria Clinica e d’Urgenza Dipartimento di Scienze Dell’InvecchiamentoNeurologicheOrtopediche e Della Testa-colloFondazione Policlinico Universitario Agostino Gemelli IRCCSRome 00168Italy

BACKGROUND Interstitial cystitis/bladder pain syndrome(IC/BPS)is an at least 6-mo noninfectious bladder inflammation of unknown origin characterized by chronic suprapubic,abdominal,and/or pelvic *** the term cystitis suggests an inflammatory or infectious origin,no definite cause has been *** occurs in both sexes,but women are twice as much *** To systematically review evidence of psychiatric/psychological changes in persons with IC/*** Hypothesizing that particular psychological characteristics could underpin IC/BPS,we investigated in three databases the presence of psychiatric symptoms and/or disorders and/or psychological characteristics in patients with IC/BPS using the following strategy:("interstitial cystitis"OR"bladder pain syndrome")AND("mood disorder"OR depressive OR antidepressant OR depression OR depressed OR hyperthymic OR mania OR manic OR rapid cyclasterisk OR dysthymiasterisk OR dysphoriasterisk).RESULTS On September 27,2023,the PubMed search produced 223 articles,CINAHL 62,and the combined PsycLIT/PsycARTICLES/PsycINFO/Psychology and Behavioral Sciences Collection search *** on *** produced 14 studies,of which none had available *** were peer-reviewed articles reporting psychiatric/psychological symptoms in patients with IC/BPS,i.e.63 articles spanning from 2000 to October *** studies identified depression and anxiety problems in the IC/BPS population,along with sleep problems and the tendency to *** Psychotherapies targeting catastrophizing and life stress emotional awareness and expression reduced perceived pain in women with IC/*** concepts should be considered when implementing treatments aimed at reducing IC/BPS-related pain.

关键词： Interstitial cystitis/bladder pain syndrome Psychiatric symptoms Psychological symptoms Catastrophizing Anxiety depression

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Oligodendrocyte precursor cell maturation: role of adenosine receptors

引用

Neural Regeneration Research 2021年第9期16卷 1686-1692页

作者： Federica Cherchi Anna maria Pugliese elisabetta Coppi department of Neuroscience PsychologyDrug Research and Child Health-Neurofarba-Division of Pharmacology and ToxicologyUniversity of FlorenceFlorenceItaly

Oligodendrocyte-formed myelin sheaths allow fast synaptic transmission in the brain and their degeneration leads to demyelinating diseases such as multiple sclerosis. Remyelination requires the differentiation of oligodendrocyte progenitor cells into mature oligodendrocytes but, in chronic neurodegenerative disorders, remyelination fails due to adverse environment. Therefore, a strategy to prompt oligodendrocyte progenitor cell differentiation towards myelinating oligodendrocytes is required. The neuromodulator adenosine, and its receptors(A1, A(2A), A(2B) and A3 receptors: A1R, A(2A)R, A(2B)R and A3R), are crucial mediators in remyelination processes. It is known that A1Rs facilitate oligodendrocyte progenitor cell maturation and migration whereas the A3Rs initiates apoptosis in oligodendrocyte progenitor cells. Our group of research contributed to the field by demonstrating that A(2A)R and A(2B)R inhibit oligodendrocyte progenitor cell maturation by reducing voltage-dependent K^+ currents necessary for cell differentiation. The present review summarizes the possible role of adenosine receptor ligands as potential therapeutic targets in demyelinating pathologies such as multiple sclerosis.

关键词： adenosine receptors K^+channels oligodendrocyte differentiation oligodendrocyte progenitor cells remyelination

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Diarrhea in neonatal intensive care unit

引用

World Journal of Gastroenterology 2010年第21期16卷 2664-2668页

作者： Annalisa Passariello Gianluca Terrin maria elisabetta Baldassarre Mario de Curtis Roberto Paludetto Roberto Berni Canani department of Pediatrics University of Naples "Federico Ⅱ"Naples80131Italy department of Evolutive Age Biomedicine University of BariBari70124Italy Neonatal Care Unit University La SapienzaRome00161Italy European Laboratory for Investigation on Food-Induced Diseases University of Naples "Federico Ⅱ"Naples80131Italy

AIM:To investigate the frequency,etiology,and current management strategies for diarrhea in ***:Retrospective,nationwide study involving 5801 subjects observed in neonatal intensive care units during 3 *** main anamnesis and demographic characteristics,etiology and characteristics of diarrhea,nutritional and therapeutic management,clinical outcomes were ***:Thirty-nine cases of diarrhea(36 acute,3 chronic) were *** occurrence rate of diarrhea was 6.72 per 1000 hospitalized *** was defined in 29 of 39 newborn(74.3%):food allergy(20.5%),gastrointestinal infections(17.9%),antibiotic-associated diarrhea(12.8%),congenital defects of ion transport(5.1%),withdrawal syndrome(5.1%),Hirschsprung's disease(2.5%),parenteral diarrhea(2.5%),cystic fibrosis(2.5%),and metabolic disorders(2.5%).Three patients died due to complications related to diarrhea(7.7%).In 19 of 39 patients(48.7%),rehydration was performed exclusively by the enteral ***:Diarrhea in neonates is a challenging clinical condition due to the possible heterogeneous etiologies and severe *** guidelines are advocated in order to optimize management of diarrhea in this particular setting.

关键词： Chronic diarrhea Congenital diarrhea Food allergy Oral rehydration solution Rotavirus

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Helicobacter pylori infection in bleeding peptic ulcer patients after non-steroidal antiinflammatory drug consumption

引用

World Journal of Gastroenterology 2011年第40期17卷 4509-4516页

作者： Francesco Manguso elisabetta Riccio Germana de Nucci maria Luisa Aiezza Gerardino Amato Linda degl'Innocenti maria Maddalena Piccirillo Gianfranco de Dominicis Tara Santoro Elena Trimarco Antonio Balzano Complex Operating Unit of Gastroenterology AORN A Cardarelli 80131 Napoli Italy Complex Operating Unit of Pharmacy AORN A Cardarelli 80131 Napoli Italy Complex Operating Unit of Microbiology AORN A Cardarelli 80131 Napoli Italy Complex Operating Unit of Pathology AORN A Cardarelli 80131 Napoli Italy

AIM:To establish the prevalence of Helicobacter pylori (H. pylori ) infection in patients with a bleeding peptic ulcer after consumption of non-steroidal antiinflamma- tory drugs (NSAIDs). METHODS:A very early upper endoscopy was performed to find the source of upper gastrointestinal bleeding and to take biopsy specimens for analysis of H. pylori infection by the rapid urease (CLO) test, histological examination, and bacterial culture. IgG anti-CagA were also sought. The gold standard for identifying H. pylori infection was positive culture of biopsy specimens or contemporary positivity of the CLO test and the presence of H. pylori on tissue sections. RESULTS:Eighty patients, 61 males (76.3%), mean age 61.2 ± 15.9 years, were consecutively enrolled. Forty-seven (58.8%) patients occasionally consumed NSAIDs, while 33 (41.3%) were on chronic treatment with low-dose aspirin (LD ASA). Forty-four (55.0%) patients were considered infected by H. pylori . The infection rate was not different between patients who occasionally or chronically consumed NSAIDs. The culture of biopsy specimens had a sensitivity of 86.4% and a specificity of 100%; corresponding figures for histological analysis were 65.9% and 77.8%, for the CLO test were 68.2% and 75%, for the combined use of histology and the CLO test were 56.8% and 100%, and for IgG anti-CagA were 90% and 98%. The highest accuracy (92.5%) was obtained with the culture of biopsy ***:Patients with a bleeding peptic ulcer after NSAID/LD ASA consumption frequently have H. pylori infection. Biopsy specimen culture after an early upper gastrointestinal tract endoscopy seems the most efficient test to detect this infection.

关键词：上消化道出血非甾体类抗炎药幽门螺杆菌消化性溃疡感染率患者消费抗炎药物

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Endoscopic ultrasonography findings in autoimmune pancreatitis

引用

World Journal of Gastroenterology 2011年第16期17卷 2080-2085页

作者： elisabetta Buscarini Stefania de Lisi Paolo Giorgio Arcidiacono maria Chiara Petrone Arnaldo Fuini Rita Conigliaro Guido Manfredi Raffaele Manta Dario Reggio Claudio de Angelis department of Gastroenterology Maggiore Hospital department of Gastroenterology Di.Bi.M.I.S.University of Palermo department of Gastroenterology I.R.C.C.S San RaffaeleUniversità Vita e Salute San Raffaele department of Gastroenterology and Digestive Endoscopy Ospedale Civile Maggiore department of Gastroenterology and Digestive Endoscopy New Civil Hospital S.Agostino Estense Chirurgia Trapianti di Fegato San Giovanni Battista Hospital department of Gastroenterology San Giovanni Battista Hospital

Endoscopic ultrasonography is an established diagnostic tool for pancreatic masses and chronic *** recent years there has been a growing interest in the worldwide medical community in autoimmune pancreatitis (AIP),a form of chronic pancreatitis caused by an autoimmune *** paper reviews the current available literature about the endoscopic ultrasonographic findings of AIP and the role of this imaging technique in the management of this protean disease.

关键词：自身免疫性检查结果胰腺炎超声内镜诊断工具成像技术疾病管理

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A Smart Procedure for the Femtosecond Laser-Based Fabrication of a Polymeric Lab-on-a-Chip for Capturing Tumor Cell

引用

Engineering 2021年第10期7卷 1434-1440页

作者： Annalisa Volpe Udith Krishnan maria Serena Chiriacò elisabetta Primiceri Antonio Ancona Francesco Ferrara department of Physics University of Bari“Aldo Moro”Bari 70126Italy Institute for Photonics and Nanotechnologies Bari 70126Italy Institute of Nanotechnology Lecce 73100Italy STMicroelectronics Lecce 73100Italy

Rapid prototyping methods for the design and fabrication of polymeric labs-on-a-chip are on the rise,as they allow high degrees of precision and *** example,a microfluidic platform may require an optimization phase in which it could be necessary to continuously modify the architecture and geometry;however,this is only possible if easy,controllable fabrication methods and low-cost materials are *** this paper,we describe the realization process of a microfluidic tool,from the computer-aided design(CAD)to the proof-of-concept application as a capture device for circulating tumor cells(CTCs).The entire platform was realized in polymethyl methacrylate(PMMA),combining femtosecond(fs)laser and micromilling fabrication *** multilayer device was assembled through a facile and low-cost solvent-assisted method.A serpentine microchannel was then directly biofunctionalized by immobilizing capture probes able to distinguish cancer from non-cancer cells without *** low material costs,customizable methods,and biological application of the realized platform make it a suitable model for industrial exploitation and applications at the point of care.

关键词： Lab-on-a-chip Fs laser Circulating tumor cells Point of care Thermal bonding Polymers

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Characterization and catalytic activity of soft-templated Ni0-CeO_(2) mixed oxides for CO and CO_(2) co-methanation

引用

Frontiers of Chemical Science and Engineering 2021年第2期15卷 251-268页

作者： Luciano Atzori maria Giorgia Cutrufello Daniela Meloni Barbara Onida delia Gazzoli Andrea Ardu Roberto Monaci maria Franca Sini elisabetta Rombi department of Chemical and Geological Sciences University of Cagliari09042 Monserrato(CA)Italy department of Materials Science and Chemical Engineering CR-INSTM for Materials with Controlled PorosityPolytechnic of Turin10129 TurinItaly department of Chemistry University of Rome“La Sapienza”00185 RomeItaly

Nanosized NiO,CeO_(2) and NiO-CeO_(2) mixed oxides with different Ni/Ce molar ratios were prepared by the soft template *** the samples were characterized by different techniques as to their chemical composition,structure,morphology and *** the catalysts submitted to the same reduction pretreatment adopted for the activity tests the surface basic properties and specific metal surface area were also *** and CeO_(2) nanocrystals of about 4 nm in size were obtained,regardless of the Ni/Ce molar *** Raman and X-ray photoelectron spectroscopy results proved the formation of defective sites at the NiO-CeO_(2) interface,where Ni species are in strong interaction with the *** microcalorimetric and Fourier transform infrared analyses of the reduced samples highlighted that,unlike metallic nickel,CeO_(2) is able to effectively adsorb CO_(2),forming carbonates and hydrogen *** reduction in H2 at 400°C for 1 h,the catalytic performance was studied in the CO and CO_(2) co-methanation *** tests were performed at atmospheric pressure and 300°C,using CO/CO_(2)/H_(2) molar compositions of 1/1/7 or 1/1/5,and space velocities equal to 72000 or 450000 cm^(3)∙h^(-1)∙gcat^(-1).Whereas CO was almost completely hydrogenated in any investigated experimental conditions,CO_(2) conversion was strongly affected by both the CO/CO_(2)/H_(2) ratio and the space *** faster and definitely preferred CO hydrogenation was explained in the light of the different mechanisms of CO and CO_(2) *** a selected sample,the influence of the reaction temperature and of a higher number of space velocity values,as well as the stability,were also *** that the Ni content is optimized,the NiCe system investigated was very promising,being highly active for the CO_(x) co-methanation reaction in a wide range of operating conditions and stable(up to 50 h)also when submitted to thermal stress.

关键词： soft template method Ni0-CeO_(2)catalystss CO and CO_(2)co-mtharation synthetic natural gas production

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

The emerging role of probiotics in neurodegenerative diseases:new hope for Parkinson’s disease?

引用

Neural Regeneration Research 2021年第4期16卷 628-634页

作者： Vanessa Castelli Michele d’Angelo Massimiliano Quintiliani elisabetta Benedetti maria Grazia Cifone Annamaria Cimini department of Life Health and Environmental SciencesUniversity of L’AquilaItaly SIRE Srl NaplesItaly Sbarro Institute for Cancer Research and Molecular Medicine Department of BiologyTemple UniversityPhiladelphiaPAUSA

Neurodegenerative disease etiology is still unclear,but different contributing factors,such as lifestyle and genetic factors are *** components of the gut could play a key role in the gut-brain axis,which is a bidirectional system between the central nervous system and the enteric nervous *** in the composition of the gut microbiota and its function between healthy people and patients have been reported for a variety of human disorders comprising metabolic,autoimmune,cancer,and,notably,neurodegenerative *** can alter the microbiota composition,affecting the gutbrain axis *** nutraceutical interventions have been devoted to normalizing gut microbiome dysbiosis and to improving biological outcomes in neurological conditions,including the use of *** and clinical investigations discussed in this review strengthen the correlation between intestinal microbiota and brain and the concept that modifying the microbiome composition may improve brain neurochemistry,modulating different *** review will discuss the potential use of probiotics for Parkinson’s disease prevention or treatment or as adjuvant therapy,confirming that gut microbiota modulation influences different pro-survival *** investigations in Parkinson’s disease should consider the role of the gut-brain axis and additional comprehension of the underlying mechanisms is extremely necessary.

关键词： age-related diseases brain dysbiosis gut-brain axis microbiota neurodegeneration nutraceuticals Parkinson’s disease probiotics SLAB51

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Recent advances in the search of BCRP- and dual P-gp/BCRP-based multidrug resistance modulators

引用

Cancer Drug Resistance 2019年第3期2卷 710-743页

作者： Silvia dei Laura Braconi maria Novella Romanelli elisabetta Teodori department of Neuroscience PsychologyDrug Research and Child’s Health-Section of Pharmaceutical and Nutraceutical SciencesUniversity of Florencevia Ugo Schiff 6Sesto Fiorentino(FI)50019Italy

The development of multidrug resistance (MDR) is one of the major challenges to the success of chemotherapy treatment of cancer. This phenomenon is often associated with the overexpression of the ATP-binding cassette (ABC) transporters P-gp (P-glycoprotein, ABCB1), multidrug resistance-associated protein 1, ABCC1 and breast cancer resistance protein, ABCG2 (BCRP). These transporters are constitutively expressed in many tissues playing relevant protective roles by the regulation of the permeability of biological membranes, but they are also overexpressed in malignant tissues. P-gp is the first efflux transporter discovered to be involved in cancer drug resistance, and over the years, inhibitors of this pump have been disclosed to administer them in combination with chemotherapeutic agents. Three generations of inhibitors of P-gp have been examined in preclinical and clinical studies;however, these trials have largely failed to demonstrate that coadministration of pump inhibitors elicits an improvement in therapeutic efficacy of antitumor agents, although some of the latest compounds show better results. Therefore, new and innovative strategies, such as the fallback to natural products and the discover of dual activity ligands emerged as new perspectives. BCRP is the most recently ABC protein identified to be involved in multidrug resistance. It is overexpressed in several haematological and solid tumours together with P-gp, threatening the therapeutic effectiveness of different chemotherapeutic drugs. The chemistry of recently described BCRP inhibitors and dual P-gp/BCRP inhibitors, as well as their preliminary pharmacological evaluation are discussed, and the most recent advances concerning these kinds of MDR modulators are reviewed.

关键词： Cancer multidrug resistance multidrug resistance modulators ATP-binding cassette transporter inhibitors P-glycoprotein multidrug resistance-associated proteins breast cancer resistance protein

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：