Automate quantiqueEn informatique quantique et en informatique théorique, un automate fini quantique est une généralisation des automates finis où un mot est accepté selon le résultat d'une certaine mesure. Il existe plusieurs modèles des automates finis quantiques ; le plus restrictif est celui des automates dits « measure-once » de ; un autre est celui des automates « measure-many » de . Ces deux modèles sont très différents l'un de l’autre ; le modèle « measure-once » se rapproche plus de la théorie classique des automates finis.
Bfloat16 floating-point formatThe bfloat16 (brain floating point) floating-point format is a computer number format occupying 16 bits in computer memory; it represents a wide dynamic range of numeric values by using a floating radix point. This format is a truncated (16-bit) version of the 32-bit IEEE 754 single-precision floating-point format (binary32) with the intent of accelerating machine learning and near-sensor computing. It preserves the approximate dynamic range of 32-bit floating-point numbers by retaining 8 exponent bits, but supports only an 8-bit precision rather than the 24-bit significand of the binary32 format.
IEEE 754En informatique, l’IEEE 754 est une norme sur l'arithmétique à virgule flottante mise au point par le Institute of Electrical and Electronics Engineers. Elle est la norme la plus employée actuellement pour le calcul des nombres à virgule flottante avec les CPU et les FPU. La norme définit les formats de représentation des nombres à virgule flottante (signe, mantisse, exposant, nombres dénormalisés) et valeurs spéciales (infinis et NaN), en même temps qu’un ensemble d’opérations sur les nombres flottants.
Comportement socialvignette|Un comportement social : une pour entrer dans un bus. À Addis-Abeba, Éthiopie, janvier 2018. vignette|Les spectateuris serrés sur un banc public pour mieux regarder le défilé militaire du 14 Juillet se redressent pour éviter de se géner et restent vigilants les uns les unes. Juillet 2006. Le comportement social se distingue de l'instinct, en ce qu'il est appris lors des interactions sociales, ou de la socialisation. Les sciences sociales étudient les comportements sociaux, qui sont une sous-catégorie des comportements humains.
Epsilon d'une machineL'epsilon d'un microprocesseur (abrégé en eps) donne la limite supérieure de l'erreur d'approximation relative causé par l'arrondi des calculs de ce microprocesseur en arithmétique à virgule flottante. Cette valeur est une caractéristique de l'arithmétique des ordinateurs dans le domaine de l'analyse numérique, et par extension dans le sujet du calcul scientifique. Les valeurs d'epsilon standards suivantes s'appliquent pour le matériel implémentant les normes IEEE de calcul en virgule flottante: Une procédure d'arrondi est une procédure de choix de la représentation d'un nombre réel dans un système de numération en virgule flottante.
Réveille-matinthumb|Un réveille-matin mécanique.|173x173px Un réveille-matin (également écrit réveil-matin et souvent abrégé en réveil) est un système qui émet un son à une heure prédéterminée. On l'utilise généralement pour se réveiller le matin, d'où son nom. Il peut s'agir d'un appareil destiné à cet usage, généralement une horloge, ou d'autres appareils ayant une fonction réveille-matin tels que : la montre, le téléphone mobile, l'ordinateur, la télévision, la radio Platon (428–348 av. J.-C.
Comportement prosocialLe comportement prosocial humain désigne les comportements de souci de l'autre, et notamment d'aide, dirigés vers des personnes inconnues ou en difficulté. C'est une intention volontaire pratiquée sans attente de contrepartie. Il vise à aider, soutenir, réconforter, c'est-à-dire d'apporter un avantage, améliorer le bien-être physique, social ou psychologique de l'autre. Il s'agit souvent d'une réponse positive à la souffrance émotionnelle d'autrui, qui passe par l'empathie, puis le don, le partage et la coopération.
Horloge atomiquevignette|Horloge atomique commerciale à césium ayant servi à réaliser le temps légal français dans les années 1980 et comme référence pour l'horloge parlante. vignette|Horloge atomique à césium, vue interne. Une horloge atomique est une horloge qui utilise la pérennité et l'immuabilité de la fréquence du rayonnement électromagnétique émis par un électron lors du passage d'un niveau d'énergie à un autre pour assurer l'exactitude et la stabilité du signal oscillant qu'elle produit.
Logique modaleEn logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités. Une modalité spécifie des . Par exemple, une proposition comme « il pleut » peut être précédée d'une modalité : Il est nécessaire qu'''il pleuve ; Demain, il pleut ; Christophe Colomb croit quil pleut ; Il est démontré qu'''il pleut ; Il est obligatoire quil pleuve.
Sémantique de KripkeEn logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales. Elle a été développée à la fin des années 1950 et début des années 1960 par Saul Kripke et est fondée sur la théorie des mondes possibles. Un cadre de Kripke est un couple (W, R), où W est un ensemble de mondes appelés parfois mondes possibles et où R est une relation binaire sur W. L'ensemble W s'appelle parfois l'univers des mondes possibles.
