Problème de bin packingEn recherche opérationnelle et en optimisation combinatoire, le bin packing est un problème algorithmique. Il s'agit de ranger des objets dans un nombre minimum de boîtes. Le problème classique se définit en une dimension, mais il existe de nombreuses variantes en deux ou trois dimensions. Le problème de bin packing peut s'appliquer à un grand nombre de secteurs industriels ou informatiques. Pour la version classique en une dimension : rangement de fichiers sur un support informatique ; découpe de câbles ; remplissage de camions ou de containers avec comme seule contrainte le poids ou le volume des articles.
Courbe implicitevignette|402x402px| Ovales de Cassini :(1) a = 1,1 , c=1 (au dessus),(2) a = c = 1 (au milieu),(3) a = 1, c = 1,05 (au dessous)|gauche En mathématiques, une courbe implicite (en coordonnées cartésiennes) est une courbe plane définie par une équation implicite reliant les deux coordonnées x et y d'un point de . Par exemple, le cercle unité est défini par l'équation implicite . Dans le cas général, une courbe implicite est définie en coordonnées cartésiennes par une équation de la forme où F est une fonction de deux variables.
Alan Turingvignette|Alan Turing vers 1938. Alan Mathison Turing, né le à Londres et mort le à Wilmslow, est un mathématicien et cryptologue britannique, auteur de travaux qui fondent scientifiquement l'informatique. Il est aussi un des pionniers de l'Intelligence artificielle. Pour résoudre le problème fondamental de la décidabilité en arithmétique, il présente en 1936 une expérience de pensée que l'on nommera ensuite machine de Turing et des concepts de programme et de programmation, qui prendront tout leur sens avec la diffusion des ordinateurs, dans la seconde moitié du .
Machine de Turing universellevignette|upright=1.5|Une machine de Turing quelconque M réalise un calcul à partir d'une entrée écrite sur son ruban. Une machine de Turing universelle U simule le calcul de M sur l'entrée de M à partir d'une description de M et de l'entrée de M écrits sur le ruban de U. En informatique, plus précisément en informatique théorique, une machine de Turing universelle est une machine de Turing qui peut simuler n'importe quelle machine de Turing sur n'importe quelle entrée.
Courbe algébriqueEn mathématiques, et plus précisément en géométrie algébrique, une courbe algébrique est une variété algébrique (ou un schéma de type fini) sur un corps, dont les composantes irréductibles sont de dimension 1. Cette définition est la généralisation moderne de celle des courbes algébriques classiques, telles que les coniques, définies, dans le cas des courbes planes, comme l'ensemble des points solutions d'une équation polynomiale. Sous sa forme la plus générale, une courbe algébrique sur un corps est une variété algébrique de dimension 1 sur , séparée pour éviter des pathologies.
Nominalismevignette Le nominalisme est une doctrine philosophique qui considère que les concepts et les noms qui s'y rapportent ne sont que constructions de l'esprit et conventions de langage. Les choses et les idées ne sont pas intrinsèquement porteuses des concepts par lesquels nous les appréhendons. Par exemple, le terme « homme » ne signifie pas une quelconque essence de l'homme en général.
Régularités naturellesLes régularités dans la nature sont des formes répétées que l'on trouve dans le monde naturel, telles que les spirales, les arbres, la disposition de traits ou de fentes, les chants d'oiseau. Chaque régularité peut être simulée mathématiquement et peut s'expliquer à un niveau physique, chimique ou biologique (sélection naturelle). Cette branche de la mathématique applique des simulations informatiques à une grande gamme de formes. Le philosophe grec Platon (env. 427 – env.
Nombre de contactEn géométrie, le nombre de contact ou nombre de Newton ou nombre de baisers (de l'anglais kissing number) d'un espace est défini comme le plus grand nombre de boules identiques qui peuvent être placées dans cet espace sans qu'elles ne se chevauchent et telles que chacune touche une boule identique commune. Le terme nombre de Newton renvoie à Isaac Newton, l'auteur du problème en trois dimensions. Le problème du nombre de contact consiste à déterminer le plus grand nombre de contact pour des sphères n-dimensionnelles dans l'espace euclidien de dimension n + 1.
Test de Turingvignette|upright=1|Schéma du test de Turing. Le test de Turing est une proposition de test d’intelligence artificielle fondée sur la faculté d'une machine à imiter la conversation humaine. Décrit par Alan Turing en 1950 dans sa publication Computing Machinery and Intelligence, ce test consiste à mettre un humain en confrontation verbale à l’aveugle avec un ordinateur et un autre humain. Si la personne qui engage les conversations n’est pas capable de dire lequel de ses interlocuteurs est un ordinateur, on peut considérer que le logiciel de l’ordinateur a passé avec succès le test.
Régularité (perception)thumb|Carreaux de faïence d'Iznik (seconde moitié du , Musée du Louvre, Département des arts de l'Islam). La nature, les arts et techniques et les abstractions peuvent présenter des régularités, qu'on désigne en anglais par le mot pattern. La traduction de pattern en français varie beaucoup selon le contexte. On peut le traduire notamment par patron (dont il est issu étymologiquement), modèle, forme, motif, schéma, structure ou régularité. Les éléments d'une régularité se répètent de façon prévisible.
Problème du sac à dosEn algorithmique, le problème du sac à dos, parfois noté (KP) (de l'anglais Knapsack Problem) est un problème d'optimisation combinatoire. Ce problème classique en informatique et en mathématiques modélise une situation analogue au remplissage d'un sac à dos. Il consiste à trouver la combinaison d'éléments la plus précieuse à inclure dans un sac à dos, étant donné un ensemble d'éléments décrits par leurs poids et valeurs.
Verre correcteurUn verre correcteur est une lentille optique portée devant l'œil, principalement pour corriger les amétropies : myopie, hypermétropie, astigmatisme et presbytie. Les lunettes sont portées à une faible distance des yeux. Les lentilles de contact sont portées directement à la surface de l'œil. Les lentilles intraoculaires sont implantées chirurgicalement, majoritairement pour corriger la cataracte.
