Vertaling van "strategy proves " (Engels → Frans) :

TERMINOLOGIE

theorem proving strategy
stratégie de démonstration 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

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

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 ]

EU growth strategy [ Europe 2020 strategy | European growth initiative | EU Strategy for jobs and growth | EU strategy for jobs and smart, sustainable and inclusive growth | EU strategy for smart, sustainable and inclusive growth | growth strategy of the EU | growth strategy of the European Union ]
stratégie européenne pour la croissance [ initiative de croissance européenne | stratégie «Europe 2020» | stratégie de l’UE pour l’emploi et la croissance | stratégie de l’UE pour l’emploi et une croissance intelligente, durable et inclusive | stratégie de l’UE pour une croissance intelligente, durable et inclusive | stratégie Europe 2020 | stratégie pour la croissance de l’UE | stratégie pour la croissance de l’Union européenne ]

EU 2020 strategy | EUROPE 2020 A strategy for smart, sustainable and inclusive growth | Europe 2020 strategy | Europe 2020 Strategy for Jobs and Growth | Europe 2020 strategy for jobs and smart, sustainable and inclusive growth
stratégie UE 2020 | stratégie de l'UE pour 2020 | stratégie Europe 2020 | Stratégie Europe 2020 pour l'emploi et la croissance | stratégie Europe 2020 pour l'emploi et une croissance intelligente, durable et inclusive | stratégie pour une croissance intelligente, durable et inclusive

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 ]

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

EU strategy [ political agenda of the EU | political agenda of the European Union | political priority of the EU | political priority of the European Union | strategic agenda for the EU | strategic agenda of the European Union | strategy of the EU | strategy of the European Union ]
stratégie de l’UE [ agenda politique de l’UE | agenda politique de l’Union européenne | agenda stratégique de l’UE | agenda stratégique de l’Union européenne | priorité politique de l’UE | priorité politique de l’Union européenne | stratégie de l’Union européenne ]

EU energy policy [4.7] [ energy union | EU energy strategy | European Union energy policy | European Union energy strategy ]
politique énergétique de l'UE [4.7] [ politique énergétique de l'Union européenne | stratégie énergétique de l’UE | stratégie énergétique de l’Union européenne | union de l'énergie | union européenne de l'énergie ]

IN-CONTEXT TRANSLATIONS

As far as effectiveness and efficiency are concerned, the implementation of the VMS, the ERS and the use of risk-based control strategies proved to be essential tools to monitor activities and to increase the quality of reported catch data.
En ce qui concerne l’efficacité et l’efficience, la mise en œuvre de systèmes de surveillance des navires et de systèmes électroniques de notification ainsi que l'application de stratégies de contrôle basées sur les risques se sont révélées essentielles pour surveiller les activités et améliorer la qualité des données déclarées relatives aux captures.

Patents are normally needed to prove ownership of the knowledge and new entrepreneurs need not only to be at the forefront of nanotechnology but to combine this with management and business strategy acumen.
Le dépôt de brevets est normalement nécessaire pour prouver la propriété des connaissances et les nouveaux entrepreneurs doivent non seulement être à la pointe des nanotechnologies mais également faire preuve de discernement dans leur gestion et leur stratégie d'entreprise.

Stresses that school-parent communication strategies, character education and other personal development programmes implemented in learning settings in cooperation with families and other relevant social partners can contribute to upward social convergence, promotion of active citizenship and European values as enshrined in the Treaties, and the prevention of radicalisation; underlines that a supportive home environment is crucial in shaping children’s proficiency in basic skills, and points to the value of courses for parents which can prove effective in countering educational poverty.
souligne que les stratégies de communication entre écoles et parents, la formation du caractère et d'autres programmes de développement personnel mis en place dans les environnements d'apprentissage, en coopération avec les familles et les autres partenaires sociaux concernés, peuvent contribuer à une convergence sociale vers le haut, à la promotion de la citoyenneté active et des valeurs européennes consacrées par les traités, et à la prévention de la radicalisation; souligne qu'un milieu familial favorable est essentiel pour façonner la maîtrise des compétences de base des enfants, et signale la valeur des cours destinés aux parents, qui peuvent s'avérer efficaces dans la lutte contre la pauvreté éducative.

If this strategy proves to be successful, it can really make a contribution in terms of developing a Danube identity, overcoming historic conflicts and traumas, promoting coexistence between different peoples along the Danube and having much more intensive civil cooperation than hitherto.
Si cette stratégie s’avère fructueuse, elle peut réellement contribuer à développer une identité pour le Danube, à surmonter les conflits et les traumatismes historiques, à promouvoir la cohabitation des différents peuples le long du Danube et à favoriser une coopération civile beaucoup plus intensive que jusqu’à présent.

Any KIC selected will need to demonstrate how it will create maximum impact in the given area and prove the viability of its strategy.
Toute CCI retenue devra démontrer comment elle produira des effets maximaux dans le domaine concerné et prouver la viabilité de sa stratégie.

This is also proven by its objectives. Economic governance, energy policy or, for that matter, the Roma strategy – these directions and strategies prove the existence of shared values, just as our goals are also shared in order to ensure a strong Europe.
La gouvernance économique, la politique énergétique ou encore la stratégie concernant les Roms, toutes ces orientations et ces stratégies prouvent l’existence de valeurs partagées, tout comme nos objectifs sont eux aussi partagés pour pouvoir assurer une Europe forte.

– (EL) Madam President, the EU 2020 strategy to be discussed at the summit, which follows on from the Lisbon Strategy, proves that the anti-grassroots shotgun measures being promoted by the PASOK government in our country, with the fundamental agreement of all the political forces of capital and the parties of the European one-way street, are not unique to Greece.
– (EL) Madame la Présidente, la stratégie UE 2020 qui sera débattue au sommet, succédant à la stratégie de Lisbonne, prouve que les mesures antipopulaires précipitées favorisées par le gouvernement du PASOK dans notre pays, avec l’accord fondamental de toutes les forces politiques capitalistes et des partis de l’Europe à sens unique, ne concernent pas seulement la Grèce.

The strategy provides for other measures, such as the exchange of information on national disposal taxes as well as, eventually, measures which would supplement the market mechanisms should these prove inadequate in increasing recycling levels.
La stratégie prévoit d'autres mesures, telles que l'échange d'informations sur les taxes nationales de mise en décharge ainsi que, à terme, des mesures fondées sur la nature du matériau et, éventuellement, des mesures qui complèteraient les mécanismes de marché si ceux-ci sont insuffisants pour assurer le développement du recyclage.

To a certain extent our strategy proved to be right.
Dans une certaine mesure, notre stratégie s'est révélée la bonne.