Results 71 to 80 of about 48,609 (342)

Towards Nominal Formal Languages [PDF]

, 2011
We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions.
Kurz, Alexander, Suzuki, Tomoyuki, Tuosto, Emilio   +2 more
core   +2 more sources

Lessons Learned: Quality Analysis of Optical Coherence Tomography in Neuromyelitis Optica

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Optical coherence tomography (OCT)‐derived retina measurements are markers for neuroaxonal visual pathway status. High‐quality OCT scans are essential for reliable measurements, but their acquisition is particularly challenging in eyes with severe visual impairment, as often observed in neuromyelitis optica spectrum disorders ...
Hadi Salih, Sara Samadzadeh, Charlotte Bereuter, Seyedamirhosein Motamedi, Claudia Chien, Pablo Villoslada, Hadas Stiebel‐Kalish, Nasrin Asgari, Yang Mao‐Draayer, Marius Ringelstein, Joachim Havla, Marco Aurélio Lana Peixoto, Ho Jin Kim, Jacqueline Palace, Maria Isabel Leite, Srilakshmi M. Sharma, Fereshteh Ashtari, Rahele Kafieh, Lekha Pandit, Orhan Aktas, Philipp Albrecht, Letizia Leocani, Itay Lotan, Sasitorn Siritho, Jérôme de Seze, Romain Marignier, Caroline Froment Tilikete, Denis Bernardi Bichuetti, Ivan Maynart Tavares, Ayse Altintas, Anu Jacob, Saif Huda, Ibis Soto de Castillo, Lawrence J. Cook, Michael R. Yeaman, Axel Petzold, Alexander U. Brandt, Friedemann Paul, Frederike C. Oertel, Hanna G. Zimmermann, with the Guthy Jackson Charitable Foundation—International Clinical Consortium and CROCTINO Collaborators   +40 more
wiley   +1 more source

A Bibliography on Fuzzy Automata, Grammars and Lanuages [PDF]

, 1995
This bibliography contains references to papers on fuzzy formal languages, the generation of fuzzy languages by means of fuzzy grammars, the recognition of fuzzy languages by fuzzy automata and machines, as well as some applications of fuzzy set theory ...
Asveld, Peter R.J.
core   +2 more sources

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

Formal Languages in Dynamical Systems [PDF]

, 1993
We treat here the interrelation between formal languages and those dynamical systems that can be described by cellular automata (CA). There is a well-known injective map which identifies any CA-invariant subshift with a central formal language.
Troll, G.
core   +1 more source

Remote Monitoring in Myasthenia Gravis: Exploring Symptom Variability

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is a rare, autoimmune disorder characterized by fluctuating muscle weakness and potential life‐threatening crises. While continuous specialized care is essential, access barriers often delay timely interventions. To address this, we developed MyaLink, a telemedical platform for MG patients.
Maike Stein, Maximilian Mönch, Meret Herdick, Frauke Stascheit, Sarah Hoffmann, Hannah Preßler, Philipp Mergenthaler, Carla Dusemund, Paolo Doksani, Haoqi Sun, Pushpa Narayanaswami, Andreas Meisel, Lea Gerischer, Sophie Lehnerer   +13 more
wiley   +1 more source

Teaching push-down automata and Turing machines [PDF]

, 2014
In this paper we present the new version of a tool to assist in teaching formal languages and automata theory. In the previous version the tool provided algorithms for regular expressions, finite automata and context free grammars. The new version can
García-Osorio, César, García-Pedrajas, Nicolás, Jimeno-Visitación, Javier, Mediavilla-Sáiz, Iñigo   +3 more
core  

Complete Symmetry in D2L Systems and Cellular Automata [PDF]

, 1985
We introduce completely symmetric D2L systems and cellular automata by means of an additional restriction on the corresponding symmetric devices. Then we show that completely symmetric D2L systems and cellular automata are still able to simulate Turing ...
Asveld, Peter R.J.
core   +5 more sources

Exploring Patients’ Profiles Associated With the Resolution of Acute Calcium Pyrophosphate Arthritis Treated With Colchicine and Prednisone: Post Hoc Analysis of a Randomized Controlled Trial

Arthritis Care &Research, EarlyView.
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

A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage [PDF]

Discrete Mathematics & Theoretical Computer Science, 2020
We introduce MSO graph storage types, and call a storage type MSO-expressible if it is isomorphic to some MSO graph storage type. An MSO graph storage type has MSO-definable sets of graphs as storage configurations and as storage transformations.
Joost Engelfriet, Heiko Vogler
doaj   +1 more source