Boost Your Productivity!Translate documents (Ms-Word, Ms-Excel, ...) faster and better thanks to artificial intelligence!
https://pro.wordscope.com
https://blog. wordscope .com
Démonstrateur de théorèmes
Démonstration automatique de théorèmes
Démonstration automatisée de théorèmes
Démonstration de théorèmes
Démonstration de théorèmes équationnels
Démonstration mécanique de théorèmes
Preuve automatique de théorèmes
Preuve de théorème
Preuve de théorèmes
Technique de démonstration de théorèmes

Traduction de «technique de démonstration de théorèmes » (Français → Anglais) :

TERMINOLOGIE
voir aussi les traductions en contexte ci-dessous
technique de démonstration de théorèmes

technique for demonstrating theorems


technique de démonstration de théorèmes

theorem proving technique


démonstration de théorèmes | preuve de théorème | preuve de théorèmes

theorem proving


démonstration de théorèmes | preuve de théorèmes

theorem proving


démonstration de théorèmes [ preuve de théorèmes ]

theorem proving


démonstration de théorèmes équationnels

equational 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

automatic theorem proving | automated theorem proving | mechanical theorem proving


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

automatic deduction | mechanical theorem proving
TRADUCTIONS EN CONTEXTE
L'initiative fournira des conseils sur les meilleures pratiques et techniques de démonstration des sciences dans des contextes réels.

The initiative will provide advice on best practice and techniques for demonstrating science in real settings.


Les aides publiques visant à encourager le développement de techniques favorables au développement durable devraient être consacrées à la recherche fondamentale et appliquée portant sur des techniques sûres et non polluantes, ainsi que sur la comparaison des performances et les projets de démonstration destinés à stimuler l'adoption de techniques nouvelles plus sûres et plus propres.

Public funding to support technological change for sustainable development should focus on basic and applied research into safe and environmentally-benign technologies, and on benchmarking and demonstration projects to stimulate faster uptake of new, safer, cleaner technologies.


Cette démonstration est faite en présentant à l’autorité chargée de la réception un cas technique en utilisant des éléments de preuve tels que des dessins techniques, des analyses fonctionnelles et les résultats d’essais antérieurs”.

This demonstration shall be performed by the presentation to the approval authority of a technical case using evidence, such as engineering drawings, functional analyses, and the results of previous tests”. ’.


– à renforcer la connexion entre, d'une part, les projets et les résultats des démonstrations et, d'autre part, la transposition de ces résultats de recherche dans des applications-pilotes et des solutions attirantes sur le marché, autrement dit raccourcir la distance entre démonstration et commercialisation de ces techniques,

– strengthen the connection between demonstration projects and results and translation of those research results into pilot applications and attractive market solutions, i.e. shorten the path between demonstration and commercialisation of those technologies,


For more results, go to https://pro.wordscope.com to translate your documents with Wordscope Pro!
60. est d'avis qu'il est important de recourir aux techniques de piégeage et de stockage du carbone, lorsque cela est faisable, pour pouvoir atteindre, au moindre coût possible, les objectifs relatifs à la réduction des émissions de carbone et est conscient du fait que les délais de procédure, l'insuffisance des dotations financières et le manque d'engagement de certains États membres contrarieront probablement la volonté du Conseil européen d'avoir 12 projets de démonstration en la matière qui soient opérationnels d'ici à 2015; dema ...[+++]

60. Recognises the importance of applying CCS technology, where feasible, if the carbon emission reduction goals are to be achieved at the least possible cost, and acknowledges that procedural delays and financial shortfalls, as well as lack of commitment on the part of certain Member States, are likely to delay achievement of the European Council’s ambition of having up to 12 CCS demonstration projects in operation by 2015; calls on the Commission to publish a CCS Action Plan; recognises that CCS will not be appropriate in all circ ...[+++]


59. est d'avis qu'il est important de recourir aux techniques de piégeage et de stockage du carbone, lorsque cela est faisable, pour pouvoir atteindre, au moindre coût possible, les objectifs relatifs à la réduction des émissions de carbone et est conscient du fait que les délais de procédure, l'insuffisance des dotations financières et le manque d'engagement de certains États membres contrarieront probablement la volonté du Conseil européen d'avoir 12 projets de démonstration en la matière qui soient opérationnels d'ici à 2015; dema ...[+++]

59. Recognises the importance of applying CCS technology, where feasible, if the carbon emission reduction goals are to be achieved at the least possible cost, and acknowledges that procedural delays and financial shortfalls, as well as lack of commitment on the part of certain Member States, are likely to delay achievement of the European Council's ambition of having up to 12 CCS demonstration projects in operation by 2015; calls on the Commission to publish a CCS Action Plan; recognises that CCS will not be appropriate in all circ ...[+++]


2. Les coûts pertinents des projets de démonstration CSC sont les coûts d’investissement supportés par le projet du fait de l’application de la technologie CSC, nets de la valeur actualisée nette de la meilleure estimation des bénéfices et frais d’exploitation découlant de l’application de la technique CSC au cours des dix premières années d’exploitation.

2. The relevant costs of CCS demonstration projects shall be those investment costs which are borne by the project due to the application of CCS net of the net present value of the best estimate of operating benefits and costs arising due to the application of CCS during the first 10 years of operation.


Une aide communautaire est octroyée à des actions et projets concernant la première application commerciale de technologies d'intérêt européen tout juste validées dans le but de promouvoir, en vue de leur utilisation à grande échelle dans les États membres, que ce soit dans des conditions économiques ou géographiques différentes ou avec des variantes techniques, des technologies, des procédés ou des produits innovants dont la démonstration technique a déjà été faite avec succès mais qui, du fait de risques résiduels, n'ont pas encore ...[+++]

Community funding shall be for actions and projects concerned with the first market replication of just-proven technologies of Community relevance, designed to promote, with a view to their broader utilisation within the Member States, either under different economic or geographical conditions or with technical modifications, innovatory techniques processes or products which have already been technically demonstrated with success but, owing to residual risk, have not yet penetrated the market, so that the Community shares the risk that is involved in the economic exploitation of the results of research, technological develo ...[+++]


Une aide communautaire est octroyée à des actions et projets concernant la première application commerciale de technologies d'intérêt européen tout juste validées dans le but de promouvoir des procédés ou des produits innovants dont la démonstration technique a déjà été faite avec succès mais qui, du fait de risques financiers, n'ont pas encore été commercialisés, de manière à ce que la Communauté partage les risques liés à l'exploitation économique des résultats des activités de recherche, de développement technologique et de démonstration.

Community funding shall be for actions and projects concerned with the first market replication of just-proven environmental technologies of Community relevance, designed to promote processes or products which have already been technically demonstrated with success but, owing to financial risk, have not yet penetrated the market, so that the Community shares the risk that is involved in the economic exploitation of the results of research, technological development and demonstration activities.


L'objectif est d'amener le plus rapidement possible sur le marché des solutions technologiques innovantes et compétitives en termes de coûts sous la forme d'actions de démonstration et autres actions de recherche tournées vers le marché, faisant participer les consommateurs/utilisateurs dans des environnements pilotes et visant à résoudre non seulement des problèmes techniques mais également organisationnels, institutionnels, financiers et sociaux.

The goal is to bring innovative and cost competitive technological solutions to the market as quickly as possible through demonstration and other research actions aiming at the market, which involve consumers/users in pilot environments, and which address not only technical but also organisational, institutional, financial and social issues.


w