Traduction de «démonstrateur basé sur la résolution » (Français → Anglais) :

TERMINOLOGIE

démonstrateur basé sur la résolution
resolution-based prover

démonstrateur de théorèmes par résolution
resolution theorem - prover

système basé sur la résolution
resolution based system

base décisionnelle pour un démonstrateur
decision basis for a demonstrator

TRADUCTIONS EN CONTEXTE

La Commission œuvrera de concert avec les États membres afin de lever les obstacles à une Europe sans entraves, sur la base des dernières résolutions du Parlement européen et du Conseil[5].
The Commission will work together with the Member States to tackle the obstacles to a barrier-free Europe, taking up recent European Parliament and Council resolutions [5].

9. souligne que le véritable règlement de la crise actuelle passe impérativement par des négociations sérieuses et approfondies, par le retrait d'Israël des territoires occupés depuis 1967 et par une solution juste et durable au conflit israélo-palestinien, qui ne peut être que celle de la création de deux États – la mise en place d'un État palestinien sur la base des frontières de 1967, avec Jérusalem-Est pour capitale, et le règlement global de la question de tous les réfugiés palestiniens sur la base de la résolution 194 de l'Assemblée générale des Nations unies;
9. Emphasises that a genuine solution to the current crisis can only be found through meaningful, comprehensive negotiations, the withdrawal of Israel from the territories occupied since 1967, and a just and lasting solution to the Israeli-Palestinian conflict, which can only be the two-state solution – the establishment of a Palestinian State on the basis of the 1967 borders, with East Jerusalem as its capital, and a comprehensive settlement for all Palestinian refugees on the basis of UN General Assembly Resolution 194;

Sur la base de la résolution du 28 janvier, plusieurs initiatives (telles que l'établissement d'une task-force pour la cybersécurité, des campagnes de sensibilisation, la promotion des bonnes pratiques et l'amélioration des mécanismes d'échange d'informations) devraient aboutir pour la fin 2002.
Based on the 28 January Resolution, a number of initiatives (e.g. the establishment of a cyber security task force, awareness campaigns, promotion of good practices, and improved exchange of information mechanisms) should be completed by the end of 2002.

Nous nous concentrons toujours sur la santé, le logement et l’emploi, mais c’est un problème de base, dont la résolution est prioritaire.
We always focus on health, housing and employment, but this is a fundamental problem and resolving it should be a priority.

La violence et le manque de confiance entre les parties empêchent une reprise du dialogue politique qui devrait commencer par l'application du plan Tenet et des recommandations du rapport Mitchell, et devrait aboutir à terme à une solution juste et durable au conflit, basée sur les résolutions 242 et 338 du Conseil de sécurité des Nations unies et sur les principes de Madrid et d'Oslo.
The violence and lack of trust between the different parties have prevented a resumption of the political dialogue that should begin with the implementation of the Tenet plan and the Mitchell report recommendations and should conclude with a just and lasting solution to the conflict, based on UN Security Council Resolutions 242 and 338 and the principles set out in Madrid and Oslo.

C'est dans cet esprit que j'ai présenté devant ce Parlement, en 1988, une proposition formelle de négociation qui, nous l'espérions, servirait de base à la résolution de la question du Tibet.
With this spirit in 1988 here in Strasbourg at this Parliament I presented a formal proposal for negotiations, which we hoped would serve as a basis for resolving the issue of Tibet.

g) les interventions effectuées à l'intérieur de la Communauté, sur la base de la résolution du 8 juillet 1991, ainsi que les interventions effectuées en dehors de la Communauté, conformément à l'article 6.
(g) the interventions inside the Community, on the basis of the resolution of 8 July 1991, as well as the interventions outside the Community as laid down in Article 6.

Bases de la résolution du Conseil du 25 mai 2000
Basis for the Council Resolution of 25 May 2000

Sur la base de précédentes résolutions du Parlement européen et de précédents documents de la Commission, on présente ci-après certains des domaines où l'intégration pourrait avoir une incidence favorable sur la création d'emplois.
On the basis of past EP resolutions and Commission documents, the following represent some of the areas where mainstreaming could have a positive impact on employment creation.

Sur la base de la résolution du Conseil du 15 décembre 1998 relative à une stratégie forestière pour l'Union européenne[2], le plan d'action fournit un cadre pour les initiatives en faveur des forêts au niveau de la Communauté et des États membres et constitue un instrument de coordination des actions communautaires et des politiques forestières des États membres.
Building on the Council Resolution of 15 December 1998 on a forestry strategy for the European Union[2], the Action Plan provides a framework for forest-related actions at Community and Member State level and serves as an instrument of coordination between Community actions and the forest policies of the Member States.