Results 111 to 120 of about 112,498 (311)
Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2024 [PDF]
The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core +1 more source
Modeling Adaptation with Klaim [PDF]
, 2012 In recent years, it has been argued that systems and applications, in order to deal with their increasing complexity, should be able to adapt their behavior according to new requirements or environment conditions.
R. Pugliese +6 more
core +1 more source
ANALYSING UML-BASED SOFTWARE MODELLING LANGUAGES
Havacılık ve Uzay Teknolojileri Dergisi, 2018 UML is considered as the top popular software modelling language among practitioners. Expectedly, UML has been extended by many other languages, which tailor UML for particular domains (e.g., distributed systems, mobile systems, and embedded systems). In
Mert Ozkaya
doaj
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
Frontiers in Robotics and AI, 2018 Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results, but it can also cause economic losses and jeopardize safety.
Rocco De Nicola +2 more
doaj +1 more source
Multidimensional Profiling of MRI‐Negative Temporal Lobe Epilepsy Uncovers Distinct Phenotypes
Annals of Clinical and Translational Neurology, EarlyView.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
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Onasemnogene abeparvovec (OA) is an AAV9‐based gene therapy for spinal muscular atrophy type I (SMA I). Real‐world outcomes show increased response variability compared to clinical trials, and follow‐up data beyond 12–18 months are limited.
Marika Pane +43 more
wiley +1 more source
Cracking the Code: Genotype–Phenotype Correlation Models in Sarcoglycanopathies
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Sarcoglycanopathies are among the most severe limb‐girdle muscular dystrophies (LGMD), though milder presentations have been described. These diseases are primarily caused by missense variants, but the limited predictability of their effect on protein maturation, complex formation, and transport has hindered reliable genotype ...
Leonela Luce +72 more
wiley +1 more source
An intensional implementation technique for functional languages [PDF]
The potential of functional programming languages has not been widely accepted yet. The reason lies in the difficulties associated with their implementation.
Yaghi, Ali A. G.
core
Evaluating a formal modelling language
, 1994 Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive properties through formal proofs. However, these formal languages also suffer from problems which limit their practical usefulness: they are often not expressive enough to deal with real world ...
Fidel Ruiz +3 more
openaire +2 more sources
CSF Monoamine Metabolites and Cognitive Trajectory in Early Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Imaging and postmortem studies indicate that abnormalities in monoaminergic neurotransmission contribute to cognitive impairment in Parkinson's disease (PD). However, it remains uncertain if cerebrospinal fluid (CSF) monoamine metabolites can serve as biomarkers of cognitive decline in early PD.
Jing‐Yu Shao +7 more
wiley +1 more source