États de BellLes états de Bell sont en informatique quantique les états d'intrication maximale de deux particules. Les quatre états ci-dessous à deux qubits, correspondant à une intrication maximale, sont désignés comme étant les États de Bell : (1) (2) (3) (4) vignette|Circuit quantique obtenant . Un circuit quantique composé d'une porte de Hadamard et d'une permet d'obtenir le premier état de Bell . Ce circuit est utilisé dans la téléportation quantique, dans lequel un deuxième circuit permet d'obtenir les quatre états de Bell.
Quantum channelIn quantum information theory, a quantum channel is a communication channel which can transmit quantum information, as well as classical information. An example of quantum information is the state of a qubit. An example of classical information is a text document transmitted over the Internet. More formally, quantum channels are completely positive (CP) trace-preserving maps between spaces of operators. In other words, a quantum channel is just a quantum operation viewed not merely as the reduced dynamics of a system but as a pipeline intended to carry quantum information.
Mesure spectraleEn mathématiques, plus précisément en analyse fonctionnelle, une mesure spectrale est une application définie sur une tribu à valeurs dans l'espace des projections orthogonales d'un espace hilbertien et vérifiant des axiomes semblables à ceux qui définissent les mesures positives. Les mesures spectrales sont utilisées pour exprimer des résultats en théorie spectrale, tels que le théorème spectral pour les opérateurs auto-adjoints. Les mesures spectrales ont des propriétés similaires aux mesures réelles positives.
Transducteur finiEn informatique théorique, en linguistique, et en particulier en théorie des automates, un transducteur fini (appelé aussi transducteur à états finis par une traduction littérale de l'anglais finite state transducer) est un automate fini avec sorties. C'est une extension des automates finis. Ils opèrent en effet sur les mots sur un alphabet d'entrée et, au lieu de simplement accepter ou refuser le mot, ils le transforment, de manière parfois non déterministe, en un ou plusieurs mots sur un alphabet de sortie.
Système de transition d'étatsEn informatique théorique, un système de transition d'états est une forme de machine abstraite utilisée pour modéliser un ou des calcul(s). Un système de transition d'états est constitué d'un ensemble d'états et d'un ensemble de transitions d'un état à un autre, qui peuvent être étiquetées ; une même étiquette peut apparaître sur plusieurs transitions. Si l'ensemble des étiquettes est un singleton, on peut omettre l'étiquetage. Les systèmes d'états-transitions sont des graphes orientés.
Automate finithumb|upright=2|Fig. 1 : Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
The Big Bang TheoryThe Big Bang Theory est une sitcom américaine en de créée par Chuck Lorre et Bill Prady, diffusée du au sur le réseau CBS. En Belgique, les deux premières saisons sont diffusées depuis le sur La Une et les saisons suivantes dès le sur La Deux. En France, la série est diffusée sur NRJ12, MTV France et Warner TV. La dernière saison a été diffusée en simultané avec les États-Unis sur Canal+. Au Québec, depuis le sur Vrak. Depuis le , les douze saisons sont disponibles sur Netflix et Prime Video.
FriendsFriends est une sitcom américaine composée de 10 saisons, avec de , créée par Marta Kauffman et David Crane, et diffusée entre le et le sur le réseau NBC. L'histoire raconte les péripéties de trois jeunes femmes et trois jeunes hommes new-yorkais liés par une profonde amitié. Entre amour, travail, famille, ils partagent leurs bonheurs et leurs soucis au Central Perk, leur café favori.
Computable functionComputable functions are the basic objects of study in computability theory. Computable functions are the formalized analogue of the intuitive notion of algorithms, in the sense that a function is computable if there exists an algorithm that can do the job of the function, i.e. given an input of the function domain it can return the corresponding output. Computable functions are used to discuss computability without referring to any concrete model of computation such as Turing machines or register machines.
Turing reductionIn computability theory, a Turing reduction from a decision problem to a decision problem is an oracle machine which decides problem given an oracle for (Rogers 1967, Soare 1987). It can be understood as an algorithm that could be used to solve if it had available to it a subroutine for solving . The concept can be analogously applied to function problems. If a Turing reduction from to exists, then every algorithm for can be used to produce an algorithm for , by inserting the algorithm for at each place where the oracle machine computing queries the oracle for .
Alan Turingvignette|Alan Turing vers 1938. Alan Mathison Turing, né le à Londres et mort le à Wilmslow, est un mathématicien et cryptologue britannique, auteur de travaux qui fondent scientifiquement l'informatique. Il est aussi un des pionniers de l'Intelligence artificielle. Pour résoudre le problème fondamental de la décidabilité en arithmétique, il présente en 1936 une expérience de pensée que l'on nommera ensuite machine de Turing et des concepts de programme et de programmation, qui prendront tout leur sens avec la diffusion des ordinateurs, dans la seconde moitié du .
Effective methodIn logic, mathematics and computer science, especially metalogic and computability theory, an effective method or effective procedure is a procedure for solving a problem by any intuitively 'effective' means from a specific class. An effective method is sometimes also called a mechanical method or procedure. The definition of an effective method involves more than the method itself. In order for a method to be called effective, it must be considered with respect to a class of problems.
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.
Centre azote-lacunevignette|Schéma d'un centre azote-lacune dans un cristal de diamant. Un centre azote-lacune, ou centre NV, est l'un des nombreux types de défauts ponctuels présents dans la structure cristalline du diamant. Il résulte de la juxtaposition d'une lacune au contact d'un atome d'azote substitutionnel. Une telle structure présente des propriétés de photoluminescence qui peuvent aisément être observées pour un centre particulier, notamment ceux qui sont chargés négativement (centres NV).
Algorithmic efficiencyIn computer science, algorithmic efficiency is a property of an algorithm which relates to the amount of computational resources used by the algorithm. An algorithm must be analyzed to determine its resource usage, and the efficiency of an algorithm can be measured based on the usage of different resources. Algorithmic efficiency can be thought of as analogous to engineering productivity for a repeating or continuous process. For maximum efficiency it is desirable to minimize resource usage.
Problème de rechercheEn informatique théorique, et plus particulièrement en théorie de la complexité et en théorie de la calculabilité, un problème de recherche est un problème algorithmique associé à une relation binaire. Si R est une relation binaire telle que pour tout (R) ⊆ Γ+ et T une machine de Turing, alors T implante R si: Si x est tel qu'il existe un y vérifiant R(x, y) alors T accepte l'entrée x en produisant un résultat z tel que R(x, z) (s'il y a plusieurs y, T n'est astreint à n'en trouver qu'un seul) Si x est tel qu'il n'existe aucune y tel que R(x, y) alors T rejette l'entrée x De manière intuitive, un problème de recherche consiste à trouver, s'il existe, un objet "y" associé à un objet "x".
No-communication theoremIn physics, the no-communication theorem or no-signaling principle is a no-go theorem from quantum information theory which states that, during measurement of an entangled quantum state, it is not possible for one observer, by making a measurement of a subsystem of the total state, to communicate information to another observer. The theorem is important because, in quantum mechanics, quantum entanglement is an effect by which certain widely separated events can be correlated in ways that, at first glance, suggest the possibility of communication faster-than-light.
Complexité en moyenne des algorithmesLa complexité en moyenne d'un algorithme est la quantité d'une ressource donnée, typiquement le temps, utilisée par l'algorithme lors de son exécution pour traiter une entrée tirée selon une distribution donnée. Il s'agit par conséquent d'une moyenne de la complexité, pondérée entre les différentes entrées possibles selon la distribution choisie. Le plus souvent, on ne précise pas la distribution et on utilise implicitement une distribution uniforme (i.e.
Calcul réversibleLe calcul réversible est un domaine de l'informatique qui s'intéresse au fait de pouvoir inverser (physiquement ou logiquement) un calcul. Il s'agit d'un domaine transversal, qui a des applications allant de l'architecture matérielle à l'algorithmique répartie en passant par le calcul quantique. D'un point de vue physique, cela implique que ce calcul n'implique pas de phénomène dissipatif conduisant à une augmentation de l'entropie ; bien qu'il soit physiquement impossible d'atteindre cet objectif du fait du second principe de la thermodynamique, s'en rapprocher permet l'augmentation de l'efficacité des processeurs.
SAT solverIn computer science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem. On input a formula over Boolean variables, such as "(x or y) and (x or not y)", a SAT solver outputs whether the formula is satisfiable, meaning that there are possible values of x and y which make the formula true, or unsatisfiable, meaning that there are no such values of x and y. In this case, the formula is satisfiable when x is true, so the solver should return "satisfiable".
