BK Chicken Fries

BK Chicken Fries are a fried chicken product sold by the international fast-food restaurant chain Burger King. At the time of their introduction in 2005, the company had intended Chicken Fries to be one of their larger, adult oriented products made with higher quality ingredients than their standard menu items. Additionally, the product further targeted the snacking and convenience food markets with a specific packaging design that was intended to be easier to handle and fit into automotive cup holders. The product was part of a series of product introductions designed to expand Burger King's menu with both more sophisticated fare and present a larger, meatier product that appealed to 24- to 36-year-old adult males. Along with this series of larger, more complex group of menu products, the company intended to attract a larger, more affluent adult audience who would be willing to spend more on the better quality products. They were discontinued in the United States in 2012, but continued to be sold in some markets, such as Italy. In August 2014, they were reintroduced for a limited time offering (LTO) in North America, leading to their permanent re-addition to the menu in March 2015 in over 30 countries globally.

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.

Radcliffe Observatory Quarter

The Radcliffe Observatory Quarter (ROQ) is a major University of Oxford development project in Oxford, England, in the estate of the old Radcliffe Infirmary hospital. The site, covering 10 acres (3.7 hectares) is in central north Oxford. It is bounded by Observatory Street and Green Templeton College to the north, the Woodstock Road to the east, Somerville College to the south, and Walton Street to the west. The project and the new university area is named after the grade I listed Radcliffe Observatory to the north east of the site, now the centrepiece of Green Templeton College, which is intended to form the visual centrepiece of the project.

History

In 2009, planning permission was granted by Oxford City Council for the refurbishment of the grade II* listed Radcliffe Infirmary (the oldest wing of the hospital) and the grade II listed St Luke's Chapel and Outpatients Building, which flank the entrance courtyard. Archaeological excavations were undertaken by the Museum of London. The remains of three Bronze Age barrows and ring ditches were found, together with evidence of settlement in Saxon times.