Results 151 to 160 of about 1,456,568 (303)

Algebraic Rieffel induction, formal Morita equivalence, and applications to deformation quantization

, 2001
In this paper, we consider algebras with involution over a ring C which is given by the quadratic extension by i of an ordered ring R. We discuss the *-representation theory of such *-algebras on pre-Hilbert spaces over C and develop the notions of ...
Bursztyn, Henrique, Stefan Waldmann, Henrique Bursztyn, Waldmann, Stefan   +3 more
core   +1 more source

A Return to Normality: A Descriptive Qualitative Interview Study Exploring the Patient Experience of Gout Flare Resolution

Arthritis Care &Research, EarlyView.
Objective Although the definition of a gout flare is well established, the state of gout flare resolution has not yet been defined. This study aimed to explore patients’ experiences and perceptions of gout flare resolution. Methods Semistructured interviews were conducted with 24 people with gout, guided by open‐ended questions exploring their ...
Sarah Stewart, Anne Horne, Angelo Gaffo, Lisa K. Stamp, N. Lawrence Edwards, Nicola Dalbeth   +5 more
wiley   +1 more source

FORMAL EQUIVALENCE VERIFICATION BETWEEN RTL/GATE-LEVEL NETLIST AND FPGA FULL-CHIP NETLIST USING CADENCE CONFORMAL LOGIC EQUIVALENCE CHECKER

, 2015
Formal Equivalence Verification (FEV) nowadays has emerged as a method in FPGA design flow. However, FPGA designers didn't give that much of importance of doing FEV on full-chip level.
Esic, Jhon Ray M., Hora, Jefferson A., Raffifian, Edzel A.   +2 more
core  

Immunosuppressive Drug Use in Limited Systemic Sclerosis: An International Survey

Arthritis Care &Research, EarlyView.
Objective Current guidelines recommend immunosuppressive treatment for diffuse cutaneous systemic sclerosis but are less clear on their use in limited cutaneous systemic sclerosis (lcSSc) in the absence of internal organ complications. We conducted an international survey to understand current immunosuppressive drug prescribing patterns in lcSSc ...
Sabrina Hoa, Yicheng Mu, Marie Hudson, Janet Pope   +3 more
wiley   +1 more source

The Gut–Heart Axis in Systemic Sclerosis: Evidence From a Large Prospective Early Disease Cohort

Arthritis Care &Research, EarlyView.
Objective Cardiac involvement significantly impacts prognosis in systemic sclerosis (SSc), highlighting the need for early risk stratification. Gastrointestinal (GI) symptoms are common and often manifest early. Emerging data suggest a link between GI and cardiac manifestations, possibly through shared mechanisms like dysautonomia.
Francesca R. Di Ciommo, Ashish P. Balar, Aidan K. Strother, Subhash Kulkarni, Michael Hughes, Brian Skaug, Maureen D. Mayes, Shervin Assassi, Ali Y. Ayla, Zsuzsanna H. McMahan   +9 more
wiley   +1 more source

Distinct Systemic Sclerosis Phenotypes Related to Ethnicity: An Opportunity to Personalize Care?

Arthritis Care &Research, EarlyView.
Objective The objective is to describe and compare demographic, clinical, and serological characteristics of patients with systemic sclerosis (SSc) according to ethnic background. Methods Participants enrolled in the Canadian Scleroderma Research Group cohort who self‐identified to a single ethnicity group were included.
Danick Goulet, Camille Guertin, Maggie Larché, Isabelle Ferdinand, Marie Hudson, May Y. Choi, Mohammed Osman, Janet Pope, Carter Thorne, Murray Baron, Sasha Bernatsky, Sabrina Hoa   +11 more
wiley   +1 more source

Equivalences and calculi for formal verification of cryptographic protocols

, 2008
Security protocols are essential to the proper functioning of any distributed system running over an insecure network but often have flaws that can be exploited even without breaking the cryptography. Formal cryptography, the assumption that the cryptographic primitives are flawless, facilitates the construction of formal models and verification tools.
openaire   +1 more source

Frailty Predicts Incident Osteoporotic Fractures in Veterans with Rheumatoid Arthritis

Arthritis Care &Research, EarlyView.
Objective Rheumatoid arthritis (RA) is associated with an increased risk of frailty and osteoporosis, but the relationship between frailty and incident osteoporotic fractures in RA is underexplored. Methods Data were from the Veterans Affairs (VA) Rheumatoid Arthritis Registry. Frailty was measured using the VA Frailty Index (VAFI).
Katherine D. Wysham, Hannah F. Brubeck, Aaron Baraff, Punyasha Roul, Namrata Singh, James S. Andrews, Grant W. Cannon, Gary A. Kunkel, Ted R. Mikuls, Bryant R. England, Dolores M. Shoback, Patricia P. Katz, Jose M. Garcia, Ariela R. Orkaby, Joshua F. Baker   +14 more
wiley   +1 more source

Engagement Patterns With an Artificial Intelligence Health Coach for Systemic Sclerosis Self‐Management: A Mixed Methods Study

Arthritis Care &Research, EarlyView.
Objective To evaluate utility of an artificial intelligence (AI) health coach for systemic sclerosis (SSc) self‐management and identify patterns associated with participant engagement. Methods We conducted a mixed methods study in which an AI health coach, powered by a large language model (LLM), was used to support self‐management for SSc.
Nirali Shah, Melanie Morris, Cristina Daraban, Sophia Johnson, Susan L. Murphy   +4 more
wiley   +1 more source

Econometric Identification of the Cost of Maintaining a Child [PDF]

The paper estimates the cost of maintaining a child, of different ages, the cost of being a single and the cost of additional adults present in a family with the aim of making the income levels of different households comparable.
Martina Menon, Federico Perali
core