'Coq' presentation slideshows

Teaching Experience: Logic and Formal Methods with Coq

Teaching Experience: Logic and Formal Methods with Coq. Martin Henz and Aquinas Hobor School of Computing National University of Singapore. WARNING. WARNING. YOU ARE ABOUT TO HEAR THE LEAST TECHNICAL TALK AT CPP / APLAS 2011. Introductory Logic (At NUS SoC : CS3234 & CS5209).

360 views • 35 slides

207 views • 19 slides

COQ10 A wonder enzyme: A review

The COQ 10 enzyme is oil-soluble vitamin-like substance is present in most eukaryotic cells, primarily in the mitochondria. It is a component of the electron transport chain and participates in aerobic cellular respiration, generating energy in the form of ATP.It has various biochemical roles in our body. The present review addresses the synthetic pathway of COQ 10, its Pharmacokinetics, bioavailability and its occurance in nature. The review also state the variuous interactions of the COQ 10 other drugs and its clinical uses in various diseases.

172 views • 15 slides

Ubiquinone Analysis Service

Ubiquinone is 2,3-dimethoxy-5-methyl-6-multiprenyl-1, 4-benzoquinone, also known as CoEnzyme Q (CoQ10, Q). The reduced form (QH2) is called ubiquinol and the partially reduced free-radical form is called semiquinone. The quinone group allows CoEnzyme Q to function as an electron-carrier, while the highly hydrophobic tail of isoprene units helps to confine CoEnzyme Q to lipid-rich areas of cells. In most species the number of isoprene units is between 6 and 10. CoEnzyme Q in mammals either has 9 (CoQ9) or 10 (CoQ10) isoprene units. In mouse and rat nearly 90% of ubiquinone is CoQ9, whereas rabbit, pig, goat, sheep, cow and horse have predominantly CoQ10, with 4% or less of CoQ9. CoQ10 is also predominant in guinea pigs and humans.

43 views • 2 slides