Results 71 to 80 of about 32,620 (305)

Erythropoietin modulates hepatic inflammation, glucose homeostasis, and soluble epoxide hydrolase and epoxides in high‐fat diet‐induced obese mice

FEBS Open Bio, EarlyView.
Erythropoietin administration suppresses hepatic soluble epoxide hydrolase (sEH) expression, leading to increased CYP‐derived epoxides. This is associated with a shift in hepatic macrophage polarization characterized by reduced M1 markers and increased M2 markers, along with reduced hepatic inflammation, suppressed hepatic lipogenesis, and attenuated ...
Takeshi Goda, Satoru Sugimoto, Chiharu Cho, Madoka Konishi, Nozomi Inoue, Satoshi Miyagaki, Yasuhiro Kawabe, Takuro Okamura, Masahide Hamaguchi, Hisakazu Nakajima, Michiaki Fukui, Masakazu Shinohara, Tomoko Iehara   +12 more
wiley   +1 more source

Program Equivalence in the Erlang Actor Model

Computers
This paper presents the formal semantics of concurrency in Core Erlang, an intermediate language for Erlang, along with a notion of program equivalence (based on barbed bisimulation) that is able to model equivalence between programs that have different ...
Péter Bereczky, Dániel Horpácsi, Simon Thompson   +2 more
doaj   +1 more source

Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space [PDF]

Logical Methods in Computer Science
We study the equivalence between eval-readback and eval-apply big-step evaluators in the general setting of the pure lambda calculus. We study `one-step' equivalence (same strategy) and also discuss `big-step' equivalence (same final result).
Pablo Nogueira, Álvaro García-Pérez
doaj   +1 more source

Enhancing Oncological Care for India's Aging Population: Addressing the Complex Needs of Older Adults With Cancer

Aging and Cancer, EarlyView.
Aging‐associated physiological and molecular alterations pose significant challenges in cancer management among India's elderly. Limited geriatric oncology expertise, financial constraints, and inadequate specialized care exacerbate disparities. Strategic expansion of insurance coverage, integration of palliative care, and infrastructural advancements ...
Nihanthy D. Sreenath, Mathigatta Shivarudraiah S, Rajath Govind, Kaushik M R   +3 more
wiley   +1 more source

On some positive embedding of P^d

Le Matematiche, 2006
We prove that any two embeddings P^d ∼ Y → X_1 , P^d ∼ Y → X_2 ,  d ≥ 3, in two n-folds projective varieties X_1 , X_2 with normal bundle N_{Y |X_1} ∼ X_{Y |X_2} ∼ (n − d)O_{P^d} (1) are formally equivalent .Moreover, we see that Y is G2 in both X_1 and ...
Francesca Incensi, Helena Soares
doaj  

A formal proof of the Lax equivalence theorem for finite difference schemes [PDF]

, 2021
Mohit Tekriwal, Karthik Duraisamy, Jean-Baptiste Jeannin   +2 more
openalex   +1 more source

Formalizing equivalences without tears

v4: To appear in the TYPES 2024 post ...
openaire   +3 more sources

Predicting and Comparing the Subjective Health Experience of Older Cancer Survivors and Non‐Cancer Survivors: A Modeling Approach

Aging and Cancer, EarlyView.
This study underscores the significant influence of frailty and vitality on the subjective health experience of older cancer survivors with acceptance and control emerging as salient mediators. These findings affirm the conceptual and empirical robustness of the model highlighting its potential utility in shaping future interventions for older cancer ...
Damien S. E. Broekharst, Sjaak Bloem, Eline J. Mertens, Nathascha Hanzen, Michel van Agthoven   +4 more
wiley   +1 more source

Formal Equivalence Analysis [PDF]

Proceedings of the 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), 2019
Manuel Ojeda-Aciego, Pablo Cordero, Carmen Peláez-Moreno, Francisco José Valverde Albacete   +3 more
openaire   +1 more source

Tracking Motor Progression and Device‐Aided Therapy Eligibility in Parkinson's Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To characterise the progression of motor symptoms and identify eligibility for device‐aided therapies in Parkinson's disease, using both the 5‐2‐1 criteria and a refined clinical definition, while examining differences across genetic subgroups.
David Ledingham, Sahana Sathyanarayana, Charlotte B. Stewart, Robyn Iredale, Victoria Foster, Debra Galley, Mark Baker, Nicola Pavese   +7 more
wiley   +1 more source