Results 41 to 50 of about 2,186 (279)
Sublinearly space bounded iterative arrays [PDF]
, 2007 Iterative arrays (IAs) are a, parallel computational model with a sequential processing of the input. They are one-dimensional arrays of interacting identical deterministic finite automata.
B.S. Palano +5 more
core
Natural Frequencies of Levodopa‐Induced Dyskinesia in Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objectives Abnormal involuntary movements, known as dyskinesias, are common complications of levodopa treatment in patients with Parkinson's disease and can significantly impair quality of life. The underlying pathophysiology remains unclear, and current therapeutic options are limited.
Ioannis U. Isaias +3 more
wiley +1 more source
Global Rather Than Vertical‐Selective Saccadic Abnormalities in Progressive Supranuclear Palsy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To test whether vertical saccades are preferentially affected in Progressive Supranuclear Palsy (PSP). Methods PSP patients (n = 24) were compared to age‐matched controls (n = 94) and two degenerative groups (Alzheimer's disease, n = 20; Lewy body disease, n = 50).
Duy Duan Nguyen +6 more
wiley +1 more source
Quantitative Automata under Probabilistic Semantics [PDF]
Logical Methods in Computer Science, 2019 Automata with monitor counters, where the transitions do not depend on counter values, and nested weighted automata are two expressive automata-theoretic frameworks for quantitative properties. For a well-studied and wide class of quantitative functions,
Krishnendu Chatterjee +2 more
doaj +1 more source
Four‐Year Cognitive Outcomes in Multiple Sclerosis: Associations With Lesion Myelin Integrity
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objectives Cognitive impairment is prevalent in patients with multiple sclerosis (MS) but whether lesion myelin integrity influences future cognitive outcomes remains unclear. We investigated the relationship between baseline lesion myelin water fraction (MWF) and cognitive performance 4 years later.
Iliana Pliska‐Bloch +9 more
wiley +1 more source
Unifying B\"uchi Complementation Constructions [PDF]
Logical Methods in Computer Science, 2013 Complementation of B\"uchi automata, required for checking automata containment, is of major theoretical and practical interest in formal verification. We consider two recent approaches to complementation.
Seth J. Fogarty +3 more
doaj +1 more source
Physics‐Grounded Materials Artificial Intelligence for Reliable Materials Discovery
Advanced Functional Materials, EarlyView.Physics‐Grounded Materials AI (PhysMat AI) integrates physical priors, descriptors, constraints, verification, and data infrastructure into a unified full‐stack framework, enabling reliable, interpretable, and autonomous AI‐driven materials discovery.
Yuhang Wang +3 more
wiley +1 more source
CPT314 - Automata Theory & Formal Languages - March 2005 [PDF]
, 2005 UNIVERSITI SAINS MALAYSIA Second Semester Examination Academic Session 2004/2005 March 2005 CPT314 - Automata Theory & Formal Languages Duration : 3 hours INSTRUCTIONS TO CANDIDATES: • Please ensure that this examination paper contains ...
PPSKOM, Pusat Pengajian Sains Komputer
core +1 more source
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 +2 more
doaj +1 more source
Logical Methods in Computer Science, 2020 We introduce a class of algebras that can be used as recognisers for regular tree languages. We show that it is the only such class that forms a pseudo-variety and we prove the existence of syntactic algebras.
Achim Blumensath
doaj +1 more source