Results 81 to 90 of about 86,495 (267)
Recursive assertions are not enough - or are they?
Theoretical Computer Science, 1979 AbstractCall a set of assertions A complete (with respect to a class of programs S) if for any p, q∈A and S∈S, wherever {p}S{q} holds, then all intermediate assertions can be chosen from A. This paper is devoted to the study of the problem which sets of assertions are complete in the above sense. We prove that any set of recursive assertions containing
K.R. Apt (Krzysztof) +2 more
openaire +3 more sources
Arthritis Care &Research, EarlyView.Objective Systemic lupus erythematosus (SLE) is a heterogenous inflammatory condition with widely varying global prevalence estimates. The frequency of SLE in the general population of Australia has been reported to be notably lower than contemporary estimates in countries such as the United States or United Kingdom, at 19 to 39 per 100,000 as opposed ...
Lucinda Roper +7 more
wiley +1 more source
Teorie vědy, 2012 Normatívnosť tvrdenia Abstrakt: Cieľom štúdie je vysvetliť motiváciu a podstatu filozofických koncepcií, podľa ktorých je tvrdenie normatívny fenomén.
Ladislav Koreň
doaj +1 more source
The Logical Significance of Assertion: Frege on the Essence of Logic
Journal for the History of Analytical Philosophy, 2017 Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke (the formal counterpart of assertion) in the Begriffsschrift is either in ...
Walter B. Pedriali
doaj +1 more source
Assertion, belief, and context [PDF]
Synthese, 2017 This paper argues for a treatment of belief as essentially sensitive to certain features of context. The first part gives an argument that we must take belief to be context-sensitive in the same way that assertion is, if we are to preserve appealing principles tying belief to sincere assertion. In particular, whether an agent counts as believing that p
openaire +3 more sources
Arthritis Care &Research, EarlyView.Objective The objective of this study was to estimate the minimal important change (MIC) and minimal clinically important difference (MCID) for pain and physical function in individuals with hip osteoarthritis (OA) following a physiotherapist‐guided exercise intervention.
Yareni Guerrero +8 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective Rheumatic and musculoskeletal diseases (RMDs) are leading causes of physical disability, necessitating support with activities of daily living. This study describes social care received by patients with RMDs in two disparate regions of England: Salford (urban) and Norfolk (rural).
Mehreen Somro +6 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective We aimed to estimate the prevalence and cumulative incidence of hydroxychloroquine retinopathy (HCQ‐R) and its risk factors among patients receiving long‐term HCQ with rheumatic diseases through a systematic review and meta‐analysis of observational studies that used spectral‐domain optical coherence tomography (SD‐OCT) for screening ...
Narsis Daftarian +4 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective Clinical response to mycophenolic acid (MPA) is highly heterogeneous; thus, therapeutic drug level monitoring (TDM) may help improve treatment efficacy. This systematic review and meta‐analysis examined therapeutic ranges for MPA levels associated with better outcomes and safety in patients with systemic lupus erythematosus (SLE ...
Zahraa Qamhieh +5 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective We aimed to construct and evaluate the first laboratory‐based frailty index (FI‐Lab) for predicting adverse outcomes in systemic lupus erythematosus (SLE) and to compare its predictive ability to that of an existing clinical FI. Methods We used data from a single‐center prospective cohort of adult patients with SLE whose baseline visit ...
Grace Burns +2 more
wiley +1 more source