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.
Réécriture (informatique)En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises. La réécriture est utilisée en informatique, en algèbre, en logique mathématique et en linguistique. La réécriture est utilisée en pratique pour la gestion des courriers électroniques (dans le logiciel sendmail, les entêtes de courrier sont manipulées par des systèmes de réécriture) ou la génération et l'optimisation de code dans les compilateurs.
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.
Marxian class theoryMarxian class theory asserts that an individual's position within a class hierarchy is determined by their role in the production process, and argues that political and ideological consciousness is determined by class position. A class is those who share common economic interests, are conscious of those interests, and engage in collective action which advances those interests. Within Marxian class theory, the structure of the production process forms the basis of class construction.
Copyleftvignette|droite|Le symbole du copyleft, avec un C réfléchi (ouvert à gauche), est l’« opposé » du copyright (C ouvert à droite). Le copyleft (🄯), parfois traduit comme gauche d'auteur ou copie laissée, est l'autorisation donnée par l'auteur d'un travail soumis au droit d'auteur (œuvre d'art, texte, programme informatique ou autre) d'utiliser, d'étudier, de modifier et de diffuser son œuvre, dans la mesure où cette même autorisation reste préservée.
Symbolic artificial intelligenceIn artificial intelligence, symbolic artificial intelligence is the term for the collection of all methods in artificial intelligence research that are based on high-level symbolic (human-readable) representations of problems, logic and search. Symbolic AI used tools such as logic programming, production rules, semantic nets and frames, and it developed applications such as knowledge-based systems (in particular, expert systems), symbolic mathematics, automated theorem provers, ontologies, the semantic web, and automated planning and scheduling systems.
Intelligence artificiellevignette|redresse=0.8|Les assistants personnels intelligents sont l'une des applications concrètes de l'intelligence artificielle dans les années 2010. L'intelligence artificielle (IA) est un ensemble de théories et de techniques visant à réaliser des machines capables de simuler l'intelligence humaine. Souvent classée dans le groupe des mathématiques et des sciences cognitives, elle fait appel à la neurobiologie computationnelle (particulièrement aux réseaux neuronaux) et à la logique mathématique (partie des mathématiques et de la philosophie).
Échelle (proportion)Une échelle est le rapport entre la mesure d'un objet réel et la mesure de sa représentation (carte géographique, maquette). Elle est exprimée par une valeur numérique, généralement sous la forme d'une fraction. Une échelle 1/100 (ou 1:100, ou « au ») implique la relation : où est la distance apparente et la distance réelle. Dans l'exemple ci-dessus, la représentation est plus petite que l'objet réel : sur le plan représente dans la réalité, soit .
Lutte des classesLa lutte des classes est une expression qui désigne les tensions dans une société hiérarchisée et divisée en classes sociales, chacune luttant pour sa situation sociale et économique, et un modèle théorique qui explique les enjeux de cet affrontement. Ce concept est apparu au chez les historiens libéraux français de la Restauration, François Guizot, l'initiateur, Augustin Thierry, Adolphe Thiers et François-Auguste Mignet, auxquels Karl Marx l'a emprunté.
