Results 111 to 120 of about 1,475,237 (325)
A Coalgebraic Perspective on Linear Weighted Automata [PDF]
, 2012 International audienceWeighted automata are a generalization of non-deterministic automata where each transition, in addition to an input letter, has also a quantity expressing the weight (e.g. cost or probability) of its execution.
Silva, Alexandra +4 more
core +3 more sources
Proper Functors and Fixed Points for Finite Behaviour [PDF]
Logical Methods in Computer Science, 2018 The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e.
Stefan Milius
doaj +1 more source
Deep Learning Pose Estimation for Phenotyping of Co‐Occurring Hyperkinetic Movement Disorders
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To explore whether routine outpatient video combined with deep learning‐based pose estimation and clinically interpretable kinematic features can support multi‐label phenotyping of co‐occurring hyperkinetic movement disorders (HMDs).
Laura Cif +17 more
wiley +1 more source
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
Bisimulation metrics and norms for real-weighted automata
Information and Computation, 2020 We develop a new bisimulation (pseudo)metric for weighted finite automata (WFA) that generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on the state space of WFA.
Borja Balle +2 more
semanticscholar +1 more source
Temporal Divergence of True and False Alarms in Pediatric Nocturnal Seizure Monitoring
Annals of Clinical and Translational Neurology, EarlyView.The early‐morning surge in false seizure alarms supports exploring time‐ or state‐dependent detection thresholds to reduce false detections. ABSTRACT Seizure detection devices can improve the safety of children with epilepsy, yet high false alarms limit their clinical applicability.
Mohammad Shahbakhti +6 more
wiley +1 more source
Modeling of safe time Petri nets by interval weighted automata
, 2020 Weighted automata with weights (multiplicities) in the product semirings can be viewed as alternative models for timed systems, where concurrent time behaviors are modeled using nondeterminism, while in timed automata using multiple clocks.
J. Komenda +4 more
semanticscholar +1 more source
Generalization Bounds for Weighted Automata
CoRR, 2016 This paper studies the problem of learning weighted automata from a finite labeled training sample. We consider several general families of weighted automata defined in terms of three different measures: the norm of an automaton's weights, the norm of the function computed by an automaton, or the norm of the corresponding Hankel matrix.
Borja Balle, Mehryar Mohri
openaire +3 more sources
Diffusion Basis Spectrum Imaging of Tissue Microstructure and Early Treatment in Multiple Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Conventional MRI cannot resolve the coexisting pathological processes within multiple sclerosis tissue. Diffusion Basis Spectrum Imaging decomposes the diffusion signal into fiber, cell, and hindered ratios indexing axonal integrity, cellularity, and extracellular space, respectively.
Apisit Kaewsanit +10 more
wiley +1 more source
Stage‐Specific Patterns of Imaging and Non‐Motor Biomarkers in Spinocerebellar Ataxia Type 3
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Advancements in disease‐modifying therapies for spinocerebellar ataxia Type 3 (SCA3) underscore the need for robust biomarkers to monitor disease progression and evaluate treatment efficacy. Although motor phenotypes have been well characterized, less is known about non‐motor and imaging‐based features across different disease stages.
Chun Li +17 more
wiley +1 more source