Corrosion sous contraintethumb|upright=1.5|Exemple de fissuration par corrosion sous contrainte causée par la tension exercée par un collier de renforcement soudé de façon inadéquate. Trois facteurs (milieu, matériau et mécanique) sont généralement simultanément en cause. La corrosion sous contrainte (ou CSC) d'un métal ou d'un alliage résulte généralement de l'action conjuguée de trois facteurs : une contrainte mécanique en tension (contrainte résiduelle ou appliquée) ; un milieu environnant agressif ; un matériau sensible au phénomène de CSC, au moins dans certaines conditions.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
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).
Analyse thermiqueL'analyse thermique est une série de techniques qui mesure l'évolution, en fonction de la température, du temps et de l'atmosphère, d'une grandeur physique ou chimique d'un matériau minéral ou organique. La terminologie utilisée en analyse thermique est décrite par l'IUPAC dans son "Compendium of Analytical Nomenclature" et par les normes ASTM E473 et DIN 51005.
Analyse thermogravimétriqueL'analyse thermogravimétrique (ATG), (TGA), est une technique d'analyse thermique qui consiste en la mesure de la variation de masse d'un échantillon en fonction du temps, pour une température ou un profil de température donné. Une telle analyse suppose une bonne précision pour les trois mesures : masse, temps et température. Comme les courbes de variations de masse sont souvent similaires, il faut souvent réaliser des traitements de ces courbes afin de pouvoir les interpréter.
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.
Analyse thermomécaniqueL'analyse thermomécanique ou ATM (, TMA) est une technique d'analyse thermique. L'analyse thermique est une série de techniques qui mesure les propriétés physiques ou chimiques d'un matériau en fonction de la température, du temps et de l'atmosphère. L'analyse thermomécanique mesure de façon précise les changements dimensionnels d'un échantillon en fonction de la température, du temps, et de la force constante appliquée. Les transitions éventuelles d'une substance peuvent être détectées.
Fracture de l'extrémité supérieure du fémurUne fracture de l'extrémité supérieure du fémur (ou fracture de l'extrémité proximale du fémur), appelée couramment « fracture de la hanche » ou fracture du col du fémur, désigne une fracture du fémur localisée au niveau de son épiphyse supérieure. Elles font suite à une chute, elles sont douloureuses et responsables d’impotence fonctionnelle. Les contraintes mécaniques tendent à séparer les fragments osseux. Elles sont d’évolution peu favorable du fait de la lésion associée de l’artère circonflexe postérieure.
Ordinateur de bureauUn ordinateur de bureau ou ordinateur fixe (desktop computer en anglais) est un ordinateur personnel destiné à être utilisé sur un bureau ou tout autre endroit fixe à cause de ses dimensions, de sa masse et de son alimentation électrique. L'unité centrale est le plus souvent composé d'un boîtier qui comprend un bloc d'alimentation, une carte-mère (circuit imprimé sur lequel est fixé un micro-processeur en tant qu'unité centrale de traitement, la mémoire de traitement, les bus informatiques et d'autres composants électroniques) ainsi qu'un système d'entrées/sorties.
Yahoo! SearchYahoo! Search is a Yahoo! internet search provider that uses Microsoft's Bing search engine to power results, since 2009, apart from four years with Google from 2015 until the end of 2018. Originally, "Yahoo! Search" referred to a Yahoo!-provided interface that sent queries to a searchable index of pages supplemented with its directory of websites. The results were presented to the user under the Yahoo! brand. Originally, none of the actual web crawling and data housing was done by Yahoo! itself.
Search engineA search engine is a software system that finds web pages that match a web search. They search the World Wide Web in a systematic way for particular information specified in a textual web search query. The search results are generally presented in a line of results, often referred to as search engine results pages (SERPs). The information may be a mix of hyperlinks to web pages, images, videos, infographics, articles, and other types of files. Some search engines also mine data available in databases or open directories.
Google (moteur de recherche)Google est un moteur de recherche gratuit et libre d'accès sur le World Wide Web, ayant donné son nom à la société Google. C'est aujourd'hui le moteur de recherche et le site web le plus visité au monde : 90 % des internautes l'utilisaient en 2018. Le nom Google vient du mot Gogol, nom donné au nombre . Ce nombre a été choisi pour évoquer la capacité de Google à traiter une très grande quantité de données.
