Vertaling van "programme proved " (Engels → Frans) :

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

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 ]

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

National Junior Sire Proving Programme
Programme national d'épreuve des jeunes taureaux

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

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

Infusion pump programmer
programmateur de pompe à perfusion

Daphne Programme | Programme of Community action (2004 to 2008) to prevent and combat violence against children, young people and women and to protect victims and groups at risk | Programme of Community action (the Daphne Programme) (2000-2003) on preventive measures to fight violence against children, young persons and women | Specific programme (2007-2013) to prevent and combat violence against children, young people and women and to protect victims and groups at risk (Daphne III programme) as part of the General Programme Fundamental Rights and Justice
programme d'action communautaire (2004-2008) visant à prévenir et à combattre la violence envers les enfants, les adolescents et les femmes et à protéger les victimes et les groupes à risque (programme Daphné II) | programme d'action communautaire (programme Daphné) (2000-2003) relatif à des mesures préventives pour lutter contre la violence envers les enfants, les adolescents et les femmes | programme Daphné | programme Daphné II

Multiannual Programme (1998-2002) of Actions in the nuclear sector, relating to the safe transport of radioactive materials and to safeguards and industrial cooperation to promote certain aspects of the safety of nuclear installations in countries currently participating in the TACIS programme | Multiannual Programme of actions in the nuclear sector, relating to the safe transport of radioactive materials and to safeguards and industrial cooperation to promote safety features of nuclear installations in countries participating in the TACIS-programme | SURE Programme | SURE [Abbr.]
programme pluriannuel (1998-2002) d'activités dans le secteur nucléaire, relatives à la sécurité du transport des matières radioactives ainsi qu'au contrôle de sécurité et à la coopération industrielle de manière à promouvoir certains aspects de la sécurité des installations nucléaires dans les pays participant actuellement au programme TACIS | programme pluriannuel d'activités dans le secteur nucléaire, relatives à la sécurité du transport des matières radioactives ainsi qu'au contrôle de sécurité et à la coopération industrielle de manière à promouvoir certains aspects de la sécurité des installations nucléaires dans les pays participant actuellement au programme TACIS | programme SURE | SURE [Abbr.]

IN-CONTEXT TRANSLATIONS

However, it should be noted that most of the needs will be financed from the Socrates, Leonardo da Vinci and MediaPlus programmes and the budgets already allocated to these programmes, without increasing these budgets (both the operating appropriations for the programmes and the appropriations for administrative expenditure are concerned; if it should prove necessary to augment these administrative appropriations on account of the Action Plan this would be done by transfer, within the limits of the overall allocations for the programmes).
Toutefois, il est à noter que l'essentiel des besoins trouvera son financement à partir des programmes Socrates, Leonardo da Vinci et MediaPlus et des dotations d'ores et déjà allouées à ces programmes, sans augmentation de ces enveloppes (sont concernés tant les crédits opérationnels des programmes que les crédits relatifs aux dépenses administratives; si un renforcement de ces crédits administratifs s'avérait nécessaire du fait du plan d'action, il y serait procédé par virement dans le respect des enveloppes globales des programmes).

Taking into account the experience and lessons learnt with the first Article 169 initiative in FP6, the European and Developing Countries Clinical Trials Partnership (EDCTP), and building on the ERA-NET schemes, such common endeavours between national programmes are proving their worth, also in view of possible future initiatives to jointly implement programmes.
Compte tenu de l'expérience acquise et des enseignements tirés de la première initiative au titre de l'article 169 lancée dans le cadre du 6e PC, à savoir le partenariat des pays européens et en développement sur les essais cliniques (EDCTP), et dans le prolongement des actions ERA-NET, cette mise en commun de l'effort des programmes nationaux est en train de prouver son intérêt et permet d'envisager de nouvelles initiatives de mise en œuvre conjointe des programmes.

Bodies and entities pursuing an aim of general European interest in the areas covered by the Programme should be regarded as key actors to the extent that they have proven, or can be expected to prove, to have a considerable effect on realising that aim, and should receive funding in accordance with the procedures and criteria set out in the annual work programmes adopted by the Commission pursuant to this Regulation.
Les organes et les entités poursuivant un objectif d'intérêt général européen dans les domaines couverts par le programme devraient être considérés comme des acteurs essentiels dans la mesure où ils ont prouvé ou devraient pouvoir prouver qu'ils jouent un rôle important dans la réalisation de cet objectif et ils devraient recevoir un financement conformément aux procédures et aux critères énoncés dans les programmes de travail annuels adoptés par la Commission en vertu du présent règlement.

The results-based management approach applied to the current programme and its annual performance monitoring have proved to be successful in demonstrating the programme’s achievements as well as in enhancing the EU’s accountability.
La méthode de gestion fondée sur les résultats appliquée au programme actuel et le suivi annuel de ses résultats se sont révélés efficaces pour mettre en évidence les réalisations du programme et renforcer la responsabilité de l’UE.

The rapporteur therefore cannot share the opinion that the experience gained from the hitherto provisions under Fiscalis programme proved all too efficient in bringing tax officials from different national administrations together in professional activities and to meet the set objectives.
Le rapporteur ne peut donc convenir que les dispositions de Fiscalis ont permis de rapprocher les fonctionnaires spécialisés des différentes administrations nationales et d'atteindre les objectifs fixés.

12. Notes that, although EU-financed pre-accession programmes contributed to the preparation for the application of the CAP and twinning programmes proved to be useful, the original goals were only partly achieved and the efficiency of the Community measures was limited;
12. note, bien que les programmes de préadhésion financés par l'UE aient contribué aux préparatifs relatifs à l'application de la PAC et que les programmes de partenariats se soient avérés utiles, que les objectifs de départ n'ont été atteints que partiellement et que les mesures communautaires ont eu une efficacité limitée;

12. Notes that, although EU-financed pre-accession programmes contributed to the preparation for the CAP application and twinning programmes proved to be useful, the original goals were only partly achieved and the efficiency of the Community measures was limited;
12. note, bien que les programmes de préadhésion financés par l’UE aient contribué aux préparatifs relatifs à l’application de la PAC et que les programmes de partenariats se soient avérés utiles, que les objectifs de départ n'ont été atteints que partiellement et que les mesures communautaires ont eu une efficacité limitée;

Experience with the European white-goods industry, which is the world leader as a result of best technology developed in accordance with minimum standards and a serious labelling programme, proves that in the longer term our car industry also could actually benefit, rather than suffer, from efficiency requirements in their home market.
L’expérience de l’industrie européenne du gros électroménager, qui occupe la première place sur le marché mondial grâce à l’excellence de sa technologie développée sous un régime de telles normes et un programme d’étiquetage conséquent, prouve qu’à long terme, notre industrie automobile pourrait bien tirer profit, sur le marché européen, d’un tel système.

J. whereas the special report of the Court of Auditors did not provide any particular information about the programme funded by the European Union with regard to the return of refugees, despite indications that the management of this programme proved very problematic, partly because of the politically and socio-economically very difficult circumstances but also because of late payment of the funds pledged by the European Union,
J. soulignant que le rapport spécial de la Cour des comptes n'a pas fourni de détails sur le programme financé par l'Union européenne en ce qui concerne le retour des réfugiés, et ce malgré des indications selon lesquelles la gestion de ce programme se déroulait avec difficulté, notamment en raison de conditions politiques et socio-économiques très fâcheuses mais aussi en raison du paiement tardif des ressources promises par l'Union européenne,