Logique paracohérenteEn logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien .
Protocole cryptographiqueUn protocole de sécurité (protocole cryptographique ou protocole de chiffrement) est un protocole abstrait ou concret qui remplit une fonction liée à la sécurité et applique des méthodes cryptographiques, souvent sous forme de séquences de primitives cryptographiques. Un protocole décrit comment les algorithmes doivent être utilisés et inclut des détails sur les structures de données et les représentations, à quel point il peut être utilisé pour implémenter plusieurs versions interopérables d'un programme.
Porte logiquevignette|Composants TTL Une porte logique (gate) est un circuit électronique réalisant des opérations logiques (booléennes) sur une séquence de bits. Cette séquence est donnée par un signal d'entrée modulé en créneau (signal carré), et cadencé de façon précise par un circuit d'horloge, ou quartz. Les opérations logiques sont réalisées électriquement par une combinaison de bascules ou inverseurs, à base de transistors. Étant donné les capacités d'intégration en électronique, un circuit intégré comporte généralement plusieurs portes à la fois.
Fonction booléennevignette|Arbre de décision binaire Une fonction booléenne est une fonction prenant en entrée une liste de bits et donnant en sortie un unique bit. Les fonctions booléennes sont très utilisées en informatique théorique, notamment en théorie de la complexité et en cryptologie (par exemple dans les boîtes-S et les chiffrements par flot -- fonction de filtrage ou de combinaison de registres à décalage à rétroaction linéaire). Une fonction booléenne est une fonction de dans où désigne le corps fini à 2 éléments.
Computational complexityIn computer science, the computational complexity or simply complexity of an algorithm is the amount of resources required to run it. Particular focus is given to computation time (generally measured by the number of needed elementary operations) and memory storage requirements. The complexity of a problem is the complexity of the best algorithms that allow solving the problem. The study of the complexity of explicitly given algorithms is called analysis of algorithms, while the study of the complexity of problems is called computational complexity theory.
Superconducting quantum computingSuperconducting quantum computing is a branch of solid state quantum computing that implements superconducting electronic circuits using superconducting qubits as artificial atoms, or quantum dots. For superconducting qubits, the two logic states are the ground state and the excited state, denoted respectively. Research in superconducting quantum computing is conducted by companies such as Google, IBM, IMEC, BBN Technologies, Rigetti, and Intel. Many recently developed QPUs (quantum processing units, or quantum chips) utilize superconducting architecture.
Manipulation vertébralevignette|Un chiropraticien effectuant une manipulation vertébrale. La manipulation vertébrale est une technique manuelle médicale définie par Robert Maigne comme une . Cette définition exclut donc les techniques de mobilisation, les étirements, les tractions, les massages et les techniques myotensives. La manipulation vertébrale est une manœuvre forcée contrairement à la mobilisation qui est non-forcée.
Attaque temporelleEn cryptanalyse, une attaque temporelle consiste à estimer et analyser le temps mis pour effectuer certaines opérations cryptographiques dans le but de découvrir des informations secrètes. Certaines opérations peuvent prendre plus de temps que d'autres et l'étude de ces informations temporelles peut être précieuse pour le cryptanalyste. La mise en œuvre de ce genre d'attaque est intimement liée au matériel ou au logiciel attaqué. Des attaques temporelles peuvent aussi se faire à distance, via un réseau.
Série 4000vignette|Schéma équivalent du circuit de protection des entrées des portes logiques CMOS 4000B de Fairchild. La série 4000 est la classification utilisée pour référencer les circuits intégrés standards qui implémentent une variété de fonctions logiques utilisant la technologie CMOS. Cette série fut introduite par RCA sous le nom CD4000 COS/MOS en 1968, avec une alimentation basse tension et une alternative plus souple aux circuits intégrés 7400 utilisant une technologie logique TTL.
Comparison of EDA softwareThis page is a comparison of electronic design automation (EDA) software which is used today to design the near totality of electronic devices. Modern electronic devices are too complex to be designed without the help of a computer. Electronic devices may consist of integrated circuits (ICs), printed circuit boards (PCBs), field-programmable gate arrays (FPGAs) or a combination of them. Integrated circuits may consist of a combination of digital and analog circuits.
Chronologie des microprocesseursvignette|Comparaison des tailles des nœuds du processus de fabrication des semi-conducteurs avec certains objets microscopiques et les longueurs d'onde de la lumière visible. Dans les années 1970 les microprocesseurs traitent des mots de 8 bits et sont surtout fabriqués en technologie N MOS. Dans les années 1980 les microprocesseurs traitent des mots de 16 et même 32 bits et sont surtout fabriqués en technologie CMOS. Dans les années 1990 les microprocesseurs traitent des mots de 32 bits.
Calcul quantique adiabatiqueLe calcul quantique adiabatique (en anglais, adiabatic quantum computation ou AQC) est une méthode de calcul quantique reposant sur le théorème adiabatique, qui peut être vu comme une sous-classe des méthodes de recuit simulé quantique. On détermine d'abord un hamiltonien complexe dont l'état fondamental décrit une solution du problème étudié. On prépare ensuite un système possédant un hamiltonien plus simple, que l'on initialise dans son état fondamental.
