Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
IRobotiRobot est une entreprise américaine cotée au NASDAQ spécialisée dans la conception et la vente de robots. Créée par Colin Angle, Helen Greiner et Rodney Brooks en 1990, l'entreprise a été introduite en Bourse au NASDAQ en novembre 2005 sous le nom « IRBT ». En , iRobot annonce l'acquisition de Robopolis, entreprise lyonnaise qui assurait une grande partie de la distribution de ses produits en Europe, pour 143 millions de dollars. Le chiffre d'affaires 2018 dépasse le milliard de dollars, en augmentation de 23 % par rapport à l'année précédente.
Sculpturethumb|Sculpture en ronde-bosse : David de Michel-Ange. La sculpture est une activité artistique qui consiste à concevoir et réaliser des formes en volume, en relief, soit en ronde-bosse (statuaire), en haut-relief, en bas-relief, par modelage, par taille directe, par soudure ou assemblage. Le terme de sculpture désigne également l'objet résultant de cette activité. Le mot sculpture vient étymologiquement du latin « sculpere » qui signifie « tailler » ou « enlever des morceaux à une pierre ».
Nuage zodiacalLe nuage zodiacal () du Système solaire est un épais disque circumsolaire de petites particules de poussière produites par des collisions d'astéroïdes ou par l'émission de poussières des comètes. Il se trouve dans l'espace interplanétaire, généralement à proximité du plan de l'écliptique. Le nuage zodiacal a une forme presque lenticulaire. Il est également structuré radialement, avec des zones plus ou moins peuplées. Une partie de ces zones se superpose à celles de la ceinture d'astéroïdes et occupent l'espace sur des orbites qui sont aussi associées à celles de diverses familles d'astéroïdes.
Lixiviation in situvignette|Site pilote de lixiviation in situ pour la mine d'uranium de Honeymoon en Australie. La lixiviation in situ (ISL) ou l'extraction par dissolution est une technique de lixiviation employée dans l’industrie minière pour extraire certains métaux (cuivre, uranium...) des minerais présents dans un gisement. Elle consiste à injecter lentement une solution (généralement une solution acide telle que l'acide sulfurique) à travers un minerai par le biais d'un premier forage, puis quelques mois plus tard, les produits dissous par cette solution sont pompés à la surface grâce à un deuxième forage.
