Axiome du choix globalEn mathématiques, plus précisément dans les théories utilisant des classes, l'axiome du choix global est un renforcement de l'axiome du choix qui s'applique à des classes propres d'ensembles ou d'ensembles d'ensembles. De manière informelle, il affirme que l'on peut choisir simultanément un élément dans tous les ensembles non-vides. L'axiome du choix global affirme qu'il existe une fonction de choix global τ, c'est-à-dire une fonction telle que, pour tout ensemble non-vide z, τ(z) est un élément de z.
Système immunitairevignette|Un lymphocyte, principale composante du système immunitaire adaptatif des vertébrés. Le système immunitaire d'un organisme est un système biologique complexe constitué d'un ensemble coordonné d'éléments de reconnaissance et de défense qui discrimine le soi du non-soi. Ce qui est reconnu comme non-soi est détruit. Il protège l'organisme des agents pathogènes : virus, bactéries, parasites, certaines particules ou molécules « étrangères » (dont certains poisons), mais est responsable du phénomène de rejet de greffe.
MagnétismeLe magnétisme représente un ensemble de phénomènes physiques dans lesquels les objets exercent des forces attractives ou répulsives sur d'autres matériaux. Les courants électriques et les moments magnétiques des particules élémentaires fondamentales sont à l’origine du champ magnétique qui engendre ces forces. Tous les matériaux sont influencés, de manière plus ou moins complexe, par la présence d'un champ magnétique, et l’état magnétique d'un matériau dépend de sa température (et d'autres variables telles que la pression et le champ magnétique extérieur) de sorte qu'un matériau peut présenter différentes formes de magnétisme selon sa température.
Bobine (électricité)Une bobine, solénoïde, auto-inductance ou quelquefois self (par anglicisme), est un composant courant en électrotechnique et électronique. Une bobine est constituée d'un enroulement de fil conducteur éventuellement autour d'un noyau en matériau ferromagnétique qui peut être un assemblage de feuilles de tôle ou un bloc de ferrite. Les physiciens et ingénieurs français l'appellent souvent par synecdoque « inductance », ce terme désignant la propriété caractéristique de la bobine, qui est son opposition à la variation du courant dans ses spires.
Electric motorAn electric motor is an electrical machine that converts electrical energy into mechanical energy. Most electric motors operate through the interaction between the motor's magnetic field and electric current in a wire winding to generate force in the form of torque applied on the motor's shaft. An electric generator is mechanically identical to an electric motor, but operates with a reversed flow of power, converting mechanical energy into electrical energy.
Axiome du choixvignette|upright=1.5|Pour tout ensemble d'ensembles non vides (les jarres), il existe une fonction qui associe à chacun de ces ensembles (ces jarres) un élément contenu dans cet ensemble (cette jarre). En mathématiques, l'axiome du choix, abrégé en « AC », est un axiome de la théorie des ensembles qui Il a été formulé pour la première fois par Ernest Zermelo en 1904 pour la démonstration du théorème de Zermelo. L'axiome du choix peut être accepté ou rejeté, selon la théorie axiomatique des ensembles choisie.
Axiome du choix dénombrablevignette|Chaque ensemble dans la suite dénombrable d'ensembles (Si) = S1, S2, S3, ... contient un élément différent de zéro, et éventuellement une infinité (ou même une infinité indénombrable) d'éléments. L'axiome du choix dénombrable nous permet de sélectionner arbitrairement un seul élément de chaque ensemble, formant une suite correspondante d'éléments (xi) = x1, x2, x3, ...
Optimisation convexevignette|320x320px|Optimisation convexe dans un espace en deux dimensions dans un espace contraint L'optimisation convexe est une sous-discipline de l'optimisation mathématique, dans laquelle le critère à minimiser est convexe et l'ensemble admissible est convexe. Ces problèmes sont plus simples à analyser et à résoudre que les problèmes d'optimisation non convexes, bien qu'ils puissent être NP-difficile (c'est le cas de l'optimisation copositive). La théorie permettant d'analyser ces problèmes ne requiert pas la différentiabilité des fonctions.
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.
Revue systématiquethumb|Ce diagramme illustre ce que font les auteurs d'une revue systématique. Une revue systématique est un travail de collecte, d'évaluation critique et de synthèse des connaissances existantes sur une question donnée. Cette question bien définie est issue de l'étude d'une problématique posée par un commanditaire, un gestionnaire, un praticien, un chercheur... Il s'agit, contrairement à une revue narrative et non systématique de la littérature, de minimiser les biais pouvant être inhérents soit à la matière première (données, connaissances) soit à la conduite de la revue elle-même, afin d'atteindre la plus grande objectivité possible.
