Vertaling van "High-order logic " (Engels → Frans) :

TERMINOLOGIE

high-order logic | high-order logics
logique d'ordre supérieur

first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]
calcul de prédicats | calcul des prédicats | logique de 1er ordre | logique des prédicats

second order logic | second-order predicate calculus | second-order predicate logic
logique d'ordre 2 | logique du deuxième ordre

high level language | higher order language | high-level language | high-order language | synthetic language | HLL [Abbr.] | HOL [Abbr.]
langage de haut niveau | langage évolué | langage synthétique

high-threshold logic [ HTL | high threshold logic ]
logique à haut seuil [ logique HTL | logique à seuil élevé ]

first-order logic | first-order predicate logic
logique du premier ordre | LPO | logique des prédicats du premier ordre

first order logic [ first-order logics ]
logique du premier ordre

higher-order logic [ higher-order logics ]
logique de plus haut niveau [ logique d'ordre supérieur ]

high-level language | HLL | HOL | high level language | high-order language | advanced language
langage évolué | langage de haut niveau | langage haut niveau

IN-CONTEXT TRANSLATIONS

But the actual figures do not really matter. A rate of 0.5% is already too high and I'd like to be able to do something to bring it down but I am not willing to sacrifice what strikes me as logical and convincing in order to do so.
Un taux de 0,5 p. 100 est déjà trop élevé et j'aimerais pouvoir travailler à le réduire, mais je ne suis pas prêt à le faire au sacrifice de ce qui me paraîtrait logique et convaincant.

1. Welcomes a paradigm shift for the regions in the way energy is produced and consumed, moving from an inflexible traditional model, which functions on a ‘base load logic’, to variable, decentralised and local production, integrating a high share of small-scale renewable energy with flexible and responsive demand and distributed storage; recognises that in order to preserve sustainable development and to meet the requirements of future demands, new models of energy production and consumption based on decentralised and local production should be promoted; stresses the fact that a smart grid is essential for such a paradigm shift and that smart grid implementation should be embedded in a cross-sectoral and comprehensive approach to regional development in order to maximise benefits and market opportunities for the regions as well as to achieve sustainability, growth and innovation;
1. salue le changement de modèle dans la manière dont les régions produisent et consomment de l'énergie, passant d'un modèle traditionnel rigide, qui fonctionne selon une «logique de base», à une production locale décentralisée et variable, qui intègre une quantité élevée d'énergie renouvelable à petite échelle dans une demande flexible et réactive et dans un stockage distribué; reconnaît qu'en vue de préserver le développement durable et de répondre aux exigences des demandes futures, il y a lieu de promouvoir de nouveaux modèles de production et de consommation d'énergie fondés sur une production locale décentralisée; souligne qu'un réseau intelligent est essentiel à ce changement de modèle et que la mise en œuvre des réseaux intelligents devrait être intégrée dans une approche intersectorielle globale du développement régional en vue de développer au maximum les bénéfices et les possibilités de marché des régions et d'atteindre les objectifs en matière de durabilité, de croissance et d'innovation;

43. Notes that additional sanctions are the logical consequence of Iran's lack of full cooperation with the IAEA; calls on the High Representative and the EU Member States to assess all mechanisms for enforcing implementation of the EU common position – especially with regard to export licensing, customs and border controls, air cargo and shipping – in order to prevent Iran from evading the sanctions regime and to be able to make a realistic evaluation of whether or not sanctions produce the anticipated results; reiterates its position that these measures should not negatively affect the general population; welcomes in this context the US decision to impose targeted sanctions on Iranian officials deemed to be responsible for or complicit in serious human rights abuses in Iran since the disputed presidential election of June 2009; calls on the Council to adopt similar measures;
43. note que des sanctions supplémentaires sont la conséquence logique du refus de l'Iran de coopérer pleinement avec l'AIEA; invite la haute représentante et les États membres de l'Union à évaluer tous les mécanismes d'application pour la mise en œuvre de la position commune de l'Union – notamment en matière de licences d'exportation, de contrôles douaniers et frontaliers et de transports aériens et maritimes – afin d'éviter que l'Iran n'échappe au régime de sanction et d'être en mesure d'évaluer de manière réaliste si les sanctions produisent les résultats escomptés; réaffirme sa position selon laquelle ces mesures ne devraient pas avoir d'effets négatifs pour l'ensemble de la population; salue à cet égard la décision des États-Unis d'imposer des sanctions ciblées aux dirigeants iraniens considérés comme responsables ou complices de graves violations des droits de l'homme en Iran après l'élection présidentielle contestée de juin 2009; appelle le Conseil à adopter des mesures similaires;

42. Notes that additional sanctions are the logical consequence of Iran’s lack of full cooperation with the IAEA; calls on the High Representative and the EU Member States to assess all mechanisms for enforcing implementation of the EU common position – especially with regard to export licensing, customs and border controls, air cargo and shipping – in order to prevent Iran from evading the sanctions regime and to be able to make a realistic evaluation of whether or not sanctions produce the anticipated results; reiterates its position that these measures should not negatively affect the general population; welcomes in this context the US decision to impose targeted sanctions on Iranian officials deemed to be responsible for or complicit in serious human rights abuses in Iran since the disputed presidential election of June 2009; calls on the Council to adopt similar measures;
42. note que des sanctions supplémentaires sont la conséquence logique du refus de l'Iran de coopérer pleinement avec l'AIEA; invite la haute représentante et les États membres de l'Union à évaluer tous les mécanismes d'application pour la mise en œuvre de la position commune de l'Union – notamment en matière de licences d'exportation, de contrôles douaniers et frontaliers et de transports aériens et maritimes – afin d'éviter que l'Iran n'échappe au régime de sanction et d'être en mesure d'évaluer de manière réaliste si les sanctions produisent les résultats escomptés; réaffirme sa position selon laquelle ces mesures ne devraient pas avoir d'effets négatifs pour l'ensemble de la population; salue à cet égard la décision des États-Unis d'imposer des sanctions ciblées aux dirigeants iraniens considérés comme responsables ou complices de graves violations des droits de l'homme en Iran après l'élection présidentielle contestée de juin 2009; appelle le Conseil à adopter des mesures similaires;

In order to promote for instance students having completed their higher education within the territory of a Member State staying within in the EU it would be logical to also apply this directive to those wishing to stay within the 'territory of a Member State for the purpose of highly qualified employment'.
Afin d'encourager, par exemple, les étudiants ayant effectué leurs études supérieures sur le territoire d'un État membre à demeurer au sein de l'UE, il serait logique que cette directive s'applique également à ceux d'entre eux qui souhaitent rester sur "le territoire d'un État membre afin d'y occuper un emploi hautement qualifié".

A trilogue has been planned between the Commission, the Council and Parliament in order to marry the different points of view expressed and, within this framework, it seems highly logical to me for impact assessments to be carried out in order to establish the impact of these regulations both on production methods and on consumer protection.
Il va y avoir un trilogue entre la Commission, le Conseil et le Parlement pour associer les différents points de vue qui ont été exprimés et, dans ce cadre-là, il me paraîtrait fort logique, effectivement, que des études d’impact soient réalisées pour voir l’incidence de ces réglementations, à la fois sur les modes de production et sur la protection des consommateurs.