Results 51 to 60 of about 2,538 (309)

Graph Logics with Rational Relations [PDF]

Logical Methods in Computer Science, 2013
We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying graph topology, which have recently found numerous applications.
Pablo Barcelo, Diego Figueira, Leonid Libkin   +2 more
doaj   +1 more source

An Infinite Automaton Characterization of Double Exponential Time

, 2008
Infinite-state automata are a new invention: they are automata that have an infinite number of states represented by words, transitions defined using rewriting, and with sets of initial and final states.
Torre, Salvatore La, Parlato, Gennaro, SALVATORE LA TORRE, P. MADHUSUDAN, Madhusudan, P., G. PARLATO, Gennaro Parlato, LA TORRE, Salvatore   +7 more
core   +1 more source

Effectiveness of rTMS on Working Memory and Inhibitory Impairments in Patients With Post‐Stroke Executive Deficits

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Considerable efforts have been dedicated to developing effective treatments for post‐stroke executive impairment (PSEI), among which repetitive transcranial magnetic stimulation (rTMS) has shown great potential. This study aimed to investigate the therapeutic effects of high‐frequency rTMS on working memory (WM) and response ...
Mengting Lao, Rongwei Du, Zhujun Wang, Yang Gao, Meiling Cheng, Xianglong Wang, Wen Wu   +6 more
wiley   +1 more source

Regular Cost Functions, Part I: Logic and Algebra over Words [PDF]

Logical Methods in Computer Science, 2013
The theory of regular cost functions is a quantitative extension to the classical notion of regularity. A cost function associates to each input a non-negative integer value (or infinity), as opposed to languages which only associate to each input the ...
Thomas Colcombet
doaj   +1 more source

Cognitive Behavioral Therapy for Youth With Childhood‐Onset Lupus: A Randomized Clinical Trial

Arthritis Care &Research, EarlyView.
Objective Our objective was to determine the feasibility and acceptability of the Treatment and Education Approach for Childhood‐Onset Lupus (TEACH), a six‐session cognitive behavioral intervention addressing depressive, fatigue, and pain symptoms, delivered remotely to individual youth with lupus by a trained interventionist.
Natoshia R. Cunningham, Thea Senger‐Carpenter, Jocelyn Zuckerman, Michelle Adler, Mallet R. Reid, Ashley Danguecan, Luana Flores Pereira, Sarah I. Mossad, Samantha L. Ely, Khalid Abulaban, Elizabeth A. Kessler, Natalie Rosenwasser, Tamar B. Rubinstein, Ekemini A. Ogbu, Emily A. Smitherman, Alaina Miller, Taylor Abounader, Elizabeth Ross, Livie Timmerman, Dhriti Sharma, Jennifer N. Stinson, Stacy Allen, Kabita Nanda, Tala El Tal, Deborah M. Levy, Linda T. Hiraki, Hermine I. Brunner, Mathew Reeves, Steven J. Pierce, Andrea Knight   +29 more
wiley   +1 more source

Automatic functions, linear time and learning [PDF]

Logical Methods in Computer Science, 2013
The present work determines the exact nature of {\em linear time computable} notions which characterise automatic functions (those whose graphs are recognised by a finite automaton). The paper also determines which type of linear time notions permit full
John Case, Sanjay Jain, Frank Stephan, Frank Stephan   +3 more
doaj   +1 more source

The Language Theory of Bounded Context-Switching

, 2010
Concurrent compositions of recursive programs with finite data are a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form of reachability has become popular in the formal verification ...
Salvatore La Torre, Parlato, Gennaro, La Torre, Salvatore, G. Parlato, Parthasarathy Madhusudan, Madhusudan, P., P. Madhusudan, Gennaro Parlato, S. La Torre   +8 more
core   +1 more source

Evaluation of a Novel Electric Health Record Sidecar Application to Display Rheumatoid Arthritis Clinical Outcomes During Clinic Visits: Results of a Stepped‐Wedge Cluster Randomized Pragmatic Trial

Arthritis Care &Research, EarlyView.
Objective We developed a novel electronic health record sidecar application to visualize key rheumatoid arthritis (RA) outcomes, including disease activity, physical function, and pain, via a patient‐facing graphical interface designed for use during outpatient visits (“RA PRO dashboard”).
Gabriela Schmajuk, Jing Li, Cathy Nasrallah, Cherish Wilson, Alicia Hamblin, Christine Hariz, Cammie Young, Stephen Shiboski, Emma Kersey, Mary Nakamura, Judith F. Ashouri, Mehrdad Matloubian, Andrew J. Gross, Jennifer Barton, Beth Berrean, Jonathan Prugh, Jinoos Yazdany   +16 more
wiley   +1 more source

Formal Languages and Finite Automata. Guide for practical lessons [PDF]

, 2022
Fişierul ataşat conţine: Contents, References. Textul integral al publicaţiei poate fi accesat pe site-ul http://library.utm.md. Accesul prin logare este valabil pentru studenţi, masteranzi, doctoranzi şi cadre didactice UTM.This guide is intended for ...
COJUHARI, Irina, FIODOROV, Ion, DUCA, Ludmila   +2 more
core  

Formal Choreographic Languages [PDF]

, 2022
We introduce a meta-model based on formal languages, dubbed formal choreographic languages, to study message-passing systems. Our main motivation is to establish a framework for the comparison and generalisation of standard constructions and properties ...
Barbanera F., Lanese I., Tuosto E.
core   +1 more source