Allotropes of ironAt atmospheric pressure, three allotropic forms of iron exist, depending on temperature: alpha iron (α-Fe, ferrite), gamma iron (γ-Fe, austenite), and delta iron (δ-Fe). At very high pressure, a fourth form exists, epsilon iron (ε-Fe, hexaferrum). Some controversial experimental evidence suggests the existence of a fifth high-pressure form that is stable at very high pressures and temperatures. The phases of iron at atmospheric pressure are important because of the differences in solubility of carbon, forming different types of steel.
Ductile ironDuctile iron, also known as ductile cast iron, nodular cast iron, spheroidal graphite iron, spheroidal graphite cast iron and SG iron, is a type of graphite-rich cast iron discovered in 1943 by Keith Millis. While most varieties of cast iron are weak in tension and brittle, ductile iron has much more impact and fatigue resistance, due to its nodular graphite inclusions. On October 25, 1949, Keith Dwight Millis, Albert Paul Gagnebin and Norman Boden Pilling received US patent 2,485,760 on a cast ferrous alloy for ductile iron production via magnesium treatment.
Métabolisme du ferLe est l'ensemble des réactions chimiques faisant intervenir le fer et qui se déroulent à l'intérieur de chaque cellule d'un être vivant. Ce terme désigne plus spécifiquement l'ensemble de ces réactions qui visent à l'homéostasie du fer chez les vertébrés. Le fer est indispensable pour la majorité des êtres vivants, en intervenant dans les réactions biochimiques de la vie cellulaire.
FerLe fer est l'élément chimique de numéro atomique 26, de symbole Fe. Le corps simple est le métal et le matériau ferromagnétique le plus courant dans la vie quotidienne, le plus souvent sous forme d'alliages divers. Le fer pur est un métal de transition ductile, mais l'adjonction de très faibles quantités d'éléments additionnels modifie considérablement ses propriétés mécaniques. Allié au carbone et avec d'autres éléments d'addition il forme les aciers, dont la sensibilité aux traitements thermomécaniques permet de diversifier encore plus les propriétés du matériau.
Carence martialeLa carence martiale, ou sidéropénie, ou déficit martial, est le manque de fer dans l'organisme. A distinguer de l'hyposidérémie qui est un manque de fer seulement dans le plasma sanguin. Si la carence martiale est en présence d'une anémie, on parlera d'anémie ferriprive Si la carence martiale n'est pas en présence d'une anémie, on parlera alors de carence en fer sans anémie, ou de carence martiale sans anémie Dans une étude, 20% des femmes en âge de procréer présentaient une carence en fer sans anémie (ferritine < 15 μg/l).
Météorite de ferLes météorites de fer, appelées parfois météorites ferreuses ou sidérites (un terme devenu obsolète), sont un type de météorites composées principalement d'un alliage métallique de fer (Fe) et de nickel (Ni). Elles sont interprétées comme des fragments de noyaux d'astéroïdes qui ont été littéralement épluchés de leur manteau silicaté par des collisions avec d'autres objets du système solaire. Selon leur composition chimique, on distingue 14 classes de météorites de fer regroupées en trois types : les octaédrites, les hexaédrites et les ataxites.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
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.
Formation ferrifère rubanéealt=|vignette|221x221px|Exemple de BIF (ici la Formation de Negaunee datant du Paleoproterozoïque à Jasper Knob, Michigan). vignette|Échantillon d'un gisement de fer rubané de la péninsule supérieure du Michigan.vignette|Bloc de fer rubané daté de -2,1 milliards d'années, découvert en Amérique du Nord.Les formations ferrifères rubanées, aussi appelées formations de fer rubanées, gisements de fer rubané, BIF (pour l'anglais banded iron formations) ou itabirites, sont des roches sédimentaires très riches en fer (au moins 15 %).
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.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Gameplayvignette|redresse|Borne d'arcade proposant le jeu Donkey Kong. Le regroupe les caractéristiques d'un jeu vidéo que sont l'intrigue et la façon dont on y joue, par opposition aux effets visuels et sonores. En anglais le est, au sens premier, la manière dont la partie () se joue (). Selon une légende urbaine, le vocable trouverait son origine dans l'intitulé , provenant de notices liées aux premières bornes d'arcades d'où la substantivation gameplay. Cependant, des recherches ont en 2022 invalidé cette affirmation.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Gameplay émergentest un terme qui se réfère, dans un jeu vidéo, à des situations complexes créées par l'interaction inattendue de mécaniques plus simples. Il s'agit donc de l'application du concept d'émergence au cas particulier des jeux vidéo. Quand on parle de gameplay émergent, on cite souvent Deus ex reconnu pour l'avoir perfectionné au début des années 2000, mais il est possible de remonter bien avant, aux jeux de tirs à la première personne dotés d'un moteur physique comme Quake, qui ont vu les joueurs inventer des astuces pour gagner en vitesse, et ce au grand étonnement des développeurs, sans que ceux-ci n'aient prévu une telle émergence.
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).
DéfinitionUne définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
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.
Jeu sandboxLe jeu sandbox (« jeu bac à sable » en français) est un genre de jeu vidéo dont le gameplay est non linéaire et émergent, et qui fait principalement appel à la curiosité et à la créativité du joueur, le tout avec ou sans objectif prédéfini. Un jeu orienté sandbox n'a pas forcément d'objectif prédéterminé par le concepteur du jeu. Le joueur est libre d'accomplir les objectifs définis par les développeurs du jeu, ou bien celui qu'il s'est lui-même attribué, à l'aide d'un panel d'outils permettant de modifier le contenu, parfois de manière permanente (jeux sandbox en ligne).
Problème du sac à dosEn algorithmique, le problème du sac à dos, parfois noté (KP) (de l'anglais Knapsack Problem) est un problème d'optimisation combinatoire. Ce problème classique en informatique et en mathématiques modélise une situation analogue au remplissage d'un sac à dos. Il consiste à trouver la combinaison d'éléments la plus précieuse à inclure dans un sac à dos, étant donné un ensemble d'éléments décrits par leurs poids et valeurs.
