Vertaling van "Logique de contre-exemple " (Frans → Engels) :

TERMINOLOGIE

logique de contre-exemple
counterexample logic

contre-exemple | exemple négatif
counter-example | negative example

contre-exemple [ instance négative | exemple négatif ]
negative example [ negative instance | counterexample | counter example | counter-example | negative exemplar ]

exemple contre-factuel
counterfactual example

contre-exemple
contrary example

IN-CONTEXT TRANSLATIONS

On peut citer comme exemples de logiques différentes:
Examples of different logics include, but are not limited to:

Les informations figurant sur la liste de confiance visent principalement à soutenir la validation des jetons de service de confiance qualifié, à savoir des objets physiques ou binaires (logiques) générés ou émis à la suite de l'utilisation d'un service de confiance qualifié, par exemple des signatures/cachets électroniques nommément qualifiés, des signatures/cachets électroniques avancés accompagnés d'un certificat qualifié, des horodatages qualifiés, des preuves de livraison électronique qualifiées, etc.
The information provided in the trusted list is primarily aimed at supporting the validation of qualified trust service tokens, i.e. physical or binary (logical) objects generated or issued as a result of the use of a qualified trust service, e.g. namely qualified electronic signatures/seals, advanced electronic signatures/seals supported by a qualified certificate, qualified time-stamps, qualified electronic delivery evidences, etc.

À «l’ère numérique de l’éducation», le recours à la technologie dans l’enseignement doit servir le processus d’apprentissage: par exemple, même si apprendre à encoder n’est pas une fin en soi, les apprenants doivent comprendre la logique de l’encodage et acquérir le bagage nécessaire pour pouvoir utiliser les moyens technologiques en constante évolution dans leur environnement d’apprentissage et dans leur vie.
In the ‘digital age of education’, the use of technology in education has to be beneficial for the learning process: for instance, while learning to code is not an end in itself, learners have to understand the logic of coding and acquire a skillset needed to use evolving technological means in the learning and life environments.

7. estime – étant donné que les organismes en charge de la mise en œuvre des instruments de l'UE qui sont concernés se situent à différents niveaux (supranational, national et régional) et sont régis par des logiques différentes (par exemple, certains par l'objectif de la cohésion, d'autres par celui de l'excellence) – que garantir une réelle cohérence politique constitue un défi majeur, en particulier "sur le terrain", où les instruments de l'UE sont mêlés à des politiques nationales et régionales;
7. Believes – given the fact that the implementing bodies of the EU instruments concerned exist on different levels (supranational, national and sub-national) and are governed by a different rationale (e.g. cohesion vs. excellence) – that the guaranteeing of actual policy coherence constitutes a major challenge, especially ‘on the ground’ where EU instruments mix with national and regional policies;

28. se félicite qu'en général, lors des réunions de l'Organisation internationale du travail (OIT), l'Union européenne adopte une position énergique dans les débats sur les droits syndicaux et d'autres droits fondamentaux des travailleurs, ce qui a été notamment le cas sous la présidence luxembourgeoise, par exemple lorsque l'Union européenne a adopté une position ferme sur les violations présumées des droits de l'homme commises contre des syndicalistes en Colombie, position qu'elle a ensuite logiquement traduite en une déclaration vigoureuse lors de la session de juin 2005 de la Conférence internationale du travail; dans ce contexte, s'étonne qu'il ait été possible pour un pays comme le Belarus d'être élu, en juin 2005, membre de l'organe directeur de l'OIT alors que ce pays n'est pas une démocratie ayant des syndicats libres et que quatre grands pays de l'Union européenne sont membres permanents de l'organe directeur; demande au Conseil d'expliquer quelles démarches diplomatiques il a effectuées avant cette élection et s'il a envisagé de s'opposer à la participation du Belarus; maintient qu'il est essentiel de renforcer les programmes spéciaux soutenus par l'Union européenne en vue de protéger des secteurs vulnérables dans les pays tiers;
28. Welcomes the fact that, in general, at International Labour Organization (ILO) meetings, the EU takes a forceful stance in discussions about trade union rights and other fundamental human rights of workers, including under the Luxembourg Presidency, when, for instance, the EU took a strong position concerning alleged violations of human rights in relation to Colombia's trade unionists, which then in a show of consistency translated into a strong EU statement at the June 2005 Session of the International Labour Conference; in this context, is surprised that it was possible for a country such as Belarus to be elected in June 2005 to the Governing Body of the ILO despite the fact that Belarus is not a democracy with free trade unions and four major EU countries are permanent members of the Governing Body; asks the Council to explain its diplomatic demarches prior to that election and whether it considered opposing Belarus' membership; maintains that it is essential to strengthen the EU-backed special programmes to protect vulnerable sectors in third countries;

Par son deuxième moyen, la requérante fait valoir que, au point 39 de l’arrêt attaqué, le Tribunal a dénaturé les éléments de preuve visés aux points 18, 19, 21 et 22 de l’arrêt attaqué, qu’elle avait produits à l’appui de son recours, en jugeant, contre toute logique, qu’ils ne concernaient que le caractère distinctif acquis par l’usage, au sens de l’article 7, paragraphe 3, du règlement n° 40/94, ce qui l’a conduit à les ignorer.
By its second ground of appeal, the appellant argues that, at paragraph 39 of the contested judgment, the Court of First Instance distorted the evidence referred to at paragraphs 18, 19, 21 and 22 of the contested judgment which the appellant produced in support of its application, by holding, quite illogically, that the evidence related only to distinctiveness acquired through use for the purposes of Article 7(3) of Regulation No 40/94, with the result that the Court of First Instance left it out of account.

Le procès qui s'est ouvert ces derniers jours à La Haye contre l'ex-président Milosevic n'est qu'un exemple de plus de cette tendance qui ne cesse de gagner en force partout dans le monde. C'est ce qu'exigent, en effet, les opinions publiques de nos pays et c'est le résultat logique - c'est de cette façon qu'il faut le voir - du processus de globalisation et de mondialisation en cours.
The trial of ex-President Slobodan Milosevic in the Hague which has recently started is just one more example of this tendency that is gathering more momentum throughout the world, for this is what world-wide public opinion demands, and because it has to be seen as the logical conclusion of the current process of globalisation.

Cette harmonisation est, contre toute logique, une ingérence dans les affaires des États membres de l'Union européenne, c'est le déploiement de politiques absurdes - d'un pays comme la France, par exemple - et la contrainte pour des États qui, enfin, commencent à comprendre.
Against all logic, this harmonisation is interfering in the affairs of the Member States of the European Union; it boils down to absurd policies – in a country such as France, for example – and restrictions for the States which are finally beginning to understand.

Très logiquement, la situation a suscité la surprise, la stupeur et l'indignation de l'opinion publique espagnole, à un moment où, qui plus est, les États membres de l'Union intensifient leurs efforts politiques et législatifs au niveau communautaire pour lutter contre le terrorisme (définition commune de ce fléau et instauration d'un mandat d'arrêt européen, par exemple).
Spanish public opinion has naturally reacted to this situation with surprise, astonishment and indignation, at a time when EU countries are stepping up Community political and legislative efforts in the fight against terrorism (including a common definition of terrorism and the introduction of a European arrest warrant).

La logique de mise en oeuvre des actions en matière de réseaux d'excellence, de grands projets de recherche orientée et d'infrastructures, conduit par exemple à envisager la possibilité d'appels à la concurrence et d'appels à propositions différents des appels à propositions de recherche classiques.
The activities relating to networks of excellence, large-scale targeted research and infrastructure projects could, for example, be the subject of competitive tendering or calls for proposals different from the traditional calls for research proposals.