Optimizing compilerIn computing, an optimizing compiler is a compiler that tries to minimize or maximize some attributes of an executable computer program. Common requirements are to minimize a program's execution time, memory footprint, storage size, and power consumption (the last three being popular for portable computers). Compiler optimization is generally implemented using a sequence of optimizing transformations, algorithms which take a program and transform it to produce a semantically equivalent output program that uses fewer resources or executes faster.
Discrete uniform distributionIn probability theory and statistics, the discrete uniform distribution is a symmetric probability distribution wherein a finite number of values are equally likely to be observed; every one of n values has equal probability 1/n. Another way of saying "discrete uniform distribution" would be "a known, finite number of outcomes equally likely to happen". A simple example of the discrete uniform distribution is throwing a fair die. The possible values are 1, 2, 3, 4, 5, 6, and each time the die is thrown the probability of a given score is 1/6.
Bayer processThe Bayer process is the principal industrial means of refining bauxite to produce alumina (aluminium oxide) and was developed by Carl Josef Bayer. Bauxite, the most important ore of aluminium, contains only 30–60% aluminium oxide (Al2O3), the rest being a mixture of silica, various iron oxides, and titanium dioxide. The aluminium oxide must be further purified before it can be refined into aluminium metal. The Bayer process is also the main source of gallium as a byproduct despite low extraction yields.
Faraday's laws of electrolysisFaraday's laws of electrolysis are quantitative relationships based on the electrochemical research published by Michael Faraday in 1833. Michael Faraday reported that the mass (m) of elements deposited at an electrode is directly proportional to the charge (Q; SI units are ampere seconds or coulombs). Here, the constant of proportionality, Z, is called the electro-chemical equivalent (ECE) of the substance. Thus, the ECE can be defined as the mass of the substance deposited/liberated per unit charge.
Red mudRed mud, now more frequently termed bauxite residue, is an industrial waste generated during the processing of bauxite into alumina using the Bayer process. It is composed of various oxide compounds, including the iron oxides which give its red colour. Over 95% of the alumina produced globally is through the Bayer process; for every tonne of alumina produced, approximately 1 to 1.5 tonnes of red mud are also produced. Annual production of alumina in 2020 was over 133 million tonnes resulting in the generation of over 175 million tonnes of red mud.