Results 111 to 120 of about 1,501,850 (327)

Development of a personalized visualization and analysis tool to improve clinical care in complex multisystem diseases with application to scleroderma

Arthritis Care &Research, Accepted Article.
Background In complex diseases, it is challenging to assess a patient's disease state, trajectory, treatment exposures, and risk of multiple outcomes simultaneously, efficiently and at the point of care. Methods We developed an interactive patient‐level data visualization and analysis tool (VAT) that automates illustration of a scleroderma patient's ...
Ji Soo Kim, John Scott, Lauren Fisher, Lauren N. Smith, Willie Stewart, Adrianne Woods, Rob Smithwright, Diane Koher, Parastoo Aslanbeik, Aalok B. Shah, Brad Tibbils, Samantha I. Pitts, Ayse P. Gurses, Yushi Yang, Ana‐Maria Orbai, Antony Rosen, Laura K. Hummers, Scott L. Zeger, Ami A. Shah   +18 more
wiley   +1 more source

Universal (meta-)logical reasoning: The Wise Men Puzzle (Isabelle/HOL dataset)

Data in Brief, 2019
The authors universal (meta-)logical reasoning approach is demonstrated and assessed with a prominent riddle in epistemic reasoning: the Wise Men Puzzle.
Christoph Benzmüller
doaj   +1 more source

Experiments with Automated Reasoning in the Class

, 2022
The European Erasmus+ project ARC-Automated Reasoning in the Class aims at improving the academic education in disciplines related to Computational Logic by using Automated Reasoning tools. We present the technical aspects of the tools as well as our education experiments, which took place mostly in virtual lectures due to the COVID pandemics.
Isabela Drămnesc, Erika Ábrahám, Tudor Jebelean, Gábor Kusper, Sorin Stratulat   +4 more
openaire   +2 more sources

Foreword to the Special Issue on Automated Reasoning [PDF]

AI Communications, 2018
Foreword to the Special Issue on Automated ...
Fontaine, Pascal, Kaliszyk, Cezary, Schulz, Stephan, Urban, Josef   +3 more
openaire   +2 more sources

Hydroxychloroquine Associated with Lower Glomerular Filtration Rate Decline in Lupus Nephritis

Arthritis Care &Research, Accepted Article.
Background Hydroxychloroquine (HCQ) protects kidney function in lupus nephritis (LN) by preventing flares, yet some cohort studies show no significant benefit in kidney function with HCQ. Clarifying these conflicting findings by showing early and long‐term benefits of HCQ on kidney function preservation is critical. Therefore, we analyzed data from our
Shivani Garg, Brad Rovin, Brad C. Astor, Tripti Singh, Fauzia Hollnagel, Megan Kuik, Lexie Kolton, Callie Saric, S. Sam Lim, Christie M. Bartels   +9 more
wiley   +1 more source

α-Generalized Semantic Resolution Method in Linguistic Truth-valued Propositional Logic P(X) [PDF]

International Journal of Computational Intelligence Systems, 2014
This paper is focused on α-generalized semantic resolution automated reasoning method in linguistic truth-valued lattice-valued propositional logic.
Jiafeng Zhang, Yang Xu, Xingxing He
doaj   +1 more source

Hip morphology‐based osteoarthritis risk prediction models: development and external validation using individual participant data from the World COACH Consortium

Arthritis Care &Research, Accepted Article.
Objectives This study aims to develop hip morphology‐based radiographic hip osteoarthritis (RHOA) risk prediction models and investigates the added predictive value of hip morphology measurements and the generalizability to different populations. Methods We combined data from nine prospective cohort studies participating in the World COACH consortium ...
Myrthe A. van den Berg, Fleur Boel, Michiel M.A. van Buuren, Noortje S. Riedstra, Jinchi Tang, Harbeer Ahedi, Nigel K. Arden, Sita M.A. Bierma‐Zeinstra, Cindy G. Boer, Flavia M. Cicuttini, Timothy F. Cootes, David T. Felson, Willem Paul Gielis, Joshua Heerey, Graeme Jones, Stefan Kluzek, Nancy E. Lane, Claudia Lindner, Joyce B.J. van Meurs, Andrea Mosler, Amanda E. Nelson, Michael C. Nevitt, Edwin H. Oei, Jos Runhaar, Harrie Weinans, Jesse H. Krijthe, Rintje Agricola   +26 more
wiley   +1 more source

Higher-order Representation and Reasoning for Automated Ontology Evolution [PDF]

, 2010
: The GALILEO system aims at realising automated ontology evolution. This is necessary to enable intelligent agents to manipulate their own knowledge autonomously and thus reason and communicate effectively in open, dynamic digital environments ...
Bundy, Alan, Chan, M., Lehmann, J.
core  

Mining Software Repair Models for Reasoning on the Search Space of Automated Program Fixing

, 2013
This paper is about understanding the nature of bug fixing by analyzing thousands of bug fix transactions of software repositories. It then places this learned knowledge in the context of automated program repair.
Martinez, Matias, Monperrus, Martin
core   +1 more source

The effect of foot orthoses on midfoot pain and the volume of bone marrow lesions in the midfoot: a randomized mechanism of action study

Arthritis Care &Research, Accepted Article.
Objective Foot orthoses are thought to improve pain by potentially modifying internal mechanical forces. To test this, we explored whether foot orthoses can modify patterns of bone marrow lesions (BMLs) in people with midfoot pain. Methods Forty‐two people were recruited with midfoot pain and MRI‐confirmed midfoot BMLs.
Jill Halstead, Anne‐Maree Keenan, Philip G. Conaghan, Dennis McGonagle, Anthony C. Redmond   +4 more
wiley   +1 more source