Macintoshvignette|upright=1.2|alt=Un grand ordinateur tout-en-un en aluminium, écran plat large.|Un modèle d'iMac lancé en . Macintosh (, en anglais : ) ou Mac est une série de différentes familles d'ordinateurs personnels conçus, développés et vendus par Apple. Le premier Macintosh est lancé le (il a été renommé Macintosh 128K dès le lancement du Macintosh 512K). Il constitue le premier succès commercial pour un ordinateur utilisant une souris et une interface graphique (au lieu d'une interface en ligne de commande).
Citoyenneté américaineupright=1.5|thumb|Albert Einstein recevant son certificat de citoyenneté américaine le , des mains du juge fédéral . La citoyenneté américaine lie les personnes originaires des États-Unis à tous les droits et prérogatives attachés à cette citoyenneté. Le (Section 1) de la Constitution américaine dispose : Si en théorie, aux États-Unis, on possède deux citoyennetés — la citoyenneté fédérale et la citoyenneté de l’État américain dans lequel on réside —, en pratique cette deuxième « citoyenneté fédérée » préoccupe peu le citoyen lambda et les juristes américains se sont très peu penchés sur la question.
MacOS ServermacOS Server, anciennement Mac OS X Server puis OS X Server, est la version serveur de macOS développé par Apple. Mac OS X est basé sur NeXTSTEP (lui-même basé sur BSD-Unix) qu'Apple a acquis en rachetant NeXT. La version serveur de Mac OS X inclut des applications qui ont été prévues pour offrir aux administrateurs des outils simples mais puissants pour gérer les services liés à internet, aux courriels, à l'hébergement de sites Web et d'administration de réseaux Mac et Windows et offre des possibilités de partage de fichiers et d'imprimantes.
LibreOfficeLibreOffice (parfois abrégé en LibO ou LO) est une suite bureautique libre et gratuite, dérivée du projet OpenOffice.org, créée et gérée par The Document Foundation. LibreOffice est notamment soutenue par la Fondation pour le logiciel libre et rassemble une grande partie de l'ancienne « communauté d'OpenOffice.org ». En France, LibreOffice est intégré au socle interministériel de logiciels libres de l'État. L'interface utilisateur est disponible en 114 langues.
Induction (logique)L'induction est historiquement le nom utilisé pour signifier un genre de raisonnement qui se propose de chercher des lois générales à partir de l'observation de faits particuliers, sur une base probabiliste. Remarque : Bien qu'associée dans le titre de cet article à la logique, la présentation qui suit correspond surtout à la notion bayésienne, utilisée consciemment ou non, de l'induction.
Disposition des touches d'un clavier de saisieLa disposition des touches d'un clavier de saisie permet de saisir les caractères de l'alphabet d'une langue sur une machine à écrire, un clavier d'ordinateur et sur certains appareils électroniques plus récents (téléphone portable, assistant personnel). La plupart des pays utilisent une ou plusieurs dispositions adaptées. Les dispositions de touches sont l'héritage des machines à écrire. Elles ont été adaptées aux claviers d'ordinateurs puis à d'autres périphériques.
Q-learningvignette|400x400px|Dans le Q-learning, l'agent exécute une action a en fonction de l'état s et d'une fonction Q. Il perçoit alors le nouvel état s' et une récompense r de l'environnement. Il met alors à jour la fonction Q. Le nouvel état s' devient alors l'état s, et l'apprentissage continue. En intelligence artificielle, plus précisément en apprentissage automatique, le Q-learning est un algorithme d'apprentissage par renforcement. Il ne nécessite aucun modèle initial de l'environnement.
Reinforcement learning from human feedbackIn machine learning, reinforcement learning from human feedback (RLHF) or reinforcement learning from human preferences is a technique that trains a "reward model" directly from human feedback and uses the model as a reward function to optimize an agent's policy using reinforcement learning (RL) through an optimization algorithm like Proximal Policy Optimization. The reward model is trained in advance to the policy being optimized to predict if a given output is good (high reward) or bad (low reward).
Raisonnement automatisévignette|Visualisation commune du réseau de neurones artificiels avec puce NOTOC Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, ou presque. Il est considéré habituellement comme un sous-domaine de l'intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même avec la philosophie.
Foreign relations of the United StatesThe United States has formal diplomatic relations with most nations. This includes all United Nations members and observer states other than Bhutan, Iran, North Korea and Syria, and the UN observer State of Palestine, the last of which the U.S. does not recognize. Additionally, the U.S. has diplomatic relations with Kosovo and the European Union. The United States federal statutes relating to foreign relations can be found in Title 22 of the United States Code. The United States has the most diplomatic posts of any state.
Multi-agent reinforcement learningMulti-agent reinforcement learning (MARL) is a sub-field of reinforcement learning. It focuses on studying the behavior of multiple learning agents that coexist in a shared environment. Each agent is motivated by its own rewards, and does actions to advance its own interests; in some environments these interests are opposed to the interests of other agents, resulting in complex group dynamics. Multi-agent reinforcement learning is closely related to game theory and especially repeated games, as well as multi-agent systems.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
