Constructive set theoryAxiomatic constructive set theory is an approach to mathematical constructivism following the program of axiomatic set theory. The same first-order language with "" and "" of classical set theory is usually used, so this is not to be confused with a constructive types approach. On the other hand, some constructive theories are indeed motivated by their interpretability in type theories. In addition to rejecting the principle of excluded middle (), constructive set theories often require some logical quantifiers in their axioms to be set bounded, motivated by results tied to impredicativity.
Structure cristallineLa structure cristalline (ou structure d'un cristal) donne l'arrangement des atomes dans un cristal. Ces atomes se répètent périodiquement dans l'espace sous l'action des opérations de symétrie du groupe d'espace et forment ainsi la structure cristalline. Cette structure est un concept fondamental pour de nombreux domaines de la science et de la technologie. Elle est complètement décrite par les paramètres de maille du cristal, son réseau de Bravais, son groupe d'espace et la position des atomes dans l'unité asymétrique la maille.
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 ».
Analyse constructiveL'analyse constructive est une branche des mathématiques constructives. Elle critique l'analyse mathématique classique et vise à fonder l'analyse sur des principes constructifs. Elle s'inscrit dans le courant de pensée constructiviste ou intuitionniste, dont les principaux membres ont été Kronecker, Brouwer ou Weyl. La critique porte sur la façon dont est utilisée la notion d'existence, de disjonction et sur l'utilisation du raisonnement par l'absurde.
Réseau de diffractionUn réseau de diffraction est un dispositif optique composé d'une série de fentes parallèles (réseau en transmission), ou de rayures réfléchissantes (réseau en réflexion). Ces traits sont espacés de manière régulière, et l'espacement est appelé le « pas » du réseau. Si la distance entre plusieurs traits est de l'ordre de grandeur de la longueur de cohérence spatiale de la lumière incidente, le réseau permet d'obtenir des figures de diffraction particulières influencées par la répétition.
Base de GröbnerEn mathématiques, une base de Gröbner (ou base standard, ou base de Buchberger) d'un idéal I de l'anneau de polynômes K[X, ..., X] est un ensemble de générateurs de cet idéal, vérifiant certaines propriétés supplémentaires. Cette notion a été introduite dans les années 1960, indépendamment par Heisuke Hironaka et Bruno Buchberger, qui lui a donné le nom de son directeur de thèse Wolfgang Gröbner. Les bases de Gröbner ont le grand avantage de ramener l'étude des idéaux polynomiaux à l'étude des idéaux monomiaux (c'est-à-dire formés de monômes), plus faciles à appréhender.
Diffraction from slitsDiffraction processes affecting waves are amenable to quantitative description and analysis. Such treatments are applied to a wave passing through one or more slits whose width is specified as a proportion of the wavelength. Numerical approximations may be used, including the Fresnel and Fraunhofer approximations. Because diffraction is the result of addition of all waves (of given wavelength) along all unobstructed paths, the usual procedure is to consider the contribution of an infinitesimally small neighborhood around a certain path (this contribution is usually called a wavelet) and then integrate over all paths (= add all wavelets) from the source to the detector (or given point on a screen).
Cellule dendritiqueLes cellules dendritiques sont des cellules du système immunitaire présentes au niveau des muqueuses, et qui sont donc parmi les premières cellules exposées à l'environnement extérieur. Elles sont présentes dans l'épiderme (où elles sont appelées cellules de Langerhans), dans les poumons, et dans l'intestin. Elles résident dans les tissus à l’état immature, et ont une morphologie très variée, qui présentent dans certaines conditions, comme leur nom l'indique, des dendrites (des prolongements cytoplasmiques).
Diffusion RayleighLa diffusion Rayleigh est un mode de diffusion des ondes, par exemple électromagnétiques ou sonores. Elle opère lorsque la longueur d'onde est beaucoup plus grande que la taille des particules diffusantes. On parle de diffusion élastique, car cela se fait sans variation d'énergie, autrement dit l'onde conserve la même longueur d'onde. Elle est nommée d'après John William Strutt Rayleigh, qui en a fait la découverte.
Completeness of the real numbersCompleteness is a property of the real numbers that, intuitively, implies that there are no "gaps" (in Dedekind's terminology) or "missing points" in the real number line. This contrasts with the rational numbers, whose corresponding number line has a "gap" at each irrational value. In the decimal number system, completeness is equivalent to the statement that any infinite string of decimal digits is actually a decimal representation for some real number.
Integer latticeIn mathematics, the n-dimensional integer lattice (or cubic lattice), denoted \mathbb{Z}^n, is the lattice in the Euclidean space \mathbb{R}^n whose lattice points are n-tuples of integers. The two-dimensional integer lattice is also called the square lattice, or grid lattice. \mathbb{Z}^n is the simplest example of a root lattice. The integer lattice is an odd unimodular lattice. The automorphism group (or group of congruences) of the integer lattice consists of all permutations and sign changes of the coordinates, and is of order 2n n!.
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.
