Vertaling van "program is proving " (Engels → Frans) :

TERMINOLOGIE

termination-proving program
programme de preuve de terminaison

program proving [ program evidence ]
preuve de programme

Young Sire Proving Program
Programme d'épreuves des jeunes taureaux

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

capital development program | capital development programme | capital expenditure program | capital expenditure programme | capital investment program | capital investment programme | capital program | capital programme | investment plan | investment program | investment programme
programme d'investissements

all or nothing assignment | all or nothing assignment traffic routing program | shortest path program | shortest route program | traffic routing program
programme de plus courte distance | programme de recherche d'itinéraires

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

area control program | macro control program | macro program | master control program
macroprogramme de régulation

manage programming | supervise programming | monitor programming | monitoring programming
superviser une programmation

IN-CONTEXT TRANSLATIONS

They anticipated that the program would prove to be a model for other programs addressing environmental needs.
Ils étaient d'avis que le programme devrait être un modèle pour tous les autres programmes touchant les besoins en matière d'environnement.

However, government programs are proving to be useless.
Cela dit, les programmes du gouvernement se révèlent inutiles.

4. Believes that territorial cooperation has proved its effectiveness and that its potential as a source of competitiveness has so far been insufficiently tapped as a result of the inadequate resources allocated to it; calls for the budget for the ‘territorial cooperation’ objective to increase from 2,5% in the current programming period to at least 7% of the overall cohesion policy budget for the next programming period;
4. estime que la coopération territoriale a montré son efficacité, et que son potentiel et son gisement de compétitivité demeurent insuffisamment exploités en raison du faible montant qui lui est alloué; demande que le budget de l'objectif «coopération territoriale» passe de 2,5 %, niveau pour l'actuelle période de programmation, à 7 % au minimum du budget global de la politique de cohésion pour la prochaine période de programmation;

4. Believes that territorial cooperation has proved its effectiveness and that its potential as a source of competitiveness has so far been insufficiently tapped as a result of the inadequate resources allocated to it; calls for the budget for the ‘territorial cooperation’ objective to increase from 2.5% in the current programming period to at least 7% of the overall cohesion policy budget for the next programming period;
4. estime que la coopération territoriale a montré son efficacité, et que son potentiel et son gisement de compétitivité demeurent insuffisamment exploités en raison du faible montant qui lui est alloué; demande que le budget de l'objectif "coopération territoriale" passe de 2,5 %, niveau pour l'actuelle période de programmation, à 7 % au minimum du budget global de la politique de cohésion pour la prochaine période de programmation;

28. Considers that, in this context, the 2000-2006 programming period proved that overly complicated rules and ineffective supervisory and control systems contributed to the irregularities ascertained; points out, furthermore, that beneficiaries often received payments late; consequently, welcomes the improvements which Council Regulation (EC) No 1083/2006 of 11 July 2006 laying down general provisions on the European Regional Development Fund, the European Social Fund and the Cohesion Fund has brought; calls, in general, for regional and local authorities to be more involved in the programming and implementation of the funds;
28. considère que, dans ce contexte, la période de programmation entre 2000 et 2006 a prouvé que des règles trop compliquées et des systèmes de contrôle et de surveillance inefficaces contribuent aux irrégularités constatées; relève qu'en plus, les paiements sont arrivés souvent tardivement chez des bénéficiaires; par conséquent, se réjouit des améliorations que le règlement (CE) n° 1083/2006 du Conseil du 11 juillet 2006 portant dispositions générales sur le Fonds européen de développement régional, le Fonds social européen et le Fonds de cohésion a apportées; souhaite que, de manière générale, les autorités régionales et locales soient davantage impliquées dans la programmation et l'exécution des fonds;

28. Considers that, in this context, the 2000-2006 programming period proved that overly complicated rules and ineffective supervisory and control systems contributed to the irregularities ascertained; points out, furthermore, that beneficiaries often received payments late; consequently, welcomes the improvements which Council Regulation (EC) No 1083/2006 of 11 July 2006 laying down general provisions on the European Regional Development Fund, the European Social Fund and the Cohesion Fund has brought; calls, in general, for regional and local authorities to be more involved in the programming and implementation of the funds;
28. considère que, dans ce contexte, la période de programmation entre 2000 et 2006 a prouvé que des règles trop compliquées et des systèmes de contrôle et de surveillance inefficaces contribuent aux irrégularités constatées; relève qu'en plus, les paiements sont arrivés souvent tardivement chez des bénéficiaires; par conséquent, se réjouit des améliorations que le règlement (CE) n° 1083 du Conseil du 11 juillet 2006 portant dispositions générales sur le Fonds européen de développement régional, le Fonds social européen et le Fonds de cohésion a apportées; souhaite que, de manière générale, les autorités régionales et locales soient davantage impliquées dans la programmation et l'exécution des fonds;

In fact, day by day, month by month and year by year, the firearms program is proving that it is making Canada safer.
En fait, jour après jour, mois après mois et année après année, le programme des armes à feu prouve qu'il fait du Canada un pays plus sûr.

This program has proved to be an enormous success.
Ce programme a remporté un énorme succès.

For example, the Canada-Ukraine partners program is proving it is possible to contain HIV infection and prevent the devastation of AIDS.
Le programme conjoint auquel participent le Canada et l'Ukraine prouve qu'il est possible de contenir l'infection par le VIH et de prévenir les dévastations du sida.