Results 81 to 90 of about 6,057,560 (362)

Solutions to All-Colors Problem on Graph Cellular Automata

Complexity, 2019
The All-Ones Problem comes from the theory of σ+-automata, which is related to graph dynamical systems as well as the Odd Set Problem in linear decoding.
Xiaoyan Zhang, Chao Wang
doaj   +1 more source

Two-Way Finite Automata: Old and Recent Results [PDF]

Electronic Proceedings in Theoretical Computer Science, 2012
The notion of two-way automata was introduced at the very beginning of automata theory. In 1959, Rabin and Scott and, independently, Shepherdson, proved that these models, both in the deterministic and in the nondeterministic versions, have the same ...
Giovanni Pighizzini
doaj   +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

Hip morphology‐based osteoarthritis risk prediction models: development and external validation using individual participant data from the World COACH Consortium

Arthritis Care &Research, Accepted Article.
Objectives This study aims to develop hip morphology‐based radiographic hip osteoarthritis (RHOA) risk prediction models and investigates the added predictive value of hip morphology measurements and the generalizability to different populations. Methods We combined data from nine prospective cohort studies participating in the World COACH consortium ...
Myrthe A. van den Berg, Fleur Boel, Michiel M.A. van Buuren, Noortje S. Riedstra, Jinchi Tang, Harbeer Ahedi, Nigel K. Arden, Sita M.A. Bierma‐Zeinstra, Cindy G. Boer, Flavia M. Cicuttini, Timothy F. Cootes, David T. Felson, Willem Paul Gielis, Joshua Heerey, Graeme Jones, Stefan Kluzek, Nancy E. Lane, Claudia Lindner, Joyce B.J. van Meurs, Andrea Mosler, Amanda E. Nelson, Michael C. Nevitt, Edwin H. Oei, Jos Runhaar, Harrie Weinans, Jesse H. Krijthe, Rintje Agricola   +26 more
wiley   +1 more source

Basic concepts in social sciences II [PDF]

, 2000
In this paper an extension is given of the set of concepts considered to be basic to the fields of Economics, Organization Theory, Political Science, Psychology and Sociology. The modeling is in terms of automata and automata networks. In the first paper
Hoede, C.
core   +2 more sources

Exploring patients’ profiles associated with the resolution of acute calcium pyrophosphate arthritis treatedwith colchicine and prednisone: post hoc analysis of a randomized controlled trial

Arthritis Care &Research, Accepted Article.
Objective The objective was to identify factors determining acute arthritis resolution and safety with colchicine and prednisone in acute calcium pyrophosphate (CPP) crystal arthritis. Methods We conducted a post hoc analysis of the COLCHICORT trial, which compared colchicine and prednisone for the treatment of acute CPP crystal arthritis, using a ...
Tristan Pascart, Laurène Norberciak, Pascal Richette, Pierre Robinet, Aurore Pacaud, Gauthier Marchasson, Thibault Rabin, Hélène Luraschi, Pierre Maciejasz, Anne‐France Georgel, Augustin Latourte, Hang‐Korng Ea, Sébastien Ottaviani, Charlotte Jauffret, Vincent Ducoulombier   +14 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

Applications of the theory of automata in enumeration

Discrete Mathematics, 1987
After an introductory section, the paper contains a discussion of enumeration of reduced words in a finite group action (the discussion does not have any dismembering, there are no emphasized sentences, e.g. theorems). Finally, a new proof is given for \textit{P. A. MacMahon}'s Master Theorem [Combinatory analysis, Vols.
openaire   +2 more sources

Effectiveness and safety of baricitinib for juvenile idiopathic arthritis associated uveitis or chronic anterior antinuclear antibody positive uveitis

Arthritis Care &Research, Accepted Article.
Objectives Evaluate the efficacy and safety of baricitinib in paediatric patients with active JIA‐U or chronic anterior ANA‐positive uveitis, who had an inadequate response to MTX or bDMARDs. Methods JUVE‐BRIGHT was an open‐label, active‐controlled, Phase‐3 multicentre trial which utilized a novel design, including 1:1 randomization to an active ...
Athimalaipet V. Ramanan, Catherine M. Guly, Gabriele Simonini, Stuart Keller, Priyanka Sen, Thorsten Holzkaemper, Joana Araújo, Pierre Quartier   +7 more
wiley   +1 more source

COMPARATIVE ANALYSIS OF SIMULATION SYSTEM FOR TEACHING COMPILERS

BizInfo, 2019
This paper analyses simulation systems for teaching compilers, represents their technical characteristics and topics addressed, their benefits in the teaching process, and the advantages and disadvantages of each simulator analyzed.
Srećko Stamenković, Nenad Jovanović
doaj   +1 more source