Results 61 to 70 of about 12,151 (175)
Ferroptosis and Its Emerging Role in Gestational Diabetes Mellitus
Medicine Advances, EarlyView.Ferroptosis contributes to the development of gestational diabetes mellitus (GDM) through iron overload, lipid peroxidation, and antioxidant system disruption. These changes impair adipocyte and β‐cell function, promoting insulin resistance and hyperglycemia.
Jinfeng Xu +4 more
wiley +1 more source
Extraction in Coq: An Overview [PDF]
, 2008 The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of Coq definitions for Euclidean division, as well as some more advanced examples.
openaire +2 more sources
Environmental Toxicology, EarlyView.ABSTRACT Pancreatic cancer is the fourth leading cause of cancer deaths in the US and predicted to rise to second by 2030. Several risk factors have been identified as potential contributors to pancreatic cancer development including lifestyle factors and long‐term exposure to occupational and environmental carcinogens.
Barbara A. Hocevar, Lisa M. Kamendulis
wiley +1 more source
uds-psl/coq-library-undecidability: Coq Library of Undecidability Proofs version 1.0.1
, 2022 This release is intended to serve as the base for a release of coq-library-complexity.1.0+8.16.
Yannick Forster +8 more
core +1 more source
The FEBS Journal, EarlyView.Ferroptosis is driven by unrestricted peroxidation of polyunsaturated fatty acyl (PUFA) chains in membrane phospholipids. In triple‐negative breast cancer cells, lipid droplets (LDs) sequester dietary PUFAs, limiting their incorporation into membrane phospholipids, preventing mitochondrial damage, and reducing lipid peroxidation and ferroptosis.
Ana Kump +10 more
wiley +1 more source
PLoS ONE, 2010 BackgroundCoenzyme Q(10) (CoQ(10)) and its analogs are used therapeutically by virtue of their functions as electron carriers, antioxidant compounds, or both.
Luis C López +8 more
doaj +1 more source
New Insights on the Uptake and Trafficking of Coenzyme Q
Antioxidants, 2023 Coenzyme Q (CoQ) is an essential lipid with many cellular functions, such as electron transport for cellular respiration, antioxidant protection, redox homeostasis, and ferroptosis suppression.
Michael D. Guile +3 more
doaj +1 more source
Arsenite methyltransferase 3 is required for mitochondrial function and hepatic lipid metabolism
The FEBS Journal, EarlyView.AS3MT is a protein that helps the body process arsenic, a naturally occurring toxin found in water and soil. We discovered it also helps cells make and use energy properly. Without AS3MT, cells' mitochondria do not work well, leading to fatty liver and reduced activity. Increasing AS3MT in liver cells restores energy and protects against arsenic damage,
Patrice Delaney +10 more
wiley +1 more source
mattam82/Coq-Equations: Equations v1.2-beta for Coq 8.9
, 2019 <p>Release 1.2beta of Coq-Equations, see announcement here:</p> <p><a href="http://mattam82.github.io/Coq-Equations/equations/2019/01/28/1.2beta.html">http://mattam82.github.io/Coq-Equations/equations/2019/01/28/1.2beta.html</a&
Matthieu Sozeau +12 more
core +1 more source
The Coq Proof Assistant : Reference Manual : Version 7.2 [PDF]
, 2002 Coq is a proof assistant based on a higher-order logic. Coq allows to handle calculus mathematical assertions and to check mechanically proofs of these assertions.
Coq, The
core +1 more source