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.
Problème du voyageur de commercevignette|Le problème de voyageur de commerce : calculer un plus court circuit qui passe une et une seule fois par toutes les villes (ici 15 villes). En informatique, le problème du voyageur de commerce, ou problème du commis voyageur, est un problème d'optimisation qui consiste à déterminer, étant donné un ensemble de villes, le plus court circuit passant par chaque ville une seule fois. C'est un problème algorithmique célèbre, qui a donné lieu à de nombreuses recherches et qui est souvent utilisé comme introduction à l'algorithmique ou à la théorie de la complexité.
Loi de l'osmométrieEn chimie physique, la loi de l'osmométrie, aussi appelée loi de van 't Hoff ou loi de la pression osmotique, est une loi relative au phénomène de l'osmose. Jacobus Henricus van 't Hoff l'énonça en 1886 et reçut en 1901 le premier prix Nobel de chimie . Cette loi est l'une des lois relatives aux propriétés colligatives des solutions chimiques, avec les trois énoncées par François-Marie Raoult à partir de 1878 : la loi de l'ébulliométrie, la loi de la cryométrie et la loi de la tonométrie (lois de Raoult).
Mécanique quantique dans l'espace des phasesLa formulation de la mécanique quantique dans l'espace des phases place les variables de position et d'impulsion sur un pied d'égalité dans l'espace des phases. En revanche, la représentation de Schrödinger utilise soit la représentation dans l'espace des positions, soit la représentation dans celui des impulsions (voir la page espace des positions et des impulsions).
Fonctions exécutivesEn psychologie, les fonctions exécutives désignent un ensemble assez hétérogène de processus cognitifs de haut niveau permettant la maîtrise de l'individu par lui-même quand il cherche à atteindre un but ou gérer une situation difficile ou nouvelle. Ces fonctions permettent de faire varier le traitement de l'information et le comportement à chaque instant, en fonction des objectifs du moment, et d'une manière adaptative plutôt que rigide et inflexible.
Error correction codeIn computing, telecommunication, information theory, and coding theory, forward error correction (FEC) or channel coding is a technique used for controlling errors in data transmission over unreliable or noisy communication channels. The central idea is that the sender encodes the message in a redundant way, most often by using an error correction code or error correcting code (ECC). The redundancy allows the receiver not only to detect errors that may occur anywhere in the message, but often to correct a limited number of errors.
Opérateur (physique)Un opérateur est, en mécanique quantique, une application linéaire d'un espace de Hilbert dans lui-même. Le terme est une spécialisation du concept mathématique d'opérateur. Une observable est un opérateur hermitien. En mécanique classique, le mouvement des particules (ou d'un système de particules) est complètement déterminé par le Lagrangien ou, de façon équivalente, l'Hamiltonien , une fonction des coordonnées généralisées q, vitesse généralisée et son moment conjugué : Si ou est indépendant des coordonnées généralisées , donc que et ne changent pas en fonction de , le moment conjugué de ces coordonnées sera conservé (c'est une partie du théorème de Noether, et l'invariance du mouvement en respect de la coordonnée est une symétrie).
SolverA solver is a piece of mathematical software, possibly in the form of a stand-alone computer program or as a software library, that 'solves' a mathematical problem. A solver takes problem descriptions in some sort of generic form and calculates their solution. In a solver, the emphasis is on creating a program or library that can easily be applied to other problems of similar type. Types of problems with existing dedicated solvers include: Linear and non-linear equations.
Nombre constructibleUn nombre constructible (sous-entendu à la règle et au compas) est la mesure d'une longueur associée à deux points constructibles à la règle (non graduée) et au compas. Ainsi, est un nombre constructible, mais ni ni π ne le sont. C'est effectivement en termes de longueurs que pensaient les mathématiciens grecs et ceux qui, à leur suite, ont cherché à déterminer quels étaient les points et les nombres constructibles de cette façon.
Problème de la platitudeLe problème de la platitude est présenté de façon coutumière comme la difficulté pour les théories d'expliquer que l'espace paraisse plat, c'est-à-dire que sa courbure ne soit pas détectable. En vérité le problème de la platitude témoigne de l'impossibilité pour nos théories actuelles de faire cohabiter le temps de Planck et l'âge de l'univers. Dans les modèles de Friedmann tous les univers apparaissent comme « plats » (de courbure spatiale nulle) à leur naissance. Autrement dit leur courbure initiale, bien que présente, est indétectable.
