Results 71 to 80 of about 864,679 (285)
The dimension of a formal language
A connection is established between formal language theory and mathematical analysis by associating the symbols of strings of a language with the digits of expansions of points in the unit interval. A language is made to correspond to a particular subset of the unit interval, and the dimension of a language is defined as the Hausdorff dimension of this
openaire +2 more sources
ABSTRACT Objective Super‐Refractory Status Epilepticus (SRSE) is a rare, life‐threatening neurological emergency with unclear etiology in many cases. Mitochondrial dysfunction, often due to disease‐causing genetic variants, is increasingly recognized as a cause, with each gene producing distinct pathophysiological mechanisms.
Pouria Mohammadi +2 more
wiley +1 more source
Remote Monitoring in Myasthenia Gravis: Exploring Symptom Variability
ABSTRACT Background Myasthenia gravis (MG) is a rare, autoimmune disorder characterized by fluctuating muscle weakness and potential life‐threatening crises. While continuous specialized care is essential, access barriers often delay timely interventions. To address this, we developed MyaLink, a telemedical platform for MG patients.
Maike Stein +13 more
wiley +1 more source
Automated Generation of OCL Constraints: NL based Approach vs Pattern Based Approach [PDF]
This paper presents an approach used for automated generations of software constraints. In this model, the SBVR (Semantics of Business Vocabulary and Rules) based semi-formal representation is obtained from the syntactic and semantic analysis of a NL ...
IMRAN SARWAR BAJWA +1 more
doaj
A Model for Naturalistic Programming with Implementation
While the use of natural language for software development has been proposed since the 1960s, it was limited by the inherent ambiguity of natural languages, which people resolve using reasoning in a text or conversation.
Oscar Pulido-Prieto +1 more
doaj +1 more source
Remote Assessment of Ataxia Severity in SCA3 Across Multiple Centers and Time Points
ABSTRACT Objective Spinocerebellar ataxia type 3 (SCA3) is a genetically defined ataxia. The Scale for Assessment and Rating of Ataxia (SARA) is a clinician‐reported outcome that measures ataxia severity at a single time point. In its standard application, SARA fails to capture short‐term fluctuations, limiting its sensitivity in trials.
Marcus Grobe‐Einsler +20 more
wiley +1 more source
Complementarity of Long‐Reads and Optical Mapping in Parkinson's Disease for Structural Variants
ABSTRACT Objective Long‐read sequencing and optical genome mapping technologies have the ability to detect large and complex structural variants. This has led to the discovery of novel pathogenic variants in neurodegenerative movement disorders. Thus, we aimed to systematically compare the SV detection capabilities of OGM and ONT in Parkinson's disease.
André Fienemann +17 more
wiley +1 more source
A Bibliography on Fuzzy Automata, Grammars and Lanuages [PDF]
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
From Temporal Models to Property-Based Testing
This paper presents a framework to apply property-based testing (PBT) on top of temporal formal models. The aim of this work is to help software engineers to understand temporal models that are presented formally and to make use of the advantages of ...
Alzahrani, Nasser +2 more
core +1 more source
Multidimensional Profiling of MRI‐Negative Temporal Lobe Epilepsy Uncovers Distinct Phenotypes
ABSTRACT Objective Although hippocampal sclerosis (TLE‐HS) represents the most frequent cause of temporal lobe epilepsy (TLE), up to 30% of patients show no lesion on visual MRI inspection (TLE‐MRIneg). These cases pose diagnostic and therapeutic challenges and are underrepresented in surgical series.
Alice Ballerini +28 more
wiley +1 more source

