Use "john von neumann" in a sentence
1. George Boole took Leibniz's binary code and created Boolean algebra, and John von Neumann took Boolean algebra and created the digital computer.
George Boole a pris le code binaire de Leibniz et a créé l'algèbre booléen, et John von Neumann a pris l'algèbre booléen et a créé l'ordinateur numérique.
2. Numerous results have been achieved so far, in particular regarding rigidity results for von Neumann algebras and so-called von Neumann equivalence arising from so-called measure-preserving ergodic a.e. free group actions.
De nombreux résultats ont été obtenus jusqu'à présent, en particulier concernant les résultats de rigidité pour les algèbres de von Neumann et ce qu'on appelle l'équivalence von Neumann découlant des actions de groupes préservant une mesure de probabilité.
3. "Can programming be liberated from the von Neumann style?: A functional style and its algebra of programs".
Ce discours, « Can programming be liberated from the von Neumann style? : a functional style and its algebra of programs » (« La programmation peut-elle échapper au style de von Neumann ?
4. He also supplied important contributions in the mathematical theory of operator algebras, classifying type-III factors of von Neumann algebras.
Il a également fourni des contributions importantes dans les mathématiques de la théorie des algèbres d'opérateurs, en classifiant les facteurs de type III des algèbres de von Neumann.
5. If M is closed in the norm topology then it is a C*-algebra, but not necessarily a von Neumann algebra.
Si A est fermée pour la topologie de la norme, alors c'est une C*-algèbre mais pas nécessairement une algèbre de von Neumann.
6. Continued research regarding group actions and rigidity phenomena and their associated von Neumann algebras should enhance mathematical descriptions of ergodicity with eventual future applications to industrially relevant processes.
La poursuite des travaux de recherche concernant les actions de groupes, le phénomène de rigidité et leurs algèbres von Neumann associés devrait améliorer les descriptions mathématiques de la théorie ergodique, avec d'éventuelles applications futures au niveau des processus industriels.
7. Similarly, the continuous functional calculus holds for normal elements in any C*-algebra and the measurable functional calculus for normal elements in any von Neumann algebra.
De même que le calcul fonctionnel holomorphe peut être étendu à des éléments quelconques d'une algèbre de Banach, le calcul fonctionnel continu s'étend à tous les éléments normaux d'une C*-algèbre, et le calcul fonctionnel borélien à tous les éléments normaux d'une algèbre de von Neumann.
8. The language was introduced in Backus's 1977 Turing Award lecture, "Can Programming Be Liberated from the von Neumann Style?", subtitled "a functional style and its algebra of programs."
Le Functional Programming, abrégé FP, est un langage créé par John Backus en 1977 dans son article intitulé « Can programming be liberated from the von Neumann style ? : a functional style and its algebra of programs » (en français : « La programmation peut-elle se libérer du style de von Neumann ? : un style fonctionnel et son algèbre des programmes »).
9. Mr. Ossie Neumann, Chief Operating Officer at Morris, testified at the hearing.
M. Ossie Neumann, directeur de l’exploitation chez Morris, a témoigné à l’audience.
10. * Major General John A.H.
* Général de division John A. H.
11. Elton John answered the same advert.
Elton John en fait la publicité.
12. This was John' s second Academy Award nomination, for Pulp Fiction, and I remember John saying to Gene
C' était la deuxième fois que John était nominé aux Oscars, pour Pulp Fiction, et il a demandé à Gene
13. You have all the power, John.
Vous avez le pouvoir.
14. There were four Buddhist associations and groups: one Tibetan Buddhist and three Von Buddhist and others
Les organisations bouddhistes sont au nombre de quatre, dont un centre bouddhiste tibétain et trois centres représentant le bouddhisme Won et d'autres courants
15. According to John Eliot Gardiner, the poet is likely the same as for two preceding cantatas, Bleib bei uns, denn es will Abend werden, BWV 6, and Am Abend aber desselbigen Sabbats, BWV 42, before Christiana Mariana von Ziegler became the poet for the following cantatas of the period.
Selon John Eliot Gardiner, le poète est probablement le même que pour les deux cantates précédentes, la BWV 6 et la BWV 42, avant que Christiana Mariana von Ziegler ne devienne la poétesse des cantates suivantes de cette période.
16. Methods of producing synthetic substitutes for fibrinogen, von Willebrand factor and other adhesive proteins are also disclosed.
On a mis au point des procédés de production de substituts synthétiques pour le fibrimogène, le facteur von Willebrand ainsi que d'autres protéines adhésives.
17. CHAIRMAN’S MESSAGE THE HONORABLE JOHN FAHEY, A.C.
MESSAGE DU PRÉSIDENT L’HONORABLE JOHN FAHEY, A.C.
18. How does John live with his strabismus?
Alors, comment John vit- il avec son strabisme ?
19. John ́ s flesh abraded her soft skin.
La peau de John irritait sa peau tendre.
20. Among the early successes, the Parliamentary Register published by John Almon and John Debrett began in 1775 and ran until 1813.
Parmi les premières réussites, on peut citer le Parliamentary Register, publié par John Almon et John Debrett de 1775 jusqu'en 1813.
21. Canonical microstrip structures can be described by means of a system of coupled integral equations, which can be easily transformed into a system of algebraic equations by using the Neumann series, namely a series of Bessel functions.
Les structures canoniques à microbandes peuvent être décrites au moyen d’un système d’équations intégrates couplées, qui peut facilement être transformé en un système d’équations algébriques en utilisant une série de Neumann, c’est-à-dire une série de fonctions de Bessel.
22. As executor of John Chandler's estate, I might.
Je le pourrais, comme exécuteur testamentaire de John Chandler.
23. I understand you released this John Stokes character.
Je comprends que vous ayez relâché ce John Stokes.
24. John recorded an account that really encourages me.
L’apôtre Jean a fait le récit d’un épisode qui m’encourage énormément.
25. John XXIII used to define this transformation: "aggiornamento."
Jean XXIII appelait habituellement cette transformation « aggiornamento ».
26. That's why I've invited John to address Gold Command.
C'est pourquoi j'ai invité John à s'adresser au Conseil.
27. Conventions in Accounting from the Perspective of John Searle
Des conventions en comptabilité dans la perspective de John Searle
28. His thesis was named Unendliche Abelsche Gruppen von Elementen endlicher Ordnung (Infinite abelian groups of elements of finite order).
Il a passé son doctorat sous la direction de ce dernier avec la thèse Unendliche Abelsche Gruppen von Elementen endlicher Ordnung (« Groupes abéliens infinis d'éléments d'ordre fini »).
29. John Allen and Roy Walford did have mainstream credentials.
John Allen et Roy Walford possédaient les pouvoirs principaux.
30. John Flamsteed determines the solar parallax from observations of Mars.
John Flamsteed détermine la parallaxe du soleil à partir d'observations de Mars.
31. Illustrated biography by Ben Maddow; Afterword by John G. Morris.
Biographie illustrée de Ben Maddow ; postface de John G. Morris.
32. Next, John adds formic acid and water to the latex.
Ensuite, il repasse pour vider dans son seau le latex qui s’est accumulé.
33. Invite a student to read 2 John 1:9 aloud.
Demandez à un élève de lire à haute voix 2 Jean 1:9.
34. Attentive to the poor, John was also called "the Almoner".
Plein d'attention à l'égard des pauvres, Jean fut également appelé l'"Aumônier".
35. The support of the people became apparent almost immediately and soon John, 8th Duke of Braganza, was acclaimed King of Portugal throughout the country as John IV.
Le soutien de la population est immédiat, et bientôt, Jean, 8e duc de Bragance, est acclamé roi de Portugal sous le nom de Jean IV.
36. John Coleman in his evidence stated that "Accuracy is absolutely essential.
John Coleman a déclaré au cours de son témoignage que (Traduction) "L’exactitude est absolument essentielle.
37. Ambrose Monk, played by John Turturro, is Adrian's older agoraphobic brother.
Ambrose Monk, joué par John Turturro, est le frère d'Adrian Monk.
38. At the outbreak of the First World War, Arnauld de la Perière served as an adjutant to admiral Hugo von Pohl in Berlin.
Lorsqu'éclate la Première Guerre mondiale, Arnauld de La Perière est aide de camp au service de l'amiral Hugo von Pohl à Berlin.
39. Set in an alternate universe to the visual novels, the series follows the character Illyasviel von Einsbern as she becomes a magical girl.
Se déroulant dans un univers alternatif aux visual novels, la série suit le personnage d'Illyasviel von Einsbern dans son quotidien d'écolière ordinaire.
40. ENTRE CHIEN ET LOUP (BE) AGAT FILMS & CIE (FR) D Dogville Lars von Trier (DK) Feature film, scheme 1 Awarded : 720 000 € Coproducers :
ENTRE CHIEN ET LOUP (BE) AGAT FILMS & CIE (FR) D Dogville Lars von Trier (DK) Film de fiction, guichet 1 Soutien : 720 000 € Produit par :
41. Among these was an essay Hoffmann von Fallersleben had intended as an introduction to his Political Poems, together with a lengthy afterword by Fein.
Parmi ceux-ci, un essai qu'Hoffmann von Fallersleben conçoit comme une introduction à ses poèmes politiques, avec une longue postface de Fein.
42. J.S. (John) Baker Divisional Accounting Supervisor - Plate & Strip Hilton Works Stelco Inc.
J.S. (John) Baker Surveillant divisionnaire de la comptabilité - Tôles et feuillards Aciérie de Hilton Stelco Inc.
43. Financial backers for the exiles included London merchants Richard Springham and John Abel.
Les bailleurs de fonds des exilés étaient les marchands londoniens Richard Springham et John Abel.
44. John George Haigh, the "Acid-bath murderer" executed at Wandsworth on 10 August 1949.
John George Haigh, le meurtrier à la baignoire d'acide, exécuté à la prison de Wandsworth 10 août 1949.
45. His most heavily cited paper is on Hopf algebras, co-authored with John Milnor.
Son article le plus cité est de loin celui sur les algèbres de Hopf, écrit avec John Milnor.
46. Three years later he also served as an alderman and mayor for Saint John.
Trois ans plus tard, il devient échevin, puis maire de Saint-Jean.
47. Jehovah’s angel told John that no man was able to number this great crowd.
L’ange de Jéhovah a dit à Jean que personne ne pouvait dénombrer cette grande foule.
48. In 1902 he collaborated with John Hilton Grace on the book The Algebra of Invariants.
En 1902, il publie, avec John Hilton Grace (en), le livre Algebra of Invariants.
49. In 1960, John Myhill introduced an automaton model today known as deterministic linear bounded automaton.
En 1960, John Myhill introduit un modèle d'automate appelé maintenant automate linéairement borné déterministe.
50. His mother, Susan, was a cleaner at Marks & Spencer, and his father, John, a toolmaker.
Sa mère, Susan, était agent de nettoyage chez Marks & Spencer, et son père John était fabricant d'outils,.
51. Did you have an appointment with a John Dough at 11:00 p.m. last night?
Aviez-vous un rendez-vous avec John Dough à 11h hier soir?
52. This form enables you to open an account on the John Libbey Eurotext web site.
Ce formulaire d’inscription vous permet d’ouvrir un compte sur le site de John Libbey Eurotext.
53. His father was also a John Hancock and he ran a saddle and hardware business.
Son père se nommait également John Hancock et il a couru une affaire de selle et de matériel.
54. About 1:00 in the morning, John was still adjusting the knobs on the television meticulously.
Vers 1 h du matin, John ajustait encore les boutons... méticuleusement sur la télévision.
55. But this crowd who do not know the Law are accursed people.” —John 7:45-49.
Mais cette foule qui ne connaît pas la Loi, ce sont des maudits » (Jean 7:45-49).
56. John Acorn, the "Nature Nut" Honoured for Achievements in Science Promotion [ 2008-02-26 ] Transport Canada:
John Acorn reçoit un prix pour ses réalisations relativement à la promotion des sciences [ 2008-02-26 ] Transports Canada :
57. They looked down on the crowd as “accursed people,” as they called them. —John 7:49.
Ils méprisaient les gens du peuple et les considéraient comme “des maudits”. — Jean 7:49.
58. Abstract John Rawls is an author who deserves to be rediscovered in discussions of educational policy.
John Rawls mérite bien d'être relu au moment de débattre de politiques éducatives.
59. Pope John Paul II makes a connection between contraception and abortion in his Encyclical Evangelium Vitae:
Mais, même avec cette nature et ce poids moral différents, la contraception et l'avortement sont très souvent étroitement liés, comme des fruits d'une même plante.
60. On the advice of the well-known Caltech aerodynamicist and fellow Hungarian émigré Theodore von Kármán, Teller collaborated with his friend Hans Bethe in developing a theory of shock-wave propagation.
Sur les conseils du célèbre aérodynamiste du Caltech et compatriote hongrois Theodore von Kármán, il collabore avec son ami Hans Bethe sur le développement d'une théorie sur la propagation des ondes de choc.
61. The physicist John Aitken thinks that the diseases of the hospitals are due to the stagnating air.
Le physicien John Aitken pense que les maladies des hôpitaux sont dues à l'air stagnant et corrompu.
62. The Greek name used by the apostle John to translate the Hebrew “Abaddon” at Revelation 9:11.
Nom grec par lequel l’apôtre Jean traduisit l’hébreu “ Abaddôn ” en Révélation 9:11.
63. On 4 December 1354, John VI abdicated and the former imperial couple retired themselves to separate monasteries.
Le 4 décembre 1354, Jean VI abdique et l'ex-couple impérial se retire dans des monastères.
64. The alabaster effigy of John Penny dates from 1520, although his original tomb was replaced in 1846.
L'effigie en albâtre de John Penny date de 1520, bien que la tombe originale ait été remplacée en 1846.
65. 2004-2005 Programming - Imperial Theatre $64,000.00 Programming Saint-John Festival by the Sea / Festival sur mer inc.
Une saison théâtrale francophone populaire et variée $14,000.00 Programmation Caraquet Réseau atlantique de diffusion des arts de la scène inc.
66. John Ruggles Cox After returning from the Expedition, J.R. Cox continued to lead a life of adventure.
John Ruggles Cox Après son retour de l'Expédition, J.R. Cox continue de vivre l'aventure.
67. Text Forecast from Environment Canada Saint John: Issued 4.00 PM ADT Thursday 7 June 2007 Tonight Clear.
Textes des prévisions d'Environnement Canada Saint John : émises à 16h00 HAA le jeudi 7 juin 2007 Ce soir et cette nuit Dégagé.
68. The Honourable Pierre Pettigrew has accepted to deliver the John L. Manion Lecture for the year 2000.
C’est aussi une occasion propice pour écouter et s’enrichir de la vision de notre conférencier.
69. During this same period, Madame Violon took the stage – alone at first, and later on assisted by her accompanist, Allan Von Sutton in a production entitled Un Violon sur l’épaule (1989).
Dans cette période d’effervescence, une bourse du Conseil des arts de Montréal (À l’époque le CACUM) favorise une exploration dans l’univers de la musique électronique assistée par ordinateur.
70. John MacDonald. [ Canada ] [ United States ] [ Latin America and Caribbean ] [ Europe ] [ Asia-Pacific ] [ Africa and The Middle East ] [ International ]
[ Le Canada ] [ Les Etats-Unis ] [ L'Amerique Latine et les Caraïbes ] [ L'Europe ] [ L'Asie-Pacifique ] [ L'Afrique et le Moyen-Orient ] [ Autour du monde ]
71. On February 7, Judge John Keating Regan ruled that AFL–CIO workers had participated in a secondary boycott.
Le 7 février, le juge John Keating Regan statue que les travailleurs de l'AFL-CIO participent dans les faits à un boycott secondaire (en).
72. The initiator of the Council, the Servant of God John XXIII, specified this task with the word aggiornamento.
Celui qui a commencé le Concile, le serviteur de Dieu Jean XXIII, a déterminé cette tâche en l’appelant « aggiornamento ».
73. Check the footage at 11:55 last night and you will see John Dough leaving my house alive.
Vérifiez à 11h55 hier soir et vous verrez John Dough sortir vivant de chez moi.
74. Two of his friends were included in the indictment: the publisher Rudolph Ackermann and the architect John Papworth.
Deux de ses amis étaient cités également dans l'acte d'accusation : l'éditeur Rudolph Ackermann et l'architecte John Papworth.
75. If this was the case, John could have written the letter from Ephesus between A.D. 70 and 100.
Si c’est le cas, Jean a pu écrire la lettre à Éphèse entre 70 et 100 après J.-C.
76. GUIDELINES HEALTH AND SAFETY ACTION PLAN FOR REPAIR AND CONSTRUCTION PROJECTS AT THE JOHN H. CHAPMAN SPACE CENTRE
En général, un accident ayant des conséquences tangibles requérra des travaux de remise sur une courte période à des coûts modérés.
77. John identified himself as “the older man,” apparently because of his advanced age and degree of spiritual growth.
Jean se présente comme “l’aîné” ou “l’ancien”, sans doute en raison de son âge avancé et de sa maturité spirituelle.
78. In reality, John Paul II was called “conservative” because he was against abortion and some other progressive ideas.
En fait, on accusait Jean-Paul II d’être « conservateur » parce qu’il s’opposait à l’avortement et à d’autres idées progressistes.
79. Three strong redoubts were built, circled by an abatis and manned by Highlanders from the 71st Foot, Hessians from the Regiment von Trumbach, and companies of Loyalists from North and South Carolina.
Trois redoutes sont construites, encerclées par un abattis et tenu par des Highlanders du 71e Régiment d'infanterie, des Hessois du Regiment von Trumbach et des compagnies de Loyalistes de Caroline du Nord et du Sud.
80. 10, p.8. 6 Slessor, Air Chief Marshal Sir John, Strategy for the West, New York, Morrow, 1954.
5 Adaptation de W. D. Macnamara et de Ann Fitz-Gerald, « A National Security Framework for Canada », Policy Matters, octobre 2002, vol.