Traduction de «Programmation à logique des prédicats » (Français → Anglais) :

first order logic | first-order predicate calculus | first-order predicate logic | predicate calculus | predicate logic | FOPL,FOPC [Abbr.]

clause form of predicate logic

programmable logic array | programmable logic device | simple programmable logic device | PLA [Abbr.] | PLD [Abbr.] | SPLD [Abbr.]

programmable logic array [ PLA | programmed logic array | programmable logic device ]

PLC | PLC technology | computer control system | programmable logic controller

3-valued predicate logic

Altera Corporation designs and sells a variety of semiconductor products, including programmable logic devices (PLDs), a product category that includes both field programmable gate arrays (FPGAs) and complex programmable logic devices (CPLDs).

304. Notes that in its 2013 report, the Court of Auditors concludes that Member States, when selecting projects under shared management, have focused first on the need to spend the Union money available, rather than on their expected performance; requests that in order to reverse this incentive and to change towards a culture of good performance, an independent high-level working group (including academics) on the performance of the Union budget be convened in order to make recommendations to structurally shift the incentive from spending to good performance, based on an assessment of Union added value, while respecting compliance with the rules; is of the opinion that the findings of this high-level working group should be available in d ...[+++]ue time before the mid-term review of the current MFF and form the basis for the new MFF programming period;

22. Deplores the fact that research funding is still very fragmented in Europe, with multiple sources of funding from the Member States and the Community applying different priorities, evaluation criteria, definitions and procedures, leading to unnecessary overlap, confusion, error and lack of critical mass; asks the Commission and the Council to put the issues of cooperation and coordination between the various EU and national programmes at the top of the agenda; calls on the Commission to carry out an analysis to improve the link between European and national actions, including possible coordination in the phases of formulating calls for proposals and evaluating projects, as well as the identification of national rules or laws that hind ...[+++]er or complicate the financial management of international research cooperation projects; asks that calls for proposals, including those of July 2011, be issued in consultation with the Member States, not duplicating or competing with national initiatives but complementing them; in this respect, considers that the ERA-Net scheme should be strengthened as a tool to support excellence and the development of criteria for quality indicators which constitutes the basis for coordination between programmes or joint ventures; suggests that FP7 should complement the efforts of actors managing national programmes involved in joint programming in order to move the RDFPs away from project management thinking towards programme management thinking, but without neglecting the management of small projects; believes that for Joint Programming to be successful, projects should be selected on the basis of excellence, tailored to the characteristics of each sector, the coordinating role of the Commission should be strengthened, and participating Member States should honour their financial commitments; asks that the last three years of FP7 be devoted to helping structure the European Research Area;

(Return tabled) Question No. 230 Ms. Meili Faille: With respect to the development of the logic model for the Integrated Relocation Program (IRP), as introduced at the January 29, 2007, meeting of the Standing Committee on Public Accounts: (a) who were the members of the interdepartmental working group who participated in the development of the logic model; (b) how often did the interdepartmental committee meet to develop the logic model and on what dates; and (c) what were the forecasts of the logic model for retaining or selling a ...[+++] house, and what are the results to date for each year of the IRP?