Results 141 to 150 of about 348,999 (338)

Cortical Excitability Before and After Long‐Term Perampanel Treatment for Epilepsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Antiseizure medications (ASMs), which may influence cortical excitability, are the mainstay of epilepsy treatment. Transcranial magnetic stimulation (TMS) helps evaluate cortical excitability. We assessed changes in TMS responses using serial TMS measurements in people treated with an adjunctive noncompetitive AMPA‐receptor ...
Robert M. Helling, Johannes P. van Dijk, Prisca R. Bauer, Roland D. Thijs, Josemir W. Sander, Machiel Zwarts, Gerhard H. Visser   +6 more
wiley   +1 more source

A Novel Conflict Deduction Algorithm Based on Contradiction Separation Inference Rule

International Journal of Computational Intelligence Systems
Automated reasoning, a significant field within artificial intelligence, has attracted increased attention in recent years due to the rising demand for trustworthy AI.
Hailin Guo, Feng Cao, Jianbing Yi, Guanfeng Wu, Weicai Li   +4 more
doaj   +1 more source

Using automated reasoning in the design of an audio-visual communication system [PDF]

, 1999
José Creissac Campos, Michael D. Harrison   +1 more
openalex   +1 more source

Determinants of Self‐Management Behavior in Gout: A Scoping Review

Arthritis Care &Research, Volume 77, Issue 4, Page 534-544, April 2025.
Objective This study aimed to identify modifiable determinants of self‐management behavior in patients with gout. Methods Four databases (Medline, Embase, PsycINFO, and CINAHL) were searched using terms related to gout, self‐management, and determinants of behavior as described in the Theoretical Domains Framework (TDF).
Jeffrey van der Ven, Bart J. F. van den Bemt, Marcel Flendrie, Johanna E. Vriezekolk, Lise M. Verhoef   +4 more
wiley   +1 more source

The Theorem Prover Museum -- Conserving the System Heritage of Automated Reasoning [PDF]

arXiv, 2019
We present the Theorem Prover Museum, and initiative to conserve -- and make publicly available -- the sources and source-related artefacts of automated reasoning systems. Theorem provers have been at the forefront of Artificial Intelligence, stretching the limits of computation, and incubating many innovations we take for granted today.
arxiv  

Action Selection for Interaction Management: Opportunities and Lessons for Automated Planning [PDF]

, 2016
The central problem in automated planning---action selection---is also a primary topic in the dialogue systems research community, however, the nature of research in that community is significantly different from that of planning, with a focus on end ...
Foster, Mary Ellen, Petrick, Ronald P. A.   +1 more
core  

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

A Case-Based Reasoning View of Automated Collaborative Filtering [PDF]

, 2001
Conor Hayes, Pádraig Cunningham, Barry Smyth   +2 more
openalex   +1 more source

Global Trends in Risk Factors for Low Back Pain: An Analysis of the Global Burden of Disease Study Data From 1990 to 2021

Arthritis Care &Research, EarlyView.
Objective The increasing burden associated with low back pain (LBP) is a critical issue. This is a novel analysis of trends in risk factors for LBP aiming to identify risk factors that require further attention or consideration in global policies to reduce the burden of LBP.
Katharine E. Roberts, Manuela L. Ferreira, Paula R. Beckenkamp, Sneha Nicholson, Lyn March, Paulo H. Ferreira   +5 more
wiley   +1 more source

Correctness Verification of Mutual Exclusion Algorithms by Model Checking

Modelling
Mutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the number of by ...
Libero Nigro, Franco Cicirelli
doaj   +1 more source