Tunnel (réseau informatique)Un tunnel, dans le contexte des réseaux informatiques, est une encapsulation de données d'un protocole réseau dans un autre, situé dans la même couche du modèle en couches, ou dans une couche de niveau supérieur. D'abord, le paquet est enveloppé dans un en-tête supplémentaire (additional header), c'est ce qu'on appelle l'encapsulation. Cet en-tête supplémentaire contient les informations de routage nécessaires pour envoyer le paquet encapsulé à travers l'inter-réseau intermédiaire.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Rational agentA rational agent or rational being is a person or entity that always aims to perform optimal actions based on given premises and information. A rational agent can be anything that makes decisions, typically a person, firm, machine, or software. The concept of rational agents can be found in various disciplines such as artificial intelligence, cognitive science, decision theory, economics, ethics, game theory, and the study of practical reason. In reference to economics, rational agent refers to hypothetical consumers and how they make decisions in a free market.
Théorie des perspectivesLa théorie des perspectives (en anglais : Prospect theory) est une théorie économique développée par Daniel Kahneman et Amos Tversky en 1979. Elle remet en cause la théorie de l'utilité espérée développée par John von Neumann et Oskar Morgenstern en 1944 et a valu à Daniel Kahneman le prix Nobel d'économie en 2002. Cette théorie est fondatrice de l'économie comportementale et de la finance comportementale et constitue l'une des premières théories économiques construite à partir de travaux expérimentaux.
Équilibrage d'un jeuL'équilibrage d'un jeu est une phase de sa conception pendant laquelle on ajuste ses différents éléments de manière à assurer une expérience optimale pour le joueur. Cela s'applique en particulier aux jeux vidéo. Jesse Schell, auteur de The art of game design: a book of lenses, distingue douze domaines d'application. Dans l'idéal, un jeu doit être équitable. Cela signifie qu'aucun joueur ne peut avoir un avantage sur ses adversaires.
Nombre rationnelUn nombre rationnel est, en mathématiques, un nombre qui peut s'exprimer comme le quotient de deux entiers relatifs. On peut ainsi écrire les nombres rationnels sous forme de fractions notées où , le numérateur, est un entier relatif et , le dénominateur, est un entier relatif non nul. Un nombre entier est un nombre rationnel : il peut s'exprimer sous la forme . Chaque nombre rationnel peut s'écrire d'une infinité de manières différentes sous forme de fraction, par exemple ...
Protocole de MontréalLe protocole de Montréal est un accord multilatéral international sur l'environnement qui fait suite à la convention de Vienne sur la protection de la couche d'ozone adoptée le . Il a pour objectif de réduire et à terme d'éliminer complètement les substances qui réduisent la couche d'ozone. Il a été signé par 24 pays et par la Communauté économique européenne le dans la ville de Montréal, au Canada, et est entré en vigueur le .
Arbre de jeuEn théorie des jeux, un arbre de jeu est un arbre (au sens de la théorie des graphes) dont les nœuds sont des positions dans un jeu et dont les arêtes sont des mouvements. L'arbre de jeu complet est l'arbre de jeu commençant à la position initiale et contenant tous les mouvements possibles depuis chaque position. vignette| Les deux premiers de l'arbre de jeu pour le tic-tac-toe. Le diagramme ci-contre montre comment coder dans une représentation arborescente le premier tour de jeu au tic-tac-toe : ce sont les deux premiers niveaux dans l'arborescence, la racine représentant la position initiale (une grille vide, en l'occurrence).
Rational egoismRational egoism (also called rational selfishness) is the principle that an action is rational if and only if it maximizes one's self-interest. As such, it is considered a normative form of egoism, though historically has been associated with both positive and normative forms. In its strong form, rational egoism holds that to not pursue one's own interest is unequivocally irrational. Its weaker form, however, holds that while it is rational to pursue self-interest, failing to pursue self-interest is not always irrational.
Game mechanicsIn tabletop games and video games, game mechanics are the rules or ludemes that govern and guide the player's actions, as well as the game's response to them. A rule is an instruction on how to play, a ludeme is an element of play like the L-shaped move of the knight in chess. A game's mechanics thus effectively specify how the game will work for the people who play it. There are no accepted definitions of game mechanics.
Protocole de KyotoLe protocole de Kyoto est un accord international visant à la réduction des émissions de gaz à effet de serre et qui vient s'ajouter à la Convention-cadre des Nations unies sur les changements climatiques dont les pays participants se rencontrent une fois par an depuis 1995. Signé le lors de la troisième conférence des parties à la convention (COP 3) à Kyoto, au Japon, il est entré en vigueur le « au quatre-vingt dixième jour après la date à laquelle au moins 55 parties à la Convention, incluant les parties « Annexe I » qui comptaient en 1990 un total d'au moins 55 % des émissions de de ce groupe, avaient déposé leurs instruments de ratification, d’acceptation, d’approbation ou d’accession ».
Modèle statistiqueUn modèle statistique est une description mathématique approximative du mécanisme qui a généré les observations, que l'on suppose être un processus stochastique et non un processus déterministe. Il s’exprime généralement à l’aide d’une famille de distributions (ensemble de distributions) et d’hypothèses sur les variables aléatoires X1, . . ., Xn. Chaque membre de la famille est une approximation possible de F : l’inférence consiste donc à déterminer le membre qui s’accorde le mieux avec les données.
