Results 121 to 130 of about 1,501,622 (351)

2.4. Criteri d’identità e adeguatezza logica

Rivista di Estetica, 2012
Aim of the paper is to make some steps towards a formal characterization of identity criteria. First of all, we analyse some logical requirements identity criteria are supposed to satisfy and observe that some commonly used identity criteria fail to meet
Massimiliano Carrara, Silvia Gaio
doaj   +1 more source

Formalization of the Equivalent Transformation Computation Model

Journal of Advanced Computational Intelligence and Intelligent Informatics, 2006
In the equivalent transformation (ET) computation model, a specification provides background knowledge in a problem domain and defines a set of queries of interest. A program is a set of prioritized transformation rules, and computation consists in successive reduction of queries using meaning-preserving transformation with respect to given background ...
Ekawit Nantajeewarawat, Kiyoshi Akama
openaire   +2 more sources

Metabolic Consequences of Rheumatoid Arthritis

Arthritis Care &Research, EarlyView.
Patients with rheumatoid arthritis (RA) may have metabolic disruption, which can contribute to adverse long‐term outcomes, for multiple reasons. Patients with RA appear to have a higher risk of sarcopenia, type 1 and type 2 diabetes mellitus, metabolic syndrome, and hypertension. Systemic inflammation in RA can cause a “lipid paradox,” with reduced low‐
Stevie Barry, Emily Sheng, Joshua F. Baker   +2 more
wiley   +1 more source

LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics

Revista Facultad de Ingeniería Universidad de Antioquia, 2012
The specification and formal verification of distributed systems is usually a complex task. It requires extensive knowledge of algorithm theory and modeling of distributed or concurrent systems.
Jorge Cortés Galicia, Felipe M. Menchaca García, Rolando Menchaca Méndez   +2 more
doaj   +1 more source

On the Equivalence of Three-Particle Scattering Formalisms

, 2019
In recent years, different on-shell $\mathbf{3}\to\mathbf{3}$ scattering formalisms have been proposed to be applied to both lattice QCD and infinite volume scattering processes. We prove that the formulation in the infinite volume presented by Hansen and Sharpe in Phys.~Rev.~D92, 114509 (2015) and subsequently Brice o, Hansen, and Sharpe in Phys.~Rev.
Jackura, A. W., Dawid, S. M., Fernández-Ramírez, C., Mathieu, V., Mikhasenko, M., Pilloni, A., Sharpe, S. R., Szczepaniak, A. P.   +7 more
openaire   +2 more sources

Understanding Contributors of Resilience in Youth With Childhood‐Onset Systemic Lupus Erythematosus Through a Socioecological Lens: A Mixed‐Methods Study

Arthritis Care &Research, EarlyView.
Objective This study aimed to identify themes contributing to resilience in childhood‐onset systemic lupus erythematosus (cSLE), distinguish between profiles of resilience, and examine how they relate to underlying themes and patient characteristics. Methods We conducted a mixed‐methods study of 21 patients with cSLE aged 11 to 19 years at a Canadian ...
Isabella Zaffino, Louise Boulard, Joanna Law, Asha Jeyanathan, Lawrence Ng, Sandra Williams‐Reid, Kiah Reid, Angela Cortes, Eugene Cortes, Ashley Danguecan, Deborah M. Levy, Linda T. Hiraki, Andrea M. Knight   +12 more
wiley   +1 more source

Polynomial time algorithm for checking strong equivalence of program

Труды Института системного программирования РАН, 2018
Strong (logic&term) equivalence of programs is the weakest decidable equivalence relation which approximates the functional equivalence of programs.
V. A. Zakharov, T. A. Novikova
doaj   +2 more sources

SEMANTIC ANALYSIS OF PASSIVE SENTENCE TRANSLATION IN NOVEL THE HUNGER GAMES: MOCKINGJAY BY SUZANNE COLLINS

Bahasa dan Seni: Jurnal Bahasa, Sastra, Seni, dan Pengajarannya, 2018
This study aims at analyzing the translation of English passive sentences into Indonesian language, in terms of the meanings and equivalence which appear in the translation. The method used to analyze the data is a descriptive quantitative. The sample of
Lionora Oktariani, Endry Boeriswati, Sri Harini Ekowati   +2 more
doaj  

Gastrointestinal Perforation as a Safety Concern Among Patients With Rheumatoid Arthritis Receiving JAK Inhibitor Therapy: A Systematic Review and Network Meta‐Analysis

Arthritis Care &Research, EarlyView.
Objective Gastrointestinal perforation (GIP) is a rare and life‐threatening safety concern associated with JAK inhibitors (JAKi). We aimed to review the evidence regarding the risk of GIP associated with the use of JAKi in patients with rheumatoid arthritis (RA) using a systematic review and network meta‐analysis approach.
Thipsukhon Sathapanasiri, Manuel Meraz, Hamraz Mokri, Sajesh K Veettil, Karn Wijarnpreecha, Naomi Schlesinger, Arthur Kavanaugh, Nathorn Chaiyakunapruk   +7 more
wiley   +1 more source

Real‐World Cost‐Effectiveness of a Standardized Education and Exercise Therapy Program for Hip and Knee Osteoarthritis Compared to Usual Care

Arthritis Care &Research, EarlyView.
Objective We estimated the real‐world cost‐effectiveness of a standardized education and exercise therapy program (GLA:D) compared to usual care (UC) for people managing hip and/or knee osteoarthritis (HKOA). Methods We used a prospective matched cohort design to recruit people (aged >45 years) diagnosed with HKOA who used GLA:D or UC (not on a ...
Darren R. Mazzei, Jackie L. Whittaker, Peter Faris, Tracy Wasylak, Deborah A. Marshall   +4 more
wiley   +1 more source