Vertaling van "many-valued logics " (Engels → Frans) :

TERMINOLOGIE

multiple-valued logic [ multivalued logic | nonbinary logic | multi-valued logic | many-valued logics | multi-valued logics ]
logique multivaluée [ logique multiforme ]

many valued logics for computer science applications
logiques multivaluées pour applications informatiques (action COST 15)

two-sorted predicate logic [ two-sorted logic | many-sorted logic | many-sorted calculus ]
calcul multi-sortes [ logique multi-sortes ]

multi-value logic | multi-valued logic
logique multivaluée | logique multi-valuée

logical set of values [ logical values set ]
ensemble logique de valeurs

multivalued logic | multiple-valued logic
logique multivaluée | logique multivalente

false Boolean value | false logical value
valeur booléenne fausse | valeur logique fausse

logical probative value
valeur probante logique

IN-CONTEXT TRANSLATIONS

3. Is deeply concerned at the fact that budgetary debates in the Council have been for many years poisoned by the logic of ‘fair returns’ instead of being driven by the logic of the European added-value; considers that, while this debate already existed before the introduction of a GNI-based resource, the situation has seriously intensified due to the current system of EU financing, whereby some 74 % of revenues stem from national contributions based on GNI instead of genuine own resources, as foreseen in the Treaty of Rome and all successive EU Treaties; considers that such a system places disproportionate emphasis on net balances between the Member States and has led to the progressive introduction of complex and opaque rebates and other correction mechanisms for the financing of the EU budget;
3. s'inquiète vivement du fait que les débats budgétaires au Conseil soient empoisonnés depuis de nombreuses années par le principe du «juste retour» au lieu d'être guidés par la logique de la valeur ajoutée européenne; estime que si cette controverse existait déjà avant l'introduction d'une ressource fondée sur le RNB, la situation s'est nettement aggravée avec le système actuel de financement de l'Union, dans lequel quelque 74 % des recettes proviennent de contributions nationales fondées sur le RNB et non de véritables ressources propres, comme le prévoient le traité de Rome et tous les traités européens qui lui ont fait suite; estime qu'un tel système accorde une importance démesurée aux soldes nets entre les États membres et a entraîné l'introduction progressive de mécanismes complexes et peu transparents de compensation ainsi que d'autres mécanismes correctifs dans le financement du budget de l'Union;

3. Is deeply concerned at the fact that budgetary debates in the Council have been for many years poisoned by the logic of ‘fair returns’ instead of being driven by the logic of the European added-value; considers that, while this debate already existed before the introduction of a GNI-based resource, the situation has seriously intensified due to the current system of EU financing, whereby some 74 % of revenues stem from national contributions based on GNI instead of genuine own resources, as foreseen in the Treaty of Rome and all successive EU Treaties; considers that such a system places disproportionate emphasis on net balances between the Member States and has led to the progressive introduction of complex and opaque rebates and other correction mechanisms for the financing of the EU budget;
3. s'inquiète vivement du fait que les débats budgétaires au Conseil soient empoisonnés depuis de nombreuses années par le principe du "juste retour" au lieu d'être guidés par la logique de la valeur ajoutée européenne; estime que si cette controverse existait déjà avant l'introduction d'une ressource fondée sur le RNB, la situation s'est nettement aggravée avec le système actuel de financement de l'Union, dans lequel quelque 74 % des recettes proviennent de contributions nationales fondées sur le RNB et non de véritables ressources propres, comme le prévoient le traité de Rome et tous les traités européens qui lui ont fait suite; estime qu'un tel système accorde une importance démesurée aux soldes nets entre les États membres et a entraîné l'introduction progressive de mécanismes complexes et peu transparents de compensation ainsi que d'autres mécanismes correctifs dans le financement du budget de l'Union;

