Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Athena
Athena mechanism
Automated theorem proving
Automatic deduction
Automatic theorem proving
Mechanical theorem proving

Vertaling van "mechanism have proved " (Engels → Frans) :

TERMINOLOGIE
automatic theorem proving | automated theorem proving | mechanical theorem proving

démonstration automatique de théorèmes | démonstration automatisée de théorèmes | preuve automatique de théorèmes | démonstration mécanique de théorèmes


mechanical theorem proving

démonstration mécanique de théorèmes


automatic deduction | mechanical theorem proving

démonstrateur de théorèmes | démonstration automatique de théorèmes


Definition: This category differs from others in that it includes disorders identifiable on the basis of not only symptoms and course but also the existence of one or other of two causative influences: an exceptionally stressful life event producing an acute stress reaction, or a significant life change leading to continued unpleasant circumstances that result in an adjustment disorder. Although less severe psychosocial stress ( life events ) may precipitate the onset or contribute to the presentation of a very wide range of disorders classified elsewhere in this chapter, its etiological importance is not always clear and in each case will be found to depend on individual, often idiosyncratic, vulnerability, i.e. the life events are neither ...[+++]

Définition: Cette catégorie est différente des autres dans la mesure où sa Définition: ne repose pas exclusivement sur les symptomes et l'évolution, mais également sur l'un ou l'autre des deux facteurs étiologiques suivants: un événement particulièrement stressant entraînant une réaction aiguë à un facteur de stress, ou un changement particulièrement marquant dans la vie du sujet, comportant des conséquences désagréables et durables et aboutissant à un trouble de l'adaptation. Des facteurs de stress psychosociaux relativement peu sévères parmi les événements de la vie ( life events ) peuvent précipiter la survenue ou influencer le tableau clinique d'un grand nombre de troubles classés ailleurs dans ce chapitre, mais il n'est pas toujours po ...[+++]


Identification of a mechanism to ensure health insurance coverage for permanent residents of Canada who have lost their eligibility by not meeting provincial/territorial residence requirements

Identification d'un mécanisme permettant d'assurer une couverture d'assurance aux résidents permanents du Canada qui perdent leur statut de résidents d'une province/territoire et conséquemment leur admissibilité à l'assurance-santé


Athena | Athena mechanism | mechanism to administer the financing of the common costs of European Union operations having military or defence implications

mécanisme Athena | mécanisme de gestion du financement des coûts communs des opérations de l'Union européenne ayant des implications militaires ou dans le domaine de la défense | Athena [Abbr.]
IN-CONTEXT TRANSLATIONS
The market mechanism measures have often proved mediocre in terms of cost effectiveness to the extent that they have encouraged structural surpluses without requiring structural improvements.

Les mécanismes de marché prévus présentent souvent un rapport coût-efficacité médiocre car ils ont abouti à encourager les excédents structurels sans imposer par ailleurs des améliorations structurelles.


It is particularly in this area that it is important to ensure effective enforcement of the right to compensation for the victims of anti-competitive practices, as neither Directive 2014/104/EU of 26 November 2014 nor the Recommendation on common principles for collective redress mechanisms in disputes concerning infringements of competition law have proved capable of providing the necessary collective redress for the rights of those affected by such infringements.

C’est dans ce domaine qu’il importe tout particulièrement de garantir que les droits des victimes de pratiques anticoncurrentielles soient effectivement respectés, alors que ni la directive 2014/104/UE du 26 novembre 2014 ni la recommandation relative aux principes communs applicables aux recours collectifs dans le cadre des infractions à la législation relative à la concurrence ne se sont avérées capables d’assurer comme il se doit la défense collective des droits des victimes de ces infractions.


The participant guarantee funds, managed by the Commission and established pursuant to Council Regulation (Euratom) No 1908/2006 and Council Regulation (Euratom) No 139/2012 , have proved to be an important safeguard mechanism which mitigates the risks associated with the amounts due and not reimbursed by defaulting participants.

Les fonds de garantie des participants, gérés par la Commission et instaurés en vertu du règlement (Euratom) no 1908/2006 du Conseil et du règlement (Euratom) no 139/2012 du Conseil , se sont avérés être un important mécanisme de sauvegarde qui atténue les risques associés aux montants dus et non remboursés par des participants défaillants.


Recognises the critical contribution of the African Peace Facility in developing the triangular partnership between the UN, the EU and the AU; believes that this Facility provides both an entry point and a potential lever for creating a stronger partnership between the EU and the AU and has proved indispensable in allowing the AU, and through it the eight Regional Economic Communities (RECs), to plan and manage their operations; considers it vital that the EU institutions and Member States remain closely engaged if the Facility is to be fully utilised and that the AU demonstrate higher levels of efficiency and transparency in using the ...[+++]

