Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Procédé sol-gelLes procédés sol-gel (ou solution-gélification) permettent la production de matériaux vitreux, éventuellement microporeux à macroporeux par polymérisation (et éventuel retraitement thermique) sans recourir à la fusion. Le verre est ici directement fabriqué à partir d'une solution liquide (ensuite rendue colloïdale) de silice et d’autres composés chimiques (soude, chaux, magnésie...) et de catalyseurs (ou en milieu homogénisé par des ultrasons (sonochimie) et/ou chauffé par des micro-ondes).
Mercure (planète)Mercure est la planète la plus proche du Soleil et la moins massive du Système solaire. Son éloignement au Soleil est compris entre (soit 46 et de kilomètres), ce qui correspond à une excentricité orbitale de 0,2 . Elle est visible à l'œil nu depuis la Terre avec un diamètre apparent de , et une magnitude apparente de ; son observation est toutefois rendue difficile par son élongation toujours inférieure à 28,3° qui la noie le plus souvent dans l'éclat du soleil.
Nuage moléculaireEn astronomie, les nuages moléculaires sont des nébuleuses interstellaires qui ont une densité et une taille suffisante pour permettre la formation d'hydrogène moléculaire, H2. Cependant, il est difficile de le détecter et le moyen le plus employée pour tracer les molécules de H2 est l'utilisation du monoxyde de carbone CO. En effet, le rapport entre la luminosité du CO et la masse de H2 est presque constant.
Exoplanet orbital and physical parametersThis page describes exoplanet orbital and physical parameters. Most known extrasolar planet candidates have been discovered using indirect methods and therefore only some of their physical and orbital parameters can be determined. For example, out of the six independent parameters that define an orbit, the radial-velocity method can determine four: semi-major axis, eccentricity, longitude of periastron, and time of periastron. Two parameters remain unknown: inclination and longitude of the ascending node.
Amas globulaireEn astronomie, un amas globulaire est un amas stellaire très dense, contenant typiquement une centaine de milliers d'étoiles distribuées dans une sphère dont la taille varie d'une vingtaine à quelques centaines d'années-lumière. Leur densité est ainsi nettement plus élevée que celle des amas ouverts. Les étoiles de ces amas sont généralement des géantes rouges. On compte globulaires dans notre galaxie, la Voie lactée. Mais il en existe sans doute d'autres, qui restent indétectables parce que masqués par le disque galactique.
Céramique techniqueredresse=1.2|vignette|Pièces de roulements, composite . redresse=1.2|vignette|Surface d'une céramique composite. La céramique technique est une branche de la science des matériaux traitant de la science et de la technologie de matériaux minéraux non métalliques ayant des applications industrielles ou militaires. Elle se distingue radicalement des créations artisanales (poterie) ou artistiques (céramique d'art) ainsi que des porcelaines à usage domestique.
Planète telluriquethumb|upright|Les quatre planètes telluriques (à l'échelle) du Système solaire : Mercure, Vénus, Terre et Mars. Une planète tellurique (du latin tellus, « la terre, le sol »), en opposition aux planètes gazeuses, est une planète composée essentiellement de roches et de métal qui possède en général trois enveloppes concentriques (noyau, manteau et croûte). Sa surface est solide et composée principalement de matériaux non volatils, généralement des roches silicatées et du fer métallique.
