Results 71 to 80 of about 12,151 (175)
JCMS: Journal of Common Market Studies, EarlyView.Abstract Literature on policy debates often analyses cases involving either a single or two policy fields, which typically result in stable equilibria, manifesting either as outright rejection of policy proposals, successful institutional change or the entrenchment of divisions into a deadlock.
Laure Gosselin +2 more
wiley +1 more source
mattam82/Coq-Equations: Equations 1.0 for Coq 8.8
, 2018 <p>Equations is a function definition plugin for Coq (supporting Coq 8.6, 8.7 and 8.8), that allows the definition of functions by dependent pattern-matching and well-founded, mutual or nested structural recursion and compiles them into core terms.
Matthieu Sozeau +9 more
core +1 more source
ScientificaCoenzyme Q10 (CoQ) is a powerful antioxidant with neuroprotective characteristics; nevertheless, its clinical use is constrained by inadequate solubility, diminished bioavailability, and limited blood–brain barrier (BBB) penetration.
Shimul Halder +5 more
doaj +1 more source
Plant Biotechnology Journal, EarlyView.ABSTRACT Mitochondria serve as cellular powerhouses that generate ATP via electron transport chain complexes and orchestrate metabolism‐apoptosis cross‐talk, yet genes maintaining mitochondrial homeostasis remain underexplored as antifungal targets. In this study, a previously uncharacterised protein VdAtuA3 was identified as a novel interactor with ...
Ruo‐Cheng Sheng +10 more
wiley +1 more source
mattam82/Coq-Equations: Equations 1.0 for Coq 8.6
, 2017 <p>Equations is a function definition plugin for Coq (supporting Coq 8.6 and 8.7), that allows the definition of functions by dependent pattern-matching and well-founded, mutual or nested structural recursion and compiles them into core terms.
Matthieu Sozeau +3 more
core +1 more source
CoQ Regulates Brown Adipose Tissue Respiration and Uncoupling Protein 1 Expression
Antioxidants, 2022 Coenzyme Q (CoQ, aka ubiquinone) is a key component of the mitochondrial electron transport chain (ETC) and membrane-incorporated antioxidant. CoQ10 deficiencies encompass a heterogeneous spectrum of clinical phenotypes and can be caused by hereditary ...
Ching-Fang Chang +6 more
doaj +1 more source
Environmental Policy and Governance, Volume 36, Issue 3, Page 611-635, June 2026.ABSTRACT The sound formation of robust environmental policies is increasingly important for low‐ and middle‐income countries (LMICs) to achieve their national objectives and international commitments. However, policy implementation can be complex, and environmental policies may not be prioritised given other critical socio‐economic development issues ...
Rebecca K. M. Clube, Julia Tomei
wiley +1 more source
deividrvale/nijn-coq-script-generation: First Release of public API
, 2023 This release describes the first version of the public API for ONijn. Please check https://deividrvale.github.io/nijn-coq-script-generation/onijn/index.html for more details on this release.
Deivid Vale
core +1 more source
Proofs of randomized algorithms in Coq [PDF]
Science of Computer Programming, 2006 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Audebaud, Philippe +1 more
openaire +3 more sources
Targeting Mitochondria in Aging‐Related Diseases: Therapeutic Potential and Obstacles
MedComm, Volume 7, Issue 6, June 2026.This article systematically summarized the specific mechanism of aging‐related diseases caused by mitochondrial dysfunction, and summarized the broad‐spectrum treatment methods and disease targeted treatment strategies for mitochondria. At the same time, it also pointed out the dilemma faced by mitochondrial targeted treatment.
Zijie Xiang +12 more
wiley +1 more source