État plasmathumb|upright|Le soleil est une boule de plasma. thumb|Lampe à plasma.|168x168px thumb|upright|Les flammes de haute température sont des plasmas. L'état plasma est un état de la matière, tout comme l'état solide, l'état liquide ou l'état gazeux, bien qu'il n'y ait pas de transition brusque pour passer d'un de ces états au plasma ou réciproquement. Il est visible sur Terre, à l'état naturel, le plus souvent à des températures élevées favorables aux ionisations, signifiant l’arrachement d'électrons aux atomes.
Socialist calculation debateThe socialist calculation debate, sometimes known as the economic calculation debate, was a discourse on the subject of how a socialist economy would perform economic calculation given the absence of the law of value, money, financial prices for capital goods and private ownership of the means of production. More specifically, the debate was centered on the application of economic planning for the allocation of the means of production as a substitute for capital markets and whether or not such an arrangement would be superior to capitalism in terms of efficiency and productivity.
Céphéidethumb|Une céphéide variant sur une période de quelques jours. Une céphéide est une étoile variable, géante ou supergéante jaune, de 4 à 15 fois plus massive que le Soleil et de plus lumineuse, dont l'éclat varie de 0,1 à 2 magnitudes selon une période bien définie, comprise entre 1 et 135 jours, d'où elle tire son nom d'étoile variable. Elles ont été nommées d'après le prototype que constitue l'étoile δ de la constellation de Céphée.
Définition des planètesvignette|Photographie de la planète Neptune (en grand) et de sa lune Triton (en petit), prise par Voyager 2 lors de sa sortie de la partie planétaire du Système solaire. Depuis sa création afin de décrire les « étoiles errantes » de l'époque classique, la définition des planètes est empreinte d'ambigüité. Durant sa longue utilisation, le mot a eu différentes significations, souvent équivalentes.
Circular definitionA circular definition is a type of definition that uses the term(s) being defined as part of the description or assumes that the term(s) being described are already known. There are several kinds of circular definition, and several ways of characterising the term: pragmatic, lexicographic and linguistic. Circular definitions are related to Circular reasoning in that they both involve a self-referential approach. Circular definitions may be unhelpful if the audience must either already know the meaning of the key term, or if the term to be defined is used in the definition itself.
Calculation in kindNOTOC Calculation in kind or calculation in-natura is a way of valuating resources and a system of accounting that uses disaggregated physical magnitudes as opposed to a common unit of calculation. As the basis for a socialist economy, it was proposed to replace money and financial calculation. In an in-kind economy products are produced for their use values (their utility) and accounted in physical terms. By contrast, in money-based economies, commodities are produced for their exchange value and accounted in monetary terms.
Modulo (opération)En informatique, l'opération modulo, ou opération mod, est une opération binaire qui associe à deux entiers naturels le reste de la division euclidienne du premier par le second, le reste de la division de a par n (n ≠ 0) est noté a mod n (a % n dans certains langages informatiques). Ainsi 9 mod 4 = 1, car 9 = 2×4 + 1 et 0 ≤ 1 < 4, 9 mod 3 = 0, ... L'opération peut être étendue aux entiers relatifs, voire aux nombres réels, mais alors les langages de programmation peuvent diverger, en particulier a mod n n'est plus forcément positif ou nul.
Étoile variableEn astronomie, une étoile variable ou, par ellipse, une variable est une étoile dont l'éclat varie au cours de périodes plus ou moins longues (on parle à ce titre de variabilité stellaire). Alors que la plupart des étoiles sont de luminosité presque constante, comme le Soleil qui ne possède pratiquement pas de variation mesurable (environ 0,1 % sur un cycle de 11 ans), la luminosité de certaines étoiles varie de façon perceptible pendant des périodes de temps beaucoup plus courtes.
Simply typed lambda calculusThe simply typed lambda calculus (), a form of type theory, is a typed interpretation of the lambda calculus with only one type constructor () that builds function types. It is the canonical and simplest example of a typed lambda calculus. The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical use of the untyped lambda calculus. The term simple type is also used to refer extensions of the simply typed lambda calculus such as products, coproducts or natural numbers (System T) or even full recursion (like PCF).
Gravure au plasmaLa gravure au plasma est une technique de gravure sèche utilisée en microfabrication (microélectronique). La gravure au plasma consiste à faire subir à un échantillon (wafer) un bombardement de gaz ionisé (plasma) afin d'en retirer une ou plusieurs couches de matériaux. Cette méthode de gravure est purement physique (par opposition aux gravures chimiques), au sens où il n'y a pas de réaction chimique entre l'échantillon et le plasma, mais que ce dernier agit uniquement par effet mécanique. Physique des plas
