Results 121 to 130 of about 1,133,638 (315)

Beyond model checking [PDF]

, 1994
Zohar Manna
openalex   +1 more source

Genetic Profile and Symptom Pattern Explain Variability of Deep Brain Stimulation Effect in Dystonia

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Bilateral globus pallidus pars interna deep brain stimulation (GPi‐DBS) is a recognized and effective treatment option for drug‐resistant dystonia patients. However, the clinical GPi‐DBS outcomes vary significantly. Herein, we explored the pre‐implant factors affecting GPi‐DBS effectiveness.
Mahboubeh Ahmadipour, Luigi M. Romito, Antonio E. Elia, Nico Golfré Andreasi, Roberto Eleopra, Alberto Mazzoni, Fabiana Colucci   +6 more
wiley   +1 more source

Model-checking processes with data

Science of Computer Programming, 2005
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Groote, J.F., Willemse, T.A.C.
openaire   +5 more sources

Model Checking with Right Censored Data Using Relative Belief Ratio. [PDF]

Entropy (Basel), 2022
Al-Labadi L, Alzaatreh A, Asuncion M.
europepmc   +1 more source

Active Seizures Predict Worse Instrumental Activities of Daily Living in Individuals With Normal Cognition and Dementia

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Cognitive disorders are common in older persons with seizures (PWS). Cognitive disorders are often associated with impaired Instrumental Activities of Daily Living (IADLs). However, the effects of seizures on IADLs remain unexplored.
Ifrah Zawar, Jaideep Kapur, Meghan M. Mattos, Carol Manning, Syeda Amrah Hashmi, Mark Quigg   +5 more
wiley   +1 more source

Using induction and BDDs to model check invariants [PDF]

, 1997
David Déharbe, Anamaria Martins Moreira
openalex   +1 more source

The Diagnostic Value of Visual Evoked Potentials in Chronic Disorders of Consciousness

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective In chronic disorders of consciousness (DOCs), the distinction between vegetative state/unresponsive wakefulness syndrome (VS/UWS) and minimally conscious state (MCS) is as crucial as it is challenging. Evoked potentials (EPs) and event‐related potentials (ERPs) are helpful, but some limitations prevent their consistent use in the ...
Letizia Clementi, Francesca Giulia Magnani, Filippo Barbadoro, Camilla Ippoliti, Martina Cacciatore, Davide Sattin, Valeria Pingue, Benedetta Cazzulani, Jorge Navarro, Elena Schiaffi, Laura Grigoletti, Cristina Rosazza, Anna Nigri, Matilde Leonardi, Davide Rossi Sebastiano   +14 more
wiley   +1 more source

A formal analysis method for composition protocol based on model checking. [PDF]

Sci Rep, 2022
Xiao M, Zhao H, Yang K, Ouyang R, Song W.   +4 more
europepmc   +1 more source

Time‐Frequency Fingerprint Analysis in SEEG Source‐Space to Identify the Epileptogenic Zone

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT This case study highlights the application of seizure fingerprint analysis in the source‐space of stereo‐EEG (SEEG) data to accurately localize the epileptogenic zone (EZ) in patients with complex cortical malformations. A 25‐year‐old female with extensive bilateral perisylvian polymicrogyria (PMG) presented with intractable focal seizures ...
Yash Shashank Vakilna, Deniz Atilgan, Johnson Hampson, Chinmay Chinara, Takfarinas Medani, Richard M. Leahy, Nuria Lacuey, Samden D. Lhatoo, Sandipan Pati, John C. Mosher, Jay R. Gavvala   +10 more
wiley   +1 more source

Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost. [PDF]

Entropy (Basel), 2022
Ma Z, Li Z, Li W, Gao Y, Li X.
europepmc   +1 more source