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.
Processeur softcoreUn processeur softcore est un processeur (CPU) implémenté sur un système reprogrammable comme un FPGA. On parle alors de « système sur puce programmable » (System on Programmable Chip ou SoPC). Le mot softcore est une contraction des mots anglais software (« logiciel ») et core (« cœur d'exécution d'un microprocesseur »). En effet, un softcore est une implémentation de processeur disponible sous forme de description bas niveau, dans un langage de description matérielle comme le VHDL ou le Verilog, ou directement sous la forme de fichier de configuration pour éviter la diffusion des sources.
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.
Transformateur électriqueUn transformateur électrique (parfois abrégé en « transfo ») est une machine électrique permettant de modifier la tension efficace délivrée par une source d'énergie électrique alternative, une transformation qu'il effectue avec un excellent rendement. On distingue les transformateurs statiques et les commutatrices. Dans un transformateur statique, l'énergie est transférée du primaire au secondaire par l'intermédiaire du circuit magnétique que constitue la carcasse du transformateur.
Capteurvignette|Le système informatique d'un avion de ligne gère en une fraction de seconde les données issues de nombreux capteurs (vitesse, direction, contrôle des réacteurs). vignette|Capteur infrarouge. Un capteur est un dispositif transformant l'état d'une grandeur physique observée en une grandeur utilisable, telle qu'une tension électrique, une hauteur de mercure, un courant électrique ou la déviation d'une aiguille. Le capteur se distingue de l'instrument de mesure par le fait qu'il ne s'agit que d'une interface entre un processus physique et une information manipulable.
Capteur photographiqueUn capteur photographique est un composant électronique photosensible servant à convertir un rayonnement électromagnétique (UV, visible ou IR) en un signal électrique analogique. Ce signal est ensuite amplifié, puis numérisé par un convertisseur analogique-numérique et enfin traité pour obtenir une . Le capteur est donc le composant de base des appareils photo et des caméras numériques, l'équivalent du film (ou pellicule) en photographie argentique.
ÉlectroperceptionL'électroperception ou électrolocalisation est le sens avec lequel les monotrèmes ou les Chondrichthyens détectent leurs proies. L'ornithorynque peut localiser ses proies en partie grâce à la détection de leur champ électrique : il perçoit les vibrations de ses proies par des récepteurs de son bec. Sous l'eau, la vue et l'ouïe sont inhibées. L'animal se dirige donc au toucher et par l'électrolocalisation : il sait percevoir les différents champs électriques produits, par exemple, par la contraction musculaire de ses proies, et ainsi les repérer grâce à des récepteurs sensoriels, les électrorécepteurs.
Calcul hétérogèneHeterogeneous computing refers to systems that use more than one kind of processor or core. These systems gain performance or energy efficiency not just by adding the same type of processors, but by adding dissimilar coprocessors, usually incorporating specialized processing capabilities to handle particular tasks. Usually heterogeneity in the context of computing referred to different instruction-set architectures (ISA), where the main processor has one and other processors have another - usually a very different - architecture (maybe more than one), not just a different microarchitecture (floating point number processing is a special case of this - not usually referred to as heterogeneous).
ElectrophorusElectrophorus est un genre de poissons "électriques" d'eau douce rencontré dans le nord de l'Amérique du Sud, du bassin de l'Orénoque à celui de l'Amazone. E. electricus, communément appelée Anguille électrique, a longtemps été considérée comme la seule espèce du genre Electrophorus, jusqu'à ce qu'une étude publiée en 2019 révèle l'existence de deux autres espèces, E. voltai et E. varii, qui se différencient d'E. electricus par des caractères morphologiques, génétiques et écologiques.
Hexafluorure de soufreL’hexafluorure de soufre est un composé chimique de soufre et de fluor, de formule chimique . C’est un gaz inerte, sans odeur, incolore. Son potentiel de réchauffement global est très élevé, de celui du dioxyde de carbone à cent ans. Le peut être préparé en exposant du soufre à du difluor , procédé découvert par Henri Moissan et Paul Lebeau en 1901. D'autres fluorures de soufre se forment au cours de cette réaction, mais ils disparaissent par chauffage (qui dismute le décafluorure de disoufre , très toxique) et traitement du produit par l'hydroxyde de sodium NaOH pour éliminer le tétrafluorure de soufre restant.
