A. Le Coq

A. Le Coq (Estonian pronunciation: [aˑleˈkokː]) is an Estonian brewery. The company was founded by Albert Le Coq in London in 1807, using a brewery in Tartu that was founded in 1826. The company was bought in 1997 and is currently owned by Finnish company Olvi. It produces many different types of drinks including beers, long drinks, ciders and soft drinks. The best known beer is the A. Le Coq Premium, which is the most popular beer in Estonia, according to the latest AC Nielsen results in October 2008. A. Le Coq Arena in Tallinn was named after the beer.

Its motto is "Asi on maitses", meaning it's about the taste. A song with this name by rock band Smilers was also specifically written and is used in commercials.

Short overview of A. Le Coq history

Direct predecessors of the oldest Estonian brewery that has been continuously operating – A. Le Coq – in Tartu are the breweries of B. J. Hesse (1800) and J. R. Schramm (1826). In course of time, a large enterprise Tivoli Ltd. formed from these companies, the owner of which called it in 1913 A. Le Coq Ltd.

Coq

In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics and various decision procedures.

The Association for Computing Machinery presented Coquand, Huet, Paulin-Mohring, Barras, Filliâtre, Herbelin, Murthy, Bertot, Castéran with the 2013 ACM Software System Award for Coq.

Overview

Seen as a programming language, Coq implements a dependently typed functional programming language, while seen as a logical system, it implements a higher-order type theory. The development of Coq is supported since 1984 by INRIA, now in collaboration with École Polytechnique, University of Paris-Sud, Paris Diderot University and CNRS. In the 90's, École Normale Supérieure de Lyon was also part of the project. The development of Coq has been initiated by Gérard Huet and Thierry Coquand, after which more than 40 people, mainly researchers, contributed features of the core system. The implementation team has been successively coordinated by Gérard Huet, Christine Paulin and Hugo Herbelin. Coq is for the most part implemented in OCaml with a bit of C. The core system can be extended thanks to a mechanism of plug-ins.

Coenzyme Q10

Coenzyme Q₁₀, also known as ubiquinone, ubidecarenone, coenzyme Q, and abbreviated at times to CoQ₁₀ /ˌkoʊ ˌkjuː ˈtɛn/, CoQ, or Q₁₀ is a coenzyme that is ubiquitous in the bodies of most animals. It is a 1,4-benzoquinone, where Q refers to the quinone chemical group and 10 refers to the number of isoprenyl chemical subunits in its tail.

This 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, which generates energy in the form of ATP. Ninety-five percent of the human body’s energy is generated this way. Therefore, those organs with the highest energy requirements—such as the heart, liver and kidney—have the highest CoQ₁₀ concentrations.

There are three redox states of CoQ₁₀: fully oxidized (ubiquinone), semiquinone (ubisemiquinone), and fully reduced (ubiquinol). The capacity of this molecule to exist in a completely oxidized form and a completely reduced form enables it to perform its functions in the electron transport chain, and as an antioxidant, respectively.

COQ9

Ubiquinone biosynthesis protein COQ9, mitochondrial, also known as coenzyme Q9 homolog (COQ9), is a protein that in humans is encoded by the COQ9 gene.

Function

This locus represents a mitochondrial ubiquinone biosynthesis gene. The encoded protein is likely necessary for biosynthesis of coenzyme Q10, as mutations at this locus have been associated with autosomal-recessive neonatal-onset primary coenzyme Q10 deficiency.

Clinical significance

It may be associated with Coenzyme Q10 deficiency.

Model organisms

Model organisms have been used in the study of COQ9 function. A conditional knockout mouse line, called Coq9^{tm1a(KOMP)Wtsi} was generated as part of the International Knockout Mouse Consortium program — a high-throughput mutagenesis project to generate and distribute animal models of disease to interested scientists.

Male and female animals underwent a standardized phenotypic screen to determine the effects of deletion. Twenty two tests were carried out on homozygous mutant mice and one significant abnormality was observed: females displayed hyperactivity in an open field test.