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).
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.
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.
IPad Pro (1re génération)L'iPad Pro est la déclinaison grand format de l'iPad, dévoilé le pendant la keynote à San Francisco. Son écran Retina de a une largeur égale à la hauteur d'écran de l'iPad Air. Il embarque quatre haut-parleurs et le processeur maison le plus puissant jamais développé par la firme de Cupertino, le A9X. Compatible avec l'Apple Pencil, sa couche sensible fait la différence entre la pointe du stylet, le doigt de l'utilisateur et le contact accidentel de la paume de la main.
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).
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.
Virgule flottantevignette|Comme la notation scientifique, le nombre à virgule flottante a une mantisse et un exposant. La virgule flottante est une méthode d'écriture de nombres fréquemment utilisée dans les ordinateurs, équivalente à la notation scientifique en numération binaire. Elle consiste à représenter un nombre par : un signe (égal à −1 ou 1) ; une mantisse (aussi appelée significande) ; et un exposant (entier relatif, généralement borné).
Mécanique des solides déformablesLa est la branche de la mécanique des milieux continus qui étudie le comportement mécanique des matériaux solides, en particulier leurs mouvements et leurs déformations sous l'action de forces, de changements de température, de changements de phase ou d'autres actions externes ou internes. Une application typique de la mécanique des solides déformables consiste à déterminer à partir d'un certaine géométrie solide d'origine et des chargements qui lui sont appliqués, si le corps répond à certaines exigences de résistance et de rigidité.
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.
