Comité européen de normalisationLe CEN ou Comité européen de normalisation (en anglais European Committee for Standardization ; en allemand Europäisches Komitee für Normung), dont le siège se situe à Bruxelles, fut créé en 1961 afin d'harmoniser les normes élaborées en Europe. Tous ses membres nationaux – qu'ils soient membres de plein droit, affiliés ou organismes de normalisation partenaires – sont également membres de l'Organisation internationale de normalisation (ISO). Le CEN fut fondé à l'origine par les organismes nationaux de normalisation de la France, de l'Allemagne et des pays du Benelux.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Formal specificationIn computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
Test unitaireEn programmation informatique, le test unitaire (ou « T.U. », ou « U.T. » en anglais) est une procédure permettant de vérifier le bon fonctionnement d'une partie précise d'un logiciel ou d'une portion d'un programme (appelée « unité » ou « module »). Dans les applications non critiques, l'écriture des tests unitaires a longtemps été considérée comme une tâche secondaire. Cependant, les méthodes Extreme programming (XP) ou Test Driven Development (TDD) ont remis les tests unitaires, appelés « tests du programmeur », au centre de l'activité de programmation.
Calcul distribuéUn calcul distribué, ou réparti ou encore partagé, est un calcul ou un traitement réparti sur plusieurs microprocesseurs et plus généralement sur plusieurs unités centrales informatiques, et on parle alors d'architecture distribuée ou de système distribué. Le calcul distribué est souvent réalisé sur des clusters de calcul spécialisés, mais peut aussi être réalisé sur des stations informatiques individuelles à plusieurs cœurs. La distribution d'un calcul est un domaine de recherche des sciences mathématiques et informatiques.
Fréquence fondamentaleEn acoustique musicale, la fréquence fondamentale est l'inverse de la période d'un son complexe. Cette fréquence détermine la hauteur du son musical. Un son est une vibration de l'air. Cette vibration peut souvent s'assimiler à un phénomène périodique ; c'est le cas notamment des sons de voyelles émis par la voix humaine et de tous les instruments capables de produire une note de musique. Un phénomène périodique se caractérise par sa période, qui est la durée qui se reproduit identiquement lorsqu'on se décale dans le temps de cette même durée.
Plan de gestion des donnéesUn plan de gestion des données, plan de gestion des données de recherche, Data management plan ou PGD est un document évolutif qui aide le(s) chercheur(s) ou le chargé de projet de la recherche à définir un plan pour gérer les données utilisées et générées dans le cadre de son activité ou de son projet de recherche. Initié au début du projet, ce plan est mis à jour de manière périodique pour s'assurer de son adéquation avec le déroulement de l'activité ou du projet.
Le Monde de DoryLe Monde de Dory ou Trouver Doris au Québec et au Nouveau-Brunswick (Finding Dory) est un film américain sorti en 2016. C’est un film d’animation réalisé par Andrew Stanton en , pour les studios Pixar. Il fait suite au film Le Monde de Nemo ou Trouver Nemo au Québec. C'est le 42e plus gros succès du box-office mondial. Dory, un poisson chirurgien bleu, est séparée de ses parents alors qu'elle n'est encore qu'une enfant. En grandissant, Dory les cherche en vain, puis les oublie à cause de ses troubles de la mémoire immédiate.
Identité (sciences sociales)L’identité est, en sciences sociales, une notion qui a plusieurs sens, et qui se définit selon le sujet; individuel ou collectif. La notion d'identité est au croisement de la sociologie et de la psychologie, mais intéresse aussi la biologie, la philosophie et la géographie. En psychanalyse cette notion se retrouve dans le moi et dans l'identification, en philosophie, elle se retrouve dans l'identité personnelle. Erik Erikson conçoit l'identité comme une sorte de sentiment d'harmonie : l'identité de l'individu est le (1972).
Le Monde de NemoLe Monde de Nemo ou Trouver Nemo au Québec (Finding Nemo) est le cinquième film d'animation en des studios Pixar. Il est produit par Walt Disney Pictures, réalisé par Andrew Stanton et Lee Unkrich et sorti en 2003. vignette|Costume de Nemo. Après la mort de sa compagne Corail et du reste de la couvée à la suite de l'attaque d'un barracuda, le poisson-clown Marin doit prendre soin de son fils unique, Nemo, handicapé par une nageoire atrophiée. Lors de son premier jour d'école, Marin, inquiet, décide de le suivre à l'occasion d'une sortie scolaire.
Système d'exploitation distribuéUn système d'exploitation distribué est une couche logicielle au dessus d'un ensemble de nœuds de calculs indépendants, communiquant par un système de réseau propre ou général. Chaque nœud comprend dans ce type de système d'exploitation un sous ensemble de l’agrégat global. Chaque nœud comporte son propre noyau servant à contrôler le matériel et les couches basses des communications en réseau. Des logiciels de plus haut niveau sont chargés de coordonner les activités collaboratives de l'ensemble de la grappe et des éléments de chacun de ces nœuds.