- The Committee approved the following draft new actions: COST 327: Research action on motorcycle safety helmets, COST A8: Learning disorders as a barrier to human development and agreed in principle on the following draft actions, which will be approved by means of the written procedure: COST G2: PASTA: ancient landscapes and rural structures; COST 15: Many-valued logics for computer science applications; COST 824: Gametic embryogenesis; COST 251: Improved quality of service in ionospheric telecommunication systems planning and operation; COST A9: CIVITAS: Transformation of European cities and urban governance.
- Le Comité a, d'une part, approuvé les projets de nouvelles actions ci- après : COST 327 : recherche dans le domaine des casques de protection pour motocyclistes, COST A8 : les troubles de l'approbation en tant qu'obstacle au développement humain et d'autre part marque son accord de principe sur les projets d'actions ci-après qui seront approuvées par voie de procédure écrite : COST G2 : Paysages anciens et structures rurales "PASTA" ; COST 15 : Logiques multivaluées pour applications informatiques ; COST 824 : Embryogenèse gamétique ; COST 251 : Amélioration de la qualité de la planification et de fonctionnement des systèmes de télécommunications ionosphériques ; COST A9 : Villes européennes en mutation et gouvernance urbaine "CIVITAS".

Estonia was therefore invited to take part in the next meeting of the COST Committee of Senior Officials on 17 and 18 October 1996 to present its RD policy. In the context of COST decisions to authorize RD institutes in non-COST countries to participate in individual actions, the Committee approved participation as follows: - Romania: Romanian Transport Research Institute Participation in COST Action 330: Teleinformatics links between ports and their partners - Hong Kong: Chinese University of Hong Kong Participation in COST Action B3: Development of new radiotracers and methods of quality assurance for nuclear medicine application - Cyprus: Ministry of Agriculture, Natural Resources and the Environment Participation in COST Actions 66 and 67: -COST 66: Pesticides, Soil and Environment -COST 67: Chemodynamics and water quality protection in natural porous media - Cyprus: University of Cyprus (Department of Computer Science) Participation in COST Action 15: Many-valued Logics for Computer Science Applications - Russia: Institute of Applied Geophysics (Moscow) Participation in COST Action 251: Improved quality of service in ionospheric telecommunications systems planning and operation The Committee gave its approval to the extension of the following Actions: - COST 241: Characterization of advanced fibres for the photonic network (for 18 months) - COST 321: Research in the field of urban goods transport (for one year) The Committee approved the following new Actions: - COST 335: Passenger accessibility of heavy rail systems - COST 917: Biogenically active amines in food - COST 244bis: Biomedical Effects of Electro-magnetic Fields - COST 219bis: Access for elderly and disabled people to the information society - COST G3: Industrial ventilation The last two Actions will be given final approval by means of the written procedure.
L'Estonie a donc été invitée à participer à la prochaine réunion du Comité des Hauts Fonctionnaires des 17/18 octobre 1996 pour présenter sa politique de RD. Dans le cadre des décisions de la COST d'autoriser la participation à des actions individuelles d'instituts de RD de pays non membres de la COST, le Comité a approuvé les participations ci-après : - Roumanie : Institut roumain de recherche sur les transports Participation à l'Action COST 330 : Liaisons télématiques entre les ports et leurs partenaires - Hong Kong : Université chinoise de Hong Kong Participation à l'Action COST B3 : Mise au point de nouveaux radiotraceurs et de méthodes de garantie de la qualité des applications en médecine nucléaire - Chypre : Institut chypriote de recherche sur l'Agriculture Participation aux Actions COST 66 et 67 : - COST 66 : Thématique pesticides-sols- environnement - COST 67 : Chimiodynamique et protection de la qualité des eaux dans les milieux poreux naturels - Chypre : Université de Chypre (Department "Computer Science") Participation à l'Action COST 15 : Logiques multivaluées conduisant à des applications informatiques - Russie : Institut de géophysique appliquée (Moscou) Participation à l'Action COST 251 : Amélioration de la qualité de la planification et du fonctionnement des systèmes de télécommunications ionosphériques Le Comité a donné son approbation à la prolongation des Actions ci- après : - COST 241 : Caractérisation des fibres optiques pour le réseau photonique (pour 18 mois) - COST 321 : Recherche dans le domaine du transport de marchandises en ville (pour un an) Le Comité a approuvé les nouvelles Actions suivantes : - COST 335 : Accessibilité des réseaux ferroviaires aux passagers - COST 917 : Amines biogénétiquement actives contenues dans les denrées alimentaires - COST 244 bis : Effets biomédicaux des champs électromagnétiques - COST 219 bis : Télécommunications, accessibles aux personnes handicapées et âgées - COST G3 : Ventilation industrielle Ces deux ...