Traduction de «thus proving » (Anglais → Français) :

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

proof press | proving press | ready proof press | direct proving press | galley press | proving and reversing press | reversing press | transfer press
presse à épreuves | presse à épreuve | presse à contre-épreuves | presse à décalquer | presse de report

burden of proof [ burden of proving | onus of proof | onus of proving | onus in proving | duty to produce evidence ]
charge de la preuve [ fardeau de la preuve | fardeau probatoire | fardeau de prouver | fardeau de persuasion | charge de prouver ]

olibanum | gum thus | frankincense
oliban

Thus we labour but not for ourselves [ Sic nos non nobis ]
Ainsi nous travaillons en altruistes [ Sic nos non nobis ]

Definition: A residual category for disorders in which there is some admixture of specific developmental disorders of speech and language, of scholastic skills, and of motor function, but in which none predominates sufficiently to constitute the prime diagnosis. This mixed category should be used only when there is a major overlap between each of these specific developmental disorders. The disorders are usually, but not always, associated with some degree of general impairment of cognitive functions. Thus, the category should be used when there are dysfunctions meeting the criteria for two or more of F80.-, F81.- and F82.
Définition: Catégorie résiduelle de troubles, dans lesquels il existe à la fois des signes d'un trouble spécifique du développement, de la parole et du langage, des acquisitions scolaires et des fonctions motrices, mais sans qu'aucun de ces éléments ne prédomine suffisamment pour constituer le diagnostic principal. Cette catégorie, mixte, doit être réservée à des cas où il existe un chevauchement important de chacun de ces troubles spécifiques du développement. Ces troubles s'accompagnent habituellement, mais pas toujours, d'un certain degré d'altération des fonctions cognitives. Cette catégorie doit ainsi être utilisée pour des perturbations répondant aux critères d'au moins deux des catégories F80.-, F81.- et F82.

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 necessary nor sufficient to explain the occurrence and form of the disorder. In contrast, the disorders brought together here are thought to arise always as a direct consequence of acute severe stress or continued trauma. The stressful events or the continuing unpleasant circumstances are the primary and overriding causal factor and the disorder would not have occurred without their impact. The disorders in this section can thus be regarded as maladaptive responses to severe or continued stress, in that they interfere with successful coping mechanisms and therefore lead to problems of social functioning.
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 possible de leur attribuer un rôle étiologique, d'autant plus qu'il faut prendre en considération des facteurs de vulnérabilité, souvent idiosyncrasiques, propres à chaque individu. En d'autres termes, ces événements de la vie ne sont ni nécessaires ni suffisants pour expliquer la survenue et la nature du trouble observé. En revanche, on admet que les troubles réunis dans cette catégorie sont toujours la conséquence directe d'un facteur de stress aigu important ou d'un traumatisme persistant. Les événements stressants ou les circonstances pénibles persistantes constituent le facteur causal primaire et essentiel, en l'absence duquel le trouble ne serait pas survenu. Les troubles réunis dans ce chapitre peuvent ainsi être considérés comme des réponses inadaptées à un facteur de stress sévère ou persistant dans la mesure où ils interfèrent avec des mécanismes adaptatifs efficaces et conduisent ainsi à des problèmes dans la fonction sociale.

automatic theorem proving [ automated theorem proving ]
démonstration automatique de théorèmes [ preuve automatique de théorèmes | démonstration automatisée de théorèmes ]

judgment thus given
ainsi jugé

thus to ensure a fair standard of living for the agricultural community
assurer ainsi un niveau de vie équitable à la population agricole

TRADUCTIONS EN CONTEXTE

It has to do with the shameful capitulation by the government this summer to the Ethyl Corporation over the suit brought against the government with respect to the banning of MMT, thus proving that the government is not able under NAFTA to legislate in the public interest with respect to environmental matters.
Cette situation prouve que le gouvernement ne peut, dans le cadre de l'ALENA, légiférer dans l'intérêt public en ce qui a trait aux questions environnementales.

