Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
AtaxieEn médecine, l'ataxie (du grec ataxiā, signifiant « désordre ») ou danse des tendons est une maladie neuromusculaire qui consiste en un manque de coordination fine des mouvements volontaires. Elle est liée à une atteinte du système nerveux. Le trouble de la coordination est partiellement corrigé par le contrôle visuel. Le cervelet est le centre de la coordination fine des mouvements des muscles, tandis que l'information qui en émerge est véhiculée jusqu'aux muscles par la moelle épinière et les nerfs périphériques.
ArtillerieOn appelle artillerie l'ensemble des armes collectives ou lourdes servant à envoyer, à grande distance, sur l'ennemi ou sur ses positions et ses équipements, divers projectiles de gros ou petit calibre : obus, boulet, roquette, missile, pour appuyer ses propres troupes engagées dans une bataille ou un siège. Le terme serait apparu environ au , dérivant du vieux français artillier qui désignait les artisans fabricants d'armes et équipements de guerre.
Capture de mouvementLa capture de mouvement (motion capture en anglais, parfois abrégé en mocap) est une technique permettant d'enregistrer les positions et rotations d'objets ou de membres d'êtres vivants, pour en contrôler une contrepartie virtuelle sur ordinateur (caméra, modèle 3D, ou avatar). Une restitution visuelle de ces mouvements en temps réel est faite via le moteur de rendu 3D de l'application interfacée avec le matériel utilisé qui peut les stocker dans un fichier d'animation de type BVH pour être traités ultérieurement dans un logiciel 3D classique (Maya, 3dsMax, XSI, Cinema4d, etc.
Système de positionnement en intérieurUn système de positionnement en intérieur ou système de géolocalisation en intérieur permet de trouver la position d'objets ou de personnes dans un espace interne à une structure (bâtiments, maisons...). La localisation joue un rôle essentiel dans la vie de tous les jours. Alors que la localisation basée sur les GPS est populaire, sa prolifération dans les environnements intérieurs est limitée. Cela est dû à la mauvaise pénétration des signaux GPS à l’intérieur des bâtiments et à l'absence fréquente de systèmes de localisation intérieure.
Mission d'évaluation des politiques publiquesLa Mission d'évaluation des politiques publiques (MEPP) est un service rattaché à la Direction générale de la modernisation de l'État, placé sous l'autorité fonctionnelle du cabinet du Ministère du Budget, des Comptes publics, de la Fonction publique et de la Réforme de l'État et chargé de piloter les structures d'évaluation interne de l'administration. La Mission d’évaluation des politiques publiques doit supporter à l’échelle interministérielle la gouvernance de l'évaluation et la coordination des Comités ministériels d’évaluation (CME).
Déclaration des droits (États-Unis)La Déclaration des droits (United States Bill of Rights) est l'ensemble constitué des dix premiers amendements à la Constitution américaine. Elle limite les pouvoirs du gouvernement fédéral et garantit les libertés de presse, de parole, de religion, de réunion, le droit de porter des armes, et le droit de propriété. Adoptée par la Chambre des représentants le et le Congrès le suivant, elle est ratifiée progressivement par les États fédérés, et prend effet le , date de la ratification par la Virginie.
Nonlinear dimensionality reductionNonlinear dimensionality reduction, also known as manifold learning, refers to various related techniques that aim to project high-dimensional data onto lower-dimensional latent manifolds, with the goal of either visualizing the data in the low-dimensional space, or learning the mapping (either from the high-dimensional space to the low-dimensional embedding or vice versa) itself. The techniques described below can be understood as generalizations of linear decomposition methods used for dimensionality reduction, such as singular value decomposition and principal component analysis.
