Objet détachéright|thumb|400px|Des objets Trans-neptuniens ayant des demi-grands axes supérieurs à 100 unités astronomiques : les objets épars (en anglais : SDO scattered-disk objects) (en gris) et les objets détachés (en blanc). Un objet détaché est un objet transneptunien du Système solaire dont le périhélie est suffisamment distant de l'influence gravitationnelle des planètes géantes, en particulier de Neptune, la plus externe, pour qu'il ait un comportement détaché (de leurs influences).
X64x86-64, ou x64, est une extension du jeu d'instructions x86 d'Intel, introduite par la société AMD avec la gamme AMD64. Intel utilisera cette extension en l'appelant initialement EM64T renommé aujourd'hui en Intel 64. Cette extension permet la gestion des nombres sur 64 bits, avec pour corollaire un adressage mémoire bien au-delà de 4 Go. À cela s'ajoute le doublement (de 8 à 16) du nombre de registres généralistes et vectoriels (SSE). Long Mode : mode 64 bits natif avec compatibilité 32 bits (des programmes non recompilés peuvent être utilisés sans perte de performance notable).
Rich Internet applicationUne rich Internet application (RIA), ou application Internet riche, est une application Web qui offre des caractéristiques similaires aux logiciels traditionnels installés sur un ordinateur. La dimension interactive et la vitesse d'exécution sont particulièrement soignées dans ces applications Web. Une RIA peut être : exécutée sur un navigateur Web. Aucune installation n'est requise ; exécutée localement dans un environnement sécurisé appelé sandbox (bac à sable).
Application (informatique)Une application, un applicatif ou encore une appli, une app est, dans le domaine informatique, un programme (ou un ensemble logiciel) directement utilisé pour réaliser une tâche, ou un ensemble de tâches élémentaires d'un même domaine ou formant un tout. Typiquement, un éditeur de texte, un navigateur web, un lecteur multimédia, un jeu vidéo, sont des applications. Les applications s'exécutent en utilisant les services du système d'exploitation pour utiliser les ressources matérielles.
Lymphocyte TLes lymphocytes T, ou cellules T, sont une catégorie de leucocytes qui jouent un grand rôle dans la réponse immunitaire adaptative. « T » est l'abréviation de thymus, l'organe dans lequel leur développement s'achève. Ils sont responsables de l'immunité cellulaire : les cellules infectées par un virus par exemple, ou les cellules cancéreuses reconnues comme étrangères à l'organisme (c'est-à-dire distinctes des cellules que les lymphocytes T ont appris à tolérer lors de leur maturation) sont détruites par un mécanisme complexe.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Processeur 64 bitsthumb|Un processeur AMD. Un processeur est un processeur dont la largeur des registres est de sur les nombres entiers. Les processeurs ne peuvent normalement pas adresser plus de () de mémoire centrale, tandis que les processeurs peuvent en adresser (). C'est pourquoi dès qu'il y a plus de de RAM sur une machine, la mémoire au-delà de ce seuil ne sera directement adressable qu'en mode . Diverses techniques contournent cette limitation sans franchir le pas du mode .
Lymphocyte Bvignette|Une reconstitution en 3D d'un lymphocyte B. On peut voir les prolongements cytoplasmiques qui servent au lymphocyte à se déplacer sur la paroi des vaisseaux sanguins vignette|Un lymphocyte B humain, en microscopie électronique. On peut apercevoir les mitochondries, un noyau très volumineux, et des prolongements cytoplasmiques (sortes de tentacules) qui servent au lymphocytes à se déplacer. Les lymphocytes B, ou cellules B, sont des globules blancs particuliers faisant partie des lymphocytes.
Lymphocyte T auxiliaireLes lymphocytes T auxiliaires (en anglais T helper, Th), parfois appelés lymphocytes T CD4+, sont un type original de lymphocytes T, non cytotoxiques, au centre de la réponse immunitaire adaptative (aussi appelé réponse immunitaire acquise). Ils prolifèrent seulement lorsqu'ils reconnaissent certains antigènes pathogènes présentés par une cellule présentatrice d'antigène. Ils activent une quantité d'autres types de cellules qui agiront de manière plus directe sur la réponse, d'où leur autre nom de « lymphocytes T auxiliaires ».
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Diviseur de tensionLe diviseur de tension est un montage électronique simple qui permet de diminuer une tension d'entrée, constitué par exemple de deux résistances en série. Il est couramment utilisé pour créer une tension de référence ou comme un atténuateur de signal à basse fréquence. Les tensions du diviseur sont reliées à la masse et les deux résistances R1 et R2 sont connectées en série. Une tension U est appliquée en entrée sur ces deux résistances et la tension de sortie est mesurée aux bornes de R2.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Lymphocyte NKvignette|Lymphocyte NK humain Les cellules tueuses naturelles, ou lymphocytes NK, pour Natural Killer, sont des cellules du système immunitaire inné cytotoxique qui n'éliminent pas directement les agents infectieux notamment en raison de leurs récepteurs invariants. Les cellules NK représentent environ 5 à 16 % des lymphocytes humains Ce sont des cellules provenant de la lignée lymphocytaire proche des cellules des lymphocytes T, mais ne possédant pas de récepteur membranaire aux antigènes comme les lymphocytes.
Cadence harmoniqueEn musique classique, une cadence harmonique (ou simplement cadence) est une formule mélodique et harmonique qui ponctue une phrase musicale, une section ou un morceau entier. En harmonie tonale, une cadence est une progression harmonique destinée à marquer la fin d’une pièce ou, plus généralement, d’une phrase musicale, par son caractère conclusif ou suspensif : exemple d'enchaînement conclusif : accord de dominante vers un accord de tonique ; exemple d'enchaînement suspensif : accord préparatoire vers un accord de dominante.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Routage dynamiqueLe routage dynamique ou routage adaptatif est un processus au cours duquel un routeur transmet des données via différentes routes ou vers différentes destinations en fonction de l'état des circuits de communication dans un système. Il existe sur les routeurs certaines applications qui permettent aux routeurs voisins de s'échanger de l'information quant à leur tables de routage ; ce sont les protocoles de routage.
Cellule souche hématopoïétiquevignette|Schéma de différenciation cellulaire. Une cellule souche hématopoïétique (CSH, ou HSC, pour Hematopoietic stem cells en anglais) est un type de cellule primitive (cellule souche), qui ne représente qu'une infime fraction du tissu hématopoïétique, mais qui est à l'origine de toutes les lignées de cellules sanguines du corps. À la fois capable de s'auto-renouveler et se dupliquer, elle joue un rôle fondamental pour l'hématopoïèse.
Compositeur (logiciel)Un compositeur est un logiciel capable de réaliser des effets visuels en stockant provisoirement les images dans une mémoire tampon pour les modifier avant de les afficher. Typiquement le compositeur pourra composer une image à partir de deux images différentes pour réaliser des effets de transparence, d'ombres portées etc. Compiz (Ubuntu), Kwin (KDE) ou Mutter (GNOME 3) pour systèmes GNU/Linux notamment, sont des exemples de gestionnaires de fenêtres libres dotés de cette fonction.
Validity (statistics)Validity is the main extent to which a concept, conclusion or measurement is well-founded and likely corresponds accurately to the real world. The word "valid" is derived from the Latin validus, meaning strong. The validity of a measurement tool (for example, a test in education) is the degree to which the tool measures what it claims to measure. Validity is based on the strength of a collection of different types of evidence (e.g. face validity, construct validity, etc.) described in greater detail below.
