Système international d'unitésLe Système international d'unités (abrégé en SI), inspiré du système métrique, est le système d'unités le plus largement employé au monde ; il n'est pas officiellement utilisé aux États-Unis, au Liberia et en Birmanie. Il s’agit d’un système décimal (on passe d’une unité à ses multiples ou sous-multiples à l’aide de puissances de 10) sauf pour la mesure du temps et des angles. C’est la Conférence générale des poids et mesures, rassemblant des délégués des États membres de la Convention du Mètre, qui décide de son évolution, tous les quatre ans, à Paris.
FreedomFreedom is the power or right to act, speak, and change as one wants without hindrance or restraint. Freedom is often associated with liberty and autonomy in the sense of "giving oneself one's own laws". In one definition, something is "free" if it can change and is not constrained in its present state. Physicists and chemists use the word in this sense. Philosophy and religion sometimes associate freedom with free will, as distinct from predestination.
MKS system of unitsThe MKS system of units is a physical system of measurement that uses the metre, kilogram, and second (MKS) as base units. The modern International System of Units (SI) was originally created as a formalization of the MKS system, and although the SI has been redefined several times since then and is now based entirely on fundamental physical constants, it still closely approximates the original MKS system for most practical purposes. By the mid-19th century, there was a demand by scientists to define a coherent system of units.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Liberté économiqueLa liberté économique est la capacité fondamentale qu'ont les membres d'une société de procéder entre eux à des échanges de nature économique. C'est un terme qui a des acceptions différentes, tant juridique (en tant que droit fondamental) qu'économique et politique. Une des approches principales de la liberté économique provient des traditions libérales classiques et libertariennes, qui se basent sur le libre marché, le libre-échange et la propriété privée.
Liberté de la pressevignette|La liberté de la presse, caricature de Johann Michael Voltz, 1819. La liberté de la presse est l'un des principes fondamentaux des systèmes démocratiques qui repose sur la liberté d'opinion et la liberté d'expression. Fin 2022, 533 journalistes sont emprisonnés dans le monde, ils étaient 488 à la même date en 2021. Les cinq pays détenant en prison le plus de journalistes en 2022 sont la Chine (110), la Birmanie (62), l'Iran (47), le Vietnam (39) et la Biélorussie (31).
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Grandeur physiqueOn appelle grandeur physique, ou simplement grandeur, toute propriété d'un phénomène physique, d'un corps ou d'une substance, qui peut être mesurée ou calculée, et dont les valeurs possibles s'expriment à l'aide d'un nombre (réel ou complexe) et d'une référence (comme une unité de mesure, une échelle de valeurs ou une échelle ordinale). La précision de la mesure est indiquée par l'incertitude de mesure.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Liberté académiqueLa liberté académique ou liberté universitaire est la liberté que le personnel universitaire doit avoir en matière de recherche scientifique, d'enseignement et d'expression dans le cadre de leur fonction, sans subir de pressions économiques, politiques ou autres. Plusieurs organisations internationales ont adopté des textes, à la contrainte variable, pour tenter de définir et faire respecter la liberté académique. La plupart relient la liberté académique à l'autonomie institutionnelle des établissements d'enseignement.
Température thermodynamiqueLa température thermodynamique est une formalisation de la notion expérimentale de température et constitue l’une des grandeurs principales de la thermodynamique. Elle est intrinsèquement liée à l'entropie. Usuellement notée , la température thermodynamique se mesure en kelvins (symbole K). Encore souvent qualifiée de « température absolue », elle constitue une mesure absolue parce qu’elle traduit directement le phénomène physique fondamental qui la sous-tend : l’agitation des constituant la matière (translation, vibration, rotation, niveaux d'énergie électronique).
Système CGSLe système CGS est un système d'unités de mesure des grandeurs physiques, où les unités de base de la mécanique sont le centimètre (pour les longueurs), le gramme (pour les masses) et la seconde (pour les temps). Pour les unités électriques et magnétiques, il existe plusieurs variantes, dont le système CGS-UES (électrostatique), le système CGS-UEM (électromagnétique), le système d'unités de Gauss et le . Le système CGS est proposé par la British Association for the Advancement of Science en 1874.
