Results 191 to 200 of about 4,463,103 (324)
, 2003 This volume contains the proceedings of FM 2003, the 12th International Formal Methods Europe Symposium which was held in Pisa, Italy on September 8 14, 2003. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of and research on formal methods for system development.
K. Araki, S. Gnesi, MANDRIOLI, DINO
openaire +3 more sources
Increased Blood Levels of NfL, GFAP, and Placental Growth Factor After Radiotherapy to the Brain
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT In this study, we analyzed biomarkers of neuronal, glial, and vascular injury in longitudinal paired samples of blood and cerebrospinal fluid after prophylactic cranial irradiation in patients with small cell lung cancer. Neurofilament light chain protein (NfL) and glial fibrillary acidic protein (GFAP) increased in serum and cerebrospinal ...
Erik Fernström +5 more
wiley +1 more source
Stochastic Formal Methods: An Application to Accuracy of Numeric Software
, 2007 Marc Daumas, David Lester
openalex +2 more sources
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Status epilepticus (SE) is associated with significant mortality. Sleep architecture may reflect normal brain function. Impaired sleep architecture is associated with poorer outcomes in numerous conditions. Here we investigate the association of sleep architecture in continuous EEG (cEEG) with survival in SE.
Ran R. Liu +5 more
wiley +1 more source
Design and Analysis of Mobile Operating System Security Architecture using Formal Methods
, 2017 Hendra Gunadi
openalex +2 more sources
A Survey on Formal Methods for Web Service Composition [PDF]
, 2013 Yong Wang
openalex +1 more source
Sex Hormones Associate With Amyotrophic Lateral Sclerosis Risk and Survival
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Amyotrophic lateral sclerosis (ALS) risk differs by sex and age, implicating sex hormones as potential modifiers. This study examined plasma levels of biologically active sex hormones and their association with ALS odds and survival in cases (females n = 131, males n = 189) and controls (females n = 138, males n = 150) from the University of ...
Stephen A. Goutman +5 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
Analysis of Formal Concepts for Verification of Pests and Diseases of Crops Using Machine Learning Methods [PDF]
Jamalbek Tussupov +6 more
openalex +1 more source