Deux preuves logiques, le Théorème d’Incomplétude et les Preuves Logiques d’Incomplétude, ont révolutionné les mathématiques. Le premier résultat a été publié par Kurt Godel (1906-1978) en 1931, alors qu’il avait 24 ans. Selon la première théorie de l’incomplétude, toute théorie des nombres qui n’est pas contradictoire (une branche des mathématiques qui traite du comportement et … Lire la suite
L’intelligence augmentée, un concept différent de l’intelligence artificielle, se concentre sur le rôle de l’IA dans le soutien de l’intelligence. Elle met l’accent sur le fait que la technologie cognitive a été créée pour améliorer l’intelligence et non pour la remplacer. L’utilisation du terme augmenté (qui signifie « améliorer ») renforce le rôle de l’intelligence humaine dans … Lire la suite
DeepBrain Chain est une plateforme d’IA qui utilise la technologie blockchain pour réduire les coûts de puissance de traitement. La plateforme fonctionne comme un réseau neuronal décentralisé. DeepBrain fournit aux chercheurs en IA traditionnels et à d’autres personnes un système abordable, flexible et privé pour rechercher et développer des projets d’IA. L’économie réalisée par rapport … Lire la suite
Une adresse virtuelle est un nombre binaire dans la mémoire virtuelle qui permet à un processus d’utiliser un emplacement dans le stockage primaire (mémoire principale) indépendamment des autres processus et d’utiliser plus d’espace que celui qui existe réellement dans le stockage primaire en reléguant temporairement certains contenus sur un disque dur ou un lecteur flash … Lire la suite
Un nanocristal est une particule cristalline dont au moins une dimension mesure moins de 1000 nanomètres (nm), où 1 nm est défini comme 1 millième de millionième de mètre (10-9 m). Les nanocristaux ont de nombreuses applications potentielles et avérées. Ils ont été utilisés dans la fabrication de filtres qui raffinent le pétrole brut en … Lire la suite
Une demand-side platform (DSP) est un logiciel qui permet à un annonceur d’acheter de l’inventaire auprès d’ad exchanges et de gérer des campagnes publicitaires. Une DSP accède à des données provenant de plusieurs sources et effectue des analyses en temps réel pour évaluer les impressions au fur et à mesure qu’elles sont proposées et placer … Lire la suite
Le Blade PC (également connu sous le nom de PC blade) est un ordinateur entièrement contenu dans une carte de circuit imprimé modulaire et mince qui a été placée dans un endroit sûr et central comme un rack de serveur. Un câble relie la carte à l’écran, au clavier et à la souris de l’utilisateur. … Lire la suite
Le catchball est une approche de la prise de décision dans une organisation ou un groupe où les idées sont lancées d’un individu à l’autre à travers la hiérarchie et les divisions du groupe. Partie intégrante de la stratégie lean, le catchball est basé sur le jeu simple et non compétitif du catch, dans lequel … Lire la suite
Pour les termes fréquemment utilisés dans le chat en ligne sur clavier, voir acronymes de chat/IRC/BBS. Le chat est un moyen de communiquer avec d’autres internautes. Cette « conversation » implique l’échange de messages écrits. Il nécessite un site web pour stocker les messages ou « site de chat », et il peut être fait à partir de n’importe … Lire la suite
SFX, abréviation de special effects , est un logiciel qui permet de créer facilement certains types de liens hypertextes dans une collection d’informations, comme la description d’une collection de bibliothèque. En utilisant SFX, un bibliothécaire pourrait, par exemple, créer des liens contextuels entre tous les composants d’une collection d’information électronique, tels que les résumés, les … Lire la suite
