Cross section (geometry)In geometry and science, a cross section is the non-empty intersection of a solid body in three-dimensional space with a plane, or the analog in higher-dimensional spaces. Cutting an object into slices creates many parallel cross-sections. The boundary of a cross-section in three-dimensional space that is parallel to two of the axes, that is, parallel to the plane determined by these axes, is sometimes referred to as a contour line; for example, if a plane cuts through mountains of a raised-relief map parallel to the ground, the result is a contour line in two-dimensional space showing points on the surface of the mountains of equal elevation.
Coupe géologiquevignette|Coupe géologique du Bassin parisien.
Une coupe géologique est la représentation de la géométrie des terrains et des structures géologiques le long d'un trait de coupe. Elle est élaborée à partir des informations recueillies au sein de la carte géologique dans laquelle elle s'insère, ainsi que, lorsqu'elles sont disponibles, des données de terrain, comme des logs de forage ou des profils sismiques.
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.
Module d'élasticitéUn module d'élasticité (ou module élastique ou module de conservation) est une grandeur intrinsèque d'un matériau, définie par le rapport d'une contrainte à la déformation élastique provoquée par cette contrainte. Les déformations étant sans dimension, les modules d'élasticité sont homogènes à une pression et leur unité SI est donc le pascal ; en pratique on utilise plutôt un multiple, le ou le . Le comportement élastique d'un matériau homogène isotrope et linéaire est caractérisé par deux modules (ou constantes) d'élasticité indépendants.
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).
IPadL'iPad est une tablette tactile conçue et développée par la société américaine Apple. Celle-ci est particulièrement orientée vers les médias tels que les livres, journaux, magazines, films, musiques, jeux, mais aussi vers Internet, l'accès à ses courriers électroniques et la bureautique simple avec des logiciels tels que Word ou encore les logiciels gratuits fournis par Apple : Pages, Numbers et Keynote. Avec un poids compris entre , ces modèles sont situés entre ceux des smartphones et ceux des ordinateurs portables.
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).
Déformation élastiqueEn physique, l'élasticité est la propriété d'un matériau solide à retrouver sa forme d'origine après avoir été déformé. La déformation élastique est une déformation réversible. Un matériau solide se déforme lorsque des forces lui sont appliquées. Un matériau élastique retrouve sa forme et sa taille initiales quand ces forces ne s'exercent plus, jusqu'à une certaine limite de la valeur de ces forces. Les tissus biologiques sont également plus ou moins élastiques. Les raisons physiques du comportement élastique diffèrent d'un matériau à un autre.
Effet coronathumb|Effet corona autour d'une bobine haute tension. thumb|Photo de 1914 : effet corona autour des fils d'antenne TSF de la tour Eiffel, de nuit. thumb|Effet de couronne sur un éclateur (ligne de ) ; il correspond à une perte en ligne et à une production d'ozone troposphérique polluant. thumb|Décharge corona ici provoquée sur une roulette de Wartenberg (dispositif médical utilisé en neurologie), montrant bien la directionnalité du plasma induit.
IPad miniLiPad mini est une tablette tactile conçue par la société américaine Apple et présentée au public le . Il reprend les fonctionnalités et le design général de l'iPad original dans un format plus compact. Son écran rétina mesure de diagonale contre pour le grand modèle. Il est disponible, le , à partir de en et Wi-Fi et de en et Wi-Fi + 4G. Il hérite une bonne partie des caractéristiques matérielles de l'iPad 2. Ses différentes versions sont l'iPad mini 2, sorti le , l'iPad mini 3, sorti le , l'iPad mini 4, sorti le , l'iPad mini 5, sorti le et l'iPad mini 6 sorti le 24 septembre 2021.
Macle (cristallographie)thumb|right|Macle par pénétration de trois cristaux de pyrite. Une macle est une association orientée de plusieurs cristaux identiques, dits individus, reliés par une opération de groupe ponctuel de symétrie. Les cristaux formant une macle ont en commun un réseau qui s'appelle réseau de la macle. Ce réseau est formé par les nœuds des réseaux des individus maclés qui sont superposés par l'opération de macle. Selon que ce réseau existe en une, deux ou trois dimensions, les macles sont dites monopériodiques, dipériodiques et tripériodiques respectivement.
Décharge luminescenteUne décharge luminescente est un plasma formé par le passage d'un courant électrique de tension allant de à plusieurs kilovolts, au travers un gaz à basse pression, tel l'argon ou un autre gaz noble. Ce phénomène est utilisé dans des produits commerciaux tels la lampe néon et l'écran à plasma, ainsi que dans les sciences physiques de l'état plasma et la chimie analytique. Les premiers appareils basés sur ce phénomène ont été construits par Heinrich Geissler à partir de 1857.
