Results 91 to 100 of about 8,430 (314)
Towards Compact and Tractable Automaton-Based Representations of Time Granularities [PDF]
, 2003 Different approaches to time granularity have been proposed in the database literature to formalize the notion of calendar, based on algebraic, logical, and string-based formalisms. In this paper, we further develop an alternative approach based on automata, originally proposed in [4], which makes it possible to deal with infinite time granularities in
Lago U. D., Montanari A., Puppis G.
openaire +3 more sources
Lessons Learned: Quality Analysis of Optical Coherence Tomography in Neuromyelitis Optica
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Introduction Optical coherence tomography (OCT)‐derived retina measurements are markers for neuroaxonal visual pathway status. High‐quality OCT scans are essential for reliable measurements, but their acquisition is particularly challenging in eyes with severe visual impairment, as often observed in neuromyelitis optica spectrum disorders ...
Hadi Salih +40 more
wiley +1 more source
Towards Cancer Hybrid Automata
, 2012 This paper introduces Cancer Hybrid Automata (CHAs), a formalism to model the progression of cancers through discrete phenotypes. The classification of cancer progression using discrete states like stages and hallmarks has become common in the biology ...
Andreas Witzel +4 more
core +2 more sources
Portable Low‐Field Magnetic Resonance Imaging in People With Human Immunodeficiency Virus
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective The aging population of people with HIV (PWH) raises heightened concerns regarding accelerated aging and dementia. Portable, low‐field MRI (LF‐MRI) is an innovative technology that could enhance access and facilitate routine monitoring of PWH.
Annabel Sorby‐Adams +14 more
wiley +1 more source
Optimal Reachability in Divergent Weighted Timed Games
, 2017 Weighted timed games are played by two players on a timed automaton equipped with weights: one player wants to minimise the accumulated weight while reaching a target, while the other has an opposite objective.
A Puri +17 more
core +3 more sources
A timed automaton model for ET-LOTOS verification [PDF]
, 1997 We present in this paper a method to transform ET-LOTOS expressions in a subclass of timed automaton with timers, where a timer is not restarted before its reset. We show that this subclass is equivalent to timed automata and we show that this model can be used for ET-LOTOS verification. We have implemented this transformation method and interfaced our
openaire +1 more source
Network Localization of Fatigue in Multiple Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Fatigue is among the most common symptoms and one of the main factors determining the quality of life in multiple sclerosis (MS). However, the neurobiological mechanisms underlying fatigue are not fully understood. Here we studied lesion locations and their connections in individuals with MS, aiming to identify brain networks ...
Olli Likitalo +12 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Peripheral neuropathies contribute to patient disability but may be diagnosed late or missed altogether due to late referral, limitation of current diagnostic methods and lack of specialized testing facilities. To address this clinical gap, we developed NeuropathAI, an interpretable deep learning–based multiclass classification ...
Chaima Ben Rabah +7 more
wiley +1 more source
Non-blocking supervisory control for initialised rectangular automata [PDF]
, 2004 We consider the problem of supervisory control for a class of rectangular automata and more specifically for compact rectangular automata with uniform rectangular activity, i.e. initialised.
Spathopoulos, Michael P.
core
Post‐COVID Fatigue Is Associated With Reduced Cortical Thickness After Hospitalization
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Neuropsychiatric symptoms are among the most prevalent sequelae of COVID‐19, particularly among hospitalized patients. Recent research has identified volumetric brain changes associated with COVID‐19. However, it currently remains poorly understood how brain changes relate to post‐COVID fatigue and cognitive deficits.
Tim J. Hartung +190 more
wiley +1 more source