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).
Analyseur de paquetsUn analyseur de paquets est un logiciel pouvant lire ou enregistrer des données transitant par le biais d'un réseau local non-commuté. Il permet de capturer chaque paquet du flux de données traversant le réseau, voire de décoder les paquets de données brutes, afficher les valeurs des divers champs du paquet et analyser leur contenu conformément aux spécifications ou RFC appropriées.
Ingénierie de traficL'ingénierie de trafic (ou Traffic Engineering) désigne l'ensemble des techniques appliquées dans le domaine des télécommunications afin de contrôler et de réguler la distribution du trafic dans un réseau. Le problème d'ingénierie de trafic est un problème d'optimisation mathématique qui consiste à déterminer comment allouer des ressources du réseau (bande passante) à un ensemble de demandes connues.
Race and healthRace and health refers to how being identified with a specific race influences health. Race is a complex concept that has changed across chronological eras and depends on both self-identification and social recognition. In the study of race and health, scientists organize people in racial categories depending on different factors such as: phenotype, ancestry, social identity, genetic makeup and lived experience. "Race" and ethnicity often remain undifferentiated in health research.
Symbolicsthumb|Clavier de la machine Lisp Symbolics 3600 Symbolics (Symbolics, Inc) est une entreprise informatique américaine fondée en 1979 par Russell Noftsker dont l'objectif était de commercialiser les machines Lisp du laboratoire d'intelligence artificielle du MIT. Symbolics représente la principale raison qui motiva Richard Stallman dans son projet GNU. Stallman commença par s'attaquer directement à Symbolics en implémentant le code de leur machine Lisp dans le sien, puis en transmettant ce travail à leur concurrent.
Race and geneticsResearchers have investigated the relationship between race and genetics as part of efforts to understand how biology may or may not contribute to human racial categorization. Many constructions of race are associated with phenotypical traits and geographic ancestry, and scholars like Carl Linnaeus have proposed scientific models for the organization of race since at least the 18th century. Following the discovery of Mendelian genetics and the mapping of the human genome, questions about the biology of race have often been framed in terms of genetics.
Plan de commutationDans le domaine du routage le plan de commutation parfois appelé plan de données (Forwarding Plane ou Data Plane en anglais) définit la partie de l'architecture d'un routeur qui décide ce qu'il faut faire avec les paquets arrivant sur une interface d'entrée. Le plus souvent, il se réfère à un tableau dans lequel le routeur recherche l'Adresse de destination contenue dans le paquet entrant et récupère les informations nécessaires pour déterminer le chemin, depuis l'élément récepteur, à travers la structure de commutation interne du routeur, jusqu'à l'interface(s) de sortie appropriée(s).
Race humaineLa notion de race humaine, par analogie avec les races d'animaux d'élevage, est employée pour établir des classifications internes à l'espèce humaine selon des critères morphologiques ou culturels. Des études scientifiques, fondées depuis le milieu du sur la génétique, ont montré que le concept de « race » n'est pas pertinent pour caractériser les différents sous-groupes géographiques de l'espèce humaine car la diversité génétique est beaucoup plus importante entre les individus d'une même population qu'entre groupes différents.
Critical race theoryvignette|Un présentoir de livres contenant des ouvrages sur la Critical race theory. La critical race theory (littéralement « théorie critique de la race ») est un courant de recherche et un cadre de lecture axé sur l'application de la théorie critique aux relations entre la race, la loi, et le pouvoir. Elle est née d’une rencontre entre le champ de la réflexion universitaire et l’action pour les droits humains.
Firmwarethumb|Une télécommande contient un firmware. Dans un système informatique, un firmware (ou micrologiciel, microprogramme, microcode, logiciel interne ou encore logiciel embarqué) est un programme intégré dans un matériel informatique (ordinateur, photocopieur, automate (API, APS), disque dur, routeur, appareil photo numérique, etc.) pour qu'il puisse fonctionner. Le mot anglais firmware est issu de firm (« résistant » ou « ferme », en anglais) et de software (logiciel, programme informatique).
