Traduction de «First-order logical representation » (Anglais → Français) :

TERMINOLOGIE

first-order logical representation
représentation logique du premier ordre

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

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

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

first-order logic theorem prover
démontreur de théorèmes en logique du premier ordre

pure first-order logic
logique du premier ordre pure

TRADUCTIONS EN CONTEXTE

13. Calls for the full implementation of the joint statements on payment appropriations and on a payment plan agreed between Parliament, the Council and the Commission at the end of the 2015 budgetary procedure, and considers that such action would indicate that all three institutions are serious about working towards a solution to the problem of unpaid bills; recalls the commitment to hold, in the course of this year, at least three interinstitutional meetings on payments, in order to take stock of payment implementation and revised forecasts; expects the first of these meetings, in March 2015, to provide a first overview of the level of unpaid bills at the end of 2014 for the main policy areas; regrets that, as anticipated, at the end of 2014 this level reached the unprecedented amount of EUR 24,7 billion, for 2007-2013 cohesion programmes alone; deplores the fact that this debt undermines the credibility of the EU and is in contradiction with the goals set at the highest political level for growth and employment; stresses that payments are the direct and logical consequence of past commitments;
13. demande la mise en œuvre intégrale des déclarations communes relatives aux crédits de paiement et à un échéancier de paiement, convenues entre le Parlement, le Conseil et la Commission à la fin de la procédure budgétaire 2015, et estime que cette mise en œuvre témoignerait de la volonté réelle des trois institutions de dégager une solution au problème des factures impayées; rappelle l'engagement de tenir, au cours de cette année, au moins trois réunions interinstitutionnelles consacrées aux paiements afin de faire le point sur l'exécution des paiements et les prévisions révisées; espère que la première de ces réunions, en mars 2015, permettra de disposer d'une première vue d'ensemble du montant des factures impayées à la fin de 2014 pour les grands domaines d'action; déplore que, comme c'était à prévoir, le montant sans précédent atteint fin 2014 soit de 24,7 milliards d'EUR pour les seuls programmes de cohésion de la période 2007-2013; regrette que cette dette nuise à la crédibilité de l'Union et soit contraire aux objectifs de croissance et d'emploi fixés au plus haut niveau politique; souligne que les paiements sont la conséquence directe et logique d'engagements antérieurs;

25 (1) Within five days after the day on which the Minister receives the representation order, the Governor in Council shall by proclamation declare the representation order to be in force, effective on the first dissolution of Parliament that occurs at least seven months after the day on which that proclamation was issued, and on the issue of the proclamation the order has the force of law accordingly.
25 (1) Dans les cinq jours qui suivent la date de la réception par le ministre du décret de représentation électorale, le gouverneur en conseil lui donne, par proclamation, force de loi, avec effet à compter de la première dissolution du Parlement survenant au moins sept mois après la date de la proclamation.

And whereas section 25 of the Electoral Boundaries Readjustment Act provides that, within five days after the receipt by the Minister of the draft representation order, the Governor in Council shall by proclamation declare the draft representation order to be in force, effective on the first dissolution of Parliament that occurs at least one year after the day on which the proclamation was issued, and on the issue of the proclamation the order has the force of law accordingly;
Attendu que l’article 25 de la Loi sur la révision des limites des circonscriptions électorales prévoit que, dans les cinq jours qui suivent la date à laquelle le ministre a reçu le projet de décret de représentation électorale, le gouverneur en conseil lui donne, par proclamation, force de loi, avec effet à compter de la première dissolution du Parlement survenant au moins un an après la date de cette proclamation,

And whereas section 25 of the Electoral Boundaries Readjustment Act provides that, within five days after the day on which the Minister receives the representation order, the Governor in Council shall by proclamation declare the representation order to be in force, effective on the first dissolution of Parliament that occurs at least seven months after the day on which the proclamation was issued, and on the issue of the proclamation the order has the force of law accordingly;
Attendu que l’article 25 de la Loi sur la révision des limites des circonscriptions électorales prévoit que, dans les cinq jours qui suivent la date de la réception par le ministre du décret de représentation électorale, le gouverneur en conseil lui donne, par proclamation, force de loi, avec effet à compter de la première dissolution du Parlement survenant au moins sept mois après la date de la proclamation,

