10 CFR 26.111 - Checking the acceptability of the urine specimen.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 10 Energy 1 2013-01-01 2013-01-01 false Checking the acceptability of the urine specimen. 26.111 Section 26.111 Energy NUCLEAR REGULATORY COMMISSION FITNESS FOR DUTY PROGRAMS Collecting Specimens for..., the collector shall measure the temperature of the specimen. The temperature-measuring device used...

10 CFR 26.111 - Checking the acceptability of the urine specimen.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 10 Energy 1 2012-01-01 2012-01-01 false Checking the acceptability of the urine specimen. 26.111 Section 26.111 Energy NUCLEAR REGULATORY COMMISSION FITNESS FOR DUTY PROGRAMS Collecting Specimens for..., the collector shall measure the temperature of the specimen. The temperature-measuring device used...

10 CFR 26.111 - Checking the acceptability of the urine specimen.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 10 Energy 1 2014-01-01 2014-01-01 false Checking the acceptability of the urine specimen. 26.111 Section 26.111 Energy NUCLEAR REGULATORY COMMISSION FITNESS FOR DUTY PROGRAMS Collecting Specimens for..., the collector shall measure the temperature of the specimen. The temperature-measuring device used...

45 CFR 201.67 - Treatment of uncashed or cancelled checks.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 45 Public Welfare 2 2014-10-01 2012-10-01 true Treatment of uncashed or cancelled checks. 201.67 Section 201.67 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES...

45 CFR 201.67 - Treatment of uncashed or cancelled checks.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 45 Public Welfare 2 2012-10-01 2012-10-01 false Treatment of uncashed or cancelled checks. 201.67 Section 201.67 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES...

45 CFR 205.32 - Procedures for issuance of replacement checks.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 45 Public Welfare 2 2012-10-01 2012-10-01 false Procedures for issuance of replacement checks. 205.32 Section 205.32 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES...

45 CFR 201.67 - Treatment of uncashed or cancelled checks.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 45 Public Welfare 2 2010-10-01 2010-10-01 false Treatment of uncashed or cancelled checks. 201.67 Section 201.67 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES...

45 CFR 205.32 - Procedures for issuance of replacement checks.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 45 Public Welfare 2 2014-10-01 2012-10-01 true Procedures for issuance of replacement checks. 205.32 Section 205.32 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES...

45 CFR 205.32 - Procedures for issuance of replacement checks.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 45 Public Welfare 2 2013-10-01 2012-10-01 true Procedures for issuance of replacement checks. 205.32 Section 205.32 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES...

45 CFR 205.32 - Procedures for issuance of replacement checks.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 45 Public Welfare 2 2010-10-01 2010-10-01 false Procedures for issuance of replacement checks. 205.32 Section 205.32 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES...

45 CFR 205.32 - Procedures for issuance of replacement checks.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 45 Public Welfare 2 2011-10-01 2011-10-01 false Procedures for issuance of replacement checks. 205.32 Section 205.32 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES...

45 CFR 201.67 - Treatment of uncashed or cancelled checks.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 45 Public Welfare 2 2013-10-01 2012-10-01 true Treatment of uncashed or cancelled checks. 201.67 Section 201.67 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES...

45 CFR 201.67 - Treatment of uncashed or cancelled checks.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 45 Public Welfare 2 2011-10-01 2011-10-01 false Treatment of uncashed or cancelled checks. 201.67 Section 201.67 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN SERVICES...

14 CFR 91.1103 - Pilots: Initial, transition, upgrade, requalification, and differences flight training.

Code of Federal Regulations, 2013 CFR

2013-01-01

... simulator or training device; and (2) A flight check in the aircraft or a check in the simulator or training..., requalification, and differences flight training. 91.1103 Section 91.1103 Aeronautics and Space FEDERAL AVIATION... OPERATING AND FLIGHT RULES Fractional Ownership Operations Program Management § 91.1103 Pilots: Initial...

14 CFR 91.1103 - Pilots: Initial, transition, upgrade, requalification, and differences flight training.

Code of Federal Regulations, 2014 CFR

2014-01-01

... simulator or training device; and (2) A flight check in the aircraft or a check in the simulator or training..., requalification, and differences flight training. 91.1103 Section 91.1103 Aeronautics and Space FEDERAL AVIATION... OPERATING AND FLIGHT RULES Fractional Ownership Operations Program Management § 91.1103 Pilots: Initial...

14 CFR 91.1103 - Pilots: Initial, transition, upgrade, requalification, and differences flight training.

Code of Federal Regulations, 2011 CFR

2011-01-01

... simulator or training device; and (2) A flight check in the aircraft or a check in the simulator or training..., requalification, and differences flight training. 91.1103 Section 91.1103 Aeronautics and Space FEDERAL AVIATION... OPERATING AND FLIGHT RULES Fractional Ownership Operations Program Management § 91.1103 Pilots: Initial...

14 CFR 91.1103 - Pilots: Initial, transition, upgrade, requalification, and differences flight training.

Code of Federal Regulations, 2012 CFR

2012-01-01

... simulator or training device; and (2) A flight check in the aircraft or a check in the simulator or training..., requalification, and differences flight training. 91.1103 Section 91.1103 Aeronautics and Space FEDERAL AVIATION... OPERATING AND FLIGHT RULES Fractional Ownership Operations Program Management § 91.1103 Pilots: Initial...

14 CFR 91.1103 - Pilots: Initial, transition, upgrade, requalification, and differences flight training.

Code of Federal Regulations, 2010 CFR

2010-01-01

... simulator or training device; and (2) A flight check in the aircraft or a check in the simulator or training..., requalification, and differences flight training. 91.1103 Section 91.1103 Aeronautics and Space FEDERAL AVIATION... OPERATING AND FLIGHT RULES Fractional Ownership Operations Program Management § 91.1103 Pilots: Initial...

40 CFR 86.321-79 - NDIR water rejection ratio check.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 40 Protection of Environment 19 2013-07-01 2013-07-01 false NDIR water rejection ratio check. 86.321-79 Section 86.321-79 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE HIGHWAY VEHICLES AND ENGINES Emission Regulations for New Gasoline-Fueled and...

SUMMARY OF EQUATIONS FOR EFFECT OF SHIP ATTITUDE AND SHIP MOTION ON PRIMARY COOLANT SYSTEM FLOW RATES

DOE Office of Scientific and Technical Information (OSTI.GOV)

Stevens, H.E. Jr.

1960-02-16

SYNFAR, the buckling, reflector saviags, flux, and reactivity segments of the pilot code, was assembled, checked out, and placed in production status. A reduction of 50% in the computation time required for SYNFAR was achieved through incorporation of a convergence acceleration technique. Modification of SYNFAR to perrait computation of dynamic flux and reactivity was raade and the option was prepared for checkout. Retails of the APWRC Error and Exit Diagnosis package and the APWRC Library Tape System are given. The latter was checked out except for the simultaneous tape shifting fuaction. Digitalization of basic cross section data was completed formore » fifteen materials. The portion of the Cross Section Data Program which converts the punched card data to magnetic tape form, interpolating as necessary to obtain data at 1001 energy levels, was completed and checked out. The Breit-Wigner Analysis Program, used with the Cross Section Data Program, was checked out. A listing of the Fortran source program, containing definitions of terms used, fiow diagrams, input data forms, and a sample caloulation is contained. The theory and equations developed to compute the scattering parametera, mu and xi , also used by the Croas Section Data Program, were developed. Checkout of the corresponding program, XIMU, was started. Theory and equations for computing an inelastic scattering matrix, for use with the Cross Section Data Program, were developed and a FORTRAN program for evaluating them was started. An aralysis of the results of the experimental program was started using SYNFAR. Multiplication factors for the two cores studied, Nos. 453 and 454, agreed with the experimental value of 1.00 within 0.6%. The experimental program on Core 454 was completed. Experiments performed were determination of temperature coefficient (--8.9 x 10/sup -5/ DELTA k/k per degree centigrade at 35 deg C), per cent fiasions by subcadmium neutrons (18%), intracell thermal flux measurements, and buckling measuremerts. Core 453 was assembled. The cold clean critical mass for this core was 17.5 kg of U/sup 235/ with 134.63 grams of natural boron in the core. A complete series of clean core experiments was performed on this core. Core 452 was also assembled. The critical mass for this core was 14.4 kg of U/sup 235/ with 83.14 grams of natural boron in the core. The critical experiment control rods were calibrated. Material and dimensional specifications of the homogeneous fuel elements were prepared. A number of saruple blocks containing powdered stainless steel and lucite was pressed. Improvements in the process are being made in an attempt to minimize dimensioral variations from block to block. (See also MND-E-2119.) (auth)« less

Enforcing the minimum drinking age: state, local and agency characteristics associated with compliance checks and Cops in Shops programs.

PubMed

Montgomery, Jacob M; Foley, Kristie Long; Wolfson, Mark

2006-02-01

To identify state, local and organizational characteristics associated with local law enforcement agencies' implementation of two dramatically different approaches to enforcement of underage drinking laws: compliance checks and Cops in Shops programs. Compliance checks use underage decoys to attempt to purchase alcohol from retail merchants, while Cops in Shops programs deploy undercover law enforcement officers in alcohol outlets to detect and cite persons under the age of 21 who attempt to purchase alcohol. Cross-sectional telephone interview conducted as part of the Tobacco Enforcement Study (TES), which examined enforcement of laws related to youth access to tobacco. Data were collected in 1999 among law enforcement agencies in all 50 states of the United States. Representatives of city police departments, departments of public safety, sheriffs or county police were included (n = 920 local agencies). Alcohol compliance checks and Cops in Shops programs were the primary outcomes. Covariates included state level policies (e.g. beer tax), agency resources (e.g. number of sworn officers) and community demographics (e.g. college dormitory population). Local enforcement agencies were more likely to perform alcohol compliance checks than to have a Cops in Shops program (73.9% compared to 41.1% in cities > 25 000 and 55.7% compared to 23.9% in cities < or = 25 000). Conducting compliance checks for tobacco age-of-sale laws was positively associated with alcohol compliance checks and Cops in Shops (OR 3.30, P < 0.001; OR 1.84, P = 0.001, respectively). Having a Drug Abuse Resistance Education (DARE) officer was negatively related to conducting compliance checks (OR 0.67, P = 0.03). Special community policing units were associated with departments having Cops in Shops programs (OR 1.80, P = 0.006). This study used a nationally representative sample of communities to better understand state and local factors that shape local law enforcement agencies' use of two distinct approaches to underage drinking enforcement. The strong link observed between tobacco and alcohol compliance checks may indicate a culture within some law enforcement agencies supporting strict enforcement of age-of-sale laws.

The Software Line-up: What Reviewers Look for When Evaluating Software.

ERIC Educational Resources Information Center

ELECTRONIC Learning, 1982

1982-01-01

Contains a check list to aid teachers in evaluating software used in computer-assisted instruction on microcomputers. The evaluation form contains three sections: program description, program evaluation, and overall evaluation. A brief description of a software evaluation program in use at the Granite School District in Utah is included. (JJD)

Checking Equivalence of SPMD Programs Using Non-Interference

DTIC Science & Technology

2010-01-29

with it hopes to go beyond the limits of Moore’s law, but also worries that programming will become harder [5]. One of the reasons why parallel...array name in G or L, and e is an arithmetic expression of integer type. In the CUDA code shown in Section 3, b and t are represented by coreId and...b+ t. A second, optimized version of the program (using function “reverse2”, see Section 3) can be modeled as a tuple P2 = ( G ,L2, F 2), with G same

A rigorous approach to self-checking programming

NASA Technical Reports Server (NTRS)

Hua, Kien A.; Abraham, Jacob A.

1986-01-01

Self-checking programming is shown to be an effective concurrent error detection technique. The reliability of a self-checking program however relies on the quality of its assertion statements. A self-checking program written without formal guidelines could provide a poor coverage of the errors. A constructive technique for self-checking programming is presented. A Structured Program Design Language (SPDL) suitable for self-checking software development is defined. A set of formal rules, was also developed, that allows the transfromation of SPDL designs into self-checking designs to be done in a systematic manner.

Uptake of health checks by residents from the Danish social housing sector - a register-based cross-sectional study of patient characteristics in the 'Your Life - Your Health' program.

PubMed

Larsen, Lars Bruun; Sandbaek, Annelli; Thomsen, Janus Laust; Bjerregaard, Anne-Louise

2018-05-02

Poor uptake among socio-economically disadvantaged and susceptible populations is a well-known challenge of general health check interventions, and is widely cited as one of the reasons for the lack of population level effects seen in many studies. We report on patient characteristics among attendees and non-attendees of health checks made available to residents in the social housing sector of the municipality of Aarhus. We focus on this general population, as well as a particular sub-group living in an exceptionally deprived social housing area, and discuss the properties of intervention uptake that we need to be aware of to qualify and compare the effects of general versus targeted health checks in socially deprived areas. Cross-sectionally in a sample of 6650 residents of the Aarhus social housing sector who were invited for a health check in the first year of the 'Your Life - Your Health' program. The analyses consisted of 1) descriptive analysis of the characteristics of attenders/non-attenders, 2) unadjusted and adjusted Poisson regression to examine associations of patient characteristics and uptake of health checks, and 3) decision tree analyses (CHAID) to examine interaction and homogeneity in patient characteristics among attenders. Of the overall population 30% attended. In a nested cohort of people residing in a particularly deprived social housing settlement, 25% attended. Further, in the overall population, we found an association between the likelihood of taking up a health check and age, sex, country of origin, educational attainment, cohabitation, occupational status, and past medical treatment. In the nested cohort the association between uptake and medical treatment was non-significant, while the association between uptake and occupation was limited to people who were employed. These results resonate with past evidence on health check attendance. Attendance in the 'Your Life - Your Health' program is higher among people of a higher socio-economic status. This should be taken into consideration when analysing and interpreting the overall study effects. Moreover, the results suggest that a targeted approach in the social housing sector could be more effective than a mass screening approach. However, more information is required to make such assertion definitive.

48 CFR 52.219-19 - Small Business Concern Representation for the Small Business Competitiveness Demonstration Program.

Code of Federal Regulations, 2010 CFR

2010-10-01

... business, indicating its size range.) Offeror's number of employees for the past 12 months (check this... 48 Federal Acquisition Regulations System 2 2010-10-01 2010-10-01 false Small Business Concern Representation for the Small Business Competitiveness Demonstration Program. 52.219-19 Section 52.219-19 Federal...

40 CFR 51.359 - Quality control.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 40 Protection of Environment 2 2014-07-01 2014-07-01 false Quality control. 51.359 Section 51.359 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS REQUIREMENTS FOR... to assure test accuracy. Computer control of quality assurance checks and quality control charts...

Comparative evaluation of the drug interaction screening programs MediQ and ID PHARMA CHECK in neurological inpatients.

PubMed

Zorina, Olesya I; Haueis, Patrick; Semmler, Alexander; Marti, Isabelle; Gonzenbach, Roman R; Guzek, Markus; Kullak-Ublick, Gerd A; Weller, Michael; Russmann, Stefan

2012-08-01

The comparative evaluation of clinical decision support software (CDSS) programs regarding their sensitivity and positive predictive value for the identification of clinically relevant drug interactions. In this research, we used a cross-sectional study that identified potential drug interactions using the CDSS MediQ and the ID PHARMA CHECK in 484 neurological inpatients. Interactions were reclassified according to the Zurich Interaction System, a multidimensional classification that incorporates the Operational Classification of Drug Interactions. In 484 patients with 2812 prescriptions, MediQ and ID PHARMA CHECK generated a total of 1759 and 1082 alerts, respectively. MediQ identified 658 unique potentially interacting combinations, 8 classified as "high danger," 164 as "average danger," and 486 as "low danger." ID PHARMA CHECK detected 336 combinations assigned to one or several of 12 risk and management categories. Altogether, both CDSS issued alerts relating to 808 unique potentially interacting combinations. According to the Zurich Interaction System, 6 of these were contraindicated, 25 were provisionally contraindicated, 190 carried a conditional risk, and 587 had a minimal risk of adverse events. The positive predictive value for alerts having at least a conditional risk was 0.24 for MediQ and 0.48 for ID PHARMA CHECK. CDSS showed major differences in the identification and grading of interactions, and many interactions were only identified by one of the two CDSS. For both programs, only a small proportion of all identified interactions appeared clinically relevant, and the selected display of alerts that imply management changes is a key issue in the further development and local setup of such programs. Copyright © 2012 John Wiley & Sons, Ltd.

12 CFR 337.5 - Exemption.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 12 Banks and Banking 4 2010-01-01 2010-01-01 false Exemption. 337.5 Section 337.5 Banks and Banking FEDERAL DEPOSIT INSURANCE CORPORATION REGULATIONS AND STATEMENTS OF GENERAL POLICY UNSAFE AND UNSOUND BANKING PRACTICES § 337.5 Exemption. Check guaranty card programs, customer-sponsored credit card...

12 CFR 337.5 - Exemption.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 12 Banks and Banking 4 2011-01-01 2011-01-01 false Exemption. 337.5 Section 337.5 Banks and Banking FEDERAL DEPOSIT INSURANCE CORPORATION REGULATIONS AND STATEMENTS OF GENERAL POLICY UNSAFE AND UNSOUND BANKING PRACTICES § 337.5 Exemption. Check guaranty card programs, customer-sponsored credit card...

12 CFR 337.5 - Exemption.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 12 Banks and Banking 5 2012-01-01 2012-01-01 false Exemption. 337.5 Section 337.5 Banks and Banking FEDERAL DEPOSIT INSURANCE CORPORATION REGULATIONS AND STATEMENTS OF GENERAL POLICY UNSAFE AND UNSOUND BANKING PRACTICES § 337.5 Exemption. Check guaranty card programs, customer-sponsored credit card...

12 CFR 337.5 - Exemption.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 12 Banks and Banking 5 2014-01-01 2014-01-01 false Exemption. 337.5 Section 337.5 Banks and Banking FEDERAL DEPOSIT INSURANCE CORPORATION REGULATIONS AND STATEMENTS OF GENERAL POLICY UNSAFE AND UNSOUND BANKING PRACTICES § 337.5 Exemption. Check guaranty card programs, customer-sponsored credit card...

40 CFR 205.173-3 - Warning statement.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 40 Protection of Environment 24 2010-07-01 2010-07-01 false Warning statement. 205.173-3 Section... PROGRAMS TRANSPORTATION EQUIPMENT NOISE EMISSION CONTROLS Motorcycle Exhaust Systems § 205.173-3 Warning... of that category the manufacturer distributes into commerce: Warning: This product should be checked...

40 CFR 205.173-3 - Warning statement.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 40 Protection of Environment 25 2011-07-01 2011-07-01 false Warning statement. 205.173-3 Section... PROGRAMS TRANSPORTATION EQUIPMENT NOISE EMISSION CONTROLS Motorcycle Exhaust Systems § 205.173-3 Warning... of that category the manufacturer distributes into commerce: Warning: This product should be checked...

40 CFR 205.173-3 - Warning statement.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 40 Protection of Environment 26 2012-07-01 2011-07-01 true Warning statement. 205.173-3 Section... PROGRAMS TRANSPORTATION EQUIPMENT NOISE EMISSION CONTROLS Motorcycle Exhaust Systems § 205.173-3 Warning... of that category the manufacturer distributes into commerce: Warning: This product should be checked...

40 CFR 205.173-3 - Warning statement.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 40 Protection of Environment 26 2013-07-01 2013-07-01 false Warning statement. 205.173-3 Section... PROGRAMS TRANSPORTATION EQUIPMENT NOISE EMISSION CONTROLS Motorcycle Exhaust Systems § 205.173-3 Warning... of that category the manufacturer distributes into commerce: Warning: This product should be checked...

40 CFR 205.173-3 - Warning statement.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 40 Protection of Environment 25 2014-07-01 2014-07-01 false Warning statement. 205.173-3 Section... PROGRAMS TRANSPORTATION EQUIPMENT NOISE EMISSION CONTROLS Motorcycle Exhaust Systems § 205.173-3 Warning... of that category the manufacturer distributes into commerce: Warning: This product should be checked...

40 CFR 63.7830 - What are my monitoring requirements?

Code of Federal Regulations, 2012 CFR

2012-07-01

... equivalent means. (vi) Make monthly visual checks of bag tension on reverse air and shaker-type baghouses to....7830 Section 63.7830 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) NATIONAL EMISSION STANDARDS FOR HAZARDOUS AIR POLLUTANTS FOR SOURCE CATEGORIES (CONTINUED...

40 CFR 63.7830 - What are my monitoring requirements?

Code of Federal Regulations, 2014 CFR

2014-07-01

... equivalent means. (vi) Make monthly visual checks of bag tension on reverse air and shaker-type baghouses to...? 63.7830 Section 63.7830 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) NATIONAL EMISSION STANDARDS FOR HAZARDOUS AIR POLLUTANTS FOR SOURCE CATEGORIES...

40 CFR 63.7830 - What are my monitoring requirements?

Code of Federal Regulations, 2013 CFR

2013-07-01

... equivalent means. (vi) Make monthly visual checks of bag tension on reverse air and shaker-type baghouses to...? 63.7830 Section 63.7830 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) NATIONAL EMISSION STANDARDS FOR HAZARDOUS AIR POLLUTANTS FOR SOURCE CATEGORIES...

Addressing Dynamic Issues of Program Model Checking

NASA Technical Reports Server (NTRS)

Lerda, Flavio; Visser, Willem

2001-01-01

Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking difficult: the complexity of their state and the dynamic nature of many programs. Here we address both these issues within the context of the Java PathFinder (JPF) model checker. Firstly, we will show how the state of a Java program can be encoded efficiently and how this encoding can be exploited to improve model checking. Next we show how to use symmetry reductions to alleviate some of the problems introduced by the dynamic nature of Java programs. Lastly, we show how distributed model checking of a dynamic program can be achieved, and furthermore, how dynamic partitions of the state space can improve model checking. We support all our findings with results from applying these techniques within the JPF model checker.

75 FR 24796 - FBI Records Management Division National Name Check Program Section User Fees

Federal Register 2010, 2011, 2012, 2013, 2014

2010-05-06

... with generally accepted accounting principles, also include such expenses as capital investment... by RMD. Referencing OMB Circular A-25; the Statement of Federal Financial Accounting Standards (SFFAS... financial management directives, Grant Thornton developed a cost accounting methodology and related cost...

WASTE ANALYSIS PLAN REVIEW ADVISOR - AN INTELLIGENT DATABASE TO ASSIST RCRA PERMIT REVIEWERS

EPA Science Inventory

The Waste Analysis Plan Review Advisor (WAPRA) system assists in the review of the Waste Analysis Plan Section of RCRA Part B facility permit applications. Specifically, this program automates two functions of the waste analysis plan review. First, the system checks all wastes wh...

40 CFR 52.786 - Inspection and maintenance program.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 51, subpart G of this chapter, are used herein with the meanings so defined. (b) This regulation is... comply with the inspection standards. These may include authorization of spot checks of idle adjustments... this section. (g) No later than October 1, 1974, the State of Indiana, County of Marion, and the...

40 CFR 52.786 - Inspection and maintenance program.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 51, subpart G of this chapter, are used herein with the meanings so defined. (b) This regulation is... comply with the inspection standards. These may include authorization of spot checks of idle adjustments... this section. (g) No later than October 1, 1974, the State of Indiana, County of Marion, and the...

42 CFR 433.40 - Treatment of uncashed or cancelled (voided) Medicaid checks.

Code of Federal Regulations, 2010 CFR

2010-10-01

...) Medicaid checks. 433.40 Section 433.40 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT...) Medicaid checks. (a) Purpose. This section provides the rules to ensure that States refund the Federal...— Cancelled (voided) check means a Medicaid check issued by a State or fiscal agent which prior to its being...

Program Model Checking: A Practitioner's Guide

NASA Technical Reports Server (NTRS)

Pressburger, Thomas T.; Mansouri-Samani, Masoud; Mehlitz, Peter C.; Pasareanu, Corina S.; Markosian, Lawrence Z.; Penix, John J.; Brat, Guillaume P.; Visser, Willem C.

2008-01-01

Program model checking is a verification technology that uses state-space exploration to evaluate large numbers of potential program executions. Program model checking provides improved coverage over testing by systematically evaluating all possible test inputs and all possible interleavings of threads in a multithreaded system. Model-checking algorithms use several classes of optimizations to reduce the time and memory requirements for analysis, as well as heuristics for meaningful analysis of partial areas of the state space Our goal in this guidebook is to assemble, distill, and demonstrate emerging best practices for applying program model checking. We offer it as a starting point and introduction for those who want to apply model checking to software verification and validation. The guidebook will not discuss any specific tool in great detail, but we provide references for specific tools.

Texas International Airlines LOFT program

NASA Technical Reports Server (NTRS)

Sommerville, J.

1981-01-01

A line-oriented flight training program which allows the crew to work as a team to solve all problems, abnormal or emergency, within the crew concept. A line-oriented check ride takes place every six months for the pilot as a proficiency check. There are advantages and disadvantages to this program. One disadvantage is that since it is designed as a check-ride, the scenarios must be structured so that the average pilot will complete the check-ride without complication. This system is different from a proficiency check which can be stopped at a problem area so training to proficiency can take place before proceeding with the check.

76 FR 5830 - FBI Records Management Division; National Name Check Program Section; New User Fees Schedule

Federal Register 2010, 2011, 2012, 2013, 2014

2011-02-02

... study employed the same Activity Based Cost (ABC) accounting method detailed in the Final Rule establishing the process for setting fees (75 FR 24796 (May 6, 2010)). The ABC methodology is consistent with widely accepted accounting principles and complies with the provisions of 31 U.S.C. 9701 and other...

76 FR 11514 - Comment Request for information Collection for Employment and Training (ET) Handbook 361...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-03-02

... reliability of the performance data included in it [that] * * * describes any material inadequacies in the completeness and reliability of the data.'' (OMB Circular A-11, Section 230.2(f)). The Administrations' agenda... to operate between the mid-1970s and 2000. The WV program checked the validity of 29 report elements...

A voice-actuated wind tunnel model leak checking system

NASA Technical Reports Server (NTRS)

Larson, William E.

1989-01-01

A computer program has been developed that improves the efficiency of wind tunnel model leak checking. The program uses a voice recognition unit to relay a technician's commands to the computer. The computer, after receiving a command, can respond to the technician via a voice response unit. Information about the model pressure orifice being checked is displayed on a gas-plasma terminal. On command, the program records up to 30 seconds of pressure data. After the recording is complete, the raw data and a straight line fit of the data are plotted on the terminal. This allows the technician to make a decision on the integrity of the orifice being checked. All results of the leak check program are stored in a database file that can be listed on the line printer for record keeping purposes or displayed on the terminal to help the technician find unchecked orifices. This program allows one technician to check a model for leaks instead of the two or three previously required.

Property Differencing for Incremental Checking

NASA Technical Reports Server (NTRS)

Yang, Guowei; Khurshid, Sarfraz; Person, Suzette; Rungta, Neha

2014-01-01

This paper introduces iProperty, a novel approach that facilitates incremental checking of programs based on a property di erencing technique. Speci cally, iProperty aims to reduce the cost of checking properties as they are initially developed and as they co-evolve with the program. The key novelty of iProperty is to compute the di erences between the new and old versions of expected properties to reduce the number and size of the properties that need to be checked during the initial development of the properties. Furthermore, property di erencing is used in synergy with program behavior di erencing techniques to optimize common regression scenarios, such as detecting regression errors or checking feature additions for conformance to new expected properties. Experimental results in the context of symbolic execution of Java programs annotated with properties written as assertions show the e ectiveness of iProperty in utilizing change information to enable more ecient checking.

Regression Verification Using Impact Summaries

NASA Technical Reports Server (NTRS)

Backes, John; Person, Suzette J.; Rungta, Neha; Thachuk, Oksana

2013-01-01

Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.

75 FR 42585 - Airworthiness Directives; Empresa Brasileira de Aeronautica S.A. (EMBRAER) Model ERJ 170 and ERJ...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-07-22

... (Low Stage Bleed Check Valve) specified in Section 1 of the EMBRAER 170 Maintenance Review Board Report...-11-02-002 (Low Stage Bleed Check Valve), specified in Section 1 of the EMBRAER 170 Maintenance Review... Task 36-11-02-002 (Low Stage Bleed Check Valve) specified in Section 1 of the EMBRAER 170 Maintenance...

31 CFR 515.405 - Exportation of securities, currency, checks, drafts and promissory notes.

Code of Federal Regulations, 2010 CFR

2010-07-01

..., checks, drafts and promissory notes. 515.405 Section 515.405 Money and Finance: Treasury Regulations..., drafts and promissory notes. Section 515.201 prohibits the exportation of securities, currency, checks, drafts and promissory notes to a designated foreign country. ...

31 CFR 515.405 - Exportation of securities, currency, checks, drafts and promissory notes.

Code of Federal Regulations, 2014 CFR

2014-07-01

