Results 151 to 160 of about 4,235,689 (341)

Object organisation in software environments for formal methods [PDF]

, 1993
Jun Han, Jim Welsh
openalex   +1 more source

ICU‐EEG Pattern Detection by a Convolutional Neural Network

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Patients in the intensive care unit (ICU) often require continuous EEG (cEEG) monitoring due to the high risk of seizures and rhythmic and periodic patterns (RPPs). However, interpreting cEEG in real time is resource‐intensive and heavily relies on specialized expertise, which is not always available.
Giulio Degano, Hervé Quintard, Andreas Kleinschmidt, Nikita Francini, Oana E. Sarbu, Pia De Stefano   +5 more
wiley   +1 more source

Long‐Term Evaluation of Givinostat in Duchenne Muscular Dystrophy, and Natural History Comparisons

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives This ongoing, open‐label extension study is evaluating the long‐term safety, tolerability, and efficacy of givinostat, a Class I and II histone deacetylase inhibitor, in patients with Duchenne muscular dystrophy (DMD). Methods The recruited patients completed one of two prior clinical studies (one Phase 2 and one Phase 3 [EPIDYS ...
Craig M. McDonald, Michela Guglieri, Dragana Vučinić, Gyula Acsadi, John F. Brandsema, Claudio Bruno, Erika L. Finanger, Amy Harper, Mercedes Lopez Lobato, Riccardo Masson, Nuria Muelas, Francina Munell, Yoram Nevo, Yann Péréon, Han Phan, Valeria A. Sansone, Mariacristina Scoto, Tracey Willis, Richard S. Finkel, Krista Vandenborne, Sara Cazzaniga, Silvia Montrasio, Federica Alessi, Paolo Bettica, Eugenio Mercuri, for the Givinostat Study 51 Investigators, the Cooperative International Neuromuscular Research Group (CINRG) Duchenne Natural History Study (DNHS) Investigators, the ImagingDMD Investigators, Enrico Bertini, Giacomo Pietro Comi, Eugenio Maria Mercuri, Giuseppe Vita, Sonia Messina, Claudio Bruno, Riccardo Masson, Valeria Sansone, Nathalie Goemans, Liesbeth De Waele, Laurent Servais, Teresa Gidaro, Odile Boespflug‐Tanguy, Yann Péréon, Jessika Johannsen, Astrid Blaschek, Ulrike Schara‐Schmidt, Erik Niks, Imelda de Groot, Saskia Houwen‐van Opstal, Andres Nascimento, Juan Jesus Vilchez, Nuria Muelas, Francina Munell, Marcos Madruga Garrido, Mercedes Lopez Lobato, Michaela Guglieri, Tracey Willis, Stefan Spinty, Daniel Hawcutt, Mariacristina Scoto, Jean K. Mah, Laura McAdam, Kathryn Selby, Katherine Mathews, Craig McDonald, Craig Zaidman, Barry Byrne, John Brandsema, Gyula Acsadi, Chamindra Laverty, Amy Harper, Erika Finanger, Han Phan, Yoram Nevo, Vedrana Milic Rasic, Dragana Vucinic   +74 more
wiley   +1 more source

Formal Methods and Human Communication [PDF]

, 1996
Keith Stenning, Corin Gurr
openalex   +1 more source

Practice Recommendations for Genetic Testing of Ataxias

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Over the past decade, significant advances in genetic testing for ataxia have improved diagnostic accuracy, informed clinical trial eligibility, guided treatment decisions, and enabled cascade testing of at‐risk relatives. While guidance exists for other neurogenetic conditions, there are no standardized guidelines on genetic ...
Sharan R. Srinivasan, Amy D. Mook, Michelle Rochman, Jin Yun Helen Chen, Weiyi Mu, George R. Wilmot, Liana S. Rosenthal, Wendy R. Uhlmann   +7 more
wiley   +1 more source

Research on formal description and verification of automated trust negotiation

Tongxin xuebao, 2011
First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN ...
GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1   +3 more
doaj  

Formal equivalence of direct and indirect boundary element methods

, 1978
C. A. Brebbia, R. Butterfield
openalex   +1 more source

The Changing Face of Standardization: A Place for Formal Methods? [PDF]

, 1999
David Duce, David Duke, G. Faconti, Iván Herman   +3 more
openalex   +1 more source

Cognitive Impairment in Multiple Sclerosis: The Role of Clinical and Sociodemographic Factors ‐ A Systematic Review and Meta‐Analysis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Cognitive impairment (CI) affects the quality of life in multiple sclerosis (MS). Identifying influencing factors is key to improving CI monitoring. This systematic review and meta‐analysis examines clinical and sociodemographic variables impacting the cognitive screening Symbol Digit Modalities Test (SDMT) performance across MS ...
Katalin Lugosi, Marie A. Engh, Tamás Kói, Zsolt Molnár, Gábor Csukly, Klaudia Horváth, Emma Hargitai, Péter Hegyi, Zsolt Mezei   +8 more
wiley   +1 more source

CASE Support for Methods Integration : Implementation of a translation from a structured to a formal notation [PDF]

, 1996
Stanford B. Hooker, Mike Lockyer, P. C. Fencott   +2 more
openalex   +1 more source