Results 131 to 140 of about 112,498 (311)
On languages of automaton counter machines
Моделирование и анализ информационных систем, 2010 Some properties of formal languages (ACML) of automaton counter machines are investigated. We show that a class of these languages is closed with respect to the following operations: union, intersection by regular sets, concatenation, infinite iteration (
E. V. Kuzmin, D. Ju. Chalyy
doaj
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio +8 more
wiley +1 more source
Kannada through the lens of the NP/DP parameter [PDF]
Boškovi?’s (2008, 2012) NP/DP parameter suggests that languages with definite articles are DP language and languages without definite articles are NP languages.
Dees, Joshua
core +1 more source
Early Clinical, Imaging, and Pathological Characteristics of SRPK3/TTN‐Digenic Myopathy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective SRPK3/TTN‐digenic myopathy was recently established as a skeletal muscle myopathy caused by digenic inheritance. This study characterizes the early clinical presentation of SRPK3/TTN‐digenic myopathy in one previously reported and seven newly identified pediatric patients.
Rotem Orbach +23 more
wiley +1 more source
The Formal Specification Language mCRL2
, 2007 We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the mCRL specification language. The mCRL2 language extends a timed basic process algebra with the possibility to define and use abstract data types. The mCRL2 data language features predefined and
J.F. Groote (Jan Friso) +4 more
openaire +6 more sources
Movement Disorders in Aicardi–Goutières Syndrome and Response to Immunomodulation
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT This study characterizes movement disorders and treatment responses in seven children with Aicardi–Goutières syndrome (AGS). We retrospectively evaluated motor phenotypes, neuroimaging, and interferon signatures in patients treated with baricitinib or anifrolumab. Spasticity affected all patients, while dystonia was present in 4/7.
Enrique Gonzalez Saez‐Diez +10 more
wiley +1 more source
White Matter Microstructural Abnormalities in Neonatal Onset Genetic Epilepsy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Recent evidence indicates that epilepsy is associated with abnormal white matter. If seizures alter white matter, then the impact upon network function, epileptogenesis, and cognition could be pronounced in neonates undergoing rapid developmental myelination. Neonates with epilepsy due to nonstructural genetic causes provide a unique
Amanda G. Sandoval Karamian +8 more
wiley +1 more source
On Multi-stack Visibly Pushdown Languages [PDF]
, 2013 We contribute to the theory of formal languages of visibly multistack pushdown automata (MVPA). First, we show closure under the main operations and decidability of the main decision problems for the class of MVPA restricted to computations where a ...
Salvatore La Torre +5 more
core
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Down syndrome regression disorder is a syndrome characterized by subacute loss of cognitive, behavioral, and functional abilities in individuals with Down syndrome. Electroencephalography abnormalities are frequently observed during evaluation, but it remains unclear whether these findings represent a dynamic marker of disease ...
Jonathan D. Santoro +14 more
wiley +1 more source