..., checks, drafts and promissory notes. 515.405 Section 515.405 Money and Finance: Treasury Regulations..., drafts and promissory notes. Section 515.201 prohibits the exportation of securities, currency, checks, drafts and promissory notes to a designated foreign country. ...

31 CFR 515.405 - Exportation of securities, currency, checks, drafts and promissory notes.

Code of Federal Regulations, 2012 CFR

2012-07-01

..., checks, drafts and promissory notes. 515.405 Section 515.405 Money and Finance: Treasury Regulations..., drafts and promissory notes. Section 515.201 prohibits the exportation of securities, currency, checks, drafts and promissory notes to a designated foreign country. ...

31 CFR 515.405 - Exportation of securities, currency, checks, drafts and promissory notes.

Code of Federal Regulations, 2013 CFR

2013-07-01

..., checks, drafts and promissory notes. 515.405 Section 515.405 Money and Finance: Treasury Regulations..., drafts and promissory notes. Section 515.201 prohibits the exportation of securities, currency, checks, drafts and promissory notes to a designated foreign country. ...

31 CFR 515.405 - Exportation of securities, currency, checks, drafts and promissory notes.

Code of Federal Regulations, 2011 CFR

2011-07-01

..., checks, drafts and promissory notes. 515.405 Section 515.405 Money and Finance: Treasury Regulations..., drafts and promissory notes. Section 515.201 prohibits the exportation of securities, currency, checks, drafts and promissory notes to a designated foreign country. ...

The use of self checks and voting in software error detection - An empirical study

NASA Technical Reports Server (NTRS)

Leveson, Nancy G.; Cha, Stephen S.; Knight, John C.; Shimeall, Timothy J.

1990-01-01

The results of an empirical study of software error detection using self checks and N-version voting are presented. Working independently, each of 24 programmers first prepared a set of self checks using just the requirements specification of an aerospace application, and then each added self checks to an existing implementation of that specification. The modified programs were executed to measure the error-detection performance of the checks and to compare this with error detection using simple voting among multiple versions. The analysis of the checks revealed that there are great differences in the ability of individual programmers to design effective checks. It was found that some checks that might have been effective failed to detect an error because they were badly placed, and there were numerous instances of checks signaling nonexistent errors. In general, specification-based checks alone were not as effective as specification-based checks combined with code-based checks. Self checks made it possible to identify faults that had not been detected previously by voting 28 versions of the program over a million randomly generated inputs. This appeared to result from the fact that the self checks could examine the internal state of the executing program, whereas voting examines only final results of computations. If internal states had to be identical in N-version voting systems, then there would be no reason to write multiple versions.

30 CFR 57.11058 - Check-in, check-out system.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Check-in, check-out system. 57.11058 Section 57... Escapeways Escapeways-Underground Only § 57.11058 Check-in, check-out system. Each operator of an underground mine shall establish a check-in and check-out system which shall provide an accurate record of persons...

30 CFR 57.11058 - Check-in, check-out system.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Check-in, check-out system. 57.11058 Section 57... Escapeways Escapeways-Underground Only § 57.11058 Check-in, check-out system. Each operator of an underground mine shall establish a check-in and check-out system which shall provide an accurate record of persons...

30 CFR 57.11058 - Check-in, check-out system.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Check-in, check-out system. 57.11058 Section 57... Escapeways Escapeways-Underground Only § 57.11058 Check-in, check-out system. Each operator of an underground mine shall establish a check-in and check-out system which shall provide an accurate record of persons...

30 CFR 57.11058 - Check-in, check-out system.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Check-in, check-out system. 57.11058 Section 57... Escapeways Escapeways-Underground Only § 57.11058 Check-in, check-out system. Each operator of an underground mine shall establish a check-in and check-out system which shall provide an accurate record of persons...

30 CFR 57.11058 - Check-in, check-out system.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Check-in, check-out system. 57.11058 Section 57... Escapeways Escapeways-Underground Only § 57.11058 Check-in, check-out system. Each operator of an underground mine shall establish a check-in and check-out system which shall provide an accurate record of persons...

30 CFR 75.902-2 - Approved ground check systems not employing pilot check wires.

Code of Federal Regulations, 2014 CFR

2014-07-01

... pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only if... ground continuity is broken. ...

30 CFR 75.902-2 - Approved ground check systems not employing pilot check wires.

Code of Federal Regulations, 2012 CFR

2012-07-01

... pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only if... ground continuity is broken. ...

30 CFR 75.902-2 - Approved ground check systems not employing pilot check wires.

Code of Federal Regulations, 2013 CFR

2013-07-01

... pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only if... ground continuity is broken. ...

30 CFR 77.902-2 - Approved ground check systems not employing pilot check wires.

Code of Federal Regulations, 2010 CFR

2010-07-01

... pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires shall be approved by the Secretary only after it has been determined that the system...

30 CFR 77.902-2 - Approved ground check systems not employing pilot check wires.

Code of Federal Regulations, 2011 CFR

2011-07-01

... pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires shall be approved by the Secretary only after it has been determined that the system...

30 CFR 77.902-2 - Approved ground check systems not employing pilot check wires.

Code of Federal Regulations, 2012 CFR

2012-07-01

... pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires shall be approved by the Secretary only after it has been determined that the system...

30 CFR 77.902-2 - Approved ground check systems not employing pilot check wires.

Code of Federal Regulations, 2013 CFR

2013-07-01

... pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires shall be approved by the Secretary only after it has been determined that the system...

30 CFR 77.902-2 - Approved ground check systems not employing pilot check wires.

Code of Federal Regulations, 2014 CFR

2014-07-01

... pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires shall be approved by the Secretary only after it has been determined that the system...

49 CFR 1544.230 - Fingerprint-based criminal history records checks (CHRC): Flightcrew members.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 49 Transportation 9 2011-10-01 2011-10-01 false Fingerprint-based criminal history records checks (CHRC): Flightcrew members. 1544.230 Section 1544.230 Transportation Other Regulations Relating to... Fingerprint-based criminal history records checks (CHRC): Flightcrew members. (a) Scope. This section applies...

49 CFR 1544.230 - Fingerprint-based criminal history records checks (CHRC): Flightcrew members.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 49 Transportation 9 2013-10-01 2013-10-01 false Fingerprint-based criminal history records checks (CHRC): Flightcrew members. 1544.230 Section 1544.230 Transportation Other Regulations Relating to... Fingerprint-based criminal history records checks (CHRC): Flightcrew members. (a) Scope. This section applies...

49 CFR 1544.230 - Fingerprint-based criminal history records checks (CHRC): Flightcrew members.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 49 Transportation 9 2012-10-01 2012-10-01 false Fingerprint-based criminal history records checks (CHRC): Flightcrew members. 1544.230 Section 1544.230 Transportation Other Regulations Relating to... Fingerprint-based criminal history records checks (CHRC): Flightcrew members. (a) Scope. This section applies...

49 CFR 1544.230 - Fingerprint-based criminal history records checks (CHRC): Flightcrew members.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 49 Transportation 9 2014-10-01 2014-10-01 false Fingerprint-based criminal history records checks (CHRC): Flightcrew members. 1544.230 Section 1544.230 Transportation Other Regulations Relating to... Fingerprint-based criminal history records checks (CHRC): Flightcrew members. (a) Scope. This section applies...

49 CFR 1544.230 - Fingerprint-based criminal history records checks (CHRC): Flightcrew members.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 49 Transportation 9 2010-10-01 2010-10-01 false Fingerprint-based criminal history records checks (CHRC): Flightcrew members. 1544.230 Section 1544.230 Transportation Other Regulations Relating to... Fingerprint-based criminal history records checks (CHRC): Flightcrew members. (a) Scope. This section applies...

30 CFR 75.902-2 - Approved ground check systems not employing pilot check wires.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Approved ground check systems not employing pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only if...

30 CFR 75.902-2 - Approved ground check systems not employing pilot check wires.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Approved ground check systems not employing pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only if...

14 CFR 91.1051 - Pilot safety background check.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 2 2011-01-01 2011-01-01 false Pilot safety background check. 91.1051... Operations Program Management § 91.1051 Pilot safety background check. Within 90 days of an individual beginning service as a pilot, the program manager must request the following information: (a) FAA records...

76 FR 31823 - Regulation of Fractional Aircraft Ownership Programs and On-Demand Operations; Technical Amendment

Federal Register 2010, 2011, 2012, 2013, 2014

2011-06-02

... one revision to the final rule. The language in Sec. 91.1091(f)(2) incorrectly uses the term ``check... Sec. 91.1091(f)(2). Because the section title applies to flight instructors it is obvious that the use... Civil Aviation (61 Stat. 1180). 0 2. Amend Sec. 91.1091 by revising paragraph (f)(2) to read as follows...

Check & Connect: The Importance of Relationships for Promoting Engagement with School

ERIC Educational Resources Information Center

Anderson, Amy R.; Christenson, Sandra L.; Sinclair, Mary F.; Lehr, Camilla A.

2004-01-01

The purpose of this study was to examine whether the closeness and quality of relationships between intervention staff and students involved in the Check & Connect program were associated with improved student engagement in school. Participants included 80 elementary and middle school students referred to the Check & Connect program for poor…

14 CFR 121.411 - Qualifications: Check airmen (airplane) and check airmen (simulator).

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 3 2012-01-01 2012-01-01 false Qualifications: Check airmen (airplane) and... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). (a) For the purposes of this section and § 121.413: (1) A check airman (airplane) is a person who is qualified, and permitted...

14 CFR 121.411 - Qualifications: Check airmen (airplane) and check airmen (simulator).

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Qualifications: Check airmen (airplane) and... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). (a) For the purposes of this section and § 121.413: (1) A check airman (airplane) is a person who is qualified, and permitted...

14 CFR 121.411 - Qualifications: Check airmen (airplane) and check airmen (simulator).

Code of Federal Regulations, 2013 CFR

2013-01-01

... 14 Aeronautics and Space 3 2013-01-01 2013-01-01 false Qualifications: Check airmen (airplane) and... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). (a) For the purposes of this section and § 121.413: (1) A check airman (airplane) is a person who is qualified, and permitted...

14 CFR 121.411 - Qualifications: Check airmen (airplane) and check airmen (simulator).

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 3 2010-01-01 2010-01-01 false Qualifications: Check airmen (airplane) and... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). (a) For the purposes of this section and § 121.413: (1) A check airman (airplane) is a person who is qualified, and permitted...

40 CFR 53.52 - Leak check test.

Code of Federal Regulations, 2013 CFR

2013-07-01

... be verified at the highest and lowest pressures and temperatures used in the tests and shall be... 40 Protection of Environment 6 2013-07-01 2013-07-01 false Leak check test. 53.52 Section 53.52... Leak check test. (a) Overview. In section 7.4.6 of 40 CFR part 50, appendix L, the sampler is required...

An initial psychometric evaluation and exploratory cross-sectional study of the body checking questionnaire among Brazilian women.

PubMed

Campana, Angela Nogueira Neves Betanho; Swami, Viren; Onodera, Carolina Mie Kawagosi; da Silva, Dirceu; Tavares, Maria da Consolação Gomes Cunha Fernandes

2013-01-01

Body checking is considered an expression of an excessive preoccupation with appearance. The first aim of this study was to evaluate the psychometric properties of a Brazilian Portuguese version of the Body Checking Questionnaire (BCQ). Additionally, we wanted to examine the questionnaire's associations with body avoidance behaviour, body mass index, dietary habits, and the intensity, frequency, and length of physical exercise. Finally, we also examined the differences between the total BCQ score and the individual BCQ factor scores. Differences between active and sedentary persons and between non-dieters and those on weight-loss diets were also analyzed. For the psychometric study, 546 female public university students from four different courses were surveyed. Two minor samples of university students and eating disorders women were also recruited. In the second part of the study, 403 women were recruited from weight-loss programs, gyms, and a university. All participants were verbally invited to participate in the research and voluntarily took part. Confirmatory factor analysis showed a good fit to the original model of the Brazilian BCQ that retained all 23 items. Satisfactory evidence of construct validity and internal consistency were also generated through analysis of factor loadings, t-values, Cronbach's alpha, and construct reliability tests. The results also showed associations among body checking and body avoidance, body satisfaction, social anxiety, body mass index, and the frequency and intensity of physical exercise. Significant differences were found between non-dieters and weight-loss dieters for all BCQ factors and the total BCQ score. For physically active and sedentary persons, a significant difference was only observed for idiosyncratic checking behaviour. In conclusion, the BCQ appears to be a valid and reliable scale for Brazilian research, and the associations and differences found in this study suggest that women at gyms and especially in weight-loss programs should be targeted for future body checking studies.

Coverage Metrics for Model Checking

NASA Technical Reports Server (NTRS)

Penix, John; Visser, Willem; Norvig, Peter (Technical Monitor)

2001-01-01

When using model checking to verify programs in practice, it is not usually possible to achieve complete coverage of the system. In this position paper we describe ongoing research within the Automated Software Engineering group at NASA Ames on the use of test coverage metrics to measure partial coverage and provide heuristic guidance for program model checking. We are specifically interested in applying and developing coverage metrics for concurrent programs that might be used to support certification of next generation avionics software.

30 CFR 75.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

Code of Federal Regulations, 2011 CFR

2011-07-01

... wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH... Underground High-Voltage Distribution § 75.803-2 Ground check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires will be approved only if it...

30 CFR 77.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

Code of Federal Regulations, 2011 CFR

2011-07-01

... wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH... check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires shall be approved by the Secretary only if it is determined that the system...

30 CFR 77.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

Code of Federal Regulations, 2010 CFR

2010-07-01

... wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH... check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires shall be approved by the Secretary only if it is determined that the system...

30 CFR 75.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

Code of Federal Regulations, 2010 CFR

2010-07-01

... wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH... Underground High-Voltage Distribution § 75.803-2 Ground check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires will be approved only if it...

30 CFR 77.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

Code of Federal Regulations, 2013 CFR

2013-07-01

... wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH... check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires shall be approved by the Secretary only if it is determined that the system...

30 CFR 75.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

Code of Federal Regulations, 2012 CFR

2012-07-01

... wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH... Underground High-Voltage Distribution § 75.803-2 Ground check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires will be approved only if it...

30 CFR 75.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

Code of Federal Regulations, 2013 CFR

2013-07-01

... wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH... Underground High-Voltage Distribution § 75.803-2 Ground check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires will be approved only if it...

30 CFR 75.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

Code of Federal Regulations, 2014 CFR

2014-07-01

... wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH... Underground High-Voltage Distribution § 75.803-2 Ground check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires will be approved only if it...

30 CFR 77.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

Code of Federal Regulations, 2014 CFR

2014-07-01

... wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH... check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires shall be approved by the Secretary only if it is determined that the system...

30 CFR 77.803-2 - Ground check systems not employing pilot check wires; approval by the Secretary.

Code of Federal Regulations, 2012 CFR

2012-07-01

... wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH... check systems not employing pilot check wires; approval by the Secretary. Ground check systems not employing pilot check wires shall be approved by the Secretary only if it is determined that the system...

76 FR 69287 - National Instant Criminal Background Check System Section Agency Information Collection...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-11-08

... System Section Agency Information Collection Activities: Existing collection, comments requested the Voluntary Appeal File (VAF) Brochure ACTION: 60-Day Notice of Information Collection Under Review. The... Criminal Background Check System (NICS) Section has submitted the following information collection request...

A Discussion of Issues in Integrity Constraint Monitoring

NASA Technical Reports Server (NTRS)

Fernandez, Francisco G.; Gates, Ann Q.; Cooke, Daniel E.

1998-01-01

In the development of large-scale software systems, analysts, designers, and programmers identify properties of data objects in the system. The ability to check those assertions during runtime is desirable as a means of verifying the integrity of the program. Typically, programmers ensure the satisfaction of such properties through the use of some form of manually embedded assertion check. The disadvantage to this approach is that these assertions become entangled within the program code. The goal of the research is to develop an integrity constraint monitoring mechanism whereby a repository of software system properties (called integrity constraints) are automatically inserted into the program by the mechanism to check for incorrect program behaviors. Such a mechanism would overcome many of the deficiencies of manually embedded assertion checks. This paper gives an overview of the preliminary work performed toward this goal. The manual instrumentation of constraint checking on a series of test programs is discussed, This review then is used as the basis for a discussion of issues to be considered in developing an automated integrity constraint monitor.

36 CFR 504.12 - Items to be checked.

Code of Federal Regulations, 2010 CFR

2010-07-01

... Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed to... to be checked in buildings where checking facilities are provided. ...

Access to Employee Wellness Programs and Use of Preventive Care Services Among U.S. Adults.

PubMed

Isehunwa, Oluwaseyi O; Carlton, Erik L; Wang, Yang; Jiang, Yu; Kedia, Satish; Chang, Cyril F; Fijabi, Daniel; Bhuyan, Soumitra S

2017-12-01

There is little research at the national level on access to employee wellness programs and the use of preventive care services. This study examined the use of seven preventive care services among U.S working adults with access to employee wellness programs. The study population comprised 17,699 working adults aged ≥18 years, obtained from the 2015 National Health Interview Survey. Multivariate logistic regression models examined the relationship between access to employee wellness programs and use of seven preventive care services: influenza vaccination, blood pressure check, diabetes check, cholesterol check, Pap smear test, mammogram, and colon cancer screening. Data analysis began in Fall 2016. Overall, 46.6% of working adults reported having access to employee wellness programs in 2015. Working adults with access to employee wellness programs had higher odds of receiving influenza vaccination (OR=1.57, 95% CI=1.43, 1.72, p<0.001), blood pressure check (OR=2.46, 95% CI=2.17, 2.78, p<0.001), diabetes check (OR=1.30, 95% CI=1.12, 1.50, p<0.001), cholesterol check (OR=1.48, 95% CI=1.33, 1.67, p<0.001), and mammogram (OR=1.57, 95% CI=1.24, 1.98, p<0.001). However, there was no significant difference between access to employee wellness programs and the use of Pap smear test and colon cancer screening services. Using a nationally representative sample of individuals, this study found a positive association between access to employee wellness programs and the use of preventive care services. The results support favorable policies to encourage implementing wellness programs in all worksites, especially those with <50 employees. Copyright © 2017 American Journal of Preventive Medicine. Published by Elsevier Inc. All rights reserved.

UTP and Temporal Logic Model Checking

NASA Astrophysics Data System (ADS)

Anderson, Hugh; Ciobanu, Gabriel; Freitas, Leo

In this paper we give an additional perspective to the formal verification of programs through temporal logic model checking, which uses Hoare and He Unifying Theories of Programming (UTP). Our perspective emphasizes the use of UTP designs, an alphabetised relational calculus expressed as a pre/post condition pair of relations, to verify state or temporal assertions about programs. The temporal model checking relation is derived from a satisfaction relation between the model and its properties. The contribution of this paper is that it shows a UTP perspective to temporal logic model checking. The approach includes the notion of efficiency found in traditional model checkers, which reduced a state explosion problem through the use of efficient data structures

Foundations of the Bandera Abstraction Tools

NASA Technical Reports Server (NTRS)

Hatcliff, John; Dwyer, Matthew B.; Pasareanu, Corina S.; Robby

2003-01-01

Current research is demonstrating that model-checking and other forms of automated finite-state verification can be effective for checking properties of software systems. Due to the exponential costs associated with model-checking, multiple forms of abstraction are often necessary to obtain system models that are tractable for automated checking. The Bandera Tool Set provides multiple forms of automated support for compiling concurrent Java software systems to models that can be supplied to several different model-checking tools. In this paper, we describe the foundations of Bandera's data abstraction mechanism which is used to reduce the cardinality (and the program's state-space) of data domains in software to be model-checked. From a technical standpoint, the form of data abstraction used in Bandera is simple, and it is based on classical presentations of abstract interpretation. We describe the mechanisms that Bandera provides for declaring abstractions, for attaching abstractions to programs, and for generating abstracted programs and properties. The contributions of this work are the design and implementation of various forms of tool support required for effective application of data abstraction to software components written in a programming language like Java which has a rich set of linguistic features.

30 CFR 75.1715 - Identification check system.

Code of Federal Regulations, 2011 CFR

2011-07-01

... system. [Statutory Provisions] Each operator of a coal mine shall establish a check-in and check-out system which will provide positive identification of every person underground, and will provide an... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Identification check system. 75.1715 Section 75...

30 CFR 75.1715 - Identification check system.

Code of Federal Regulations, 2012 CFR

2012-07-01

... system. [Statutory Provisions] Each operator of a coal mine shall establish a check-in and check-out system which will provide positive identification of every person underground, and will provide an... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Identification check system. 75.1715 Section 75...

30 CFR 75.1715 - Identification check system.

Code of Federal Regulations, 2010 CFR

2010-07-01

... system. [Statutory Provisions] Each operator of a coal mine shall establish a check-in and check-out system which will provide positive identification of every person underground, and will provide an... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Identification check system. 75.1715 Section 75...

30 CFR 75.1715 - Identification check system.

Code of Federal Regulations, 2013 CFR

2013-07-01

... system. [Statutory Provisions] Each operator of a coal mine shall establish a check-in and check-out system which will provide positive identification of every person underground, and will provide an... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Identification check system. 75.1715 Section 75...

30 CFR 75.1715 - Identification check system.

Code of Federal Regulations, 2014 CFR

2014-07-01

... system. [Statutory Provisions] Each operator of a coal mine shall establish a check-in and check-out system which will provide positive identification of every person underground, and will provide an... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Identification check system. 75.1715 Section 75...

12 CFR 229.52 - Substitute check warranties.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Substitute check warranties. 229.52 Section 229.52 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE..., presents, or returns a substitute check (or a paper or electronic representation of a substitute check) for...

12 CFR 229.52 - Substitute check warranties.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 12 Banks and Banking 3 2011-01-01 2011-01-01 false Substitute check warranties. 229.52 Section 229.52 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE..., presents, or returns a substitute check (or a paper or electronic representation of a substitute check) for...

45 CFR 2522.205 - To whom must I apply the National Service Criminal History Check eligibility criteria?

Code of Federal Regulations, 2014 CFR

2014-10-01

... History Check eligibility criteria? 2522.205 Section 2522.205 Public Welfare Regulations Relating to... apply the National Service Criminal History Check eligibility criteria? You must apply the National Service Criminal History Check eligibility criteria to individuals serving in covered positions. A covered...

45 CFR 2522.205 - To whom must I apply the National Service Criminal History Check eligibility criteria?

Code of Federal Regulations, 2013 CFR

2013-10-01

... History Check eligibility criteria? 2522.205 Section 2522.205 Public Welfare Regulations Relating to... apply the National Service Criminal History Check eligibility criteria? You must apply the National Service Criminal History Check eligibility criteria to individuals serving in covered positions. A covered...

42 CFR 455.436 - Federal database checks.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 42 Public Health 4 2012-10-01 2012-10-01 false Federal database checks. 455.436 Section 455.436....436 Federal database checks. The State Medicaid agency must do all of the following: (a) Confirm the... databases. (b) Check the Social Security Administration's Death Master File, the National Plan and Provider...

42 CFR 455.436 - Federal database checks.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 42 Public Health 4 2011-10-01 2011-10-01 false Federal database checks. 455.436 Section 455.436....436 Federal database checks. The State Medicaid agency must do all of the following: (a) Confirm the... databases. (b) Check the Social Security Administration's Death Master File, the National Plan and Provider...

42 CFR 455.436 - Federal database checks.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 42 Public Health 4 2014-10-01 2014-10-01 false Federal database checks. 455.436 Section 455.436....436 Federal database checks. The State Medicaid agency must do all of the following: (a) Confirm the... databases. (b) Check the Social Security Administration's Death Master File, the National Plan and Provider...

42 CFR 455.436 - Federal database checks.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 42 Public Health 4 2013-10-01 2013-10-01 false Federal database checks. 455.436 Section 455.436....436 Federal database checks. The State Medicaid agency must do all of the following: (a) Confirm the... databases. (b) Check the Social Security Administration's Death Master File, the National Plan and Provider...

Factors associated with tobacco sales to minors: lessons learned from the FDA compliance checks.

PubMed

Clark, P I; Natanblut, S L; Schmitt, C L; Wolters, C; Iachan, R

2000-08-09

Tobacco products continue to be widely accessible to minors. Between 1997 and 1999, the US Food and Drug Administration (FDA) conducted more than 150,000 tobacco sales age-restriction compliance checks. Data obtained from these checks provide important guidance for curbing illegal sales. To determine which elements of the compliance checks were most highly associated with illegal sales and thereby inform best practices for conducting efficient compliance check programs. Cross-sectional analysis of FDA compliance checks in 110,062 unique establishments in 36 US states and the District of Columbia. Illegal sales of tobacco to minors at compliance checks; association of illegal sales with variables such as age and sex of the minor. The rate of illegal sales for all first compliance checks in unique stores was 26.6%. Clerk failure to request proof of age was strongly associated with illegal sales (uncorrected sales rate, 10.5% compared with 89.5% sales when proof was not requested; multivariate-adjusted odds ratio [OR], 0.03; 95% confidence interval [CI], 0.03-0.04). Other factors associated with increased illegal sales were employment of older minors to make the purchase attempt (adjusted ORs for 16- and 17-year-old minors compared with 15-year-olds were 1.52 [95% CI, 1.46-1.63] and 2.43 [95% CI, 2.31-2. 59], respectively), attempt to purchase smokeless tobacco (adjusted OR, 2.16 [95% CI, 1.90-2.45] vs cigarette purchase attempts), and performing checks at or after 5 PM (adjusted OR, 1.28 [95% CI, 1. 21-1.35] vs before 5 PM). Female sex of clerk and minor, Saturday checks, type of store (convenience store selling gas, gas station, drugstore, supermarket and general merchandise), and rural store locations also were associated with increased illegal sales. This analysis found that a request for age verification strongly predicted compliance with the law. The results suggest several ways in which the process of compliance checks might be optimized. JAMA. 2000;284:729-734

A Support System for Error Correction Questions in Programming Education

ERIC Educational Resources Information Center

Hachisu, Yoshinari; Yoshida, Atsushi

2014-01-01

For supporting the education of debugging skills, we propose a system for generating error correction questions of programs and checking the correctness. The system generates HTML files for answering questions and CGI programs for checking answers. Learners read and answer questions on Web browsers. For management of error injection, we have…

31 CFR 240.12 - Processing of checks.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Processing of checks. 240.12 Section... ON THE UNITED STATES TREASURY General Provisions § 240.12 Processing of checks. (a) Federal Reserve... examination and will provide the presenting bank with a copy or image of the check. Such presenting bank must...

31 CFR 240.12 - Processing of checks.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 31 Money and Finance:Treasury 2 2013-07-01 2013-07-01 false Processing of checks. 240.12 Section... ON THE UNITED STATES TREASURY General Provisions § 240.12 Processing of checks. (a) Federal Reserve... examination and will provide the presenting bank with a copy or image of the check. Such presenting bank must...

31 CFR 240.12 - Processing of checks.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Processing of checks. 240.12 Section... ON THE UNITED STATES TREASURY General Provisions § 240.12 Processing of checks. (a) Federal Reserve... examination and will provide the presenting bank with a copy or image of the check. Such presenting bank must...

31 CFR 240.12 - Processing of checks.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Processing of checks. 240.12 Section... ON THE UNITED STATES TREASURY General Provisions § 240.12 Processing of checks. (a) Federal Reserve... examination and will provide the presenting bank with a copy or image of the check. Such presenting bank must...

31 CFR 240.12 - Processing of checks.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Processing of checks. 240.12 Section... ON THE UNITED STATES TREASURY General Provisions § 240.12 Processing of checks. (a) Federal Reserve... examination and will provide the presenting bank with a copy or image of the check. Such presenting bank must...

25 CFR 11.421 - Bad checks.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 25 Indians 1 2010-04-01 2010-04-01 false Bad checks. 11.421 Section 11.421 Indians BUREAU OF... Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order for..., and the issuer failed to make good within 10 days after receiving notice of that refusal. ...

45 CFR 2540.201 - To whom must I apply the National Service Criminal History Check eligibility criteria?

Code of Federal Regulations, 2014 CFR

2014-10-01

... History Check eligibility criteria? 2540.201 Section 2540.201 Public Welfare Regulations Relating to... must I apply the National Service Criminal History Check eligibility criteria? You must apply the National Service Criminal History Check eligibility criteria to individuals serving in covered positions. A...

45 CFR 2551.30 - What documentation must I maintain regarding a National Service Criminal History Check?

Code of Federal Regulations, 2011 CFR

2011-10-01

... National Service Criminal History Check? 2551.30 Section 2551.30 Public Welfare Regulations Relating to... National Service Criminal History Check? You must: (a) Document in writing that you verified the identity... results of the National Service Criminal History check (unless precluded by State law) and document in...

45 CFR 2551.30 - What documentation must I maintain regarding a National Service Criminal History Check?

Code of Federal Regulations, 2012 CFR

2012-10-01

