Results 131 to 140 of about 3,157,454 (357)

Translating a Preclinically Tested 15 Hz rTMS Protocol to Humans With Chronic Spinal Cord Injury: A Safety and Feasibility Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Repetitive transcranial magnetic stimulation (rTMS) is a non‐invasive brain stimulation strategy with a demonstrated potential to reinforce the residual pathways after a spinal cord injury (SCI). A preclinically tested high‐frequency (15 Hz) rTMS (15 Hz rTMS) protocol was shown to induce corticospinal tract axon regeneration growth ...
Nabila Brihmat, Mehmed B. Bayram, Morgan Paine, Janelle Carnahan, Jian Zhong, Xiaofei Guan, Guang H. Yue, Soha Saleh, Gail F. Forrest   +8 more
wiley   +1 more source

Formal verification of word-level specifications [PDF]

, 1999
Stefan Höreth, Rolf Drechsler
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

Formal verification of safety-critical hybrid systems [PDF]

, 1998
Carolos Livadas, Nancy Lynch
openalex   +1 more source

Effects of Pharmacologic and Nonpharmacologic Interventions for the Management of Sleep Problems in People With Fibromyalgia: Systematic Review and Network Meta‐Analysis of Randomized Controlled Trials

Arthritis Care &Research, EarlyView.
Objective Fibromyalgia is a chronic condition characterized by widespread musculoskeletal pain and fatigue. Almost everyone with fibromyalgia has sleep problems. We aimed to evaluate the effectiveness and safety of current interventions for the management of fibromyalgia‐related sleep problems.
Jemma Hudson, Mari Imamura, Clare Robertson, Daniel Whibley, Lorna Aucott, Katie Gillies, Paul Manson, Debra Dulake, Abhishek Abhishek, Nicole K. Y. Tang, Gary J. Macfarlane, Miriam Brazzelli   +11 more
wiley   +1 more source

Automatic formal verification for scheduled VLIW code [PDF]

, 2002
Xiushan Feng, Alan J. Hu
  +4 more sources

Analysis of the Longitudinal Behavior of Serum Levels of Soluble Flt1 and Placental Growth Factor in Pregnant Patients With Systemic Lupus Erythematosus

Arthritis Care &Research, EarlyView.
Objective This study analyzed longitudinal trajectories of soluble Flt1 (sFlt1) levels, placenta growth factor (PlGF) levels, and sFlt1:PlGF ratios in a cohort of pregnant patients with systemic lupus erythematosus (SLE). Methods Blood samples were collected (14–18, 24–26, 30–32, 34–36, and 38–40 weeks), stored at −80°C, and evaluated for serum levels ...
Nilson R. de Jesús, Guilherme R. de Jesús, Marcela I. Lacerda, Flávia C. dos Santos, Jeane de S Nogueira, Luiz Cristóvão Porto, Evandro S. F. Coutinho, Evandro M. Klumb   +7 more
wiley   +1 more source

Formal Verification of Control Modules in Cyber-Physical Systems. [PDF]

Sensors (Basel), 2020
Grobelna I.
europepmc   +1 more source

A Symbolic Modelling Approach for the Formal Verification of Integrated Mixed-Mode Systems [PDF]

, 1996
Stefan Hendricx, Luc Claesen
openalex   +1 more source

Metabolic Consequences of Rheumatoid Arthritis

Arthritis Care &Research, EarlyView.
Patients with rheumatoid arthritis (RA) may have metabolic disruption, which can contribute to adverse long‐term outcomes, for multiple reasons. Patients with RA appear to have a higher risk of sarcopenia, type 1 and type 2 diabetes mellitus, metabolic syndrome, and hypertension. Systemic inflammation in RA can cause a “lipid paradox,” with reduced low‐
Stevie Barry, Emily Sheng, Joshua F. Baker   +2 more
wiley   +1 more source