The existing provisions have thus proved ineffective in informing consumers about products’ recycling potential.
L'instrument s'est donc avéré inefficace pour informer les consommateurs de l'aptitude au recyclage d'un produit.

Either it was the minister or the parliamentary secretary who wrote the note, thus proving they must have been directly lobbied by Mr. Jaffer.
La note a pu être écrite par le ministre ou par le secrétaire parlementaire, ce qui prouverait qu'ils ont dû directement subir la pression de M. Jaffer.

B. whereas the principle of subsidiarity plays a vital role in establishing the authority of Community legislation and in deciding whether laws should be adopted at EU level, thus proving to be a crucial element in monitoring the separation of powers between the EU and the Member States and a useful tool for enabling Member States to assume legislative competence,
B. considérant que le principe de subsidiarité contribue, dans une mesure essentielle, à asseoir l'autorité de la législation communautaire et est un critère déterminant quand il s'agit de décider s'il convient d'adopter des lois au niveau de l'Union; que ce principe est donc un élément indispensable pour contrôler la séparation des pouvoirs entre l'Union et les États membres et un outil utile pour permettre aux États membres d'exercer la compétence législative,

B. whereas the principle of subsidiarity plays a vital role in establishing the authority of Community legislation and in deciding whether laws should be adopted at EU level, thus proving to be a crucial element in monitoring the separation of powers between the EU and the Member States and a useful tool for enabling Member States to assume legislative competence,
B. considérant que le principe de subsidiarité contribue, dans une mesure essentielle, à asseoir l'autorité de la législation communautaire et est un critère déterminant quand il s'agit de décider si des lois doivent être adoptées au niveau de l'Union européenne; que ce principe est donc un élément indispensable pour contrôler la séparation des pouvoirs entre l'UE et les États membres et un outil utile pour permettre aux États membres d'exercer une compétence législative,

Finally, since October 2004 and the Caserta Declaration on the European Charter for Small Enterprises, the Mediterranean countries have been associated with the process, thus proving its dynamism.
Enfin, depuis octobre 2004 et la "Déclaration de Caserta" sur la "Charte euro-méditerranéenne des entreprises", les pays méditerranéens se sont associés à ce processus, témoignant ainsi de son dynamisme.

(1) Directive 2001/83/EC requires that applications for authorisation to place a medicinal product on the market have to be accompanied by a dossier containing particulars and documents relating in particular to the results of physico-chemical, biological or microbiological tests as well as pharmacological and toxicological tests and clinical trials carried out on the product and thus proving its quality, safety and efficacy.
(1) La directive 2001/83/CE dispose que les demandes d'autorisation de mise sur le marché d'un médicament doivent être accompagnées d'un dossier contenant des renseignements et des documents relatifs notamment aux résultats des essais physico-chimiques, biologiques ou microbiologiques, ainsi que des essais pharmacologiques et toxicologiques et des essais cliniques réalisés sur le produit et qui, partant, démontrent sa qualité, sa sécurité et son efficacité.

Definition of common interests and other CFSP decisions may thus prove more difficult.
La définition d'intérêts communs et l'adoption de nouvelles décisions relevant de la PESC pourraient s'en trouver compliquées.

This young man's cause immediately caught the sympathy of Quebecers and Canadians thus proving that our fellow citizens are concerned by this important issue of human rights.
La cause défendue par ce jeune homme a immédiatement recueilli la sympathie des Québécois et des Canadiens, prouvant ainsi que nos concitoyennes et nos concitoyens sont préoccupés par cette importante question des droits de la personne.

American Airlines intervened in Canadian International, and even has a veto on major company decisions, thus proving that the true control of Canadian is indeed in the hands of American Airlines.
American Airlines est intervenu dans les Lignes aériennes Canadien International, ayant même un droit de veto sur les décisions importantes de la compagnie, prouvant en cela qu'effectivement, le véritable contrôle de Canadien est entre les mains d'American Airlines.