Results 51 to 60 of about 109,516 (325)

Horn Clauses for Communicating Timed Systems [PDF]

Electronic Proceedings in Theoretical Computer Science, 2014
Languages based on the theory of timed automata are a well established approach for modelling and analysing real-time systems, with many applications both in industrial and academic context.
Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi   +3 more
doaj   +1 more source

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

Migrating teaching of automata theory to a digital platform

South African Computer Journal
This research explores the challenges of teaching automata theory in computer science and proposes a digital solution to enhance learning experiences. Traditionally taught through pen and paper, automata theory often appears daunting to students due to ...
Steven Jordaan, Nils Timm, Linda Marshall   +2 more
doaj   +1 more source

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

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

Network Localization of Fatigue in Multiple Sclerosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Fatigue is among the most common symptoms and one of the main factors determining the quality of life in multiple sclerosis (MS). However, the neurobiological mechanisms underlying fatigue are not fully understood. Here we studied lesion locations and their connections in individuals with MS, aiming to identify brain networks ...
Olli Likitalo, Jaakko Kungshamn, Albert Bellmunt‐Gil, Silvia Tommasin, Abhineet Ojha, Matias Viitala, Juho Aaltonen, Jyrki Lötjönen, Juha Koikkalainen, Pauli Ylikotila, Patrizia Pantano, Merja Soilu‐Hänninen, Juho Joutsa   +12 more
wiley   +1 more source

Post‐COVID Fatigue Is Associated With Reduced Cortical Thickness After Hospitalization

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Neuropsychiatric symptoms are among the most prevalent sequelae of COVID‐19, particularly among hospitalized patients. Recent research has identified volumetric brain changes associated with COVID‐19. However, it currently remains poorly understood how brain changes relate to post‐COVID fatigue and cognitive deficits.
Tim J. Hartung, Florentin Steigerwald, Amy Romanello, Cathrin Kodde, Matthias Endres, Sandra Frank, Peter Heuschmann, Philipp Koehler, Stephan Krohn, Daniel Pape, Jens Schaller, Sophia Stöcklein, Istvan Vadasz, Janne Vehreschild, Martin Witzenrath, Thomas Zoller, Carsten Finke, on behalf of the NAPKON Study Group, Y. Ahlgrimm, C. Finke, J. Fricke, T. Keil, L. Krist, N. Lisewsky, M. Mittermaier, M. Mueller‐Plathe, C. Pley, S. Schmidt, A. Stege, F. Steinbeis, S. Steinbrecher, C. Wildberg, M. Witzenrath, E. Zessin, T. Zoller, C. Arendt, C. Bellinghausen, S. Cremer, A. Groh, A. Gruenewaldt, Y. Khodamoradi, S. Klinsing, G. Rohde, M. Vehreschild, T. Vogl, S. Frank, J. C. Hellmuth, M. Huber, S. Kaeaeb, O. T. Keppler, E. Khatamzas, C. Mandel, S. Mueller, M. Muenchhoff, L. Reeh, C. Scherer, H. Stubbe, M. von Bergwelt, L. Weiss, B. Zwissler, S. Cleef, M. E. Figuera Basso, J. Franzenburg, K. Franzpoetter, A. Friedrichs, A. Hermes, J. Heyckendorf, C. Kujat, I. Lehmann, C. Maetzler, S. Meier, D. Pape, S. Poick, L. Reinke, A. K. Russ, A. M. Scheer, D. Schunk, T. Tamminga, S. Bohnet, D. Droemann, K. F. Franzen, R. Hoerster, N. Kaeding, M. Nissen, P. Parschke, J. Rupp, S. Caesar, H. Einsele, S. Frantz, A. Frey, A. Grau, K. Haas, C. Haertel, K. G. Haeusler, G. Hein, J. Herrmann, A. Horn, R. Jahns, P. Meybohm, F. A. Montellano, C. Morbach, J. Schmidt, P. Schulze, S. Stoerk, J. Volkmann, T. Bahmer, A. Hermes, M. Krawczak, W. Lieb, S. Schreiber, T. Tamminga, B. Balzuweit, S. Berger, J. Fricke, M. Hummel, A. Krannich, L. Krist, F. Kurth, J. Lienau, R. Lorbeer, C. Pley, J. Schaller, S. Schmidt, C. Thibeault, M. Witzenrath, T. Zoller, I. Bernemann, T. Illig, M. Kersting, N. Klopp, V. Kopfnagel, S. Muecke, M. Kraus, B. Lorenz‐Depiereux, G. Anton, A. Kuehn‐Steven, S. Kunze, M. K. Tauchert, K. Appel, M. Brechtel, I. Broehl, K. Fiedler, R. Geisler, S. M. Hopff, K. Knaub, C. Lee, S. Nunes de Miranda, S. Raquib, G. Sauer, M. Scherer, J. J. Vehreschild, P. Wagner, L. Wolf, J. C. Hellmuth, K. Guenther, F. Haug, J. Haug, A. Horn, M. Kohls, C. Fiessler, P. U. Heuschmann, O. Miljukov, C. Nuernberger, J. P. Reese, L. Schmidbauer, I. Chaplinskaya, S. Hanss, D. Krefting, C. Pape, M. Rainers, A. Schoneberg, N. Weinert, T. Bahls, W. Hoffmann, M. Nauck, C. Schaefer, M. Schattschneider, D. Stahl, H. Valentin, P. Heuschmann, A. L. Hofmann, S. Jiru‐Hillmann, J. P. Reese, S. Herold, P. Heuschmann, R. Heyder, W. Hoffmann, T. Illig, S. Schreiber, J. J. Vehreschild, M. Witzenrath   +190 more
wiley   +1 more source

Reachability resolution for discrete-time hybrid systems with application to automated test generation for Simulink/Stateflow

IET Cyber-Physical Systems, 2017
Simulink/Stateflow is a popular commercial model-based development tool for many industrial domains. For safety and security concerns, verification and testing must be performed on the Simulink/Stateflow designs and the generated code.
Meng Li, Ratnesh Kumar
doaj   +1 more source

How unprovable is Rabin's decidability theorem?

, 2015
We study the strength of set-theoretic axioms needed to prove Rabin's theorem on the decidability of the MSO theory of the infinite binary tree. We first show that the complementation theorem for tree automata, which forms the technical core of typical ...
Beckmann A., Davis M., Friedman H., Klarlund N., MedSalem M. O., Pohlers W., Rabin M. O.   +6 more
core   +1 more source

Discovery and Targeted Proteomic Studies Reveal Striatal Markers Validated for Huntington's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Clinical trials for Huntington's disease (HD) enrolling persons before clinical motor diagnosis (CMD) lack validated biomarkers. This study aimed to conduct an unbiased discovery analysis and a targeted examination of proteomic biomarkers scrutinized by clinical validation. Methods Cerebrospinal fluid was obtained from PREDICT‐HD and
Daniel Chelsky, Cara Joyce, H. Jeremy Bockholt, Paul A. Rudnick, William H. Adams, Fiona McAllister, Justin W. Smock, Michael A. Newton, Jane S. Paulsen   +8 more
wiley   +1 more source