Jumeaux siamoisChez les humains, l'appellation jumeaux siamois (ou frères siamois au masculin et sœurs siamoises au féminin) désigne communément les jumeaux fusionnés symétriques, réunis par une partie de leur corps au cours du développement embryonnaire. Ils doivent leur nom à Chang et Eng Bunker (1811-1874), jumeaux fusionnés originaires du Siam réunis par le processus xiphoïde, exhibés en Amérique et en Europe durant le . Cette pathologie ne survient que lors de grossesse gémellaire monochoriale monoamniotique (une seule poche des eaux pour les deux fœtus).
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Programme informatiqueUn programme informatique est un ensemble d'instructions et d’opérations destinées à être exécutées par un ordinateur. Un programme source est un code écrit par un informaticien dans un langage de programmation. Il peut être compilé vers une forme binaire ou directement interprété. Un programme binaire décrit les instructions à exécuter par un microprocesseur sous forme numérique. Ces instructions définissent un langage machine.
Distributive latticeIn mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set union and intersection. Indeed, these lattices of sets describe the scenery completely: every distributive lattice is—up to isomorphism—given as such a lattice of sets. As in the case of arbitrary lattices, one can choose to consider a distributive lattice L either as a structure of order theory or of universal algebra.
JumeauDes jumeaux (jumelles au féminin) sont des frères et sœurs qui ont partagé le même utérus au cours d'une même gestation, chez les espèces vivipares (essentiellement mammifères). Dans le langage courant, on parle de jumeaux pour désigner uniquement une double naissance. En revanche, le terme ne s'applique pas à un nombre supérieur de naissances multiples. Ainsi, des triplés, quadruplés ou encore quintuplés ne sont pas des jumeaux. La science qui étudie les jumeaux s'appelle la gémellologie (terme inventé par le médecin italien en 1952).
CristallographieLa cristallographie est la science qui se consacre à l'étude des cristaux à l'échelle atomique. Les propriétés physico-chimiques d'un cristal sont étroitement liées à l'arrangement spatial des atomes dans la matière. L'état cristallin est défini par un caractère périodique et ordonné à l'échelle atomique ou moléculaire. Le cristal est obtenu par translation dans toutes les directions d'une unité de base appelée maille élémentaire.
Programmation informatiquevignette|Liste d'instructions sur le Commodore 64 La programmation, appelée aussi codage dans le domaine informatique, désigne l'ensemble des activités qui permettent l'écriture des programmes informatiques. C'est une étape importante du développement de logiciels (voire de matériel). L'écriture d'un programme se fait dans un langage de programmation. Un logiciel est un ensemble de programmes (qui peuvent être écrits dans des langages de programmation différents) destiné à la réalisation de certaines tâches par un (ou plusieurs) utilisateurs du logiciel.
Point rationnelEn théorie des nombres et géométrie algébrique, les points rationnels d'une variété algébrique définie sur un corps sont, lorsque X est définie par un système d'équations polynomiales, les solutions dans k de ce système. Soit une variété algébrique définie sur un corps . Un point est appelé un point rationnel si le corps résiduel de X en x est égal à . Cela revient à dire que les coordonnées du point dans une carte locale affine appartiennent toutes à .
Join and meetIn mathematics, specifically order theory, the join of a subset of a partially ordered set is the supremum (least upper bound) of denoted and similarly, the meet of is the infimum (greatest lower bound), denoted In general, the join and meet of a subset of a partially ordered set need not exist. Join and meet are dual to one another with respect to order inversion. A partially ordered set in which all pairs have a join is a join-semilattice. Dually, a partially ordered set in which all pairs have a meet is a meet-semilattice.
Distorsion (électronique)La distorsion désigne, dans un appareil ou un canal de transmission, l'ensemble des modifications indésirables d'un signal qui ne soient ni un gain, ni une atténuation, ni un retard. Une certaine altération du signal est inévitable ; on cherche à transmettre celui-ci avec le plus d'exactitude possible. Les progrès en la matière ont donné en audio le concept de Haute Fidélité. La limitation de la distorsion dans les circuits intégrés participe à l'intégrité du signal.
