Results 131 to 140 of about 1,558,985 (350)

Diffusion‐Weighted Imaging for the Evaluation of the Sacroiliac Joint in Pediatric Patients

Arthritis Care &Research, EarlyView.
Objective Maturational signal in the sacroiliac joint (SIJ) of skeletally immature youth is often misinterpreted as inflammation. Diagnostic tools that improve specificity are greatly needed. Apparent diffusion coefficient (ADC) values from diffusion‐weighted imaging (DWI), when used with standard imaging, may enhance diagnostic accuracy.
Michael L. Francavilla, Timothy G. Brandon, Dmitry Khrichenko, Rui Xiao, Nancy A. Chauvin, Asef Khwaja, Pamela F. Weiss   +6 more
wiley   +1 more source

Differential Item Functioning on the Patient Health Questionnaire‐8 by Disease Subtype, Language, Sex, and Age among People with Systemic Sclerosis: A Scleroderma Patient‐centered Intervention Network Cohort Study

Arthritis Care &Research, Accepted Article.
Objective Somatic items used in depression assessments can potentially overlap with symptoms related to physical illness, including systemic sclerosis (SSc). No studies have looked at whether somatic depression items may be influenced by diffuse versus limited SSc disease subtypes, which are associated with varying degrees of symptom presentation.
Sophie Hu, Marie‐Eve Carrier, Marie‐Claude Geoffroy, Meira Golberg, Linda Kwakkenbos, Susan J. Bartlett, Catherine Fortuné, Amy Gietzen, Karen Gottesman, Geneviève Guillot, Laura K. Hummers, Amanda Lawrie‐Jones, Vanessa L. Malcarne, Michelle Richard, Maureen Sauvé, Luc Mouthon, Andrea Benedetti, Brett D. Thombs, The SPIN Investigators, Claire E. Adams, Marie Hudson, Maureen D. Mayes, James Stempel, Robyn K. Wojeck, Christian Agard, Laurent Alric, Marc André, Floryan Beaslay, Elana J. Bernstein, Sabine Berthier, Lyne Bissonnette, Sophie Blaise, Eva Bories, Alessandra Bruns, Carlotta Cacciatore, Patricia Carreira, Marion Casadevall, Benjamin Chaigne, Lorinda Chung, Benjamin Crichi, Thylbert Deltombe, Christopher P. Denton, Tannvir Desroche, Robyn Domsic, James V. Dunne, Bertrand Dunogue, Regina Fare, Dominique Farge‐Bancel, Paul R. Fortin, Loraine Gauzère, Anne Gerber, Jessica K. Gordon, Brigitte Granel‐Rey, Aurélien Guffroy, Geneviève Gyger, Eric Hachulla, Daphna Harel, Monique Hinchcliff, Sabrina Hoa, Michael Hugues, Alena Ikic, Sindhu R. Johnson, Nader Khalidi, Kimberly S. Lakin, Marc Lambert, Maggie Larche, David Launay, Yvonne C. Lee, Paul Legendre, Catarina Leite, Hélène Maillard, Nancy Maltez, Joanne Manning, Isabelle Marie, Maria Martin Lopez, Thierry Martin, Ariel Masetto, Arsène Mekinian, Sheila Melchor Díaz, Morgane Mourguet, Christelle Nguyen, Karen Nielsen, Mandana Nikpour, Louis Olagne, Vincent Poindron, Janet Pope, Susanna Proudman, Grégory Pugnet, Loïc Raffray, François Rannou, Alexis Régent, Frederic Renou, Sébastien Rivière, David Robinson, Esther Rodríguez Almazar, Tatiana Sofia Rodríguez‐Reyna, Sophie Roux, Perrine Smets, Vincent Sobanski, Robert F. Spiera, Virginia Steen, Evelyn Sutton, Carter Thorne, Damien Vagner, John Varga, Pearce Wilcox, Vanessa Cook, Cassidy Dal Santo, Monica D'Onofrio, Elsa‐Lynn Nassar   +109 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

Automated Generation of Traffic Incident Response Plan Based on Case-Based Reasoning and Bayesian Theory [PDF]

, 2014
Yongfeng Ma, Wenbo Zhang, Jian Lu, Yuan Li   +3 more
openalex   +1 more source

Retractions in rheumatology: trends, causes, and implications for research integrity

Arthritis Care &Research, Accepted Article.
Objective We aimed to describe the trends and main reasons for study retraction in rheumatology literature. Methods We reviewed the Retraction Watch database to identify retracted articles in rheumatology. We recorded the main study characteristics, authors’ countries, reasons for retraction, time from publication to retraction, and trends over time ...
Anna Maria Vettori, Michele Iudici
wiley   +1 more source

Automated Verification of Neural Networks: Advances, Challenges and Perspectives

, 2018
Neural networks are one of the most investigated and widely used techniques in Machine Learning. In spite of their success, they still find limited application in safety- and security-related contexts, wherein assurance about networks' performances must ...
Leofante, Francesco, Narodytska, Nina, Pulina, Luca, Tacchella, Armando   +3 more
core  

What Do Large Language Models Know About Materials?

Advanced Engineering Materials, EarlyView.
If large language models (LLMs) are to be used inside the material discovery and engineering process, they must be benchmarked for the accurateness of intrinsic material knowledge. The current work introduces 1) a reasoning process through the processing–structure–property–performance chain and 2) a tool for benchmarking knowledge of LLMs concerning ...
Adrian Ehrenhofer, Thomas Wallmersperger, Gianaurelio Cuniberti   +2 more
wiley   +1 more source

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students

Vietnam Journal of Computer Science
As the complexity of software systems is ever increasing, so is the need for practical tools for formal verification. Among these are automatic theorem provers, capable of solving various reasoning problems automatically, and proof assistants, capable of
Simon Tobias Lund, Jørgen Villadsen
doaj   +1 more source

Bridging Discrete and Continuous Logicin Automated Reasoning Systems

, 2023
Christoph Kohlhepp
openalex   +1 more source

Automated Common-sense Spatial Reasoning: Still a Huge Challenge [PDF]

, 2021
Brandon Bennett, Anthony G. Cohn
openalex   +1 more source