Vertaling van "Turing de" in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Le concept d'une machine alimentée par une bande binaire figurait dans l'article de Turing de 1936.
The concept of a machine fed by binary tape featured in the Turing's 1936 paper.
Tu as parlé à Turing de ma mort imminente et que j'ai vu notre fils.
You told ivan turing I had a near-death experience and saw our son.
Par ailleurs, et plus brièvement, nous étudions également la manipulation par machines de Turing de polynômes donnés par des circuits arithmétiques.
More succinctly, we also study the manipulation by Turing machines of polynomials given by arithmetic circuits.
Parallèlement l'approche de Turing de la calculabilité suscite, en regard de la théorie des automates finis, une théorie des machines infinies (dont l'architecture est progressivement rapprochée de celle des machines réelles), que prolonge bientôt une théorie de la complexité de calcul.
As a counterpart, Turing's approach of calculability gave rise to a theory of infinite machines (whose architectonics was brought gradually closer to that of actual machines), which was to be quickly extended by a computational complexity theory.
La toute nouvelle architecture Turing de la carte graphique offre jusqu'à six fois plus de performances comparé aux générations précédentes et restitue sans peine les contenus 4K et VR.
All new Turing GPU architecture delivers up to 6x the performance of previous generations, rendering 4K and VR without breaking a sweat.
Un des premiers utilisateurs suggéra que le choix de Turing de la barre oblique était un choix subconscient de sa part, une représentation de la pluie vue à travers une vitre sale, reflétant le temps « réputé lugubre » de Manchester.
One early user suggested that Turing's choice of a forward slash was a subconscious choice on his part, a representation of rain seen through a dirty window, reflecting Manchester's "famously dismal" weather.
Notre attention a été attirée en particulier par la popularité croissante et la quasi-complétude de Turing de la blockchain Ethereum.
Ces études s'appuient sur des simulations numériques à très haute résolution réalisées avec 12,3 millions d'heures sur le calculateur Turing de GENCI à l'Idris.
These studies involved very high resolution numeric simulations carried out using 12.3 million hours on GENCI's Turing computer at Idris.
La carte graphique GeForce RTX 2070 est propulsée par la toute nouvelle architecture Turing de NVIDIA pour offrir un réalisme, une vitesse, une puissance, une efficacité et une immersion incomparables lorsque vous jouez.
The GeForce RTX 2070 is powered by the all-new NVIDIA Turing architecture to give you incredible new levels of gaming realism, speed, power efficiency, and immersion.
Résumé : Nous cherchons à définir la nature des limitations révélées par les « théorèmes de limitation des formalismes » (Théorèmes de Gödel de 1931, de Church de 1936, et de Turing de 1936-1937).
Abstract: We want to define the limitations content revealed by the theorems of formalisms limitation (Godel's theorems of 1931, Church's theorem of 1936 and Turing's theorem of 1936-1937).
Ses travaux lui ont valu le prix A.M. Turing de haute distinction remise à un chercheur en informatique.
