Exploitation of labourExploitation is a concept defined as, in its broadest sense, one agent taking unfair advantage of another agent. When applying this to labour (or labor) it denotes an unjust social relationship based on an asymmetry of power or unequal exchange of value between workers and their employers. When speaking about exploitation, there is a direct affiliation with consumption in social theory and traditionally this would label exploitation as unfairly taking advantage of another person because of their vulnerable position, giving the exploiter the power.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Propriété privéeLa propriété privée correspond au droit d’user, de jouir et de disposer d’une chose de manière propre, exclusive et absolue sous les restrictions établies par la loi. Il s'agit de la propriété qui appartient en propre à un individu, ou à plusieurs personnes privées, ou encore, depuis le , à une entreprise ou une autre personne morale. Il est probable que la propriété privée n'apparaît pas au début de la préhistoire. Elle est certainement absente du paléolithique, période des chasseurs-cueilleurs.
Approximation diophantiennevignette|Meilleurs approximations rationnelles pour les nombres irrationnels Π (vert), e (bleu), φ (rose), √3/2 (gris), 1/√2 (rouge) et 1/√3 (orange) tracées sous forme de pentes y/x avec des erreurs par rapport à leurs vraies valeurs (noirs) par CMG Lee. En théorie des nombres, l'approximation diophantienne, qui porte le nom de Diophante d'Alexandrie, traite de l'approximation des nombres réels par des nombres rationnels.
Algorithme de multiplication d'entiersLes algorithmes de multiplication permettent de calculer le résultat d'une multiplication. Graphiquement, il s'agit de transformer un rectangle multiplicateur × multiplicande en une ligne, en conservant le nombre d'éléments. Ce type de multiplication n'utilise que des additions et des multiplications ou des divisions par 2. Elle ne nécessite pas de connaître de table de multiplication (autre que la multiplication par 2).
Quantification (signal)En traitement des signaux, la quantification est le procédé qui permet d'approcher un signal continu par les valeurs d'un ensemble discret d'assez petite taille. On parle aussi de quantification pour approcher un signal à valeurs dans un ensemble discret de grande taille par un ensemble plus restreint. L'application la plus courante de la quantification est la conversion analogique-numérique mais elle doit le développement de sa théorie aux problèmes de quantification pour la compression de signaux audio ou .
Théorie économique des droits de propriétéLa théorie économique des droits de propriété est une branche de l'analyse économique du droit s'intéressant aux conséquences économiques des droits de propriété. La théorie de droit de propriété se propose d’expliquer plusieurs choses : Comment différents types et systèmes de droit de propriété agissent sur le comportement des agents individuels et par là sur le fonctionnement et l’efficience du système économique ? Comment dans une économie où les rapports contractuels entre agents sont libres, le type et la répartition des droits de propriété, qui assurent l’efficience la plus grande, tendent à s’imposer ? Cette théorie s’est constituée lorsque la nécessité de s’interroger sur l’effet des formes de propriété, et plus généralement des formes institutionnelles, sur le fonctionnement de l’économie s’est manifestée.
Analyse constructiveL'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse mathématique classique et vise à fonder l'analyse sur des principes constructifs. Elle s'inscrit dans le courant de pensée constructiviste ou intuitionniste, dont les principaux membres ont été Kronecker, Brouwer ou Weyl. La critique porte sur la façon dont est utilisée la notion d'existence, de disjonction et sur l'utilisation du raisonnement par l'absurde.
AnalysisAnalysis (: analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (384–322 B.C.), though analysis as a formal concept is a relatively recent development. The word comes from the Ancient Greek ἀνάλυσις (analysis, "a breaking-up" or "an untying;" from ana- "up, throughout" and lysis "a loosening"). From it also comes the word's plural, analyses.
Analyse des donnéesL’analyse des données (aussi appelée analyse exploratoire des données ou AED) est une famille de méthodes statistiques dont les principales caractéristiques sont d'être multidimensionnelles et descriptives. Dans l'acception française, la terminologie « analyse des données » désigne donc un sous-ensemble de ce qui est appelé plus généralement la statistique multivariée. Certaines méthodes, pour la plupart géométriques, aident à faire ressortir les relations pouvant exister entre les différentes données et à en tirer une information statistique qui permet de décrire de façon plus succincte les principales informations contenues dans ces données.
