MasseEn physique, la masse est une grandeur physique positive intrinsèque d'un corps. On pensait traditionnellement qu'elle était liée à la quantité de matière contenue dans un corps physique, jusqu'à la découverte de l'atome et de la physique des particules. Il a été constaté que différents atomes et différentes particules élémentaires, ayant théoriquement la même quantité de matière, ont néanmoins des masses différentes. En physique newtonienne, c'est une grandeur extensive, c'est-à-dire que la masse d'un corps formé de parties est la somme des masses de ces parties.
Moniteur d'activité physiquethumb|Des bracelets connectés Samsung Galaxy Fit. Un moniteur d'activité physique, aussi appelé bracelet connecté ou traqueur d'activité (en anglais, activity tracker) est un appareil électronique ou une application qui permet de mesurer l'intensité et la quantité d'activité physique effectuée par un individu tels que la distance marchée ou courue, la consommation et la dépense de calories, et dans certains cas le rythme cardiaque et la qualité du sommeil.
Vampire (theorem prover)Vampire is an automatic theorem prover for first-order classical logic developed in the Department of Computer Science at the University of Manchester. Up to Version 3, it was developed by Andrei Voronkov together with Kryštof Hoder and previously with Alexandre Riazanov. Since Version 4, the development has involved a wider international team including Laura Kovacs, Giles Reger, and Martin Suda. Since 1999 it has won at least 53 trophies in the CADE ATP System Competition, the "world cup for theorem provers", including the most prestigious FOF division and the theory-reasoning TFA division.
