Bounded quantificationIn type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping. Bounded quantification has traditionally been studied in the functional setting of System F
Effet VeblenL’effet Veblen, ou effet de snobisme, a été mis en évidence par l’économiste et sociologue Thorstein Veblen, dans son ouvrage Théorie de la classe de loisir (1899). Dans le domaine des biens de luxe ou du moins ceux qui permettent une certaine distinction sociale, la baisse de prix de ces produits se traduit par une baisse de l'intérêt qu'ils présentent aux yeux de leurs acheteurs potentiels. De manière inverse, la hausse du prix d'un produit peut le rendre davantage désirable et le faire entrer dans la catégorie des biens dont la possession traduit un rang social élevé.
Disque compactUn disque compact, le plus souvent désigné par son sigle anglais CD – abréviation de Compact Disc – est un disque optique utilisé pour stocker des données sous forme numérique. Le Compact Disc a été développé par Sony et Philips et commercialisé à partir de décembre 1982 (mars 1983 en France). Au début des années 1990, il se démocratise, et petit à petit, finit par remplacer les supports analogiques (disque microsillon, cassette audio). vignette|Creux sur la surface d'un CD vu au microscope à balayage.
P-code machineIn computer programming, a p-code machine (portable code machine) is a virtual machine designed to execute p-code (the assembly language or machine code of a hypothetical central processing unit (CPU)). This term is applied both generically to all such machines (such as the Java virtual machine (JVM) and MATLAB precompiled code), and to specific implementations, the most famous being the p-Machine of the Pascal-P system, particularly the UCSD Pascal implementation, among whose developers, the p in p-code was construed to mean pseudo more often than portable, thus pseudo-code meaning instructions for a pseudo-machine.
Job performanceJob performance assesses whether a person performs a job well. Job performance, studied academically as part of industrial and organizational psychology, also forms a part of human resources management. Performance is an important criterion for organizational outcomes and success. John P. Campbell describes job performance as an individual-level variable, or something a single person does. This differentiates it from more encompassing constructs such as organizational performance or national performance, which are higher-level variables.
Bien communLe bien commun est une notion développée d'abord par la théologie et la philosophie, puis saisie par le droit, les sciences sociales et invoquée par de nombreux acteurs politiques. Elle désigne l'idée d'un bien patrimonial et matrimonial partagé par les membres d'une communauté, au sens spirituel et moral du mot « bien », de même qu'au sens matériel et pratique (ce dont on dispose ou ce qu'on possède). En Occident, la philosophie s'interroge au moins depuis Platon et Aristote sur ce qui nous constitue en tant que communauté.
Test utilisateurUn test utilisateur, ou test d’utilisabilité, est une méthode permettant d'évaluer un produit en le faisant tester par des utilisateurs. Le plus souvent, il s'agit de produits du domaine informatique (par exemple : un logiciel ou un site web) dans le cadre de l'intervention ergonomique. Elle est considérée comme une démarche indispensable dans la conception de produit, car la plus efficace pour évaluer l'ergonomie d'une application ou d'un site web.
UtilisabilitéL’utilisabilité, ou encore aptitude à l'utilisation est définie par la norme ISO 9241-11 comme « le degré selon lequel un produit peut être utilisé, par des utilisateurs identifiés, pour atteindre des buts définis avec efficacité, efficience et satisfaction, dans un contexte d’utilisation spécifié ». C'est une notion proche de celle d'affordance, ou même d’ergonomie qui est cependant plus large. Les critères de l’utilisabilité sont : l’efficacité : le produit permet à ses utilisateurs d’atteindre le résultat prévu.
Function typeIn computer science and mathematical logic, a function type (or arrow type or exponential) is the type of a variable or parameter to which a function has or can be assigned, or an argument or result type of a higher-order function taking or returning a function. A function type depends on the type of the parameters and the result type of the function (it, or more accurately the unapplied type constructor · → ·, is a higher-kinded type).
Bien de GiffenUn bien de Giffen est un concept d'économie qui désigne un bien dont la demande augmente avec la hausse de prix. Ce concept appartient à la microéconomie. Il porte le nom de l'économiste écossais Robert Giffen. Lorsque la demande d'un bien augmente avec l'augmentation de son prix, cela peut signifier que le bien en question est un bien de consommation essentiel. Lorsque son prix augmente, les agents économiques diminuent la part de leur revenu attribuée à d'autres biens pour consacrer une plus large part de leur budget à ce bien essentiel.
