Traduction de «model proves » (Anglais → Français) :

TERMINOLOGIE

automatic theorem proving | automated theorem proving | mechanical theorem proving
démonstration automatique de théorèmes | démonstration automatisée de théorèmes | preuve automatique de théorèmes | démonstration mécanique de théorèmes

proof press | proving press | ready proof press | direct proving press | galley press | proving and reversing press | reversing press | transfer press
presse à épreuves | presse à épreuve | presse à contre-épreuves | presse à décalquer | presse de report

burden of proof [ burden of proving | onus of proof | onus of proving | onus in proving | duty to produce evidence ]
charge de la preuve [ fardeau de la preuve | fardeau probatoire | fardeau de prouver | fardeau de persuasion | charge de prouver ]

proved reserves | proven reserves | proved fields
réserves prouvées | réserves certaines | réserves sûres

tape prove-out [ tape proving ]
vérification de bande

automatic theorem proving [ automated theorem proving ]
démonstration automatique de théorèmes [ preuve automatique de théorèmes | démonstration automatisée de théorèmes ]

non-proving executor non-proving executor
exécuteur testamentaire non homologataire

atmospheric dispersion model | diffusion model | dispersion model | mathematical model representing the distribution of pollutants | turbulent diffusion model
modèle de diffusion | modèle de dispersion | modèle mathématique de diffusion de polluants | modèle mathématique de dispersion atmosphérique

Model Convention with respect to taxes on income and on capital | Model Tax Convention on Income and on Capital | OECD Model Tax Convention | OECD Model Treaty
Modèle de convention fiscale concernant le revenu et la fortune | Modèle de convention fiscale de l'OCDE

developing a model | produce models | develop a model | develop models
élaborer des modèles

TRADUCTIONS EN CONTEXTE

Model risk may be expressed using qualitative or quantitative expressions of the reliability of models, the sensitivity of outputs to the input variables and the potential losses that could ensue if assumptions underlying the model were to prove incorrect.
Le risque lié au modèle peut être exprimé au moyen de formules qualitatives ou quantitatives traduisant la fiabilité des modèles, la sensibilité des résultats aux variables d'entrée et les pertes susceptibles de se produire au cas où les postulats sous-tendant le modèle se révéleraient incorrects.

To take a narrowly and pettily national view of education and of lifelong learning would be to capitulate in the face of the challenges of today’s world, our response to which will, at the end of the day, determine whether the European economic and social model proves to be a success or a failure.
Adopter une vision nationale de l’éducation et de l’apprentissage tout au long de la vie à la fois étroite et mesquine reviendrait à capituler face aux défis de notre monde actuel. La réponse que nous apporterons à ces derniers déterminera en fin de compte si le modèle social et économique européen est un succès ou un échec.

These activities are complementary to the savings banks business model and LBBW has already proved in Baden-Württemberg and in Rhineland-Palatinate that such a business model is viable.
Ces activités complètent le modèle d’affaires des caisses d’épargne; la LBBW a déjà éprouvé la viabilité de ce modèle dans le Bade-Wurtemberg et dans le Land de Rhénanie-Palatinat.

The Irish, Dutch, Danish and Swedish models prove conclusively that it is possible to be highly competitive, have an efficient economy whilst enjoying a high level of protection.
Les modèles irlandais, néerlandais, danois et suédois démontrent de façon concluante qu’il est possible d’être extrêmement compétitif et de disposer d’une économie performante tout en jouissant d’un niveau de protection élevé.

If a significant modification of the model grant agreement proves necessary, the Commission shall, in close cooperation with Member States, revise it as appropriate.
S'il s'avère nécessaire de modifier sensiblement la convention de subvention type, la Commission, en étroite coopération avec les États membres, révise celle-ci en conséquence.

This attempt to provide a new boost, to be decided on at the Spring Council and which has come about in response to the failure of this model, proves that there is no such thing as a new or old economy; there is only economic rationality.
Grâce à cette tentative de donner une nouvelle impulsion, qui doit être décidée par le Conseil du printemps et qui semble à présent apporter une réponse à l'échec du modèle, on démontre qu’il n’existe pas de nouvelle ou de vieille économie, mais seulement une rationalité économique.

The rules for implementing this Regulation should therefore also be harmonised in the same way, using the model established for sparkling wines, while ensuring that there is no risk of these other terms being confused with the terms covered by Community legislation and that such terms may be used only if operators can prove their accuracy where there is any doubt.
Il y a donc lieu d'harmoniser de la même manière les dispositions d'application dudit règlement sur la base du modèle établi pour les vins mousseux en veillant à ce que soit écarté tout risque de confusion entre ces autres termes et ceux qui sont ainsi réglementés et à ce que l'emploi de tels termes soit subordonné à l'obligation pour les opérateurs de prouver leur exactitude en cas de doute.

The unsuitability of the linear model of innovation has meant that isolated measures have not proved successful, and that broader strategies are required in order to reduce the innovation deficit.
La conception linéaire de l'innovation se révélant inadaptée, les mesures isolées n'ont pas produit les résultats escomptés. Il convient donc de mettre en place des stratégies plus générales en vue de réduire le déficit d'innovation.

D. However, in the case of imports from any third country of hides or skins of ruminants treated in accordance with point I. B and which have been kept separate for 21 days or have undergone transport for 21 uninterrupted days, the certificate provided for in point C is replaced by a declaration to the effect that or proving that those requirements have been met, of a model to be determined by the Commission in accordance with the procedure laid down in Article 18'.
D. Toutefois pour les importations de tout pays tiers de peaux de ruminants traitées conformément au point I. B qui ont été isolées pendant 21 jours ou ont été soumises à un transport de 21 jours sans interruption, le certificat prévu au point C est remplacé par une déclaration attestant ou prouvant que ces exigences ont été remplies, dont le modèle sera fixé par la Commission selon la procédure prévue à l'article 18».