BenzèneLe benzène est un composé organique de formule brute C6H6, également noté Ph-H, φ-H, ou encore φ-H. Il appartient à la famille des hydrocarbures aromatiques monocycliques, car le cycle formé par les six atomes de carbone est plan et comporte six électrons délocalisés. Dans les conditions usuelles, le benzène est un liquide incolore, d'odeur caractéristique, volatil, très inflammable et cancérogène.
Fibre de verreLa fibre de verre est un filament de verre. Par extension, les plastiques à renfort de verre sont aussi appelés fibre de verre. Les fibres de verre, constituent avec les verres creux, les verres plats et les verres cellulaires, les principales familles de verre. La fibre de verre a été brevetée en 1930. Ce n'est toutefois que récemment qu'elle a révolutionné l'industrie verrière, utilisée pour ses qualités mécaniques et optiques.
Covariance and contravariance (computer science)Many programming language type systems support subtyping. For instance, if the type is a subtype of , then an expression of type should be substitutable wherever an expression of type is used. Variance is how subtyping between more complex types relates to subtyping between their components. For example, how should a list of s relate to a list of s? Or how should a function that returns relate to a function that returns ? Depending on the variance of the type constructor, the subtyping relation of the simple types may be either preserved, reversed, or ignored for the respective complex types.
FiberFiber or fibre (British English; from fibra) is a natural or artificial substance that is significantly longer than it is wide. Fibers are often used in the manufacture of other materials. The strongest engineering materials often incorporate fibers, for example carbon fiber and ultra-high-molecular-weight polyethylene. Synthetic fibers can often be produced very cheaply and in large amounts compared to natural fibers, but for clothing natural fibers can give some benefits, such as comfort, over their synthetic counterparts.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Pays les moins avancésvignette|400px| Les pays les moins avancés (PMA) sont une catégorie de pays créée en 1971 par l'Organisation des Nations unies (ONU), regroupant les pays socio-économiquement les moins développés de la planète. Au , 46 pays appartiennent à cette catégorie ; la plupart d'entre eux se situent en Afrique.
Science des matériauxLa science des matériaux repose sur la relation entre les propriétés, la morphologie structurale et la mise en œuvre des matériaux qui constituent les objets qui nous entourent (métaux, polymères, semi-conducteurs, céramiques, composites, etc.). Elle se focalise sur l'étude des principales caractéristiques des matériaux, ainsi que leurs propriétés mécaniques, chimiques, électriques, thermiques, optiques et magnétiques. La science des matériaux est au cœur de beaucoup des grandes révolutions techniques.
Pays en développementDans la typologie la plus courante, les pays en développement ou pays du Sud sont des pays moins développés économiquement que les pays développés (parfois appelés pays du Nord). L'expression « pays en développement » remplace des dénominations antérieures, jugées inadéquates, obsolètes ou incorrectes : les pays du tiers monde, les pays sous-développés. Elle s'est substituée à « pays en voie de développement ».
Pair-aidanceLa pair-aidance est une trajectoire de rétablissement en santé, qui repose sur une entraide entre personnes étant ou ayant été atteintes d'une maladie somatique ou psychique. Cette pratique est de plus en plus recommandée dans le cadre de l'autonomisation des patients en santé mentale, d'une amélioration du respect des droits de l'homme en santé mentale ainsi que d'une condition pour accomplir l'idée de rétablissement en santé mentale (officiellement depuis 2005 au Québec, en lien avec plusieurs universités).
Cristallographie aux rayons XLa cristallographie aux rayons X, radiocristallographie ou diffractométrie de rayons X (DRX, on utilise aussi souvent l'abréviation anglaise XRD pour X-ray diffraction) est une technique d'analyse fondée sur la diffraction des rayons X par la matière, particulièrement quand celle-ci est cristalline. La diffraction des rayons X est une diffusion élastique, c'est-à-dire sans perte d'énergie des photons (longueurs d'onde inchangées), qui donne lieu à des interférences d'autant plus marquées que la matière est ordonnée.
