Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
computational complexity theory
Vertaling van "computational complexity theory" in Frans
théorie de la complexité computationnelle
His research is in theoretical computer science, especially computational complexity theory.
Ses recherches portent sur l'informatique théorique, en particulier sur la théorie de la complexité computationnelle.
In computational complexity theory, the complexity class TFNP is the class of total function problems which can be solved in nondeterministic polynomial time.
En théorie de la complexité computationnelle, la classe de complexité TFNP est la classe des problèmes fonctionnels totaux qui peuvent être résolus en temps polynomial non déterministe.
Patrick Carl Fischer (December 3, 1935 - August 26, 2011) was an American computer scientist, a noted researcher in computational complexity theory and database theory, and a target of the Unabomber.
Patrick Carl Fischer (3 décembre 1935 - 26 août 2011) est un informaticien théoricien américain, un des premiers chercheurs en théorie de la complexité computationnelle et en théorie des bases de données, ; il a par ailleurs été une des cibles de l'Unabomber.
Buhrman research interests are on Quantum Computing, Quantum Information, Quantum Cryptography, Computational complexity theory, Kolmogorov Complexity, and Computational Biology.
Les recherches de Buhrman portent sur l'informatique quantique, l'information quantique, la cryptographie quantique, la théorie de la complexité computationnelle, la complexité de Kolmogorov et la biologie computationnelle.
It is rather loosely conjectured that the difficulties may lie in the realm of computational complexity theory.
Il est assez vaguement conjecturé que les difficultés pourraient se trouver dans le domaine de la théorie de la complexité des algorithmes.
The computational complexity theory has come to bear on this question.
La théorie de la complexité (en informatique) a été appliquée à cette question.
In computability theory and computational complexity theory, a reduction is an algorithm for transforming one problem into another problem.
En calculabilité et en théorie de la complexité, une réduction est un algorithme transformant un problème en un autre.
It thus seems that empirical considerations have been introduced into the very foundations of computability and computational complexity theory, both subjects that would have been previously considered purely a priori parts of logic and computer science.
Ainsi, des considérations empiriques semblent introduites dans les fondements même de la calculabilité et de la complexité computationnelle, deux théories qui auraient été précédemment considérées comme des parties purement a priori de la logique et de l'informatique.
He was one of the pioneers in the field of computational complexity theory, and he also worked in the field of distributed computing.
Il est l'un des pionniers dans le domaine de la théorie de la complexité, et il a aussi apporté des contribution importantes dans le calcul distribué.
He is one of the key developers of descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory.
Il est l'un des développeurs principaux de la complexité descriptive, une approche qu'il utilise actuellement pour la recherche en model checking, théorie des bases de données, et théorie de la complexité informatique.
Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them.
En informatique théorique, la complexité descriptive est une branche de la théorie de la complexité et de la théorie des modèles, qui caractérise les classes de complexité en termes de logique qui permet de décrire les problèmes.
Topics covered: theoretical computer science, including computability theory, computational complexity theory, algorithms, algorithmic information theory, information theory and formal verification.
Sujets couverts: informatique théorique, théorie de la complexité, algorithmes, théorie algorithmique de l'information, théorie de l'information et vérification formelle.
Theorems in computational complexity theory
Théorie de la complexité (informatique théorique)
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Synoniemen voor computational complexity theory in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 54. Exact: 54. Verstreken tijd: 44 ms.
