Problème de la mesure quantiqueLe problème de la mesure quantique consiste en un ensemble de problèmes, qui mettent en évidence des difficultés de corrélation entre les postulats de la mécanique quantique et le monde macroscopique tel qu'il nous apparaît ou tel qu'il est mesuré.
Raisonnement automatisévignette|Visualisation commune du réseau de neurones artificiels avec puce NOTOC Le raisonnement automatisé est un domaine de l'informatique consacré à la compréhension des différents aspects du raisonnement de manière à permettre la création de logiciels qui permettraient aux ordinateurs de « raisonner » de manière automatique, ou presque. Il est considéré habituellement comme un sous-domaine de l'intelligence artificielle, mais possède aussi de fortes connexions avec l'Informatique théorique et même avec la philosophie.
Codage en ligneDans le domaine des télécommunications, un code en ligne est un codage destiné à être utilisé dans les systèmes de communication pour transmettre des données. Pour le transport de données numériques, le codage en ligne est souvent utilisé. Il consiste à représenter le signal numérisé à transporter, par un autre signal qui présente des variations d'amplitude régulièrement espacées dans le temps, celui-ci étant adapté aux propriétés physiques spécifiques des canaux de transmissions (et des équipements récepteurs).
AutomationL'automation consiste à utiliser les services d'un logiciel dans une application informatique. L'automation peut donc être considérée comme une procédure d'automatisation. En informatique musicale, dans un séquenceur, l'automation consiste à programmer des changements de réglages pendant la lecture d'un morceau, comme la variation de volume d'une piste audio. Cette mise en place peut se faire par mimétisme : le logiciel enregistre en temps réel des mouvements venant de l'utilisateur pour les reproduire lors des prochaines exécutions du morceau.
Alternate Mark InversionBipolar Alternate Mark Inversion (Bipolar-AMI) est une technique de codage en ligne pour les lignes T1 qui utilisent des impulsions bipolaires pour représenter les états logiques. C'est en réalité un système à 3 niveaux. Un 0 logique est représenté par une absence de symbole, tandis qu'un 1 logique est représenté par une impulsion de polarité alternative. L'utilisation d'un codage alternatif prévient l'apparition d'une composante continue dans le conducteur.
Level of measurementLevel of measurement or scale of measure is a classification that describes the nature of information within the values assigned to variables. Psychologist Stanley Smith Stevens developed the best-known classification with four levels, or scales, of measurement: nominal, ordinal, interval, and ratio. This framework of distinguishing levels of measurement originated in psychology and has since had a complex history, being adopted and extended in some disciplines and by some scholars, and criticized or rejected by others.
Onde gravitationnelleEn physique, une onde gravitationnelle, appelée parfois onde de gravitation, est une oscillation de la courbure de l'espace-temps qui se propage à grande distance de son point de formation. Albert Einstein a prédit l'existence des ondes gravitationnelles en : selon sa théorie de la relativité générale qu’il venait de publier, de même que les ondes électromagnétiques (lumière, ondes radio, rayons X, etc.) sont produites par les particules chargées accélérées, les ondes gravitationnelles seraient produites par des masses accélérées et se propageraient à la vitesse de la lumière dans le vide.
Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
Chômage technologiqueLe Chômage technologique est la perte d'emplois causée par les changements technologiques. C'est un type de chômage structurel. Les changements technologiques incluent généralement l’introduction de machines mécaniques (qui réduisent le besoin de main-d’œuvre) ainsi que des processus de décision automatique améliorant l'efficacité (Automatisme). De même que l'automobile a progressivement rendu obsolètes les chevaux employés comme moyen de locomotion, les emplois humains furent affectés au cours de l'Histoire moderne.
Système d'unitésUn système d'unités est un ensemble d'unités de mesure couramment employées dans des domaines d'activité humaine, présentant des caractères de cohérence qui en facilitent l'usage entre les organisations d'une société humaine. Historiquement, les systèmes d'unités ont été d'une grande importance, soumis à réglementation et définis dans des domaines scientifiques et commerciaux. Depuis que les civilisations se sont développées, les hommes ont cherché à développer des systèmes d'unités cohérents, afin de faciliter les échanges, tant scientifiques, que culturels, économiques, et financiers.
Problème de la mesure quantiqueLe problème de la mesure quantique consiste en un ensemble de problèmes, qui mettent en évidence des difficultés de corrélation entre les postulats de la mécanique quantique et le monde macroscopique tel qu'il nous apparaît ou tel qu'il est mesuré.
Exactitude et précisionvignette|Schéma de l'exactitude et la précision appliquée à des lancers de fléchettes. Dans la mesure d'un ensemble, l'exactitude est la proximité des mesures à une valeur spécifique, tandis que la précision est la proximité des mesures les unes par rapport aux autres. L'exactitude a deux définitions : Plus communément, il s'agit d'une description des erreurs systématiques, une mesure du biais statistique ; une faible précision entraîne une différence entre un résultat et une valeur « vraie ».