... National Service Criminal History Check? 2551.30 Section 2551.30 Public Welfare Regulations Relating to... National Service Criminal History Check? You must: (a) Document in writing that you verified the identity... results of the National Service Criminal History check (unless precluded by State law) and document in...

45 CFR 2552.30 - What documentation must I maintain regarding a National Service Criminal History Check?

Code of Federal Regulations, 2011 CFR

2011-10-01

... National Service Criminal History Check? 2552.30 Section 2552.30 Public Welfare Regulations Relating to... National Service Criminal History Check? You must: (a) Document in writing that you verified the identity... results of the National Service Criminal History check (unless precluded by State law) and document in...

45 CFR 2552.30 - What documentation must I maintain regarding a National Service Criminal History Check?

Code of Federal Regulations, 2012 CFR

2012-10-01

... National Service Criminal History Check? 2552.30 Section 2552.30 Public Welfare Regulations Relating to... National Service Criminal History Check? You must: (a) Document in writing that you verified the identity... results of the National Service Criminal History check (unless precluded by State law) and document in...

45 CFR 2540.201 - To whom must I apply the National Service Criminal History Check eligibility criteria?

Code of Federal Regulations, 2013 CFR

2013-10-01

... History Check eligibility criteria? 2540.201 Section 2540.201 Public Welfare Regulations Relating to... must I apply the National Service Criminal History Check eligibility criteria? You must apply the National Service Criminal History Check eligibility criteria to individuals serving in covered positions. A...

45 CFR 2552.30 - What documentation must I maintain regarding a National Service Criminal History Check?

Code of Federal Regulations, 2010 CFR

2010-10-01

... National Service Criminal History Check? 2552.30 Section 2552.30 Public Welfare Regulations Relating to... National Service Criminal History Check? You must: (a) Document in writing that you verified the identity... results of the National Service Criminal History check (unless precluded by State law) and document in...

45 CFR 2551.30 - What documentation must I maintain regarding a National Service Criminal History Check?

Code of Federal Regulations, 2010 CFR

2010-10-01

... National Service Criminal History Check? 2551.30 Section 2551.30 Public Welfare Regulations Relating to... National Service Criminal History Check? You must: (a) Document in writing that you verified the identity... results of the National Service Criminal History check (unless precluded by State law) and document in...

7 CFR 1944.540 - Requesting TSA checks.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 13 2010-01-01 2009-01-01 true Requesting TSA checks. 1944.540 Section 1944.540... TSA checks. (a) The initial TSA check may cover the applicant's needs for the first calendar month. If... the next whole month. (b) The initial advance of TSA grant funds may not be requested simultaneously...

30 CFR 77.902-1 - Fail safe ground check circuits; maximum voltage.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Fail safe ground check circuits; maximum voltage. 77.902-1 Section 77.902-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF... ground check circuits; maximum voltage. The maximum voltage used for ground check circuits under § 77.902...

30 CFR 77.902-1 - Fail safe ground check circuits; maximum voltage.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Fail safe ground check circuits; maximum voltage. 77.902-1 Section 77.902-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF... ground check circuits; maximum voltage. The maximum voltage used for ground check circuits under § 77.902...

30 CFR 75.803-1 - Maximum voltage ground check circuits.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Maximum voltage ground check circuits. 75.803-1 Section 75.803-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE... § 75.803-1 Maximum voltage ground check circuits. The maximum voltage used for ground check circuits...

30 CFR 75.803-1 - Maximum voltage ground check circuits.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Maximum voltage ground check circuits. 75.803-1 Section 75.803-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE... § 75.803-1 Maximum voltage ground check circuits. The maximum voltage used for ground check circuits...

Guide to Developing an Environmental Management System - Check

EPA Pesticide Factsheets

This page takes you though the basic steps (Plan, Do, Check, Act) of building an Environmental Management System (EMS) as they are outlined in the 2001 Second Edition of Environmental Management Systems: An Implementation Guide. Check section.

27 CFR 70.101 - Bad checks.

Code of Federal Regulations, 2010 CFR

2010-04-01

... paid as a penalty by the person who tendered such check, upon notice and demand, in the same manner as... is less than $500, the penalty under this section shall be $5 or the amount of such check, whichever...

27 CFR 70.101 - Bad checks.

Code of Federal Regulations, 2011 CFR

2011-04-01

... paid as a penalty by the person who tendered such check, upon notice and demand, in the same manner as... is less than $500, the penalty under this section shall be $5 or the amount of such check, whichever...

Notification: Fiscal Year 2015 Risk Assessment of EPA's Purchase Card and Convenience Check Programs

EPA Pesticide Factsheets

Project #OA-FY15-0064, August 26, 2015. The U.S. Environmental Protection Agency (EPA) Office oflnspector General (OIG) plans to begin the preliminary research phase ofauditing the agency's purchase card and convenience check programs.

Practical Formal Verification of Diagnosability of Large Models via Symbolic Model Checking

NASA Technical Reports Server (NTRS)

Cavada, Roberto; Pecheur, Charles

2003-01-01

This document reports on the activities carried out during a four-week visit of Roberto Cavada at the NASA Ames Research Center. The main goal was to test the practical applicability of the framework proposed, where a diagnosability problem is reduced to a Symbolic Model Checking problem. Section 2 contains a brief explanation of major techniques currently used in Symbolic Model Checking, and how these techniques can be tuned in order to obtain good performances when using Model Checking tools. Diagnosability is performed on large and structured models of real plants. Section 3 describes how these plants are modeled, and how models can be simplified to improve the performance of Symbolic Model Checkers. Section 4 reports scalability results. Three test cases are briefly presented, and several parameters and techniques have been applied on those test cases in order to produce comparison tables. Furthermore, comparison between several Model Checkers is reported. Section 5 summarizes the application of diagnosability verification to a real application. Several properties have been tested, and results have been highlighted. Finally, section 6 draws some conclusions, and outlines future lines of research.

45 CFR 2540.206 - What documentation must I maintain regarding a National Service Criminal History Check for a...

Code of Federal Regulations, 2014 CFR

2014-10-01

... National Service Criminal History Check for a covered position? 2540.206 Section 2540.206 Public Welfare... What documentation must I maintain regarding a National Service Criminal History Check for a covered... National Service Criminal History Check, unless precluded from doing so by State or Federal law or...

45 CFR 2540.205 - What documentation must I maintain regarding a National Service Criminal History Check for a...

Code of Federal Regulations, 2012 CFR

2012-10-01

... National Service Criminal History Check for a covered position? 2540.205 Section 2540.205 Public Welfare... What documentation must I maintain regarding a National Service Criminal History Check for a covered... Criminal History check (unless precluded by State law) and document in writing that you considered the...

45 CFR 2540.205 - What documentation must I maintain regarding a National Service Criminal History Check for a...

Code of Federal Regulations, 2011 CFR

2011-10-01

... National Service Criminal History Check for a covered position? 2540.205 Section 2540.205 Public Welfare... What documentation must I maintain regarding a National Service Criminal History Check for a covered... Criminal History check (unless precluded by State law) and document in writing that you considered the...

42 CFR 457.216 - Treatment of uncashed or canceled (voided) CHIP checks.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 42 Public Health 4 2011-10-01 2011-10-01 false Treatment of uncashed or canceled (voided) CHIP... canceled (voided) CHIP checks. (a) Purpose. This section provides rules to ensure that States refund the... section— Canceled (voided) check means an CHIP check issued by a State or fiscal agent that prior to its...

42 CFR 457.216 - Treatment of uncashed or canceled (voided) CHIP checks.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 42 Public Health 4 2014-10-01 2014-10-01 false Treatment of uncashed or canceled (voided) CHIP... canceled (voided) CHIP checks. (a) Purpose. This section provides rules to ensure that States refund the... section— Canceled (voided) check means an CHIP check issued by a State or fiscal agent that prior to its...

42 CFR 457.216 - Treatment of uncashed or canceled (voided) CHIP checks.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 42 Public Health 4 2010-10-01 2010-10-01 false Treatment of uncashed or canceled (voided) CHIP... canceled (voided) CHIP checks. (a) Purpose. This section provides rules to ensure that States refund the... section— Canceled (voided) check means an CHIP check issued by a State or fiscal agent that prior to its...

42 CFR 457.216 - Treatment of uncashed or canceled (voided) CHIP checks.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 42 Public Health 4 2012-10-01 2012-10-01 false Treatment of uncashed or canceled (voided) CHIP... canceled (voided) CHIP checks. (a) Purpose. This section provides rules to ensure that States refund the... section— Canceled (voided) check means an CHIP check issued by a State or fiscal agent that prior to its...

42 CFR 457.216 - Treatment of uncashed or canceled (voided) CHIP checks.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 42 Public Health 4 2013-10-01 2013-10-01 false Treatment of uncashed or canceled (voided) CHIP... canceled (voided) CHIP checks. (a) Purpose. This section provides rules to ensure that States refund the... section— Canceled (voided) check means an CHIP check issued by a State or fiscal agent that prior to its...

45 CFR 2540.205 - What documentation must I maintain regarding a National Service Criminal History Check for a...

Code of Federal Regulations, 2010 CFR

2010-10-01

... National Service Criminal History Check for a covered position? 2540.205 Section 2540.205 Public Welfare... What documentation must I maintain regarding a National Service Criminal History Check for a covered... Criminal History check (unless precluded by State law) and document in writing that you considered the...

Notification: Review of the U.S. Environmental Protection Agency's Purchase Card and Convenience Check Program

EPA Pesticide Factsheets

Project #OA-FY13-0116, December 20, 2012. The U.S. Environmental Protection Agency, Office of Inspector General, plans to begin preliminary research for an audit of the agency’s purchase card and convenience check programs.

MRO Sequence Checking Tool

NASA Technical Reports Server (NTRS)

Fisher, Forest; Gladden, Roy; Khanampornpan, Teerapat

2008-01-01

The MRO Sequence Checking Tool program, mro_check, automates significant portions of the MRO (Mars Reconnaissance Orbiter) sequence checking procedure. Though MRO has similar checks to the ODY s (Mars Odyssey) Mega Check tool, the checks needed for MRO are unique to the MRO spacecraft. The MRO sequence checking tool automates the majority of the sequence validation procedure and check lists that are used to validate the sequences generated by MRO MPST (mission planning and sequencing team). The tool performs more than 50 different checks on the sequence. The automation varies from summarizing data about the sequence needed for visual verification of the sequence, to performing automated checks on the sequence and providing a report for each step. To allow for the addition of new checks as needed, this tool is built in a modular fashion.

Music festival attendees' illicit drug use, knowledge and practices regarding drug content and purity: a cross-sectional survey.

PubMed

Day, Niamh; Criss, Joshua; Griffiths, Benjamin; Gujral, Shireen Kaur; John-Leader, Franklin; Johnston, Jennifer; Pit, Sabrina

2018-01-05

Drug checking is a harm reduction strategy which allows users to check the content and purity of illicit drugs. Although drug checking has been trialled internationally, with demonstrated value as a harm reduction and health promotion strategy, the use of such services in Australia remains a contentious issue. This study aimed to investigate the proportion and patterns of illicit drug use among young people, their attitudes towards drug checking at festivals and the potential impact of drug checking on intended drug use behaviour. The survey was conducted at a major Australian music festival in 2016. Data was collected from a sample of festival attendees (n = 642) aged between 18 and 30 years. A descriptive analysis of the data was performed. Nearly three-quarters (73.4%) of participants reported that they had used illicit drugs in the past 12 months, most commonly cannabis (63.9%) and ecstasy (59.8%). A large proportion of participants believed 'somewhat' or 'a lot' that drug checking services could help users seek help to reduce harm (86.5%) and that drug checking services should be combined with harm reduction advice (84.9%). However, two thirds of the participants agreed 'somewhat' or 'a lot' that drug sellers may use this service as a quality control mechanism (68.6%). Approximately half (54.4%) indicated they would be highly likely and a third (32.7%) would be somewhat likely to utilise free drug checking services should they be available at music festivals. When asked whether the results of drug checking would influence their drug use behaviour, participants reported that they would not take substances shown to contain methamphetamine (65.1%), ketamine (57.5%) or para-methoxyamphetamine (PMA) (58.4%). The majority of festival attendees aged 18-30 participating in this study reported a history of illicit drug use and were in favour of the provision of free drug checking at festivals. A considerable proportion reported that the results of drug checking would influence their drug use behaviour. The findings of this study can contribute to the debate regarding whether drug checking services could potentially play a major role in harm reduction and health promotion programming for young people attending festivals.

The Stress Check Program: a new national policy for monitoring and screening psychosocial stress in the workplace in Japan.

PubMed

Kawakami, Norito; Tsutsumi, Akizumi

2016-01-01

