Algorithmic mechanism designAlgorithmic mechanism design (AMD) lies at the intersection of economic game theory, optimization, and computer science. The prototypical problem in mechanism design is to design a system for multiple self-interested participants, such that the participants' self-interested actions at equilibrium lead to good system performance. Typical objectives studied include revenue maximization and social welfare maximization. Algorithmic mechanism design differs from classical economic mechanism design in several respects.
Théorie des mécanismes d'incitationLa théorie de la conception des mécanismes d’incitation (ou théorie de la conception des mécanismes de marché) est une branche de la microéconomie qui étudie les moyens employés par un agent économique pour inciter des agents qui disposent d'une information privée à la lui révéler. Cette théorie analyse le fonctionnement des marchés et des institutions économiques, et la façon dont de tels marchés émergent, en fonction de l’intérêt des créateurs.
Théorie des jeuxLa théorie des jeux est un domaine des mathématiques qui propose une description formelle d'interactions stratégiques entre agents (appelés « joueurs »). Les fondements mathématiques de la théorie moderne des jeux sont décrits autour des années 1920 par Ernst Zermelo dans l'article , et par Émile Borel dans l'article . Ces idées sont ensuite développées par Oskar Morgenstern et John von Neumann en 1944 dans leur ouvrage qui est considéré comme le fondement de la théorie des jeux moderne.
Théorie algorithmique des jeuxLa théorie algorithmique des jeux ou théorie des jeux algorithmique (en anglais, algorithmic game theory ou AGT) est un domaine entre les mathématiques, l'informatique théorique et l'économie. Plus précisément, ce domaine est une étude de certains aspects de l'économie et de la théorie des jeux d'un point de vue quantitatif et algorithmique. L'émergence d'Internet a motivé l'étude des phénomènes de compétitions et de coopération sur de grands réseaux, et c'est l'origine de la théorie algorithmique des jeux.
Mécanisme réactionnelEn chimie, un mécanisme réactionnel est l'enchainement d'étapes, de réactions élémentaires, par lequel un changement chimique a lieu. Bien que, pour la plupart des réactions, seul le bilan global (transformation des réactifs en produits) soit observable directement, des expériences permettent de déterminer la séquence possible des étapes du mécanisme réactionnel associé. Un mécanisme réactionnel décrit en détail ce qui se passe à chaque étape d'une transformation chimique.
Processus unimoléculaireUn processus unimoléculaire est un processus dans lequel une seule molécule réagit afin de se transformer en une autre molécule (isomérisation) ou bien en plusieurs molécules (dissociation). En cinétique chimique, une étape élémentaire unimoléculaire sera d'ordre un par rapport au seul réactif. Si une réaction unimoléculaire donnée n'est pas d'ordre un expérimentalement, il faut conclure qu'il possède plus qu'une étape élémentaire. En pratique, nombreuses réactions unimoléculaires sont d'ordre deux, ce qui s'explique par le mécanisme Lindemann-Hinshelwood de deux étapes.
Production par les pairs sur la base des biens communsLa production par les pairs sur la base des biens communs (en anglais : , CBPP) est un modèle de production socio-économique dans lequel un grand nombre de personnes travaillent en coopération (généralement sur Internet). Les projets basés sur des communs ont généralement des structures hiérarchiques moins rigides que celles des modèles commerciaux plus traditionnels et, souvent, les contributeurs qui y participent ne sont pas rétribués financièrement.
Linear scaleA linear scale, also called a bar scale, scale bar, graphic scale, or graphical scale, is a means of visually showing the scale of a map, nautical chart, engineering drawing, or architectural drawing. A scale bar is common element of map layouts. On large scale maps and charts, those covering a small area, and engineering and architectural drawings, the linear scale can be very simple, a line marked at intervals to show the distance on the earth or object which the distance on the scale represents.
Processus collaboratif pair à pairLe processus collaboratif pair à pair () décrit une forme décentralisée de travail collaboratif reposant sur des principes proches des réseaux informatique pair-à-pair. Les collaborateurs ne sont pas soumis à une autorité hiérarchique et chacun est libre de contribuer sans sélection préalable. Ils sont unis par un projet commun ou un bien commun que peut produire le groupe. Enfin, il n'existe pas de collaborateurs indispensables, même s'il peut exister des plus ou moins gros contributeurs. Catégorie:Organis
Abstract rewriting systemIn mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviated ARS) is a formalism that captures the quintessential notion and properties of rewriting systems. In its simplest form, an ARS is simply a set (of "objects") together with a binary relation, traditionally denoted with ; this definition can be further refined if we index (label) subsets of the binary relation.
