Review and correction procedures for the metropolitan map series /

Mode of access: Internet.

Consumer expenditure quarterly interview survey : interview procedures : field representative's manual.

Mode of access: Internet.

Consequences of incorrect sampling procedures in resonance-based radar target identification

Radar target identification based on complex natural resonances is sometimes achieved by convolving a linear time-domain filter with a received target signature. The filter is constructed from measured or pre-calculated target resonances. The performance of the target identification procedure is degraded if the difference between the sampling rates of the target signature and the filter is ignored. The problem is investigated for the natural extinction pulse technique (E-pulse) for the case of identifying stick models of aircraft.

Procedures and parameters in the real-time program refinement calculus

The real-time refinement calculus is a formal method for the systematic derivation of real-time programs from real-time specifications in a style similar to the non-real-time refinement calculi of Back and Morgan. In this paper we extend the real-time refinement calculus with procedures and provide refinement rules for refining real-time specifications to procedure calls. A real-time specification can include constraints on, not only what outputs are produced, but also when they are produced. The derived programs can also include time constraints oil when certain points in the program must be reached; these are expressed in the form of deadline commands. Such programs are machine independent. An important consequence of the approach taken is that, not only are the specifications machine independent, but the whole refinement process is machine independent. To implement the machine independent code on a target machine one has a separate task of showing that the compiled machine code will reach all its deadlines before they expire. For real-time programs, externally observable input and output variables are essential. These differ from local variables in that their values are observable over the duration of the execution of the program. Hence procedures require input and output parameter mechanisms that are references to the actual parameters so that changes to external inputs are observable within the procedure and changes to output parameters are externally observable. In addition, we allow value and result parameters. These may be auxiliary parameters, which are used for reasoning about the correctness of real-time programs as well as in the expression of timing deadlines, but do not lead to any code being generated for them by a compiler. (c) 2006 Elsevier B.V. All rights reserved.

Validity of verbal autopsy procedures for determining cause of death in Tanzania

Objectives: To validate verbal autopsy (VA) procedures for use in sample vital registration. Verbal autopsy is an important method for deriving cause-specific mortality estimates where disease burdens are greatest and routine cause-specific mortality data do not exist. Methods: Verbal autopsies and medical records (MR) were collected for 3123 deaths in the perinatal/neonatal period, post-neonatal < 5 age group, and for ages of 5 years and over in Tanzania. Causes of death were assigned by physician panels using the International Classification of Disease, revision 10. Validity was measured by: cause-specific mortality fractions (CSMF); sensitivity; specificity and positive predictive value. Medical record diagnoses were scored for degree of uncertainty, and sensitivity and specificity adjusted. Criteria for evaluating VA performance in generating true proportional mortality were applied. Results: Verbal autopsy produced accurate CSMFs for nine causes in different age groups: birth asphyxia; intrauterine complications; pneumonia; HIV/AIDS; malaria (adults); tuberculosis; cerebrovascular diseases; injuries and direct maternal causes. Results for 20 other causes approached the threshold for good performance. Conclusions: Verbal autopsy reliably estimated CSMFs for diseases of public health importance in all age groups. Further validation is needed to assess reasons for lack of positive results for some conditions.

Correct procedures for the calculation of heats of adsorption for heterogeneous adsorbents from molecular simulation

Several procedures for calculating the heat of adsorption from Monte Carlo simulations for a heterogeneous adsorbent are presented. Simulations have been performed to generate isotherms for nitrogen at 77 K and methane at 273.15 K in graphitic slit pores of various widths. The procedures were then applied to calculate the heat of adsorption of an activated carbon with an arbitrary pore size distribution. The consistency of the different procedures shows them to be correct in calculating interaction energy contributions to the heat of adsorption. The currently favored procedure for this type of calculation, from the literature, is shown to be incorrect and in serious error when calculating the heat of adsorption of activated carbon.

Exclusionary DNA of forensic workers and Australian forensic procedures legislation

Consideration of regulatory issues covering exclusionary DNA of forensic workers - probative effect of eliminating extraneous DNA in a criminal prosecution - current regulatory scheme leaves the legal position of forensic workers' exclusionary DNA obscure.