Results 81 to 90 of about 8,430 (314)

Diabetes‐induced vascular calcification is associated with low pyrophosphate and its oral supplementation prevents calcification in diabetic mice

FEBS Open Bio, EarlyView.
Induction of diabetes in three different mouse strains uniformly resulted in an increase in TNAP activity and a reduction in pyrophosphate (PPi) in the circulation. Inhibition of TNAP restored plasma PPi. Diabetes‐induced calcification in the media layer of the aorta was detected only in the Abcc6−/− strain, which is predisposed to ectopic ...
Krisztina Fülöp, Eszter Kozák, Natália Tőkési, Lilian Kocsis, Anikó Kelemen, Zsuzsanna Geszti, Adriána Kutás, Mariann Harangi, Ágnes Diószegi, Zsolt Rapi, József Balla, Olivier Le Saux, András Váradi, Viola Pomozi   +13 more
wiley   +1 more source

On Zone-Based Analysis of Duration Probabilistic Automata

, 2010
We propose an extension of the zone-based algorithmics for analyzing timed automata to handle systems where timing uncertainty is considered as probabilistic rather than set-theoretic.
Ahmed Rezine, Bruce H. Krogh, Kim G. Larsen, Oded Maler, Yu-Fang Chen   +4 more
core   +2 more sources

Evolutionary dynamics of the chloroplast genome in Daphne (Thymelaeaceae): comparative analysis with related genera and insights into phylogenetics

FEBS Open Bio, EarlyView.
Comparative analysis of chloroplast genomes from 14 genera of Thymelaeaceae revealed variation in gene content, ranging from 128 to 142 genes, primarily influenced by IR expansion/contraction events and pseudogenization of ndhF, ndhI, and ndhG. Two large inversions were detected within the large single‐copy region, including a synapomorphic inversion ...
Abdullah, Hui Li, Rushan Yan, Chengyu Chen, Madiha Islam, Abdul Majid, Ibrar Ahmed, Parviz Heidari, Xiaoxuan Tian   +8 more
wiley   +1 more source

Hands‐on protocol for preparing water‐soluble fractions from agri‐food samples for NMR‐based metabolomics analysis

FEBS Open Bio, EarlyView.
This research protocol outlines a workflow for nuclear magnetic resonance (NMR)‐based metabolomics in the agri‐food sector. Using two case studies—strawberry leaves (solid matrix) and wine (liquid matrix)—it details the procedures for sample preparation, data acquisition, and processing.
Andrea Fernández‐Veloso, Jaime Hiniesta‐Valero, Alejandra Guerra‐Castellano, Miguel A. De la Rosa, Irene Díaz‐Moreno   +4 more
wiley   +1 more source

Timed Automata Semantics for Analyzing Creol

, 2010
We give a real-time semantics for the concurrent, object-oriented modeling language Creol, by mapping Creol processes to a network of timed automata. We can use our semantics to verify real time properties of Creol objects, in particular to see whether ...
Chothia, Tom, Jaghoori, Mohammad Mahdi
core   +2 more sources

Mycobacterial cell division arrest and smooth‐to‐rough envelope transition using CRISPRi‐mediated genetic repression systems

FEBS Open Bio, EarlyView.
CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point, Wafaa Achache, Janïs Laudouze, Eliana Sepulveda Ramos, Mickaël Maziero, Céline Crauste, Stéphane Canaan, Pierre Santucci   +7 more
wiley   +1 more source

Promiscuous stimulation of HSP70 ATPase activity by parasite‐derived J‐domains

FEBS Open Bio, EarlyView.
The malaria parasite Plasmodium falciparum exports three highly homologous yet functionally divergent J‐domain proteins into human erythrocytes. Here, we show that J‐domains isolated from all three proteins effectively stimulate the ATPase activity of both endogenous host and exported parasite HSP70 chaperones.
Julian Barth, Moritz Koch, Le‐Han Rössner, Johanna Eichhorn, Denys Pogoryelov, Matthias P. Mayer, Jude M. Przyborski   +6 more
wiley   +1 more source

Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning [PDF]

, 2002
Past decade has witnessed a great advance in the field of dense-time formal methods for the specification, synthesis and analysis of real time systems. In this context timed automata and real-time temporal logics provide a simple, and yet general, way to model and specify the behavior of these systems.
Ana Fernández Vilas, José J. Pazos Arias, Rebeca P. Díaz Redondo   +2 more
openaire   +1 more source

Lesion Location and Functional Connections Reveal Cognitive Impairment Networks in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Cognitive impairment, fatigue, and depression are common in multiple sclerosis (MS), potentially due to disruption of regional functional connectivity caused by white matter (WM) lesions. We explored whether WM lesions functionally connected to specific brain regions contribute to these MS‐related manifestations.
Alessandro Franceschini, Paolo Preziosa, Paola Valsasina, Damiano Mistri, Monica Margoni, Federica Esposito, Massimo Filippi, Maria A. Rocca   +7 more
wiley   +1 more source

Decreased Serum 5‐HT: Clinical Correlates and Regulatory Role in NMJ of MG

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Although 5‐Hydroxytryptamine (5‐HT) indirectly stimulates muscle contraction and participates in regulating Acetylcholine receptor (AChR) cluster homeostasis in cellular, animal, and clinical studies, evidence regarding its potential to modulate muscle contraction in myasthenia gravis (MG) remains limited.
Xinru Shen, Jing Zhang, Xinyue Zhou, Xiaoxiao Yu, Haodong Shang, Shufan Chen, Lulu Zhen, Jinru Wu, Guanlian Hu, Xiaoyan Zhu, Zhan Sun, Yiren Wang, Jiahui Wang, Jie Lv, Xue Zhao, Yingna Zhang, Wei Guo, Ying Peng, Feng Gao   +18 more
wiley   +1 more source