As with the first edition, in some instances, closely related Standing Orders have been grouped together for the sake of logic and cohesiveness — see specifically the Standing Orders governing financial procedures, committees, delegated legislation and Private Members’ Business.
Comme pour la première édition, en certains cas, des articles étroitement liés les uns aux autres ont été regroupés pour favoriser la logique et la cohérence de l’exposé historique — voir notamment les articles régissant la procédure financière, les comités, les décrets-lois et les affaires émanant des députés.

3. The standard capacity products shall follow a logical order by which products covering yearly capacity shall be offered first, followed by the product with the next shortest capacity duration for use during the same period.
3. Les produits standard de capacité suivent un ordre logique selon lequel les produits couvrant une capacité annuelle sont proposés en premier, suivis du produit dont la maturité est immédiatement inférieure pour une utilisation pendant la période concernée.

I'll start not with my first, in logical order, but with what I think is the shortest; that is, as somebody who has spent more time in court while the Nuclear Liability Act's legality and constitutionality were debated than anybody in your room, I would suggest that neither the Nuclear Liability Act nor its draft successor, Bill C-20, is likely to survive a charter challenge after an accident.
Je ne vais pas commencer par le premier, dans l'ordre logique, mais par celui que je pense être le plus court. Autrement dit, ayant passé plus de temps devant les tribunaux que qui que ce soit ici, quand il était question de la légalité et de la constitutionnalité de la Loi sur la responsabilité nucléaire, je dirais que ni la Loi sur la responsabilité nucléaire ni le projet de loi C-20 ne survivront à une contestation judiciaire après un accident.

The Commission has made an assessment for the different regions as defined in 2005 by the Member States’ experts for the progressive implementation of the VIS, and taking into account, notably for the first criterion, elements such as the average visa refusal and entry refusal rates for each of the regions concerned, and, for the third criterion, the fact that consular presence or representation should be increased in certain regions in order to efficiently implement the VIS in these regions.
La Commission a procédé à une évaluation des différentes régions définies en 2005 par les experts des États membres en vue de la mise en œuvre progressive du VIS, en tenant compte, notamment pour le premier critère, d’éléments tels que les taux moyens de refus de visa et de non-admission pour chacune des régions concernées et, pour le troisième critère, du fait que la présence ou la représentation consulaires devraient être accrues dans certaines régions afin d’y appliquer efficacement le VIS.

6. In order to guarantee adequate representation of staff from national diplomatic services in the EEAS, the High Representative shall decide that, by way of derogation from Article 29 and from the first subparagraph of Article 98(1) of the Staff Regulations, priority may be given until 30 June 2013 for certain posts in the AD function group in the EEAS to candidates from national diplomatic services of the Member States in the case of equivalent qualifications.
6. Afin de garantir une représentation appropriée du personnel des services diplomatiques nationaux au SEAE, le haut représentant décide que, par dérogation à l’article 29 et à l’article 98, paragraphe 1, premier alinéa, du statut, la priorité peut être accordée jusqu’au 30 juin 2013, dans le cas de certains postes relevant du groupe de fonctions AD à pourvoir au SEAE, aux candidats des services diplomatiques nationaux des États membres pour des niveaux de qualification équivalents.

Mr Stubb is right: this is one of the saddest debates that I have attended in this House, but I hope that tomorrow the result of the vote on this report will be one of the best moments that we experience, because this report, which is not only theirs but also belongs to the Committee on Constitutional Affairs, with 70 % support, firstly responds to what the Council has asked of this House; secondly applies the principle of degressive proportionality, thirdly, guarantees a representative Parliament, something that would have been impossible with the Treaty of Nice, partly because under this treaty, in an unjustifiable and unjustified way, some countries like Spain ended up with no proportional logic in terms of their representation.
Monsieur Stubb a raison lorsqu'il dit que c'est l'un des débats les plus tristes auxquels il ait assisté au sein de cette assemblée mais j'espère que demain, le résultat du vote sur ce rapport sera l'un des meilleurs moments que nous connaîtrons, parce que ce rapport, qui n'est pas seulement le leur mais aussi celui de la commission des affaires constitutionnelles, qui le soutient à 70 %, répond d'abord à ce que le Conseil a demandé à cette chambre. Deuxièmement, il applique le principe de la proportionnalité dégressive, troisièmement, il garantit un parlement représentatif, chose qui aurait été impossible avec le traité de Nice, en partie parce que sous ce traité, d'une manière injustifiable et injustifiée, quelques pays, comme l'Espagne, s'étaient vu finalement attribuer une représentation en dehors de toute logique proportionnelle.