BPP (complexité)En informatique théorique, plus précisément en théorie de la complexité, la classe BPP (bounded-error probabilistic polynomial time) est la classe de problèmes de décision décidés par une machine de Turing probabiliste en temps polynomial, avec une probabilité d'erreur dans la réponse inférieure à 1/3. La classe BPP est l'ensemble des problèmes, ou de façon équivalente des langages, pour lesquels il existe une machine de Turing probabiliste en temps polynomial qui satisfait les conditions d'acceptation suivantes : Si le mot n'est pas dans le langage, la machine le rejette avec une probabilité supérieure à 2/3.
Procédure pénaleLa procédure pénale est l'intervention des autorités étatiques depuis le début de la plainte d'une victime, la dénonciation ou la constatation d'une infraction jusqu'à la décision judiciaire définitive. Elle fixe le cadre juridique dans lequel l'enquête, la poursuite et le jugement visant une personne soupçonnée peuvent s'engager. Elle conditionne l'exercice des pouvoirs accordés à la justice répressive. De ce point de vue, c'est une conquête contre l'arbitraire.
Complexité de la communicationLa complexité de la communication ou complexité de communication est une notion étudiée en informatique théorique. Le dispositif abstrait classique est le suivant : Alice et Bob ont chacun un message, et ils veulent calculer un nouveau message à partir de leurs messages, en se transmettant un minimum d'information. Par exemple, Alice et Bob reçoivent un mot chacun, et ils doivent décider s'ils ont reçu le même mot ; ils peuvent bien sûr s'envoyer leur mot l'un à l'autre et comparer, mais la question est de minimiser le nombre de messages.
Procédure civileLa procédure civile est l'ensemble des règles relatives à l'organisation d'une action en justice devant une juridiction civile. Elle s'entend aussi de toutes les démarches à entreprendre pour saisir une juridiction civile. La procédure civile est en général régie par un . Il existe différents principes procéduraux s'opposant : Maxime des débats : chaque partie est obligée de prouver les faits qu'elle avance et les parties maîtrisent l'objet du litige ; Maxime inquisitoire : les faits et les preuves sont établis par le juge, qui a ainsi une certaine maîtrise sur la définition du litige.
Circuit complexityIn theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of the Boolean circuits that compute them. A related notion is the circuit complexity of a recursive language that is decided by a uniform family of circuits (see below). Proving lower bounds on size of Boolean circuits computing explicit Boolean functions is a popular approach to separating complexity classes.
Théorème spectralEn mathématiques, et plus particulièrement en algèbre linéaire et en analyse fonctionnelle, on désigne par théorème spectral plusieurs énoncés affirmant, pour certains endomorphismes, l'existence de décompositions privilégiées, utilisant en particulier l'existence de sous-espaces propres. vignette|Une illustration du théorème spectral dans le cas fini : un ellipsoïde possède (en général) trois axes de symétrie orthogonaux (notés ici x, y et z).
