Results 41 to 50 of about 70,024 (314)
, 2013 This volume contains the papers presented at the 24th International Conference on Automated Deduction (CADE-24), held June 9-14, 2013, in Lake Placid, New York, USA.
Bonacina, Maria Paola
core +1 more source
Natural deduction system in paraconsistent setting: proof search for PCont [PDF]
, 2011 This paper continues a systematic approach to build natural deduction calculi and corresponding proof procedures for non-classical logics. Our attention is now paid to the framework of paraconsistent logics.
Bolotov, A., Shangin, V.
core +1 more source
How phagocytic cells kill bacteria: Lessons from a professional killer
FEBS Open Bio, EarlyView.How phagocytic cells ingest and kill bacteria has been studied for more than a century, but many questions remain unanswered. The study of the amoeba Dictyostelium discoideum brings new answers, and new questions. Professional phagocytic cells such as neutrophils and macrophages, as well as free‐living soil amoebae like Dictyostelium discoideum, employ
Otmane Lamrabet, Pierre Cosson
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Accessing brain magnetic resonance imaging (MRI) can be challenging, especially for underserved patients, which may lead to disparities in neurological diagnosis. Method This mixed‐methods study enrolled adults with one of four neurological disorders: mild cognitive impairment or dementia of the Alzheimer type, multiple sclerosis ...
Maya L. Mastick +19 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective A patient‐centered approach for chronic disease management, including systemic lupus erythematosus (SLE), aligns treatment with patients’ values and preferences, leading to improved outcomes. This paper summarizes how patient experiences, perspectives, and priorities informed the American College of Rheumatology (ACR) 2024 Lupus Nephritis (LN)
Shivani Garg +20 more
wiley +1 more source
Specializing interpreters using offline partial deduction
, 2003 We present the latest version of the LOGEN partial evaluation system for logic programs. In particular we present new binding-types, and show how they can be used to effectively specialise a wide variety of interpreters.
Craig, Stephen +9 more
core +1 more source
05431 Abstracts Collection – Deduction and Applications [PDF]
, 2006 From 23.10.05 to 28.10.05, the Dagstuhl Seminar 05431 ``Deduction and Applications'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and
Voronkov, Andrei +3 more
core +1 more source
Journal of Modern Science, 2018 The paper begins with a short description of phenomenological ideas of Petr Vopěnka concerning the development of children’s geometric concepts and his notion of personality of a phenomen, which makes the phenomenon an individual entity.
Zbigniew Semadeni
doaj +1 more source
Arthritis Care &Research, EarlyView.Objective To support high‐quality, patient‐centered care for systemic lupus erythematosus (SLE), the American College of Rheumatology (ACR) developed evidence‐based measures incorporating clinical and patient‐reported outcome measures (PROMs). Using the Consolidated Framework for Implementation Research (CFIR), we conducted semistructured interviews ...
Catherine Nasrallah +13 more
wiley +1 more source