Publication

Effect of Magnesium and Zinc Ions on the Hydration Kinetics of C3S

Concepts associés (33)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Type system

In 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.

C++11

C++11, anciennement connu sous le nom de C++0x, est une norme pour le langage C++ en informatique. Elle a été approuvée unanimement le . Elle remplace la précédente norme, ISO/CEI 14882, publiée en et mise à jour en . Ces dernières sont plus connues sous les noms informels de C++98 et C++03. C++11 introduit plusieurs nouveautés au langage initial, ainsi que de nouvelles fonctionnalités à la bibliothèque standard du C++ comme la plupart des bibliothèques du Technical Report 1, à l'exception de la bibliothèque de fonctions mathématiques spéciales.

Zinc–carbon battery

A zinc–carbon battery (or carbon zinc battery in U.S. English) is a dry cell primary battery that provides direct electric current from the electrochemical reaction between zinc (Zn) and manganese dioxide (MnO2) in the presence of an ammonium chloride (NH4Cl) electrolyte. It produces a voltage of about 1.5 volts between the zinc anode, which is typically constructed as a cylindrical container for the battery cell, and a carbon rod surrounded by a compound with a higher Standard electrode potential (positive polarity), known as the cathode, that collects the current from the manganese dioxide electrode.

C++

C++ est un langage de programmation compilé permettant la programmation sous de multiples paradigmes, dont la programmation procédurale, la programmation orientée objet et la programmation générique. Ses bonnes performances, et sa compatibilité avec le C en font un des langages de programmation les plus utilisés dans les applications où la performance est critique. Créé initialement par Bjarne Stroustrup dans les années 1980, le langage C++ est aujourd'hui normalisé par l'ISO.

Oxyde de zinc

L’oxyde de zinc est un composé chimique d'oxygène et de zinc, corps ionique de formule chimique . Cet oxyde quasiment insoluble dans l'eau se présente généralement sous la forme d'une poudre blanche infusible communément appelée « zinc blanc », « blanc de zinc » ou « fleur de zinc ». Ce corps blanc pulvérulent se nommait autrefois pour ses aspects floconneux et légers en latin pompholix, nihil album (blanc de rien des alchimistes), lana philosophica (laine philosophique). Il était alors considéré comme un corps "infusible et fixe".

Clinker

Le clinker est un constituant du ciment, qui résulte de la cuisson à très haute température d'un mélange composé d'environ 80 % de calcaire (CaCO3 qui apporte l'oxyde de calcium, CaO) et de 20 % d'aluminosilicates (essentiellement des argiles : phyllosilicates) qui apportent les oxydes de silicium (SiO2), d'aluminium () et de fer (FeO et ). La « farine » ou le « cru » est formé du mélange de poudre de calcaire et d'argile. La cuisson, ou clinkérisation, se fait à une température d'environ , ce qui explique la forte consommation énergétique de ce processus.

Magnésium

Le magnésium est l'élément chimique de numéro atomique 12, de symbole Mg. Le magnésium est un métal alcalino-terreux. Il s’agit du neuvième élément le plus abondant de l'univers. Il est le produit, dans de grandes étoiles vieillissantes, de l'addition séquentielle de trois noyaux d'hélium à un noyau carboné. Lorsque de telles étoiles explosent en tant que supernovas, une grande partie du magnésium est expulsé dans le milieu interstellaire où il peut se recycler dans de nouveaux systèmes stellaires.

Subtyping

In programming language theory, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, meaning that program elements, typically subroutines or functions, written to operate on elements of the supertype can also operate on elements of the subtype. If S is a subtype of T, the subtyping relation (written as S

Type class

In computer science, a type class is a type system construct that supports ad hoc polymorphism. This is achieved by adding constraints to type variables in parametrically polymorphic types. Such a constraint typically involves a type class T and a type variable a, and means that a can only be instantiated to a type whose members support the overloaded operations associated with T.

ANSI C

ANSI C, ISO C, and Standard C are successive standards for the C programming language published by the American National Standards Institute (ANSI) and ISO/IEC JTC 1/SC 22/WG 14 of the International Organization for Standardization (ISO) and the International Electrotechnical Commission (IEC). Historically, the names referred specifically to the original and best-supported version of the standard (known as C89 or C90). Software developers writing in C are encouraged to conform to the standards, as doing so helps portability between compilers.