Proof of spaceProof of space (PoS) is a type of consensus algorithm achieved by demonstrating one's legitimate interest in a service (such as sending an email) by allocating a non-trivial amount of memory or disk space to solve a challenge presented by the service provider. The concept was formulated in 2013 by Dziembowski et al. and (with a different formulation) by Ateniese et al.. Proofs of space are very similar to proofs of work (PoW), except that instead of computation, storage is used to earn cryptocurrency.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Énergie cinétiqueEn physique, l' est l’énergie que possède un corps du fait de son mouvement dans un référentiel donné. L'énergie cinétique n'est pas un invariant galiléen, c'est-à-dire que sa valeur dépend du référentiel choisi. Son unité est le joule. L'énergie cinétique d'un point matériel dans un référentiel galiléen est égale au travaux des forces appliquées pour faire passer le point du repos à un mouvement. vignette|Les wagons des montagnes russes possèdent une énergie cinétique maximale en bas de leur parcours.
Analyse gravimétriqueL’analyse gravimétrique décrit un ensemble de méthodes d'analyse chimique quantitative effectuée en déterminant par pesée, la masse d’un produit, l'analyte, formé ou éliminé. La variation de la masse peut avoir lieu par l’une des transformations suivantes : La variation de la masse peut être induite chimiquement (réaction chimique), thermiquement (analyse thermogravimétrique) ou électriquement (électrogravimétrie). Exemple d'une méthode d'analyse gravimétrique : l'analyse par combustion. Catégorie:Chimie a
Gène rapporteurvignette|En rouge, le gène d'intérêt étudié ; en vert le gène rapporteur. Un gène rapporteur est un gène dont le produit (protéine) possède une caractéristique lui permettant d'être observé en laboratoire (fluorescence, activité enzymatique détectable). Les gènes rapporteurs sont utilisés pour permettre de visualiser ou mesurer l'expression d'un gène d'intérêt, pour cela le gène rapporteur peut être fusionné au gène étudié, ou mis sous le contrôle du promoteur de ce dernier.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
TélédétectionLa télédétection est l'ensemble des techniques utilisées pour déterminer à distance les propriétés d'objets naturels ou artificiels à partir des rayonnements qu'ils émettent ou réfléchissent. Les techniques de télédétection comprennent l'ensemble du processus : la capture et l'enregistrement de l'énergie d'un rayonnement émis ou réfléchi par les objets observés, le traitement des données résultantes et enfin l'analyse des données finales. Ce processus met en œuvre un capteur (appareil photographique, laser, radar, sonar, lidar, sismographe, gravimètre,.
Théorie cinétique des gazLa théorie cinétique des gaz a pour objet d'expliquer le comportement macroscopique d'un gaz à partir des caractéristiques des mouvements des particules qui le composent. Elle permet notamment de donner une interprétation microscopique aux notions de : température : c'est une mesure de l'agitation des particules, plus précisément de leur énergie cinétique ; pression : la pression exercée par un gaz sur une paroi résulte des chocs des particules sur cette dernière. Elle est liée à leur quantité de mouvement.
Traitement du signalLe traitement du signal est la discipline qui développe et étudie les techniques de traitement, d'analyse et d' des . Parmi les types d'opérations possibles sur ces signaux, on peut dénoter le contrôle, le filtrage, la compression et la transmission de données, la réduction du bruit, la déconvolution, la prédiction, l'identification, la classification Bien que cette discipline trouve son origine dans les sciences de l'ingénieur (particulièrement l'électronique et l'automatique), elle fait aujourd'hui largement appel à de nombreux domaines des mathématiques, comme la , les processus stochastiques, les espaces vectoriels et l'algèbre linéaire et des mathématiques appliquées, notamment la théorie de l'information, l'optimisation ou encore l'analyse numérique.
Réponse en fréquenceLa réponse en fréquence est la mesure de la réponse de tout système (mécanique, électrique, électronique, optique, etc.) à un signal de fréquence variable (mais d'amplitude constante) à son entrée. Dans la gamme des fréquences audibles, la réponse en fréquence intéresse habituellement les amplificateurs électroniques, les microphones et les haut-parleurs. La réponse du spectre radioélectrique peut faire référence aux mesures de câbles coaxiaux, aux câbles de catégorie 6 et aux dispositifs de mélangeur vidéo sans fil.
NanomatériauUn nanomatériau est un matériau (sous forme de poudre, aérosol ou quasi-gaz, suspension liquide, gel) possédant des propriétés particulières à cause de sa taille et structure nanométrique. Les nanomatériaux sont habituellement issus de la nanotechnologie, à la différence des nanoparticules qui peuvent être d'origine naturelle ou résulter de processus tels que le soudage, le fumage, le polissage. Le , la Commission européenne publie ses recommandations relatives à la définition des nanomatériaux (recommandation 2011/696/UE) : .
SarinLe sarin (désignation OTAN : GB) est une substance inodore, incolore et volatile, de la famille des organophosphorés, neurotoxique pour l'homme et l'animal. Même à très faible dose () il peut être fatal. On estime qu'il est environ plus toxique que le cyanure. Il passe facilement la barrière des poumons et est absorbé par la peau, d'où il passe directement dans le sang. Quand il ne tue pas, il laisse de graves séquelles neurologiques. Pour ces raisons, il a été utilisé comme arme chimique, et est considéré comme une arme de destruction massive par les Nations unies (, 1991).
