Results 131 to 140 of about 238,902 (349)
A Case Study in Integrated Assertion-Based Verification with Omnibus [PDF]
, 2009 We present the example of the specification, implementation, and verification of a library system in Omnibus. Three approaches to verification (runtime assertion checking, extended static checking, and full formal verification) are applied to the example,
Clark, Robert +2 more
core
, 2020 [The version of this paper published by Oxford online in 2019 was not copy-edited and has some sense-obscuring typos. I have posted a corrected (but not the final published) version on this site.
Hinchman, Edward
core
Immune Checkpoint Inhibitor–Related Myositis and Associated Triad Overlap Syndrome
Arthritis Care &Research, EarlyView.Objective Immune checkpoint inhibitor (ICI) myositis is a rare but a highly morbid condition, particularly with the ICI myositis triad syndrome of myositis, myocarditis, and myasthenia gravis. We report the clinical characteristics of ICI myositis and all‐cause mortality in these patients.
Selene Rubino +9 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective We examined whether 18 months of strength training in individuals with knee varus alignment and medial tibiofemoral osteoarthritis (OA) reduced knee joint loads during walking compared to an attention control group. Methods This study was a secondary analysis of a randomized clinical trial that compared the effects of strength training to a ...
Stephen P. Messier +12 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective This study aimed to investigate potential moderators influencing the effects of manual therapy and exercise therapy on pain and functional outcomes in individuals with knee and/or hip osteoarthritis, using data from the MOA trial. This is a secondary analysis of data from the MOA trial that compares the clinical effectiveness of manual ...
Daniel Cury Ribeiro +2 more
wiley +1 more source
Rheumatologic Manifestations of Patients With Type B Insulin Resistance
Arthritis Care &Research, EarlyView.Objective The objectives of this study were to identify laboratory and clinical features associated with type B insulin resistance (TBIR), a rare condition caused by autoantibodies that inhibit the insulin receptor, most frequently occurring in the setting of systemic lupus erythematosus (SLE), and to increase awareness of this rare, life‐threatening ...
S. Amara Ogbonnaya +4 more
wiley +1 more source
The Effect of Patent Litigation and Patent Assertion Entities on Entrepreneurial Activity
, 2016 This paper empirically investigates the statistical relationship between levels of patent litigation and venture capital investment in the U.S. We find that VC investment, a major funding source for entrepreneurial activity, initially increases with the ...
Stephen Kiebzak +2 more
semanticscholar +1 more source
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
Truth is (still) the norm for assertion: a reply to Littlejohn
In a paper in this journal (Erkenntnis 78: 847–867, 2013), I defend the view that truth is the fundamental norm for assertion and, in doing so, reject the view that knowledge is the fundamental norm for assertion.
Whiting, Daniel
core