Théorème du gradientLe théorème du gradient est un théorème de l'analyse vectorielle qui met en relation l'intégrale de volume du gradient d'un champ scalaire et l'intégrale de surface du même champ. Le théorème est le suivant : Pour démontrer que ces deux vecteurs sont égaux, il suffit de vérifier que leurs produits scalaires par n'importe quel vecteur le sont, en utilisant le théorème de flux-divergence.
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.
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.
Artvignette|300px|La création d'Adam. Michel-Ange, 1508-1512. Plafond de la chapelle Sixtine, dans la cité du Vatican.L’art est une activité, le produit de cette activité ou l'idée que l'on s'en fait, qui s'adresse délibérément aux sens, aux émotions, aux intuitions et à l'intellect. On peut affirmer que l'art est le propre de l'humain ou de toute autre conscience, en tant que découlant d'une intention, et que cette activité n'a pas de fonction pratique définie.
Optimisation par essaims particulairesL'optimisation par essaims particulaires (OEP ou PSO en anglais) est une métaheuristique d'optimisation, inventée par Russel Eberhart (ingénieur en électricité) et James Kennedy (socio-psychologue) en 1995. Cet algorithme s'inspire à l'origine du monde du vivant. Il s'appuie notamment sur un modèle développé par Craig Reynolds à la fin des années 1980, permettant de simuler le déplacement d'un groupe d'oiseaux. Une autre source d'inspiration, revendiquée par les auteurs, James Kennedy et Russel Eberhart, est la socio-psychologie.
Théorie de la couleurvignette|Cercle chromatique inspiré de celui de Johannes Itten. La couleur, perception humaine d'un phénomène naturel, la lumière, a suscité de nombreuses constructions théoriques. Les philosophes s'interrogent sur la couleur, propriété de l'objet auquel elle semble attachée, ou concept de la personne qui regarde. La première approche détermine les recherches physique sur le rayonnement. La seconde, considérant la couleur d'abord comme un concept, débouche sur l'hypothèse de Sapir-Whorf, largement réfutée par des enquêtes ethnographiques sur les champs chromatiques.
Exposition artistiqueUne exposition artistique (ou exposition d'art) désigne traditionnellement l'espace et le temps où des œuvres et objets d'art rencontrent un public (spectateur). Une exposition temporaire s'achève à l'issue d'une période déterminée, par opposition à une exposition permanente qui présente des collections sans limite de temps. Une exposition peut être organisée de manière périodique sous la forme d'un salon comme le récent Fine Arts Paris et revenir annuellement à la même saison comme le plus ancien Salon d'automne.
Filtrage collaboratifvignette|Illustration d'un filtrage collaboratif où un système de recommandation doit prédire l'évaluation d'un objet par un utilisateur en se basant sur les évaluations existantes. Le filtrage collaboratif (de l’anglais : en) regroupe l'ensemble des méthodes qui visent à construire des systèmes de recommandation utilisant les opinions et évaluations d'un groupe pour aider l'individu. Il existe trois principaux axes de recherche dans ce domaine, dépendant chacun des données recueillies sur les utilisateurs du système : le filtrage collaboratif actif ; le filtrage collaboratif passif ; le filtrage basé sur le contenu.
OCamlOCaml, anciennement connu sous le nom d'Objective Caml, est l'implémentation la plus avancée du langage de programmation Caml, créé par Xavier Leroy, Jérôme Vouillon, , Didier Rémy et leurs collaborateurs en 1996. Ce langage, de la famille des langages ML, est un projet open source dirigé et maintenu essentiellement par l'Inria. OCaml est le successeur de Caml Light, auquel il a ajouté entre autres une couche de programmation objet.
