نتایج جستجو برای: coq 10
تعداد نتایج: 1018019 فیلتر نتایج به سال:
Certified programming is one of the desirable approaches to developing dependable software, where expected properties of programs are formally proved by proof assistants such as Coq. One way for certified programming with Coq is to define a function, give proofs for its properties in Coq, and then extract a program in OCaml. Another way for certified programming with Coq is to import the defini...
The lung pathogen Pneumocystis spp. is the causative agent of a type of pneumonia that can be fatal in people with defective immune systems, such as AIDS patients. Atovaquone, an analog of ubiquinone (coenzyme Q [CoQ]), inhibits mitochondrial electron transport and is effective in clearing mild to moderate cases of the infection. Purified rat-derived intact Pneumocystis carinii cells synthesize...
Statins lower cholesterol by inhibiting 3-hydroxy-3-methylglutaryl coenzyme A (HMG-CoA) reductase, the rate-limiting enzyme in the biosynthesis of cholesterol. However, severe adverse events, including myalgias and rhabdomyolysis, have been reported with statin treatment. Different mechanisms have been proposed to explain statin-induced myopathy, including reduction of mevalonate pathway produc...
We describe how we connected three programs that compute Gröbner bases [1] to Coq [11], to do automated proofs on algebraic, geometrical and arithmetical expressions. The result is a set of Coq tactics and a certificate mechanism 1. The programs are: F4 [5], GB [4], and gbcoq [10]. F4 and GB are the fastest (up to our knowledge) available programs that compute Gröbner bases. Gbcoq is slow in ge...
Therapy of mitochondrial respiratory chain diseases is complicated by limited understanding of cellular mechanisms that cause the widely variable clinical findings. Here, we show that focal segmental glomerulopathy-like kidney disease in Pdss2 mutant animals with primary coenzyme Q (CoQ) deficiency is significantly ameliorated by oral treatment with probucol (1% w/w). Preventative effects in mi...
هدف از این پژوهش محاسبه هزینه های کیفیت طبق مدل p-a-f، در دایره های مختلف شرکت تولیدی قطعات سایپا طی 2سال قبل و بعد از پیاده سازی سیستم coqمی باشد. نتایج پژوهش با استفاده از آزمون t برای دوگروه وابسته وآزمون رتبه علامت ویلکاکسون نشان داد که بین هزینه های کیفیت هر دایره در شرکت قبل و بعد از پیاده سازی سیستم coq، تفاوت معنی داری وجود دارد به طوریکه هزینه های کیفیت بعد از پیاده سازی سیستم coq ا...
Ubiquinol-10 (QH(2)), the reduced form of Coenzyme Q(10) (CoQ(10)) serves as a potent antioxidant of lipid membranes. Because many antioxidants reveal potent anti-inflammatory effects, the influence of QH(2) on lipopolysaccharide (LPS)-induced pro-inflammatory cytokines and chemokines were determined in the human monocytic cell line THP-1. Stimulation of cells with LPS resulted in a distinct re...
Coenzyme Q10 (CoQ) is a small lipophilic molecule critical for the transport of electrons from complexes I and II to complex III in the mitochondrial respiratory chain. CoQ deficiency is a rare human genetic condition that has been associated with a variety of clinical phenotypes. With the aim of elucidating how CoQ deficiency affects an organism, we have investigated the pathophysiologic proce...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید