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.
Optimisation linéaire en nombres entiersL'optimisation linéaire en nombres entiers (OLNE) (ou programmation linéaire en nombres entiers (PLNE) ou integer programming (IP) ou Integer Linear Programming (ILP)) est un domaine des mathématiques et de l'informatique théorique dans lequel on considère des problèmes d'optimisation d'une forme particulière. Ces problèmes sont décrits par une fonction de coût et des contraintes linéaires, et par des variables entières.
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 ».
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 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.
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.
Cellule souchevignette|Cellules souches embryonnaires de souris en culture. En biologie cellulaire, une cellule souche est une cellule indifférenciée capable, à la fois, de générer des cellules spécialisées par différenciation cellulaire et de se maintenir dans l'organisme par division symétrique ou division asymétrique. Les cellules souches sont présentes chez tous les êtres vivants multicellulaires. Elles jouent un rôle central dans le développement des organismes ainsi que dans le maintien de leur intégrité au cours de la vie.
Cellule (biologie)vignette|Dessin de « cellules » observées dans des coupes d'écorce d'arbre par Robert Hooke en 1665, à l'origine du nom latin cellula « chambre de moine », ayant aussi le sens de cella « petite chambre, chambrette ». vignette|Dessin d'Edmund Beecher Wilson publié en 1900 dont la légende originale était : « Vue générale de cellules situées à la pointe de croissance d'une racine d'oignon à partir d'une coupe longitudinale agrandie . a. cellules qui ne se divisent pas, avec réseau de chromatine et nucléoles fortement colorés ; b.
Optimisation linéairethumb|upright=0.5|Optimisation linéaire dans un espace à deux dimensions (x1, x2). La fonction-coût fc est représentée par les lignes de niveau bleues à gauche et par le plan bleu à droite. L'ensemble admissible E est le pentagone vert. En optimisation mathématique, un problème d'optimisation linéaire demande de minimiser une fonction linéaire sur un polyèdre convexe. La fonction que l'on minimise ainsi que les contraintes sont décrites par des fonctions linéaires, d'où le nom donné à ces problèmes.
Integral polytopeIn geometry and polyhedral combinatorics, an integral polytope is a convex polytope whose vertices all have integer Cartesian coordinates. That is, it is a polytope that equals the convex hull of its integer points. Integral polytopes are also called lattice polytopes or Z-polytopes. The special cases of two- and three-dimensional integral polytopes may be called polygons or polyhedra instead of polytopes, respectively. An -dimensional regular simplex can be represented as an integer polytope in , the convex hull of the integer points for which one coordinate is one and the rest are zero.
Relaxation continueEn informatique théorique et en recherche opérationnelle, la relaxation continue est une méthode qui consiste à interpréter de façon continue un problème combinatoire ou discret. Cette méthode est utilisée afin d'obtenir des informations sur le problème discret initial et parfois même pour obtenir sa solution. Les problèmes discrets ou combinatoires sont en effet très difficiles à traiter en raison de l'explosion combinatoire et il est courant de les traiter par une méthode de séparation et évaluation (branch and bound en anglais) : la relaxation continue fait partie des algorithmes d'évaluation nécessaire à la mise en œuvre de cette méthode.
Entier d'Eisensteinthumb|Les entiers d'Eisenstein sont les points d'intersection d'un treillis triangulaire dans le plan complexe. En mathématiques, les 'entiers d'Eisenstein', nommés en l'honneur du mathématicien Gotthold Eisenstein, sont les nombres complexes de la forme où a et b sont des entiers relatifs et est une racine cubique primitive de l'unité (souvent autrement notée j). Les entiers d'Eisenstein forment un réseau triangulaire dans le plan complexe. Ils contrastent avec les entiers de Gauss qui forment un réseau carré dans le plan complexe.
Entier de Gaussthumb|Carl Friedrich Gauss. En mathématiques, et plus précisément, en théorie algébrique des nombres, un entier de Gauss est un nombre complexe dont la partie réelle et la partie imaginaire sont des entiers relatifs. Il s'agit formellement d'un élément de l'anneau des entiers quadratiques de l'extension quadratique des rationnels de Gauss L'ensemble des entiers de Gauss possède une structure forte. Comme tous les ensembles d'entiers algébriques, muni de l'addition et de la multiplication ordinaire des nombres complexes, il forme un anneau intègre, généralement noté , désignant ici l'unité imaginaire.
Kim Il-sungKim Il-sung (en coréen : 김일성, prononcé : ), ou Kim Il Sŏng, né le et mort le , est un homme d'État nord-coréen. Fondateur et premier dirigeant de la Corée du Nord en 1948, il dirigea le pays jusqu'à sa mort. En 1998, l'Assemblée populaire suprême le proclame « président éternel de la République ». Kim Il-sung occupa les postes de Premier ministre de 1948 à 1972 et de président de la République à partir de 1972, tout en dirigeant sans interruption jusqu'à sa mort le Parti du travail de Corée.
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.
Kim Jong-ilKim Jong-il (, prononcé : ), né le ou 1942 et mort le , est un homme d'État nord-coréen, dirigeant suprême de la Corée du Nord de 1994 à sa mort en 2011. Il succède à son père, Kim Il-sung, qui a dirigé le pays entre 1948 et 1994. Appelé le « Cher dirigeant » (친애하는 지도자, chinaehaneun jidoja ; également traduit par « Dirigeant bien-aimé »), il occupe alors les fonctions de président du Comité de la défense nationale et de secrétaire général du Parti du travail de Corée.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
