896 resultados para Prepackaged commodities, Checking of.


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Hearings held June 16, 1965- S. 399, 598, 891, 939, 994, 1563, 1702, 1794, 1838, 2025, 2079, 2110, 2111, bills to maintain farm income, to stabilize prices, and assure adequate supplies of agricultural commodities to reduce surpluses, lower Government costs, and promote foreign trade, to afford greater economic opportunity in rural areas, and for other purposes.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Mode of access: Internet.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Each of the thirty songs is preceded by a double map of the countries referred to, in which the towns, rivers, etc. are represented by allegorical figures.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Publication suspended, Nov. 25 through Dec. 1922, Nov. l933 through June 1934.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

There has been an increase in the use of cognitive frameworks in occupational therapy with children with developmental coordination disorder (DCD). Investigations into the utility of one such cognitive approach, namely Cognitive Orientation to (daily) Occupational Performance (CO-OP), with children with DCD have shown the intervention to be effective with children over 7 years. However, there has been limited research into its utility with younger children. This paper presents two case studies to demonstrate the use of CO-OP with children aged 5-7 years. Two boys with DCD engaged in 10 sessions of CO-OP. These younger children were found to be able to use the global framework (Goal, Plan, Do, Check) to improve their task performance, to develop plans using domain-specific strategies and to engage in checking strategies. Issues relating to attention, motivation and goal setting are discussed in the context of the two case studies.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

We show that interesting multigate circuits can be constructed using a postselected controlled-sign gate that works with a probability (1/3)(n), where n-1 is the number of controlled-sign gates in the circuit, rather than (1/9)(n-1), as would be expected from a sequence of such gates. We suggest some quantum information tasks which could be demonstrated using these circuits, such as parity checking and cluster-state computation.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Background: The epidemiology of a disease describes numbers of people becoming incident, being prevalent, recovering, surviving, and dying from the disease or from other causes. As a matter of accounting principle, the inflow, stock, and outflows must be compatible, and if we could observe completely every person involved, the epidemiologic estimates describing the disease would be consistent. Lack of consistency is an indicator for possible measurement error. Methods: We examined the consistency of estimates of incidence, prevalence, and excess mortality of dementia from the Rotterdam Study. We used the incidence and excess mortality estimates to calculate with a mathematical disease model a predicted prevalence, and compared the predicted to the observed prevalence. Results: Predicted prevalence is in most age groups lower than observed, and the difference between them is significant for some age groups. Conclusions: The observed discrepancy could be due to overestimates of prevalence or excess mortality, or an underestimate of incidence, or a combination of all three. We conclude from an analysis of possible causes that it is not possible to say which contributes most to the discrepancy. Estimating dementia incidence in an aging cohort presents a dilemma: with a short follow-up border-line incident cases are easily missed, and with longer follow-up measurement problems increase due to the associated aging of the cohort. Checking for consistency is a useful strategy to signal possible measurement error, but some sources of error may be impossible to avoid.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Traditional real-time control systems are tightly integrated into the industrial processes they govern. Now, however, there is increasing interest in networked control systems. These provide greater flexibility and cost savings by allowing real-time controllers to interact with industrial processes over existing communications networks. New data packet queuing protocols are currently being developed to enable precise real-time control over a network with variable propagation delays. We show how one such protocol was formally modelled using timed automata, and how model checking was used to reveal subtle aspects of the control system's dynamic behaviour.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Validation procedures play an important role in establishing the credibility of models, improving their relevance and acceptability. This article reviews the testing of models relevant to environmental and natural resource management with particular emphasis on models used in multicriteria analysis (MCA). Validation efforts for a model used in a MCA catchment management study in North Queensland, Australia, are presented. Determination of face validity is found to be a useful approach in evaluating this model, and sensitivity analysis is useful in checking the stability of the model. (C) 2000 Elsevier Science Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Symbolic Analysis Laboratory (SAL) is a suite of tools for analysis of state transition systems. Tools supported include a simulator and four temporal logic model checkers. The common input language to these tools was originally developed with translation from other languages, both programming and specification languages, in mind. It is, therefore, a rich language supporting a range of type definitions and expressions. In this paper, we investigate the translation of Z specifications into the SAL language as a means of providing model checking support for Z. This is facilitated by a library of SAL definitions encoding the Z mathematical toolkit.