Sentence examples for formal outputs from inspiring English sources

The effect of formal outputs on outcomes often depends on how a law or measure is implemented.

Figure 8 shows that the typical formal outputs of the FTA process for helping policy-making were also found in this study: policy recommendations, strategies, scenarios, roadmaps, priority lists, action plans, and research agendas.

B8 BUSINESS DAY C1-18 OPEC May Raise Output Ministers from the Organization of the Petroleum Exporting Countries, who are meeting in Vienna to consider raising the group's formal output ceiling, should raise the ceiling by 500,000 to a million barrels a day, Kuwait's oil minister said.

Energy ministers gathering here on Monday for a meeting of OPEC members said stricter adherence to their current production quotas was needed to avoid a sharp decline in the price of oil this spring, signaling that formal output cuts could probably wait until next month.

Before delving into the experimental realization of our circuit we demonstrate an aspect of the possible power of this approach through a quick series of calculations of scalability of designs with invertase activities as input and resulting DNA sequence as the formal output or "state" of the system.

This should constitute a formal output of any project.

Even before the formal knowledge outputs are designed, there may be uptake of emerging knowledge in practice, and the new relations and changes made at the research site(s), may contribute to action [ 7].

Certifying Theorem Prover is a state-of-the-art theorem prover that outputs formal proofs for the theorems that it proves.

We will say something first about the two first alternatives.[25] The original semantic program that motivated Gärdenfors consisted in utilizing (GRT) as a bridge that outputs formal constraints on conditionals when we input basic constraints on revision.

Using first-order logic for specifying formal semantics, the output relation can be seen as a set of (ground) sentences obtained from the query formula by suitable substitutions of free variables by constants.

The formal reduction in output by the Organization of the Petroleum Exporting Countries, intended to withdraw one million barrels of crude oil a day from the market starting in April and seen by some here as a surprise, would lower the group's production objective to 23.5 million barrels a day.