Results 71 to 80 of about 74,343 (191)
Formal Proofs for Nonlinear Optimization [PDF]
, 2015 We present a formally verified global optimization framework. Given a semialgebraic or transcendental function $f$ and a compact semialgebraic domain $K$, we use the nonlinear maxplus template approximation algorithm to provide a certified lower bound of
Allamigeon, Xavier +3 more
core +4 more sources
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
Journal of Agrarian Change, Volume 26, Issue 2, April 2026.ABSTRACT What role has the state played in the establishment of the current food regime in a post‐socialist setting? Focusing on Croatia, I undertake a critical discourse analysis of the national agricultural strategies enacted during the neoliberal transition between 1991 and 2013.
Alexander Gavranich
wiley +1 more source
Automated verification of termination certificates [PDF]
, 2012 In order to increase user confidence, many automated theorem provers provide certificates that can be independently verified. In this paper, we report on our progress in developing a standalone tool for checking the correctness of certificates for the ...
Blanqui, Frédéric, Ly, Kim Quyen
core +2 more sources
Endocrinology, Diabetes &Metabolism, Volume 9, Issue 2, March 2026.This umbrella review of meta‐analyses of randomised controlled trials shows that coenzyme Q10 supplementation modestly improves glycemic control, particularly fasting blood glucose. However, effects on HbA1c, insulin, and HOMA‐IR vary depending on the analytical approach used.
Vali Musazadeh +6 more
wiley +1 more source
Effect of a Two-Week Diet without Meat and Poultry on Serum Coenzyme Q10 Levels
DieteticsCoenzyme Q10 (CoQ10) is an essential compound for energy production in the mitochondria and the antioxidation of lipid-soluble substances in cells. As it can be biosynthesized in cells, CoQ10 is not an essential nutrient.
Toshikazu Suzuki
doaj +1 more source
RNA‐Binding Proteins and Ferroptosis in Cancer: Mechanism and Therapeutic Implications
MedComm – Oncology, Volume 5, Issue 1, March 2026.Ferroptosis critically influences cancer cell fate and represents a promising therapeutic strategy. Emerging evidence identifies RNA‐binding proteins (RBPs) as key post‐transcriptional regulators of ferroptosis. The figure summarizes ferroptosis‐related RBPs across cancers: blue RBPs act as tumor suppressors by promoting ferroptosis, whereas red RBPs ...
Linlin Chang +6 more
wiley +1 more source
FASEB BioAdvances, Volume 8, Issue 3, March 2026.Gradient‐ Temperature Atlas Uncovers Hepatic PPAR Metabolic Reprogramming. We present a murine heat‐stroke atlas (40°C–43°C) and identify PPAR‐linked lipid reprogramming as the primary mechanistic signature of temperature‐dependent liver injury, providing time‐resolved molecular targets for mechanism‐based therapies.
Ying Zhu +7 more
wiley +1 more source
Terminal semantics for codata types in intensional Martin-L\"of type theory [PDF]
, 2014 In this work, we study the notions of relative comonad and comodule over a relative comonad, and use these notions to give a terminal coalgebra semantics for the coinductive type families of streams and of infinite triangular matrices, respectively, in ...
Ahrens, Benedikt, Spadotti, Régis
core +2 more sources
Functional Evaluation of a Conserved HNH Endonuclease Gene in Lactococcal Skunavirus Genomes
Microbial Biotechnology, Volume 19, Issue 3, March 2026.The HNH endonuclease HrdP is a highly conserved and essential determinant of infectivity among Skunavirus phages, specifically required for the successful completion of DNA packaging. This key role highlights HrdP as a promising and specific anti‐phage target to protect dairy starter cultures from failure.
Jun‐Hyeok Yu +7 more
wiley +1 more source