Oxidative stress, decreased antioxidant capacity, and impaired sperm mitochondrial function are the main factors contributing to male infertility. The goal of the present study was to assess the effect of the per os treatment with Carni-Q-Nol (440 mg L-carnitine fumarate + 30 mg ubiquinol + 75 IU vitamin E + 12 mg vitamin C in each softsule) in infertile men on sperm parameters, concentration o...

This thesis studies the cooperation between the Coq proof assistant and external provers through proof witnesses. We concentrate on two di erent kinds of provers that can return certi cates: rst, answers coming from SAT and SMT solvers can be checked in Coq to increase both the con dence in these solvers and Coq's automation; second, theorems established in interactive provers based on Higher-O...

BACKGROUND Coenzyme Q (CoQ) is a lipophilic antioxidant that is synthesized by a mitochondrial complex integrated by at least ten nuclear encoded COQ gene products. CoQ increases cell survival under different stress conditions, including mitochondrial DNA (mtDNA) depletion and treatment with cancer drugs such as camptothecin (CPT). We have previously demonstrated that CPT induces CoQ biosynthes...

We describe jsCoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5–ECMAScript 2015 specification, and it is typically run inside a standards-compliant browser, without the need of external servers or services. Targeting educational use, jsCoq allows the user to start interaction with proof scripts right away, thanks to its self-con...

(pH 7.0) in the following medium: 5% nhexadecane (Tokyo Kasei Co., Tokyo, Japan), 0.1% KH2PO4, 0.4% (NH4)2S04, 0.05% FeSO4 7Hq0, 0.05% MgS04-7H20, and 0.4% yeast extract (Difco). A total of 10.4 g of dry cells was obtained from 2 liters of culture broth in 2 days at 30 C. The CoQ fraction was extracted as described by Lavate et al. (3). A 1-ml amount of the nonsaponifiable extract was taken up ...

The effect of fenugreek oil (FO) on some parasitological, immunological, and biochemical parameters in mice infected with Schistosoma mansoni were investigated. Chromatography mass spectrometry (GC/MS) analysis FO revealed that linoleic acid, (E,E)-4­decadienal, isopropyl myristate are the major constituents FO. results showed treatment S. mansoni-infected 0.15 ml daily for 10 successive days e...

The experiments reported here were designed to test the hypothesis that the two-electron quinone reductase DT-diaphorase [NAD(P)H:(quinone-acceptor) oxidoreductase, EC 1.6.99.2] functions to maintain membrane-bound coenzyme Q (CoQ) in its reduced antioxidant state, thereby providing protection from free radical damage. DT-diaphorase was isolated and purified from rat liver cytosol, and its abil...

Primary Coenzyme Q (CoQ) deficiencies are clinically heterogeneous conditions and lack clear genotype-phenotype correlations, complicating diagnosis prognostic assessment. Here we present a compilation of all the symptoms patients with primary CoQ deficiency described in literature so far analyse most common clinical manifestations associated pathogenic variants identified different COQ genes. ...

This document describes a set of extensions to the proof scripting language of the Coq proof assistant. While these extensions were developed to support a particular proof methodology small-scale reflection most of them actually are of a quite general nature, improving the functionality of Coq in basic areas such as script layout and structuring, proof context management, and rewriting. Consequ...

The objective of this article is to provide a better understanding of cost of quality (CoQ) methods by presenting a survey of published literature with specific emphasis on CoQ models and best practices, and by contributing four examples of company best practices in the area of quality management. Even though the survey shows an interest by the academic community, a CoQ approach is not utilized...