Traduction de «High-order logics » (Anglais → Français) :

calcul de prédicats | calcul des prédicats | logique de 1er ordre | logique des prédicats

langage de haut niveau | langage évolué | langage synthétique

logique à haut seuil [ logique HTL | logique à seuil élevé ]

logique du premier ordre | LPO | logique des prédicats du premier ordre

logique du premier ordre

logique de plus haut niveau [ logique d'ordre supérieur ]

langage évolué | langage de haut niveau | langage haut niveau

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. 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. 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 a ...[+++]voir 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. 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 a ...[+++]voir 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;