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.
Loi uniforme discrèteEn théorie des probabilités, une loi discrète uniforme est une loi de probabilité discrète pour laquelle la probabilité de réalisation est identique (équiprobabilité) pour chaque modalité d’un ensemble fini de modalités possibles. C'est le cas par exemple de la loi de la variable aléatoire donnant le résultat du lancer d'une pièce équilibrée, avec deux modalités équiprobables : Pile, et Face. C'est aussi le cas de celle donnant le résultat du jet d'un dé équilibré.
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.
Lois de Faraday (électrochimie)Les lois sur l'électrolyse de Faraday sont basées sur des recherches que Michael Faraday publie en 1834. Première loi : la quantité de substance libérée lors de l’électrolyse à une électrode est proportionnelle au temps et au courant électrique (ce qui équivaut à la charge). Seconde loi : les poids de divers corps séparés aux électrodes par la même quantité d'électricité sont entre eux comme leurs équivalents chimiques.
Boue rougethumb|Bassin de stockage de boue rouge à Arvida, vu du ciel. thumb|Bassin de stockage de boue rouge à Stade Boue rouge (red mud ou RM en anglais) est le nom communément donné au principal déchet produit lors la fabrication d'alumine et d'aluminium par le procédé Bayer. Breveté par Karl Josef Bayer en 1887 puis en 1892, ce procédé très efficace mais dont les processus chimiques de base sont encore mal compris, est très consommateur en eau et énergie et produit une grande quantité de déchets sous forme de boues rouges.
