Prévision numérique du tempsLa prévision numérique du temps (PNT) est une application de la météorologie et de l'informatique. Elle repose sur le choix d'équations mathématiques offrant une proche approximation du comportement de l'atmosphère réelle. Ces équations sont ensuite résolues, à l'aide d'un ordinateur, pour obtenir une simulation accélérée des états futurs de l'atmosphère. Le logiciel mettant en œuvre cette simulation est appelé un modèle de prévision numérique du temps.
Simulation militairevignette|Les soldats de la Grande-Bretagne de l'Artillerie Royale du train dans un monde virtuel au cours de l'Exercice Steel Sabre, 2015 Les simulations militaires, également appelées les jeux de guerre, sont des simulations dans lesquelles les théories de la guerre peuvent être testées et perfectionnées. Les simulations existent dans de nombreuses formes, avec des différents degrés de réalisme. Ces derniers temps, le champ d'application de simulations a élargi pour inclure non seulement le domaine militaire mais aussi les facteurs politiques et sociaux.
Residual-current deviceA residual-current device (RCD), residual-current circuit breaker (RCCB) or ground fault circuit interrupter (GFCI) is an electrical safety device that quickly breaks an electrical circuit with leakage current to ground. It is to protect equipment and to reduce the risk of serious harm from an ongoing electric shock. Injury may still occur in some cases, for example if a human receives a brief shock before the electrical circuit is isolated, falls after receiving a shock, or if the person touches both conductors at the same time.
Nintendo SwitchLa est une console de jeux vidéo produite par Nintendo, succédant à la Wii U. Elle est la première console hybride de la firme, pouvant faire office aussi bien de console de salon que de console portable. Elle est sortie mondialement le . Elle se place en concurrence indirecte avec la Xbox One de Microsoft et la PlayStation 4 de Sony, puis leurs successeurs respectifs Xbox Series et PlayStation 5, ou le Steam Deck qui est aussi une console hybride concurrente.
MemristorEn électronique, le memristor (ou memristance) est un composant électronique passif. Il a été décrit comme le quatrième composant passif élémentaire, aux côtés du condensateur (ou capacité), du résistor (ou résistance) et de la bobine(ou inductance). Le nom est un mot-valise formé à partir des deux mots anglais memory et resistor. Un memristor stocke efficacement l’information car la valeur de sa résistance électrique change de façon permanente lorsqu’un courant est appliqué.
TransducteurUn transducteur est un dispositif convertissant un signal physique en un autre ; par exemple un signal lumineux en signal nerveux (vision animale) ou signal électrique (photorécepteur). Transducteur électroacoustique : Hydrophone (transforme, dans les liquides, des oscillations acoustiques en oscillations électriques) ; Haut-parleur, écouteur, casque audio, bipeur, ronfleur (transforme un signal électrique en ondes acoustiques) ; Microphone (transforme des ondes acoustiques en un signal électrique) ; Micro-casque , Casque Audio ; Cristal piézoélectrique ; Transducteur microusiné ; Phonocapteur (transforme des oscillations mécaniques en un signal électrique).
Informations non structuréesLes informations non structurées ou données non structurées sont des données représentées ou stockées sans format prédéfini. Ces informations sont toujours destinées à des humains. Elles sont typiquement constituées de documents textes ou multimédias, mais peuvent également contenir des dates, des nombres et des faits. Cette absence de format entraîne des irrégularités et des ambiguïtés qui peuvent rendre difficile la compréhension des données, contrairement au cas des données stockées dans des tableurs ou des bases de données par exemple, qui sont des informations structurées.
Cohérence (logique)En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens. La première définition est syntaxique au sens où elle utilise des déductions ou démonstrations, qui sont des objets finis.
Static Random Access Memorythumb|Une SRAM de 1999. La mémoire vive statique (ou SRAM de l'anglais Static Random Access Memory) est un type de mémoire vive utilisant des bascules pour mémoriser les données. Mais contrairement à la mémoire dynamique, elle n'a pas besoin de rafraîchir périodiquement son contenu. Comme la mémoire dynamique, elle est volatile : elle ne peut se passer d'alimentation sous peine de voir les informations effacées irrémédiablement.
Big dataLe big data ( « grosses données » en anglais), les mégadonnées ou les données massives, désigne les ressources d’informations dont les caractéristiques en termes de volume, de vélocité et de variété imposent l’utilisation de technologies et de méthodes analytiques particulières pour créer de la valeur, et qui dépassent en général les capacités d'une seule et unique machine et nécessitent des traitements parallélisés. L’explosion quantitative (et souvent redondante) des données numériques permet une nouvelle approche pour analyser le monde.
Self-verifying theoriesSelf-verifying theories are consistent first-order systems of arithmetic, much weaker than Peano arithmetic, that are capable of proving their own consistency. Dan Willard was the first to investigate their properties, and he has described a family of such systems. According to Gödel's incompleteness theorem, these systems cannot contain the theory of Peano arithmetic nor its weak fragment Robinson arithmetic; nonetheless, they can contain strong theorems.
Visualisation de donnéesvignette|upright=2|Carte figurative des pertes successives en hommes de l'armée française dans la campagne de Russie 1812-1813, par Charles Minard, 1869. La visualisation des données (ou dataviz ou représentation graphique de données) est un ensemble de méthodes permettant de résumer de manière graphique des données statistiques qualitatives et surtout quantitatives afin de montrer les liens entre des ensembles de ces données. Cette fait partie de la science des données.