The Japanese government launched a new occupational health policy called the Stress Check Program. This program mandates that all workplaces with 50 or more employees conduct the Stress Check Program for workers at least once a year. This article gives a brief overview and critical review of the program. We reviewed relevant laws, guidelines, and manuals, as well as the policy development process. The policy and the components of the program were compared using available scientific evidence and trends in the management of psychosocial factors at work according to the policies and guidelines of international bodies and European countries. The process of program policy development was based on a discussion among employer and employee representatives, occupational health professionals, and mental health experts. Scientific evidence shows that mandated components of the program (i.e., feedback of stress survey results and physician's interview) may be ineffective. However, additional components recommended to employers, such as stress management skill provision and work environment improvement, in conjunction with the program may be effective in improving psychosocial stress at work. The Stress Check Program is unique compared with the global trend for psychosocial risk management because it focuses on the assessment of stress among individual workers. The new program may be effective in improving worker mental health by facilitating the psychosocial risk management approach in Japan. Concerns regarding the program include mass leakage of collected information, and possible disadvantages for workers labeled as having high stress.

Encoded physics knowledge in checking codes for nuclear cross section libraries at Los Alamos

NASA Astrophysics Data System (ADS)

Parsons, D. Kent

2017-09-01

Checking procedures for processed nuclear data at Los Alamos are described. Both continuous energy and multi-group nuclear data are verified by locally developed checking codes which use basic physics knowledge and common-sense rules. A list of nuclear data problems which have been identified with help of these checking codes is also given.

45 CFR 2540.204 - When must I conduct a National Service Criminal History Check on an individual in a covered...

Code of Federal Regulations, 2014 CFR

2014-10-01

... History Check on an individual in a covered position? 2540.204 Section 2540.204 Public Welfare Regulations... When must I conduct a National Service Criminal History Check on an individual in a covered position? (a) Timing of the National Service Criminal History Check Components. (1) You must conduct and review...

The Single Needle Lockstitch Machine. [Constructing Darts.] Module 3.

ERIC Educational Resources Information Center

South Carolina State Dept. of Education, Columbia. Office of Vocational Education.

This module on constructing darts, one in a series on the single needle lockstitch sewing machine for student self-study, contains two sections. Each section includes the following parts: an introduction, directions, an objective, learning activities, student information, student self-check, check-out activities, and an instructor's final…

The Single Needle Lockstitch Machine. [Setting Zippers.] Module 8.

ERIC Educational Resources Information Center

South Carolina State Dept. of Education, Columbia. Office of Vocational Education.

This module on setting zippers, one in a series on the single needle lockstitch sewing machine for student self-study, contains five sections. Each section includes the following parts: an introduction, directions, an objective, learning activities, student information, student self-check, check-out activities, and an instructor's final checklist.…

Report: EPA's Fiscal Year 2015 Purchase Card and Convenience Check Program Assessed as Low Risk

EPA Pesticide Factsheets

Report #16-P-0124, March 29, 2016. We determined the EPA's purchase card and convenience check program for FY 2015 to be at a low risk for illegal, improper or erroneous purchases and payments due to strengthened internal controls.

Monitoring Java Programs with Java PathExplorer

NASA Technical Reports Server (NTRS)

Havelund, Klaus; Rosu, Grigore; Clancy, Daniel (Technical Monitor)

2001-01-01

We present recent work on the development Java PathExplorer (JPAX), a tool for monitoring the execution of Java programs. JPAX can be used during program testing to gain increased information about program executions, and can potentially furthermore be applied during operation to survey safety critical systems. The tool facilitates automated instrumentation of a program's late code which will then omit events to an observer during its execution. The observer checks the events against user provided high level requirement specifications, for example temporal logic formulae, and against lower level error detection procedures, for example concurrency related such as deadlock and data race algorithms. High level requirement specifications together with their underlying logics are defined in the Maude rewriting logic, and then can either be directly checked using the Maude rewriting engine, or be first translated to efficient data structures and then checked in Java.

Notification: Fiscal Year 2016 Risk Assessment of EPA’s Purchase Card and Convenience Check Program

EPA Pesticide Factsheets

Project #OA-FY16-0229, July 14, 2016. The EPA OIG plans to begin a risk assessment of the EPA’s purchase card and convenience check program with the Office of Acquisition Management (OAM) within the Office of Administration and Resources Management (OARM).

Implementation and Impact of the Check & Connect Mentoring Program

ERIC Educational Resources Information Center

Heppen, Jessica; O'Cummings, Mindee; Poland, Lindsay; Zeiser, Krissy; Mills, Nicholas

2015-01-01

High school graduation rates remain unacceptably low in the U.S., especially among disadvantaged youth (Chapman, Laird, Ifill, & KelalRamani, 2011; Stillwell, 2010), with troubling implications for future earnings and employment status (Bureau of Labor Statistics, 2012). Check & Connect (C&C) is an individualized program that pairs…

76 FR 6786 - Notice of a Regional Project Waiver of Section 1605 (Buy American) of the American Recovery and...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-02-08

... manufactured wafer swing check valves. The wafer swing check valves will be used for the filter feed pumps as... check valves will prevent backflow into the filter feed pumps at the Glen Water Reclamation Facility in...

46 CFR 10.214 - Security Check.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 46 Shipping 1 2011-10-01 2011-10-01 false Security Check. 10.214 Section 10.214 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY MERCHANT MARINE OFFICERS AND SEAMEN MERCHANT MARINER CREDENTIAL General Requirements for All Merchant Mariner Credentials § 10.214 Security Check. Until April 15, 2009...

46 CFR 10.214 - Security Check.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 46 Shipping 1 2010-10-01 2010-10-01 false Security Check. 10.214 Section 10.214 Shipping COAST GUARD, DEPARTMENT OF HOMELAND SECURITY MERCHANT MARINE OFFICERS AND SEAMEN MERCHANT MARINER CREDENTIAL General Requirements for All Merchant Mariner Credentials § 10.214 Security Check. Until April 15, 2009...

42 CFR 35.47 - Disposition of Government checks.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 42 Public Health 1 2012-10-01 2012-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing such...

42 CFR 35.47 - Disposition of Government checks.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 42 Public Health 1 2013-10-01 2013-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing such...

42 CFR 35.47 - Disposition of Government checks.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 42 Public Health 1 2014-10-01 2014-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing such...

42 CFR 35.47 - Disposition of Government checks.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 42 Public Health 1 2011-10-01 2011-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing such...

User's manual for computer program BASEPLOT

USGS Publications Warehouse

Sanders, Curtis L.

2002-01-01

The checking and reviewing of daily records of streamflow within the U.S. Geological Survey is traditionally accomplished by hand-plotting and mentally collating tables of data. The process is time consuming, difficult to standardize, and subject to errors in computation, data entry, and logic. In addition, the presentation of flow data on the internet requires more timely and accurate computation of daily flow records. BASEPLOT was developed for checking and review of primary streamflow records within the U.S. Geological Survey. Use of BASEPLOT enables users to (1) provide efficiencies during the record checking and review process, (2) improve quality control, (3) achieve uniformity of checking and review techniques of simple stage-discharge relations, and (4) provide a tool for teaching streamflow computation techniques. The BASEPLOT program produces tables of quality control checks and produces plots of rating curves and discharge measurements; variable shift (V-shift) diagrams; and V-shifts converted to stage-discharge plots, using data stored in the U.S. Geological Survey Automatic Data Processing System database. In addition, the program plots unit-value hydrographs that show unit-value stages, shifts, and datum corrections; input shifts, datum corrections, and effective dates; discharge measurements; effective dates for rating tables; and numeric quality control checks. Checklist/tutorial forms are provided for reviewers to ensure completeness of review and standardize the review process. The program was written for the U.S. Geological Survey SUN computer using the Statistical Analysis System (SAS) software produced by SAS Institute, Incorporated.

12 CFR 229.57 - Consumer awareness.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 12 Banks and Banking 3 2011-01-01 2011-01-01 false Consumer awareness. 229.57 Section 229.57 Banks... AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks § 229.57 Consumer awareness... (b) of this section, a brief disclosure to each of its consumer customers that describes— (1) That a...

75 FR 23196 - Exchange Visitor Program-Secondary School Students

Federal Register 2010, 2011, 2012, 2013, 2014

2010-05-03

.... diplomatic and foreign policy goals by encouraging this positive academic and social interaction. Experience... currently requires a private vendor name and social security number check of all potential host family... check or the name and social security number criminal background check. NCMEC would interpret...

31 CFR 211.1 - Withholding delivery of checks.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Withholding delivery of checks. 211.1 Section 211.1 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE DELIVERY OF CHECKS AND WARRANTS TO...

7 CFR 58.243 - Checking quality.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 3 2010-01-01 2010-01-01 false Checking quality. 58.243 Section 58.243 Agriculture... Procedures § 58.243 Checking quality. All milk, milk products and dry milk products shall be subject to inspection and analysis by the dairy plant for quality and condition throughout each processing operation...

10 CFR 35.642 - Periodic spot-checks for teletherapy units.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 10 Energy 1 2014-01-01 2014-01-01 false Periodic spot-checks for teletherapy units. 35.642 Section 35.642 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Photon Emitting Remote Afterloader Units, Teletherapy Units, and Gamma Stereotactic Radiosurgery Units § 35.642 Periodic spot-checks...

10 CFR 35.642 - Periodic spot-checks for teletherapy units.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 10 Energy 1 2012-01-01 2012-01-01 false Periodic spot-checks for teletherapy units. 35.642 Section 35.642 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Photon Emitting Remote Afterloader Units, Teletherapy Units, and Gamma Stereotactic Radiosurgery Units § 35.642 Periodic spot-checks...

10 CFR 35.642 - Periodic spot-checks for teletherapy units.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 10 Energy 1 2013-01-01 2013-01-01 false Periodic spot-checks for teletherapy units. 35.642 Section 35.642 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Photon Emitting Remote Afterloader Units, Teletherapy Units, and Gamma Stereotactic Radiosurgery Units § 35.642 Periodic spot-checks...

10 CFR 35.642 - Periodic spot-checks for teletherapy units.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 10 Energy 1 2011-01-01 2011-01-01 false Periodic spot-checks for teletherapy units. 35.642 Section 35.642 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Photon Emitting Remote Afterloader Units, Teletherapy Units, and Gamma Stereotactic Radiosurgery Units § 35.642 Periodic spot-checks...

47 CFR 1.1165 - Payment by cashier's check for regulatory fees.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 47 Telecommunication 1 2010-10-01 2010-10-01 false Payment by cashier's check for regulatory fees. 1.1165 Section 1.1165 Telecommunication FEDERAL COMMUNICATIONS COMMISSION GENERAL PRACTICE AND... regulatory fees. Payment by cashier's check may be required when a person or organization makes payment, on...

7 CFR 1421.11 - Spot checks.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 10 2010-01-01 2010-01-01 false Spot checks. 1421.11 Section 1421.11 Agriculture... ASSISTANCE LOANS AND LOAN DEFICIENCY PAYMENTS FOR 2008 THROUGH 2012 General § 1421.11 Spot checks. (a) CCC... CCC access to the farm and storage facility as necessary to conduct collateral inspections, or “spot...

Staying out of the Cold.

ERIC Educational Resources Information Center

Levinson, Patrick J.

1996-01-01

Discusses how annual boiler maintenance can help cut fuel costs and prevent downtime. Outlines a cleaning program, which includes inspecting the fireside of the boiler, checking the refractory, and checking the waterside. Describes other maintenance measures, such as checking hydraulic fluid levels, and offers tips for analyzing combustion. (RJM)

Automated generation of a World Wide Web-based data entry and check program for medical applications.

PubMed

Kiuchi, T; Kaihara, S

1997-02-01

The World Wide Web-based form is a promising method for the construction of an on-line data collection system for clinical and epidemiological research. It is, however, laborious to prepare a common gateway interface (CGI) program for each project, which the World Wide Web server needs to handle the submitted data. In medicine, it is even more laborious because the CGI program must check deficits, type, ranges, and logical errors (bad combination of data) of entered data for quality assurance as well as data length and meta-characters of the entered data to enhance the security of the server. We have extended the specification of the hypertext markup language (HTML) form to accommodate information necessary for such data checking and we have developed software named AUTOFORM for this purpose. The software automatically analyzes the extended HTML form and generates the corresponding ordinary HTML form, 'Makefile', and C source of CGI programs. The resultant CGI program checks the entered data through the HTML form, records them in a computer, and returns them to the end-user. AUTOFORM drastically reduces the burden of development of the World Wide Web-based data entry system and allows the CGI programs to be more securely and reliably prepared than had they been written from scratch.

Content Validation and Semantic Evaluation of a Check-List Elaborated for the Prevention of Gluten Cross-Contamination in Food Services.

PubMed

Farage, Priscila; Puppin Zandonadi, Renata; Cortez Ginani, Verônica; Gandolfi, Lenora; Pratesi, Riccardo; de Medeiros Nóbrega, Yanna Karla

2017-01-06

Conditions associated to the consumption of gluten have emerged as a major health care concern and the treatment consists on a lifelong gluten-free diet. Providing safe food for these individuals includes adapting to safety procedures within the food chain and preventing gluten cross-contamination in gluten-free food. However, a gluten cross-contamination prevention protocol or check-list has not yet been validated. Therefore, the aim of this study was to perform the content validation and semantic evaluation of a check-list elaborated for the prevention of gluten cross-contamination in food services. The preliminary version of the check-list was elaborated based on the Brazilian resolution for food safety Collegiate Board Resolution 216 (RDC 216) and Collegiate Board Resolution 275 (RDC 275), the standard 22000 from the International Organization for Standardization (ISO 22000) and the Canadian Celiac Association Gluten-Free Certification Program documents. Seven experts with experience in the area participated in the check-list validation and semantic evaluation. The criteria used for the approval of the items, as to their importance for the prevention of gluten cross-contamination and clarity of the wording, was the achievement of a minimal of 80% of agreement between the experts (W-values ≥ 0.8). Moreover, items should have a mean ≥4 in the evaluation of importance (Likert scale from 1 to 5) and clarity (Likert scale from 0 to 5) in order to be maintained in the instrument. The final version of the check-list was composed of 84 items, divided into 12 sections. After being redesigned and re-evaluated, the items were considered important and comprehensive by the experts (both with W-values ≥ 0.89). The check-list developed was validated with respect to content and approved in the semantic evaluation.

Content Validation and Semantic Evaluation of a Check-List Elaborated for the Prevention of Gluten Cross-Contamination in Food Services

PubMed Central

Farage, Priscila; Puppin Zandonadi, Renata; Cortez Ginani, Verônica; Gandolfi, Lenora; Pratesi, Riccardo; de Medeiros Nóbrega, Yanna Karla

2017-01-01

Conditions associated to the consumption of gluten have emerged as a major health care concern and the treatment consists on a lifelong gluten-free diet. Providing safe food for these individuals includes adapting to safety procedures within the food chain and preventing gluten cross-contamination in gluten-free food. However, a gluten cross-contamination prevention protocol or check-list has not yet been validated. Therefore, the aim of this study was to perform the content validation and semantic evaluation of a check-list elaborated for the prevention of gluten cross-contamination in food services. The preliminary version of the check-list was elaborated based on the Brazilian resolution for food safety Collegiate Board Resolution 216 (RDC 216) and Collegiate Board Resolution 275 (RDC 275), the standard 22000 from the International Organization for Standardization (ISO 22000) and the Canadian Celiac Association Gluten-Free Certification Program documents. Seven experts with experience in the area participated in the check-list validation and semantic evaluation. The criteria used for the approval of the items, as to their importance for the prevention of gluten cross-contamination and clarity of the wording, was the achievement of a minimal of 80% of agreement between the experts (W-values ≥ 0.8). Moreover, items should have a mean ≥4 in the evaluation of importance (Likert scale from 1 to 5) and clarity (Likert scale from 0 to 5) in order to be maintained in the instrument. The final version of the check-list was composed of 84 items, divided into 12 sections. After being redesigned and re-evaluated, the items were considered important and comprehensive by the experts (both with W-values ≥ 0.89). The check-list developed was validated with respect to content and approved in the semantic evaluation. PMID:28067805

Implementing a Tier 2 Behavioral Intervention in a Therapeutic Alternative High School Program

ERIC Educational Resources Information Center

Fallon, Lindsay M.; Feinberg, Adam B.

2017-01-01

The research base for Check-in, Check-out (CICO), a targeted behavioral intervention within a schoolwide positive behavioral interventions and supports framework, is growing. However, little has been written about its application in therapeutic alternative programs. To extend the literature base, the current article describes a study conducted…

Adapting the Behavior Education Program for Preschool Settings

ERIC Educational Resources Information Center

Steed, Elizabeth A.

2011-01-01

Behavior Education Program (BEP) is the most researched targeted intervention that is used in schoolwide positive behavior intervention and supports (PBIS). It is a daily check-in and check-out system in which students receive extra attention for positive social behavior throughout their school day. This extra attention is intended to prevent…

Automata-Based Verification of Temporal Properties on Running Programs

NASA Technical Reports Server (NTRS)

Giannakopoulou, Dimitra; Havelund, Klaus; Lan, Sonie (Technical Monitor)

2001-01-01

This paper presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to Buchi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.

26 CFR 301.6311-1 - Payment by check or money order.

Code of Federal Regulations, 2010 CFR

2010-04-01

... revenue taxes, provided the checks, drafts, or money orders are collectible in United States currency at... exchange or other charges. As used in this section, the term “money order” means: (a) U.S. postal, bank... may pay his tax by postal money order of such country. For a list of such countries, see section 171...

45 CFR 2540.203 - When must I conduct a State criminal registry check and a National Sex Offender Public Web site...

Code of Federal Regulations, 2010 CFR

2010-10-01

... check and a National Sex Offender Public Web site check on an individual in a covered position? 2540.203... National Sex Offender Public Web site check on an individual in a covered position? (a) The State criminal... enrolls in, or is hired by, your program on or after October 1, 2009. (b) The National Sex Offender Public...

45 CFR 2540.203 - When must I conduct a State criminal registry check and a National Sex Offender Public Web site...

Code of Federal Regulations, 2012 CFR

2012-10-01

... check and a National Sex Offender Public Web site check on an individual in a covered position? 2540.203... National Sex Offender Public Web site check on an individual in a covered position? (a) The State criminal... enrolls in, or is hired by, your program on or after October 1, 2009. (b) The National Sex Offender Public...

45 CFR 2540.203 - When must I conduct a State criminal registry check and a National Sex Offender Public Web site...

Code of Federal Regulations, 2011 CFR

2011-10-01

... check and a National Sex Offender Public Web site check on an individual in a covered position? 2540.203... National Sex Offender Public Web site check on an individual in a covered position? (a) The State criminal... enrolls in, or is hired by, your program on or after October 1, 2009. (b) The National Sex Offender Public...

30 CFR 77.803-1 - Fail safe ground check circuits; maximum voltage.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Fail safe ground check circuits; maximum voltage. 77.803-1 Section 77.803-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF... OF UNDERGROUND COAL MINES Surface High-Voltage Distribution § 77.803-1 Fail safe ground check...

30 CFR 77.803-1 - Fail safe ground check circuits; maximum voltage.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Fail safe ground check circuits; maximum voltage. 77.803-1 Section 77.803-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF... OF UNDERGROUND COAL MINES Surface High-Voltage Distribution § 77.803-1 Fail safe ground check...

30 CFR 77.803-1 - Fail safe ground check circuits; maximum voltage.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Fail safe ground check circuits; maximum voltage. 77.803-1 Section 77.803-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF... OF UNDERGROUND COAL MINES Surface High-Voltage Distribution § 77.803-1 Fail safe ground check...

31 CFR 10.31 - Negotiation of taxpayer checks.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 31 Money and Finance: Treasury 1 2011-07-01 2011-07-01 false Negotiation of taxpayer checks. 10.31 Section 10.31 Money and Finance: Treasury Office of the Secretary of the Treasury PRACTICE BEFORE THE... § 10.31 Negotiation of taxpayer checks. A practitioner who prepares tax returns may not endorse or...

31 CFR 10.31 - Negotiation of taxpayer checks.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance: Treasury 1 2012-07-01 2012-07-01 false Negotiation of taxpayer checks. 10.31 Section 10.31 Money and Finance: Treasury Office of the Secretary of the Treasury PRACTICE BEFORE THE... § 10.31 Negotiation of taxpayer checks. A practitioner who prepares tax returns may not endorse or...

31 CFR 10.31 - Negotiation of taxpayer checks.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 31 Money and Finance: Treasury 1 2013-07-01 2013-07-01 false Negotiation of taxpayer checks. 10.31 Section 10.31 Money and Finance: Treasury Office of the Secretary of the Treasury PRACTICE BEFORE THE... § 10.31 Negotiation of taxpayer checks. A practitioner who prepares tax returns may not endorse or...

31 CFR 10.31 - Negotiation of taxpayer checks.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 31 Money and Finance: Treasury 1 2010-07-01 2010-07-01 false Negotiation of taxpayer checks. 10.31 Section 10.31 Money and Finance: Treasury Office of the Secretary of the Treasury PRACTICE BEFORE THE... § 10.31 Negotiation of taxpayer checks. A practitioner who prepares tax returns may not endorse or...

31 CFR 10.31 - Negotiation of taxpayer checks.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 31 Money and Finance: Treasury 1 2014-07-01 2014-07-01 false Negotiation of taxpayer checks. 10.31 Section 10.31 Money and Finance: Treasury Office of the Secretary of the Treasury PRACTICE BEFORE THE... § 10.31 Negotiation of taxpayer checks. (a) A practitioner may not endorse or otherwise negotiate any...

31 CFR 240.14 - Checks issued to incompetent payees.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Checks issued to incompetent payees. 240.14 Section 240.14 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued... showing the appointment of the guardian or other fiduciary in order that a replacement check, and future...

40 CFR 92.121 - Oxides of nitrogen analyzer calibration and check.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 40 Protection of Environment 21 2012-07-01 2012-07-01 false Oxides of nitrogen analyzer... Procedures § 92.121 Oxides of nitrogen analyzer calibration and check. (a) Quench checks; NO X analyzer. (1... performed in step in paragraph (a)(3)(i) this section. (b) Oxides of nitrogen analyzer calibration. (1...

40 CFR 92.121 - Oxides of nitrogen analyzer calibration and check.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 40 Protection of Environment 20 2014-07-01 2013-07-01 true Oxides of nitrogen analyzer calibration... Procedures § 92.121 Oxides of nitrogen analyzer calibration and check. (a) Quench checks; NO X analyzer. (1... performed in step in paragraph (a)(3)(i) this section. (b) Oxides of nitrogen analyzer calibration. (1...

40 CFR 92.121 - Oxides of nitrogen analyzer calibration and check.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 40 Protection of Environment 20 2011-07-01 2011-07-01 false Oxides of nitrogen analyzer... Procedures § 92.121 Oxides of nitrogen analyzer calibration and check. (a) Quench checks; NO X analyzer. (1... performed in step in paragraph (a)(3)(i) this section. (b) Oxides of nitrogen analyzer calibration. (1...

40 CFR 92.121 - Oxides of nitrogen analyzer calibration and check.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 40 Protection of Environment 21 2013-07-01 2013-07-01 false Oxides of nitrogen analyzer... Procedures § 92.121 Oxides of nitrogen analyzer calibration and check. (a) Quench checks; NO X analyzer. (1... performed in step in paragraph (a)(3)(i) this section. (b) Oxides of nitrogen analyzer calibration. (1...

31 CFR 515.531 - Payment of certain checks and drafts.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 31 Money and Finance: Treasury 3 2010-07-01 2010-07-01 false Payment of certain checks and drafts. 515.531 Section 515.531 Money and Finance: Treasury Regulations Relating to Money and Finance... blocked accounts with such banking institution: (1) Of checks and drafts drawn or issued prior to the...

30 CFR 75.906 - Trailing cables for mobile equipment, ground wires, and ground check wires.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Trailing cables for mobile equipment, ground wires, and ground check wires. 75.906 Section 75.906 Mineral Resources MINE SAFETY AND HEALTH..., ground wires, and ground check wires. [Statutory Provisions] Trailing cables for mobile equipment shall...

30 CFR 75.906 - Trailing cables for mobile equipment, ground wires, and ground check wires.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Trailing cables for mobile equipment, ground wires, and ground check wires. 75.906 Section 75.906 Mineral Resources MINE SAFETY AND HEALTH..., ground wires, and ground check wires. [Statutory Provisions] Trailing cables for mobile equipment shall...

12 CFR 229.36 - Presentment and issuance of checks.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Presentment and issuance of checks. 229.36 Section 229.36 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL... bank is identified on the check by name without address; or (4) At a branch, head office, or other...

25 CFR 115.704 - May we accept for deposit into a trust account retirement checks/payments or pension fund checks...

Code of Federal Regulations, 2010 CFR

2010-04-01

... 25 Indians 1 2010-04-01 2010-04-01 false May we accept for deposit into a trust account retirement checks/payments or pension fund checks/payments even though those funds are not specified in § 115.702? 115.704 Section 115.704 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR FINANCIAL ACTIVITIES TRUST FUNDS FOR TRIBES AND INDIVIDUAL...

Installation Restoration Program Phase 2. Confirmation/Quantification Stage 1 for Otis Air National Guard Base, Massachusetts, Air National Guard Support Center, Andrews Air Force Base, Maryland. Volume 2. Appendices

DTIC Science & Technology

1985-10-01

bromochioromethane. 2-bromo- 1 - 8.2.3. check standard containing each parameter chloropropane . and 1.4-dichlorobutane is 8&.2 Beginning with Section...Modification 1 (IRP Stage 1 , Otis ANGB) Roy F Weston Attn: Pete Marks Weston Way West Chester PA 19380 1 . The Goverment is contemplating assignment of the...delivery order described in Atch 1 hereto under the subject contract, Pertinent details are included in Atch 1 and herein. Request Contractor

27 CFR 70.61 - Payment by check or money order.

Code of Federal Regulations, 2010 CFR

2010-04-01

... taxes, provided such checks or money orders are collectible in U.S. currency at par, and subject to the... for exchange or other charges. As used in this section, the term “money order” means: (A) U.S. postal... country. For a list of such countries, see section 171.27 of the Postal Manual of the United States. (iii...

Progress Check Module; Basic Electricity and Electronics Individualized Learning System. Progress Check Booklet.

ERIC Educational Resources Information Center

Bureau of Naval Personnel, Washington, DC.

The Progress Check Booklet is designed to be used by the student working in the programed course to determine if he has mastered the concepts in the course booklets on: electrical current; voltage; resistance; measuring current and voltage in series circuits; relationships of current, voltage, and resistance; parellel circuits; combination…

76 FR 34744 - Notice of Proposed Information Collection for Public Comment; Continuum of Care Check-up...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-06-14

... Information Collection for Public Comment; Continuum of Care Check-up Assessment Tool AGENCY: U.S. Department...: Continuum of Care Check-up Assessment Tool. Description of the need for the information proposed: The CoC... FURTHER INFORMATION CONTACT: Ann Marie Oliva, Director, Office of Special Needs Assistance Programs...

Runtime Analysis of Linear Temporal Logic Specifications

NASA Technical Reports Server (NTRS)

Giannakopoulou, Dimitra; Havelund, Klaus

2001-01-01

This report presents an approach to checking a running program against its Linear Temporal Logic (LTL) specifications. LTL is a widely used logic for expressing properties of programs viewed as sets of executions. Our approach consists of translating LTL formulae to finite-state automata, which are used as observers of the program behavior. The translation algorithm we propose modifies standard LTL to B chi automata conversion techniques to generate automata that check finite program traces. The algorithm has been implemented in a tool, which has been integrated with the generic JPaX framework for runtime analysis of Java programs.

12 CFR 229.59 - Relation to other law.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 12 Banks and Banking 3 2011-01-01 2011-01-01 false Relation to other law. 229.59 Section 229.59... AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks § 229.59 Relation to other law. The Check 21 Act and this subpart supersede any provision of federal or state law, including the...

48 CFR 428.204-2 - Certified or cashier's checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 48 Federal Acquisition Regulations System 4 2012-10-01 2012-10-01 false Certified or cashier's checks, bank drafts, money orders, or currency. 428.204-2 Section 428.204-2 Federal Acquisition... Other Security for Bonds 428.204-2 Certified or cashier's checks, bank drafts, money orders, or currency...

48 CFR 428.204-2 - Certified or cashier's checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 48 Federal Acquisition Regulations System 4 2011-10-01 2011-10-01 false Certified or cashier's checks, bank drafts, money orders, or currency. 428.204-2 Section 428.204-2 Federal Acquisition... Other Security for Bonds 428.204-2 Certified or cashier's checks, bank drafts, money orders, or currency...

48 CFR 428.204-2 - Certified or cashier's checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 48 Federal Acquisition Regulations System 4 2010-10-01 2010-10-01 false Certified or cashier's checks, bank drafts, money orders, or currency. 428.204-2 Section 428.204-2 Federal Acquisition... Other Security for Bonds 428.204-2 Certified or cashier's checks, bank drafts, money orders, or currency...

48 CFR 428.204-2 - Certified or cashier's checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 48 Federal Acquisition Regulations System 4 2013-10-01 2013-10-01 false Certified or cashier's checks, bank drafts, money orders, or currency. 428.204-2 Section 428.204-2 Federal Acquisition... Other Security for Bonds 428.204-2 Certified or cashier's checks, bank drafts, money orders, or currency...

48 CFR 428.204-2 - Certified or cashier's checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 48 Federal Acquisition Regulations System 4 2014-10-01 2014-10-01 false Certified or cashier's checks, bank drafts, money orders, or currency. 428.204-2 Section 428.204-2 Federal Acquisition... Other Security for Bonds 428.204-2 Certified or cashier's checks, bank drafts, money orders, or currency...

45 CFR 2540.204 - What procedures must I follow in conducting a National Service Criminal History Check for a...

Code of Federal Regulations, 2012 CFR

2012-10-01

... National Service Criminal History Check for a covered position? 2540.204 Section 2540.204 Public Welfare... What procedures must I follow in conducting a National Service Criminal History Check for a covered...'s review of the individual's criminal history, if any; (d) Provide a reasonable opportunity for the...

45 CFR 2540.202 - What eligibility criteria must I apply to a covered position in connection with the National...

Code of Federal Regulations, 2014 CFR

2014-10-01

... covered position in connection with the National Service Criminal History Check? 2540.202 Section 2540.202... National Service Criminal History Check? In addition to the eligibility criteria you establish, an... criminal history check described in § 2540.203 of this chapter; (b) Makes a false statement in connection...

45 CFR 2540.204 - What procedures must I follow in conducting a National Service Criminal History Check for a...

Code of Federal Regulations, 2011 CFR

2011-10-01

... National Service Criminal History Check for a covered position? 2540.204 Section 2540.204 Public Welfare... What procedures must I follow in conducting a National Service Criminal History Check for a covered...'s review of the individual's criminal history, if any; (d) Provide a reasonable opportunity for the...

12 CFR 229.59 - Relation to other law.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Relation to other law. 229.59 Section 229.59... AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks § 229.59 Relation to other law. The Check 21 Act and this subpart supersede any provision of federal or state law, including the...

45 CFR 2540.204 - What procedures must I follow in conducting a National Service Criminal History Check for a...

Code of Federal Regulations, 2010 CFR

2010-10-01

... National Service Criminal History Check for a covered position? 2540.204 Section 2540.204 Public Welfare... What procedures must I follow in conducting a National Service Criminal History Check for a covered...'s review of the individual's criminal history, if any; (d) Provide a reasonable opportunity for the...

12 CFR 229.39 - lnsolvency of bank.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 12 Banks and Banking 3 2010-01-01 2010-01-01 false lnsolvency of bank. 229.39 Section 229.39 Banks... payment without making a settlement for the check or returned check with the prior bank that is or becomes... suspends payments without making a settlement for the check with the prior bank, which is or becomes final...

12 CFR 229.31 - Returning bank's responsibility for return of checks.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Returning bank's responsibility for return of checks. 229.31 Section 229.31 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF... following the banking day on which the check was presented to the paying bank if the paying bank is located...

Utilisation of preventative health check-ups in the UK: findings from individual-level repeated cross-sectional data from 1992 to 2008

PubMed Central

Labeit, Alexander; Peinemann, Frank; Baker, Richard

2013-01-01

Objectives To analyse and compare the determinants of screening uptake for different National Health Service (NHS) health check-ups in the UK. Design Individual-level analysis of repeated cross-sectional surveys with balanced panel data. Setting The UK. Participants Individuals taking part in the British Household Panel Survey (BHPS), 1992–2008. Outcome measure Uptake of NHS health check-ups for cervical cancer screening, breast cancer screening, blood pressure checks, cholesterol tests, dental screening and eyesight tests. Methods Dynamic panel data models (random effects panel probit with initial conditions). Results Having had a health check-up 1 year before, and previously in accordance with the recommended schedule, was associated with higher uptake of health check-ups. Individuals who visited a general practitioner (GP) had a significantly higher uptake in 5 of the 6 health check-ups. Uptake was highest in the recommended age group for breast and cervical cancer screening. For all health check-ups, age had a non-linear relationship. Lower self-rated health status was associated with increased uptake of blood pressure checks and cholesterol tests; smoking was associated with decreased uptake of 4 health check-ups. The effects of socioeconomic variables differed for the different health check-ups. Ethnicity did not have a significant influence on any health check-up. Permanent household income had an influence only on eyesight tests and dental screening. Conclusions Common determinants for having health check-ups are age, screening history and a GP visit. Policy interventions to increase uptake should consider the central role of the GP in promoting screening examinations and in preserving a high level of uptake. Possible economic barriers to access for prevention exist for dental screening and eyesight tests, and could be a target for policy intervention. Trial registration This observational study was not registered. PMID:24366576

CheckDen, a program to compute quantum molecular properties on spatial grids.

PubMed

Pacios, Luis F; Fernandez, Alberto

2009-09-01

CheckDen, a program to compute quantum molecular properties on a variety of spatial grids is presented. The program reads as unique input wavefunction files written by standard quantum packages and calculates the electron density rho(r), promolecule and density difference function, gradient of rho(r), Laplacian of rho(r), information entropy, electrostatic potential, kinetic energy densities G(r) and K(r), electron localization function (ELF), and localized orbital locator (LOL) function. These properties can be calculated on a wide range of one-, two-, and three-dimensional grids that can be processed by widely used graphics programs to render high-resolution images. CheckDen offers also other options as extracting separate atom contributions to the property computed, converting grid output data into CUBE and OpenDX volumetric data formats, and perform arithmetic combinations with grid files in all the recognized formats.

Effects of the "Behavior Education Program" (BEP) on Office Discipline Referrals of Elementary School Students

ERIC Educational Resources Information Center

Hawken, Leanne S.; Sandra MacLeod, K.; Rawlings, Linda

2007-01-01

The "Behavior Education Program" (BEP; Crone et al., 2004) is a modified check-in, check-out intervention implemented with students who are at risk for more severe problem behaviors. The purpose of this study was to evaluate the effects of the BEP on problem behavior with 12 elementary school students. Results indicated that the BEP was…

Generalized Symbolic Execution for Model Checking and Testing

NASA Technical Reports Server (NTRS)

Khurshid, Sarfraz; Pasareanu, Corina; Visser, Willem; Kofmeyer, David (Technical Monitor)

2003-01-01

Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches: one, we define a program instrumentation, which enables standard model checkers to perform symbolic execution; two, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity of lists), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore program heap configurations (using a systematic treatment of aliasing) and manipulate logical formulae on program data values (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker.

A Categorization of Dynamic Analyzers

NASA Technical Reports Server (NTRS)

Lujan, Michelle R.

1997-01-01

Program analysis techniques and tools are essential to the development process because of the support they provide in detecting errors and deficiencies at different phases of development. The types of information rendered through analysis includes the following: statistical measurements of code, type checks, dataflow analysis, consistency checks, test data,verification of code, and debugging information. Analyzers can be broken into two major categories: dynamic and static. Static analyzers examine programs with respect to syntax errors and structural properties., This includes gathering statistical information on program content, such as the number of lines of executable code, source lines. and cyclomatic complexity. In addition, static analyzers provide the ability to check for the consistency of programs with respect to variables. Dynamic analyzers in contrast are dependent on input and the execution of a program providing the ability to find errors that cannot be detected through the use of static analysis alone. Dynamic analysis provides information on the behavior of a program rather than on the syntax. Both types of analysis detect errors in a program, but dynamic analyzers accomplish this through run-time behavior. This paper focuses on the following broad classification of dynamic analyzers: 1) Metrics; 2) Models; and 3) Monitors. Metrics are those analyzers that provide measurement. The next category, models, captures those analyzers that present the state of the program to the user at specified points in time. The last category, monitors, checks specified code based on some criteria. The paper discusses each classification and the techniques that are included under them. In addition, the role of each technique in the software life cycle is discussed. Familiarization with the tools that measure, model and monitor programs provides a framework for understanding the program's dynamic behavior from different, perspectives through analysis of the input/output data.

Verification and Planning Based on Coinductive Logic Programming

NASA Technical Reports Server (NTRS)

Bansal, Ajay; Min, Richard; Simon, Luke; Mallya, Ajay; Gupta, Gopal

2008-01-01

Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations [6]. Where induction corresponds to least fixed point's semantics, coinduction corresponds to greatest fixed point semantics. Recently coinduction has been incorporated into logic programming and an elegant operational semantics developed for it [11, 12]. This operational semantics is the greatest fix point counterpart of SLD resolution (SLD resolution imparts operational semantics to least fix point based computations) and is termed co- SLD resolution. In co-SLD resolution, a predicate goal p( t) succeeds if it unifies with one of its ancestor calls. In addition, rational infinite terms are allowed as arguments of predicates. Infinite terms are represented as solutions to unification equations and the occurs check is omitted during the unification process. Coinductive Logic Programming (Co-LP) and Co-SLD resolution can be used to elegantly perform model checking and planning. A combined SLD and Co-SLD resolution based LP system forms the common basis for planning, scheduling, verification, model checking, and constraint solving [9, 4]. This is achieved by amalgamating SLD resolution, co-SLD resolution, and constraint logic programming [13] in a single logic programming system. Given that parallelism in logic programs can be implicitly exploited [8], complex, compute-intensive applications (planning, scheduling, model checking, etc.) can be executed in parallel on multi-core machines. Parallel execution can result in speed-ups as well as in larger instances of the problems being solved. In the remainder we elaborate on (i) how planning can be elegantly and efficiently performed under real-time constraints, (ii) how real-time systems can be elegantly and efficiently model- checked, as well as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution. Implementations of co-SLD resolution as well as preliminary implementations of the planning and verification applications have been developed [4]. Co-LP and Model Checking: The vast majority of properties that are to be verified can be classified into safety properties and liveness properties. It is well known within model checking that safety properties can be verified by reachability analysis, i.e, if a counter-example to the property exists, it can be finitely determined by enumerating all the reachable states of the Kripke structure.

A Mixed-Method Efficacy and Fidelity Study of Check and Connect

ERIC Educational Resources Information Center

Powers, Kristin; Hagans, Kristi; Linn, Megan

2017-01-01

The effectiveness of the Check and Connect dropout prevention program was examined, over the course of 2.5 years, with 54 middle school students from diverse backgrounds experiencing one or more conditions of risk for dropout. Participants were randomly assigned to receive the Check and Connect intervention or business as usual (i.e., control) in…

40 CFR 86.322-79 - NDIR CO2 rejection ratio check.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 40 Protection of Environment 19 2012-07-01 2012-07-01 false NDIR CO2 rejection ratio check. 86.322... PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE HIGHWAY VEHICLES AND ENGINES Emission....322-79 NDIR CO2 rejection ratio check. (a) Zero and span the analyzer on the lowest range that will be...

40 CFR 86.322-79 - NDIR CO2 rejection ratio check.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 40 Protection of Environment 19 2013-07-01 2013-07-01 false NDIR CO2 rejection ratio check. 86.322... PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE HIGHWAY VEHICLES AND ENGINES Emission....322-79 NDIR CO2 rejection ratio check. (a) Zero and span the analyzer on the lowest range that will be...

40 CFR 86.322-79 - NDIR CO2 rejection ratio check.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 40 Protection of Environment 18 2011-07-01 2011-07-01 false NDIR CO2 rejection ratio check. 86.322... PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE HIGHWAY VEHICLES AND ENGINES Emission....322-79 NDIR CO2 rejection ratio check. (a) Zero and span the analyzer on the lowest range that will be...

40 CFR 86.322-79 - NDIR CO2 rejection ratio check.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 40 Protection of Environment 18 2010-07-01 2010-07-01 false NDIR CO2 rejection ratio check. 86.322... PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE HIGHWAY VEHICLES AND ENGINES Emission....322-79 NDIR CO2 rejection ratio check. (a) Zero and span the analyzer on the lowest range that will be...

An EXCEL macro for importing log ASCII standard (LAS) files into EXCEL worksheets

NASA Astrophysics Data System (ADS)

Özkaya, Sait Ismail

1996-02-01

An EXCEL 5.0 macro is presented for converting a LAS text file into an EXCEL worksheet. Although EXCEL has commands for importing text files and parsing text lines, LAS files must be decoded line-by-line because three different delimiters are used to separate fields of differing length. The macro is intended to eliminate manual decoding of LAS version 2.0. LAS is a floppy disk format for storage and transfer of log data as text files. LAS was proposed by the Canadian Well Logging Society. The present EXCEL macro decodes different sections of a LAS file, separates, and places the fields into different columns of an EXCEL worksheet. To import a LAS file into EXCEL without errors, the file must not contain any unrecognized symbols, and the data section must be the last section. The program does not check for the presence of mandatory sections or fields as required by LAS rules. Once a file is incorporated into EXCEL, mandatory sections and fields may be inspected visually.

Using State Merging and State Pruning to Address the Path Explosion Problem Faced by Symbolic Execution

DTIC Science & Technology

2014-06-19

urgent and compelling. Recent efforts in this area automate program analysis techniques using model checking and symbolic execution [2, 5–7]. These...bounded model checking tool for x86 binary programs developed at the Air Force Institute of Technology (AFIT). Jiseki creates a bit-vector logic model based...assume there are n different paths through the function foo . The program could potentially call the function foo a bound number of times, resulting in n

14 CFR 61.58 - Pilot-in-command proficiency check: Operation of an aircraft that requires more than one pilot...

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 2 2012-01-01 2012-01-01 false Pilot-in-command proficiency check...-command proficiency check: Operation of an aircraft that requires more than one pilot flight crewmember or is turbojet-powered. (a) Except as otherwise provided in this section, to serve as pilot in command...

14 CFR 61.58 - Pilot-in-command proficiency check: Operation of aircraft requiring more than one pilot flight...

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Pilot-in-command proficiency check...: PILOTS, FLIGHT INSTRUCTORS, AND GROUND INSTRUCTORS General § 61.58 Pilot-in-command proficiency check... this section, to serve as pilot in command of an aircraft that is type certificated for more than one...

14 CFR 61.58 - Pilot-in-command proficiency check: Operation of aircraft requiring more than one pilot flight...

Code of Federal Regulations, 2011 CFR

2011-01-01

... 14 Aeronautics and Space 2 2011-01-01 2011-01-01 false Pilot-in-command proficiency check...: PILOTS, FLIGHT INSTRUCTORS, AND GROUND INSTRUCTORS General § 61.58 Pilot-in-command proficiency check... this section, to serve as pilot in command of an aircraft that is type certificated for more than one...

48 CFR 28.204-2 - Certified or cashiers checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2012 CFR

2012-10-01

... checks, bank drafts, money orders, or currency. 28.204-2 Section 28.204-2 Federal Acquisition Regulations... Other Security for Bonds 28.204-2 Certified or cashiers checks, bank drafts, money orders, or currency... draft, Post Office money order, or currency, in an amount equal to the penal sum of the bond, instead of...

48 CFR 28.204-2 - Certified or cashiers checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2014 CFR

2014-10-01

... checks, bank drafts, money orders, or currency. 28.204-2 Section 28.204-2 Federal Acquisition Regulations... Other Security for Bonds 28.204-2 Certified or cashiers checks, bank drafts, money orders, or currency... draft, Post Office money order, or currency, in an amount equal to the penal sum of the bond, instead of...

48 CFR 28.204-2 - Certified or cashiers checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2011 CFR

2011-10-01

... checks, bank drafts, money orders, or currency. 28.204-2 Section 28.204-2 Federal Acquisition Regulations... Other Security for Bonds 28.204-2 Certified or cashiers checks, bank drafts, money orders, or currency... draft, Post Office money order, or currency, in an amount equal to the penal sum of the bond, instead of...

48 CFR 28.204-2 - Certified or cashiers checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2013 CFR

2013-10-01

... checks, bank drafts, money orders, or currency. 28.204-2 Section 28.204-2 Federal Acquisition Regulations... Other Security for Bonds 28.204-2 Certified or cashiers checks, bank drafts, money orders, or currency... draft, Post Office money order, or currency, in an amount equal to the penal sum of the bond, instead of...

30 CFR 77.906 - Trailing cables supplying power to low-voltage mobile equipment; ground wires and ground check...

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Trailing cables supplying power to low-voltage mobile equipment; ground wires and ground check wires. 77.906 Section 77.906 Mineral Resources MINE... wires and ground check wires. On and after September 30, 1971, all trailing cables supplying power to...

30 CFR 77.906 - Trailing cables supplying power to low-voltage mobile equipment; ground wires and ground check...

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Trailing cables supplying power to low-voltage mobile equipment; ground wires and ground check wires. 77.906 Section 77.906 Mineral Resources MINE... wires and ground check wires. On and after September 30, 1971, all trailing cables supplying power to...

30 CFR 75.902-4 - Attachment of ground conductors and ground check wires to equipment frames; use of separate...

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Attachment of ground conductors and ground check wires to equipment frames; use of separate connections. 75.902-4 Section 75.902-4 Mineral... § 75.902-4 Attachment of ground conductors and ground check wires to equipment frames; use of separate...

30 CFR 77.902-3 - Attachment of ground conductors and ground check wires to equipment frames; use of separate...

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Attachment of ground conductors and ground check wires to equipment frames; use of separate connections. 77.902-3 Section 77.902-3 Mineral...-Voltage Alternating Current Circuits § 77.902-3 Attachment of ground conductors and ground check wires to...

30 CFR 77.902-3 - Attachment of ground conductors and ground check wires to equipment frames; use of separate...

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Attachment of ground conductors and ground check wires to equipment frames; use of separate connections. 77.902-3 Section 77.902-3 Mineral...-Voltage Alternating Current Circuits § 77.902-3 Attachment of ground conductors and ground check wires to...

30 CFR 75.902-4 - Attachment of ground conductors and ground check wires to equipment frames; use of separate...

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Attachment of ground conductors and ground check wires to equipment frames; use of separate connections. 75.902-4 Section 75.902-4 Mineral... § 75.902-4 Attachment of ground conductors and ground check wires to equipment frames; use of separate...

48 CFR 28.204-2 - Certified or cashiers checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2010 CFR

2010-10-01

... checks, bank drafts, money orders, or currency. 28.204-2 Section 28.204-2 Federal Acquisition Regulations... Other Security for Bonds 28.204-2 Certified or cashiers checks, bank drafts, money orders, or currency... draft, Post Office money order, or currency, in an amount equal to the penal sum of the bond, instead of...

Coupled rotor/airframe vibration analysis program manual. Volume 2: Sample input and output listings

NASA Technical Reports Server (NTRS)

Cassarino, S.; Sopher, R.

1982-01-01

Sample input and output listings obtained with the base program (SIMVIB) of the coupled rotor/airframe vibration analysis and the external programs, G400/F389 and E927 are presented. Results for five of the base program test cases are shown. They represent different applications of the SIMVIB program to study the vibration characteristics of various dynamic configurations. Input and output listings obtained for one cycle of the G400/F389 coupled program are presented. Results from the rotor aeroelastic analysis E927 also appear. A brief description of the check cases is provided. A summary of the check cases for all the external programs interacting with the SIMVIB program is illustrated.

Alternative Fuels Data Center

Science.gov Websites

AirCheckTexas Drive a Clean Machine program, which provides vehicle replacement assistance for qualified requirements, and how to apply in specific areas, see the AirCheckTexas Drive a Clean Machine website

Random Testing and Model Checking: Building a Common Framework for Nondeterministic Exploration

NASA Technical Reports Server (NTRS)

Groce, Alex; Joshi, Rajeev

2008-01-01

Two popular forms of dynamic analysis, random testing and explicit-state software model checking, are perhaps best viewed as search strategies for exploring the state spaces introduced by nondeterminism in program inputs. We present an approach that enables this nondeterminism to be expressed in the SPIN model checker's PROMELA language, and then lets users generate either model checkers or random testers from a single harness for a tested C program. Our approach makes it easy to compare model checking and random testing for models with precisely the same input ranges and probabilities and allows us to mix random testing with model checking's exhaustive exploration of non-determinism. The PROMELA language, as intended in its design, serves as a convenient notation for expressing nondeterminism and mixing random choices with nondeterministic choices. We present and discuss a comparison of random testing and model checking. The results derive from using our framework to test a C program with an effectively infinite state space, a module in JPL's next Mars rover mission. More generally, we show how the ability of the SPIN model checker to call C code can be used to extend SPIN's features, and hope to inspire others to use the same methods to implement dynamic analyses that can make use of efficient state storage, matching, and backtracking.

CheckMATE 2: From the model to the limit

NASA Astrophysics Data System (ADS)

Dercks, Daniel; Desai, Nishita; Kim, Jong Soo; Rolbiecki, Krzysztof; Tattersall, Jamie; Weber, Torsten

2017-12-01

We present the latest developments to the CheckMATE program that allows models of new physics to be easily tested against the recent LHC data. To achieve this goal, the core of CheckMATE now contains over 60 LHC analyses of which 12 are from the 13 TeV run. The main new feature is that CheckMATE 2 now integrates the Monte Carlo event generation via MadGraph5_aMC@NLO and Pythia 8. This allows users to go directly from a SLHA file or UFO model to the result of whether a model is allowed or not. In addition, the integration of the event generation leads to a significant increase in the speed of the program. Many other improvements have also been made, including the possibility to now combine signal regions to give a total likelihood for a model.

The instant sequencing task: Toward constraint-checking a complex spacecraft command sequence interactively

NASA Technical Reports Server (NTRS)

Horvath, Joan C.; Alkalaj, Leon J.; Schneider, Karl M.; Amador, Arthur V.; Spitale, Joseph N.

1993-01-01

Robotic spacecraft are controlled by sets of commands called 'sequences.' These sequences must be checked against mission constraints. Making our existing constraint checking program faster would enable new capabilities in our uplink process. Therefore, we are rewriting this program to run on a parallel computer. To do so, we had to determine how to run constraint-checking algorithms in parallel and create a new method of specifying spacecraft models and constraints. This new specification gives us a means of representing flight systems and their predicted response to commands which could be used in a variety of applications throughout the command process, particularly during anomaly or high-activity operations. This commonality could reduce operations cost and risk for future complex missions. Lessons learned in applying some parts of this system to the TOPEX/Poseidon mission will be described.

An Investigation of the Impact of Function of Problem Behavior on Effectiveness of the Behavior Education Program (BEP)

ERIC Educational Resources Information Center

Hawken, Leanne S.; O'Neill, Robert E.; MacLeod, K. Sandra

2011-01-01

The Behavior Education Program (BEP) is a check-in, check-out intervention implemented with students who are at-risk for engaging in more severe problem behavior. Previous research with middle and elementary school students found that the BEP was more effective with students who had adult attention maintained problem behavior. The purposes of this…

Evaluating the accuracy of technicians and pharmacists in checking unit dose medication cassettes.

PubMed

Ambrose, Peter J; Saya, Frank G; Lovett, Larry T; Tan, Sandy; Adams, Dale W; Shane, Rita

2002-06-15

The accuracy rates of board-registered pharmacy technicians and pharmacists in checking unit dose medication cassettes in the inpatient setting at two separate institutions were examined. Cedars-Sinai Medical Center and Long Beach Memorial Medical Center, both in Los Angeles county, petitioned the California State Board of Pharmacy to approve a waiver of the California Code of Regulations to conduct an experimental program to compare the accuracy of unit dose medication cassettes checked by pharmacists with that of cassettes checked by trained, certified pharmacy technicians. The study consisted of three parts: assessing pharmacist baseline checking accuracy (Phase I), developing a technician-training program and certifying technicians who completed the didactic and practical training (Phase II), and evaluating the accuracy of certified technicians checking unit dose medication cassettes as a daily function (Phase III). Twenty-nine pharmacists and 41 technicians (3 of whom were pharmacy interns) participated in the study. Of the technicians, all 41 successfully completed the didactic and practical training, 39 successfully completed the audits and became certified checkers, and 2 (including 1 of the interns) did not complete the certification audits because they were reassigned to another work area or had resigned. In Phase II, the observed accuracy rate and its lower confidence limit exceeded the predetermined minimum requirement of 99.8% for a certified checker. The mean accuracy rates for technicians were identical at the two institutions (p = 1.0). The difference in mean accuracy rates between pharmacists (99.52%; 95% confidence interval [CI] 99.44-99.58%) and technicians, (99.89%; 95% CI 99.87-99.90%) was significant (p < 0.0001). Inpatient technicians who had been trained and certified in a closely supervised program that incorporated quality assurance mechanisms could safely and accurately check unit dose medication cassettes filled by other technicians.

U.S.-MEXICO BORDER PROGRAM ARIZONA BORDER STUDY--STANDARD OPERATING PROCEDURE FOR FORM QA AND QC CHECKS (UA-C-2.0)

EPA Science Inventory

The purpose of this SOP is to outline the process of field quality assurance and quality control checks. This procedure was followed to ensure consistent data retrieval during the Arizona NHEXAS project and the Border study. Keywords: custody; QA/QC; field checks.

The U.S.-Mex...

Integration of Computer-Based Virtual Check Ride System--Pre-Trip Inspection in Commercial Driver License Training Program

ERIC Educational Resources Information Center

Makwana, Alpesh P.

2009-01-01

"Pre-Trip Inspection" of the truck and trailer is one of the components of the current Commercial Driver's License (CDL) test. This part of the CDL test checks the ability of the student to identify the important parts of the commercial vehicle and their potential defects. The "Virtual Check Ride System" (VCRS), a…

EIA model documentation: World oil refining logistics demand model,``WORLD`` reference manual. Version 1.1

DOE Office of Scientific and Technical Information (OSTI.GOV)

Not Available

1994-04-11

This manual is intended primarily for use as a reference by analysts applying the WORLD model to regional studies. It also provides overview information on WORLD features of potential interest to managers and analysts. Broadly, the manual covers WORLD model features in progressively increasing detail. Section 2 provides an overview of the WORLD model, how it has evolved, what its design goals are, what it produces, and where it can be taken with further enhancements. Section 3 reviews model management covering data sources, managing over-optimization, calibration and seasonality, check-points for case construction and common errors. Section 4 describes in detailmore » the WORLD system, including: data and program systems in overview; details of mainframe and PC program control and files;model generation, size management, debugging and error analysis; use with different optimizers; and reporting and results analysis. Section 5 provides a detailed description of every WORLD model data table, covering model controls, case and technology data. Section 6 goes into the details of WORLD matrix structure. It provides an overview, describes how regional definitions are controlled and defines the naming conventions for-all model rows, columns, right-hand sides, and bounds. It also includes a discussion of the formulation of product blending and specifications in WORLD. Several Appendices supplement the main sections.« less

Design of experiments enhanced statistical process control for wind tunnel check standard testing

NASA Astrophysics Data System (ADS)

Phillips, Ben D.

The current wind tunnel check standard testing program at NASA Langley Research Center is focused on increasing data quality, uncertainty quantification and overall control and improvement of wind tunnel measurement processes. The statistical process control (SPC) methodology employed in the check standard testing program allows for the tracking of variations in measurements over time as well as an overall assessment of facility health. While the SPC approach can and does provide researchers with valuable information, it has certain limitations in the areas of process improvement and uncertainty quantification. It is thought by utilizing design of experiments methodology in conjunction with the current SPC practices that one can efficiently and more robustly characterize uncertainties and develop enhanced process improvement procedures. In this research, methodologies were developed to generate regression models for wind tunnel calibration coefficients, balance force coefficients and wind tunnel flow angularities. The coefficients of these regression models were then tracked in statistical process control charts, giving a higher level of understanding of the processes. The methodology outlined is sufficiently generic such that this research can be applicable to any wind tunnel check standard testing program.

A Possible Tool for Checking Errors in the INAA Results, Based on Neutron Data and Method Validation

NASA Astrophysics Data System (ADS)

Cincu, Em.; Grigore, Ioana Manea; Barbos, D.; Cazan, I. L.; Manu, V.

2008-08-01

This work presents preliminary results of a new type of possible application in the INAA experiments of elemental analysis, useful to check errors occurred during investigation of unknown samples; it relies on the INAA method validation experiments and accuracy of the neutron data from the literature. The paper comprises 2 sections, the first one presents—in short—the steps of the experimental tests carried out for INAA method validation and for establishing the `ACTIVA-N' laboratory performance, which is-at the same time-an illustration of the laboratory evolution on the way to get performance. Section 2 presents our recent INAA results on CRMs, of which interpretation opens discussions about the usefulness of using a tool for checking possible errors, different from the usual statistical procedures. The questionable aspects and the requirements to develop a practical checking tool are discussed.

Notification: Purchase Card and Convenience Check Audit

EPA Pesticide Factsheets

Project #OA-FY13-0116, April 11, 2013. The U.S. Environmental Protection Agency, Office of Inspector General, is beginning the fieldwork phase of its audit of the agency’s purchase card and convenience check programs.

Model Checker for Java Programs

NASA Technical Reports Server (NTRS)

Visser, Willem

2007-01-01

Java Pathfinder (JPF) is a verification and testing environment for Java that integrates model checking, program analysis, and testing. JPF consists of a custom-made Java Virtual Machine (JVM) that interprets bytecode, combined with a search interface to allow the complete behavior of a Java program to be analyzed, including interleavings of concurrent programs. JPF is implemented in Java, and its architecture is highly modular to support rapid prototyping of new features. JPF is an explicit-state model checker, because it enumerates all visited states and, therefore, suffers from the state-explosion problem inherent in analyzing large programs. It is suited to analyzing programs less than 10kLOC, but has been successfully applied to finding errors in concurrent programs up to 100kLOC. When an error is found, a trace from the initial state to the error is produced to guide the debugging. JPF works at the bytecode level, meaning that all of Java can be model-checked. By default, the software checks for all runtime errors (uncaught exceptions), assertions violations (supports Java s assert), and deadlocks. JPF uses garbage collection and symmetry reductions of the heap during model checking to reduce state-explosion, as well as dynamic partial order reductions to lower the number of interleavings analyzed. JPF is capable of symbolic execution of Java programs, including symbolic execution of complex data such as linked lists and trees. JPF is extensible as it allows for the creation of listeners that can subscribe to events during searches. The creation of dedicated code to be executed in place of regular classes is supported and allows users to easily handle native calls and to improve the efficiency of the analysis.

Social-cognitive determinants of the tick check: a cross-sectional study on self-protective behavior in combatting Lyme disease.

PubMed

van der Heijden, Amy; Mulder, Bob C; Poortvliet, P Marijn; van Vliet, Arnold J H

2017-11-25

Performing a tick check after visiting nature is considered the most important preventive measure to avoid contracting Lyme disease. Checking the body for ticks after visiting nature is the only measure that can fully guarantee whether one has been bitten by a tick and provides the opportunity to remove the tick as soon as possible, thereby greatly reducing the chance of contracting Lyme disease. However, compliance to performing the tick check is low. In addition, most previous studies on determinants of preventive measures to avoid Lyme disease lack a clear definition and/or operationalization of the term "preventive measures". Those that do distinguish multiple behaviors including the tick check, fail to describe the systematic steps that should be followed in order to perform the tick check effectively. Hence, the purpose of this study was to identify determinants of systematically performing the tick check, based on social cognitive theory. A cross-sectional self-administered survey questionnaire was filled out online by 508 respondents (M age  = 51.7, SD = 16.0; 50.2% men; 86.4% daily or weekly nature visitors). Bivariate correlations and multivariate regression analyses were conducted to identify associations between socio-cognitive determinants (i.e. concepts related to humans' intrinsic and extrinsic motivation to perform certain behavior), and the tick check, and between socio-cognitive determinants and proximal goal to do the tick check. The full regression model explained 28% of the variance in doing the tick check. Results showed that performing the tick check was associated with proximal goal (β = .23, p < 0.01), self-efficacy (β = .22, p < 0.01), self-evaluative outcome expectations (β = .21, p < 0.01), descriptive norm (β = .16, p < 0.01), and experience (β = .13, p < 0.01). Our study is among the first to examine the determinants of systematic performance of the tick check, using an extended version of social cognitive theory to identify determinants. Based on the results, a number of practical recommendations can be made to promote the performance of the tick check.

NASA-6 atmospheric measuring station. [calibration, functional checks, and operation of measuring instruments

NASA Technical Reports Server (NTRS)

1973-01-01

Information required to calibrate, functionally check, and operate the Instrumentation Branch equipment on the NASA-6 aircraft is provided. All procedures required for preflight checks and in-flight operation of the NASA-6 atmospheric measuring station are given. The calibration section is intended for only that portion of the system maintained and calibrated by IN-MSD-12 Systems Operation contractor personnel. Maintenance is not included.

31 CFR 19.430 - How do I check to see if a person is excluded or disqualified?

Code of Federal Regulations, 2010 CFR

2010-07-01

... 31 Money and Finance: Treasury 1 2010-07-01 2010-07-01 false How do I check to see if a person is excluded or disqualified? 19.430 Section 19.430 Money and Finance: Treasury Office of the Secretary of the... disqualified? You check to see if a person is excluded or disqualified in two ways: (a) You as an agency...

Stopping cross section of vanadium for H+ and He+ ions in a large energy interval deduced from backscattering spectra

NASA Astrophysics Data System (ADS)

Moro, M. V.; Bruckner, B.; Grande, P. L.; Tabacniks, M. H.; Bauer, P.; Primetzhofer, D.

2018-06-01

We have experimentally determined electronic stopping cross sections of vanadium for 50-2750 keV protons and for 250-6000 keV He ions by relative measurements in backscattering geometry. To check the consistency of the employed procedure we investigate how to define adequate reference stopping cross section data and chose different reference materials. To proof consistency of different reference data sets, an intercomparison is performed to test the reliability of the evaluation procedure for a wide range of energies. This process yielded consistent results. The resulting stopping cross section data for V are compared to values from the IAEA database, to the most commonly employed semi-empirical program SRIM, and to calculations according to CasP. For helium, our results show a significant deviation of up to 10% with respect to literature and to SRIM, but are in very good agreement with the CasP predictions, in particular when charge-exchange processes are included in the model.

KSC-05PD-1592

NASA Technical Reports Server (NTRS)

2005-01-01

KENNEDY SPACE CENTER, FLA. Media gather in the television studio at the NASA News Center to hear members of the Mission Management Team reveal aspects of the troubleshooting and testing being done on the liquid hydrogen tank low-level fuel cut-off sensor. On the stage at right are (from left) Wayne Hale, Space Shuttle deputy program manager; John Muratore, manager of Systems Engineering and Integration for the Space Shuttle Program; and Mike Wetmore, director of Space Shuttle Processing. The sensor failed a routine prelaunch check during the launch countdown July 13, causing mission managers to scrub Discovery's first launch attempt. The sensor protects the Shuttle's main engines by triggering their shutdown in the event fuel runs unexpectedly low. The sensor is one of four inside the liquid hydrogen section of the External Tank (ET).

Effectiveness of a national cardiovascular disease risk assessment program (NHS Health Check): results after one year.

PubMed

Artac, Macide; Dalton, Andrew R H; Majeed, Azeem; Car, Josip; Millett, Christopher

2013-08-01

We aimed to assess whether the National Health Service (NHS) Health Check, a systematic cardiovascular disease (CVD) risk assessment and management program, was associated with reduction in CVD risk in attendees after one year. We extracted data from patients aged 40-74 years, with high estimated CVD risk, who were registered with general practices in a deprived, culturally diverse setting in England. We included 4748 patients at baseline (July 2008-November 2009), with 3712 at follow-up (December 2009-March 2011). We used a pre-post study design to assess changes in global CVD risk, individual CVD risk factors and statin prescription in patients with a complete and partial Health Check. There were significant reductions in mean CVD risk score (28.2%; 95% confidence interval (CI)=27.3-29.1 to 26.2%; 95% CI, 25.4-27.1), diastolic blood pressure, total cholesterol levels and lipid ratios after one year in patients with a complete Health Check. Statin prescription increased from 14.0% (95% CI=11.9-16.0) to 60.6% (95% CI=57.7-63.5). The introduction of NHS Health Check was associated with significant but modest reductions in CVD risk among screened high-risk individuals. Further cost-effectiveness analysis and work accounting for uptake is required to assess whether the program can make significant changes to population health. Copyright © 2013 Elsevier Inc. All rights reserved.

Method for Statically Checking an Object-oriented Computer Program Module

NASA Technical Reports Server (NTRS)

Bierhoff, Kevin M. (Inventor); Aldrich, Jonathan (Inventor)

2012-01-01

A method for statically checking an object-oriented computer program module includes the step of identifying objects within a computer program module, at least one of the objects having a plurality of references thereto, possibly from multiple clients. A discipline of permissions is imposed on the objects identified within the computer program module. The permissions enable tracking, from among a discrete set of changeable states, a subset of states each object might be in. A determination is made regarding whether the imposed permissions are violated by a potential reference to any of the identified objects. The results of the determination are output to a user.

Advanced software development workstation: Effectiveness of constraint-checking. [spaceflight simulation and planning

NASA Technical Reports Server (NTRS)

Izygon, Michel

1992-01-01

This report summarizes the findings and lessons learned from the development of an intelligent user interface for a space flight planning simulation program, in the specific area related to constraint-checking. The different functionalities of the Graphical User Interface part and of the rule-based part of the system have been identified. Their respective domain of applicability for error prevention and error checking have been specified.

Discussion on the installation checking method of precast composite floor slab with lattice girders

NASA Astrophysics Data System (ADS)

Chen, Li; Jin, Xing; Wang, Yahui; Zhou, Hele; Gu, Jianing

2018-03-01

Based on the installation checking requirements of China’s current standards and the international norms for prefabricated structural precast components, it proposed an installation checking method for precast composite floor slab with lattice girders. By taking an equivalent composite beam consisted of a single lattice girder and the precast concrete slab as the checking object, compression instability stress of upper chords and yield stress of slab distribution reinforcement at the maximum positive moment, tensile yield stress of upper chords, slab normal section normal compression stress and shear instability stress of diagonal bars at the maximum negative moment were checked. And the bending stress and deflection of support beams, strength and compression stability bearing capacity of the vertical support, shear bearing capacity of the bolt and compression bearing capacity of steel tube wall at the bolt were checked at the same time. Every different checking object was given a specific load value and load combination. Application of installation checking method was given and testified by example.

[Factors Associated with Stress Check Attendance: Possible Effect of Timing of Annual Health Examination].

PubMed

Ishimaru, Tomohiro; Hattori, Michihiro; Nagata, Masako; Kuwahara, Keisuke; Watanabe, Seiji; Mori, Koji

2018-01-01

The stress check program has been part of annual employees' health screening since 2015. Employees are recommended, but not obliged, to undergo the stress check offered. This study was designed to examine the factors associated with stress check attendance. A total of 31,156 Japanese employees who underwent an annual health examination and a stress check service at an Occupational Health Service Center in 2016 participated in this study. Data from the annual health examination and stress check service included stress check attendance, date of attendance (if implemented), gender, age, workplace industry, number of employees at the workplace, and tobacco and alcohol consumption. Data were analyzed using multiple logistic regression. The mean rate of stress check attendance was 90.8%. A higher rate of stress check attendance was associated with a lower duration from the annual health examination, age ≥30 years, construction and transport industry, and 50-999 employees at the workplace. A lower rate of stress check attendance was associated with medical and welfare industry and ≥1,000 employees at the workplace. These findings provide insights into developing strategies for improving the rate of stress check attendance. In particular, stress check attendance may improve if the stress check service and annual health examination are conducted simultaneously.

28 CFR 105.26 - State agency's responsibilities.

Code of Federal Regulations, 2012 CFR

2012-07-01

... Section 105.26 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) CRIMINAL HISTORY BACKGROUND... responsible for: (1) Determining whether to establish a fee to perform a check of state criminal history... fingerprint submissions and fees from the authorized employer; performing a check of state criminal history...

28 CFR 105.26 - State agency's responsibilities.

Code of Federal Regulations, 2011 CFR

2011-07-01

... Section 105.26 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) CRIMINAL HISTORY BACKGROUND... responsible for: (1) Determining whether to establish a fee to perform a check of state criminal history... fingerprint submissions and fees from the authorized employer; performing a check of state criminal history...

28 CFR 105.26 - State agency's responsibilities.

Code of Federal Regulations, 2013 CFR

2013-07-01

... Section 105.26 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) CRIMINAL HISTORY BACKGROUND... responsible for: (1) Determining whether to establish a fee to perform a check of state criminal history... fingerprint submissions and fees from the authorized employer; performing a check of state criminal history...

28 CFR 105.26 - State agency's responsibilities.

Code of Federal Regulations, 2014 CFR

2014-07-01

... Section 105.26 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) CRIMINAL HISTORY BACKGROUND... responsible for: (1) Determining whether to establish a fee to perform a check of state criminal history... fingerprint submissions and fees from the authorized employer; performing a check of state criminal history...

28 CFR 105.26 - State agency's responsibilities.

Code of Federal Regulations, 2010 CFR

2010-07-01

... Section 105.26 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) CRIMINAL HISTORY BACKGROUND... responsible for: (1) Determining whether to establish a fee to perform a check of state criminal history... fingerprint submissions and fees from the authorized employer; performing a check of state criminal history...

Symbolic Analysis of Concurrent Programs with Polymorphism

NASA Technical Reports Server (NTRS)

Rungta, Neha Shyam

2010-01-01

The current trend of multi-core and multi-processor computing is causing a paradigm shift from inherently sequential to highly concurrent and parallel applications. Certain thread interleavings, data input values, or combinations of both often cause errors in the system. Systematic verification techniques such as explicit state model checking and symbolic execution are extensively used to detect errors in such systems [7, 9]. Explicit state model checking enumerates possible thread schedules and input data values of a program in order to check for errors [3, 9]. To partially mitigate the state space explosion from data input values, symbolic execution techniques substitute data input values with symbolic values [5, 7, 6]. Explicit state model checking and symbolic execution techniques used in conjunction with exhaustive search techniques such as depth-first search are unable to detect errors in medium to large-sized concurrent programs because the number of behaviors caused by data and thread non-determinism is extremely large. We present an overview of abstraction-guided symbolic execution for concurrent programs that detects errors manifested by a combination of thread schedules and data values [8]. The technique generates a set of key program locations relevant in testing the reachability of the target locations. The symbolic execution is then guided along these locations in an attempt to generate a feasible execution path to the error state. This allows the execution to focus in parts of the behavior space more likely to contain an error.

Commentary: criminal background checks for entering medical students: history, current issues, and future considerations.

PubMed

Kleshinski, James; Case, Steven T; Davis, Dwight; Heinrich, George F; Witzburg, Robert A

2011-07-01

In this commentary, the authors aim to contextualize the history and rationale for what has become the Association of American Medical Colleges-facilitated criminal background check process for entering medical students. As the process was being considered, many issues with a standardized process were identified. There were concerns that demographic or socioeconomic factors might unfairly burden certain applicants or discourage them from applying to medical school. On the other hand, a unified, national program would minimize cost and enhance quality assurance. The authors discuss these issues. Lessons learned in the first three years of the program are also addressed, including some unexpected and favorable consequences such as the identification of accepted applicants with at-risk behaviors (e.g., substance abuse), who would have otherwise gone undetected. Several challenges remain, including the fact that the criminal background check process creates an enhanced role for prehealth advisors and encourages undergraduate institutions to establish standards and processes relating to professionalism. While this is, no doubt, an evolving program which needs continued oversight and ongoing reevaluation, the authors support the continued advancement of the criminal background check process for entering medical students.

Model Checking Abstract PLEXIL Programs with SMART

NASA Technical Reports Server (NTRS)

Siminiceanu, Radu I.

2007-01-01

We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation.

32 CFR 86.1 - Purpose.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 32 National Defense 1 2014-07-01 2014-07-01 false Purpose. 86.1 Section 86.1 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL, MILITARY AND CIVILIAN CRIMINAL HISTORY... Bureau of Investigation (FBI) fingerprint check and State Criminal History Repositories (SCHR) checks of...

32 CFR 86.1 - Purpose.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 32 National Defense 1 2011-07-01 2011-07-01 false Purpose. 86.1 Section 86.1 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL, MILITARY AND CIVILIAN CRIMINAL HISTORY... Bureau of Investigation (FBI) fingerprint check and State Criminal History Repositories (SCHR) checks of...

32 CFR 86.1 - Purpose.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 32 National Defense 1 2013-07-01 2013-07-01 false Purpose. 86.1 Section 86.1 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL, MILITARY AND CIVILIAN CRIMINAL HISTORY... Bureau of Investigation (FBI) fingerprint check and State Criminal History Repositories (SCHR) checks of...

32 CFR 86.1 - Purpose.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 32 National Defense 1 2012-07-01 2012-07-01 false Purpose. 86.1 Section 86.1 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL, MILITARY AND CIVILIAN CRIMINAL HISTORY... Bureau of Investigation (FBI) fingerprint check and State Criminal History Repositories (SCHR) checks of...

32 CFR 86.1 - Purpose.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 32 National Defense 1 2010-07-01 2010-07-01 false Purpose. 86.1 Section 86.1 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL, MILITARY AND CIVILIAN CRIMINAL HISTORY... Bureau of Investigation (FBI) fingerprint check and State Criminal History Repositories (SCHR) checks of...

75 FR 8369 - Office of the Director, National Institutes of Health; Notice of Meeting

Federal Register 2010, 2011, 2012, 2013, 2014

2010-02-24

... cloning of Ebola and Marburg cDNAs into E. coli. Please check the meeting agenda at http://oba.od.nih.gov... requirements of Section III-E-3 of the NIH Guidelines for Research with Recombinant DNA Molecules. Please check...

42 CFR 493.1254 - Standard: Maintenance and function checks.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 42 Public Health 5 2010-10-01 2010-10-01 false Standard: Maintenance and function checks. 493.1254 Section 493.1254 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES (CONTINUED) STANDARDS AND CERTIFICATION LABORATORY REQUIREMENTS Quality System for Nonwaived...

12 CFR 741.222 - Credit union service organizations.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 12 Banks and Banking 6 2010-01-01 2010-01-01 false Credit union service organizations. 741.222 Section 741.222 Banks and Banking NATIONAL CREDIT UNION ADMINISTRATION REGULATIONS AFFECTING CREDIT UNIONS..., including check cashing services, sale of negotiable checks, money orders, and electronic transaction...

28 CFR 105.21 - Purpose and authority.

Code of Federal Regulations, 2014 CFR

2014-07-01

....21 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) CRIMINAL HISTORY BACKGROUND CHECKS... regulate the exchange of criminal history record information (“CHRI”), as defined in 28 CFR 20.3(d), and...). Section 6402 authorizes a fingerprint-based criminal history check of state and national criminal history...

28 CFR 105.21 - Purpose and authority.

Code of Federal Regulations, 2013 CFR

2013-07-01

....21 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) CRIMINAL HISTORY BACKGROUND CHECKS... regulate the exchange of criminal history record information (“CHRI”), as defined in 28 CFR 20.3(d), and...). Section 6402 authorizes a fingerprint-based criminal history check of state and national criminal history...

28 CFR 105.21 - Purpose and authority.

Code of Federal Regulations, 2012 CFR

2012-07-01

....21 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) CRIMINAL HISTORY BACKGROUND CHECKS... regulate the exchange of criminal history record information (“CHRI”), as defined in 28 CFR 20.3(d), and...). Section 6402 authorizes a fingerprint-based criminal history check of state and national criminal history...

28 CFR 105.21 - Purpose and authority.

Code of Federal Regulations, 2011 CFR

2011-07-01

....21 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) CRIMINAL HISTORY BACKGROUND CHECKS... regulate the exchange of criminal history record information (“CHRI”), as defined in 28 CFR 20.3(d), and...). Section 6402 authorizes a fingerprint-based criminal history check of state and national criminal history...

28 CFR 105.21 - Purpose and authority.

Code of Federal Regulations, 2010 CFR

2010-07-01

....21 Judicial Administration DEPARTMENT OF JUSTICE (CONTINUED) CRIMINAL HISTORY BACKGROUND CHECKS... regulate the exchange of criminal history record information (“CHRI”), as defined in 28 CFR 20.3(d), and...). Section 6402 authorizes a fingerprint-based criminal history check of state and national criminal history...

Automatic Testcase Generation for Flight Software

NASA Technical Reports Server (NTRS)

Bushnell, David Henry; Pasareanu, Corina; Mackey, Ryan M.

2008-01-01

The TacSat3 project is applying Integrated Systems Health Management (ISHM) technologies to an Air Force spacecraft for operational evaluation in space. The experiment will demonstrate the effectiveness and cost of ISHM and vehicle systems management (VSM) technologies through onboard operation for extended periods. We present two approaches to automatic testcase generation for ISHM: 1) A blackbox approach that views the system as a blackbox, and uses a grammar-based specification of the system's inputs to automatically generate *all* inputs that satisfy the specifications (up to prespecified limits); these inputs are then used to exercise the system. 2) A whitebox approach that performs analysis and testcase generation directly on a representation of the internal behaviour of the system under test. The enabling technologies for both these approaches are model checking and symbolic execution, as implemented in the Ames' Java PathFinder (JPF) tool suite. Model checking is an automated technique for software verification. Unlike simulation and testing which check only some of the system executions and therefore may miss errors, model checking exhaustively explores all possible executions. Symbolic execution evaluates programs with symbolic rather than concrete values and represents variable values as symbolic expressions. We are applying the blackbox approach to generating input scripts for the Spacecraft Command Language (SCL) from Interface and Control Systems. SCL is an embedded interpreter for controlling spacecraft systems. TacSat3 will be using SCL as the controller for its ISHM systems. We translated the SCL grammar into a program that outputs scripts conforming to the grammars. Running JPF on this program generates all legal input scripts up to a prespecified size. Script generation can also be targeted to specific parts of the grammar of interest to the developers. These scripts are then fed to the SCL Executive. ICS's in-house coverage tools will be run to measure code coverage. Because the scripts exercise all parts of the grammar, we expect them to provide high code coverage. This blackbox approach is suitable for systems for which we do not have access to the source code. We are applying whitebox test generation to the Spacecraft Health INference Engine (SHINE) that is part of the ISHM system. In TacSat3, SHINE will execute an on-board knowledge base for fault detection and diagnosis. SHINE converts its knowledge base into optimized C code which runs onboard TacSat3. SHINE can translate its rules into an intermediate representation (Java) suitable for analysis with JPF. JPF will analyze SHINE's Java output using symbolic execution, producing testcases that can provide either complete or directed coverage of the code. Automatically generated test suites can provide full code coverage and be quickly regenerated when code changes. Because our tools analyze executable code, they fully cover the delivered code, not just models of the code. This approach also provides a way to generate tests that exercise specific sections of code under specific preconditions. This capability gives us more focused testing of specific sections of code.

14 CFR 91.1073 - Training program: General.

Code of Federal Regulations, 2012 CFR

2012-01-01

...) Provide enough flight instructors, check pilots, and simulator instructors to conduct required flight training and flight checks, and simulator training courses allowed under this subpart. (b) Whenever a... ensure that each pilot annually completes at least one flight training session in an approved simulator...

14 CFR 91.1073 - Training program: General.

Code of Federal Regulations, 2014 CFR

2014-01-01

...) Provide enough flight instructors, check pilots, and simulator instructors to conduct required flight training and flight checks, and simulator training courses allowed under this subpart. (b) Whenever a... ensure that each pilot annually completes at least one flight training session in an approved simulator...

14 CFR 91.1073 - Training program: General.

Code of Federal Regulations, 2013 CFR

2013-01-01

...) Provide enough flight instructors, check pilots, and simulator instructors to conduct required flight training and flight checks, and simulator training courses allowed under this subpart. (b) Whenever a... ensure that each pilot annually completes at least one flight training session in an approved simulator...

14 CFR 91.1073 - Training program: General.

Code of Federal Regulations, 2011 CFR

2011-01-01

...) Provide enough flight instructors, check pilots, and simulator instructors to conduct required flight training and flight checks, and simulator training courses allowed under this subpart. (b) Whenever a... ensure that each pilot annually completes at least one flight training session in an approved simulator...

Model checking for linear temporal logic: An efficient implementation

NASA Technical Reports Server (NTRS)

Sherman, Rivi; Pnueli, Amir

1990-01-01

This report provides evidence to support the claim that model checking for linear temporal logic (LTL) is practically efficient. Two implementations of a linear temporal logic model checker is described. One is based on transforming the model checking problem into a satisfiability problem; the other checks an LTL formula for a finite model by computing the cross-product of the finite state transition graph of the program with a structure containing all possible models for the property. An experiment was done with a set of mutual exclusion algorithms and tested safety and liveness under fairness for these algorithms.

15. CONCRETE CHECK DAM NORTHWEST OF SOUTHEAST LAKE LADORA (SECTION ...

Library of Congress Historic Buildings Survey, Historic Engineering Record, Historic Landscapes Survey

15. CONCRETE CHECK DAM NORTHWEST OF SOUTHEAST LAKE LADORA (SECTION 2) WITH THE FORMER EGLI FARM IN THE DISTANCE. - Highline Canal, Sand Creek Lateral, Beginning at intersection of Peoria Street & Highline Canal in Arapahoe County (City of Aurora), Sand Creek lateral Extends 15 miles Northerly through Araphoe County, City & County of Denver, & Adams County to its end point, approximately 1/4 mile Southest of intersectioin of D Street & Ninth Avenue in Adams County (Rocky Mountain Arsenal, Commerce City Vicinity), Commerce City, Adams County, CO

12 CFR 229.57 - Consumer awareness.

Code of Federal Regulations, 2010 CFR

2010-01-01

... customer relationship is initiated, for each customer relationship established after October 28, 2004. (2... (b) of this section, a brief disclosure to each of its consumer customers that describes— (1) That a... consumer customer who receives paid original checks or paid substitute checks with his or her periodic...

40 CFR 280.62 - Initial abatement measures and site check.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 40 Protection of Environment 26 2010-07-01 2010-07-01 false Initial abatement measures and site check. 280.62 Section 280.62 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) SOLID... to the environment; (2) Visually inspect any aboveground releases or exposed belowground releases and...

25 CFR 175.32 - Collections.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 25 Indians 1 2010-04-01 2010-04-01 false Collections. 175.32 Section 175.32 Indians BUREAU OF..., Payments, and Collections § 175.32 Collections. The utility shall attempt collection on checks returned by... for each collection action taken by the utility other than court proceedings. An unredeemed check...

77 FR 12175 - Airworthiness Directives; DASSAULT AVIATION Airplanes

Federal Register 2010, 2011, 2012, 2013, 2014

2012-02-29

... specified products. The MCAI states: The Maintenance Procedure (MP) 57-607, related to non destructive check... Recommended Maintenance Schedules chapter of the Aircraft Maintenance Documentation. After the implementation... maintenance program to include ``Non-Destructive Check of Flap Tracks 2 and 5,'' Maintenance Procedure 57-607...

Posterior Predictive Model Checking in Bayesian Networks

ERIC Educational Resources Information Center

Crawford, Aaron

2014-01-01

This simulation study compared the utility of various discrepancy measures within a posterior predictive model checking (PPMC) framework for detecting different types of data-model misfit in multidimensional Bayesian network (BN) models. The investigated conditions were motivated by an applied research program utilizing an operational complex…

14 CFR 91.1075 - Training program: Special rules.

Code of Federal Regulations, 2011 CFR

2011-01-01

... (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES GENERAL OPERATING AND FLIGHT RULES Fractional Ownership... the following are eligible under this subpart to conduct training, testing, and checking under... chapter to conduct training, testing, and checking required by this subpart if the training center— (1...

14 CFR 91.1075 - Training program: Special rules.

Code of Federal Regulations, 2012 CFR

2012-01-01

... (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES GENERAL OPERATING AND FLIGHT RULES Fractional Ownership... the following are eligible under this subpart to conduct training, testing, and checking under... chapter to conduct training, testing, and checking required by this subpart if the training center— (1...

14 CFR 91.1075 - Training program: Special rules.

Code of Federal Regulations, 2013 CFR

2013-01-01

... (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES GENERAL OPERATING AND FLIGHT RULES Fractional Ownership... the following are eligible under this subpart to conduct training, testing, and checking under... chapter to conduct training, testing, and checking required by this subpart if the training center— (1...

14 CFR 91.1075 - Training program: Special rules.

Code of Federal Regulations, 2010 CFR

2010-01-01

... (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES GENERAL OPERATING AND FLIGHT RULES Fractional Ownership... the following are eligible under this subpart to conduct training, testing, and checking under... chapter to conduct training, testing, and checking required by this subpart if the training center— (1...

14 CFR 91.1075 - Training program: Special rules.

Code of Federal Regulations, 2014 CFR

2014-01-01

... (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES GENERAL OPERATING AND FLIGHT RULES Fractional Ownership... the following are eligible under this subpart to conduct training, testing, and checking under... chapter to conduct training, testing, and checking required by this subpart if the training center— (1...

Drug checking: a potential solution to the opioid overdose epidemic?

PubMed

Bardwell, Geoff; Kerr, Thomas

2018-05-25

North America is experiencing an overdose epidemic driven in part by the proliferation of illicitly-manufactured fentanyl and related analogues. In response, communities are scaling up novel overdose prevention interventions. Included are drug checking technologies. Drug checking technologies aim to identify the contents of illicit drugs. These technologies vary considerably in terms of cost, accuracy, and usability, and while efforts are now underway to implement drug checking programs for people who inject drugs, there remains a lack of rigorous evaluation of their impacts. Given the ongoing overdose crisis and the urgent need for effective responses, research on drug checking should be prioritized. However, while such research should be supported, it should be completed before these technologies are widely implemented.

KSC-05PD-1590

NASA Technical Reports Server (NTRS)

2005-01-01

KENNEDY SPACE CENTER, FLA. Media gather in the television studio at the NASA News Center to hear members of the Mission Management Team reveal aspects of the troubleshooting and testing being done on the liquid hydrogen tank low-level fuel cut-off sensor. On the stage at right are (from left) Bruce Buckingham, NASA news chief; Wayne Hale, Space Shuttle deputy program manager; John Muratore, manager of Systems Engineering and Integration for the Space Shuttle Program; and Mike Wetmore, director of Space Shuttle Processing. The sensor failed a routine prelaunch check during the launch countdown July 13, causing mission managers to scrub Discovery's first launch attempt. The sensor protects the Shuttle's main engines by triggering their shutdown in the event fuel runs unexpectedly low. The sensor is one of four inside the liquid hydrogen section of the External Tank (ET).

New Model Exhaust System Supports Testing in NASA Lewis' 10- by 10-Foot Supersonic Wind Tunnel

NASA Technical Reports Server (NTRS)

Roeder, James W., Jr.

1998-01-01

In early 1996, the ability to run NASA Lewis Research Center's Abe Silverstein 10- by 10- Foot Supersonic Wind Tunnel (10x10) at subsonic test section speeds was reestablished. Taking advantage of this new speed range, a subsonic research test program was scheduled for the 10x10 in the fall of 1996. However, many subsonic aircraft test models require an exhaust source to simulate main engine flow, engine bleed flows, and other phenomena. This was also true of the proposed test model, but at the time the 10x10 did not have a model exhaust capability. So, through an in-house effort over a period of only 5 months, a new model exhaust system was designed, installed, checked out, and made ready in time to support the scheduled test program.

Towards a Certified Lightweight Array Bound Checker for Java Bytecode

NASA Technical Reports Server (NTRS)

Pichardie, David

2009-01-01

Dynamic array bound checks are crucial elements for the security of a Java Virtual Machines. These dynamic checks are however expensive and several static analysis techniques have been proposed to eliminate explicit bounds checks. Such analyses require advanced numerical and symbolic manipulations that 1) penalize bytecode loading or dynamic compilation, 2) complexify the trusted computing base. Following the Foundational Proof Carrying Code methodology, our goal is to provide a lightweight bytecode verifier for eliminating array bound checks that is both efficient and trustable. In this work, we define a generic relational program analysis for an imperative, stackoriented byte code language with procedures, arrays and global variables and instantiate it with a relational abstract domain as polyhedra. The analysis has automatic inference of loop invariants and method pre-/post-conditions, and efficient checking of analysis results by a simple checker. Invariants, which can be large, can be specialized for proving a safety policy using an automatic pruning technique which reduces their size. The result of the analysis can be checked efficiently by annotating the program with parts of the invariant together with certificates of polyhedral inclusions. The resulting checker is sufficiently simple to be entirely certified within the Coq proof assistant for a simple fragment of the Java bytecode language. During the talk, we will also report on our ongoing effort to scale this approach for the full sequential JVM.

"Tech-check-tech": a review of the evidence on its safety and benefits.

PubMed

Adams, Alex J; Martin, Steven J; Stolpe, Samuel F

2011-10-01

The published evidence on state-authorized programs permitting final verification of medication orders by pharmacy technicians, including the programs' impact on pharmacist work hours and clinical activities, is reviewed. Some form of "tech-check-tech" (TCT)--the checking of a technician's order-filling accuracy by another technician rather than a pharmacist--is authorized for use by pharmacies in at least nine states. The results of 11 studies published since 1978 indicate that technicians' accuracy in performing final dispensing checks is very comparable to pharmacists' accuracy (mean ± S.D., 99.6% ± 0.55% versus 99.3% ± 0.68%, respectively). In 6 of those studies, significant differences in accuracy or error detection rates favoring TCT were reported (p < 0.05), although published TCT studies to date have had important limitations. In states with active or pilot TCT programs, pharmacists surveyed have reported that the practice has yielded time savings (estimates range from 10 hours per month to 1 hour per day), enabling them to spend more time providing clinical services. States permitting TCT programs require technicians to complete special training before assuming TCT duties, which are generally limited to restocking automated dispensing machines and filling unit dose batches of refills in hospitals and other institutional settings. The published evidence demonstrates that pharmacy technicians can perform as accurately as pharmacists, perhaps more accurately, in the final verification of unit dose orders in institutional settings. Current TCT programs have fairly consistent elements, including the limitation of TCT to institutional settings, advanced education and training requirements for pharmacy technicians, and ongoing quality assurance.

14 CFR 121.315 - Cockpit check procedure.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 3 2010-01-01 2010-01-01 false Cockpit check procedure. 121.315 Section 121.315 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED... emergencies. The procedures must be designed so that a flight crewmember will not need to rely upon his memory...

32 CFR Appendix A to Part 86 - Criminal History Background Check Procedures

Code of Federal Regulations, 2013 CFR

2013-07-01

... 32 National Defense 1 2013-07-01 2013-07-01 false Criminal History Background Check Procedures A Appendix A to Part 86 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL...-190, section 1094, the Department of Defense requires that military members (except healthcare...

32 CFR Appendix A to Part 86 - Criminal History Background Check Procedures

Code of Federal Regulations, 2012 CFR

2012-07-01

... 32 National Defense 1 2012-07-01 2012-07-01 false Criminal History Background Check Procedures A Appendix A to Part 86 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL...-190, section 1094, the Department of Defense requires that military members (except healthcare...

32 CFR Appendix A to Part 86 - Criminal History Background Check Procedures

Code of Federal Regulations, 2014 CFR

2014-07-01

... 32 National Defense 1 2014-07-01 2014-07-01 false Criminal History Background Check Procedures A Appendix A to Part 86 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL...-190, section 1094, the Department of Defense requires that military members (except healthcare...

10 CFR 35.2642 - Records of periodic spot-checks for teletherapy units.

Code of Federal Regulations, 2010 CFR

2010-01-01

....2642 Section 35.2642 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Records... must include— (1) The date of the spot-check; (2) The manufacturer's name, model number, and serial... device; (6) The determined accuracy of each distance measuring and localization device; (7) The...

10 CFR 35.2642 - Records of periodic spot-checks for teletherapy units.

Code of Federal Regulations, 2011 CFR

2011-01-01

....2642 Section 35.2642 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Records... must include— (1) The date of the spot-check; (2) The manufacturer's name, model number, and serial... device; (6) The determined accuracy of each distance measuring and localization device; (7) The...

78 FR 23830 - Airworthiness Directives; Turbomeca S.A. Turboshaft Engines

Federal Register 2010, 2011, 2012, 2013, 2014

2013-04-23

... daily post-flight checks of the engine tachometer's unit cycle-counting feature. This AD also requires ground-run functional checks within every 1,000 operating hours. This AD was prompted by detailed... Airworthiness Limitation Section (ALS) of Arriel 1 Maintenance Manuals has been updated in order to clarify the...

14 CFR 135.347 - Pilots: Initial, transition, upgrade, and differences flight training.

Code of Federal Regulations, 2011 CFR

2011-01-01

... the aircraft simulator or training device; and (2) A flight check in the aircraft or a check in the... differences flight training. 135.347 Section 135.347 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... flight training. (a) Initial, transition, upgrade, and differences training for pilots must include...

14 CFR 135.347 - Pilots: Initial, transition, upgrade, and differences flight training.

Code of Federal Regulations, 2012 CFR

2012-01-01

... the aircraft simulator or training device; and (2) A flight check in the aircraft or a check in the... differences flight training. 135.347 Section 135.347 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... flight training. (a) Initial, transition, upgrade, and differences training for pilots must include...

14 CFR 135.347 - Pilots: Initial, transition, upgrade, and differences flight training.

Code of Federal Regulations, 2014 CFR

2014-01-01

... the aircraft simulator or training device; and (2) A flight check in the aircraft or a check in the... differences flight training. 135.347 Section 135.347 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... flight training. (a) Initial, transition, upgrade, and differences training for pilots must include...

14 CFR 135.347 - Pilots: Initial, transition, upgrade, and differences flight training.

Code of Federal Regulations, 2013 CFR

2013-01-01

... the aircraft simulator or training device; and (2) A flight check in the aircraft or a check in the... differences flight training. 135.347 Section 135.347 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... flight training. (a) Initial, transition, upgrade, and differences training for pilots must include...

14 CFR 135.347 - Pilots: Initial, transition, upgrade, and differences flight training.

Code of Federal Regulations, 2010 CFR

2010-01-01

... the aircraft simulator or training device; and (2) A flight check in the aircraft or a check in the... differences flight training. 135.347 Section 135.347 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... flight training. (a) Initial, transition, upgrade, and differences training for pilots must include...

12 CFR 229.53 - Substitute check indemnity.

Code of Federal Regulations, 2010 CFR

2010-01-01

... expenses of representation) related to the substitute check. (2) Comparative negligence. (i) If a loss... negligence or failure to act in good faith, then the indemnity amount described in paragraph (b)(1) of this section shall be reduced in proportion to the amount of negligence or bad faith attributable to the...

36 CFR 504.12 - Items to be checked.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 36 Parks, Forests, and Public Property 3 2014-07-01 2014-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING... assist in walking), or other objects capable of inflicting damage to property or exhibits may be required...

36 CFR 520.13 - Items to be checked.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 36 Parks, Forests, and Public Property 3 2014-07-01 2014-07-01 false Items to be checked. 520.13 Section 520.13 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING THE BUILDINGS AND GROUNDS OF THE NATIONAL ZOOLOGICAL PARK OF THE SMITHSONIAN INSTITUTION § 520.13...

36 CFR 504.12 - Items to be checked.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 36 Parks, Forests, and Public Property 3 2011-07-01 2011-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING... assist in walking), or other objects capable of inflicting damage to property or exhibits may be required...

36 CFR 520.13 - Items to be checked.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 36 Parks, Forests, and Public Property 3 2012-07-01 2012-07-01 false Items to be checked. 520.13 Section 520.13 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING THE BUILDINGS AND GROUNDS OF THE NATIONAL ZOOLOGICAL PARK OF THE SMITHSONIAN INSTITUTION § 520.13...

36 CFR 504.12 - Items to be checked.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 36 Parks, Forests, and Public Property 3 2012-07-01 2012-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING... assist in walking), or other objects capable of inflicting damage to property or exhibits may be required...

36 CFR 520.13 - Items to be checked.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 36 Parks, Forests, and Public Property 3 2011-07-01 2011-07-01 false Items to be checked. 520.13 Section 520.13 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING THE BUILDINGS AND GROUNDS OF THE NATIONAL ZOOLOGICAL PARK OF THE SMITHSONIAN INSTITUTION § 520.13...

36 CFR 520.13 - Items to be checked.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false Items to be checked. 520.13 Section 520.13 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING THE BUILDINGS AND GROUNDS OF THE NATIONAL ZOOLOGICAL PARK OF THE SMITHSONIAN INSTITUTION § 520.13...

10 CFR 35.643 - Periodic spot-checks for remote afterloader units.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 10 Energy 1 2012-01-01 2012-01-01 false Periodic spot-checks for remote afterloader units. 35.643 Section 35.643 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Photon Emitting Remote Afterloader Units, Teletherapy Units, and Gamma Stereotactic Radiosurgery Units § 35.643 Periodic...

10 CFR 35.643 - Periodic spot-checks for remote afterloader units.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 10 Energy 1 2014-01-01 2014-01-01 false Periodic spot-checks for remote afterloader units. 35.643 Section 35.643 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Photon Emitting Remote Afterloader Units, Teletherapy Units, and Gamma Stereotactic Radiosurgery Units § 35.643 Periodic...

10 CFR 35.643 - Periodic spot-checks for remote afterloader units.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 10 Energy 1 2011-01-01 2011-01-01 false Periodic spot-checks for remote afterloader units. 35.643 Section 35.643 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Photon Emitting Remote Afterloader Units, Teletherapy Units, and Gamma Stereotactic Radiosurgery Units § 35.643 Periodic...

10 CFR 35.643 - Periodic spot-checks for remote afterloader units.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 10 Energy 1 2013-01-01 2013-01-01 false Periodic spot-checks for remote afterloader units. 35.643 Section 35.643 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Photon Emitting Remote Afterloader Units, Teletherapy Units, and Gamma Stereotactic Radiosurgery Units § 35.643 Periodic...

9 CFR 439.5 - Applications for accreditation.

Code of Federal Regulations, 2010 CFR

2010-01-01

... Section 439.5 Animals and Animal Products FOOD SAFETY AND INSPECTION SERVICE, DEPARTMENT OF AGRICULTURE..., for each accreditation sought, submit a check, bank draft, or money order in the amount specified in 9... are payable upon receipt by check, bank draft, or money order made payable to the U.S. Department of...

42 CFR 424.518 - Screening levels for Medicare providers and suppliers.

Code of Federal Regulations, 2012 CFR

2012-10-01

... this section. (ii)(A) Requires the submission of a set of fingerprints for a national background check... provider or supplier; and (B) Conducts a fingerprint-based criminal history record check of the Federal Bureau of Investigation's Integrated Automated Fingerprint Identification System on all individuals who...

42 CFR 424.518 - Screening levels for Medicare providers and suppliers.

Code of Federal Regulations, 2014 CFR

2014-10-01

... this section. (ii)(A) Requires the submission of a set of fingerprints for a national background check... provider or supplier; and (B) Conducts a fingerprint-based criminal history record check of the Federal Bureau of Investigation's Integrated Automated Fingerprint Identification System on all individuals who...

42 CFR 424.518 - Screening levels for Medicare providers and suppliers.

Code of Federal Regulations, 2013 CFR

2013-10-01

... this section. (ii)(A) Requires the submission of a set of fingerprints for a national background check... provider or supplier; and (B) Conducts a fingerprint-based criminal history record check of the Federal Bureau of Investigation's Integrated Automated Fingerprint Identification System on all individuals who...

31 CFR 596.307 - Monetary instruments.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance:Treasury 3 2012-07-01 2012-07-01 false Monetary instruments. 596.307 Section 596.307 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) OFFICE OF... includes coin or currency of the United States or of any other country, travelers' checks, personal checks...

31 CFR 596.307 - Monetary instruments.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 31 Money and Finance:Treasury 3 2014-07-01 2014-07-01 false Monetary instruments. 596.307 Section 596.307 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) OFFICE OF... includes coin or currency of the United States or of any other country, travelers' checks, personal checks...

31 CFR 596.307 - Monetary instruments.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 31 Money and Finance:Treasury 3 2013-07-01 2013-07-01 false Monetary instruments. 596.307 Section 596.307 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) OFFICE OF... includes coin or currency of the United States or of any other country, travelers' checks, personal checks...

31 CFR 341.3 - Purchase of bonds.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 31 Money and Finance:Treasury 2 2013-07-01 2013-07-01 false Purchase of bonds. 341.3 Section 341.3 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE... to cover the purchase price. Personal checks will be accepted, subject to collection. Checks or other...

31 CFR 316.6 - Purchase of bonds.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Purchase of bonds. 316.6 Section 316.6 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE..., including personal checks, was accepted, subject to collection. Checks or other forms of exchange were to be...

31 CFR 341.3 - Purchase of bonds.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Purchase of bonds. 341.3 Section 341.3 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE... to cover the purchase price. Personal checks will be accepted, subject to collection. Checks or other...

31 CFR 341.3 - Purchase of bonds.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Purchase of bonds. 341.3 Section 341.3 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE... remittance to cover the purchase price. Personal checks will be accepted, subject to collection. Checks or...

31 CFR 341.3 - Purchase of bonds.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Purchase of bonds. 341.3 Section 341.3 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE... to cover the purchase price. Personal checks will be accepted, subject to collection. Checks or other...

31 CFR 596.307 - Monetary instruments.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 31 Money and Finance:Treasury 3 2011-07-01 2011-07-01 false Monetary instruments. 596.307 Section 596.307 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) OFFICE OF... includes coin or currency of the United States or of any other country, travelers' checks, personal checks...

10 CFR 35.2642 - Records of periodic spot-checks for teletherapy units.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 10 Energy 1 2013-01-01 2013-01-01 false Records of periodic spot-checks for teletherapy units. 35.2642 Section 35.2642 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Records... of each entrance door electrical interlock, each electrical or mechanical stop, each source exposure...

10 CFR 35.2642 - Records of periodic spot-checks for teletherapy units.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 10 Energy 1 2014-01-01 2014-01-01 false Records of periodic spot-checks for teletherapy units. 35.2642 Section 35.2642 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Records... of each entrance door electrical interlock, each electrical or mechanical stop, each source exposure...

10 CFR 35.2642 - Records of periodic spot-checks for teletherapy units.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 10 Energy 1 2012-01-01 2012-01-01 false Records of periodic spot-checks for teletherapy units. 35.2642 Section 35.2642 Energy NUCLEAR REGULATORY COMMISSION MEDICAL USE OF BYPRODUCT MATERIAL Records... of each entrance door electrical interlock, each electrical or mechanical stop, each source exposure...

Library Media Learning and Play Center.

ERIC Educational Resources Information Center

Faber, Therese; And Others

Preschool educators developed a library media learning and play center to enable children to "experience" a library; establish positive attitudes about the library; and encourage respect for self, others, and property. The center had the following areas: check-in and check-out desk, quiet reading section, computer center, listening center, video…

42 CFR 35.47 - Disposition of Government checks.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 42 Public Health 1 2010-10-01 2010-10-01 false Disposition of Government checks. 35.47 Section 35.47 Public Health PUBLIC HEALTH SERVICE, DEPARTMENT OF HEALTH AND HUMAN SERVICES MEDICAL CARE AND EXAMINATIONS HOSPITAL AND STATION MANAGEMENT Disposal of Money and Effects of Deceased Patients § 35.47...

Model Checking JAVA Programs Using Java Pathfinder

NASA Technical Reports Server (NTRS)

Havelund, Klaus; Pressburger, Thomas

2000-01-01

This paper describes a translator called JAVA PATHFINDER from JAVA to PROMELA, the "programming language" of the SPIN model checker. The purpose is to establish a framework for verification and debugging of JAVA programs based on model checking. This work should be seen in a broader attempt to make formal methods applicable "in the loop" of programming within NASA's areas such as space, aviation, and robotics. Our main goal is to create automated formal methods such that programmers themselves can apply these in their daily work (in the loop) without the need for specialists to manually reformulate a program into a different notation in order to analyze the program. This work is a continuation of an effort to formally verify, using SPIN, a multi-threaded operating system programmed in Lisp for the Deep-Space 1 spacecraft, and of previous work in applying existing model checkers and theorem provers to real applications.

14 CFR 91.1109 - Aircraft maintenance: Inspection program.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 14 Aeronautics and Space 2 2012-01-01 2012-01-01 false Aircraft maintenance: Inspection program... Ownership Operations Program Management § 91.1109 Aircraft maintenance: Inspection program. Each program... conduct of inspections for the particular make and model aircraft, including necessary tests and checks...

14 CFR 91.1109 - Aircraft maintenance: Inspection program.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Aircraft maintenance: Inspection program... Ownership Operations Program Management § 91.1109 Aircraft maintenance: Inspection program. Each program... conduct of inspections for the particular make and model aircraft, including necessary tests and checks...

14 CFR 91.1109 - Aircraft maintenance: Inspection program.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 14 Aeronautics and Space 2 2014-01-01 2014-01-01 false Aircraft maintenance: Inspection program... Ownership Operations Program Management § 91.1109 Aircraft maintenance: Inspection program. Each program... conduct of inspections for the particular make and model aircraft, including necessary tests and checks...

HPV literacy and its link to initiation and completion of HPV vaccine among young adults in Minnesota.

PubMed

Lee, H Y; Lee, J; Henning-Smith, C; Choi, J

2017-11-01

This study identifies whether, and how, human papillomavirus (HPV) literacy and predisposing, enabling, and need factors are associated with HPV vaccine initiation and completion among young adults in Minnesota. Cross-sectional survey design. Using a sample of 170 young adults (aged 18-26 years), we used logistic regression models to identify factors associated with HPV vaccination initiation and completion, including HPV literacy, adjusting for relevant predisposing, enabling, and need factors. Consistent with national estimates, we found relatively low rates of HPV vaccination initiation (46%) and completion (36%). Better HPV literacy was significantly associated with higher rates of both initiation and completion, as was being female and having an annual check-up. Being married/partnered was significantly associated with lower odds of HPV vaccination. Public health programs, policy-makers, and healthcare providers can use these results to increase HPV vaccination rates by making concerted efforts to improve HPV vaccination literacy through individual and public education campaigns and by improving access to annual check-ups. Copyright © 2017 The Royal Society for Public Health. Published by Elsevier Ltd. All rights reserved.

Some attributes of a language for property-based testing.

DOE Office of Scientific and Technical Information (OSTI.GOV)

Neagoe, Vicentiu; Bishop, Matt

Property-based testing is a testing technique that evaluates executions of a program. The method checks that specifications, called properties, hold throughout the execution of the program. TASpec is a language used to specify these properties. This paper compares some attributes of the language with the specification patterns used for model-checking languages, and then presents some descriptions of properties that can be used to detect common security flaws in programs. This report describes the results of a one year research project at the University of California, Davis, which was funded by a University Collaboration LDRD entitled ''Property-based Testing for Cyber Securitymore » Assurance''.« less

Software Model Checking Without Source Code

NASA Technical Reports Server (NTRS)

Chaki, Sagar; Ivers, James

2009-01-01

We present a framework, called AIR, for verifying safety properties of assembly language programs via software model checking. AIR extends the applicability of predicate abstraction and counterexample guided abstraction refinement to the automated verification of low-level software. By working at the assembly level, AIR allows verification of programs for which source code is unavailable-such as legacy and COTS software-and programs that use features-such as pointers, structures, and object-orientation-that are problematic for source-level software verification tools. In addition, AIR makes no assumptions about the underlying compiler technology. We have implemented a prototype of AIR and present encouraging results on several non-trivial examples.

Medicaid program: adjustment of federal share for uncashed or cancelled (voided) checks--HCFA. Proposed rule.

PubMed

1985-05-31

These proposed regulations require a State agency to refund to the Federal government the Federal share of Medicaid checks issued by the State or its fiscal agent that remain uncashed 180 days after the date of issuance. In addition, we would require that the Federal share of cancelled (voided) Medicaid checks be refunded quarterly since there has been no expenditure by the State. This proposal is intended to implement in part a 1981 General Accounting Office recommendation that procedures be established for States to credit the Federal government for its portion of uncashed Medicaid checks issues by the State or its fiscal agent.

Medicaid program; adjustment of federal share for uncashed or cancelled (voided) checks--HCFA. Final rule.

PubMed

1986-10-09

These final regulations require that a State agency refund to the Federal Government the Federal share of Medicaid checks issued by the State or its fiscal agent that remain uncashed 180 days after the date of issuance. In addition, we are requiring that the Federal share of cancelled (voided) Medicaid checks be refunded quarterly since there has been no expenditure by the State. These regulations implement, in part, a 1981 General Accounting Office recommendation that procedures be established for States to credit the Federal Government for the Federal portion of uncashed Medicaid checks issued by the State or its fiscal agent.

GSD Update: Checking the range for signs of climate change in the past, present and future

Treesearch

Lisa-Natalie Anjozian

2011-01-01

The July 2011 inaugural issue of GSDUpdate: Checking the Range for Signs of Climate Change In the Past, Present and Future, a research review of the Program, focuses on the efforts toward understanding the role of climate in shaping the environment.

75 FR 21064 - Self-Regulatory Organizations; Financial Industry Regulatory Authority, Inc.; Notice of Filing of...

Federal Register 2010, 2011, 2012, 2013, 2014

2010-04-22

...) make publicly available in BrokerCheck all historic customer complaints that were archived after the... logical extension of the BrokerCheck program that will help protect investors and other users of Broker...., reportable customer complaints or Historic Complaints, criminal charges, terminations, bankruptcies, liens...

Cap check helps reconcile payments with eligibility lists to improve cash flow.

PubMed

2003-05-01

Some capitated provider groups are becoming more adept at using software solutions to effectively manage retroactive deletions, additions and changes in membership enrollment. While a variety of software programs are available, several sources recommend using Cap Check to help match up eligibility lists with capitation payment.

Serials Management by Microcomputer: The Potential of DBMS.

ERIC Educational Resources Information Center

Vogel, J. Thomas; Burns, Lynn W.

1984-01-01

Describes serials management at Philadelphia College of Textiles and Science library via a microcomputer, a file manager called PFS, and a relational database management system called dBase II. Check-in procedures, programing with dBase II, "static" and "active" databases, and claim procedures are discussed. Check-in forms are…

The ALL-OUT Library; A Design for Computer-Powered, Multidimensional Services.

ERIC Educational Resources Information Center

Sleeth, Jim; LaRue, James

1983-01-01

Preliminary description of design of electronic library and home information delivery system highlights potentials of personal computer interface program (applying for service, assuring that users are valid, checking for measures, searching, locating titles) and incorporation of concepts used in other information systems (security checks,…

40 CFR 91.413 - Exhaust sample procedure-gaseous components.

Code of Federal Regulations, 2011 CFR

2011-07-01

... that may occur between the pre and post checks is not specified. However, the difference between pre... drift nor the span drift between the pre-analysis and post-analysis checks on any range used may exceed... PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Gaseous Exhaust Test...

40 CFR 91.413 - Exhaust sample procedure-gaseous components.

Code of Federal Regulations, 2014 CFR

2014-07-01

... that may occur between the pre and post checks is not specified. However, the difference between pre... drift nor the span drift between the pre-analysis and post-analysis checks on any range used may exceed... PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Gaseous Exhaust Test...

40 CFR 91.413 - Exhaust sample procedure-gaseous components.

Code of Federal Regulations, 2010 CFR

2010-07-01

... that may occur between the pre and post checks is not specified. However, the difference between pre... drift nor the span drift between the pre-analysis and post-analysis checks on any range used may exceed... PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Gaseous Exhaust Test...

40 CFR 91.413 - Exhaust sample procedure-gaseous components.

Code of Federal Regulations, 2012 CFR

2012-07-01

... that may occur between the pre and post checks is not specified. However, the difference between pre... drift nor the span drift between the pre-analysis and post-analysis checks on any range used may exceed... PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Gaseous Exhaust Test...

40 CFR 91.413 - Exhaust sample procedure-gaseous components.

Code of Federal Regulations, 2013 CFR

2013-07-01

... that may occur between the pre and post checks is not specified. However, the difference between pre... drift nor the span drift between the pre-analysis and post-analysis checks on any range used may exceed... PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Gaseous Exhaust Test...

Check Sample Abstracts.

PubMed

Alter, David; Grenache, David G; Bosler, David S; Karcher, Raymond E; Nichols, James; Rajadhyaksha, Aparna; Camelo-Piragua, Sandra; Rauch, Carol; Huddleston, Brent J; Frank, Elizabeth L; Sluss, Patrick M; Lewandrowski, Kent; Eichhorn, John H; Hall, Janet E; Rahman, Saud S; McPherson, Richard A; Kiechle, Frederick L; Hammett-Stabler, Catherine; Pierce, Kristin A; Kloehn, Erica A; Thomas, Patricia A; Walts, Ann E; Madan, Rashna; Schlesinger, Kathie; Nawgiri, Ranjana; Bhutani, Manoop; Kanber, Yonca; Abati, Andrea; Atkins, Kristen A; Farrar, Robert; Gopez, Evelyn Valencerina; Jhala, Darshana; Griffin, Sonya; Jhala, Khushboo; Jhala, Nirag; Bentz, Joel S; Emerson, Lyska; Chadwick, Barbara E; Barroeta, Julieta E; Baloch, Zubair W; Collins, Brian T; Middleton, Owen L; Davis, Gregory G; Haden-Pinneri, Kathryn; Chu, Albert Y; Keylock, Joren B; Ramoso, Robert; Thoene, Cynthia A; Stewart, Donna; Pierce, Arand; Barry, Michelle; Aljinovic, Nika; Gardner, David L; Barry, Michelle; Shields, Lisa B E; Arnold, Jack; Stewart, Donna; Martin, Erica L; Rakow, Rex J; Paddock, Christopher; Zaki, Sherif R; Prahlow, Joseph A; Stewart, Donna; Shields, Lisa B E; Rolf, Cristin M; Falzon, Andrew L; Hudacki, Rachel; Mazzella, Fermina M; Bethel, Melissa; Zarrin-Khameh, Neda; Gresik, M Vicky; Gill, Ryan; Karlon, William; Etzell, Joan; Deftos, Michael; Karlon, William J; Etzell, Joan E; Wang, Endi; Lu, Chuanyi M; Manion, Elizabeth; Rosenthal, Nancy; Wang, Endi; Lu, Chuanyi M; Tang, Patrick; Petric, Martin; Schade, Andrew E; Hall, Geraldine S; Oethinger, Margret; Hall, Geraldine; Picton, Avis R; Hoang, Linda; Imperial, Miguel Ranoa; Kibsey, Pamela; Waites, Ken; Duffy, Lynn; Hall, Geraldine S; Salangsang, Jo-Anne M; Bravo, Lulette Tricia C; Oethinger, Margaret D; Veras, Emanuela; Silva, Elvia; Vicens, Jimena; Silva, Elvio; Keylock, Joren; Hempel, James; Rushing, Elizabeth; Posligua, Lorena E; Deavers, Michael T; Nash, Jason W; Basturk, Olca; Perle, Mary Ann; Greco, Alba; Lee, Peng; Maru, Dipen; Weydert, Jamie Allen; Stevens, Todd M; Brownlee, Noel A; Kemper, April E; Williams, H James; Oliverio, Brock J; Al-Agha, Osama M; Eskue, Kyle L; Newlands, Shawn D; Eltorky, Mahmoud A; Puri, Puja K; Royer, Michael C; Rush, Walter L; Tavora, Fabio; Galvin, Jeffrey R; Franks, Teri J; Carter, James Elliot; Kahn, Andrea Graciela; Lozada Muñoz, Luis R; Houghton, Dan; Land, Kevin J; Nester, Theresa; Gildea, Jacob; Lefkowitz, Jerry; Lacount, Rachel A; Thompson, Hannis W; Refaai, Majed A; Quillen, Karen; Lopez, Ana Ortega; Goldfinger, Dennis; Muram, Talia; Thompson, Hannis

2009-02-01

The following abstracts are compiled from Check Sample exercises published in 2008. These peer-reviewed case studies assist laboratory professionals with continuing medical education and are developed in the areas of clinical chemistry, cytopathology, forensic pathology, hematology, microbiology, surgical pathology, and transfusion medicine. Abstracts for all exercises published in the program will appear annually in AJCP.

14 CFR 121.402 - Training program: Special rules.

Code of Federal Regulations, 2013 CFR

2013-01-01

... part or a flight training center certificated under part 142 of this chapter is eligible under this subpart to provide flight training, testing, and checking under contract or other arrangement to those... provide training, testing, and checking required by this part only if the training center— (1) Holds...

14 CFR 121.402 - Training program: Special rules.

Code of Federal Regulations, 2011 CFR

2011-01-01

... part or a flight training center certificated under part 142 of this chapter is eligible under this subpart to provide flight training, testing, and checking under contract or other arrangement to those... provide training, testing, and checking required by this part only if the training center— (1) Holds...

14 CFR 121.402 - Training program: Special rules.

Code of Federal Regulations, 2012 CFR

2012-01-01

... part or a flight training center certificated under part 142 of this chapter is eligible under this subpart to provide flight training, testing, and checking under contract or other arrangement to those... provide training, testing, and checking required by this part only if the training center— (1) Holds...

14 CFR 121.402 - Training program: Special rules.

Code of Federal Regulations, 2010 CFR

2010-01-01

... part or a flight training center certificated under part 142 of this chapter is eligible under this subpart to provide flight training, testing, and checking under contract or other arrangement to those... provide training, testing, and checking required by this part only if the training center— (1) Holds...

14 CFR 121.402 - Training program: Special rules.

Code of Federal Regulations, 2014 CFR

2014-01-01

... part or a flight training center certificated under part 142 of this chapter is eligible under this subpart to provide flight training, testing, and checking under contract or other arrangement to those... provide training, testing, and checking required by this part only if the training center— (1) Holds...

Building Program Verifiers from Compilers and Theorem Provers

DTIC Science & Technology

2015-05-14

Checking with SMT UFO • LLVM-based front-end (partially reused in SeaHorn) • Combines Abstract Interpretation with Interpolation-Based Model Checking • (no...assertions Counter-examples are long Hard to determine (from main) what is relevant Assertion Main 35 Building Verifiers from Comp and SMT Gurfinkel, 2015

Cost-Effective CNC Part Program Verification Development for Laboratory Instruction.

ERIC Educational Resources Information Center

Chen, Joseph C.; Chang, Ted C.

2000-01-01

Describes a computer numerical control program verification system that checks a part program before its execution. The system includes character recognition, word recognition, a fuzzy-nets system, and a tool path viewer. (SK)

Tank 30 and 37 Supernatant Sample Cross-Check and Evaporator Feed Qualification Analysis-2012

DOE Office of Scientific and Technical Information (OSTI.GOV)

Oji, L. N.

2013-03-07

This report summarizes the analytical data reported by the F/H and Savannah River National Laboratories for the 2012 cross-check analysis for high level waste supernatant liquid samples from SRS Tanks 30 and 37. The intent of this Tank 30 and 37 sample analyses was to perform cross-checks against routine F/H Laboratory analyses (corrosion and evaporator feed qualification programs) using samples collected at the same time from both tanks as well as split samples from the tanks.

Cross-sectional review of the response and treatment uptake from the NHS Health Checks programme in Stoke on Trent.

PubMed

Cochrane, Thomas; Gidlow, Christopher J; Kumar, Jagdish; Mawby, Yvonne; Iqbal, Zafar; Chambers, Ruth M

2013-03-01

As part of national policy to manage the increasing burden of chronic diseases, the Department of Health in England has launched the NHS Health Checks programme, which aims to reduce the burden of the major vascular diseases on the health service. A cross-sectional review of response, attendance and treatment uptake over the first year of the programme in Stoke on Trent was carried out. Patients aged between 32 and 74 years and estimated to be at ≥20% risk of developing cardiovascular disease were identified from electronic medical records. Multi-level regression modelling was used to evaluate the influence of individual- and practice-level factors on health check outcomes. Overall 63.3% of patients responded, 43.7% attended and 29.8% took up a treatment following their health check invitation. The response was higher for older age and more affluent areas; attendance and treatment uptake were higher for males and older age. Variance between practices was significant (P < 0.001) for response (13.4%), attendance (12.7%) and uptake (23%). The attendance rate of 43.7% following invitation to a health check was considerably lower than the benchmark of 75%. The lack of public interest and the prevalence of significant comorbidity are challenges to this national policy innovation.

Wyoming | Solar Research | NREL

Science.gov Websites

There are currently no statewide community solar policies or programs in Wyoming. State Incentive Programs There are currently no statewide solar financial incentive programs in Wyoming. Utility Incentive Programs Please check with your distribution utility for utility incentive programs for midmarket solar

[Level of implementation of the Program for Safety and Health at Work in Antioquia, Colombia].

PubMed

Vega-Monsalve, Ninfa Del Carmen

2017-07-13

This study describes the level of implementation of the Program for Safety and Health at Work in companies located in the Department of Antioquia, Colombia, and associated factors. A cross-sectional survey included 73 companies with more than 50 workers each and implementation of the program. A total of 65 interviews were held, in addition to 73 checklists and process reviews. The companies showed suboptimal compliance with the management model for workplace safety and health proposed by the International Labor Organization (ILO). The component with the best development was Organization (87%), and the worst was Policy (67%). Company executives contended that the causes of suboptimal implementation were the limited commitment by area directors and scarce budget resources. Risk management mostly aimed to comply with the legal requirements in order to avoid penalties, plus documenting cases. There was little implementation of effective checks and controls to reduce the sources of work accidents. The study concludes that workers' health management lacks effective strategies.

30 CFR 77.804 - High-voltage trailing cables; minimum design requirements.

Code of Federal Regulations, 2011 CFR

2011-07-01

... equipped with metallic shields around each power conductor with one or more ground conductors having a total cross-sectional area of not less than one-half the power conductor, and with an insulated conductor for the ground continuity check circuit. External ground check conductors may be used if they are...

12 CFR 229.39 - lnsolvency of bank.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 12 Banks and Banking 3 2011-01-01 2011-01-01 false lnsolvency of bank. 229.39 Section 229.39 Banks... AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Collection of Checks § 229.39 lnsolvency of bank..., collecting, depositary, or returning bank that suspends payment, and which is not paid, shall be returned by...

30 CFR 77.902-1 - Fail safe ground check circuits; maximum voltage.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Fail safe ground check circuits; maximum voltage. 77.902-1 Section 77.902-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF... OF UNDERGROUND COAL MINES Low- and Medium-Voltage Alternating Current Circuits § 77.902-1 Fail safe...

30 CFR 77.902-1 - Fail safe ground check circuits; maximum voltage.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Fail safe ground check circuits; maximum voltage. 77.902-1 Section 77.902-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF... OF UNDERGROUND COAL MINES Low- and Medium-Voltage Alternating Current Circuits § 77.902-1 Fail safe...

30 CFR 77.902-1 - Fail safe ground check circuits; maximum voltage.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Fail safe ground check circuits; maximum voltage. 77.902-1 Section 77.902-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF... OF UNDERGROUND COAL MINES Low- and Medium-Voltage Alternating Current Circuits § 77.902-1 Fail safe...

32 CFR 147.24 - The national agency check.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 32 National Defense 1 2013-07-01 2013-07-01 false The national agency check. 147.24 Section 147.24 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL, MILITARY AND CIVILIAN... reinvestigations. It consists of a review of; (a) Investigative and criminal history files of the FBI, including a...

32 CFR 147.24 - The national agency check.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 32 National Defense 1 2011-07-01 2011-07-01 false The national agency check. 147.24 Section 147.24 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL, MILITARY AND CIVILIAN... reinvestigations. It consists of a review of; (a) Investigative and criminal history files of the FBI, including a...

32 CFR 147.24 - The national agency check.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 32 National Defense 1 2010-07-01 2010-07-01 false The national agency check. 147.24 Section 147.24 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL, MILITARY AND CIVILIAN... reinvestigations. It consists of a review of; (a) Investigative and criminal history files of the FBI, including a...

32 CFR 147.24 - The national agency check.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 32 National Defense 1 2014-07-01 2014-07-01 false The national agency check. 147.24 Section 147.24 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL, MILITARY AND CIVILIAN... reinvestigations. It consists of a review of; (a) Investigative and criminal history files of the FBI, including a...

32 CFR 147.24 - The national agency check.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 32 National Defense 1 2012-07-01 2012-07-01 false The national agency check. 147.24 Section 147.24 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL, MILITARY AND CIVILIAN... reinvestigations. It consists of a review of; (a) Investigative and criminal history files of the FBI, including a...

25 CFR 36.100 - Are there minimum requirements for student attendance checks?

Code of Federal Regulations, 2010 CFR

2010-04-01

... 25 Indians 1 2010-04-01 2010-04-01 false Are there minimum requirements for student attendance checks? 36.100 Section 36.100 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION MINIMUM ACADEMIC STANDARDS FOR THE BASIC EDUCATION OF INDIAN CHILDREN AND NATIONAL CRITERIA FOR DORMITORY...

40 CFR 265.1053 - Standards: Compressors.

Code of Federal Regulations, 2010 CFR

2010-07-01

... equipped with a sensor that will detect failure of the seal system, barrier fluid system, or both. (e)(1) Each sensor as required in paragraph (d) of this section shall be checked daily or shall be equipped... compressor is located within the boundary of an unmanned plant site, in which case the sensor must be checked...

40 CFR 264.1053 - Standards: Compressors.

Code of Federal Regulations, 2010 CFR

2010-07-01

... equipped with a sensor that will detect failure of the seal system, barrier fluid system, or both. (e)(1) Each sensor as required in paragraph (d) of this section shall be checked daily or shall be equipped... compressor is located within the boundary of an unmanned plant site, in which case the sensor must be checked...

40 CFR 264.1053 - Standards: Compressors.

Code of Federal Regulations, 2011 CFR

2011-07-01

... equipped with a sensor that will detect failure of the seal system, barrier fluid system, or both. (e)(1) Each sensor as required in paragraph (d) of this section shall be checked daily or shall be equipped... compressor is located within the boundary of an unmanned plant site, in which case the sensor must be checked...

40 CFR 265.1053 - Standards: Compressors.

Code of Federal Regulations, 2011 CFR

2011-07-01

... equipped with a sensor that will detect failure of the seal system, barrier fluid system, or both. (e)(1) Each sensor as required in paragraph (d) of this section shall be checked daily or shall be equipped... compressor is located within the boundary of an unmanned plant site, in which case the sensor must be checked...

40 CFR 264.1053 - Standards: Compressors.

Code of Federal Regulations, 2014 CFR

2014-07-01

... equipped with a sensor that will detect failure of the seal system, barrier fluid system, or both. (e)(1) Each sensor as required in paragraph (d) of this section shall be checked daily or shall be equipped... compressor is located within the boundary of an unmanned plant site, in which case the sensor must be checked...

40 CFR 264.1053 - Standards: Compressors.

Code of Federal Regulations, 2013 CFR

2013-07-01

... equipped with a sensor that will detect failure of the seal system, barrier fluid system, or both. (e)(1) Each sensor as required in paragraph (d) of this section shall be checked daily or shall be equipped... compressor is located within the boundary of an unmanned plant site, in which case the sensor must be checked...

40 CFR 265.1053 - Standards: Compressors.

Code of Federal Regulations, 2013 CFR

2013-07-01

... equipped with a sensor that will detect failure of the seal system, barrier fluid system, or both. (e)(1) Each sensor as required in paragraph (d) of this section shall be checked daily or shall be equipped... compressor is located within the boundary of an unmanned plant site, in which case the sensor must be checked...

40 CFR 265.1053 - Standards: Compressors.

Code of Federal Regulations, 2012 CFR

2012-07-01

... equipped with a sensor that will detect failure of the seal system, barrier fluid system, or both. (e)(1) Each sensor as required in paragraph (d) of this section shall be checked daily or shall be equipped... compressor is located within the boundary of an unmanned plant site, in which case the sensor must be checked...

40 CFR 264.1053 - Standards: Compressors.

Code of Federal Regulations, 2012 CFR

2012-07-01

... equipped with a sensor that will detect failure of the seal system, barrier fluid system, or both. (e)(1) Each sensor as required in paragraph (d) of this section shall be checked daily or shall be equipped... compressor is located within the boundary of an unmanned plant site, in which case the sensor must be checked...

40 CFR 265.1053 - Standards: Compressors.

Code of Federal Regulations, 2014 CFR

2014-07-01

... equipped with a sensor that will detect failure of the seal system, barrier fluid system, or both. (e)(1) Each sensor as required in paragraph (d) of this section shall be checked daily or shall be equipped... compressor is located within the boundary of an unmanned plant site, in which case the sensor must be checked...

25 CFR 36.100 - Are there minimum requirements for student attendance checks?

Code of Federal Regulations, 2012 CFR

2012-04-01

... 25 Indians 1 2012-04-01 2011-04-01 true Are there minimum requirements for student attendance checks? 36.100 Section 36.100 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION MINIMUM ACADEMIC STANDARDS FOR THE BASIC EDUCATION OF INDIAN CHILDREN AND NATIONAL CRITERIA FOR DORMITORY...

25 CFR 36.100 - Are there minimum requirements for student attendance checks?

Code of Federal Regulations, 2011 CFR

2011-04-01

... 25 Indians 1 2011-04-01 2011-04-01 false Are there minimum requirements for student attendance checks? 36.100 Section 36.100 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION MINIMUM ACADEMIC STANDARDS FOR THE BASIC EDUCATION OF INDIAN CHILDREN AND NATIONAL CRITERIA FOR DORMITORY...

25 CFR 36.100 - Are there minimum requirements for student attendance checks?

Code of Federal Regulations, 2013 CFR

2013-04-01

... 25 Indians 1 2013-04-01 2013-04-01 false Are there minimum requirements for student attendance checks? 36.100 Section 36.100 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION MINIMUM ACADEMIC STANDARDS FOR THE BASIC EDUCATION OF INDIAN CHILDREN AND NATIONAL CRITERIA FOR DORMITORY...

25 CFR 36.100 - Are there minimum requirements for student attendance checks?

Code of Federal Regulations, 2014 CFR

2014-04-01

... 25 Indians 1 2014-04-01 2014-04-01 false Are there minimum requirements for student attendance checks? 36.100 Section 36.100 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION MINIMUM ACADEMIC STANDARDS FOR THE BASIC EDUCATION OF INDIAN CHILDREN AND NATIONAL CRITERIA FOR DORMITORY...

34 CFR 300.113 - Routine checking of hearing aids and external components of surgically implanted medical devices.

Code of Federal Regulations, 2010 CFR

2010-07-01

..., DEPARTMENT OF EDUCATION ASSISTANCE TO STATES FOR THE EDUCATION OF CHILDREN WITH DISABILITIES State... 34 Education 2 2010-07-01 2010-07-01 false Routine checking of hearing aids and external components of surgically implanted medical devices. 300.113 Section 300.113 Education Regulations of the...

7 CFR 1942.123 - Loan closing.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 13 2010-01-01 2009-01-01 true Loan closing. 1942.123 Section 1942.123 Agriculture... Loan closing. (a) Ordering loan checks. Checks will not be ordered until: (1) Form FmHA or its... closing instructions, except for those actions which are to be completed on the date of loan closing or...

36 CFR § 504.12 - Items to be checked.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 36 Parks, Forests, and Public Property 3 2013-07-01 2012-07-01 true Items to be checked. § 504.12 Section § 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS... needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may...

10 CFR 73.28 - Security background checks for secure transfer of nuclear materials.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 10 Energy 2 2010-01-01 2010-01-01 false Security background checks for secure transfer of nuclear materials. 73.28 Section 73.28 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) PHYSICAL PROTECTION OF PLANTS AND MATERIALS Physical Protection of Special Nuclear Material in Transit § 73.28 Security...

10 CFR 73.28 - Security background checks for secure transfer of nuclear materials.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 10 Energy 2 2011-01-01 2011-01-01 false Security background checks for secure transfer of nuclear materials. 73.28 Section 73.28 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) PHYSICAL PROTECTION OF PLANTS AND MATERIALS Physical Protection of Special Nuclear Material in Transit § 73.28 Security...

10 CFR 73.28 - Security background checks for secure transfer of nuclear materials.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 10 Energy 2 2012-01-01 2012-01-01 false Security background checks for secure transfer of nuclear materials. 73.28 Section 73.28 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) PHYSICAL PROTECTION OF PLANTS AND MATERIALS Physical Protection of Special Nuclear Material in Transit § 73.28 Security...

10 CFR 73.28 - Security background checks for secure transfer of nuclear materials.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 10 Energy 2 2014-01-01 2014-01-01 false Security background checks for secure transfer of nuclear materials. 73.28 Section 73.28 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) PHYSICAL PROTECTION OF PLANTS AND MATERIALS Physical Protection of Special Nuclear Material in Transit § 73.28 Security...

10 CFR 73.28 - Security background checks for secure transfer of nuclear materials.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 10 Energy 2 2013-01-01 2013-01-01 false Security background checks for secure transfer of nuclear materials. 73.28 Section 73.28 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) PHYSICAL PROTECTION OF PLANTS AND MATERIALS Physical Protection of Special Nuclear Material in Transit § 73.28 Security...

10 CFR 34.75 - Records of alarm system and entrance control checks at permanent radiographic installations.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 10 Energy 1 2012-01-01 2012-01-01 false Records of alarm system and entrance control checks at permanent radiographic installations. 34.75 Section 34.75 Energy NUCLEAR REGULATORY COMMISSION LICENSES FOR INDUSTRIAL RADIOGRAPHY AND RADIATION SAFETY REQUIREMENTS FOR INDUSTRIAL RADIOGRAPHIC OPERATIONS Recordkeeping...

10 CFR 34.75 - Records of alarm system and entrance control checks at permanent radiographic installations.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 10 Energy 1 2014-01-01 2014-01-01 false Records of alarm system and entrance control checks at permanent radiographic installations. 34.75 Section 34.75 Energy NUCLEAR REGULATORY COMMISSION LICENSES FOR INDUSTRIAL RADIOGRAPHY AND RADIATION SAFETY REQUIREMENTS FOR INDUSTRIAL RADIOGRAPHIC OPERATIONS Recordkeeping...

10 CFR 34.75 - Records of alarm system and entrance control checks at permanent radiographic installations.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 10 Energy 1 2011-01-01 2011-01-01 false Records of alarm system and entrance control checks at permanent radiographic installations. 34.75 Section 34.75 Energy NUCLEAR REGULATORY COMMISSION LICENSES FOR INDUSTRIAL RADIOGRAPHY AND RADIATION SAFETY REQUIREMENTS FOR INDUSTRIAL RADIOGRAPHIC OPERATIONS Recordkeeping...

10 CFR 34.75 - Records of alarm system and entrance control checks at permanent radiographic installations.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 10 Energy 1 2010-01-01 2010-01-01 false Records of alarm system and entrance control checks at permanent radiographic installations. 34.75 Section 34.75 Energy NUCLEAR REGULATORY COMMISSION LICENSES FOR INDUSTRIAL RADIOGRAPHY AND RADIATION SAFETY REQUIREMENTS FOR INDUSTRIAL RADIOGRAPHIC OPERATIONS Recordkeeping...

10 CFR 34.75 - Records of alarm system and entrance control checks at permanent radiographic installations.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 10 Energy 1 2013-01-01 2013-01-01 false Records of alarm system and entrance control checks at permanent radiographic installations. 34.75 Section 34.75 Energy NUCLEAR REGULATORY COMMISSION LICENSES FOR INDUSTRIAL RADIOGRAPHY AND RADIATION SAFETY REQUIREMENTS FOR INDUSTRIAL RADIOGRAPHIC OPERATIONS Recordkeeping...

49 CFR 1562.23 - Aircraft operator and passenger requirements.

Code of Federal Regulations, 2013 CFR

2013-10-01

... designated by an aircraft operator under paragraph (a) of this section: (1) Must undergo a fingerprint-based... compliance with the fingerprint-based criminal history records check requirements of §§ 1542.209, 1544.229... a fingerprint-based criminal history records check that does not disclose that he or she has a...

49 CFR 1562.23 - Aircraft operator and passenger requirements.

Code of Federal Regulations, 2011 CFR

2011-10-01

... designated by an aircraft operator under paragraph (a) of this section: (1) Must undergo a fingerprint-based... compliance with the fingerprint-based criminal history records check requirements of §§ 1542.209, 1544.229... a fingerprint-based criminal history records check that does not disclose that he or she has a...

Program for improved electrical harness documentation and fabrication

NASA Technical Reports Server (NTRS)

1971-01-01

Computer program provides automated print-out of harness interconnection table and automated cross-check of reciprocal pin/connector assignments, and improves accuracy and reliability of final documented data. Programs and corresponding library tapes are successfully and continuously employed on Nimbus spacecraft programs.

Generalize aerodynamic coefficient table storage, checkout and interpolation for aircraft simulation

NASA Technical Reports Server (NTRS)

Neuman, F.; Warner, N.

1973-01-01

The set of programs described has been used for rapidly introducing, checking out and very efficiently using aerodynamic tables in complex aircraft simulations on the IBM 360. The preprocessor program reads in tables with different names and dimensions and stores then on disc storage according to the specified dimensions. The tables are read in from IBM cards in a format which is convenient to reduce the data from the original graphs. During table processing, new auxiliary tables are generated which are required for table cataloging and for efficient interpolation. In addition, DIMENSION statements for the tables as well as READ statements are punched so that they may be used in other programs for readout of the data from disc without chance of programming errors. A quick data checking graphical output for all tables is provided in a separate program.

LACIE performance predictor final operational capability program description, volume 1

NASA Technical Reports Server (NTRS)

1976-01-01

The program EPHEMS computes the orbital parameters for up to two vehicles orbiting the earth for up to 549 days. The data represents a continuous swath about the earth, producing tables which can be used to determine when and if certain land segments will be covered. The program GRID processes NASA's climatology tape to obtain the weather indices along with associated latitudes and longitudes. The program LUMP takes substrata historical data and sample segment ID, crop window, crop window error and statistical data, checks for valid input parameters and generates the segment ID file, crop window file and the substrata historical file. Finally, the System Error Executive (SEE) Program checks YES error and truth data, CAMS error data, and signature extension data for validity and missing elements. A message is printed for each error found.

Integrity Constraint Monitoring in Software Development: Proposed Architectures

NASA Technical Reports Server (NTRS)

Fernandez, Francisco G.

1997-01-01

In the development of complex software systems, designers are required to obtain from many sources and manage vast amounts of knowledge of the system being built and communicate this information to personnel with a variety of backgrounds. Knowledge concerning the properties of the system, including the structure of, relationships between and limitations of the data objects in the system, becomes increasingly more vital as the complexity of the system and the number of knowledge sources increases. Ensuring that violations of these properties do not occur becomes steadily more challenging. One approach toward managing the enforcement or system properties, called context monitoring, uses a centralized repository of integrity constraints and a constraint satisfiability mechanism for dynamic verification of property enforcement during program execution. The focus of this paper is to describe possible software architectures that define a mechanism for dynamically checking the satisfiability of a set of constraints on a program. The next section describes the context monitoring approach in general. Section 3 gives an overview of the work currently being done toward the addition of an integrity constraint satisfiability mechanism to a high-level program language, SequenceL, and demonstrates how this model is being examined to develop a general software architecture. Section 4 describes possible architectures for a general constraint satisfiability mechanism, as well as an alternative approach that, uses embedded database queries in lieu of an external monitor. The paper concludes with a brief summary outlining the, current state of the research and future work.

Alaska | Midmarket Solar Policies in the United States | Solar Research |

Science.gov Websites

developers may offer community solar programs. State Incentive Programs Program Administrator Incentive decisions. Utility Incentive Programs Check with local utilities for midscale solar incentives. Resources and utility policies and incentive programs. Net Metering and Interconnection Regulatory Commission of

Cross Check of NOvA Oscillation Probabilities

DOE Office of Scientific and Technical Information (OSTI.GOV)

Parke, Stephen J.; Messier, Mark D.

2018-01-12

In this note we perform a cross check of the programs used by NOvA to calculate the 3-flavor oscillation probabilities with a independent program using a different method. The comparison is performed at 6 significant figures and the agreement,more » $$|\\Delta P|/P$$ is better than $$10^{-5}$$, as good as can be expected with 6 significant figures. In addition, a simple and accurate alternative method to calculate the oscillation probabilities is outlined and compared in the L/E range and matter density relevant for the NOvA experiment.« less

Automated Verification of Specifications with Typestates and Access Permissions

NASA Technical Reports Server (NTRS)

Siminiceanu, Radu I.; Catano, Nestor

2011-01-01

We propose an approach to formally verify Plural specifications based on access permissions and typestates, by model-checking automatically generated abstract state-machines. Our exhaustive approach captures all the possible behaviors of abstract concurrent programs implementing the specification. We describe the formal methodology employed by our technique and provide an example as proof of concept for the state-machine construction rules. The implementation of a fully automated algorithm to generate and verify models, currently underway, provides model checking support for the Plural tool, which currently supports only program verification via data flow analysis (DFA).

Utilization of Computer Technology To Facilitate Money Management by Individuals with Mental Retardation.

ERIC Educational Resources Information Center

Davies, Daniel K.; Stock, Steven E.; Wehmeyer, Michael L.

2003-01-01

This report describes results of an initial investigation of the utility of a specially designed money management software program for improving management of personal checking accounts for individuals with mental retardation. Use with 19 adults with mental retardation indicated the software resulted in significant reduction in check writing and…

42 CFR 424.350 - Replacement of checks that are lost, stolen, defaced, mutilated, destroyed, or paid on forged...

Code of Federal Regulations, 2010 CFR

2010-10-01

... CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES (CONTINUED) MEDICARE PROGRAM CONDITIONS FOR MEDICARE PAYMENT Replacement and Reclamation of Medicare Payments § 424.350... investigation and settlement of claims in connection with Treasury checks issued on behalf of CMS. (2) Action by...

40 CFR 89.408 - Post-test procedures.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 40 Protection of Environment 20 2010-07-01 2010-07-01 false Post-test procedures. 89.408 Section... Procedures § 89.408 Post-test procedures. (a) A hangup check is recommended at the completion of the last...) Record the post-test data specified in § 89.405(f). (e) For a valid test, the zero and span checks...

40 CFR 89.408 - Post-test procedures.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 40 Protection of Environment 21 2013-07-01 2013-07-01 false Post-test procedures. 89.408 Section... Procedures § 89.408 Post-test procedures. (a) A hangup check is recommended at the completion of the last...) Record the post-test data specified in § 89.405(f). (e) For a valid test, the zero and span checks...

40 CFR 89.408 - Post-test procedures.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 40 Protection of Environment 20 2011-07-01 2011-07-01 false Post-test procedures. 89.408 Section... Procedures § 89.408 Post-test procedures. (a) A hangup check is recommended at the completion of the last...) Record the post-test data specified in § 89.405(f). (e) For a valid test, the zero and span checks...

40 CFR 89.408 - Post-test procedures.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 40 Protection of Environment 21 2012-07-01 2012-07-01 false Post-test procedures. 89.408 Section... Procedures § 89.408 Post-test procedures. (a) A hangup check is recommended at the completion of the last...) Record the post-test data specified in § 89.405(f). (e) For a valid test, the zero and span checks...

40 CFR 89.408 - Post-test procedures.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 40 Protection of Environment 20 2014-07-01 2013-07-01 true Post-test procedures. 89.408 Section 89... Procedures § 89.408 Post-test procedures. (a) A hangup check is recommended at the completion of the last...) Record the post-test data specified in § 89.405(f). (e) For a valid test, the zero and span checks...

31 CFR 211.2 - Claims for the release of withheld checks or for the proceeds thereof.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Claims for the release of withheld checks or for the proceeds thereof. 211.2 Section 211.2 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT...

34 CFR 300.113 - Routine checking of hearing aids and external components of surgically implanted medical devices.

Code of Federal Regulations, 2011 CFR

2011-07-01

..., DEPARTMENT OF EDUCATION ASSISTANCE TO STATES FOR THE EDUCATION OF CHILDREN WITH DISABILITIES State... 34 Education 2 2011-07-01 2010-07-01 true Routine checking of hearing aids and external components of surgically implanted medical devices. 300.113 Section 300.113 Education Regulations of the Offices...

31 CFR 211.2 - Claims for the release of withheld checks or for the proceeds thereof.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Claims for the release of withheld checks or for the proceeds thereof. 211.2 Section 211.2 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT...

41 CFR 301-51.200 - For what expenses may I receive a travel advance?

Code of Federal Regulations, 2013 CFR

2013-07-01

... personal check, or travelers check) Any time you are on official travel. (1) M&IE covered by the per diem... receive a travel advance? 301-51.200 Section 301-51.200 Public Contracts and Property Management Federal Travel Regulation System TEMPORARY DUTY (TDY) TRAVEL ALLOWANCES ARRANGING FOR TRAVEL SERVICES, PAYING...

41 CFR 301-51.200 - For what expenses may I receive a travel advance?

Code of Federal Regulations, 2011 CFR

2011-07-01

... personal check, or travelers check) Any time you are on official travel. (1) M&IE covered by the per diem... receive a travel advance? 301-51.200 Section 301-51.200 Public Contracts and Property Management Federal Travel Regulation System TEMPORARY DUTY (TDY) TRAVEL ALLOWANCES ARRANGING FOR TRAVEL SERVICES, PAYING...

41 CFR 301-51.200 - For what expenses may I receive a travel advance?

Code of Federal Regulations, 2010 CFR

2010-07-01

... personal check, or travelers check) Any time you are on official travel. (1) M&IE covered by the per diem... receive a travel advance? 301-51.200 Section 301-51.200 Public Contracts and Property Management Federal Travel Regulation System TEMPORARY DUTY (TDY) TRAVEL ALLOWANCES ARRANGING FOR TRAVEL SERVICES, PAYING...

41 CFR 301-51.200 - For what expenses may I receive a travel advance?

Code of Federal Regulations, 2012 CFR

2012-07-01

... personal check, or travelers check) Any time you are on official travel. (1) M&IE covered by the per diem... receive a travel advance? 301-51.200 Section 301-51.200 Public Contracts and Property Management Federal Travel Regulation System TEMPORARY DUTY (TDY) TRAVEL ALLOWANCES ARRANGING FOR TRAVEL SERVICES, PAYING...

36 CFR § 520.13 - Items to be checked.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 36 Parks, Forests, and Public Property 3 2013-07-01 2012-07-01 true Items to be checked. § 520.13 Section § 520.13 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING THE BUILDINGS AND GROUNDS OF THE NATIONAL ZOOLOGICAL PARK OF THE SMITHSONIAN INSTITUTION § 520.13...

36 CFR 1202.52 - How do I pay?

Code of Federal Regulations, 2010 CFR

2010-07-01

... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false How do I pay? 1202.52 Section... REGULATIONS IMPLEMENTING THE PRIVACY ACT OF 1974 Individual Access to Records § 1202.52 How do I pay? You must pay by check or money order. Make your check or money order payable to the National Archives and...

26 CFR 301.6867-1 - Presumptions where owner of large amount of cash is not identified.

Code of Federal Regulations, 2011 CFR

2011-04-01

... Revenue Code, relating to abatements, credits, and refunds, and may not institute a suit for refund in... 6532(c), relating to the 9-month statute of limitations for suits under section 7426. In addition, the...) Postage stamps; (F) Traveler's checks in any form; (G) Negotiable instruments (including personal checks...

26 CFR 301.6867-1 - Presumptions where owner of large amount of cash is not identified.

Code of Federal Regulations, 2010 CFR

2010-04-01

... Revenue Code, relating to abatements, credits, and refunds, and may not institute a suit for refund in... 6532(c), relating to the 9-month statute of limitations for suits under section 7426. In addition, the...) Postage stamps; (F) Traveler's checks in any form; (G) Negotiable instruments (including personal checks...

Finding Feasible Abstract Counter-Examples

NASA Technical Reports Server (NTRS)

Pasareanu, Corina S.; Dwyer, Matthew B.; Visser, Willem; Clancy, Daniel (Technical Monitor)

2002-01-01

A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.

West Virginia | Solar Research | NREL

Science.gov Websites

Incentive Programs West Virginia currently does not have any statewide financial incentives for midmarket solar. Utility Incentive Programs Check with local utility for utility incentive programs. Resources The utility policies and incentive programs. Net Metering and Interconnection West Virginia Public Service

ExoMars Raman Laser Spectrometer scientific required performances check with a Breadboard

NASA Astrophysics Data System (ADS)

Moral, A.; Díaz, E.; Ramos, G.; Rodríguez Prieto, J. A.; Pérez Canora, C.; Díaz, C.; Canchal, R.; Gallego, P.; Santamaría, P.; Colombo, M.

2013-09-01

The Raman Laser Spectrometer (RLS) is one of the Pasteur Payload instruments, within the ESA's Aurora Exploration Program, ExoMars mission. For being able to verify the achievement of the scientific objectives of the instrument, a Breadboard campaign was developed, for achieving instrument TRL5. Within the Instrument TRL5 Plan, it was required to every unit to develop its own Unit Breadboard, to check their own TRL5 and then to deliver it to System Team to be integrated and tested for finally checks Instrument performances.

Analysis of child passenger safety restraint use at a pediatric emergency department.

PubMed

Cease, Alan T; King, William D; Monroe, Kathy W

2011-02-01

The objectives of the study were to determine the number of children properly restrained during transit to a pediatric emergency department for care and to ascertain parental knowledge of Alabama laws and American Academy of Pediatrics (AAP) guidelines and where they obtain this information. An emergency department (patient care rooms) waiting area, convenience sample of Alabama parents who have children younger than or 13 years of age were surveyed over a 5-week period. Appropriate use of child passenger safety (CPS) restraints was determined using Alabama law and AAP recommendations. Use of Car Seat Checks provided by Children's Hospital and Safe Kids, knowledge of Alabama laws and CPS guidelines, and the source of information used by parents were ascertained. Among 525 patients identified, 520 (99.0%) participated. Appropriate use per Alabama law and AAP guidelines was 72.3% and 60.6%, respectively; 5.0% were unrestrained. Booster seats were the most commonly misused restraint. Car seats were reportedly used correctly by 81.9%. Parents who had used the Car Seat Checks program had correct booster seat and car seat use rates of 95.8% and 61.5%, respectively. Unfortunately, only 31.2% of patients had knowledge of the Car Seat Checks program, and only 40.6% knew the current law. Most often, parents stated that the hospital where their child was born was the primary (and sometimes only) source of CPS information. This study illustrates the need for improving parental knowledge of appropriate child passenger restraint use (especially booster seats) and Car Seat Checks programs. Car seat program assistance is associated with high levels of appropriate use.

KSC-05PD-1577

NASA Technical Reports Server (NTRS)

2005-01-01

KENNEDY SPACE CENTER, FLA. Members of the engineering team are meeting in the Launch Control Center to review data and possible troubleshooting plans for the liquid hydrogen tank low-level fuel cut-off sensor. At left is John Muratore, manager of Systems Engineering and Integration for the Space Shuttle Program; Ed Mango, JSC deputy manager of the orbiter project office; and Carol Scott, KSC Integration Manager. The sensor failed a routine prelaunch check during the launch countdown July 13, causing mission managers to scrub Discovery's first launch attempt. The sensor protects the Shuttle's main engines by triggering their shutdown in the event fuel runs unexpectedly low. The sensor is one of four inside the liquid hydrogen section of the External Tank (ET).

PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs

DOE Office of Scientific and Technical Information (OSTI.GOV)

Bao, Wenlei; Krishnamoorthy, Sriram; Pouchet, Louis-noel

2016-01-11

High-level compiler transformations, especially loop transformations, are widely recognized as critical optimizations to restructure programs to improve data locality and expose parallelism. Guaranteeing the correctness of program transformations is essential, and to date three main approaches have been developed: proof of equivalence of affine programs, matching the execution traces of programs, and checking bit-by-bit equivalence of the outputs of the programs. Each technique suffers from limitations in either the kind of transformations supported, space complexity, or the sensitivity to the testing dataset. In this paper, we take a novel approach addressing all three limitations to provide an automatic bug checkermore » to verify any iteration reordering transformations on affine programs, including non-affine transformations, with space consumption proportional to the original program data, and robust to arbitrary datasets of a given size. We achieve this by exploiting the structure of affine program control- and data-flow to generate at compile-time lightweight checker code to be executed within the transformed program. Experimental results assess the correctness and effectiveness of our method, and its increased coverage over previous approaches.« less

Methodology used for Calculating VMT

EPA Pesticide Factsheets

The report provides the estimation of the annual VMT in California to help evaluate the effectiveness of the California s inspection and maintenance (I/M) program, also known as the Smog Check program.

Uptake of the NHS Health Checks programme in a deprived, culturally diverse setting: cross-sectional study.

PubMed

Dalton, Andrew R H; Bottle, Alex; Okoro, Cyprian; Majeed, Azeem; Millett, Christopher

2011-09-01

The UK is embarking on a national cardiovascular risk assessment programme called NHS Health Checks; in order to be effective, high and equitable uptake is paramount. A cross-sectional study, using data extracted from electronic medical records of persons aged 35-74 years estimated to be at a high risk of developing cardiovascular disease, to examine the uptake of the Health Checks using logistic regression and statin prescribing. A total of 44.8% of high risk patients invited for a Health Check attended. Uptake was lower among younger men but higher among patients from south Asian (AOR = 1.71 [1.29-2.27] compared with white) or mixed ethnic backgrounds (AOR = 2.42 [1.50-3.89]), and patients registered with smaller practices (AOR = 2.53 [1.09-5.84] <3000 patients compared with 3000-5999). The percentage of patients confirmed to be at high risk of CVD prescribed a statin increased from 24.7 to 44.8%. Uptake of cardiovascular risk assessment and prescribing of statins in high risk patients was considerably lower than projected in the first year of NHS Health Checks programme. Targeting efforts to increase uptake and adherence to interventions in high risk populations and reinvesting resources into population wide strategies to reduce obesity, smoking and salt intake may prove more cost-effective in reducing the burden of cardiovascular disease in the UK.

The Use of the Adjective Check List to Describe the Adult Basic Education Student.

ERIC Educational Resources Information Center

Wilson, Russell C.

The study's purpose was to use the Adjective Check List (ACL), a self-administered personality assessment instrument, to determine whether there were response differences between a sample of Adult Basic Education (ABE) students and the general test norms. The ACL was administered to 142 students in ABE high school completion programs in Des…

48 CFR 819.7112 - Internal controls.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 48 Federal Acquisition Regulations System 5 2010-10-01 2010-10-01 false Internal controls. 819... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS VA Mentor-Protégé Program 819.7112 Internal controls. (a) OSDBU... Program objectives. OSDBU will establish internal controls as checks and balances applicable to the...

48 CFR 819.7112 - Internal controls.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 48 Federal Acquisition Regulations System 5 2013-10-01 2013-10-01 false Internal controls. 819... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS VA Mentor-Protégé Program 819.7112 Internal controls. (a) OSDBU... Program objectives. OSDBU will establish internal controls as checks and balances applicable to the...

48 CFR 819.7112 - Internal controls.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 48 Federal Acquisition Regulations System 5 2014-10-01 2014-10-01 false Internal controls. 819... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS VA Mentor-Protégé Program 819.7112 Internal controls. (a) OSDBU... Program objectives. OSDBU will establish internal controls as checks and balances applicable to the...

48 CFR 819.7112 - Internal controls.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 48 Federal Acquisition Regulations System 5 2011-10-01 2011-10-01 false Internal controls. 819... SOCIOECONOMIC PROGRAMS SMALL BUSINESS PROGRAMS VA Mentor-Protégé Program 819.7112 Internal controls. (a) OSDBU... Program objectives. OSDBU will establish internal controls as checks and balances applicable to the...

Food safety in food services in Lombardy: proposal for an inspection-scoring model.

PubMed

Balzaretti, Claudia M; Razzini, Katia; Ziviani, Silvia; Ratti, Sabrina; Milicevic, Vesna; Chiesa, Luca M; Panseri, Sara; Castrica, Marta

2017-10-20

The purpose of this study was to elaborate a checklist with an inspection scoring system at national level in order to assess compliance with sanitary hygiene requirements of food services. The inspection scoring system was elaborated taking into account the guidelines drawn up by NYC Department of Food Safety and Mental Hygiene. Moreover the checklist was used simultaneously with the standard inspection protocol adopted by Servizio Igiene Alimenti Nutrizione ( Servizio Igiene Alimenti Nutrizione - Ss. I.A.N) and defined by D.G.R 6 March 2017 - n. X/6299 Lombardy Region. Ss. I.A.N protocol consists of a qualitative response according to which we have generated a new protocol with three different grading: A, B and C. The designed checklist was divided into 17 sections. Each section corresponds to prerequisites to be verified during the inspection. Every section includes the type of conformity to check and the type of violation: critical or general. Moreover, the failure to respect the expected compliance generates 4 severity levels that correspond to score classes. A total of 7 food services were checked with the two different inspection methods. The checklist results generated a food safety score for each food service that ranged from 0.0 (no flaws observed) to 187.2, and generates three grading class: A (0.0-28.0); B (29.0-70.0) and C (>71.00). The results from the Ss. I. A. N grading method and the checklist show positive correlation ( r =0.94, P>0.01) suggesting that the methods are comparable. Moreover, our scoring checklist is an easy and unique method compared to standard and allows also managers to perform effective surveillance programs in food service.

Food safety in food services in Lombardy: proposal for an inspection-scoring model

PubMed Central

Balzaretti, Claudia M.; Razzini, Katia; Ziviani, Silvia; Ratti, Sabrina; Milicevic, Vesna; Chiesa, Luca M.; Panseri, Sara; Castrica, Marta

2017-01-01

The purpose of this study was to elaborate a checklist with an inspection scoring system at national level in order to assess compliance with sanitary hygiene requirements of food services. The inspection scoring system was elaborated taking into account the guidelines drawn up by NYC Department of Food Safety and Mental Hygiene. Moreover the checklist was used simultaneously with the standard inspection protocol adopted by Servizio Igiene Alimenti Nutrizione (Servizio Igiene Alimenti Nutrizione - Ss. I.A.N) and defined by D.G.R 6 March 2017 – n. X/6299 Lombardy Region. Ss. I.A.N protocol consists of a qualitative response according to which we have generated a new protocol with three different grading: A, B and C. The designed checklist was divided into 17 sections. Each section corresponds to prerequisites to be verified during the inspection. Every section includes the type of conformity to check and the type of violation: critical or general. Moreover, the failure to respect the expected compliance generates 4 severity levels that correspond to score classes. A total of 7 food services were checked with the two different inspection methods. The checklist results generated a food safety score for each food service that ranged from 0.0 (no flaws observed) to 187.2, and generates three grading class: A (0.0-28.0); B (29.0-70.0) and C (>71.00). The results from the Ss. I. A. N grading method and the checklist show positive correlation (r=0.94, P>0.01) suggesting that the methods are comparable. Moreover, our scoring checklist is an easy and unique method compared to standard and allows also managers to perform effective surveillance programs in food service. PMID:29564236

14 CFR 135.327 - Training program: Curriculum.

Code of Federal Regulations, 2010 CFR

2010-01-01

... § 135.327 Training program: Curriculum. (a) Each certificate holder must prepare and keep current a..., procedures and functions that will be performed during each flight training phase or flight check, indicating...

14 CFR 135.327 - Training program: Curriculum.

Code of Federal Regulations, 2011 CFR

2011-01-01

... § 135.327 Training program: Curriculum. (a) Each certificate holder must prepare and keep current a..., procedures and functions that will be performed during each flight training phase or flight check, indicating...