Results 121 to 130 of about 32,620 (305)

A Formal Proof Of The Riesz Representation Theorem

Journal of Formalized Reasoning, 2011
This paper presents a formal proof of the Riesz representation theorem in the PVS theorem prover. The Riemann Stieltjes integral was defined in PVS, and the theorem relies on this integral.
Anthony Narkawicz
doaj  

An objective criticism of the Persian translation of Dickens' Hard times according to Broeck's systemic model of trancism

Social Sciences and Humanities Open
A critique of the translation should be conducted using a systematic model, free from any subjective biases. In this study, an objective assessment was made of the Persian translation of Dickens (1985) Hard Times according to a systematic model of ...
Hamidreza Abdi
doaj   +1 more source

Prevalence, Determinants, and Outcomes of Low Disease Activity and Remission Attainment in Patients With Systemic Lupus Erythematosus That Is Clinically Active

Arthritis Care &Research, EarlyView.
Objective This study aimed to identify in patients with systemic lupus erythematosus (SLE) with clinically active disease the attainment of frequency and determinants of Lupus Low Disease Activity State (LLDAS) and Definition of Remission in SLE (DORIS) and the frequency and determinants of flare and damage accrual after target attainment.
Yanjie Hao, Dylan Hansen, Rangi Kandane‐Rathnayake, Worawit Louthrenoo, Yi‐Hsing Chen, Jiacai Cho, Aisha Lateef, Laniyati Hamijoyo, Shue Fen Luo, Yeong‐Jian Jan Wu, Sandra Navarra, Leonid Zamora, Zhanguo Li, Sargunan Sockalingam, Yasuhiro Katsumata, Masayoshi Harigai, Zhuoli Zhang, Madelynn Chan, Jun Kikuchi, Tsutomu Takeuchi, Sang‐Cheol Bae, Fiona Goldblatt, Sean O'Neill, Kristine (Pek Ling) Ng, Annie Law, B. M. D. B. Basnayake, Nicola Tugnet, Sunil Kumar, Cherica Tee, Michael Tee, Naoaki Ohkubo, Yoshiya Tanaka, Shirley Chan, C. S. Lau, Vera Golder, Alberta Hoi, Shereen Oon, Eric Morand, Mandana Nikpour, for the Asia‐Pacific Lupus Collaboration   +39 more
wiley   +1 more source

Equivalence of Two Formal Semantics for Functional Logic Programs

, 2007
Francisco J. López-Fraguas, Juan Rodríguez-Hortalá, Jaime Sánchez-Hernández   +2 more
openalex   +1 more source

Exploring Patients’ Profiles Associated With the Resolution of Acute Calcium Pyrophosphate Arthritis Treated With Colchicine and Prednisone: Post Hoc Analysis of a Randomized Controlled Trial

Arthritis Care &Research, EarlyView.
Objective The objective was to identify factors determining acute arthritis resolution and safety with colchicine and prednisone in acute calcium pyrophosphate (CPP) crystal arthritis. Methods We conducted a post hoc analysis of the COLCHICORT trial, which compared colchicine and prednisone for the treatment of acute CPP crystal arthritis, using a ...
Tristan Pascart, Laurène Norberciak, Pascal Richette, Pierre Robinet, Aurore Pacaud, Gauthier Marchasson, Thibault Rabin, Hélène Luraschi, Pierre Maciejasz, Anne‐France Georgel, Augustin Latourte, Hang‐Korng Ea, Sébastien Ottaviani, Charlotte Jauffret, Vincent Ducoulombier   +14 more
wiley   +1 more source

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, EarlyView.
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 magnetic resonance imaging–confirmed midfoot BMLs ...
Jill Halstead, Anne‐Maree Keenan, Philip G. Conaghan, Dennis McGonagle, Anthony C. Redmond   +4 more
wiley   +1 more source

Formal Shifts Use on Achieving Pragmatic Equivalence in English – Indonesian Translation of KungFu Panda

, 2021
Syifa'ul Lathifah, Januarius Mujiyanto
openalex   +2 more sources

Temporal Trends in and Associations With Nonsteroidal Anti‐inflammatory Drug Prescription in Adult and Pediatric Patients With Inflammatory Bowel Disease

Arthritis Care &Research, EarlyView.
Objective Recent inflammatory bowel disease (IBD) treatment guidelines have recommended against nonsteroidal anti‐inflammatory drug (NSAID) use despite prevalent musculoskeletal symptoms and opioid overuse in this population. Given the discordance between changing national guidelines and potential clinical utility, we sought to assess national temporal
Adam S. Mayer, Rui Xiao, Andrew Grossman, Meenakshi Bewtra, Michael D. George, Pamela F. Weiss   +5 more
wiley   +1 more source

Impact of Positive Lifestyle Behaviors on Direct Health Care Cost Savings for Low Back Pain

Arthritis Care &Research, EarlyView.
Objective This study aimed to investigate the relationship between a previously purpose‐developed lifestyle behavior scale and health care cost savings related to low back pain (LBP). Methods This longitudinal study used data from the Australian Twin Back (AUTBACK) study. LBP and lifestyle behavior measures were collected at baseline. Physical activity
Ye Tian, Katharine E. Roberts, Michelle Hall, Paula R. Beckenkamp, Angelo Sabag, Karoline Moe, Ana Paula Carvalho‐e‐Silva, Emily J. Callander, Paulo H. Ferreira   +8 more
wiley   +1 more source

Linking Logic Realism Theory (LRT) and the Meta-Theory of Everything (MToE): A Formal Equivalence

Longmire, James (JD)
  +4 more sources