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.
Supraconducteur à haute températureUn supraconducteur à haute température (en anglais, high-temperature superconductor : high- ou HTSC) est un matériau présentant une température critique de supraconductivité relativement élevée par rapport aux supraconducteurs conventionnels, c'est-à-dire en général à des températures supérieures à soit . Ce terme désigne en général la famille des matériaux de type cuprate, dont la supraconductivité existe jusqu'à . Mais d'autres familles de supraconducteurs, comme les supraconducteurs à base de fer découverts en 2008, peuvent aussi être désignées par ce même terme.
MicroréversibilitéLa microréversibilité est une propriété de certains systèmes physiques de particules ou quasi-particules élémentaires décrits par des équations symétriques par rapport au temps. Cette propriété permet d'exhiber un lien entre une propriété du système macroscopique parcouru dans un sens et celle correspondante au sens inverse. La symétrie des équations décrivant un système par rapport au temps permet une analyse de ceux-ci en mécanique classique ou quantique.
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.
Diffusion RamanLa diffusion Raman, ou effet Raman, est un phénomène optique découvert indépendamment en 1928 par les physiciens Chandrashekhara Venkata Râman et Leonid Mandelstam. Cet effet consiste en la diffusion inélastique d'un photon, c'est-à-dire le phénomène physique par lequel un milieu peut modifier légèrement la fréquence de la lumière qui y circule. Ce décalage en fréquence correspond à un échange d'énergie entre le rayon lumineux et le milieu. Cet effet physique fut prédit par Adolf Smekal en 1923.
Système cristallinUn 'système cristallin' est un classement des cristaux sur la base de leurs caractéristiques de symétrie, sachant que la priorité donnée à certains critères plutôt qu'à d'autres aboutit à différents systèmes. La symétrie de la maille conventionnelle permet de classer les cristaux en différentes familles cristallines : quatre dans l'espace bidimensionnel, six dans l'espace tridimensionnel. Une classification plus fine regroupe les cristaux en deux types de systèmes, selon que le critère de classification est la symétrie du réseau ou la symétrie morphologique.
Time reversibilityA mathematical or physical process is time-reversible if the dynamics of the process remain well-defined when the sequence of time-states is reversed. A deterministic process is time-reversible if the time-reversed process satisfies the same dynamic equations as the original process; in other words, the equations are invariant or symmetrical under a change in the sign of time. A stochastic process is reversible if the statistical properties of the process are the same as the statistical properties for time-reversed data from the same process.
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.
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.
Métal de transitionUn métal de transition, ou élément de transition, est, selon la définition de l'IUPAC, « un élément chimique dont les atomes ont une sous-couche électronique d incomplète, ou qui peuvent former des cations dont la sous-couche électronique d est incomplète ». Cette définition correspond à des éléments partageant un ensemble de propriétés communes. Comme tous les métaux, ce sont de bons conducteurs de l'électricité. Ils sont solides dans les conditions normales de température et de pression, avec une masse volumique et une température de fusion élevées.
