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).
Restauration (métallurgie)En métallurgie, la restauration est le nom d'un traitement thermique (ou d'une phase d'un traitement thermique) ou recuit durant lequel on observe une diminution de la densité des dislocations. Les dislocations sont en général introduites par déformation plastique (multiplication des dislocations par le mécanisme de Frank et Read). Ces dislocations se gênent mutuellement et donc augmentent la dureté (phénomène d'écrouissage).
Erreur typeLerreur type d'une statistique (souvent une estimation d'un paramètre) est l'écart type de sa distribution d'échantillonnage ou l'estimation de son écart type. Si le paramètre ou la statistique est la moyenne, on parle d'erreur type de la moyenne. La distribution d'échantillonnage est générée par tirage répété et enregistrements des moyennes obtenues. Cela forme une distribution de moyennes différentes, et cette distribution a sa propre moyenne et variance.
Grain growthIn materials science, grain growth is the increase in size of grains (crystallites) in a material at high temperature. This occurs when recovery and recrystallisation are complete and further reduction in the internal energy can only be achieved by reducing the total area of grain boundary. The term is commonly used in metallurgy but is also used in reference to ceramics and minerals. The behaviors of grain growth is analogous to the coarsening behaviors of grains, which implied that both of grain growth and coarsening may be dominated by the same physical mechanism.
MyloniteLa mylonite (du grec grc, « moulin ») est une roche métamorphique caractérisée par une recristallisation dynamique des minéraux qui la composent, sous l'effet d'une intense déformation principalement ductile (zones de cisaillement ), par une texture typique très finement litée et par une importante réduction de taille de grain, la majorité des cristaux n'étant plus visibles à l'œil nu. En France, le terme mylonite s'applique à toute roche ayant subi une réduction de taille de grain importante, indépendamment du mode de déformation qui peut être cassant ou ductile.
Article de revueUn article de revue (ou « article de synthèse » ou « article de revue de littérature ») est un type particulier d'article publié dans une revue scientifique dont le principe est de dresser un état des lieux dans un domaine particulier de la recherche et de dégager les directions particulières prises dans ce domaine. Le contenu principal d'un article de revue est une revue de littérature (ou revue de la littérature), c'est-à-dire une méthode de recherche d'information scientifique structurée, réplicable et ciblée sur un sujet de recherche spécifique.
Écart typethumb|Exemple de deux échantillons ayant la même moyenne (100) mais des écarts types différents illustrant l'écart type comme mesure de la dispersion autour de la moyenne. La population rouge a un écart type (SD = standard deviation) de 10 et la population bleue a un écart type de 50. En mathématiques, l’écart type (aussi orthographié écart-type) est une mesure de la dispersion des valeurs d'un échantillon statistique ou d'une distribution de probabilité.
Liaison métalliqueredresse=1.75|vignette| Diagramme représentant la distribution des électrons dans les bandes de différents types de matériaux à l'équilibre. De gauche à droite : métal ; semimétal ; semiconducteur (dopé p, intrinsèque, dopé n) ; isolant. L'énergie est représentée par l'axe vertical, tandis que l'épaisseur horizontale des bandes représente la densité d'états.La densité électronique par niveau d'énergie suit la statistique de Fermi-Dirac et est représentée par un dégradé de noir.
Revue systématiquethumb|Ce diagramme illustre ce que font les auteurs d'une revue systématique. Une revue systématique est un travail de collecte, d'évaluation critique et de synthèse des connaissances existantes sur une question donnée. Cette question bien définie est issue de l'étude d'une problématique posée par un commanditaire, un gestionnaire, un praticien, un chercheur... Il s'agit, contrairement à une revue narrative et non systématique de la littérature, de minimiser les biais pouvant être inhérents soit à la matière première (données, connaissances) soit à la conduite de la revue elle-même, afin d'atteindre la plus grande objectivité possible.
Corps commutatifvignette|Corps commutatif (pour n premier) En mathématiques, un corps commutatif (parfois simplement appelé corps, voir plus bas, ou parfois appelé champ) est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni de deux opérations binaires rendant possibles les additions, soustractions, multiplications et divisions. Plus précisément, un corps commutatif est un anneau commutatif dans lequel l'ensemble des éléments non nuls est un groupe commutatif pour la multiplication.
