Results 61 to 70 of about 852,128 (332)
From Temporal Models to Property-Based Testing
, 2017 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
Building Domain Specific Languages for Voice Recognition Applications [PDF]
Informatică economică, 2008 This paper presents a method of implementing the voice recognition for the control of software applications. The solutions proposed are based on transforming a subset of the natural language in commands recognized by the application using a formal ...
Cristian IONITA
doaj
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective This study aims to identify both fluid and neuroimaging biomarkers for CSF1R‐RD that can inform the optimal timing of treatment administration to maximize therapeutic benefit, while also providing sensitive quantitative measurements to monitor disease progression.
Tomasz Chmiela +13 more
wiley +1 more source
Automated Generation of OCL Constraints: NL based Approach vs Pattern Based Approach [PDF]
Mehran University Research Journal of Engineering and Technology, 2017 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
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Myasthenia gravis (MG) is a rare disorder characterized by fluctuating muscle weakness with potential life‐threatening crises. Timely interventions may be delayed by limited access to care and fragmented documentation. Our objective was to develop predictive algorithms for MG deterioration using multimodal telemedicine data ...
Maike Stein +7 more
wiley +1 more source
Functional Connectivity Linked to Cognitive Recovery After Minor Stroke
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Patients with minor stroke exhibit slowed processing speed and generalized alterations in functional connectivity involving frontoparietal cortex (FPC). The pattern of connectivity evolves over time. In this study, we examine the relationship of functional connectivity patterns to cognitive performance, to determine ...
Vrishab Commuri +7 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective People with epilepsy (PWE) may experience cognitive deficits but fail to undergo formal evaluation. This study compares cognitive status between PWE and healthy controls in the West African Republic of Guinea. Methods A cross‐sectional, case–control study was conducted in sequential recruitment phases (July 2024–July 2025) at Ignace ...
Maya L. Mastick +14 more
wiley +1 more source
A Model for Naturalistic Programming with Implementation
Applied Sciences, 2019 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
Bayesian Estimation Improves Prediction of Outcomes After Epilepsy Surgery
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT We estimated the statistical power of studies predicting seizure freedom after epilepsy surgery. We extracted data from a Cochrane meta‐analysis. The median power across all studies was 14%. Studies with a median sample size or less (n ≤ 56) and a statistically significant result exaggerated the true effect size by a factor of 5.4, while the ...
Adam S. Dickey +4 more
wiley +1 more source