نتایج جستجو برای: coq 10
تعداد نتایج: 1018019 فیلتر نتایج به سال:
We evaluated coenzyme Q₁₀ (CoQ) levels in patients studied under suspicion of mitochondrial DNA depletion syndromes (MDS) (n=39). CoQ levels were quantified by HPLC, and the percentage of mtDNA depletion by quantitative real-time PCR. A high percentage of MDS patients presented with CoQ deficiency as compared to other mitochondrial patients (Mann-Whitney-U test: p=0.001). Our findings suggest t...
Primary coenzyme Q(10) (CoQ(10)) deficiency includes a group of rare autosomal recessive disorders primarily characterized by neurological and muscular symptoms. Rarely, glomerular involvement has been reported. The COQ2 gene encodes the para-hydroxybenzoate-polyprenyl-transferase enzyme of the CoQ(10) synthesis pathway. We identified two patients with early-onset glomerular lesions that harbor...
Plasma coenzyme Q (CoQ) was measured in 20 hyperlipidaemic patients treated with diet and simvastatin (an inhibitor of 3-hydroxy-3-methylglutaryl coenzyme A (HMG CoA) reductase); 22 hyperlipidaemic patients treated with diet with alone; and 20 normal controls. Patients treated with simvastatin had a significantly lower plasma CoQ and CoQ: cholesterol ratio than either patients receiving diet al...
We propose in this paper a study of the Coq proof assistant for formally verifying microprocessors. We show that interactive proofs with Coq are only required to verify complex instructions of microprocessors. We give our speciication and veriication methodology and some details about the word library developed in Coq. Two full examples show additional speciication and veriication aspects. We a...
Template-Coq is a plugin for Coq, originally implemented by Malecha [17], which provides a reifier for Coq terms and global declarations, as represented in the Coq kernel, as well as a denotation command. Initially, it was developed for the purpose of writing functions on Coq’s AST in Gallina. Recently, it was used in the CertiCoq certified compiler project [4], as its front-end language, to de...
We present several steps towards large formal mathematical wikis. The Coq proof assistant together with the CoRN repository are added to the pool of systems handled by the general wiki system described in [10]. A smart re-verification scheme for the large formal libraries in the wiki is suggested for Mizar/MML and Coq/CoRN, based on recently developed precise tracking of mathematical dependenci...
Insulin resistance in muscle, adipocytes and liver is a gateway to a number of metabolic diseases. Here, we show a selective deficiency in mitochondrial coenzyme Q (CoQ) in insulin-resistant adipose and muscle tissue. This defect was observed in a range of in vitro insulin resistance models and adipose tissue from insulin-resistant humans and was concomitant with lower expression of mevalonate/...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید