Examples from texts
The second term of the right-hand part expresses the conservation of energy (the Liouville theorem).Le deuxième terme du second membre exprime la conservation de l'énergie (théorème de Liouville).Lequeux, James / The Interstellar MediumLequeux, James / Le milieu interstellaireLe milieu interstellaireLequeux, James© 2002, EDP Sciences/CNRS EditionsThe Interstellar MediumLequeux, James© 2002, EDP Sciences/CNRS Editions, Paris, France© Springer-Verlag Berlin Heidelberg 2005
The proof of theorem 5. 6 also implies that in the case when all weights of 2-paths are distinct, a greedy algorithm choosing at every step the switch with maximal weight leads to a 2-optimal Eulerian cycle.La preuve du théorème 5. 6 implique également que, dans le cas où tous les poids des 2-chemins sont distincts, un algorithme glouton choisissant à chaque étape l'échange de poids maximal aboutit à un cycle eulérien 2-optimal.Pevzner, Pavel A. / Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A. / Bio-informatique moléculaire. Une approche algorithmiqueBio-informatique moléculaire. Une approche algorithmiquePevzner, Pavel A.© 2000 Massachusetts Institute of technology© Springer-Verlag France, Paris, 2006Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A.© 2000 Massachusetts Institute of technology
This theorem explains the mystery of the astonishing performance of approximation algorithms for sorting signed permutations by reversals.Ce théorème explique le mystère de l'étonnante performance des algorithmes d'approximation pour le tri par inversions de permutations signées.Pevzner, Pavel A. / Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A. / Bio-informatique moléculaire. Une approche algorithmiqueBio-informatique moléculaire. Une approche algorithmiquePevzner, Pavel A.© 2000 Massachusetts Institute of technology© Springer-Verlag France, Paris, 2006Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A.© 2000 Massachusetts Institute of technology
An extreme care must be taken when applying the extension theorem.II faut être très prudent dans 1’application du résultat précédent.Cousteix, Jean ,Mauss, Jacques / Asymptotic Analysis and Boundary LayersCousteix, Jean ,Mauss, Jacques / Analyse asymptotique et couche limiteAnalyse asymptotique et couche limiteCousteix, Jean ,Mauss, Jacques© Springer-Verlag Berlin Heidelberg 2006Asymptotic Analysis and Boundary LayersCousteix, Jean ,Mauss, Jacques© Springer-Verlag Berlin Heidelberg 2007
The proof of theorem 5. 6 considers the switch F at F and the switch F at F.La preuve du théorème 5. 6 considère les changements F en F et F en F.Pevzner, Pavel A. / Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A. / Bio-informatique moléculaire. Une approche algorithmiqueBio-informatique moléculaire. Une approche algorithmiquePevzner, Pavel A.© 2000 Massachusetts Institute of technology© Springer-Verlag France, Paris, 2006Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A.© 2000 Massachusetts Institute of technology
The decomposition of the total variance into an intra-stratum and an extra-stratum variance is known as Huygens theorem.La décomposition de la variance totale en une variance intrastrate et une variance interstrates résulte du théorème de Huygens.http://wt.jrc.it/lt/Acquis/ 9/4/2009http://wt.jrc.it/lt/Acquis/ 9/4/2009
The virial theorem is the fundamental theorem for The equilibrium of self-gravitating structures in the Universe.Le théorème du viriel est le théorème fondamental qui rend compte de l'équilibre des structures auto-gravitantes dans l'Univers.Lequeux, James / The Interstellar MediumLequeux, James / Le milieu interstellaireLe milieu interstellaireLequeux, James© 2002, EDP Sciences/CNRS EditionsThe Interstellar MediumLequeux, James© 2002, EDP Sciences/CNRS Editions, Paris, France© Springer-Verlag Berlin Heidelberg 2005
This observation and theorem 10. 10 imply the following:Cette observation et le théorème 10. 10 mènent au résultat suivant:Pevzner, Pavel A. / Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A. / Bio-informatique moléculaire. Une approche algorithmiqueBio-informatique moléculaire. Une approche algorithmiquePevzner, Pavel A.© 2000 Massachusetts Institute of technology© Springer-Verlag France, Paris, 2006Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A.© 2000 Massachusetts Institute of technology
Substitution F proves the theorem.La substitution F achève la preuve du théorème.Pevzner, Pavel A. / Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A. / Bio-informatique moléculaire. Une approche algorithmiqueBio-informatique moléculaire. Une approche algorithmiquePevzner, Pavel A.© 2000 Massachusetts Institute of technology© Springer-Verlag France, Paris, 2006Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A.© 2000 Massachusetts Institute of technology
We then derive from Theorem 8 2 7 that a class of admissible Bayes estimators of p is (F).On obtient alors une classe d’estimateurs de Bayes de p admissibles par le Théorème 8.1 : (F).Robert, Christian P. / The Bayesian ChoiceRobert, Christian P. / Le choix bayesienLe choix bayesienRobert, Christian P.© Springer-Verlag France, Paris, 2006The Bayesian ChoiceRobert, Christian P.© 2007 Springer Science+Business Media, LLC
This completes the proof of Theorem 8.Ceci achève la démonstration du Théorème 8.Robert, Christian P. / The Bayesian ChoiceRobert, Christian P. / Le choix bayesienLe choix bayesienRobert, Christian P.© Springer-Verlag France, Paris, 2006The Bayesian ChoiceRobert, Christian P.© 2007 Springer Science+Business Media, LLC
In both its discrete and continuous versions, Bayes’s Theorem formalizes this inversion, as does the notion of the likelihood function (F), substituted for the density (F).Dans ses versions discrètes comme dans ses versions continues, le théorème de Bayes formalise cette inversion, comme le fait aussi la notion de vraisemblance (F), qui remplace la densité (F).Robert, Christian P. / The Bayesian ChoiceRobert, Christian P. / Le choix bayesienLe choix bayesienRobert, Christian P.© Springer-Verlag France, Paris, 2006The Bayesian ChoiceRobert, Christian P.© 2007 Springer Science+Business Media, LLC
Theorem 5. 6 implies the following:Le théorème 5. 6 implique le résultat suivant:Pevzner, Pavel A. / Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A. / Bio-informatique moléculaire. Une approche algorithmiqueBio-informatique moléculaire. Une approche algorithmiquePevzner, Pavel A.© 2000 Massachusetts Institute of technology© Springer-Verlag France, Paris, 2006Computational Molecular Biology. An Algorithmic ApproachPevzner, Pavel A.© 2000 Massachusetts Institute of technology
Johnstone (1984) provides an equivalent to Theorem 8 in the case of a Poisson model.Johnstone (1984) donne un équivalent du Théorème 8 pour le modèle de Poisson.Robert, Christian P. / The Bayesian ChoiceRobert, Christian P. / Le choix bayesienLe choix bayesienRobert, Christian P.© Springer-Verlag France, Paris, 2006The Bayesian ChoiceRobert, Christian P.© 2007 Springer Science+Business Media, LLC
Stability and Instability: the Virial TheoremStabilité et instabilité : le théorème du virielLequeux, James / The Interstellar MediumLequeux, James / Le milieu interstellaireLe milieu interstellaireLequeux, James© 2002, EDP Sciences/CNRS EditionsThe Interstellar MediumLequeux, James© 2002, EDP Sciences/CNRS Editions, Paris, France© Springer-Verlag Berlin Heidelberg 2005
Add to my dictionary
Not foundUser translations
No translations for this text yet.
Be the first to translate it!
Collocations
fundamental theorem
théorème fondamental
Word forms
theorem
noun
Singular | Plural | |
Common case | theorem | theorems |
Possessive case | theorem's | theorems' |