Results 71 to 80 of about 46,330 (328)
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
Representing Hybrid Automata by Action Language Modulo Theories
, 2017 Both hybrid automata and action languages are formalisms for describing the evolution of dynamic systems. This paper establishes a formal relationship between them.
Lee, Joohyung +2 more
core +1 more source
Detecting rs‐fMRI Networks in Disorders of Consciousness: Improving Clinical Interpretability
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Preserved resting‐state functional MRI (rs‐fMRI) networks are typically observed in Disorders of Consciousness (DOC). Despite the widespread use of rs‐fMRI in DOC, a systematic assessment of networks is needed to improve the interpretability of data in clinical practice.
Jean Paul Medina Carrion +15 more
wiley +1 more source
Deciding the value 1 problem for probabilistic leaktight automata [PDF]
Logical Methods in Computer Science, 2015 The value 1 problem is a decision problem for probabilistic automata over finite words: given a probabilistic automaton, are there words accepted with probability arbitrarily close to 1?
Nathanaël Fijalkow +3 more
doaj +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
On groups and counter automata [PDF]
, 2006 We study finitely generated groups whose word problems are accepted by counter automata. We show that a group has word problem accepted by a blind n-counter automaton in the sense of Greibach if and only if it is virtually free abelian of rank n; this ...
Dixon J. D. +8 more
core +2 more sources
The Diagnostic Value of Visual Evoked Potentials in Chronic Disorders of Consciousness
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective In chronic disorders of consciousness (DOCs), the distinction between vegetative state/unresponsive wakefulness syndrome (VS/UWS) and minimally conscious state (MCS) is as crucial as it is challenging. Evoked potentials (EPs) and event‐related potentials (ERPs) are helpful, but some limitations prevent their consistent use in the ...
Letizia Clementi +14 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective Social determinants of health (SDoH) can impact outcomes but are not routinely screened for in US outpatient rheumatology clinics. This study determined the feasibility of routine point‐of‐care SDoH screening among patients with systemic lupus erythematosus (SLE) and associated barriers and facilitators at the physician, care team, and ...
S. Sam Lim +11 more
wiley +1 more source
Streamability of nested word transductions [PDF]
Logical Methods in Computer Science, 2019 We consider the problem of evaluating in streaming (i.e., in a single left-to-right pass) a nested word transduction with a limited amount of memory. A transduction T is said to be height bounded memory (HBM) if it can be evaluated with a memory that ...
Emmanuel Filiot +3 more
doaj +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.Summary Data‐driven forecasting of ship motions in waves is investigated through feedforward and recurrent neural networks as well as dynamic mode decomposition. The goal is to predict future ship motion variables based on past data collected on the field, using equation‐free approaches.
Matteo Diez +2 more
wiley +1 more source