Results 21 to 30 of about 75,676 (211)
A propos du programme de maturité fédérale en géographie [PDF]
Geographica HelveticaNo abstract available.
J. Portmann
doaj +1 more source
Antimicrobial Activity and Antibiofilm Potential of Coenzyme Q0 against Salmonella Typhimurium
Foods, 2021 Coenzyme Q0 (CoQ0) has anti-inflammatory and anti-tumor effects; however, the antimicrobial and antibiofilm activities of CoQ0 against Salmonella enterica serovar Typhimurium are unknown.
Zhuokai Yang +8 more
doaj +1 more source
Manganese-driven CoQ deficiency
Nature Communications, 2022 AbstractOverexposure to manganese disrupts cellular energy metabolism across species, but the molecular mechanism underlying manganese toxicity remains enigmatic. Here, we report that excess cellular manganese selectively disrupts coenzyme Q (CoQ) biosynthesis, resulting in failure of mitochondrial bioenergetics.
Jutta Diessl +13 more
openaire +6 more sources
Experience Implementing a Performant Category-Theory Library in Coq [PDF]
, 2014 We describe our experience implementing a broad category-theory library in Coq. Category theory and computational performance are not usually mentioned in the same breath, but we have needed substantial engineering effort to teach Coq to cope with large ...
A. Miquel +4 more
core +5 more sources
Molecules, 2020 Coenzyme Q (CoQ) is an essential component of the mitochondrial electron transport chain and an important antioxidant present in all cellular membranes.
Lucía Fernández-del-Río +3 more
doaj +1 more source
Molecules, 2018 In this study, a series of di-O-caffeoylquinic acids (di-COQs) were systematically investigated for their antioxidant and cytoprotective effects towards •OH-damaged bone marrow-derived mesenchymal stem cells (bmMSCs).
Xican Li +7 more
doaj +1 more source
Redox Biology, 2021 Mitochondrial energy production and function rely on optimal concentrations of the essential redox-active lipid, coenzyme Q (CoQ). CoQ deficiency results in mitochondrial dysfunction associated with increased mitochondrial oxidative stress and a range of
Anita Ayer +19 more
doaj +1 more source
Certified Impossibility Results for Byzantine-Tolerant Mobile Robots [PDF]
, 2013 We propose a framework to build formal developments for robot networks using the COQ proof assistant, to state and to prove formally various properties. We focus in this paper on impossibility proofs, as it is natural to take advantage of the COQ higher ...
Auger, Cédric +4 more
core +5 more sources
The Emerging Role of Disturbed CoQ Metabolism in Nonalcoholic Fatty Liver Disease Development and Progression [PDF]
, 2015 Although non-alcoholic fatty liver disease (NAFLD), characterised by the accumulation of triacylglycerol in the liver, is the most common liver disorder, the causes of its development and progression to the more serious non-alcoholic steatohepatitis ...
Elena Bravo +3 more
core +3 more sources