Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
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.
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 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.
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.
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.
FractureUne fracture (Fx) est une rupture partielle ou complète d'un os. Dans les cas plus graves, l'os peut être cassé en plusieurs morceaux. Les premiers éléments pouvant faire penser à une fracture sont : le mécanisme : choc, chute ; la douleur, soudaine et localisée ; l'impotence fonctionnelle : il est douloureux ou impossible d'effectuer certains mouvements ; la déformation : formation d'un œdème (gonflement), angulation du membre (fracture avec déplacement), enfoncement ; la présence possible d'un hématome.
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.
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.
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.
Pathologic fractureA pathologic fracture is a bone fracture caused by weakness of the bone structure that leads to decrease mechanical resistance to normal mechanical loads. This process is most commonly due to osteoporosis, but may also be due to other pathologies such as cancer, infection (such as osteomyelitis), inherited bone disorders, or a bone cyst. Only a small number of conditions are commonly responsible for pathological fractures, including osteoporosis, osteomalacia, Paget's disease, Osteitis, osteogenesis imperfecta, benign bone tumours and cysts, secondary malignant bone tumours and primary malignant bone tumours.
