Results 71 to 80 of about 43,821 (313)
Reachability in Higher-Order-Counters
, 2013 Higher-order counter automata (\HOCS) can be either seen as a restriction of higher-order pushdown automata (\HOPS) to a unary stack alphabet, or as an extension of counter automata to higher levels.
A. Bouajjani +11 more
core +1 more source
Towards a Uniform Theory of Effectful State Machines
, 2020 Using recent developments in coalgebraic and monad-based semantics, we present a uniform study of various notions of machines, e.g. finite state machines, multi-stack machines, Turing machines, valence automata, and weighted automata.
Goncharov, Sergey +2 more
core +2 more sources
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 +3 more
doaj +1 more source
Towards Nominal Formal Languages [PDF]
, 2011 We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions.
Kurz, Alexander +2 more
core +2 more sources
FEBS Open Bio, EarlyView.This study presents a novel approach to teaching Python and bioinformatics using team‐based learning and cloud‐hosted notebooks. By integrating interactive coding into biomedical education, the method improves accessibility, student engagement, and confidence—especially for those without a computing background.
Nuno S. Osório, Leonardo D. Garma
wiley +1 more source
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
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Cognitive impairment (CI) affects the quality of life in multiple sclerosis (MS). Identifying influencing factors is key to improving CI monitoring. This systematic review and meta‐analysis examines clinical and sociodemographic variables impacting the cognitive screening Symbol Digit Modalities Test (SDMT) performance across MS ...
Katalin Lugosi +8 more
wiley +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
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
A B\"uchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storage [PDF]
Discrete Mathematics & Theoretical Computer Science, 2020 We introduce MSO graph storage types, and call a storage type MSO-expressible if it is isomorphic to some MSO graph storage type. An MSO graph storage type has MSO-definable sets of graphs as storage configurations and as storage transformations.
Joost Engelfriet, Heiko Vogler
doaj +1 more source