reconnaît la contribution essentielle apportée par la facilité de soutien à la paix pour l'Afrique à l'élaboration du partenariat triangulaire entre les Nations unies, l'Union européenne et l'Union africaine; estime que cette facilité est à la fois un point de départ et un levier potentiel pour l'établissement d'un partenariat plus étroit entre l'Union européenne et l'Union africaine et s'est avérée indispensable en permettant à l'Union africaine et, par son intermédiaire, aux huit communautés économiques régionales (CER), de planifier et de gérer leurs opérations; considère que les institutions de l'Union européenne et les États membres doivent absolument demeurer mobilisés afin que cette facilité soit pleinement exploitée et qu'il est p ...[+++]


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
Emphasises that the Member States currently use a wide variety of promotion mechanisms; points out that this support has led to healthy growth, in particular when support schemes are well designed, but that some of the promotion systems have been badly designed and have proved insufficiently flexible to adjust to the decreasing cost of some technologies and have, in some cases, caused overcompensation, thereby placing a financial burden on consumers; is pleased to observ ...[+++]

souligne qu'à l'heure actuelle, les États membres utilisent un large éventail de mécanismes de soutien; souligne que ces mécanismes, en particulier lorsqu'ils sont bien conçus, ont conduit à une forte croissance mais que certains se sont avérés insuffisamment flexibles pour s'adapter à la baisse des coûts de certaines technologies et ont parfois créé des surcapacités qui font peser une charge financière sur les consommateurs; se réjouit de constater que ces subventions ont rendu certaines énergies renouvelables compétitives par rapp ...[+++]


The market mechanism measures have often proved mediocre in terms of cost effectiveness to the extent that they have encouraged structural surpluses without requiring structural improvements.

Les mécanismes de marché prévus présentent souvent un rapport coût-efficacité médiocre car ils ont abouti à encourager les excédents structurels sans imposer par ailleurs des améliorations structurelles.


Although the basic mechanisms of the CFP for allocating fishing rights among the Member States have proved to be efficient and durable, in many other respects the CFP has fallen short of its objectives, as is shown by the depleted condition of many fish stocks, particularly demersal stocks, and the poor economic performance of some parts of the fleet.

Même si les mécanismes de base de la PCP consistant à allouer des droits de pêche aux différents États membres se sont révélés efficaces et durables, pour d'autres aspects au contraire la PCP n'a pas été à la hauteur de ses objectifs, comme le montre l'état d'épuisement de nombreux stocks halieutiques, tout particulièrement ceux des espèces démersales, et les mauvais résultats économiques de certains segments de la flotte.


The aim is to cover an extensive range of routine financial journalism where standards have remained high and existing governance mechanisms have proved adequate.

Son objectif est de couvrir un large éventail du journalisme financier ordinaire où les normes sont restées élevées et où les mécanismes de gestion existants se sont avérés adéquats.


(17) Whereas the customs duty system makes it possible to dispense with all other protective measures at the external frontiers of the Community; whereas, however, the price and customs duty mechanism may in exceptional circumstances prove defective; whereas in such cases, so as not to leave the Community market without defence against disturbances which may arise therefrom, when the import obstacles previously existing have been abolished, the Community should be enable ...[+++]

(17) considérant que le régime des droits de douane permet de renoncer à toute autre protection aux frontières extérieures de la Communauté; que, toutefois, le mécanisme des prix et des droits de douane peut, dans des circonstances exceptionnelles, être mis en défaut; que, afin de ne pas laisser, dans de tels cas, le marché communautaire sans défense contre les perturbations risquant d'en résulter, alors que les obstacles à l'importation existant antérieurement auront été supprimés, il convient de permettre à la Communauté de prendre toutes les mesures nécessaires; que ces mesures doivent être en conformité ...[+++]


Although the basic mechanisms of the CFP for allocating fishing rights among the Member States have proved to be effective, in other respects the CFP has fallen short of its objectives, as is shown by the depleted condition of many fish stocks, and the poor economic performance of some parts of the fleet.

Même si les mécanismes de base de la PCP consistant à allouer des droits de pêche aux différents États membres se sont révélés efficaces, pour d'autres aspects la PCP n'a pas été à la hauteur de ses objectifs, comme le montre l'état d'épuisement de nombreux stocks halieutiques et les mauvais résultats économiques de certains segments de la flotte.




Anderen hebben gezocht naar : athena     athena mechanism     automated theorem proving     automatic deduction     automatic theorem proving     mechanical theorem proving     mechanism have proved     


datacenter (1): www.wordscope.be (v4.0.br)

'mechanism have proved' ->

Date index: 2023-12-14
w