Results 81 to 90 of about 83,409 (250)
Efficient Detection of Zeno Runs in Timed Automata [PDF]
, 2007 Zeno runs, where infinitely many actions occur in finite time, may inadvertently arise in timed automata specifications. Zeno runs may compromise the reliability of formal verification, and few model-checkers provide the means to deal with them: this ...
Gomez, Rodolfo, Bowman, Howard
core +1 more source
Uncertain Automata and Uncertain Graph Grammar [PDF]
Neutrosophic Sets and SystemsGraph theory has been widely studied, resulting in numerous applications across various felds. Among its many topics, Automata and Graph Grammar have emerged as signifcant areas ofresearch.
Florentin Smarandache, Takaaki Fujita
doaj +1 more source
Association Between Motor Pathway Damage and Motor Deficit in Upper and Lower Limb in People With MS
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Corticospinal tract damage is common in people with MS, but the degree of clinical symptoms varies. We hypothesize that corticospinal tract lesions are more extensive and severe in people with MS with motor impairments in both upper and lower limbs.
Mathilde Liffran +13 more
wiley +1 more source
Complete Subhedge Projection for Stepwise Hedge Automata
AlgorithmsWe demonstrate how to evaluate stepwise hedge automata (Shas) with subhedge projection while completely projecting irrelevant subhedges. Since this requires passing finite state information top-down, we introduce the notion of downward stepwise hedge ...
Antonio Al Serhali, Joachim Niehren
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective We aim to comprehensively analyze how regional tumor and edema characteristics are associated with clinical presentations and survival outcomes in a large cohort of glioblastoma patients. Methods Patients with IDH‐wildtype glioblastoma who received brain MRI from 2010 to 2023 were included.
Daniel J. Zhou +16 more
wiley +1 more source
An overview of the second-previous memory effect in the strictlyalternating donation game
Journal of Physics CommunicationsGame theory delves into the examination of strategic behaviour across diverse domains such as insurance, business, military, biology, and more, with the aim of deriving optimal decisions.
Essam EL-Seidy +3 more
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To characterize the demographic, clinical, and laboratory features of the Chinese patients of genetic Creutzfeldt‐Jakob disease with T188K variant (T188K‐gCJD), the most common subtype of genetic prion diseases (gPrDs) in China. Methods In this nationwide retrospective study, data from 98 genetically confirmed T188K‐gCJD patients ...
Chun‐Jie Li +11 more
wiley +1 more source
Vaucanson’s Automata as Devices of Enlightenment
Sjuttonhundratal, 2011 Residing at the interstices of high and low culture, pleasure and utility, wonder and technique, Vaucanson's automata belonged to what historian Michael R.
Joan B. Landes
doaj +1 more source
Screening Routine Clinical Notes for Epilepsy Surgery Candidates Using Large Language Models
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Epilepsy surgery is severely underutilized despite proven efficacy, with substantial under‐referral of eligible patients in routine clinical practice. This study evaluated the potential role of large language models (LLMs) as decision‐support tools for screening unstructured clinical notes to identify epilepsy surgery candidates and ...
Uriel Fennig +9 more
wiley +1 more source
On rational solution of the state equation of a finite automaton
International Journal of Mathematics and Mathematical Sciences, 1988 We prove that the necessary and sufficient condition for the state equation of a finite automaton M to have a rational solution is that the lexicographical Gödel numbers of the strings belonging to each of the end-sets of M form an ultimately periodic ...
R. Chaudhuri, H. Höft
doaj +1 more source