Science.gov

Sample records for 2-month post-intervention check

  1. Software-assisted post-interventional assessment of radiofrequency ablation

    NASA Astrophysics Data System (ADS)

    Rieder, Christian; Geisler, Benjamin; Bruners, Philipp; Isfort, Peter; Na, Hong-Sik; Mahnken, Andreas H.; Hahn, Horst K.

    2014-03-01

    Radiofrequency ablation (RFA) is becoming a standard procedure for minimally invasive tumor treatment in clinical practice. Due to its common technical procedure, low complication rate, and low cost, RFA has become an alternative to surgical resection in the liver. To evaluate the therapy success of RFA, thorough follow-up imaging is essential. Conventionally, shape, size, and position of tumor and coagulation are visually compared in a side-by-side manner using pre- and post-interventional images. To objectify the verification of the treatment success, a novel software assistant allowing for fast and accurate comparison of tumor and coagulation is proposed. In this work, the clinical value of the proposed assessment software is evaluated. In a retrospective clinical study, 39 cases of hepatic tumor ablation are evaluated using the prototype software and conventional image comparison by four radiologists with different levels of experience. The cases are randomized and evaluated in two sessions to avoid any recall-bias. Self-confidence of correct diagnosis (local recurrence vs. no local recurrence) on a six-point scale is given for each case by the radiologists. Sensitivity, specificity, positive and negative predictive values as well as receiver operating curves are calculated for both methods. It is shown that the software-assisted method allows physicians to correctly identify local tumor recurrence with a higher percentage than the conventional method (sensitivity: 0.6 vs. 0.35), whereas the percentage of correctly identified successful ablations is slightly reduced (specificity: 0.83 vs. 0.89).

  2. Check valve

    SciTech Connect

    Upton, H.A.; Garcia, P.

    1999-08-24

    A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion. 5 figs.

  3. Check valve

    DOEpatents

    Upton, Hubert Allen; Garcia, Pablo

    1999-08-24

    A check valve for use in a GDCS of a nuclear reactor and having a motor driven disk including a rotatable armature for rotating the check valve disk over its entire range of motion is described. In one embodiment, the check valve includes a valve body having a coolant flow channel extending therethrough. The coolant flow channel includes an inlet end and an outlet end. A valve body seat is located on an inner surface of the valve body. The check valve further includes a disk assembly, sometimes referred to as the motor driven disc, having a counterweight and a disk shaped valve. The disk valve includes a disk base having a seat for seating with the valve body seat. The disk assembly further includes a first hinge pin member which extends at least partially through the disk assembly and is engaged to the disk. The disk valve is rotatable relative to the first hinge pin member. The check valve also includes a motor having a stator frame with a stator bore therein. An armature is rotatably positioned within the stator bore and the armature is coupled to the disk valve to cause the disk valve to rotate about its full range of motion.

  4. Automatic alignment of pre- and post-interventional liver CT images for assessment of radiofrequency ablation

    NASA Astrophysics Data System (ADS)

    Rieder, Christian; Wirtz, Stefan; Strehlow, Jan; Zidowitz, Stephan; Bruners, Philipp; Isfort, Peter; Mahnken, Andreas H.; Peitgen, Heinz-Otto

    2012-02-01

    Image-guided radiofrequency ablation (RFA) is becoming a standard procedure for minimally invasive tumor treatment in clinical practice. To verify the treatment success of the therapy, reliable post-interventional assessment of the ablation zone (coagulation) is essential. Typically, pre- and post-interventional CT images have to be aligned to compare the shape, size, and position of tumor and coagulation zone. In this work, we present an automatic workflow for masking liver tissue, enabling a rigid registration algorithm to perform at least as accurate as experienced medical experts. To minimize the effect of global liver deformations, the registration is computed in a local region of interest around the pre-interventional lesion and post-interventional coagulation necrosis. A registration mask excluding lesions and neighboring organs is calculated to prevent the registration algorithm from matching both lesion shapes instead of the surrounding liver anatomy. As an initial registration step, the centers of gravity from both lesions are aligned automatically. The subsequent rigid registration method is based on the Local Cross Correlation (LCC) similarity measure and Newton-type optimization. To assess the accuracy of our method, 41 RFA cases are registered and compared with the manually aligned cases from four medical experts. Furthermore, the registration results are compared with ground truth transformations based on averaged anatomical landmark pairs. In the evaluation, we show that our method allows to automatic alignment of the data sets with equal accuracy as medical experts, but requiring significancy less time consumption and variability.

  5. Model checking

    NASA Technical Reports Server (NTRS)

    Dill, David L.

    1995-01-01

    Automatic formal verification methods for finite-state systems, also known as model-checking, successfully reduce labor costs since they are mostly automatic. Model checkers explicitly or implicitly enumerate the reachable state space of a system, whose behavior is described implicitly, perhaps by a program or a collection of finite automata. Simple properties, such as mutual exclusion or absence of deadlock, can be checked by inspecting individual states. More complex properties, such as lack of starvation, require search for cycles in the state graph with particular properties. Specifications to be checked may consist of built-in properties, such as deadlock or 'unspecified receptions' of messages, another program or implicit description, to be compared with a simulation, bisimulation, or language inclusion relation, or an assertion in one of several temporal logics. Finite-state verification tools are beginning to have a significant impact in commercial designs. There are many success stories of verification tools finding bugs in protocols or hardware controllers. In some cases, these tools have been incorporated into design methodology. Research in finite-state verification has been advancing rapidly, and is showing no signs of slowing down. Recent results include probabilistic algorithms for verification, exploitation of symmetry and independent events, and the use symbolic representations for Boolean functions and systems of linear inequalities. One of the most exciting areas for further research is the combination of model-checking with theorem-proving methods.

  6. Assimilation approach to measuring organizational change from pre- to post-intervention

    PubMed Central

    Moore, Scott C; Osatuke, Katerine; Howe, Steven R

    2014-01-01

    AIM: To present a conceptual and measurement strategy that allows to objectively, sensitively evaluate intervention progress based on data of participants’ perceptions of presenting problems. METHODS: We used as an example an organization development intervention at a United States Veterans Affairs medical center. Within a year, the intervention addressed the hospital’s initially serious problems and multiple stakeholders (employees, management, union representatives) reported satisfaction with progress made. Traditional quantitative outcome measures, however, failed to capture the strong positive impact consistently reported by several types of stakeholders in qualitative interviews. To address the paradox, full interview data describing the medical center pre- and post- intervention were examined applying a validated theoretical framework from another discipline: Psychotherapy research. The Assimilation model is a clinical-developmental theory that describes empirically grounded change levels in problematic experiences, e.g., problems reported by participants. The model, measure Assimilation of Problematic Experiences Scale (APES), and rating procedure have been previously applied across various populations and problem types, mainly in clinical but also in non-clinical settings. We applied the APES to the transcribed qualitative data of intervention participants’ interviews, using the method closely replicating prior assimilation research (the process whereby trained clinicians familiar with the Assimilation model work with full, transcribed interview data to assign the APES ratings). The APES ratings summarized levels of progress which was defined as participants’ assimilation level of problematic experiences, and compared from pre- to post-intervention. RESULTS: The results were consistent with participants’ own reported perceptions of the intervention impact. Increase in APES levels from pre- to post-intervention suggested improvement, missed in the

  7. The effects of surgical checklists on morbidity and mortality: a pre- and post-intervention study

    PubMed Central

    Rodrigo-Rincon, I; Martin-Vizcaino, MP; Tirapu-Leon, B; Zabalza-Lopez, P; Zaballos-Barcala, N; Villalgordo-Ortin, P; Abad-Vicente, FJ; Gost-Garde, J

    2015-01-01

    Background Surgical checklists (SCs) have been developed to enhance teamwork and facilitate handovers, thereby improving the safety of surgical patients in health care organisations. The aim of this study was to determine whether the implementation of a 39-item SC reduced mortality and surgical adverse events (AEs) in patients undergoing inpatient surgery. Methods A retrospective pre- and post-intervention study of two cohorts of surgical patients was conducted (n = 1602) in a tertiary teaching hospital. The patients' homogeneity was confirmed by studying 40 comorbidities, 13 analytical determinations and 14 patient- and intervention-related variables. A 39-item SC adapted from one by the World Health Organization was used. The primary endpoint was the occurrence of any AE, including death, within 30 days of the operation. Twenty-three types of AEs were analysed. Results Following implementation of the checklist, the rate of AEs per 100 patients decreased from 31.5% to 26.5% (P = 0.39), the rate of infectious AEs decreased from 13.9 to 9.6 (P = 0.037) and non-infectious AEs decreased from 17.5 to 16.8 (P = 0.82). For non-elective patients, total AEs decreased from 60.4 to 37.0 (P = 0.017). The proportion of patients with one or more AE decreased from 18.1% to 16.2% (P = 0.35), and the death rate at 30 days decreased from 1.5% to 0.9% (P = 0.35). Conclusion The overall AE rate did not decrease significantly between the two periods. However, the rate of infectious AEs and overall AEs in patients with non-elective admissions had statistically significant reductions. Further research is needed to determine how and in which patients SC introduction can work successfully. PMID:25476578

  8. Get Your Cholesterol Checked

    MedlinePlus

    ... is checked with a blood test called a lipid profile. During the test, a nurse will take ... blood tests that can check cholesterol, but a lipid profile gives the most information. Find out more ...

  9. Chemistry Laboratory Safety Check

    ERIC Educational Resources Information Center

    Patnoe, Richard L.

    1976-01-01

    An accident prevention/safety check list for chemistry laboratories is printed. Included are checks of equipment, facilities, storage and handling of chemicals, laboratory procedures, instruction procedures, and items to be excluded from chemical laboratories. (SL)

  10. 31 CFR 240.3 - Electronic checks and substitute checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Electronic checks and substitute... OF CHECKS DRAWN ON THE UNITED STATES TREASURY General Provisions § 240.3 Electronic checks and substitute checks. (a) Legal equivalence of electronic checks. An electronic check for which a...

  11. 31 CFR 240.3 - Electronic checks and substitute checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Electronic checks and substitute... OF CHECKS DRAWN ON THE UNITED STATES TREASURY General Provisions § 240.3 Electronic checks and substitute checks. (a) Legal equivalence of electronic checks. An electronic check for which a...

  12. 31 CFR 240.3 - Electronic checks and substitute checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Electronic checks and substitute... OF CHECKS DRAWN ON THE UNITED STATES TREASURY General Provisions § 240.3 Electronic checks and substitute checks. (a) Legal equivalence of electronic checks. An electronic check for which a...

  13. 31 CFR 240.3 - Electronic checks and substitute checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Electronic checks and substitute... OF CHECKS DRAWN ON THE UNITED STATES TREASURY General Provisions § 240.3 Electronic checks and substitute checks. (a) Legal equivalence of electronic checks. An electronic check for which a...

  14. Judicial Checks and Balances

    ERIC Educational Resources Information Center

    La Porta, Rafael; Lopez-de-Silanes, Florencio; Pop-Eleches, Cristian; Shleifer, Andrei

    2004-01-01

    In the Anglo-American constitutional tradition, judicial checks and balances are often seen as crucial guarantees of freedom. Hayek distinguishes two ways in which the judiciary provides such checks and balances: judicial independence and constitutional review. We create a new database of constitutional rules in 71 countries that reflect these…

  15. Health Check Tools

    MedlinePlus

    ... https://www.nlm.nih.gov/medlineplus/healthchecktools.html Health Check Tools To use the sharing features on ... Schedule (Centers for Disease Control and Prevention) Children's Health Body Mass Index: Calculator for Child and Teen ( ...

  16. Environmental Reality Check.

    ERIC Educational Resources Information Center

    Manicone, Santo

    2001-01-01

    Discusses the importance of educational facilities conducting "reality check" self-audits to uncover the real truth behind underlying environmental problems. An environmental compliance multimedia checklist is included. (GR)

  17. Examining the Impact of an Email Campaign to Promote Physical Activity and Walking in Adult Women Six-Weeks and One-Year Post-Intervention

    ERIC Educational Resources Information Center

    Reed, Julian A.

    2009-01-01

    The purpose was to examine the impact of an email intervention campaign to increase physical activity among women. Participants' activity levels were assessed at baseline, immediately following the intervention and one year post intervention. (N = 475) received weekly Walking Tips Intervention Emails (WTIE) for 6 weeks. Participants were primarily…

  18. Check valves aging assessment

    SciTech Connect

    Haynes, H.D.

    1991-01-01

    In support of the NRC Nuclear Plant Aging Research (NPAR) program, the Oak Ridge National Laboratory (ORNL) has carried out an assessment of several check value diagnostic monitoring methods, in particular, those based on measurements of acoustic emission, ultrasonics, and magnetic flux. The evaluations have focussed on the capabilities of each method to provide information useful in determining check valve aging and service wear effects, check valve failures, and undesirable operating modes. This paper describes the benefits and limitations associated with each method and includes recent laboratory and field test data, including data obtained from the vendors who recently participated in a comprehensive series of tests directed by a nuclear industry users group. In addition, as part of the ORNL Advanced Diagnostic Engineering Research and Development Center (ADEC), two novel nonintrusive monitoring methods were developed that provide several unique capabilities. These methods, based on external ac- an dc-magnetic monitoring are also described. None of the examined methods could, by themselves, monitor both the instantaneous position and motion of check valve internals and valve leakage; however, the combination of acoustic emission monitoring with one of the other methods provides the means to determine vital check valve operational information.

  19. Checking the anaesthetic machine.

    PubMed

    Wicker, Paul; Smith, Brian

    2006-12-01

    Making sure that anaesthetic equipment is working correctly is an essential part of the anaesthetic practitioner's role. During induction of anaesthesia the patient is at one of the most vulnerable points in his or her perioperative care. This is the point at which equipment error may put the patient at high risk of harm, for example, through compromising the airway, causing circulatory problems, preventing satisfactory oxygenation or even causing death. Many writers have drawn comparisons between anaesthesia and aviation, with the suggestion that practitioners should check the anaesthetic machines using a 'cockpit drill' (Ranasinghe 2000). The purpose of this detailed check is to ensure the machine is safe to use. The careful attention to the check is a reflection of good practice which the practitioner's codes of professional practice demand (HPC 2004, NMC 2004). This article discusses the importance of following the anaesthetic checklist to the recommended standards for both the practitioner and the patient. PMID:17193997

  20. CMM Interim Check (U)

    SciTech Connect

    Montano, Joshua Daniel

    2015-03-23

    Coordinate Measuring Machines (CMM) are widely used in industry, throughout the Nuclear Weapons Complex and at Los Alamos National Laboratory (LANL) to verify part conformance to design definition. Calibration cycles for CMMs at LANL are predominantly one year in length. Unfortunately, several nonconformance reports have been generated to document the discovery of a certified machine found out of tolerance during a calibration closeout. In an effort to reduce risk to product quality two solutions were proposed – shorten the calibration cycle which could be costly, or perform an interim check to monitor the machine’s performance between cycles. The CMM interim check discussed makes use of Renishaw’s Machine Checking Gauge. This off-the-shelf product simulates a large sphere within a CMM’s measurement volume and allows for error estimation. Data was gathered, analyzed, and simulated from seven machines in seventeen different configurations to create statistical process control run charts for on-the-floor monitoring.

  1. NHS Health Checks

    PubMed Central

    Abdalrahman, Bayad; Soljak, Michael

    2015-01-01

    Cardiovascular disease is the leading cause of mortality and morbidity worldwide. In England, the government has adopted a population-wide prevention program for cardiovascular disease, the NHS Health Check program. The program has sparked controversies over the evidence base and feasibility of implementation. We aim to provide an update on the debate and program implementation. In conclusion, the evidence base for the NHS Health Check program has a number of uncertainties and program delivery has been suboptimal. It is important to continue monitoring and evaluating the program to provide the evidence base for future policy direction. PMID:25340472

  2. Pre- and post-intervention perceptions and water contact behaviour related to schistosomiasis in north-western Tanzania.

    PubMed

    Mwanga, Joseph R; Lwambo, Nicholas J S

    2013-11-01

    Schistosomiasis is a widespread disease of public health importance in Tanzania requiring concerted efforts to control it. A study on schistosomiasis-related perceptions and water contact behaviour was undertaken in one community population of Hamuyebe village in Ukerewe district, north-western Tanzania, where intestinal schistosomiasis is endemic before and 2 years after implementation of a participatory hygiene and sanitation transformation (PHAST) intervention. Data were obtained from baseline and post-intervention knowledge, attitudes and practices (KAP) questionnaire surveys conducted between 2008 and 2010 among 157 individuals aged 15 years and above. The surveys were further complemented by structured observations of human-water contact activities. We found significant increases in respondents' knowledge of the cause, transmission, symptoms and health consequences of schistosomiasis after the intervention. The reported treatment seeking and preventive practices were congruous with the actual (observed) behaviour. Frequency, duration and timing of water contacts also decreased significantly after the intervention and took into consideration the fact that those activities which need larger body surface exposure, for a long period and at an appropriate time when cercarial densities are high (i.e. around noon) are important for the transmission of schistosomiasis. We conclude that PHAST intervention has succeeded in effecting positive changes in peoples' perceptions and attitudes towards water. As a result, knowledge obtained from the said intervention was translated into actions to prevent schistosomiasis. Studies on knowledge, attitudes and practices coupled with structured observations should be part of the integrated approach for the control of schistosomiasis. PMID:23058736

  3. Physical Activity Programs with Post-Intervention Follow-Up in Children: A Comprehensive Review According to Categories of Intervention.

    PubMed

    Nguyen, Sally; Häcker, Anna-Luisa; Henderson, Melanie; Barnett, Tracie; Mathieu, Marie-Eve; Pagani, Linda; Bigras, Jean-Luc

    2016-01-01

    Only 9% of Canadian children meet the National Guidelines of 60 min of daily moderate-to-vigorous intensity physical activity. The aim of this review is to assess the mid- and long-term effectiveness of physical activity interventions and their impact on cardiovascular risk factors in children. We assessed the success of interventions within three different categories: those using a behavioural and social approach, an informational approach or an environmental approach. The average number of children included in these studies was 860 (range of 30-5106); the age range was from 2 to 18 years; and the mean intervention duration was 1607 min (range of 12-8160 min). The length of follow-up post-intervention averaged 13 months (ranging from 0.25 to 96 months). A positive impact on physical activity was found in 74% and on any measured outcomes in 90% of the studies reviewed. However, the benefits of physical activity interventions decreased with longer follow-up. Regardless of the approaches, physical activity interventions improved cardiovascular risk factors. However, the challenge of any program is to maintain beneficial effects once the intervention is completed. These findings will inform the development of future intervention programs in order to optimize sustained cardiovascular benefits. PMID:27376315

  4. Physical Activity Programs with Post-Intervention Follow-Up in Children: A Comprehensive Review According to Categories of Intervention

    PubMed Central

    Nguyen, Sally; Häcker, Anna-Luisa; Henderson, Melanie; Barnett, Tracie; Mathieu, Marie-Eve; Pagani, Linda; Bigras, Jean-Luc

    2016-01-01

    Only 9% of Canadian children meet the National Guidelines of 60 min of daily moderate-to-vigorous intensity physical activity. The aim of this review is to assess the mid- and long-term effectiveness of physical activity interventions and their impact on cardiovascular risk factors in children. We assessed the success of interventions within three different categories: those using a behavioural and social approach, an informational approach or an environmental approach. The average number of children included in these studies was 860 (range of 30–5106); the age range was from 2 to 18 years; and the mean intervention duration was 1607 min (range of 12–8160 min). The length of follow-up post-intervention averaged 13 months (ranging from 0.25 to 96 months). A positive impact on physical activity was found in 74% and on any measured outcomes in 90% of the studies reviewed. However, the benefits of physical activity interventions decreased with longer follow-up. Regardless of the approaches, physical activity interventions improved cardiovascular risk factors. However, the challenge of any program is to maintain beneficial effects once the intervention is completed. These findings will inform the development of future intervention programs in order to optimize sustained cardiovascular benefits. PMID:27376315

  5. Observations of adolescent peer resistance skills following a classroom-based healthy relationship program: a post-intervention comparison.

    PubMed

    Wolfe, David A; Crooks, Claire V; Chiodo, Debbie; Hughes, Raymond; Ellis, Wendy

    2012-04-01

    This study examines peer resistance skills following a 21-lesson classroom-based intervention to build healthy relationships and decrease abusive and health-risk behaviors among adolescents. The Fourth R instructs students in positive relationship skills, such as negotiation and delay, for navigating challenging peer and dating scenarios. Observational data from 196 grade 9 students participating in a larger cluster randomized controlled trial were used to evaluate post-intervention acquisition of peer resistance skills. Pairs of students engaged in a role play paradigm with older student actors, where they were subjected to increasing pressure to comply with peer requests related to drugs and alcohol, bullying, and sexual behavior. Specific and global measures of change in peer resistance responses were obtained from two independent sets of observers, blinded to condition. Specific peer resistance responses (negotiation, delay, yielding to pressure, refusal, and compliance) were coded by research assistants; global peer resistance responses were rated by teachers from other schools (thinking / inquiry, application, communication, and perceived efficacy). Students who received the intervention were more likely to demonstrate negotiation skills and less likely to yield to negative pressure relative to controls. Intervention students were also more likely to use delay than controls; control girls were more likely to use refusal responses; the number of times students complied with peer requests did not differ. Teacher ratings demonstrated significant main effects favoring intervention youth on all measures. Program and research implications are highlighted. PMID:22057307

  6. Check-Digit Schemes.

    ERIC Educational Resources Information Center

    Wheeler, Mary L.

    1994-01-01

    Discusses the study of identification codes and check-digit schemes as a way to show students a practical application of mathematics and introduce them to coding theory. Examples include postal service money orders, parcel tracking numbers, ISBN codes, bank identification numbers, and UPC codes. (MKR)

  7. Simple quantum password checking

    NASA Astrophysics Data System (ADS)

    Garcia-Escartin, Juan Carlos; Chamorro-Posada, Pedro

    2015-06-01

    We present a quantum password checking protocol where secrecy is protected by the laws of quantum mechanics. The passwords are encoded in quantum systems that can be compared but have a dimension too small to allow reading the encoded bits. We study the protocol under different replay attacks and show it is robust even for poorly chosen passwords. We also describe a possible implementation with conventional optical elements.

  8. Magnetically operated check valve

    NASA Technical Reports Server (NTRS)

    Morris, Brian G. (Inventor); Bozeman, Richard J., Jr. (Inventor)

    1994-01-01

    A magnetically operated check valve is disclosed. The valve is comprised of a valve body and a movable poppet disposed therein. A magnet attracts the poppet to hold the valve shut until the force of fluid flow through the valve overcomes the magnetic attraction and moves the poppet to an unseated, open position. The poppet and magnet are configured and disposed to trap a magnetically attracted particulate and prevent it from flowing to a valve seating region.

  9. Live biometric authenticity check

    NASA Astrophysics Data System (ADS)

    Szu, Harold H.; Hsu, Charles C.; Szu, Clifford; Wang, Shoujue

    2003-04-01

    This research defined the underpinning concepts of a system that was highly secure, yet was efficient and non-invasive enough for everyday use. The live biometric authenticity check augmented invariant fingerprints with variable live features offered superior security by combining physical characteristics of the user"s with a passcode (numerical PIN) or passphrase (a string of words), and might also easily be augmented with other biometric video imaging devices for the utmost security.

  10. Fast acting check valve

    NASA Technical Reports Server (NTRS)

    Perkins, Gerald S. (Inventor)

    1979-01-01

    A check valve which closes more rapidly to prevent wearing of the valve seat and of the valve member that seals thereagainst, including a solenoid or other actuator that aids the normal spring to quickly close the valve at approximately the time when downpath fluid flow would stop, the actuator then being deenergized. The control circuit that operates the actuator can include a pair of pressure sensors sensing pressure both upstream and downstream from the valve seat. Where the valve is utilized to control flow to or from a piston pump, energization of the actuator can be controlled by sensing when the pump piston reaches its extreme of travel.

  11. CDC: 116 Cases of Zika in U.S. Residents in First 2 Months of Year

    MedlinePlus

    ... in U.S. Residents in First 2 Months of Year Nearly all had a probable link to travel ... News) -- During the first two months of this year, 116 U.S. residents have tested positive for infection ...

  12. Female condom use in the rural sex industry in China: analysis of users and non-users at post-intervention surveys.

    PubMed

    Liao, Susu; Weeks, Margaret R; Wang, Yanhong; Li, Fei; Jiang, Jingmei; Li, Jianghong; Zeng, Xiaomei; He, Bin; Dunn, Jennifer

    2011-06-01

    Changes in sexual attitudes and behaviors and resurgence of the sex industry in China have increased concerns about HIV/AIDS and sexually transmitted infections (STI) epidemics. Little attention has been paid to the significant and growing sex industry in rural China. Promotion of barrier protection in this context is most effective to prevent STIs and pregnancy. The female condom (FC) is a barrier method that gives women more autonomy in its application, and has other advantages, but has been little promoted and tested in high risk contexts in China. The China/US Women's Health Project was designed to promote FC use in addition to male condoms (MC) through outreach intervention conducted in sex work establishments in rural and small urban towns in southern China, using the original prototype FC1. The study used quantitative and qualitative methods to document the pre-intervention context, intervention delivery process, and post-intervention outcomes of FC use. In this paper we compare post-intervention FC users and non-users in the first study sites, two rural towns in a single county in Hainan Province. Examination of cross-sectional six-month and 12-month surveys indicated that, despite relatively high MC use, about one-third of the women in sex work establishments in these rural towns had adopted FC at each post-intervention survey. Compared with non-users, FC users were more likely to be freelance women in boarding houses, more sexually experienced, married with children, more sexually active in the prior month, and more exposed to the intervention. The rural context hampered intervention implementation, particularly the significant limits in health and human resources available to manage prevention of HIV/STIs among women in the sex industry. These challenges highlight the need to better understand the context of the rural sex industry and capacity of local resources for better prevention efforts and the benefits that new prevention technologies like FC can

  13. Female Condom Use in the Rural Sex Industry in China: Analysis of Users and Non-users at Post-Intervention Surveys

    PubMed Central

    Liao, Susu; Weeks, Margaret R.; Wang, Yanhong; Li, Fei; Jiang, Jingmei; Li, Jianghong; Zeng, Xiaomei; He, Bin; Dunn, Jennifer

    2011-01-01

    Changes in sexual attitudes and behaviors and resurgence of the sex industry in China have increased concerns about HIV/AIDS and STI epidemics. Little attention has been paid to the significant and growing sex industry in rural China. Promotion of barrier protection in this context is most effective to prevent STIs and pregnancy. The female condom (FC) is a barrier method that gives women more autonomy in its application, and has other advantages, but has been little promoted and tested in high risk contexts in China. The China/U.S. Women’s Health Project was designed to promote FC use in addition to male condoms (MC) through outreach intervention conducted in sex-work establishments in rural and small urban towns in southern China, using the original prototype FC1. The study used quantitative and qualitative methods to document the pre-intervention context, intervention delivery process, and post-intervention outcomes of FC use. In this paper we compare post-intervention FC users and non-users in the first study sites, two rural towns in a single county in Hainan Province. Examination of cross-sectional 6-month and 12-month surveys indicated that, despite relatively high MC use, about one-third of the women in sex-work establishments in these rural towns had adopted FC at each post-intervention survey. Compared to non-users, FC users were more likely to be freelance woman in boarding houses, more sexually experienced, married with children, more sexually active in the prior month, and more exposed to the intervention. The rural context hampered intervention implementation, particularly the significant limits in health and human resources available to manage prevention of HIV/STIs among women in the sex industry. These challenges highlight the need to better understand the context of the rural sex industry and capacity of local resources for better prevention efforts and the benefits that new prevention technologies like FC can offer. PMID:21660752

  14. Software for Checking Statecharts

    NASA Technical Reports Server (NTRS)

    Pingree, Paula; Mikk, Erich

    2004-01-01

    HiVy is a software tool set that enables verification through model checking of designs represented as finite-state machines or statecharts. HiVy provides automated translation of (1) statecharts created by use of the MathWorks Stateflow program to (2) Promela, the input language of the Spin model checker, which can then be used to verify, or trace logical errors in, distributed software systems. HiVy can operate directly on Stateflow models, or its abstract syntax of hierarchical sequential automata (HSA) can be used independently as an intermediate format for translation to Promela. In a typical design application, HiVy parses and reformats Stateflow model file data using the programs SfParse and sf2hsa, respectively. If the parsing effort is successful, an abstract syntax tree is delivered into a file named with the extension .hsa. If the design comprises several model files, they may be merged into one .hsa file before translation into Promela. Stateflow scope is preserved, and name clashes are avoided in the merge process. The HiVy program hsa2pr translates the model from the intermediate HSA format into Promela. Additionally, HiVy provides through translation a list of all statechart model propositions that are the means for formalizing linear temporal logic (LTL) properties about the model for Spin verification.

  15. Safety check valve

    SciTech Connect

    Spears, H.L.

    1992-02-11

    This patent describes a safety check valve, for use with a pumping unit for petroleum fluids, the pumping unit including a polished rod and a stuffing box. It comprises: a valve housing having upper and lower ends and a central bore extending between the upper and lower ends and adapted to have the polished rod pass through the central bore; a ball seating surface associated with the central bore; a non-spring bias ball; a ball housing for the ball and associated with the valve housing; and means for moving the ball from the ball housing into the central bore upon the polished rod not being disposed in the central bore, including a ball receiving cavity associated with the ball housing, the ball hoising having first and second ends, the first end of the ball housing being in communication with the central bore of the valve housing, the second end being closed; the ball receiving cavity having a ball support surface upon which the ball may rest, when the ball is disposed in the ball receiving cavity, the ball support surface sloping downwardly toward the first end of the ball housing, whereby if the polished rod is not disposed within the central bore of the valve housing, the ball moves down the ball support surface, under the force of gravity, from the ball receiving cavity into the central bore and seats on the ball seating surface.

  16. 14 CFR 135.339 - Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator).

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... checking: Check airmen (aircraft), check airmen (simulator). 135.339 Section 135.339 Aeronautics and Space... and checking: Check airmen (aircraft), check airmen (simulator). (a) No certificate holder may use a... an aircraft, in a flight simulator, or in a flight training device. This paragraph applies...

  17. 14 CFR 121.413 - Initial and transition training and checking requirements: Check airmen (airplane), check airmen...

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... checking requirements: Check airmen (airplane), check airmen (simulator). 121.413 Section 121.413... checking requirements: Check airmen (airplane), check airmen (simulator). (a) No certificate holder may use... accomplished in part or in full in an airplane, in a flight simulator, or in a flight training device....

  18. A Guide to Checks and Checking. The CIRcular: Consumer Information Report 10.

    ERIC Educational Resources Information Center

    Bank of America NT & SA, San Francisco, CA.

    This report provides explanations of checks and checking accounts and offers guidelines for their use. Types of checks which are explained include personal checks, negotiable orders of withdrawal, counter checks, universal checks, domestic and international money orders, cashier's checks, and travelers checks. A description of the different…

  19. Aerospell Supplemental Spell Check File

    NASA Technical Reports Server (NTRS)

    2000-01-01

    Aerospell is a supplemental spell check file that can be used as a resource for researchers, writers, editors, students, and others who compose scientific and technical texts. The file extends the general spell check dictionaries of word processors by adding more than 13,000 words used in a broad range of aerospace and related disciplines.

  20. 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.

  1. Sensitivity to Social Contingency and Positive Emotion in 2-Month-Olds

    ERIC Educational Resources Information Center

    Soussignan, Robert; Nadel, Jacqueline; Canet, Pierre; Gerardin, Priscille

    2006-01-01

    This study was aimed at sorting out conflicting results in the literature concerning 2-month-olds' sensitivity to interpersonal contingency, and investigated the potential role of infants' positive emotion in contingency detection. Infants were randomly assigned to an experimental group (EG) that was presented an uninterrupted live-replay-live…

  2. What Can the First 2 Months Tell Us About Outcomes After Anterior Cruciate Ligament Reconstruction?

    PubMed Central

    Christensen, Jesse C.; Goldfine, Laura R.; Barker, Tyler; Collingridge, Dave S.

    2015-01-01

    Context: Substantial research has been conducted on anterior cruciate ligament reconstruction (ACLR) to evaluate patient outcomes. However, little attention has been given to outcomes during the early phase of recovery and how early deficits affect both short- and long-term outcomes. Objective: To identify relationships between demographic (age, sex, and body mass index [BMI]) and intraoperative (isolated ACLR versus primary ACLR + secondary procedures), and postoperative (range-of-motion [ROM] and peak isometric knee-extension force [PIF]) variables during the first 2 months after ACLR using self-reported outcomes. Design: Cohort study. Setting: Outpatient orthopaedic hospital. Patients or Other Participants: A total of 63 patients (38 men, 25 women; age = 33.0 ± 12.1 years; BMI = 26.3 ± 6.5 kg/m2) who underwent ACLR. Main Outcome Measure(s): Demographic, intraoperative, and postoperative variables were collected at 1 and 2 months after ACLR and were compared with International Knee Documentation Committee (IKDC) Subjective Knee Evaluation Form scores at 1, 2, and ≥12 months. Results: Significant relationships were identified between ≥12-month IKDC scores and the 1-month (Pearson correlation, r = 0.283, r2 = 0.08; P = .025) and 2-month (r = 0.301, r2 = 0.09; P = .017) IKDC scores. After controlling for other variables, we found that the PIF ratio measures at 1 and 2 months were positively associated with 1- and 2-month IKDC scores (P < .001) and BMI was negatively associated with both 1- and 2-month IKDC scores (P < .05). One-month IKDC scores were related to the 1-month difference in knee-flexion ROM (P = .04). Conclusions: The IKDC scores during the first 2 months were positively correlated with patients' perceptions of function on long-term IKDC scores. It also appears that improvements in lower extremity strength and flexion ROM deficits were positively associated with short-term IKDC scores. Higher BMI was negatively associated with patients

  3. UPWT check standard model test

    NASA Technical Reports Server (NTRS)

    2000-01-01

    Installation of the check standard model in test section 2 of the Unitary Plan Wind Tunnel (UPWT). Testing was conducted as part of a Data Quality Control assessment in the Research Facilities Branch/Aerodynamics Aerothermodynamics Acoustics Competency.

  4. 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.

  5. Smoking and 2-month culture conversion during anti-tuberculosis treatment

    PubMed Central

    Maciel, E. L.; Brioschi, A. P.; Peres, R. L.; Guidoni, L. M.; Ribeiro, F. K.; Hadad, D. J.; Vinhas, S. A.; Zandonade, E.; Palaci, M.; Dietze, R.; Johnson, J. L.

    2013-01-01

    SUMMARY OBJECTIVE To investigate risk factors for delayed sputum culture conversion to negative during anti-tuberculosis treatment, with an emphasis on smoking. DESIGN Nested case-control study of adults with non-cavitary, culture-confirmed pulmonary tuberculosis (TB) participating in an anti-tuberculosis treatment trial in Brazil. A case of delayed culture conversion was a patient who remained culture-positive after 2 months of treatment. Odds ratios with 95% confidence intervals were calculated. RESULTS Fifty-three cases and 240 control patients were analyzed. Smokers had three-fold greater odds of remaining culture-positive after 2 months of treatment (P = 0.007) than non-smokers, while smokers and ex-smokers who smoked >20 cigarettes a day had two-fold greater odds of remaining culture-positive after 2 months of treatment (P = 0.045). CONCLUSION Cigarette smoking adversely affects culture conversion during anti-tuberculosis treatment. Support for smoking cessation should be considered to improve outcomes in TB control programs. PMID:23317958

  6. New Challenges in Model Checking

    NASA Technical Reports Server (NTRS)

    Holzmann, Gerard J.; Joshi, Rajeev; Groce, Alex

    2006-01-01

    In the last 25 years, the notion of performing software verification with logic model checking techniques has evolved from intellectual curiosity to accepted technology with significant potential for broad practical application. In this paper we look back at the main steps in this evolution and illustrate how the challenges have changed over the years, as we sharpened our theories and tools. Next we discuss a typical challenge in software verification that we face today - and that perhaps we can look back on in another 25 years as having inspired the next logical step towards a broader integration of model checking into the software development process.

  7. Adrenocortical tumor with precocious puberty in a 2-month-old girl.

    PubMed

    Marret, Jean-Baptiste; Raffoul, Lara; Ribault, Virginie; Ravasse, Philippe; Rod, Julien

    2015-10-01

    Adrenocortical tumor is a rare childhood tumor with a median age at onset of 3.2 years. Virilization is the most common sign. Laparotomy is the reference treatment and has a favorable course. The diagnosis of adrenal tumor can be difficult. The main parameters of malignant tumors are size and metastasis. Analysis of TP53 mutation can facilitate final diagnosis. We report a case of virilizing adrenal tumor that developed in a 2-month-old girl, and which was treated with laparoscopic adrenalectomy. PMID:26508188

  8. Child Care: State Requirements for Background Checks.

    ERIC Educational Resources Information Center

    Fagnoni, Cynthia

    Background checks involve gathering information from state and federal databases to determine if child care providers have a history of child abuse or other criminal convictions that would make them unacceptable for working with children. Background checks include state criminal history checks, state child abuse registry checks, and Federal Bureau…

  9. A nursing care classification system for assessing workload and determining optimal nurse staffing in a teaching hospital in China: A pre-post intervention study.

    PubMed

    Yu, Dongmei; Ma, Yuqin; Sun, Qingwen; Lu, Gendi; Xu, Ping

    2015-08-01

    We aimed to evaluate the effectiveness of a nursing care classification system for re-assessing nurse workload and determining staffing needs. Adequate bed-nurse ratios help manage hospital cost-efficiency, quality of care and patient safety. A prospective pre-post intervention study was conducted from January 2010 to December 2012 in 16 medical-surgical units of a tertiary teaching hospital. Nursing tasks were classified into four grades of care reflecting actual workload. Units were re-staffed accordingly and bed-nurse ratios compared with government-authorized bed-nurse ratios. Patient satisfaction, hospital stays and mortality were evaluated pre- and poststaffing changes. Average bed-nurse ratio (1:0.41) exceeded the national standard (1:0.40) in 16 units, but was inadequate in five units. Re-staffing increased average bed-nurse ratio from 1:0.41 to 1:0.48. Patients' satisfaction increased from 96.9% to 97.6%, and hospital stays decreased significantly. Nursing care classification effectively distributes nurse staffing to match patients' care levels, improving patient outcomes. PMID:24754507

  10. Umbilical Granuloma in a 2-Month-Old Patient: Histopathology of a Common Clinical Entity.

    PubMed

    Brady, Mary; Conway, Andrea B; Zaenglein, Andrea L; Helm, Klaus F

    2016-02-01

    Umbilical granulomas are the most common anomaly of the umbilicus in neonates and infants. These lesions are characterized by an overgrowth of granulation tissue that persists at the base of the umbilical cord after its separation. Histologically, they consist of granulation tissue, which is composed of fibroblasts, inflammatory cells, and vascular endothelial cells set in an edematous stroma. Although umbilical granulomas are commonly seen clinically, there are no reports of their histopathology in the literature. The authors present the histology of this clinical finding in a 2-month-old infant, as it is important for the pathologist to be aware of this benign entity and distinguish it from other umbilical anomalies that may be of greater clinical significance. PMID:26488717

  11. Sounds elicit relative left frontal alpha activity in 2-month-old infants

    PubMed Central

    Mai, Xiaoqin; Xu, Lin; Li, Mingyan; Shao, Jie; Zhao, Zhengyan; Lamm, Connie; Fox, Nathan A.; Nelson, Charles A.; Lozoff, Betsy

    2015-01-01

    As one kind of sounds, human voices are important for language acquisition and human-infant relations. Human voices have positive effects on infants, e.g., soothe infants and evoke an infant's smile. Increased left relative to right frontal alpha activity as assessed by the electroencephalogram (EEG) is considered to reflect approach-related emotions. In the present study, we recorded the EEG in thirty-eight 2-month-old infants during a baseline period and then while they listened to sounds, i.e., human voices. Infants displayed increased relative left frontal alpha activity in response to sounds compared to the baseline condition. These results suggest that sounds can elicit relative left frontal activity in young infants, and that this approach-related emotion presents early in life. PMID:25242501

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Approved ground check systems not employing... Low- and Medium-Voltage Alternating Current Circuits § 75.902-2 Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot check wires will be approved only...

  13. Listening to Mozart K.448 decreases electroencephalography oscillatory power associated with an increase in sympathetic tone in adults: a post-intervention study

    PubMed Central

    Lin, Lung-Chang; Ouyang, Chen-Sen; Chiang, Ching-Tai; Wu, Rong-Ching; Wu, Hui-Chuan

    2014-01-01

    Summary Objective Listening to Mozart K.448 has been demonstrated to improve spatial task scores, leading to what is known as the Mozart Effect. However, most of these reports only describe the phenomena but lack the scientific evidence needed to properly investigate the mechanism of Mozart Effect. In this study, we used electroencephalography (EEG) and heart rate variability (HRV) to evaluate the effects of Mozart K.448 on healthy volunteers to explore Mozart Effect. Design An EEG-based post-intervention analysis. Setting Kaohsiung Medical University Hospital, Kaohsiung, Taiwan. Participants Twenty-nine college students were enrolled. They received EEG and electrocardiogram examinations simultaneously before, during and after listening to the first movement of Mozart K.448. Main outcome measure EEG alpha, theta and beta power and HRV were compared in each stage. Results The results showed a significant decrease in alpha, theta and beta power when they listened to Mozart K.448. In addition, the average root mean square successive difference, the proportion derived by dividing NN50 by the total number of NN intervals, standard deviations of NN intervals and standard deviations of differences between adjacent NN intervals showed a significant decrease, while the high frequency revealed a significant decrease with a significantly elevated low-frequency/high-frequency ratio. Conclusion Listening to Mozart K.448 significantly decreased EEG alpha, theta and beta power and HRV. This study indicates that there is brain cortical function and sympathetic tone activation in healthy adults when listening to Mozart K.448, which may play an important role in the mechanism of Mozart Effect. PMID:25383198

  14. 14 CFR 135.339 - Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator).

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator). 135.339 Section 135.339 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR HIRE: CERTIFICATION...

  15. 14 CFR 121.413 - Initial and transition training and checking requirements: Check airmen (airplane), check airmen...

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Initial and transition training and checking requirements: Check airmen (airplane), check airmen (simulator). 121.413 Section 121.413 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR...

  16. 14 CFR 91.1093 - Initial and transition training and checking: Check pilots (aircraft), check pilots (simulator).

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ..., procedures, and techniques for conducting the required checks. (4) Proper evaluation of student performance..., and emergency procedures to ensure competence to conduct the pilot flight checks required by this... emergency procedures to ensure competence to conduct the flight checks required by this subpart....

  17. 25 CFR 141.19 - Check cashing.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... may give a fully negotiable check in addition to U.S. currency when cashing a draft, check or money... or any other obligation the customer owes to the business, but in no event may the owner or...

  18. Twelve cases of drug-induced blepharospasm improved within 2 months of psychotropic cessation

    PubMed Central

    Emoto, Yuko; Emoto, Hirofumi; Oishi, Eriko; Hikita, Syunichi; Wakakura, Masato

    2011-01-01

    Background: To determine whether psychotropic cessation in patients with drug-induced blepharospasm improves motor symptoms. Methods: In patients with drug-induced blepharospasm, we withdrew part or all of their psychotropic medication and assessed motor symptoms using the Jankovic rating scale (0 = none, 1 = noticeable, 2 = mild, 3 = moderate, 4 = severe) at first presentation and after cessation. Results: Twelve patients (eleven women and one man, mean age 60.4 years) were enrolled. Psychotropics were administered before the onset of blepharospasm in all patients. The mean duration of treatment with psychotropic medication was 47.3 (range 3–120) months. Jankovic rating scale at initial presentation was 3 in eleven patients and 2 in one patient. After cessation, blepharospasm started to improve in all cases within 2 months (average 3.9 weeks). While the effect of psychotropic cessation was variable, the symptoms eventually improved to more than 2 on the rating scale. Three of the twelve patients underwent a single botulinum neurotoxin injection and were withdrawn from therapy after cessation. Conclusion: Psychotropic drugs can cause blepharospasm in some cases. Clinicians should consider reducing psychotropic medication as far as possible in patients with blepharospasm taking these agents. PMID:21753898

  19. Timing analysis by model checking

    NASA Technical Reports Server (NTRS)

    Naydich, Dimitri; Guaspari, David

    2000-01-01

    The safety of modern avionics relies on high integrity software that can be verified to meet hard real-time requirements. The limits of verification technology therefore determine acceptable engineering practice. To simplify verification problems, safety-critical systems are commonly implemented under the severe constraints of a cyclic executive, which make design an expensive trial-and-error process highly intolerant of change. Important advances in analysis techniques, such as rate monotonic analysis (RMA), have provided a theoretical and practical basis for easing these onerous restrictions. But RMA and its kindred have two limitations: they apply only to verifying the requirement of schedulability (that tasks meet their deadlines) and they cannot be applied to many common programming paradigms. We address both these limitations by applying model checking, a technique with successful industrial applications in hardware design. Model checking algorithms analyze finite state machines, either by explicit state enumeration or by symbolic manipulation. Since quantitative timing properties involve a potentially unbounded state variable (a clock), our first problem is to construct a finite approximation that is conservative for the properties being analyzed-if the approximation satisfies the properties of interest, so does the infinite model. To reduce the potential for state space explosion we must further optimize this finite model. Experiments with some simple optimizations have yielded a hundred-fold efficiency improvement over published techniques.

  20. 14 CFR 121.441 - Proficiency checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... that person has satisfactorily completed either a proficiency check, or an approved simulator course of... check or the simulator training. (2) For all other pilots— (i) Within the preceding 24 calendar months either a proficiency check or the line-oriented simulator training course under § 121.409; and...

  1. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2010-04-01 2010-04-01 false Bad checks. 70.101 Section 70.101 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU, DEPARTMENT OF....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of...

  2. 25 CFR 11.421 - Bad checks.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false Bad checks. 11.421 Section 11.421 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAW AND ORDER COURTS OF INDIAN OFFENSES AND LAW AND ORDER CODE Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order...

  3. 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 INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAW AND ORDER COURTS OF INDIAN OFFENSES AND LAW AND ORDER CODE Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order...

  4. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2012-04-01 2011-04-01 true Bad checks. 70.101 Section 70.101 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU, DEPARTMENT OF....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of...

  5. 25 CFR 11.421 - Bad checks.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-04-01 false Bad checks. 11.421 Section 11.421 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAW AND ORDER COURTS OF INDIAN OFFENSES AND LAW AND ORDER CODE Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order...

  6. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2013-04-01 2013-04-01 false Bad checks. 70.101 Section 70.101 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU, DEPARTMENT OF....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of...

  7. 25 CFR 11.421 - Bad checks.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true Bad checks. 11.421 Section 11.421 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAW AND ORDER COURTS OF INDIAN OFFENSES AND LAW AND ORDER CODE Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order...

  8. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2014-04-01 2014-04-01 false Bad checks. 70.101 Section 70.101 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU, DEPARTMENT OF....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of...

  9. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2011-04-01 2011-04-01 false Bad checks. 70.101 Section 70.101 Alcohol, Tobacco Products and Firearms ALCOHOL AND TOBACCO TAX AND TRADE BUREAU, DEPARTMENT OF....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of...

  10. 25 CFR 11.421 - Bad checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-04-01 false Bad checks. 11.421 Section 11.421 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR LAW AND ORDER COURTS OF INDIAN OFFENSES AND LAW AND ORDER CODE Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order...

  11. Microbial Check Valve for Shuttle

    NASA Technical Reports Server (NTRS)

    Colombo, G. V.; Putnam, D. F.; Sauer, R. L.

    1978-01-01

    The Microbial Check Valve (MCV) is a device developed for the Space Shuttle that prevents the transfer of viable microorganisms within water systems. The device is essentially a bed of resin material, impregnated with iodine, that kills microorganisms on contact. It prevents the cross-contamination of microorganisms from a nonpotable system into the potable water system when these systems are interconnected. In this regard, the function of the device is similar to that of the 'air gap' found in conventional one-gravity systems. Basic design data are presented including pressure drop, scaling factors, sizing criteria, and the results of challenging the device with suspensions of seven microorganisms including aerobes, anaerobes and spore formers.

  12. Using a mass media campaign to raise women's awareness of the link between alcohol and cancer: cross-sectional pre-intervention and post-intervention evaluation surveys

    PubMed Central

    Dixon, Helen G; Scully, Maree L; Miller, Jessica R; Patterson, Carla; Hood, Rebecca; Slevin, Terry J

    2015-01-01

    Objectives To evaluate the effectiveness of a population-based, statewide public health intervention designed to improve women's awareness and knowledge of the link between alcohol and cancer. Design Cross-sectional tracking surveys conducted pre-intervention and post-intervention (waves I and III of campaign). Setting Western Australia. Participants Cross-sectional samples of Western Australian women aged 25–54 years before the campaign (n=136) and immediately after wave I (n=206) and wave III (n=155) of the campaign. Intervention The ‘Alcohol and Cancer’ mass media campaign ran from May 2010 to May 2011 and consisted of three waves of paid television advertising with supporting print advertisements. Main outcome measures Campaign awareness; knowledge of drinking guidelines and the link between alcohol and cancer; intentions towards drinking. Results Prompted recognition of the campaign increased from 67% following wave I to 81% following wave III (adjusted OR (adj OR)=2.31, 95% CI 1.33 to 4.00, p=0.003). Improvements in women's knowledge that drinking alcohol on a regular basis increases cancer risk were found following wave I (adj OR=2.60, 95% CI 1.57 to 4.30, p<0.001) and wave III (adj OR=4.88, 95% CI 2.55 to 9.36, p<0.001) compared with baseline. Knowledge of the recommended number of standard drinks for low risk in the long term increased between baseline and wave I (adj OR=1.68, 95% CI 1.02 to 2.76, p=0.041), but not baseline and wave III (adj OR=1.42, 95% CI 0.84 to 2.39, p=0.191). Among women who drink alcohol, the proportion expressing intentions to reduce alcohol consumption increased significantly between baseline and wave III (adj OR=2.38, 95% CI 1.11 to 5.12, p=0.026). However, no significant reductions in recent drinking behaviour were found following the campaign. Conclusions Results indicate a population-based mass media campaign can reach the target audience and raise awareness of links between alcohol and cancer, and knowledge of

  13. 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...

  14. 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...

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 14 Aeronautics and Space 3 2014-01-01 2014-01-01 false Qualifications: Check airmen (airplane) and... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). Link to an amendment... airman (airplane) is a person who is qualified, and permitted, to conduct flight checks or instruction...

  16. 14 CFR 91.1089 - Qualifications: Check pilots (aircraft) and check pilots (simulator).

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... check pilots (simulator). 91.1089 Section 91.1089 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... (aircraft) and check pilots (simulator). (a) For the purposes of this section and § 91.1093: (1) A check... simulator, or in a flight training device for a particular type aircraft. (2) A check pilot (simulator) is...

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Approved ground check systems not employing... Approved ground check systems not employing pilot check wires. Ground check systems not employing pilot... includes a fail safe design causing the circuit breaker to open when ground continuity is broken....

  18. 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...

  19. Reduction of multiple pregnancies in the advanced maternal age population after implementation of an elective single embryo transfer policy coupled with enhanced embryo selection: pre- and post-intervention study

    PubMed Central

    Ubaldi, Filippo Maria; Capalbo, Antonio; Colamaria, Silvia; Ferrero, Susanna; Maggiulli, Roberta; Vajta, Gábor; Sapienza, Fabio; Cimadomo, Danilo; Giuliani, Maddalena; Gravotta, Enrica; Vaiarelli, Alberto; Rienzi, Laura

    2015-01-01

    STUDY QUESTION Is an elective single-embryo transfer (eSET) policy an efficient approach for women aged >35 years when embryo selection is enhanced via blastocyst culture and preimplantation genetic screening (PGS)? SUMMARY ANSWER Elective SET coupled with enhanced embryo selection using PGS in women older than 35 years reduced the multiple pregnancy rates while maintaining the cumulative success rate of the IVF programme. WHAT IS KNOWN ALREADY Multiple pregnancies mean an increased risk of premature birth and perinatal death and occur mainly in older patients when multiple embryos are transferred to increase the chance of pregnancy. A SET policy is usually recommended in cases of good prognosis patients, but no general consensus has been reached for SET application in the advanced maternal age (AMA) population, defined as women older than 35 years. Our objective was to evaluate the results in terms of efficacy, efficiency and safety of an eSET policy coupled with increased application of blastocyst culture and PGS for this population of patients in our IVF programme. STUDY DESIGN, SIZE, DURATION In January 2013, a multidisciplinary intervention involving optimization of embryo selection procedure and introduction of an eSET policy in an AMA population of women was implemented. This is a retrospective 4-year (January 2010–December 2013) pre- and post-intervention analysis, including 1161 and 499 patients in the pre- and post-intervention period, respectively. The primary outcome measures were the cumulative delivery rate (DR) per oocyte retrieval cycle and multiple DR. PARTICIPANTS/MATERIALS, SETTING, METHODS Surplus oocytes and/or embryos were vitrified during the entire study period. In the post-intervention period, all couples with good quality embryos and less than two previous implantation failures were offered eSET. Embryo selection was enhanced by blastocyst culture and PGS (blastocyst stage biopsy and 24-chromosomal screening). Elective SET was also

  20. Advanced microbial check valve development

    NASA Technical Reports Server (NTRS)

    Colombo, G. V.; Greenley, D. R.

    1980-01-01

    A flight certified assembly identified as a Microbial Check Valve (MCV) was developed and tested. The MCV is a canister packed with an iodinated anionic exchange resin. The device is used to destroy organisms in a water stream as the water passes through the device. The device is equally effective for fluid flow in either direction and its primary method of organism removal is killing rather than filtering. The MCV was successfully developed for the space shuttle to: disinfect fuel cell water; and prevent back contamination of the stored potable water supply. One version of the device consists of a high residual iodinated resin bed that imparts approximately 2 ppm of iodine to the fuel cell water as it flows to the potable water tanks. A second version of the device consists of a low residual iodinated resin bed. One of these low residual beds is located at each use port in the potable water system for the dual purpose of removing some iodine from the potable water as it is dispensed and also to prevent back contamination of the potable supply.

  1. Check valve slam analysis in pumping station

    NASA Astrophysics Data System (ADS)

    Himr, D.; Habán, V.; Dokoupil, P.

    2016-03-01

    Pumping station supplies water for technological process. The check valve in the station was replaced with a new one. The regular test of black out discovered the high pressure pulsations accompanied with noticeable pipeline movement of discharge pipe. It was caused by late check valve closing, probably, when the back flow reached the highest possible velocity. This statement was supported with analysis of results of pressure measurement near the check valve and with a numerical simulation of the flow in the pipeline system.

  2. Astronaut 'Checks In' From Space Station

    NASA Video Gallery

    NASA astronaut and International Space Station Commander Doug Wheelock became the first person to "check in" from space Friday using the mobile social networking application Foursquare. Wheelock's ...

  3. 14 CFR 135.339 - Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator).

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... potential results of improper, untimely, or nonexecution of safety measures during a check; (3) Training...

  4. 14 CFR 121.413 - Initial and transition training and checking requirements: Check airmen (airplane), check airmen...

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal, and emergency procedures in the airplane. (d) The transition ground...) The potential results of improper, untimely, or non-execution of safety measures during a check....

  5. 14 CFR 135.339 - Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator).

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... potential results of improper, untimely, or nonexecution of safety measures during a check; (3) Training...

  6. 14 CFR 91.1093 - Initial and transition training and checking: Check pilots (aircraft), check pilots (simulator).

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... safety measures for emergency situations that are likely to develop during a check; (2) The...

  7. 14 CFR 91.1093 - Initial and transition training and checking: Check pilots (aircraft), check pilots (simulator).

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... safety measures for emergency situations that are likely to develop during a check; (2) The...

  8. 14 CFR 135.339 - Initial and transition training and checking: Check airmen (aircraft), check airmen (simulator).

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... potential results of improper, untimely, or nonexecution of safety measures during a check; (3) Training...

  9. 14 CFR 121.413 - Initial and transition training and checking requirements: Check airmen (airplane), check airmen...

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal, and emergency procedures in the airplane. (d) The transition ground...) The potential results of improper, untimely, or non-execution of safety measures during a check....

  10. 14 CFR 91.1093 - Initial and transition training and checking: Check pilots (aircraft), check pilots (simulator).

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... applicant that could adversely affect safety. (5) The corrective action in the case of unsatisfactory checks. (6) The approved methods, procedures, and limitations for performing the required normal, abnormal... safety measures for emergency situations that are likely to develop during a check; (2) The...

  11. 14 CFR 91.1093 - Initial and transition training and checking: Check pilots (aircraft), check pilots (simulator).

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... observation check may be accomplished in part or in full in an aircraft, in a flight simulator, or in a flight... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for a check pilot (simulator) must include...

  12. The Role of Intersensory Redundancy in the Emergence of Social Referencing in 5 1/2-Month-Old Infants

    ERIC Educational Resources Information Center

    Vaillant-Molina, Mariana; Bahrick, Lorraine E.

    2012-01-01

    Early evidence of social referencing was examined in 5 1/2-month-old infants. Infants were habituated to 2 films of moving toys, one toy eliciting a woman's positive emotional expression and the other eliciting a negative expression under conditions of bimodal (audiovisual) or unimodal visual (silent) speech. It was predicted that intersensory…

  13. Using a Checking Account. Grades 6-12.

    ERIC Educational Resources Information Center

    Trey, Frances

    Instructions and exercises on the use of checking accounts are provided for students in grades 6-12. The following topics are included: (1) reasons for opening a checking account; (2) how to open a checking account; (3) how to fill out deposit slips; (4) the elements of a check and how to write a check correctly; (5) checking account rules; (6)…

  14. 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,...

  15. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... justice purposes. To conduct a name check, users must have either the social security number/foreign... individual in the COPS MPRS system. (5) Name checks for individuals employed in law enforcement positions. (g... Department of Defense (Continued) DEPARTMENT OF THE ARMY (CONTINUED) LAW ENFORCEMENT AND...

  16. Check-In Check-Out + Social Skills: Enhancing the Effects of Check-In Check-Out for Students With Social Skill Deficits

    ERIC Educational Resources Information Center

    Ross, Scott W.; Sabey, Christian V.

    2015-01-01

    Check-In Check-Out is a Tier 2 intervention designed to reduce problem behavior and increase prosocial behavior. Although the intervention has demonstrated effects in several studies, few research efforts have considered how the intervention can be modified to support students with social skill deficits. Through a multiple baseline design across…

  17. Solar Heating Systems: Progress Checks & Tests Manual.

    ERIC Educational Resources Information Center

    Green, Joanne; And Others

    This manual contains Progress Checks and Tests for use in a Solar Heating Systems curriculum (see note). It contains master copies of all Progress Checks and Unit Tests accompanying the curriculum, organized by unit. (The master copies are to be duplicated by each school so that adequate copies are available for student use in a self-paced student…

  18. Tractor Mechanic Check Sheets for Modules.

    ERIC Educational Resources Information Center

    Clemson Univ., SC. Vocational Education Media Center.

    Forms for student self-checks and the instructor's final checklist (student evaluation) are provided for use with thirty-three learning modules on maintaining and servicing fuel and electrical systems in tractor mechanics. The student self-check asks the students questions about their understanding of the modules' content. The instructor's…

  19. Anaesthetic machine checking practices. A survey.

    PubMed

    Mayor, A H; Eaton, J M

    1992-10-01

    Forty anaesthetists, of all grades, were interviewed without prior warning and questioned about the checks they had performed on their anaesthetic equipment before use. The results reveal that a substantial percentage (up to 41%) of anaesthetists perform inadequate checks. Furthermore, of those that do, few follow the Association of Anaesthetists of Great Britain and Ireland's recent guidelines. PMID:1443480

  20. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 32 National Defense 4 2013-07-01 2013-07-01 false Name checks. 635.6 Section 635.6 National... INVESTIGATIONS LAW ENFORCEMENT REPORTING Records Administration § 635.6 Name checks. (a) Information contained in... disseminated according to subpart B of this part. (c) In response to a request for local files or name...

  1. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 32 National Defense 4 2014-07-01 2013-07-01 true Name checks. 635.6 Section 635.6 National Defense... INVESTIGATIONS LAW ENFORCEMENT REPORTING Records Administration § 635.6 Name checks. (a) Information contained in... disseminated according to subpart B of this part. (c) In response to a request for local files or name...

  2. Checking and Balancing: Banking and Budgeting.

    ERIC Educational Resources Information Center

    Thypin, Marilyn; Glasner, Lynne

    A short fictional work for limited English speakers is presented that relates a young couple's experience in learning about managing their money more carefully by budgeting and maintaining a checking account. Since the couple did not have a checking account, they had to go to their savings bank in order to pay each bill and they had to keep cash…

  3. 7 CFR 1421.11 - Spot checks.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 10 2012-01-01 2012-01-01 false Spot checks. 1421.11 Section 1421.11 Agriculture Regulations of the Department of Agriculture (Continued) COMMODITY CREDIT CORPORATION, DEPARTMENT OF... ASSISTANCE LOANS AND LOAN DEFICIENCY PAYMENTS FOR 2008 THROUGH 2012 General § 1421.11 Spot checks. (a)...

  4. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 38 Pensions, Bonuses, and Veterans' Relief 2 2010-07-01 2010-07-01 false Check delivery. 21.4505...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education... surviving spouse is enrolled for delivery by the educational institution. (b) Delivery and certification....

  5. 46 CFR 10.214 - Security Check.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 46 Shipping 1 2012-10-01 2012-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,...

  6. 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,...

  7. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 32 National Defense 4 2012-07-01 2011-07-01 true Name checks. 635.6 Section 635.6 National Defense Department of Defense (Continued) DEPARTMENT OF THE ARMY (CONTINUED) LAW ENFORCEMENT AND CRIMINAL INVESTIGATIONS LAW ENFORCEMENT REPORTING Records Administration § 635.6 Name checks. (a) Information contained in military police records may...

  8. 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...

  9. Vertical pump with free floating check valve

    DOEpatents

    Lindsay, Malcolm

    1980-01-01

    A vertical pump with a bottom discharge having a free floating check valve isposed in the outlet plenum thereof. The free floating check valve comprises a spherical member with a hemispherical cage-like member attached thereto which is capable of allowing forward or reverse flow under appropriate conditions while preventing reverse flow under inappropriate conditions.

  10. Check & Connect. What Works Clearinghouse Intervention Report

    ERIC Educational Resources Information Center

    What Works Clearinghouse, 2006

    2006-01-01

    "Check & Connect" is a dropout prevention strategy that relies on close monitoring of school performance, as well as mentoring, case management, and other supports. The What Works Clearinghouse (WWC) reviewed six studies on "Check & Connect" that were designed to assess the program's effectiveness. Four of these studies passed WWC relevance…

  11. 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.

  12. 14 CFR 135.337 - Qualifications: Check airmen (aircraft) and check airmen (simulator).

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... check airmen (simulator). 135.337 Section 135.337 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... (simulator). (a) For the purposes of this section and § 135.339: (1) A check airman (aircraft) is a person who is qualified to conduct flight checks in an aircraft, in a flight simulator, or in a...

  13. X-31 Engine Fit Check

    NASA Technical Reports Server (NTRS)

    1998-01-01

    X-31 team members perform an engine fit check on the X-31 Enhanced Fighter Maneuverability demonstrator aircraft in a hangar at the Dryden Flight Research Center, Edwards, California. The X-31 Enhanced Fighter Maneuverability (EFM) demonstrator flew at the Ames- Dryden Flight Research Facility, Edwards, California (redesignated the Dryden Flight Research Center in 1994) from February 1992 until 1995 and before that at the Air Force's Plant 42 in Palmdale, California. The goal of the project was to provide design information for the next generation of highly maneuverable fighter aircraft. This program demonstrated the value of using thrust vectoring (directing engine exhaust flow) coupled with an advanced flight control system to provide controlled flight to very high angles of attack. The result was a significant advantage over most conventional fighters in close-in combat situations. The X-31 flight program focused on agile flight within the post-stall regime, producing technical data to give aircraft designers a better understanding of aerodynamics, effectiveness of flight controls and thrust vectoring, and airflow phenomena at high angles of attack. Stall is a condition of an airplane or an airfoil in which lift decreases and drag increases due to the separation of airflow. Thrust vectoring compensates for the loss of control through normal aerodynamic surfaces that occurs during a stall. Post-stall refers to flying beyond the normal stall angle of attack, which in the X-31 was at a 30-degree angle of attack. During Dryden flight testing, the X-31 aircraft established several milestones. On November 6, 1992, the X-31 achieved controlled flight at a 70-degree angle of attack. On April 29, 1993, the second X-31 successfully executed a rapid minimum-radius, 180-degree turn using a post-stall maneuver, flying well beyond the aerodynamic limits of any conventional aircraft. This revolutionary maneuver has been called the 'Herbst Maneuver' after Wolfgang Herbst, a

  14. Dynamic Bubble-Check Algorithm for Check Node Processing in Q-Ary LDPC Decoders

    NASA Astrophysics Data System (ADS)

    Lin, Wei; Bai, Baoming; Ma, Xiao; Sun, Rong

    A simplified algorithm for check node processing of extended min-sum (EMS) q-ary LDPC decoders is presented in this letter. Compared with the bubble check algorithm, the so-called dynamic bubble-check (DBC) algorithm aims to further reduce the computational complexity for the elementary check node (ECN) processing. By introducing two flag vectors in ECN processing, The DBC algorithm can use the minimum number of comparisons at each step. Simulation results show that, DBC algorithm uses significantly fewer comparison operations than the bubble check algorithm, and presents no performance loss compared with standard EMS algorithm on AWGN channels.

  15. The polymicrobial Actinomyces naeslundii and Pseudomonas aeruginosa sepsis in a patient with ulcerative colitis 2 months after colonoscopy.

    PubMed

    Topić, Mirjana Balen; Desnica, Boško; Vicković, Ninoslava; Skuhala, Tomislava; Bayer, Kristijan; Bukovski, Suzana

    2014-02-01

    We describe a case of an abrupt onset of polymicrobial Actinomyces naeslundii/Pseudomonas aeruginosa sepsis in a patient with a previously silent abdominal actinomycosis, developed 2 months after colonoscopy when the diagnosis of a left-sided ulcerative colitis was established. Prolonged high-dose ceftriaxone therapy was clinically effective, albeit accompanied by the development of a reversible pseudocholelithiasis that persisted for 5 months. PMID:24297267

  16. Simple Check Valves for Microfluidic Devices

    NASA Technical Reports Server (NTRS)

    Willis, Peter A.; Greer, Harold F.; Smith, J. Anthony

    2010-01-01

    A simple design concept for check valves has been adopted for microfluidic devices that consist mostly of (1) deformable fluorocarbon polymer membranes sandwiched between (2) borosilicate float glass wafers into which channels, valve seats, and holes have been etched. The first microfluidic devices in which these check valves are intended to be used are micro-capillary electrophoresis (microCE) devices undergoing development for use on Mars in detecting compounds indicative of life. In this application, it will be necessary to store some liquid samples in reservoirs in the devices for subsequent laboratory analysis, and check valves are needed to prevent cross-contamination of the samples. The simple check-valve design concept is also applicable to other microfluidic devices and to fluidic devices in general. These check valves are simplified microscopic versions of conventional rubber- flap check valves that are parts of numerous industrial and consumer products. These check valves are fabricated, not as separate components, but as integral parts of microfluidic devices. A check valve according to this concept consists of suitably shaped portions of a deformable membrane and the two glass wafers between which the membrane is sandwiched (see figure). The valve flap is formed by making an approximately semicircular cut in the membrane. The flap is centered over a hole in the lower glass wafer, through which hole the liquid in question is intended to flow upward into a wider hole, channel, or reservoir in the upper glass wafer. The radius of the cut exceeds the radius of the hole by an amount large enough to prevent settling of the flap into the hole. As in a conventional rubber-flap check valve, back pressure in the liquid pushes the flap against the valve seat (in this case, the valve seat is the adjacent surface of the lower glass wafer), thereby forming a seal that prevents backflow.

  17. Program Model Checking as a New Trend

    NASA Technical Reports Server (NTRS)

    Havelund, Klaus; Visser, Willem; Clancy, Daniel (Technical Monitor)

    2002-01-01

    This paper introduces a special section of STTT (International Journal on Software Tools for Technology Transfer) containing a selection of papers that were presented at the 7th International SPIN workshop, Stanford, August 30 - September 1, 2000. The workshop was named SPIN Model Checking and Software Verification, with an emphasis on model checking of programs. The paper outlines the motivation for stressing software verification, rather than only design and model verification, by presenting the work done in the Automated Software Engineering group at NASA Ames Research Center within the last 5 years. This includes work in software model checking, testing like technologies and static analysis.

  18. Improved microbial-check-valve resins

    NASA Technical Reports Server (NTRS)

    Colombo, G. V.; Putnam, D. F.

    1980-01-01

    Improved microbial-check-valve resins have been tested for their microbicidal effectiveness and long-term stability. Resins give more-stable iodine concentrations than previous preparations and do not impart objectionable odor or taste to treated water. Microbial check valve is small cylindrical device, packed with iodide-saturated resin, that is installed in water line where contamination by micro-organisms is to be prevented. Prototype microbial check valve was tested for stability and performance under harsh environmental conditions. Effectiveness was 100 percent at 35 deg, 70 deg, and 160 deg F (2 deg, 21 deg, and 71 deg C).

  19. Why your practice must do background checks.

    PubMed

    Zupko, Karen

    2007-01-01

    Hiring qualified staff is critical for a medical practice. As many physicians have discovered, taking applicants' resumes on faith can be a mistake. Background company searches show that one in three applicants provide false, inaccurate, misleading, or incomplete information. Fake degrees, false licenses and certifications, and criminal histories are a few of the problems that a proper background check can reveal. This article describes further why background checks are essential, how to incorporate a background check into your hiring process, and some of the legalities involved in the process. PMID:17494489

  20. Computational Fact Checking from Knowledge Networks.

    PubMed

    Ciampaglia, Giovanni Luca; Shiralkar, Prashant; Rocha, Luis M; Bollen, Johan; Menczer, Filippo; Flammini, Alessandro

    2015-01-01

    Traditional fact checking by expert journalists cannot keep up with the enormous volume of information that is now generated online. Computational fact checking may significantly enhance our ability to evaluate the veracity of dubious information. Here we show that the complexities of human fact checking can be approximated quite well by finding the shortest path between concept nodes under properly defined semantic proximity metrics on knowledge graphs. Framed as a network problem this approach is feasible with efficient computational techniques. We evaluate this approach by examining tens of thousands of claims related to history, entertainment, geography, and biographical information using a public knowledge graph extracted from Wikipedia. Statements independently known to be true consistently receive higher support via our method than do false ones. These findings represent a significant step toward scalable computational fact-checking methods that may one day mitigate the spread of harmful misinformation. PMID:26083336

  1. CMM Interim Check Design of Experiments (U)

    SciTech Connect

    Montano, Joshua Daniel

    2015-07-29

    Coordinate Measuring Machines (CMM) are widely used in industry, throughout the Nuclear Weapons Complex and at Los Alamos National Laboratory (LANL) to verify part conformance to design definition. Calibration cycles for CMMs at LANL are predominantly one year in length and include a weekly interim check to reduce risk. The CMM interim check makes use of Renishaw’s Machine Checking Gauge which is an off-the-shelf product simulates a large sphere within a CMM’s measurement volume and allows for error estimation. As verification on the interim check process a design of experiments investigation was proposed to test a couple of key factors (location and inspector). The results from the two-factor factorial experiment proved that location influenced results more than the inspector or interaction.

  2. Computational Fact Checking from Knowledge Networks

    PubMed Central

    Ciampaglia, Giovanni Luca; Shiralkar, Prashant; Rocha, Luis M.; Bollen, Johan; Menczer, Filippo; Flammini, Alessandro

    2015-01-01

    Traditional fact checking by expert journalists cannot keep up with the enormous volume of information that is now generated online. Computational fact checking may significantly enhance our ability to evaluate the veracity of dubious information. Here we show that the complexities of human fact checking can be approximated quite well by finding the shortest path between concept nodes under properly defined semantic proximity metrics on knowledge graphs. Framed as a network problem this approach is feasible with efficient computational techniques. We evaluate this approach by examining tens of thousands of claims related to history, entertainment, geography, and biographical information using a public knowledge graph extracted from Wikipedia. Statements independently known to be true consistently receive higher support via our method than do false ones. These findings represent a significant step toward scalable computational fact-checking methods that may one day mitigate the spread of harmful misinformation. PMID:26083336

  3. Flight manager and check-airman training

    NASA Technical Reports Server (NTRS)

    Carroll, J. E.

    1980-01-01

    An analysis of industry incidents, accidents, and related human factors research is given. The need to develop more effective resource management training for the flight deck crewmembers is discussed with specific emphasis on flight manager and check-airman training.

  4. For Better Skin Cancer Checks, Partner Up

    MedlinePlus

    ... 159632.html For Better Skin Cancer Checks, Partner Up Melanoma survivors benefited when they and a loved ... the researchers explained. During two years of follow-up, 66 of the patients did go on to ...

  5. For Better Skin Cancer Checks, Partner Up

    MedlinePlus

    ... gov/medlineplus/news/fullstory_159632.html For Better Skin Cancer Checks, Partner Up Melanoma survivors benefited when ... out: Getting a partner trained to spot potential skin cancers can be a lifesaver for melanoma survivors, ...

  6. Online treatment compliance checking for clinical pathways.

    PubMed

    Huang, Zhengxing; Bao, Yurong; Dong, Wei; Lu, Xudong; Duan, Huilong

    2014-10-01

    Compliance checking for clinical pathways (CPs) is getting increasing attention in health-care organizations due to stricter requirements for cost control and treatment excellence. Many compliance measures have been proposed for treatment behavior inspection in CPs. However, most of them look at aggregated data seen from an external perspective, e.g. length of stay, cost, infection rate, etc., which may provide only a posterior impression of the overall conformance with the established CPs such that in-depth and in near real time checking on the compliance of the essential/critical treatment behaviors of CPs is limited. To provide clinicians real time insights into violations of the established CP specification and support online compliance checking, this article presents a semantic rule-based CP compliance checking system. In detail, we construct a CP ontology (CPO) model to provide a formal grounding of CP compliance checking. Using the proposed CPO, domain treatment constraints are modeled into Semantic Web Rule Language (SWRL) rules to specify the underlying treatment behaviors and their quantified temporal structure in a CP. The established SWRL rules are integrated with the CP workflow such that a series of applicable compliance checking and evaluation can be reminded and recommended during the pathway execution. The proposed approach can, therefore, provides a comprehensive compliance checking service as a paralleling activity to the patient treatment journey of a CP rather than an afterthought. The proposed approach is illustrated with a case study on the unstable angina clinical pathway implemented in the Cardiology Department of a Chinese hospital. The results demonstrate that the approach, as a feasible solution to provide near real time conformance checking of CPs, not only enables clinicians to uncover non-compliant treatment behaviors, but also empowers clinicians with the capability to make informed decisions when dealing with treatment compliance

  7. Joule-Thomson Expander Without Check Valves

    NASA Technical Reports Server (NTRS)

    Chan, C. K.; Gatewood, J. R.

    1989-01-01

    Cooling effected by bidirectional, reciprocating flow of gas. Type of Joule-Thomson (J-T) expander for cryogenic cooling requires no check valves to prevent reverse flow of coolant. More reliable than conventional J-T expander, containing network of check valves, each potential source of failure. Gas flows alternately from left to right and right to left. Heat load cooled by evaporation of liquid from left or right compartment, whichever at lower pressure.

  8. Very fast recognition of GIRO check forms

    NASA Astrophysics Data System (ADS)

    Minh Ha, Thien; Bunke, Horst

    1993-04-01

    Check forms are used by many people in daily life for money remittance. Surprisingly, the processing of these forms at banks and post offices is only partly automated. In this paper, we deal with a particular kind of form, viz., the GIRO checks used in Switzerland. We describe a fully automatic system which is able to recognize the following items on a GIRO check: the financial institution, the name and address of the receiver, and the account number. The complete recognition of a GIRO check is divided into two phases. In the first phase, the system performs a layout analysis in order to localize regions corresponding to various items on the check. The input gray-level image is first binarized and segmented using the X-Y-tree decomposition algorithm resulting in a list of atomic entities (e.g., individual characters). Each entity is then interpreted as part of an item (e.g., receiver's name), according to the knowledge about possible layouts of a form. All atomic entities belonging to the same item are grouped together and yield the location of that item. In the second phase, the localized items are separately binarized again and submitted to an OCR engine to obtain streams of characters that correspond to the items. We have tested the system on a large number of checks and the results are promising in terms of both computation time and recognition accuracy.

  9. 31 CFR 235.4 - Check Forgery Insurance Fund.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Check Forgery Insurance Fund. 235.4... SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE ISSUANCE OF SETTLEMENT CHECKS FOR FORGED CHECKS DRAWN ON DESIGNATED DEPOSITARIES § 235.4 Check Forgery Insurance Fund. The Check Forgery...

  10. Newly generated neurons at 2 months post-status epilepticus are functionally integrated into neuronal circuitry in mouse hippocampus.

    PubMed

    Hu, Ming; Zhu, Kun; Chen, Xin-Lin; Zhang, Yao-Jie; Zhang, Jian-Shui; Xiao, Xin-Li; Liu, Jian-Xin; Liu, Yong

    2015-11-01

    Emerging evidence has linked chronic temporal lobe epilepsy to dramatically reduced neurogenesis in the dentate gyrus. However, the profile of different components of neurogenesis in the chronically epileptic hippocampus is still unclear, especially the incorporation of newly generated cells. To address the issue, newly generated cells in the sub-granular zone of the dentate gyrus were labeled by the proliferation marker bromodeoxyuridine (BrdU) or retroviral vector expressing green fluorescent protein 2 months after pilocarpine-induced status epilepticus. The newly generated neurons that extended axons to CA3 area or integrated into memory circuits were visualized by cholera toxin B subunit retrograde tracing, and detecting activation of BrdU(+) cells following a recall of spatial memory test at the chronic stage of TLE. We found that the microenvironment was still able to sustain significant neuronal differentiation of newly generated cells at 2 months post-status epilepticus time-point, and newly added neurons into granular cell layer were still able to integrate into neuronal circuitry, both anatomically and functionally. Quantified analyses of BrdU(+) or Ki-67(+) cells demonstrated that there was a reduced proliferation of progenitor cells and diminished survival of newly generated cells in the epileptic hippocampus. Both decreased levels of neurotrophic factors in the surrounding milieu and cell loss in the CA3 area might contribute the decreased production of new cells and their survival following chronic epilepsy. These results suggest that decreased neurogenesis in the chronically epileptic hippocampus 2 months post status epilepticus is not associated with altered integration of newly generated neurons, and that developing strategies to augment hippocampal neurogenesis in chronic epilepsy might be protective. PMID:26384773

  11. MPST Software: grl_pef_check

    NASA Technical Reports Server (NTRS)

    Call, Jared A.; Kwok, John H.; Fisher, Forest W.

    2013-01-01

    This innovation is a tool used to verify and validate spacecraft sequences at the predicted events file (PEF) level for the GRAIL (Gravity Recovery and Interior Laboratory, see http://www.nasa. gov/mission_pages/grail/main/index. html) mission as part of the Multi-Mission Planning and Sequencing Team (MPST) operations process to reduce the possibility for errors. This tool is used to catch any sequence related errors or issues immediately after the seqgen modeling to streamline downstream processes. This script verifies and validates the seqgen modeling for the GRAIL MPST process. A PEF is provided as input, and dozens of checks are performed on it to verify and validate the command products including command content, command ordering, flight-rule violations, modeling boundary consistency, resource limits, and ground commanding consistency. By performing as many checks as early in the process as possible, grl_pef_check streamlines the MPST task of generating GRAIL command and modeled products on an aggressive schedule. By enumerating each check being performed, and clearly stating the criteria and assumptions made at each step, grl_pef_check can be used as a manual checklist as well as an automated tool. This helper script was written with a focus on enabling the user with the information they need in order to evaluate a sequence quickly and efficiently, while still keeping them informed and active in the overall sequencing process. grl_pef_check verifies and validates the modeling and sequence content prior to investing any more effort into the build. There are dozens of various items in the modeling run that need to be checked, which is a time-consuming and errorprone task. Currently, no software exists that provides this functionality. Compared to a manual process, this script reduces human error and saves considerable man-hours by automating and streamlining the mission planning and sequencing task for the GRAIL mission.

  12. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... checks. (a) Vacuum side leak check. (1) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (2) The maximum allowable leakage rate on the vacuum side is...

  13. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... checks. (a) Vacuum side leak check. (1) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (2) The maximum allowable leakage rate on the vacuum side is...

  14. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the...

  15. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... checks. (a) Vacuum side leak check. (1) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (2) The maximum allowable leakage rate on the vacuum side is...

  16. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... checks. (a) Vacuum side leak check. (1) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (2) The maximum allowable leakage rate on the vacuum side is...

  17. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the...

  18. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the...

  19. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the...

  20. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the...

  1. Case report of proton pump inhibitor responsive esophageal eosinophilia: why 2 months of proton pump inhibitors is required.

    PubMed

    Lipka, S; Muhammad, A; Champeaux, A; Richter, J E

    2016-08-01

    Eosinophilic esophagitis (EoE) is a chronic inflammatory disease defined by the 2nd EoE consensus panel as: 'symptoms related to esophageal dysfunction, ≥15 eosinophils per high-power field, eosinophilia that persists after a trial of proton pump inhibitor (PPI) therapy, and exclusion of other secondary causes of esophageal eosinophilia'. After Ngo et al. first reported a case series of 3 patients initially diagnosed with eosinophilic esophagitis responding endoscopically and histologically to PPI therapy, the term PPI-responsive esophageal eosinophilia has evolved. Several studies have since confirmed the existence of this entity. Although recent ACG guidelines call for a 2-month course of PPI followed by endoscopy biopsies this recommendation is classified as a strong recommendation with 'low evidence', and has not been proven in the literature. We present a case of PPI-REE treated with rabeprazole 20 mg BID for 2 months, and describe simultaneous symptom resolution with histological and endoscopic remission of disease. This unique case with serial endoscopy and histology at baseline and monthly suggests the current recommendation of at least two months therapy with PPIs dosed twice daily is appropriate. Future studies will need to address duration of high dose therapy, whether patients can be stepped down to once a day PPI, and therapeutic strategy for transient responders. PMID:24842729

  2. Glovebox pressure relief and check valve

    SciTech Connect

    Blaedel, K.L.

    1986-03-17

    This device is a combined pressure relief valve and check valve providing overpressure protection and preventing back flow into an inert atmosphere enclosure. The pressure relief is embodied by a submerged vent line in a mercury reservior, the releif pressure being a function of the submerged depth. The pressure relief can be vented into an exhaust system and the relieving pressure is only slightly influenced by the varying pressure in the exhaust system. The check valve is embodied by a ball which floats on the mercury column and contacts a seat whenever vacuum exists within the glovebox enclosure. Alternatively, the check valve is embodied by a vertical column of mercury, the maximum back pressure being a function of the height of the column of mercury.

  3. A Metric Encoding for Bounded Model Checking

    NASA Astrophysics Data System (ADS)

    Pradella, Matteo; Morzenti, Angelo; San Pietro, Pierluigi

    In Bounded Model Checking, both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique which is particularly optimized for managing quantitative future and past metric temporal operators, typically found in properties of hard real time systems. The encoding is simple and intuitive in principle, but it is made more complex by the presence, typical of the Bounded Model Checking technique, of backward and forward loops used to represent an ultimately periodic infinite domain by a finite structure. We report and comment on the new encoding technique and on an extensive set of experiments carried out to assess its feasibility and effectiveness.

  4. 14 CFR 135.337 - Qualifications: Check airmen (aircraft) 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 (aircraft) and check airmen (simulator). 135.337 Section 135.337 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR HIRE: CERTIFICATION AND OPERATIONS...

  5. 14 CFR 91.1089 - Qualifications: Check pilots (aircraft) and check pilots (simulator).

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... simulator, or in a flight training device for a particular type aircraft. (2) A check pilot (simulator) is a person who is qualified to conduct flight checks, but only in a flight simulator, in a flight training... (simulator) must accomplish the following— (1) Fly at least two flight segments as a required crewmember...

  6. 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 check airmen (simulator). 121.411 Section 121.411 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR HIRE: CERTIFICATION AND OPERATIONS...

  7. The Effects of Check-In/Check-Out on Kindergarten Students in an Urban Setting

    ERIC Educational Resources Information Center

    Sobalvarro, Adriana; Graves, Scott L., Jr.; Hughes, Tammy

    2016-01-01

    The purpose of this project was to investigate the effectiveness of Check-in/Check-out (CICO), a targeted behavioral intervention, on reducing the problem behaviors of kindergarten students in an urban setting. Participants were referred by their teacher for exhibiting disruptive classroom behaviors, which resulted in classroom removal. Results…

  8. Large-Scale Implementation of Check-In, Check-Out: A Descriptive Study

    ERIC Educational Resources Information Center

    Hawken, Leanne S.; Bundock, Kaitlin; Barrett, Courtenay A.; Eber, Lucille; Breen, Kimberli; Phillips, Danielle

    2015-01-01

    Check-In, Check-Out (CICO) is one of the most widely implemented Tier 2 behavior interventions in a school-wide system of Positive Behavior Interventions and Supports (PBIS). Much literature has documented implementation of CICO across individual schools or districts. The Illinois PBIS Network, currently known as the Midwest PBIS Network, has…

  9. A Systematic Review of the Empirical Support for Check-in Check-Out

    ERIC Educational Resources Information Center

    Wolfe, Katie; Pyle, Daniel; Charlton, Cade T.; Sabey, Christian V.; Lund, Emily M.; Ross, Scott W.

    2016-01-01

    Tier 2 interventions play an important role within the Positive Behavioral Interventions and Supports framework, bridging the gap between schoolwide Tier 1 interventions and individualized Tier 3 supports. Check-in Check-out (CICO) is a promising Tier 2 intervention for addressing mild problem behavior and potentially preventing the need for more…

  10. Function-Based Modification of Check-In/Check-Out to Influence Escape-Maintained Behavior

    ERIC Educational Resources Information Center

    Kilgus, Stephen P.; Fallon, Lindsay M.; Feinberg, Adam B.

    2016-01-01

    Prior research has suggested Check-In/Check-Out (CICO) effectiveness is linked to the function of problem behavior. Though effective for students whose misbehavior occurs to gain attention, findings are equivocal for behavior that occurs to escape academic tasks. The purpose of this study was to therefore evaluate a modification to CICO, wherein…

  11. Writing Checks. Student's Manual and Instructor's Manual.

    ERIC Educational Resources Information Center

    Hamer, Jean

    Supporting performance objective 54 of the V-TECS (Vocational-Technical Education Consortium of States) Secretarial Catalog, both a set of student materials and an instructor's manual on writing checks are included in this packet. (The packet is the sixth in a set of nine on performing computational clerical activities--CE 016 951-959.) The…

  12. The Art and Science of Reference Checking

    ERIC Educational Resources Information Center

    Perry, Robert Hastings

    2004-01-01

    If we could survey academic chief executive search committees across higher education, a composite definition of reference checking would likely include verification of factual information such as dates of employment, job titles, and responsibilities, as well as an evaluation of successful performance and leadership skills. Although everyone would…

  13. Calibration Check For Programmed Welding Robot

    NASA Technical Reports Server (NTRS)

    Sliwinski, Karen E.; Anderson, Ronald R.; Osterloh, Mark R.

    1992-01-01

    Preweld calibration check helps to ensure welding torch on computer-controlled welding robot mounted properly, right gas cup selected, and length of extension of electrode adjusted correctly. Performed by operator just before dry run for each set of parts welded. Procedure takes 2 to 3 minutes and enables correction of errors before parts or equipment damaged.

  14. REACH. Teacher's Guide Volume II. Check Points.

    ERIC Educational Resources Information Center

    Georgia Univ., Athens. Div. of Vocational Education.

    Designed for use with individualized instructional units (CE 026 345-347, CE 026 349-351) in the REACH (Refrigeration, Electro-Mechanical, Air-Conditioning, Heating) electromechanical cluster, this second volume of the postsecondary teacher guide contains the check points which the instructor may want to refer to when the unit sheet directs the…

  15. Pulse Check: National Trends in Drug Abuse.

    ERIC Educational Resources Information Center

    Hunt, Dana

    This Pulse Check is a report of national trends in illicit drug abuse and drug markets in the United States. The report draws on conversations with ethnographers and epidemiologists working in the drug field, law enforcement agents, and drug treatment providers across the United States. Information from each of these sources is summarized in…

  16. Integrating Online Assignments Checking in Introductory Courses

    ERIC Educational Resources Information Center

    Pundak, David; Shacham, Miri; Herscovitz, Orit

    2013-01-01

    Web technology offers lecturers the option of checking students' assignments online. Several systems have evolved to deliver personal assignments to each student in a multi-participant course. These systems provide students with immediate feedback, allowing them to correct erroneous answers and referring them to relevant literary sources that…

  17. Regulatory Conformance Checking: Logic and Logical Form

    ERIC Educational Resources Information Center

    Dinesh, Nikhil

    2010-01-01

    We consider the problem of checking whether an organization conforms to a body of regulation. Conformance is studied in a runtime verification setting. The regulation is translated to a logic, from which we synthesize monitors. The monitors are evaluated as the state of an organization evolves over time, raising an alarm if a violation is…

  18. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... military police records may be released under the provisions of AR 340-21 to authorized personnel for valid... police reports filed worldwide. Authorized users of COPS MPRS can conduct name checks for criminal... successful query of COPS MPRS would return the following information: (1) Military Police Report Number;...

  19. Quality Checking for Multi-GNSS Data

    NASA Astrophysics Data System (ADS)

    Soehne, Wolfgang; Mervart, Leos; Ruelke, Axel; Stuerze, Andrea; Weber, Georg

    2015-04-01

    Quality checking of GNSS observations has a long tradition within the international GNSS community. For example, the RINEX files provided by the International GNSS Service (IGS) and IAG sub-commissions dealing with GNSS have been routinely checked with the tool teqc (Translation, Editing and Quality Checking (Estey & Meertens, 1999)). Data Centres like the regional GNSS data centre at the Federal Agency for Cartography and Geodesy (BKG) are relying on such tools. With upcoming new GNSS like BeiDou or Galileo and new regional systems like QZSS or IRNSS and growing number of Satellite-Based Augmentation Systems (SBAS), new signals and frequencies, and new formats like RTCM-MSM and RINEX 3 the need for flexible quality checking tools is arising. The IGS is keeping the pace with his initiative on multi-GNSS (MGEX) which is focusing on the use of the GNSS beyond the established GPS and GLONASS and with the establishment of a new working group on data quality control. Together with the Technical University of Prague (CTU) BKG has been developing the tool BKG Ntrip Client (BNC). Initially started as a tool for providing real-time navigational and observational data and derived products to the user BNC has been subsequently extended, e.g. by precise point positioning (PPP) and by post-processing capabilities. In the near past special features for editing and quality control have been established, e.g. for multipath analyses (MP) and signal-to-noise ratio (SNR). In this presentation, we will demonstrate the various features of BNC for quality control. Examples especially for multi-GNSS data will be shown. Potential usage for the open GNSS community will be outlined. Some proposals for a unified ASCII output to facilitate usage of different software tools on quality checking will finalize the presentation.

  20. 30 CFR 75.1715 - Identification check system.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Identification check system. 75.1715 Section 75... HEALTH MANDATORY SAFETY STANDARDS-UNDERGROUND COAL MINES Miscellaneous § 75.1715 Identification check system. Each operator of a coal mine shall establish a check-in and check-out system which will...

  1. 30 CFR 75.1715 - Identification check system.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Identification check system. 75.1715 Section 75... HEALTH MANDATORY SAFETY STANDARDS-UNDERGROUND COAL MINES Miscellaneous § 75.1715 Identification check system. Each operator of a coal mine shall establish a check-in and check-out system which will...

  2. 30 CFR 75.1715 - Identification check system.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Identification check system. 75.1715 Section 75... HEALTH MANDATORY SAFETY STANDARDS-UNDERGROUND COAL MINES Miscellaneous § 75.1715 Identification check system. Each operator of a coal mine shall establish a check-in and check-out system which will...

  3. 40 CFR 86.327-79 - Quench checks; NOX analyzer.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 18 2010-07-01 2010-07-01 false Quench checks; NOX analyzer. 86.327-79... Quench checks; NOX analyzer. (a) Perform the reaction chamber quench check for each model of high vacuum... capillary, and if used, dilution capillary. (c) Quench check as follows: (1) Calibrate the NOX analyzer...

  4. Effects of α-Tocopherol and β-Carotene Supplementation on Cancer Incidence and Mortality: 18-Year Post-Intervention Follow-Up of the Alpha-Tocopherol, Beta-Carotene Cancer Prevention (ATBC) Study

    PubMed Central

    Virtamo, Jarmo; Taylor, Phil R.; Kontto, Jukka; Männistö, Satu; Utriainen, Meri; Weinstein, Stephanie J.; Huttunen, Jussi; Albanes, Demetrius

    2014-01-01

    In the Alpha-Tocopherol, Beta-Carotene Cancer Prevention (ATBC) Study among 29,133 Finnish male smokers aged 50–69 years, daily α-tocopherol (50 mg) for a median of 6.1 years decreased the risk of prostate cancer, whereas β-carotene (20 mg) increased risk of lung cancer and overall mortality. To determine the post-intervention effects of α-tocopherol and β-carotene, 25,563 men were followed 18 years for cancer incidence and all causes of mortality through national registers. Neither supplement had significant effects on post-trial cancer incidence. Relative risk (RR) for lung cancer (n=2,881) was 1.04 (95% confidence interval [CI], 0.96–1.11) among β-carotene recipients compared with nonrecipients. For prostate cancer (n=2,321) RR was 0.97 (95% CI, 0.89–1.05) among α-tocopherol recipients compared with nonrecipients with the preventive effect of α-tocopherol continuing approximately 8 years post-intervention. Body mass index significantly modified the effect of α-tocopherol on prostate cancer (P for interaction=0.01): RR 1.00 (95% CI, 0.88–1.14) in normal-weight men, 0.87 (95% CI, 0.77–0.98) in overweight men, and 1.25 (95% CI, 1.01–1.55) in obese men. The post-trial relative mortality (based on 16,686 deaths) was 1.02 (95% CI, 0.98–1.05) for α-tocopherol recipients compared with nonrecipients and 1.02 (95% CI, 0.99–1.05) for β-carotene recipients compared with nonrecipients. α-Tocopherol decreased post-trial prostate cancer mortality (RR, 0.84; 95% CI, 0.70–0.99), whereas β-carotene increased it (RR, 1.20; 95% CI, 1.01–1.42). In conclusion, supplementation with α-tocopherol and β-carotene appeared to have no late effects on cancer incidence. The preventive effect of moderate-dose α-tocopherol on prostate cancer continued several years post-trial and resulted in lower prostate cancer mortality. PMID:24338499

  5. Inclusion of the female condom in a male condom-only intervention in the sex industry in China: a cross-sectional analysis of pre- and post-intervention surveys in three study sites

    PubMed Central

    Liao, S.; Weeks, M.R.; Wang, Y.; Li, N.; Li, F.; Zhou, Y.; Zeng, X.; Jiang, J.; He, B.; Li, J.; Dunn, J.; Zhang, Q.

    2011-01-01

    SUMMARY Objectives To describe female condom (FC) use, male condom (MC) use and overall levels of protected sex before, during and after FC education and promotion (using the original prototype FC) combined with MC promotion among female sex workers in three rural or small urban settings in southern China. Study design The 1-year FC intervention was conducted by local health workers through outreach to establishments where sex work is conducted. Three serial cross-sectional surveys were conducted in each study town before, during and after the intervention along with process documentation throughout the intervention period. Methods Cross-sectional data from pre-intervention (baseline) and 6-month and 12-month post-intervention surveys from three study sites are used in a descriptive comparison of the context of the sex industry, outreach in two phases of intervention, and FC adoption after the intensive intervention phase in each site. Results Approximately 75–80% of eligible women working in sex establishments, varying from 74 to 155 participants for each survey, were recruited from three study sites. After introduction and promotion of the FC along with the MC during the community public health intervention, between one-fifth and one-half of the study participants had tried the FC in the three study sites by the time of the 6-month and 12-month cross-sectional surveys. Among them, 10–30% had used the FC more than once. FC awareness increased following the intervention with much less variation across the three study sites. At baseline, 31–54% of participants across the three sites reported 100% protected sex in the last 30 days with all types of partners. At one of the sites with relatively low MC use before the intervention, the proportion of women reporting 100% protected sex in the last 30 days increased by 15%, and the proportion reporting nil protected sex in the last 30 days decreased by 13% between baseline and 12-month post-intervention surveys. More

  6. Model Checking the Remote Agent Planner

    NASA Technical Reports Server (NTRS)

    Khatib, Lina; Muscettola, Nicola; Havelund, Klaus; Norvig, Peter (Technical Monitor)

    2001-01-01

    This work tackles the problem of using Model Checking for the purpose of verifying the HSTS (Scheduling Testbed System) planning system. HSTS is the planner and scheduler of the remote agent autonomous control system deployed in Deep Space One (DS1). Model Checking allows for the verification of domain models as well as planning entries. We have chosen the real-time model checker UPPAAL for this work. We start by motivating our work in the introduction. Then we give a brief description of HSTS and UPPAAL. After that, we give a sketch for the mapping of HSTS models into UPPAAL and we present samples of plan model properties one may want to verify.

  7. Optimized synthesis of concurrently checked controllers

    SciTech Connect

    Leveugle, R.; Saucier, G. )

    1990-04-01

    Dedicated controllers (or FSM's) with concurrent checking capabilities are of prime importance in highly dependable applications. This paper presents a new method for introducing on-line test facilities in a controller with a very low overhead. This on-line test consists in detecting illegal paths in the control flow graph. These illegal paths may be due either to permanent faults or to transient errors. The state code flow is compacted through polynomial division. An implicit justifying signature method is applied at the state code level and ensures identical signatures before each join node of the control flow graph. The signatures are then independent of the path followed previously in the graph and the comparison to reference data is greatly facilitated. This property is obtained by a clever state assignment, nearly without area overhead. The controllers can then be checked by signature analysis, either by a built-in monitor or by an external checker.

  8. Does Your Result Checker Really Check?

    PubMed Central

    Guo, Lan; Mukhopadhyay, Supratik; Cukic, Bojan

    2015-01-01

    A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has provided a powerful platform assuring the reliability of software. However, constructing result checkers for most problems requires not only significant domain knowledge but also ingenuity and can be error prone. In this paper we present our experience in validating result checkers using formal methods. We have conducted several case studies in validating result checkers from the commercial LEDA system for combinatorial and geometric computing. In one of our case studies, we detected a logical error in a result checker for a program computing max flow of a graph. PMID:26005697

  9. Apparatus for checking dimensions of workpieces

    DOEpatents

    Possati, Mario; Golinelli, Guido

    1992-01-01

    An apparatus for checking features of workpieces with rotational symmetry defining a geometrical axis, which includes a base, rest devices fixed to the base for supporting the workpiece with the geometrical axis horizontally arranged, and a support structure coupled to the base for rotation about a horizontal axis. A counterweight and sensor are coupled to the support structure and movable with the support structure from a rest position, allowing loading of the workpiece to be checked onto the rest devices to a working position where the sensor is brought into cooperation with the workpiece. The axis of rotation of the support structure is arranged below the axis of the workpiece, in correspondence to a vertical geometrical plane passing through the workpiece geometric axis when the workpiece is positioned on the rest devices.

  10. Slicing AADL Specifications for Model Checking

    NASA Technical Reports Server (NTRS)

    Odenbrett, Maximilian; Nguyen, Viet Yen; Noll, Thomas

    2010-01-01

    To combat the state-space explosion problem in model checking larger systems, abstraction techniques can be employed. Here, methods that operate on the system specification before constructing its state space are preferable to those that try to minimize the resulting transition system as they generally reduce peak memory requirements. We sketch a slicing algorithm for system specifications written in (a variant of) the Architecture Analysis and Design Language (AADL). Given a specification and a property to be verified, it automatically removes those parts of the specification that are irrelevant for model checking the property, thus reducing the size of the corresponding transition system. The applicability and effectiveness of our approach is demonstrated by analyzing the state-space reduction for an example, employing a translator from AADL to Promela, the input language of the SPIN model checker.

  11. STS-88 Mission Specialist Krikalev checks equipment

    NASA Technical Reports Server (NTRS)

    1998-01-01

    STS-88 Mission Specialist Sergei Konstantinovich Krikalev (center), a Russian cosmonaut, checks out equipment inside a module at the Space Station Processing Facility. Betsy Ahearn (left) and James Burrows, with Boeing, assist him. Mission STS-88 is targeted for launch on Dec. 3, 1998. It is the first U.S. flight for the assembly of the International Space Station and will carry the Unity connecting module.

  12. Pre-resistance-welding resistance check

    DOEpatents

    Destefan, Dennis E.; Stompro, David A.

    1991-01-01

    A preweld resistance check for resistance welding machines uses an open circuited measurement to determine the welding machine resistance, a closed circuit measurement to determine the parallel resistance of a workpiece set and the machine, and a calculation to determine the resistance of the workpiece set. Any variation in workpiece set or machine resistance is an indication that the weld may be different from a control weld.

  13. Posterior predictive checking of multiple imputation models.

    PubMed

    Nguyen, Cattram D; Lee, Katherine J; Carlin, John B

    2015-07-01

    Multiple imputation is gaining popularity as a strategy for handling missing data, but there is a scarcity of tools for checking imputation models, a critical step in model fitting. Posterior predictive checking (PPC) has been recommended as an imputation diagnostic. PPC involves simulating "replicated" data from the posterior predictive distribution of the model under scrutiny. Model fit is assessed by examining whether the analysis from the observed data appears typical of results obtained from the replicates produced by the model. A proposed diagnostic measure is the posterior predictive "p-value", an extreme value of which (i.e., a value close to 0 or 1) suggests a misfit between the model and the data. The aim of this study was to evaluate the performance of the posterior predictive p-value as an imputation diagnostic. Using simulation methods, we deliberately misspecified imputation models to determine whether posterior predictive p-values were effective in identifying these problems. When estimating the regression parameter of interest, we found that more extreme p-values were associated with poorer imputation model performance, although the results highlighted that traditional thresholds for classical p-values do not apply in this context. A shortcoming of the PPC method was its reduced ability to detect misspecified models with increasing amounts of missing data. Despite the limitations of posterior predictive p-values, they appear to have a valuable place in the imputer's toolkit. In addition to automated checking using p-values, we recommend imputers perform graphical checks and examine other summaries of the test quantity distribution. PMID:25939490

  14. Water system microbial check valve development

    NASA Technical Reports Server (NTRS)

    Colombo, G. V.; Greenley, D. R.; Putnam, D. F.

    1978-01-01

    A residual iodine microbial check valve (RIMCV) assembly was developed and tested. The assembly is designed to be used in the space shuttle potable water system. The RIMCV is based on an anion exchange resin that is supersaturated with an iodine solution. This system causes a residual to be present in the effluent water which provides continuing bactericidal action. A flight prototype design was finalized and five units were manufactured and delivered.

  15. Automating the initial physics chart checking process.

    PubMed

    Furhang, Eli E; Dolan, James; Sillanpaa, Jussi K; Harrison, Louis B

    2009-01-01

    The initial physics chart check, an essential quality assurance process, verifies that the physician intent is properly expressed in the treatment plan, the treatment plan is reasonable, and the Record and Verify (RV) system properly captures the plan parameters. In this work the process was automated by characterizing the initial physics chart check as a universal set of steps, compartmentalized into intra-plan and inter-plan reviews. The intra-plan review confirms the diagnosis-prescription-plan correlation, and verifies transfer accuracy of the signed treatment plan parameters into the RV system. The inter-plan review tabulates all RV parameters for similar cases, and highlights outliers. The tabulation of RV parameters for similar cases enables a summation of experience across staff members, and facilitates a comparison using the Statistical Process Control (SPC) formalism. A summary sheet, added to each reviewed chart, automatically documents deviations noted during the review process. Forty-five patient charts were analyzed using the software. The length of time for the entire initial chart-checking process was reduced from about an hour to a few minutes. The code developed in this work allows the user to consider the big picture, trusting the software to track details. PMID:19223834

  16. Assessment of serum selenium levels in 2-month-old sucking calves using total reflection X-ray fluorescence technique

    NASA Astrophysics Data System (ADS)

    Buoso, M. C.; Ceccato, D.; Moschini, G.; Bernardini, D.; Testoni, S.; Torboli, A.; Valdes, M.

    2001-11-01

    The assessment of selenium status of livestock plays an important role in the production of medicine since low serum Se levels influence disease resistance in ruminants. It has been proved that Se deficiency may cause muscular dystrophy, cardiomyopathy and even death. Serum level has been widely used to evaluate the Se short-term status in animals since there is a good association between serum Se level and the dietary intake of the element over a wide range. The purpose of this work was to determine the Se serum concentration in a population of 78 sucking 2-month-old calves, in order to corroborate a clinical diagnosis of severe deficiency status. The samples were analyzed by total reflection X-ray fluorescence (TXRF) at the ITAL STRUCTURES Research Laboratory. The results obtained from the serum samples presented Se concentrations varying from 10 to 66 ng/ml. The comparison between the obtained values and the expected serum selenium values (60-80 ng/ml), confirmed a mild to severe deficiency status in the investigated population.

  17. 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.

  18. Checking Automated-Welder Programs By Computer

    NASA Technical Reports Server (NTRS)

    Damicone, L. O.

    1990-01-01

    Computer system detects and displays actual and potential errors in programs for computer-controlled electron-beam welder. Uses personal computer, separate from welding computer. Programmed specifically to highlight errors in welding program. Eliminates need for preweld full-power test run reducing checkout time to about half hour. Assures much higher quality, damage-free welding. Used to create and edit new programs for welder. Control computer thereby free for production. Useful for checking programs for such other computer-controlled equipment as inertia welders, robots, machine tools, and heat treaters.

  19. Technician Checks Soil Sampler on Viking Lander

    NASA Technical Reports Server (NTRS)

    1971-01-01

    A technician checks the soil sampler of the Viking lander. An arm will scoop up a sample of the Martian soil, empty it into a hopper on the lander which will route the sample to each of the three scientific instruments, biology, gas chromatograph/mass spectrometer and water analysis. NASA's Viking Lander was designed, fabricated, and tested by the Martin Marietta Corp. of Denver, Colorado, under the direction of the Viking Progect Office at Langley Research Center, Hampton, Virginia. The Lander drew heavily on the experience gained from the Ranger, Surveyor and the Apollo Programs in the areas of radar, altimeters, facsimile, cameras, soil samplers, landing gear, etc.

  20. Infeasibility of Quantum Cryptography Without Eavesdropping Check

    NASA Astrophysics Data System (ADS)

    Yang, Wei; Huang, Liusheng; Song, Fang; Wang, Qiyan

    Secure key distribution is impossible in pure classical environment. Unconditional secure key distribution is available when quantum means are introduced, assisted by a classical communication channel. What is possible when a quantum key distribution scheme is without classical communication? We present a general model with this constraint and show that quantum key distribution without classical eavesdropping check is in principle impossible. For an adversary can always succeed in obtaining the secret key via a special case of man-in-the-middle attack, namely intercept-and-forward attack without any risk of being captured.

  1. SAT-Based Model Checking without Unrolling

    NASA Astrophysics Data System (ADS)

    Bradley, Aaron R.

    A new form of SAT-based symbolic model checking is described. Instead of unrolling the transition relation, it incrementally generates clauses that are inductive relative to (and augment) stepwise approximate reachability information. In this way, the algorithm gradually refines the property, eventually producing either an inductive strengthening of the property or a counterexample trace. Our experimental studies show that induction is a powerful tool for generalizing the unreachability of given error states: it can refine away many states at once, and it is effective at focusing the proof search on aspects of the transition system relevant to the property. Furthermore, the incremental structure of the algorithm lends itself to a parallel implementation.

  2. Quantum anonymous voting with anonymity check

    NASA Astrophysics Data System (ADS)

    Horoshko, Dmitri; Kilin, Sergei

    2011-02-01

    We propose a new protocol for quantum anonymous voting having serious advantages over the existing protocols: it protects both the voters from a curious tallyman and all the participants from a dishonest voter in unconditional way. The central idea of the protocol is that the ballots are given back to the voters after the voting process, which gives a possibility for two voters to check the anonymity of the vote counting process by preparing a special entangled state of two ballots. Any attempt of cheating from the side of the tallyman results in destroying the entanglement, which can be detected by the voters.

  3. Regular ward checks raise standards of care.

    PubMed

    Dean, Erin

    2012-05-01

    This article reports on the introduction of intentional rounding at University Hospitals Coventry and Warwickshire NHS Trust. The approach was piloted and implemented on the initiative of two nurses in wards that ranged from orthopaedic to general medical. Intentional rounding aims to put patients at the centre of care and consists of checking on their condition at hourly or two-hourly intervals, recording their nutritional status and skin integrity, and asking if they need pain relief or help with eating. The introduction of the approach follows concerns about failures in care highlighted by a number of recent high-profile reports. PMID:22690424

  4. Monitoring Blood Sugar: The Importance of Checking Blood Sugar Levels

    MedlinePlus

    ... Record Keeping The Importance of Checking Blood Sugar Levels Besides helping to keep blood sugar levels (also ... sugar levels. continue How to Check Blood Sugar Levels Blood glucose testing is easier, less painful, and ...

  5. Dynamically stable check valve concept for wide flow range

    NASA Technical Reports Server (NTRS)

    Absalom, J. G.

    1968-01-01

    Poppet-type check valve design accommodates a wide flow range without the usual chatter problem at low flow conditions. This pressure isolation check valve is proposed for the J-2 rocket pneumatic package.

  6. Three quarter view of traffic check house, looking northwest ...

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

    Three quarter view of traffic check house, looking northwest - Offutt Air Force Base, Strategic Air Command Headquarters & Command Center, Traffic Check House, Mercury Avenue between D-Wing & E-Wing, Bellevue, Sarpy County, NE

  7. Space shuttle prototype check valve development

    NASA Technical Reports Server (NTRS)

    Tellier, G. F.

    1976-01-01

    Contaminant-resistant seal designs and a dynamically stable prototype check valve for the orbital maneuvering and reaction control helium pressurization systems of the space shuttle were developed. Polymer and carbide seal models were designed and tested. Perfluoroelastomers compatible with N2O4 and N2H4 types were evaluated and compared with Teflon in flat and captive seal models. Low load sealing and contamination resistance tests demonstrated cutter seal superiority over polymer seals. Ceramic and carbide materials were evaluated for N2O4 service using exposure to RFNA as a worst case screen; chemically vapor deposited tungsten carbide was shown to be impervious to the acid after 6 months immersion. A unique carbide shell poppet/cutter seat check valve was designed and tested to demonstrate low cracking pressure ( 2.0 psid), dynamic stability under all test bench flow conditions, contamination resistance (0.001 inch CRES wires cut with 1.5 pound seat load) and long life of 100,000 cycles (leakage 1.0 scc/hr helium from 0.1 to 400 psig).

  8. Checking in: an analysis of the (lack of) body checking in women's ice hockey.

    PubMed

    Weaving, Charlene; Roberts, Samuel

    2012-09-01

    Despite the growing popularity of women's ice hockey in North America, players continue to face limitations because of the prohibition of body checking. In this paper we argue from a liberal feminist philosophical perspective that this prohibition reinforces existing traditional stereotypes of female athletes. Because the women's game does not incorporate checking, female ice hockey players are not afforded the same opportunity to flourish as men and experience bodily agency, which results in continued male domination of the game, therefore, indirectly reinforcing a gender hierarchy in hockey and society. PMID:22978197

  9. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... checks. Bubble through water at room temperature a CO2 span gas having a concentration of between 80... quench check. The two gases of concern for CLD (and HCLD) analyzers are CO2 and water vapor. Quench... analyzer CO 2 quench check. (i) Pass a CO2 span gas having a concentration of 80 percent to 100 percent...

  10. 30 CFR 77.309 - Visual check of system equipment.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Visual check of system equipment. 77.309 Section 77.309 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE... COAL MINES Thermal Dryers § 77.309 Visual check of system equipment. Frequent visual checks shall...

  11. 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...

  12. 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...

  13. 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...

  14. 30 CFR 77.309 - Visual check of system equipment.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Visual check of system equipment. 77.309 Section 77.309 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE... COAL MINES Thermal Dryers § 77.309 Visual check of system equipment. Frequent visual checks shall...

  15. 11 CFR 9038.6 - Stale-dated committee checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 11 Federal Elections 1 2010-01-01 2010-01-01 false Stale-dated committee checks. 9038.6 Section... PRIMARY MATCHING FUND EXAMINATIONS AND AUDITS § 9038.6 Stale-dated committee checks. If the committee has checks outstanding to creditors or contributors that have not been cashed, the committee shall notify...

  16. 11 CFR 9007.6 - Stale-dated committee checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 11 Federal Elections 1 2010-01-01 2010-01-01 false Stale-dated committee checks. 9007.6 Section... ELECTION FINANCING EXAMINATIONS AND AUDITS; REPAYMENTS § 9007.6 Stale-dated committee checks. If the committee has checks outstanding to creditors or contributors that have not been cashed, the committee...

  17. 12 CFR 229.52 - Substitute check warranties.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 12 Banks and Banking 3 2012-01-01 2012-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 SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  18. 12 CFR 229.52 - Substitute check warranties.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 12 Banks and Banking 3 2014-01-01 2014-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 SYSTEM (CONTINUED) AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  19. 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 SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  20. 12 CFR 229.53 - Substitute check indemnity.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Substitute check indemnity. 229.53 Section 229.53 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  1. 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 RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Collection of Checks §...

  2. 12 CFR 229.53 - Substitute check indemnity.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 12 Banks and Banking 3 2012-01-01 2012-01-01 false Substitute check indemnity. 229.53 Section 229.53 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  3. 12 CFR 229.53 - Substitute check indemnity.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 12 Banks and Banking 3 2013-01-01 2013-01-01 false Substitute check indemnity. 229.53 Section 229.53 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM (CONTINUED) AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  4. 12 CFR 229.36 - Presentment and issuance of checks.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 12 Banks and Banking 3 2011-01-01 2011-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 RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Collection of Checks §...

  5. 12 CFR 229.52 - Substitute check warranties.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 12 Banks and Banking 3 2013-01-01 2013-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 SYSTEM (CONTINUED) AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  6. 12 CFR 229.53 - Substitute check indemnity.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 12 Banks and Banking 3 2014-01-01 2014-01-01 false Substitute check indemnity. 229.53 Section 229.53 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM (CONTINUED) AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  7. 12 CFR 229.36 - Presentment and issuance of checks.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 12 Banks and Banking 3 2012-01-01 2012-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 RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Collection of Checks §...

  8. 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 SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  9. 12 CFR 229.53 - Substitute check indemnity.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 12 Banks and Banking 3 2011-01-01 2011-01-01 false Substitute check indemnity. 229.53 Section 229.53 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks §...

  10. Check & Connect: A Comprehensive Student Engagement Intervention Manual

    ERIC Educational Resources Information Center

    Christenson, Sandra L.; Thurlow, Martha L.; Sinclair, Mary F.; Lehr, Camilla A.; Kaibel, Colleen M.; Reschly, Amy L.; Mavis, Ann; Pohl, Angie

    2008-01-01

    Check & Connect was created in a five year period from 1990 to 1995. The original manual, entitled "Keeping Kids in School: Using Check & Connect for Dropout Prevention" and written by David Evelo, Mary Sinclair, Christine Hurley, Sandra Christenson, and Martha Thurlow, was published in 1996 (ED398701). This newly revised Check & Connect manual…

  11. 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...

  12. 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...

  13. 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...

  14. 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...

  15. 40 CFR 86.327-79 - Quench checks; NOX analyzer.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Quench checks; NOX analyzer. (a) Perform the reaction chamber quench check for each model of high vacuum reaction chamber analyzer prior to initial use. (b) Perform the reaction chamber quench check for each new analyzer that has an ambient pressure or “soft vacuum” reaction chamber prior to initial use....

  16. 40 CFR 86.327-79 - Quench checks; NOX analyzer.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Quench checks; NOX analyzer. (a) Perform the reaction chamber quench check for each model of high vacuum reaction chamber analyzer prior to initial use. (b) Perform the reaction chamber quench check for each new analyzer that has an ambient pressure or “soft vacuum” reaction chamber prior to initial use....

  17. 25 CFR 111.3 - Payments by check.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 25 Indians 1 2014-04-01 2014-04-01 false Payments by check. 111.3 Section 111.3 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR FINANCIAL ACTIVITIES ANNUITY AND OTHER PER CAPITA PAYMENTS § 111.3 Payments by check. All payments should be made by check. In making payments to competent...

  18. 48 CFR 22.406-7 - Compliance checking.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 48 Federal Acquisition Regulations System 1 2014-10-01 2014-10-01 false Compliance checking. 22... Involving Construction 22.406-7 Compliance checking. (a) General. The contracting officer shall make checks and investigations on all contracts covered by this subpart as may be necessary to ensure...

  19. 40 CFR 90.324 - Analyzer leakage check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Provisions § 90.324 Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for the portion of the system being...

  20. 40 CFR 90.324 - Analyzer leakage check.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... Provisions § 90.324 Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for the portion of the system being...

  1. 40 CFR 90.324 - Analyzer leakage check.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... Provisions § 90.324 Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for the portion of the system being...

  2. 40 CFR 90.324 - Analyzer leakage check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Provisions § 90.324 Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for the portion of the system being...

  3. 40 CFR 90.324 - Analyzer leakage check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Provisions § 90.324 Analyzer leakage check. (a) Vacuum side leak check. (1) Check any location within the analysis system where a vacuum leak could affect the test results. (2) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for the portion of the system being...

  4. 32 CFR 809a.1 - Random installation entry point checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 32 National Defense 6 2010-07-01 2010-07-01 false Random installation entry point checks. 809a.1... Entry Policy § 809a.1 Random installation entry point checks. The installation commander determines when, where, and how to implement random checks of vehicles or pedestrians. The commander conducts...

  5. Testing Intelligently Includes Double-Checking Wechsler IQ Scores

    ERIC Educational Resources Information Center

    Kuentzel, Jeffrey G.; Hetterscheidt, Lesley A.; Barnett, Douglas

    2011-01-01

    The rigors of standardized testing make for numerous opportunities for examiner error, including simple computational mistakes in scoring. Although experts recommend that test scoring be double-checked, the extent to which independent double-checking would reduce scoring errors is not known. A double-checking procedure was established at a…

  6. 45 CFR 201.70 - Treatment of replacement checks.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... claimed, pursuant to 45 CFR 201.67(d); or (3) The earlier check has been cashed and FFP has been refunded... 45 Public Welfare 2 2013-10-01 2012-10-01 true Treatment of replacement checks. 201.70 Section 201... STATES FOR PUBLIC ASSISTANCE PROGRAMS Review and Audits § 201.70 Treatment of replacement checks....

  7. 45 CFR 201.70 - Treatment of replacement checks.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... claimed, pursuant to 45 CFR 201.67(d); or (3) The earlier check has been cashed and FFP has been refunded... 45 Public Welfare 2 2012-10-01 2012-10-01 false Treatment of replacement checks. 201.70 Section... STATES FOR PUBLIC ASSISTANCE PROGRAMS Review and Audits § 201.70 Treatment of replacement checks....

  8. 45 CFR 201.70 - Treatment of replacement checks.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... claimed, pursuant to 45 CFR 201.67(d); or (3) The earlier check has been cashed and FFP has been refunded... 45 Public Welfare 2 2010-10-01 2010-10-01 false Treatment of replacement checks. 201.70 Section... STATES FOR PUBLIC ASSISTANCE PROGRAMS Review and Audits § 201.70 Treatment of replacement checks....

  9. Check all SCHE Supply Purge Check Valves to Prevent Back Flow from SCHE into Helium Supply

    SciTech Connect

    MISKA, C.R.

    2000-10-23

    These valves are 1/2-inch check valves used to prevent SCHe backflow into the Helium System if pressure in the Helium System drops below the pressure of the control valve downstream of the SCHe supply bottles. (14 psig in trains A and B and 2 psig in trains C and D).

  10. Checking in: An Analysis of the (Lack of) Body Checking in Women's Ice Hockey

    ERIC Educational Resources Information Center

    Weaving, Charlene; Roberts, Samuel

    2012-01-01

    Despite the growing popularity of women's ice hockey in North America, players continue to face limitations because of the prohibition of body checking. In this paper, we argue from a liberal feminist philosophical perspective that this prohibition reinforces existing traditional stereotypes of female athletes. Because the women's game does not…

  11. 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…

  12. Automated Environment Generation for Software Model Checking

    NASA Technical Reports Server (NTRS)

    Tkachuk, Oksana; Dwyer, Matthew B.; Pasareanu, Corina S.

    2003-01-01

    A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are fundamentally open since their behavior is dependent on patterns of invocation of system components and values defined outside the system but referenced within the system. Whether reasoning about the behavior of whole programs or about program components, an abstract model of the environment can be essential in enabling sufficiently precise yet tractable verification. In this paper, we describe an approach to generating environments of Java program fragments. This approach integrates formally specified assumptions about environment behavior with sound abstractions of environment implementations to form a model of the environment. The approach is implemented in the Bandera Environment Generator (BEG) which we describe along with our experience using BEG to reason about properties of several non-trivial concurrent Java programs.

  13. 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. The Mars Science Laboratory Organic Check Material

    NASA Technical Reports Server (NTRS)

    Conrad, Pamela G.; Eigenbrode, J. E.; Mogensen, C. T.; VonderHeydt, M. O.; Glavin, D. P.; Mahaffy, P. M.; Johnson, J. A.

    2011-01-01

    The Organic Check Material (OCM) has been developed for use on the Mars Science Laboratory mission to serve as a sample standard for verification of organic cleanliness and characterization of potential sample alteration as a function of the sample acquisition and portioning process on the Curiosity rover. OCM samples will be acquired using the same procedures for drilling, portioning and delivery as are used to study martian samples with The Sample Analysis at Mars (SAM) instrument suite during MSL surface operations. Because the SAM suite is highly sensitive to organic molecules, the mission can better verify the cleanliness of Curiosity's sample acquisition hardware if a known material can be processed through SAM and compared with the results obtained from martian samples.

  15. 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.

  16. Thermodynamic Pressure/Temperature Transducer Health Check

    NASA Technical Reports Server (NTRS)

    Immer, Christopher D. (Inventor); Eckhoff, Anthony (Inventor); Medelius, Pedro J. (Inventor); Deyoe, Richard T. (Inventor); Starr, Stanley O. (Inventor)

    2004-01-01

    A device and procedure for checking the health of a pressure transducer in situ is provided. The procedure includes measuring a fixed change in pressure above ambient pressure and a fixed change in pressure below ambient pressure. This is done by first sealing an enclosed volume around the transducer with a valve. A piston inside the sealed volume is increasing the pressure. A fixed pressure below ambient pressure is obtained by opening the valve, driving the piston The output of the pressure transducer is recorded for both the overpressuring and the underpressuring. By comparing this data with data taken during a preoperative calibration, the health of the transducer is determined from the linearity, the hysteresis, and the repeatability of its output. The further addition of a thermometer allows constant offset error in the transducer output to be determined.

  17. Water system microbial check valve development

    NASA Technical Reports Server (NTRS)

    Colombo, G. V.; Greenley, D. R.; Putnam, D. F.

    1978-01-01

    Development work on a device for the Space Shuttle that will prevent the transfer of viable microorganisms within water systems is described. The device serves as a check valve in that it prevents the transfer or cross-contamination of microorganisms from a nonpotable system into a potable water system when these systems are interconnected. In this regard, the function of the device is similar to that of the air gap found in conventional one gravity systems. The device is essentially a bed of resin material impregnated with iodine. Basic design data for a variety of flow and temperature conditions are presented, together with results of challenging the beds with suspensions of seven microorganisms including aerobes, anaerobes, and spore formers.

  18. A Dynamic MPI Software Correctness Checking Tool

    2005-10-31

    Umpire is prototype tool developed at LLNL by Bronis R. de Supinski, J. M. May, Martin Schulz and Jeffery Vetter as part of the ASDE TRTS project for detecting programming errors at runtime in message passing applications. Umpire monitors the MPI operations of an application by interposing itself between the application and the MPI runtime system using the MPI profiling layer. Umpire then checks the application’s MPI behavior for specific errors. Umpire detects errors thatmore » are local to individual MPI tasks, including resource errors (e.g., leaks of MPI datatypes and other opaque objects) and overwrites of non-blocking send buffers. It also detects distributed errors, including deadlocks involving any MPI-1 constructs and datatype mismatches between matching communication operations.« less

  19. 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.

  20. Body checking and avoidance in ethnically diverse female college students.

    PubMed

    White, Emily K; Warren, Cortney S

    2013-09-01

    Although body checking and avoidance behaviors are common in women with eating disorders, minimal research has examined the nature or correlates of these behaviors in ethnically diverse female college students without eating disorders. Self-identified European American (n=268), Asian American (n=163), Latina (n=146), and African American (n=73) women completed self-report measures of body checking and avoidance, thin-ideal internalization, eating pathology, and clinical impairment. Results indicated that European and Asian American women reported significantly more body checking and avoidance than African American and Latina women. Generally, correlates of body checking and avoidance were consistent across ethnic groups: Regression analyses indicated that type of ethnicity predicted body checking and avoidance; and ethnicity, body checking, and body avoidance predicted eating pathology and clinical impairment. These associations suggest that body checking and avoidance are not benign behaviors in diverse nonclinical women. PMID:23684944

  1. Using chemical organization theory for model checking

    PubMed Central

    Kaleta, Christoph; Richter, Stephan; Dittrich, Peter

    2009-01-01

    Motivation: The increasing number and complexity of biomodels makes automatic procedures for checking the models' properties and quality necessary. Approaches like elementary mode analysis, flux balance analysis, deficiency analysis and chemical organization theory (OT) require only the stoichiometric structure of the reaction network for derivation of valuable information. In formalisms like Systems Biology Markup Language (SBML), however, information about the stoichiometric coefficients required for an analysis of chemical organizations can be hidden in kinetic laws. Results: First, we introduce an algorithm that uncovers stoichiometric information that might be hidden in the kinetic laws of a reaction network. This allows us to apply OT to SBML models using modifiers. Second, using the new algorithm, we performed a large-scale analysis of the 185 models contained in the manually curated BioModels Database. We found that for 41 models (22%) the set of organizations changes when modifiers are considered correctly. We discuss one of these models in detail (BIOMD149, a combined model of the ERK- and Wnt-signaling pathways), whose set of organizations drastically changes when modifiers are considered. Third, we found inconsistencies in 5 models (3%) and identified their characteristics. Compared with flux-based methods, OT is able to identify those species and reactions more accurately [in 26 cases (14%)] that can be present in a long-term simulation of the model. We conclude that our approach is a valuable tool that helps to improve the consistency of biomodels and their repositories. Availability: All data and a JAVA applet to check SBML-models is available from http://www.minet.uni-jena.de/csb/prj/ot/tools Contact: dittrich@minet.uni-jena.de Supplementary information: Supplementary data are available at Bioinformatics online. PMID:19468053

  2. Safety and Efficacy of At-Home Robotic Locomotion Therapy in Individuals with Chronic Incomplete Spinal Cord Injury: A Prospective, Pre-Post Intervention, Proof-of-Concept Study

    PubMed Central

    Rupp, Rüdiger; Schließmann, Daniel; Plewa, Harry; Schuld, Christian; Gerner, Hans Jürgen; Weidner, Norbert; Hofer, Eberhard P.; Knestel, Markus

    2015-01-01

    Background The compact Motorized orthosis for home rehabilitation of Gait (MoreGait) was developed for continuation of locomotion training at home. MoreGait generates afferent stimuli of walking with the user in a semi-supine position and provides feedback about deviations from the reference walking pattern. Objective Prospective, pre-post intervention, proof-of-concept study to test the feasibility of an unsupervised home-based application of five MoreGait prototypes in subjects with incomplete spinal cord injury (iSCI). Methods Twenty-five (5 tetraplegia, 20 paraplegia) participants with chronic (mean time since injury: 5.8 ± 5.4 (standard deviation, SD) years) sensorimotor iSCI (7 ASIA Impairment Scale (AIS) C, 18 AIS D; Walking Index for Spinal Cord Injury (WISCI II): Interquartile range 9 to 16) completed the training (45 minutes / day, at least 4 days / week, 8 weeks). Baseline status was documented 4 and 2 weeks before and at training onset. Training effects were assessed after 4 and 8 weeks of therapy. Results After therapy, 9 of 25 study participants improved with respect to the dependency on walking aids assessed by the WISCI II. For all individuals, the short-distance walking velocity measured by the 10-Meter Walk Test showed significant improvements compared to baseline (100%) for both self-selected (Mean 139.4% ± 35.5% (SD)) and maximum (Mean 143.1% ± 40.6% (SD)) speed conditions as well as the endurance estimated with the six-minute walk test (Mean 166.6% ± 72.1% (SD)). One device-related adverse event (pressure sore on the big toe) occurred in over 800 training sessions. Conclusions Home-based robotic locomotion training with MoreGait is feasible and safe. The magnitude of functional improvements achieved by MoreGait in individuals with iSCI is well within the range of complex locomotion robots used in hospitals. Thus, unsupervised MoreGait training potentially represents an option to prolong effective training aiming at recovery of locomotor

  3. Effective ambiguity checking in biosequence analysis

    PubMed Central

    Reeder, Janina; Steffen, Peter; Giegerich, Robert

    2005-01-01

    Background Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of RNA secondary structures with stochastic context free grammars. Several types of analysis are invalidated by the presence of ambiguity. As this problem inherits undecidability (as we show here) from the namely problem for context free languages, there is no complete algorithmic solution to the problem of ambiguity checking. Results We explain frequently observed sources of ambiguity, and show how to avoid them. We suggest four testing procedures that may help to detect ambiguity when present, including a just-in-time test that permits to work safely with a potentially ambiguous grammar. We introduce, for the special case of stochastic context free grammars and RNA structure modeling, an automated partial procedure for proving non-ambiguity. It is used to demonstrate non-ambiguity for several relevant grammars. Conclusion Our mechanical proof procedure and our testing methods provide a powerful arsenal of methods to ensure non-ambiguity. PMID:15967024

  4. Analyzing Mode Confusion via Model Checking

    NASA Technical Reports Server (NTRS)

    Luettgen, Gerald; Carreno, Victor

    1999-01-01

    Mode confusion is one of the most serious problems in aviation safety. Today's complex digital flight decks make it difficult for pilots to maintain awareness of the actual states, or modes, of the flight deck automation. NASA Langley leads an initiative to explore how formal techniques can be used to discover possible sources of mode confusion. As part of this initiative, a flight guidance system was previously specified as a finite Mealy automaton, and the theorem prover PVS was used to reason about it. The objective of the present paper is to investigate whether state-exploration techniques, especially model checking, are better able to achieve this task than theorem proving and also to compare several verification tools for the specific application. The flight guidance system is modeled and analyzed in Murphi, SMV, and Spin. The tools are compared regarding their system description language, their practicality for analyzing mode confusion, and their capabilities for error tracing and for animating diagnostic information. It turns out that their strengths are complementary.

  5. Trapping efficiency of three types check dams experiment

    NASA Astrophysics Data System (ADS)

    Huang, Hui-Kai; CHEN, Su-Chin; AN, Hsuan-Pei

    2015-04-01

    The check dams constructed to trap debris flow. This study divide check dams into three types as closed-type check dam, slit dam, and modular steel check dam. Closed-type check dam which can trap all kind of sediment or driftwood. Slit check dam is permeable dam, so it can prevent from depositing all of sediment or driftwood. A modular steel check dam improves the existing hard-to-change disadvantages of slit dam structure. The assembling of longitudinal and transverse beams can be constructed independently, and then it could be freely configured to form a flexibly adjustable modular steel check dam. This study used the laws of geometric similitude to design model of dam. To explore the trapping mechanisms and phenomenon in different dismantle transverse beams conditions and compared the trapping efficiency with different type of check dams. This study used different volume ratio with driftwood and sediment. In order to capture the trace of debris flow and calculate accuracy velocity of debris flow the study used several high-speed photography combining the method of 3D Remodeling from Motion Structure with Multi-View Stereo which constructed with multiple photos of overlapping coefficient at least 70% and established three-dimensional system of coordinate in laboratory experiment. As a result, the driftwood deposition rate of modular steel check dam increase 60% than slit dam and 40% than closed-type dam; the debris deposition rate increase 30% than slit dam. In addition, the increment of driftwood volume ratio led to the increment of trapping efficiency of three type of check dams. Meanwhile slit dam is the most effective type in trapping driftwood and sediment with more than 50% of increased rate, because of more driftwood flow through the slit dam jam together easily. Finally, transverse beams which installed the modular steel check dam can suppress the upward movement of driftwood, therefore driftwood can easily form the arched stacking efficiency with

  6. A general check standard measurement and database software program

    SciTech Connect

    Duda, L.E.

    1998-04-01

    One way to verify that a measurement system remains under control and is functioning as expected is to use check standards. To aid in the measurement assurance process using check standards, a software program was developed that allows the user to enter measurements for a check standard and compare, by control charts plotted on the computer monitor, the new measurements with a historical database of measurements of the same device. The program is especially suited for check standards which are measured as a function of another parameter such as frequency, voltage, temperature, etc. This paper describes the software function and discusses its capabilities and applications.

  7. Verifying Multi-Agent Systems via Unbounded Model Checking

    NASA Technical Reports Server (NTRS)

    Kacprzak, M.; Lomuscio, A.; Lasica, T.; Penczek, W.; Szreter, M.

    2004-01-01

    We present an approach to the problem of verification of epistemic properties in multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend the technique of unbounded model checking from a purely temporal setting to a temporal-epistemic one. In order to achieve this, we base our discussion on interpreted systems semantics, a popular semantics used in multi-agent systems literature. We give details of the technique and show how it can be applied to the well known train, gate and controller problem. Keywords: model checking, unbounded model checking, multi-agent systems

  8. 11 CFR 9008.16 - Stale-dated committee checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... ELECTION FINANCING FEDERAL FINANCING OF PRESIDENTIAL NOMINATING CONVENTIONS Expenditures by National Committees and Convention Committees § 9008.16 Stale-dated committee checks. If the committee has...

  9. 32 CFR Attachment A to Subpart B... - Standard A-National Agency Check With Local Agency Checks and Credit Check (NACLC)

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Access Programs by sect. 4.4 of Executive Order 12958) (60 FR 19825, 3 CFR 1995 Comp., p. 333); (2) “L...) Date and Place of Birth: Corroboration of date and place of birth through a check of...

  10. 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

    ... checks/payments or pension fund checks/payments even though those funds are not specified in § 115.702... May we accept for deposit into a trust account retirement checks/payments or pension fund checks.../payments or pension fund checks/payments or any funds from sources that are not identified in the table...

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

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... checks/payments or pension fund checks/payments even though those funds are not specified in § 115.702... May we accept for deposit into a trust account retirement checks/payments or pension fund checks.../payments or pension fund checks/payments or any funds from sources that are not identified in the table...

  12. Low-Level Prenatal Lead Exposure Alters Auditory Recognition Memory in 2-Month-Old Infants: An Event-Related Potentials (ERPs) Study

    PubMed Central

    Geng, Fengji; Mai, Xiaoqin; Zhan, Jianying; Xu, Lin; Shao, Jie; Meeker, John; Lozoff, Betsy

    2014-01-01

    This study used event-related potentials to assess effects of low-level prenatal lead exposure on auditory recognition memory in 2-month-old infants. Infants were divided into four groups according to cord-blood lead concentration: 1) < 2.00 μg/dL, 2) 2.00-2.99 μg/dL, 3) 3.0-3.7 μg/dL, and 4) ≥ 3.7 μg/dL. The first group showed the normally expected differences in P2, P750, and LSW amplitudes elicited by mothers’ and strangers’ voices. These differences were not observed for one or more ERP components in the other groups. Thus, there was electrophysiological evidence of poorer auditory recognition memory at 2 months with cord-blood lead ≥ 2.00 μg/dL. PMID:25350757

  13. [In-phantom dosimetric measurements as quality control for brachytherapy: System check and constancy check].

    PubMed

    Kollefrath, Michael; Bruggmoser, Gregor; Nanko, Norbert; Gainey, Mark

    2015-06-01

    In brachytherapy dosimetric measurements are difficult due to the inherent dose-inhomogenieties. Typically in routine clincal practice only the nominal dose rate is determined for computer controlled afterloading systems. The region of interest lies close to the source when measuring the spatial dose distribution. In this region small errors in the postioning of the detector, and its finite size, lead to large measurement uncertainties that exacerbate the routine dosimetric control of the system in the clinic. The size of the measurement chamber, its energy dependence, and the directional dependence of the measurement apparatus are the factors which have a significant influence on dosimetry. Although ionisation chambers are relatively large, they are employed since similar chambers are commonly found on clincal brachytherapy units. The dose is determined using DIN 6800 [11] since DIN 6809-2 [12], which deals with dosimetry in brachytherapy, is antiquated and is currently in the process of revision. Further information regarding dosimetry for brachytherapy can be found in textbooks [1] and [2]. The measurements for this work were performed with a HDR (High-Dose-Rate) (192)Ir source, type mHDR V2, and a Microselectron Afterloader V2 both from Nucletron/Elekta. In this work two dosimetric procedures are presented which, despite the aforemention difficulties, should assist in performing checks of the proper operation of the system. The first is a system check that measures the dose distribution along a line and is to be performed when first bringing the afterloader into operation, or after significant changes to the system. The other is a dosimetric constancy check, which with little effort can be performed monhtly or weekly. It simultaneously verifies the positioning of the source at two positions, the functionality of the system clock and the automatic re-calculation of the source activity. PMID:25791738

  14. 40 CFR 89.315 - Analyzer bench checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 20 2010-07-01 2010-07-01 false Analyzer bench checks. 89.315 Section 89.315 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE NONROAD COMPRESSION-IGNITION ENGINES Emission Test Equipment Provisions § 89.315 Analyzer bench checks....

  15. 30 CFR 75.1715 - Identification check system.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Identification check system. 75.1715 Section 75.1715 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY SAFETY STANDARDS-UNDERGROUND COAL MINES Miscellaneous § 75.1715 Identification check system. Each operator of a coal mine...

  16. 30 CFR 75.1715 - Identification check system.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Identification check system. 75.1715 Section 75.1715 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY SAFETY STANDARDS-UNDERGROUND COAL MINES Miscellaneous § 75.1715 Identification check system. Each operator of a coal mine...

  17. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... sampling system at the sample probe or valve V2 at atmospheric pressure. Simultaneously, start the time...) Leak check of the pressure side of the system (see paragraph (b) of this section). If the option described in paragraph (b)(2) of this section is used, a pressure leak check is not required....

  18. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... sampling system at the sample probe or valve V2 at atmospheric pressure. Simultaneously, start the time...) Leak check of the pressure side of the system (see paragraph (b) of this section). If the option described in paragraph (b)(2) of this section is used, a pressure leak check is not required....

  19. 42 CFR 60.52 - The student's loan check.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 1 2010-10-01 2010-10-01 false The student's loan check. 60.52 Section 60.52 Public Health PUBLIC HEALTH SERVICE, DEPARTMENT OF HEALTH AND HUMAN SERVICES GRANTS HEALTH EDUCATION ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a...

  20. 42 CFR 60.52 - The student's loan check.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 42 Public Health 1 2011-10-01 2011-10-01 false The student's loan check. 60.52 Section 60.52 Public Health PUBLIC HEALTH SERVICE, DEPARTMENT OF HEALTH AND HUMAN SERVICES GRANTS HEALTH EDUCATION ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a...

  1. 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...

  2. 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 240.12 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE FISCAL SERVICE INDORSEMENT AND PAYMENT OF CHECKS DRAWN ON THE UNITED STATES TREASURY General...

  3. 40 CFR 92.120 - NDIR analyzer calibration and checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 20 2011-07-01 2011-07-01 false NDIR analyzer calibration and checks. 92.120 Section 92.120 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF AIR POLLUTION FROM LOCOMOTIVES AND LOCOMOTIVE ENGINES Test Procedures § 92.120 NDIR analyzer calibration and checks....

  4. A voice-actuated wind tunnel model leak checking system

    NASA Technical Reports Server (NTRS)

    Larson, W. E.

    1985-01-01

    A voice-actuated wind tunnel model leak checking system was developed. The system uses a voice recognition and response unit to interact with the technician along with a graphics terminal to provide the technician with visual feedback while checking a model for leaks.

  5. 12 CFR 229.51 - General provisions governing substitute checks.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 12 Banks and Banking 3 2014-01-01 2014-01-01 false General provisions governing substitute checks. 229.51 Section 229.51 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM (CONTINUED) AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION...

  6. 12 CFR 229.51 - General provisions governing substitute checks.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 12 Banks and Banking 3 2011-01-01 2011-01-01 false General provisions governing substitute checks. 229.51 Section 229.51 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute...

  7. 12 CFR 229.51 - General provisions governing substitute checks.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 12 Banks and Banking 3 2013-01-01 2013-01-01 false General provisions governing substitute checks. 229.51 Section 229.51 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM (CONTINUED) AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION...

  8. 12 CFR 229.51 - General provisions governing substitute checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false General provisions governing substitute checks. 229.51 Section 229.51 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute...

  9. 12 CFR 229.36 - Presentment and issuance of checks.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 12 Banks and Banking 3 2013-01-01 2013-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 RESERVE SYSTEM (CONTINUED) AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Collection...

  10. 12 CFR 229.36 - Presentment and issuance of checks.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 12 Banks and Banking 3 2014-01-01 2014-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 RESERVE SYSTEM (CONTINUED) AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Collection...

  11. 12 CFR 229.51 - General provisions governing substitute checks.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 12 Banks and Banking 3 2012-01-01 2012-01-01 false General provisions governing substitute checks. 229.51 Section 229.51 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute...

  12. Check & Connect. What Works Clearinghouse Intervention Report. Updated May 2015

    ERIC Educational Resources Information Center

    What Works Clearinghouse, 2015

    2015-01-01

    "Check & Connect" aims to help students stay in school by continually monitoring school performance and providing individualized attention through mentoring, case management, and other supports. In 2006, the WWC published a systematic review of all the studies that examined the impact of "Check & Connect" on high school…

  13. 31 CFR 10.31 - Negotiation of taxpayer checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... INTERNAL REVENUE SERVICE Duties and Restrictions Relating to Practice Before the Internal Revenue Service § 10.31 Negotiation of taxpayer checks. A practitioner who prepares tax returns may not endorse or otherwise negotiate any check issued to a client by the government in respect of a Federal tax liability....

  14. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... checks. Bubble through water at room temperature a CO2 span gas having a concentration of between 80... analyzer CO 2 quench check. (i) Pass a CO2 span gas having a concentration of 80 percent to 100 percent of... the value “a.” (ii) Dilute the CO2 span gas approximately 50 percent with NO span gas and pass...

  15. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... checks. Bubble through water at room temperature a CO2 span gas having a concentration of between 80... analyzer CO 2 quench check. (i) Pass a CO2 span gas having a concentration of 80 percent to 100 percent of... the value “a.” (ii) Dilute the CO2 span gas approximately 50 percent with NO span gas and pass...

  16. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... checks. Bubble through water at room temperature a CO2 span gas having a concentration of between 80... analyzer CO 2 quench check. (i) Pass a CO2 span gas having a concentration of 80 percent to 100 percent of... the value “a.” (ii) Dilute the CO2 span gas approximately 50 percent with NO span gas and pass...

  17. 14 CFR Appendix F to Part 121 - Proficiency Check Requirements

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... attitude in accordance with procedures and limitations contained in the approved Airplane Flight Manual, the certificate holder's operations Manual, check lists, or other approved material appropriate to the...) The appropriate provisions of the approved Airplane Flight Manual The person conducting the check...

  18. 40 CFR 89.315 - Analyzer bench checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 21 2012-07-01 2012-07-01 false Analyzer bench checks. 89.315 Section 89.315 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE NONROAD COMPRESSION-IGNITION ENGINES Emission Test Equipment Provisions § 89.315 Analyzer bench checks....

  19. 40 CFR 91.323 - Analyzer bench checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 21 2012-07-01 2012-07-01 false Analyzer bench checks. 91.323 Section 91.323 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Emission Test Equipment Provisions § 91.323 Analyzer bench checks. (a) Prior to initial...

  20. 31 CFR 245.7 - Check status inquiry.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Check status inquiry. 245.7 Section 245.7 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE FISCAL SERVICE CLAIMS ON ACCOUNT OF TREASURY CHECKS § 245.7...

  1. 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...

  2. 40 CFR 90.319 - NOX converter check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 20 2011-07-01 2011-07-01 false NOX converter check. 90.319 Section 90... Provisions § 90.319 NOX converter check. (a) The efficiency of the converter used for the conversion of NO2... percent of the NO concentration). The NOX analyzer must be in the NO mode so that the span gas does...

  3. 40 CFR 89.317 - NOX converter check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 20 2010-07-01 2010-07-01 false NOX converter check. 89.317 Section 89... Provisions § 89.317 NOX converter check. (a) Prior to its introduction into service, and monthly thereafter... of the NOX generator to the sample inlet of the oxides of nitrogen analyzer which has been set to...

  4. 40 CFR 89.317 - NOX converter check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 20 2011-07-01 2011-07-01 false NOX converter check. 89.317 Section 89... Provisions § 89.317 NOX converter check. (a) Prior to its introduction into service, and monthly thereafter... of the NOX generator to the sample inlet of the oxides of nitrogen analyzer which has been set to...

  5. 40 CFR 90.319 - NOX converter check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 20 2010-07-01 2010-07-01 false NOX converter check. 90.319 Section 90... Provisions § 90.319 NOX converter check. (a) The efficiency of the converter used for the conversion of NO2... percent of the NO concentration). The NOX analyzer must be in the NO mode so that the span gas does...

  6. 19 CFR 111.41 - Endorsement of checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 19 Customs Duties 1 2010-04-01 2010-04-01 false Endorsement of checks. 111.41 Section 111.41 Customs Duties U.S. CUSTOMS AND BORDER PROTECTION, DEPARTMENT OF HOMELAND SECURITY; DEPARTMENT OF THE TREASURY CUSTOMS BROKERS Duties and Responsibilities of Customs Brokers § 111.41 Endorsement of checks....

  7. 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... SERVICES (CONTINUED) STANDARDS AND CERTIFICATION LABORATORY REQUIREMENTS Quality System for Nonwaived Testing Analytic Systems § 493.1254 Standard: Maintenance and function checks. (a) Unmodified...

  8. 42 CFR 493.1254 - Standard: Maintenance and function checks.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 42 Public Health 5 2012-10-01 2012-10-01 false Standard: Maintenance and function checks. 493.1254... SERVICES (CONTINUED) STANDARDS AND CERTIFICATION LABORATORY REQUIREMENTS Quality System for Nonwaived Testing Analytic Systems § 493.1254 Standard: Maintenance and function checks. (a) Unmodified...

  9. 16 CFR 240.12 - Checking customer's use of payments.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 16 Commercial Practices 1 2010-01-01 2010-01-01 false Checking customer's use of payments. 240.12 Section 240.12 Commercial Practices FEDERAL TRADE COMMISSION GUIDES AND TRADE PRACTICE RULES GUIDES FOR ADVERTISING ALLOWANCES AND OTHER MERCHANDISING PAYMENTS AND SERVICES § 240.12 Checking customer's use...

  10. 16 CFR 240.12 - Checking customer's use of payments.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 16 Commercial Practices 1 2011-01-01 2011-01-01 false Checking customer's use of payments. 240.12 Section 240.12 Commercial Practices FEDERAL TRADE COMMISSION GUIDES AND TRADE PRACTICE RULES GUIDES FOR ADVERTISING ALLOWANCES AND OTHER MERCHANDISING PAYMENTS AND SERVICES § 240.12 Checking customer's use...

  11. 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 GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  12. 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 SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  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 SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  14. 36 CFR 504.12 - 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. 504.12 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...

  15. 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 SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  16. Astronaut John Glenn checks the Friendship 7 spacecraft after landing

    NASA Technical Reports Server (NTRS)

    1962-01-01

    Astronaut John H. Glenn Jr. checks the Friendship 7 spacecraft after completing three orbits around the earth. The destroyer Noa picked up Glenn and the spacecraft 21 minutes after landing. A technician inside the spacecraft checks the interior for any damage.

  17. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 26 Internal Revenue 18 2013-04-01 2013-04-01 false Bad checks. 301.6657-1 Section 301.6657-1 Internal Revenue INTERNAL REVENUE SERVICE, DEPARTMENT OF THE TREASURY (CONTINUED) PROCEDURE AND... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided...

  18. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 26 Internal Revenue 18 2011-04-01 2011-04-01 false Bad checks. 301.6657-1 Section 301.6657-1 Internal Revenue INTERNAL REVENUE SERVICE, DEPARTMENT OF THE TREASURY (CONTINUED) PROCEDURE AND... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided...

  19. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 26 Internal Revenue 18 2010-04-01 2010-04-01 false Bad checks. 301.6657-1 Section 301.6657-1 Internal Revenue INTERNAL REVENUE SERVICE, DEPARTMENT OF THE TREASURY (CONTINUED) PROCEDURE AND... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided...

  20. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 26 Internal Revenue 18 2012-04-01 2012-04-01 false Bad checks. 301.6657-1 Section 301.6657-1 Internal Revenue INTERNAL REVENUE SERVICE, DEPARTMENT OF THE TREASURY (CONTINUED) PROCEDURE AND... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided...

  1. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 26 Internal Revenue 18 2014-04-01 2014-04-01 false Bad checks. 301.6657-1 Section 301.6657-1 Internal Revenue INTERNAL REVENUE SERVICE, DEPARTMENT OF THE TREASURY (CONTINUED) PROCEDURE AND... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided...

  2. 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 240.12 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE INDORSEMENT AND PAYMENT OF CHECKS DRAWN ON THE UNITED STATES TREASURY General...

  3. 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...

  4. 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...

  5. 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... 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...

  6. 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...

  7. 40 CFR 90.319 - NOX converter check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 21 2012-07-01 2012-07-01 false NOX converter check. 90.319 Section 90...) CONTROL OF EMISSIONS FROM NONROAD SPARK-IGNITION ENGINES AT OR BELOW 19 KILOWATTS Emission Test Equipment Provisions § 90.319 NOX converter check. (a) The efficiency of the converter used for the conversion of...

  8. 40 CFR 89.317 - NOX converter check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 21 2012-07-01 2012-07-01 false NOX converter check. 89.317 Section 89...) CONTROL OF EMISSIONS FROM NEW AND IN-USE NONROAD COMPRESSION-IGNITION ENGINES Emission Test Equipment Provisions § 89.317 NOX converter check. (a) Prior to its introduction into service, and monthly...

  9. 40 CFR 90.323 - Analyzer bench checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 20 2011-07-01 2011-07-01 false Analyzer bench checks. 90.323 Section 90.323 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED... Provisions § 90.323 Analyzer bench checks. (a) Prior to initial use and after major repairs, verify that...

  10. Checking for Understanding: Formative Assessment Techniques for Your Classroom

    ERIC Educational Resources Information Center

    Fisher, Douglas; Frey, Nancy

    2007-01-01

    If you ever have students who are reluctant to tell you when they don't understand something--or worse, tell you they understand when they really don't--then here's a book that gives you lots of ways to check for understanding. Learn why typical methods to check for understanding are usually ineffective. And explore formative assessment techniques…

  11. 32 CFR 809a.1 - Random installation entry point checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 32 National Defense 6 2011-07-01 2011-07-01 false Random installation entry point checks. 809a.1 Section 809a.1 National Defense Department of Defense (Continued) DEPARTMENT OF THE AIR FORCE... Entry Policy § 809a.1 Random installation entry point checks. The installation commander determines...

  12. 14 CFR 91.1051 - Pilot safety background check.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 14 Aeronautics and Space 2 2012-01-01 2012-01-01 false Pilot safety background check. 91.1051 Section 91.1051 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION... Operations Program Management § 91.1051 Pilot safety background check. Within 90 days of an...

  13. 14 CFR 91.1051 - Pilot safety background check.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 14 Aeronautics and Space 2 2013-01-01 2013-01-01 false Pilot safety background check. 91.1051 Section 91.1051 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION... Operations Program Management § 91.1051 Pilot safety background check. Within 90 days of an...

  14. 14 CFR 91.1051 - Pilot safety background check.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 14 Aeronautics and Space 2 2014-01-01 2014-01-01 false Pilot safety background check. 91.1051 Section 91.1051 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION... Operations Program Management § 91.1051 Pilot safety background check. Within 90 days of an...

  15. Assessing the Implementation Fidelity of Check-In Check-Out Behavioral Interventions in Elementary and Middle Schools

    ERIC Educational Resources Information Center

    Ruiz, María Isolina; Smith, Traci N.; Naquin, Gale M.; Morgan-D'Atrio, Cynthia; Dellinger, Amy B.

    2014-01-01

    Implementation fidelity is crucial to the success of behavioral interventions. However, measuring and maintaining intervention implementation fidelity in schools' natural settings can be challenging. This article reports findings from a study examining the implementation fidelity of check-in check-out interventions at an urban school district…

  16. Adapting a Tier 2 Behavioral Intervention, Check-in/Check-out, to Meet Students' Needs

    ERIC Educational Resources Information Center

    Swoszowski, Nicole Cain

    2014-01-01

    Check-in/check-out (CICO) is a resource-efficient, mentor-based, Tier 2 intervention. Various problem behaviors of students with and without disabilities across traditional and alternative school settings have been impacted positively by CICO. Not all students respond to the traditional, five-step approach, however. This article provides an…

  17. Checking up on Des: My Life My Choice's Research into Annual Health Checks for People with Learning Disabilities in Oxfordshire

    ERIC Educational Resources Information Center

    Michell, Bryan

    2012-01-01

    This is about research an Oxfordshire Self-Advocacy Organisation did into annual health checks for people with learning disabilities. The self-advocates worked with Oxfordshire's Primary Care Health Facilitator and a Professor to find out why only one in four people in our area had a health check in 2009/10 (Emerson & Glover 2010a,b). The article…

  18. Systematic Review of the Check-In, Check-Out Intervention for Students at Risk for Emotional and Behavioral Disorders

    ERIC Educational Resources Information Center

    Hawken, Leanne S.; Bundock, Kaitlin; Kladis, Kristin; O'Keeffe, Breda; Barret, Courtenay A.

    2014-01-01

    The purpose of this systematic literature review was to summarize outcomes of the Check-in Check-out (CICO) intervention across elementary and secondary settings. Twenty-eight studies utilizing both single subject and group (experimental and quasi-experimental) designs were included in this review. Median effect sizes across the eight group…

  19. To Check or Not to Check? A Qualitative Study on How the Public Decides on Health Checks for Cardiovascular Disease Prevention

    PubMed Central

    Cheong, Ai Theng; Khoo, Ee Ming; Tong, Seng Fah; Liew, Su May

    2016-01-01

    Background More than half of the general population does not attend screening for cardiovascular diseases (CVD) hence they are unaware of their risks. The objective of this study was to explore the views and experiences of the public in deciding to undergo health checks for CVD prevention. Methods This was a qualitative study utilising the constructivist grounded theory approach. A total of 31 individuals aged 30 years and above from the community were sampled purposively. Eight interviews and six focus groups were involved, using a semi-structured topic guide. Results A conceptual framework was developed to explain the public’s decision-making process on health check participation for CVD prevention. The intention to participate in health checks was influenced by the interplay between perceived relevance and the individual’s readiness to face the outcome of health checks. Health checks were deemed relevant if people perceived themselves to be at risk of CVD and there was an advantage in knowing their cardiovascular status. People were ready to face the outcome of health checks if they wanted to know the results and were prepared to deal with the subsequent management. The decision to participate in health checks was also influenced by external factors such as the views of significant others, and the accessibility and availability of resources including time and finances. Conclusions The intention to screen for CVD is motivated by two internal factors: the perceived relevance of the disease and readiness to face screening outcomes. Strategies targeting the internal decision-making process may prove to be key in improving the uptake of screening. PMID:27415432

  20. Symbolic LTL Compilation for Model Checking: Extended Abstract

    NASA Technical Reports Server (NTRS)

    Rozier, Kristin Y.; Vardi, Moshe Y.

    2007-01-01

    In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.

  1. Towards an automated checked baggage inspection system augmented with robots

    NASA Astrophysics Data System (ADS)

    DeDonato, Matthew P.; Dimitrov, Velin; Padır, Taskin

    2014-05-01

    We present a novel system for enhancing the efficiency and accuracy of checked baggage screening process at airports. The system requirements address the identification and retrieval of objects of interest that are prohibited in a checked luggage. The automated testbed is comprised of a Baxter research robot designed by Rethink Robotics for luggage and object manipulation, and a down-looking overhead RGB-D sensor for inspection and detection. We discuss an overview of current system implementations, areas of opportunity for improvements, robot system integration challenges, details of the proposed software architecture and experimental results from a case study for identifying various kinds of lighters in checked bags.

  2. Implementing Model-Check for Employee and Management Satisfaction

    NASA Technical Reports Server (NTRS)

    Jones, Corey; LaPha, Steven

    2013-01-01

    This presentation will discuss methods to which ModelCheck can be implemented to not only improve model quality, but also satisfy both employees and management through different sets of quality checks. This approach allows a standard set of modeling practices to be upheld throughout a company, with minimal interaction required by the end user. The presenter will demonstrate how to create multiple ModelCheck standards, preventing users from evading the system, and how it can improve the quality of drawings and models.

  3. 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.

  4. Developmental milestones record - 2 months

    MedlinePlus

    ... room should be bright with pictures and mirrors Toys and objects should be bright colors Read to your baby Talk to your baby about objects and people in his or her environment Hold and comfort you baby if they are upset or crying. ...

  5. Developmental milestones record - 2 months

    MedlinePlus

    ... Clinical Assistant Professor of Pediatrics, University of Washington School of Medicine, Seattle, WA. Also reviewed by David ... M. is also a founding member of Hi-Ethics and subscribes to the principles of the Health ...

  6. 7 CFR 70.55 - Check grading officially identified product.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF POULTRY PRODUCTS AND RABBIT PRODUCTS Grading of Poultry Products and Rabbit... identified poultry or rabbit products may be subject to final check grading prior to their shipment....

  7. 7 CFR 70.55 - Check grading officially identified product.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF POULTRY PRODUCTS AND RABBIT PRODUCTS Grading of Poultry Products and Rabbit... identified poultry or rabbit products may be subject to final check grading prior to their shipment....

  8. 7 CFR 70.55 - Check grading officially identified product.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF POULTRY PRODUCTS AND RABBIT PRODUCTS Grading of Poultry Products and Rabbit... identified poultry or rabbit products may be subject to final check grading prior to their shipment....

  9. 7 CFR 70.55 - Check grading officially identified product.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF POULTRY PRODUCTS AND RABBIT PRODUCTS Grading of Poultry Products and Rabbit... identified poultry or rabbit products may be subject to final check grading prior to their shipment....

  10. 31 CFR 240.15 - Checks issued to deceased payees.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE INDORSEMENT AND PAYMENT OF CHECKS... a financial institution, it will be paid by Treasury without the submission of documentary proof...

  11. Exercise May Keep Diabetes in Check During Pregnancy

    MedlinePlus

    ... page: https://medlineplus.gov/news/fullstory_160113.html Exercise May Keep Diabetes in Check During Pregnancy Short ... university news release. "We advise all women to exercise during pregnancy, as long as there aren't ...

  12. 40 CFR 86.320-79 - Analyzer bench check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... converters. The conditioning consists of either purging the converter with air for a minimum of 4 hours or... temperature while purging. Do not use this procedure prior to checking converter efficiency on...

  13. Request a Brown-Bag Check-Up

    MedlinePlus

    ... as those listed on your medical record or pharmacy profile. They can double check these medications for ... to fill all your prescriptions at the same pharmacy or inform your pharmacist of any over-the ...

  14. Review and analysis of check valve failure data

    NASA Astrophysics Data System (ADS)

    Todd, M. D.; Casada, D. A.

    Check valve operating problems in recent years have resulted in significant operating transients, increased cost and decreased system availability. There has been, in response, additional attention given to check valves by utilities, as well as the US Nuclear Regulatory Commission and the American Society of Mechanical Engineers Operation and Maintenance Committee. All these organizations have the fundamental goal of ensuring reliable operation of check valves. A key ingredient to an engineering-oriented reliability improvement effort is a thorough understanding of relevant historical experience. Oak Ridge National Laboratory is currently conducting a detailed review of historical failure data available through the Institute of Nuclear Power Operation's Nuclear Plant Reliability Data System. The focus of the review is on check valve failures that have involved significant degradation of the valve internal parts. A variety of parameters are being considered during the review, including size, age, system of service, method of failure discovery, the affected valve parts, attributed causes, and corrective actions.

  15. Development and Validation of a Male Specific Body Checking Questionnaire

    PubMed Central

    Hildebrandt, Tom; Walker, D. Catherine; Alfano, Lauren; Delinsky, Sherrie; Bannon, Katie

    2010-01-01

    Objective Body checking may be an important behavioral consequence of body image disturbance. Despite the importance of body checking, few measurements of this construct exist, particularly for males. This study describes the development and validation of the Male Body Checking Questionnaire (MBCQ). Method Convergent and divergent validity, factor structure, and reliability were tested in three separate samples of men and women. Results Factor analyses suggested a reliable four-factor structure with evidence of a higher order global checking factor for men, but not women. The MBCQ demonstrated good concurrent and divergent validity. Short-term test-retest reliability was good with high internal consistency across time. Discussion Interpretation of psychometrics and recommendations for subsequent research are discussed. The MBCQ is likely to be an appropriate tool for investigating body image-based pathology in males. PMID:19247988

  16. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... broadening the absorption band of the measured gas, and in CLD instruments by the interfering gas quenching... concentration for this check. No allowance for absorption of NO2 in water has been made in the following...

  17. Specific frontal neural dynamics contribute to decisions to check

    PubMed Central

    Stoll, Frederic M.; Fontanier, Vincent; Procyk, Emmanuel

    2016-01-01

    Curiosity and information seeking potently shapes our behaviour and are thought to rely on the frontal cortex. Yet, the frontal regions and neural dynamics that control the drive to check for information remain unknown. Here we trained monkeys in a task where they had the opportunity to gain information about the potential delivery of a large bonus reward or continue with a default instructed decision task. Single-unit recordings in behaving monkeys reveal that decisions to check for additional information first engage midcingulate cortex and then lateral prefrontal cortex. The opposite is true for instructed decisions. Importantly, deciding to check engages neurons also involved in performance monitoring. Further, specific midcingulate activity could be discerned several trials before the monkeys actually choose to check the environment. Our data show that deciding to seek information on the current state of the environment is characterized by specific dynamics of neural activity within the prefrontal cortex. PMID:27319361

  18. Decentralized Checking Context Inconsistency in Ubiquitous Mobile Computing Environments

    NASA Astrophysics Data System (ADS)

    Zhang, Daqiang; Yang, Zhijun; Huang, Hongyu; Zou, Qin

    Contexts are often noisy in ubiquitous mobile computing environments due to user mobility, unreliable wireless connectivity and resource constraints. Various schemes have been proposed to check context inconsistency for ubiquitous mobile applications. However, most of them require central control. This requirement inhibits their working in ubiquitous mobile environments, which are characterized by the asynchronous coordination among computing devices. In this paper, we propose DCCI scheme - Decentralized Checking Context Inconsistency for ubiquitous mobile applications by exploiting the preference-based locality that denotes context inconsistency occurs among the nodes that impose various restrictions on the same context. According to this locality, DCCI constructs a preference-based shortcut structure to check inconsistency within shortcuts. Extensive experiments show that DCCI can accurately and efficiently check context inconsistency in a fully distributed manner.

  19. Imagery versus verbal interpretive cognitive bias modification for compulsive checking.

    PubMed

    Black, Melissa J; Grisham, Jessica R

    2016-08-01

    Pathological doubting and checking is a common symptom presentation in obsessive-compulsive disorder (OCD). Previous research has established that compulsive checkers do not display an actual memory deficit, but lack confidence in their memories and experience intolerance of uncertainty regarding the completion of tasks. We investigated whether interpretive cognitive bias modification (CBM-I) reduced memory distrust and intolerance of uncertainty in a nonclinical sample. We also examined the possible enhancement of CBM-I for OCD through imagery training. The results provide evidence that participants who received positive imagery CBM-I training may have interpreted novel ambiguous checking scenarios more adaptively and endorsed negative checking beliefs less relative to participants in the control imagery CBM-I condition. Findings on behavioural checking tasks did not indicate any specific response to CBM-I training. Future research may translate these suggestive findings into a useful adjunct to traditional strategies targeting maladaptive OCD beliefs. PMID:27300752

  20. Mechanical gauge accurately checks tubing flare, roundness, and concentricity

    NASA Technical Reports Server (NTRS)

    Clark, L. K.

    1966-01-01

    Mechanical gage checks flare roundness and concentricity of metal tubing. The gage, which is available from off-the-shelf standard toolmaking supplies, provides the needed accuracy and is easily operated.

  1. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... affect analyzer performance. (b) CO analyzer water and CO2 interference checks. Bubble through water at... scale of a normal operating range through the CLD (or HCLD). Record the response as “D.” Bubble...

  2. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... affect analyzer performance. (b) CO analyzer water and CO2 interference checks. Bubble through water at... scale of a normal operating range through the CLD (or HCLD). Record the response as “D.” Bubble...

  3. 15. VIEW OF CIVILIAN CONSERVATION CORPS WORK; CHECK, DROP AND ...

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

    15. VIEW OF CIVILIAN CONSERVATION CORPS WORK; CHECK, DROP AND TURNOUT IN LATERAL 14.5 OFF OF THE ARIZONA CANAL Photographer: unknown. March 1937 - Arizona Canal, North of Salt River, Phoenix, Maricopa County, AZ

  4. 14. VIEW OF CIVILIAN CONSERVATION CORPS WORK; CHECK, DROP AND ...

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

    14. VIEW OF CIVILIAN CONSERVATION CORPS WORK; CHECK, DROP AND TURNOUT IN LATERAL 22 OFF OF THE ARIZONA CANAL Photographer: unknown. January 1937 - Arizona Canal, North of Salt River, Phoenix, Maricopa County, AZ

  5. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... New Diesel Heavy-Duty Engines; Smoke Exhaust Test Procedure § 86.884-11 Instrument checks. (a) The... shall be adjusted under conditions of “no smoke” to give a recorder or data collection...

  6. 7 CFR 70.55 - Check grading officially identified product.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF POULTRY PRODUCTS AND RABBIT PRODUCTS Grading of Poultry Products and Rabbit... identified poultry or rabbit products may be subject to final check grading prior to their shipment....

  7. 48 CFR 22.406-7 - Compliance checking.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... inspections to check type of work performed, number and classification of workers, and fulfillment of posting requirements. (3) Payroll reviews to ensure that payrolls of prime contractors and subcontractors have...

  8. GENERAL VIEW OF CHECK DAM (UPSTREAM SIDE), CONCRETE LINED TUMALO ...

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

    GENERAL VIEW OF CHECK DAM (UPSTREAM SIDE), CONCRETE LINED TUMALO RESERVOIR FEED CANAL, AND UPPER TUMALO RESERVOIR (IN BACKGROUND) NEAR COLLINS ROAD. LOOKING WEST - Tumalo Irrigation District, Tumalo Project, West of Deschutes River, Tumalo, Deschutes County, OR

  9. The NHS health check programme in England: a qualitative study.

    PubMed

    Perry, Catherine; Thurston, Miranda; Alford, Simon; Cushing, Jill; Panter, Lee

    2016-03-01

    Despite an extensive evidence-base linking patterns of health with social determinants, recent public health policy has emphasized 'lifestyle diseases' and risk factor modification through behavioural and pharmacological intervention. In England, one manifestation of this has been the launch of the National Health Service Health Check programme. This paper reports findings from a small-scale qualitative study exploring experiences of engaging with a community-based health check in Knowsley, England, among 17 males and 19 females, with varying levels of risk for cardiovascular disease, who agreed to be contacted for the purpose of research at the time they underwent their check. Analysis revealed that the community-based nature of the checks provided opportunities for people to find out more about their health who might not otherwise have done so. Participants expressed a range of responses to the communication of the risk score, often revealing their confusion about its meaning. Changes in behaviour were identified, which participants connected with having had a check. This study raises questions about where, how and by whom health checks are delivered. Emphasis on health checks reflects the dominant individualist ideology, but this study also suggests that the process provides opportunities to enable and empower individuals, albeit in small ways. However, they remain a 'downstream' approach to public health, emphasizing medical and behavioural options for risk factor reduction rather than focussing on primary prevention through changes to the wider environment. Furthermore, although developed as a central feature of the UK's strategy to reduce health inequalities, health checks may widen them. PMID:25073761

  10. Methods and means of checking thermoluminescent and radiophotoluminescent dosimeters

    SciTech Connect

    Fominykh, V.I.; Oborin, A.V.; Sebekin, A.P.; Uryaev, I.A.

    1987-06-01

    The authors discuss methods of checking thermoluminescent and radiophotoluminescent dosimeters which are used often in monitoring radiation safety in various areas including nuclear power stations. When the dosimeters are checked in the fields of standard beta-ray sources, it is recommended that the standard absorbed-dose or equivalent-dose measures for beta radiation should be sources of /sup 90/Sr + /sup 90/Y, /sup 204/Tl, and /sup 147/Pm. Various safety guidelines are discussed.

  11. Strategy optimization for mask rule check in wafer fab

    NASA Astrophysics Data System (ADS)

    Yang, Chuen Huei; Lin, Shaina; Lin, Roger; Wang, Alice; Lee, Rachel; Deng, Erwin

    2015-07-01

    Photolithography process is getting more and more sophisticated for wafer production following Moore's law. Therefore, for wafer fab, consolidated and close cooperation with mask house is a key to achieve silicon wafer success. However, generally speaking, it is not easy to preserve such partnership because many engineering efforts and frequent communication are indispensable. The inattentive connection is obvious in mask rule check (MRC). Mask houses will do their own MRC at job deck stage, but the checking is only for identification of mask process limitation including writing, etching, inspection, metrology, etc. No further checking in terms of wafer process concerned mask data errors will be implemented after data files of whole mask are composed in mask house. There are still many potential data errors even post-OPC verification has been done for main circuits. What mentioned here are the kinds of errors which will only occur as main circuits combined with frame and dummy patterns to form whole reticle. Therefore, strategy optimization is on-going in UMC to evaluate MRC especially for wafer fab concerned errors. The prerequisite is that no impact on mask delivery cycle time even adding this extra checking. A full-mask checking based on job deck in gds or oasis format is necessary in order to secure acceptable run time. Form of the summarized error report generated by this checking is also crucial because user friendly interface will shorten engineers' judgment time to release mask for writing. This paper will survey the key factors of MRC in wafer fab.

  12. Execution-Based Model Checking of Interrupt-Based Systems

    NASA Technical Reports Server (NTRS)

    Drusinsky, Doron; Havelund, Klaus

    2003-01-01

    Execution-based model checking (EMC) is a verification technique based on executing a multi-threaded/multiprocess program repeatedly in a systematic manner in order to explore the different interleavings of the program. This is in contrast to traditional model checking, where a model of a system is analyzed Several execution-based model-checking tools exist at this point, such as for example Verisoft and Java PathFinder. The most common formal specification languages used by EMC tools are un- timed, either just assertions, or linear-time temporal logic (LTL). An alternative verification technique is Runtime Execution Monitoring (REM), which is based on monitor- ing the execution of a program, checking that the execution trace conforms to a requirement specification. The Temporal Rover and DBRover are such tools. They provide a very rich specification language, being an extension of LTL with real-time constraints and time-series. We show how execution-based model checking, combined with runtime execution monitoring, can be used for the verification of a large class of safety critical systems commonly known as interrupt-based systems. The proposed approach is novel in that: (i) it supports model checking of a large class of applications not practically verifiable using conventional EMC tools, (ii) it supports verification of LTL assertions extended with real-time and time-series constraints, and (iii) it supports the verification of custom schedulers.

  13. Research on registration algorithm for check seal verification

    NASA Astrophysics Data System (ADS)

    Wang, Shuang; Liu, Tiegen

    2008-03-01

    Nowadays seals play an important role in China. With the development of social economy, the traditional method of manual check seal identification can't meet the need s of banking transactions badly. This paper focus on pre-processing and registration algorithm for check seal verification using theory of image processing and pattern recognition. First of all, analyze the complex characteristics of check seals. To eliminate the difference of producing conditions and the disturbance caused by background and writing in check image, many methods are used in the pre-processing of check seal verification, such as color components transformation, linearity transform to gray-scale image, medium value filter, Otsu, close calculations and labeling algorithm of mathematical morphology. After the processes above, the good binary seal image can be obtained. On the basis of traditional registration algorithm, a double-level registration method including rough and precise registration method is proposed. The deflection angle of precise registration method can be precise to 0.1°. This paper introduces the concepts of difference inside and difference outside and use the percent of difference inside and difference outside to judge whether the seal is real or fake. The experimental results of a mass of check seals are satisfied. It shows that the methods and algorithmic presented have good robustness to noise sealing conditions and satisfactory tolerance of difference within class.

  14. Web-based Examination System “Check on e” having Self-check Capability of Advantages and Weaknesses

    NASA Astrophysics Data System (ADS)

    Fushimi, Shigeo; Watanabe, Akira; Nouda, Hideo

    NEC Learning Ltd. has developed “Check on e” , web-based examination system. The purpose is to check basic knowledge of young engineers engaged in development of electronic equipments, like digital electronic household appliances, which Japan has some favorable potential. We describe first, benefits and characteristics of “Check on e” . Utilizing this web-based test, young engineers are able to diagnose their advantages and weaknesses. Furthermore, since “Check on e” system sets questions randomly from the database of triple questions of those in actual test, it has sure ability to evaluate result of training or education. Finally, we show some examples on electric circuit field and LSI design (System on a Chip) field, and navigation system to introduce education after taking this examination.

  15. Acoustic and ultrasonic signals as diagnostic tools for check valves

    SciTech Connect

    Auyang, M.K. )

    1993-05-01

    A typical nuclear plant has between 60 and 115 safety-related check valves ranging from 2 to 30 in. The majority of these valves control water flow. Recent studies done by the Institute of Nuclear Power Operations (INPO), Electric Power Research Institute (EPRI) and the US Nuclear Regulatory Commission (NRC) found that many of these safety-related valves were not functioning properly. Typical problems found in these valves included disk flutter, backstop tapping, flow leakage, disk pin and hinge pin wear, or even missing disks. These findings led to INPO's Significant Operating Experience Report (SOER, 1986), and finally, NRC generic letter 8904, which requires that all safety-related check valves in a nuclear plant be regularly monitored. In response to this need, the industry has developed various diagnostic equipment to monitor and test check valves, using technologies ranging from acoustics and ultrasonics to magnetic - even radiography has been considered. Of these, systems that depend on a combination of acoustic and ultrasonic techniques are among the most promising for two reasons: these two technologies supplement each other, making diagnosis of the check valves much more certain than any single technology, and this approach can be made nonintrusive. The nonintrusive feature allows the check valves to be monitored and diagnosed without being disassembled or removed from the piping system. This paper shows that by carefully studying the acoustic and ultrasonic signatures acquired from a check value, either individually or in combination, an individual with the proper training and experience in acoustic and ultrasonic signature analyses can deduce the structural integrity of the check valve with good confidence. Most of the conclusions are derived from controlled experiments in the laboratory where the diagnosis can be verified. Other conclusions were based on test data obtained in the field.

  16. Helical tomotherapy quality assurance with ArcCHECK.

    PubMed

    Chapman, David; Barnett, Rob; Yartsev, Slav

    2014-01-01

    To design a quality assurance (QA) procedure for helical tomotherapy that measures multiple beam parameters with 1 delivery and uses a rotating gantry to simulate treatment conditions. The customized QA procedure was preprogrammed on the tomotherapy operator station. The dosimetry measurements were performed using an ArcCHECK diode array and an A1SL ion chamber inserted in the central holder. The ArcCHECK was positioned 10cm above the isocenter so that the 21-cm diameter detector array could measure the 40-cm wide tomotherapy beam. During the implementation of the new QA procedure, separate comparative measurements were made using ion chambers in both liquid and solid water, the tomotherapy onboard detector array, and a MapCHECK diode array for a period of 10 weeks. There was good agreement (within 1.3%) for the beam output and cone ratio obtained with the new procedure and the routine QA measurements. The measured beam energy was comparable (0.3%) to solid water measurement during the 10-week evaluation period, excluding 2 of the 10 measurements with unusually high background. The symmetry reading was similarly compromised for those 2 weeks, and on the other weeks, it deviated from the solid water reading by ~2.5%. The ArcCHECK phantom presents a suitable alternative for performing helical tomotherapy QA, provided the background is collected properly. The proposed weekly procedure using ArcCHECK and water phantom makes the QA process more efficient. PMID:24433834

  17. 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.

  18. Intelligent Data Visualization for Cross-Checking Spacecraft System Diagnosis

    NASA Technical Reports Server (NTRS)

    Ong, James C.; Remolina, Emilio; Breeden, David; Stroozas, Brett A.; Mohammed, John L.

    2012-01-01

    Any reasoning system is fallible, so crew members and flight controllers must be able to cross-check automated diagnoses of spacecraft or habitat problems by considering alternate diagnoses and analyzing related evidence. Cross-checking improves diagnostic accuracy because people can apply information processing heuristics, pattern recognition techniques, and reasoning methods that the automated diagnostic system may not possess. Over time, cross-checking also enables crew members to become comfortable with how the diagnostic reasoning system performs, so the system can earn the crew s trust. We developed intelligent data visualization software that helps users cross-check automated diagnoses of system faults more effectively. The user interface displays scrollable arrays of timelines and time-series graphs, which are tightly integrated with an interactive, color-coded system schematic to show important spatial-temporal data patterns. Signal processing and rule-based diagnostic reasoning automatically identify alternate hypotheses and data patterns that support or rebut the original and alternate diagnoses. A color-coded matrix display summarizes the supporting or rebutting evidence for each diagnosis, and a drill-down capability enables crew members to quickly view graphs and timelines of the underlying data. This system demonstrates that modest amounts of diagnostic reasoning, combined with interactive, information-dense data visualizations, can accelerate system diagnosis and cross-checking.

  19. Helical tomotherapy quality assurance with ArcCHECK

    SciTech Connect

    Chapman, David; Barnett, Rob; Yartsev, Slav

    2014-07-01

    To design a quality assurance (QA) procedure for helical tomotherapy that measures multiple beam parameters with 1 delivery and uses a rotating gantry to simulate treatment conditions. The customized QA procedure was preprogrammed on the tomotherapy operator station. The dosimetry measurements were performed using an ArcCHECK diode array and an A1SL ion chamber inserted in the central holder. The ArcCHECK was positioned 10 cm above the isocenter so that the 21-cm diameter detector array could measure the 40-cm wide tomotherapy beam. During the implementation of the new QA procedure, separate comparative measurements were made using ion chambers in both liquid and solid water, the tomotherapy onboard detector array, and a MapCHECK diode array for a period of 10 weeks. There was good agreement (within 1.3%) for the beam output and cone ratio obtained with the new procedure and the routine QA measurements. The measured beam energy was comparable (0.3%) to solid water measurement during the 10-week evaluation period, excluding 2 of the 10 measurements with unusually high background. The symmetry reading was similarly compromised for those 2 weeks, and on the other weeks, it deviated from the solid water reading by ∼2.5%. The ArcCHECK phantom presents a suitable alternative for performing helical tomotherapy QA, provided the background is collected properly. The proposed weekly procedure using ArcCHECK and water phantom makes the QA process more efficient.

  20. Mask manufacturing rules checking (MRC) as a DFM strategy

    NASA Astrophysics Data System (ADS)

    Buck, Peter; Gladhill, Richard; Straub, Joseph

    2007-03-01

    Mask Manufacturing Rules Checking (MRC) has been established as an automated process to detect mask pattern data that will cause mask inspection problems. This methodology is unique from the Design Rule Checking (DRC) or Design for Manufacturing (DFM) checks typically performed before sending pattern data to the mask manufacturer in that it examines the entire mask layout and the spatial relationship between multiple patterns in their final orientation, scale, and tone. In contrast, DRC and DFM checks are usually performed on individual pattern files. Also, DRC and DFM checks are not always performed after all pattern transformations are complete, and errors can be introduced that are not caught until the mask is eventually printed on wafers. Therefore, MRC can often be the only comprehensive geometric integrity test performed before the mask is manufactured and the last opportunity to catch critical errors that might have disastrous consequences to yield and consequently to product schedules. In this paper we review the concepts and implementation of MRC in a merchant mask manufacturing enterprise and introduce methods to empower DFM decisions by mask customers based on MRC results.

  1. Distant metastatic spread of molecularly proven infantile fibrosarcoma of the chest in a 2-month-old girl: case report and review of literature.

    PubMed

    van Grotel, Martine; Blanco, Esther; Sebire, Neil J; Slater, Olga; Chowdhury, Tanzina; Anderson, John

    2014-04-01

    Infantile fibrosarcoma (IFS) is a malignant neoplasm, arising in children younger than 2 years of age and with a hallmark chromosomal translocation t(12;15)(p13;q26) encoding an ETV6-NTRK3 fusion oncoprotein. A review of the world literature found no reported cases of molecularly proven IFS with distant metastatic spread at presentation. We report the case of a 2-month-old infant girl presenting with a chest wall primary IFS bearing and expressing the ETV6-NTRK3 fusion, who had several pulmonary metastatic deposits at diagnosis. She achieved complete remission with chemotherapy and surgery. To our knowledge, this is the first reported case of molecularly proven IFS with distant metastatic spread. PMID:24276045

  2. The use of check valve performance data to support new concepts (probabilistic risk assessment, condition monitoring) for check valve program

    SciTech Connect

    Hart, K.A.; Gower, D.

    1996-12-01

    The concept of developing an integrated check valve database based on the Nuclear Power Reliability Data System (NPRDS) data was presented at the last Symposium. The Nuclear Industry Check Valve Group (NIC), working in cooperation with the Oak Ridge National Laboratory (ORNL), has completed an operational database of check valve performance from 1984 to the present. NIC has committed to the nuclear industry to periodically update the data and maintain this information accessible. As the new concepts of probabilistic risk analysis and condition monitoring are integrated into the American Society of Mechanical Engineers (ASME) Code, a critical element will be performance data. From check valve performance data, feasible failure modes and rates can be established. When a failure rate or frequency of failures can be established based on a significant enough population (sampling), a more solid foundation for focusing resources and determining appropriate frequencies and testing can be determined. The presentation will give the updated status of the NIC Check Valve Performance Database covering (1) methodology used to combine the original ORNL data; (2) process/controls established for continuing update and refinement of the data; (3) discussion of how this data is being utilized by (a) OM-22 for condition monitoring, and (b) risk-based inservice testing work of Westinghouse Owners` Group; and (4) results/trends of data evaluations. At the 1994 Symposium, ORNL provided an update as of 1991 to their original work of 1984 -1990 which they had performed to characterize check valve degradations and failures in the nuclear industry. These characterizations will be updated to 1995 and additional reviews provided to give insight into the current condition and trends of check valve performance.

  3. 78 FR 26656 - Agency Information Collection Activities; Proposed Collection; Comments Requested: Police Check...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-05-07

    ... Collection; Comments Requested: Police Check Inquiry and Pre-Screening Qualifications Certification ACTION... existing collection of information. (2) Title of the Form/Collection: Police Check Inquiry and...

  4. Self-checking state machine realizations in CMOS

    NASA Astrophysics Data System (ADS)

    Lala, P. K.

    1994-06-01

    In this reporting period, we have studied the currently available techniques for designing totally self-check checkers for m-out-of-n codes. Such codes can be used for state assignment in self-checking state machines. The major advantage of m-out-of-n codes is that they can detect single and unidirectional multibit errors in the encoded information bits. Thus, if a circuit is designed such that its output forms an m-out-of-n code, any fault in the circuit which creates a single bit error or unidirectional multibit error at the output can be detected on-line. On-line error detection, also known as self-checking, can be accomplished by using a checker to monitor the circuit output. The output of the checker is 01 or 10 if there is no fault in the circuit under test or in the checker itself, otherwise the output will be 00 or 11.

  5. Effects of monetary reward and punishment on information checking behaviour.

    PubMed

    Li, Simon Y W; Cox, Anna L; Or, Calvin; Blandford, Ann

    2016-03-01

    Two experiments were conducted to examine whether checking one's own work can be motivated by monetary reward and punishment. Participants were randomly assigned to one of three conditions: a flat-rate payment for completing the task (Control); payment increased for error-free performance (Reward); payment decreased for error performance (Punishment). Experiment 1 (N = 90) was conducted with liberal arts students, using a general data-entry task. Experiment 2 (N = 90) replicated Experiment 1 with clinical students and a safety-critical 'cover story' for the task. In both studies, Reward and Punishment resulted in significantly fewer errors, more frequent and longer checking, than Control. No such differences were obtained between the Reward and Punishment conditions. It is concluded that error consequences in terms of monetary reward and punishment can result in more accurate task performance and more rigorous checking behaviour than errors without consequences. However, whether punishment is more effective than reward, or vice versa, remains inconclusive. PMID:26549151

  6. MOM: A meteorological data checking expert system in CLIPS

    NASA Technical Reports Server (NTRS)

    Odonnell, Richard

    1990-01-01

    Meteorologists have long faced the problem of verifying the data they use. Experience shows that there is a sizable number of errors in the data reported by meteorological observers. This is unacceptable for computer forecast models, which depend on accurate data for accurate results. Most errors that occur in meteorological data are obvious to the meteorologist, but time constraints prevent hand-checking. For this reason, it is necessary to have a 'front end' to the computer model to ensure the accuracy of input. Various approaches to automatic data quality control have been developed by several groups. MOM is a rule-based system implemented in CLIPS and utilizing 'consistency checks' and 'range checks'. The system is generic in the sense that it knows some meteorological principles, regardless of specific station characteristics. Specific constraints kept as CLIPS facts in a separate file provide for system flexibility. Preliminary results show that the expert system has detected some inconsistencies not noticed by a local expert.

  7. Using Model Checking to Validate AI Planner Domain Models

    NASA Technical Reports Server (NTRS)

    Penix, John; Pecheur, Charles; Havelund, Klaus

    1999-01-01

    This report describes an investigation into using model checking to assist validation of domain models for the HSTS planner. The planner models are specified using a qualitative temporal interval logic with quantitative duration constraints. We conducted several experiments to translate the domain modeling language into the SMV, Spin and Murphi model checkers. This allowed a direct comparison of how the different systems would support specific types of validation tasks. The preliminary results indicate that model checking is useful for finding faults in models that may not be easily identified by generating test plans.

  8. Stochastic Local Search for Core Membership Checking in Hedonic Games

    NASA Astrophysics Data System (ADS)

    Keinänen, Helena

    Hedonic games have emerged as an important tool in economics and show promise as a useful formalism to model multi-agent coalition formation in AI as well as group formation in social networks. We consider a coNP-complete problem of core membership checking in hedonic coalition formation games. No previous algorithms to tackle the problem have been presented. In this work, we overcome this by developing two stochastic local search algorithms for core membership checking in hedonic games. We demonstrate the usefulness of the algorithms by showing experimentally that they find solutions efficiently, particularly for large agent societies.

  9. The Effects of Peer-Mediated Check-In/Check-Out on the Social Skills of Socially Neglected Students.

    PubMed

    Collins, Tai A; Gresham, Frank M; Dart, Evan H

    2016-07-01

    Check-In/Check-Out (CICO) is a moderately effective Tier 2 intervention often used to address attention-maintained problem behaviors in schools. Recent studies on CICO have demonstrated the effectiveness of the intervention when combined with social skills training and when utilizing students' peers as interventionists. Using a concurrent multiple baseline across participants design, the present study evaluated the effectiveness of peer-mediated CICO to target social skills in elementary school students identified as socially neglected using a sociometric classification system. Results, implications for practice, limitations, and future directions are discussed. PMID:27056878

  10. Afterbay, showing five discharge channels and five hydraulic gate check ...

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

    Afterbay, showing five discharge channels and five hydraulic gate check cylinders, one for each discharge pipe opening. The spillback inlet is visible in the left foreground. View to the west - Wellton-Mohawk Irrigation System, Pumping Plant No. 2, Bounded by Interstate 8 to south, Wellton, Yuma County, AZ

  11. Afterbay, looking north at hydraulic gate check cylinders. The spillback ...

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

    Afterbay, looking north at hydraulic gate check cylinders. The spillback gate box is visible at the far left on the north side of the canal. - Wellton-Mohawk Irrigation System, Pumping Plant No. 3, South of Interstate 8, Wellton, Yuma County, AZ

  12. Afterbay, looking north at hydraulic gate check cylinders and lamps. ...

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

    Afterbay, looking north at hydraulic gate check cylinders and lamps. The gate lift in the foreground is an addition associated with the ca. 1974-1975 regulatory pumps - Wellton-Mohawk Irrigation System, Pumping Plant No. 2, Bounded by Interstate 8 to south, Wellton, Yuma County, AZ

  13. Astronaut James Lovell checks body temperature with oral temperature probe

    NASA Technical Reports Server (NTRS)

    1965-01-01

    Gemini 7 pilot Astronaut James A. Lovell Jr. has temperature check with oral temperature probe attached to his space suit during final preflight preparations for the Gemini 7 space mission. The temperature probe allows doctors to monitor astronauts body temperature at any time during the mission.

  14. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 14 Aeronautics and Space 3 2014-01-01 2014-01-01 false Cockpit check procedure. 121.315 Section 121.315 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR HIRE: CERTIFICATION AND OPERATIONS OPERATING REQUIREMENTS: DOMESTIC, FLAG, AND...

  15. 48 CFR 22.406-7 - Compliance checking.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 48 Federal Acquisition Regulations System 1 2011-10-01 2011-10-01 false Compliance checking. 22.406-7 Section 22.406-7 Federal Acquisition Regulations System FEDERAL ACQUISITION REGULATION SOCIOECONOMIC PROGRAMS APPLICATION OF LABOR LAWS TO GOVERNMENT ACQUISITIONS Labor Standards for Contracts Involving Construction 22.406-7 Compliance...

  16. MEMS design rule checking: a batch approach for remote operation

    NASA Astrophysics Data System (ADS)

    Yarberry, Victor R.

    1998-07-01

    This paper describes a design rule checking (DRC) tool developed as an aid for designing microelectromechanical structures (MEMS) using AutoCADTM running on a Windows NT workstation. The application suite, MEMSdrc, consists of a graphical user interface integrated into AutoCADTM to invoke DRC, translation and interface software to communicate with a commercial IC layout design checking software package, and routines to interactively display and review the results. The user interface provides the capability to select a checking window area and specific DRC rules to be applied to the design. The MEMS structures, defined as 2D AutoCADTM geometry are translated first into DXF format, then to GDSII format. A remote process transfers the files to a Unix workstation where Mentor Graphics ICverify is invoked to perform the layout design rule checks. Upon completion, the results are translated into DXF geometry and returned back to the Windows NT workstation to be overlaid onto the original design. A set of icons are provided for the user to interactively review the results inside of AutoCADTM using a first/next/previous technique.

  17. 40 CFR 90.323 - Analyzer bench checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 20 2010-07-01 2010-07-01 false Analyzer bench checks. 90.323 Section 90.323 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NONROAD SPARK-IGNITION ENGINES AT OR BELOW 19 KILOWATTS Emission Test Equipment Provisions § 90.323 Analyzer bench...

  18. Tester automatically checks paper tape punch and reader after maintenance

    NASA Technical Reports Server (NTRS)

    Mazer, L.; Mc Murchy, D. D.

    1967-01-01

    Device automatically bench tests paper tape punches and readers in a simulated operating environment following routine maintenance. The reader and punch operate back-to-back and the paper tape output feeds the reader. The tape leader is prepunched with an arbitrary pattern that is continuously reproduced during the check.

  19. Self-checking state machine realization in CMOS

    NASA Astrophysics Data System (ADS)

    Lala, P. K.; Walker, A.

    1994-12-01

    In this reporting period we have accomplished the following: (1) developed a procedure for totally self-checking (TSC) checker design for m-out-of-2m codes at the transistor level and (2) derived a technique for designing TSC fault-tolerant systems.

  20. The Role of Personal Ethical Checking in Courageous School Leadership

    ERIC Educational Resources Information Center

    Buskey, Frederick C.; Pitts, Eric M.

    2013-01-01

    When school leaders make calculated decisions to deviate from hierarchical or cultural directives and norms, they may be viewed as mavericks or brigands. This paper details a process of ethical checking to help differentiate ethical decisions from more arbitrary or self-serving decisions. The paper examines conflicts inherent in many professional…

  1. Mandatory Identification Bar Checks: How Bouncers Are Doing Their Job

    ERIC Educational Resources Information Center

    Monk-Turner, Elizabeth; Allen, John; Casten, John; Cowling, Catherine; Gray, Charles; Guhr, David; Hoofnagle, Kara; Huffman, Jessica; Mina, Moises; Moore, Brian

    2011-01-01

    The behavior of bouncers at on site establishments that served alcohol was observed. Our aim was to better understand how bouncers went about their job when the bar had a mandatory policy to check identification of all customers. Utilizing an ethnographic decision model, we found that bouncers were significantly more likely to card customers that…

  2. A Check List for Evaluating Persuasive Features of Mathematics Courseware

    ERIC Educational Resources Information Center

    Aris, Baharuddin; Gharbaghi, Alireza; Ahmad, Maizah Hura; Rosli, Mohd Shafie

    2013-01-01

    The main purpose of this study is to introduce a check list for evaluating persuasive features of mathematics courseware. Since mathematics is a source of anxiety among students (Zeidner & Matthews, 2010), this research is an attempt to employ persuasive features that can be used in mathematics courseware. Specifically, we sought to determine…

  3. Remedial Sheets for Progress Checks, Segments 1-14.

    ERIC Educational Resources Information Center

    New York Inst. of Tech., Old Westbury.

    The first part of the Self-Paced Physics Course remediation materials is presented for U. S. Naval Academy students who miss core problems on the progress check. The total of 78 problems is incorporated in this volume to match study segments 1 through 14. Each remedial sheet is composed of a statement of the missed problem and references to…

  4. 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...

  5. Critical Participatory Looping: Dialogic Member Checking with Whole Classes

    ERIC Educational Resources Information Center

    Murphey, Tim; Falout, Joseph

    2010-01-01

    Results from research about language learners can be strengthened by including the learners themselves in the data analysis, and inviting them to check researcher interpretations to confirm the validity of the data, to search for alternative interpretations, and to delve deeper into their beliefs. Using critical participatory looping (CPL), the…

  6. Our Journey down the Self-Check Road

    ERIC Educational Resources Information Center

    Whitney, Ann; Garrett, Adam

    2008-01-01

    Although self-checkout technology has been around for about 15 years, cashiers have not yet needed to worry about being rendered obsolete. Many stores have added self-checkout, but a clerk still has to be stationed in the area to help with problems. While self-check technology has improved immensely over the years, it still has not caught on to…

  7. New Results in Software Model Checking and Analysis

    NASA Technical Reports Server (NTRS)

    Pasareanu, Corina S.

    2010-01-01

    This introductory article surveys new techniques, supported by automated tools, for the analysis of software to ensure reliability and safety. Special focus is on model checking techniques. The article also introduces the five papers that are enclosed in this special journal volume.

  8. Depositing Checks, Currency, and Coins. Student's Manual and Instructor's Manual.

    ERIC Educational Resources Information Center

    Hamer, Jean

    Supporting performance objectives 42 and 53 of the V-TECS (Vocational-Technical Education Consortium of States) Secretarial Catalog, both a set of student materials and an instructor's manual on depositing checks, currency, and coins are included in this packet. (The packet is the eighth in a set of nine on performing computational clerical…

  9. 40 CFR 53.52 - Leak check test.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Leak check test. (a) Overview. In section 7.4.6 of 40 CFR part 50, appendix L, the sampler is required..., NIST-traceable. (2) Flow rate measurement adaptor (40 CFR part 50, appendix L, figure L-30) or... CFR part 50, appendix L. (d) Calibration of test measurement instruments. Submit documentation...

  10. 40 CFR 53.52 - Leak check test.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... Leak check test. (a) Overview. In section 7.4.6 of 40 CFR part 50, appendix L, the sampler is required..., NIST-traceable. (2) Flow rate measurement adaptor (40 CFR part 50, appendix L, figure L-30) or... CFR part 50, appendix L. (d) Calibration of test measurement instruments. Submit documentation...

  11. 40 CFR 53.52 - Leak check test.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Leak check test. (a) Overview. In section 7.4.6 of 40 CFR part 50, appendix L, the sampler is required..., NIST-traceable. (2) Flow rate measurement adaptor (40 CFR part 50, appendix L, figure L-30) or... CFR part 50, appendix L. (d) Calibration of test measurement instruments. Submit documentation...

  12. 42 CFR 493.1254 - Standard: Maintenance and function checks.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... Section 493.1254 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN...: (1) Maintenance as defined by the manufacturer and with at least the frequency specified by the manufacturer. (2) Function checks as defined by the manufacturer and with at least the frequency specified...

  13. 14 CFR Appendix F to Part 121 - Proficiency Check Requirements

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Proficiency Check Requirements F Appendix F to Part 121 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR HIRE: CERTIFICATION AND OPERATIONS OPERATING REQUIREMENTS: DOMESTIC, FLAG, AND...

  14. 14 CFR Appendix F to Part 121 - Proficiency Check Requirements

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 14 Aeronautics and Space 3 2013-01-01 2013-01-01 false Proficiency Check Requirements F Appendix F to Part 121 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR HIRE: CERTIFICATION AND OPERATIONS OPERATING REQUIREMENTS: DOMESTIC, FLAG, AND...

  15. 14 CFR Appendix F to Part 121 - Proficiency Check Requirements

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... approved Airplane Flight Manual, the certificate holder's operations Manual, check lists, or other approved... relating thereto; and (3) The appropriate provisions of the approved Airplane Flight Manual The person... approach maneuver is not required for a second-in-command if the certificate holder's manual prohibits...

  16. Identification of Poetntially Creative Persons from the Adjective Check List

    ERIC Educational Resources Information Center

    Domino, George

    1970-01-01

    The initial development and cross validation of a Creativity (CR) scale for the Adjective Check List (ACL) is presented. The Cr scale significantly differentiated creatives from controls in every field of endeavor, but was not influenced by sex or type of creativity. (Author)

  17. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE NONROAD COMPRESSION-IGNITION ENGINES Emission Test... shall be checked for response to water vapor and CO2. (1) Follow good engineering practices for... gases of concern for CLD (and HCLD) analyzers are CO2 and water vapor. Quench responses to these...

  18. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE NONROAD COMPRESSION-IGNITION ENGINES Emission Test... shall be checked for response to water vapor and CO2. (1) Follow good engineering practices for... gases of concern for CLD (and HCLD) analyzers are CO2 and water vapor. Quench responses to these...

  19. STS-107 crew members check out equipment at SPACEHAB

    NASA Technical Reports Server (NTRS)

    2000-01-01

    KENNEDY SPACE CENTER, FLA. -- At SPACEHAB, STS-107 crew members check out equipment for their mission. At the far left are Mission Specialists Kalpana Chawla and Ilan Ramon, who is from Israel. At center, handling the equipment, are Mission Specialists David Brown and Michael Anderson. Identified as a research mission, STS-107 is scheduled for launch July 19, 2001

  20. 31 CFR 240.14 - Checks issued to incompetent payees.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE INDORSEMENT AND PAYMENT OF CHECKS... without submission of documentary proof of the authority of the guardian or other fiduciary, with the... the certifying agency with information as to the incompetence of the payee and documentary...

  1. 49 CFR 384.228 - Examiner training and record checks.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... CARRIER SAFETY ADMINISTRATION, DEPARTMENT OF TRANSPORTATION FEDERAL MOTOR CARRIER SAFETY REGULATIONS STATE... § 384.228 Examiner training and record checks. For all State and third party CDL test examiners, the State must meet the following 10 requirements: (a) Establish examiner training standards for initial...

  2. 49 CFR 384.228 - Examiner training and record checks.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... CARRIER SAFETY ADMINISTRATION, DEPARTMENT OF TRANSPORTATION FEDERAL MOTOR CARRIER SAFETY REGULATIONS STATE... § 384.228 Examiner training and record checks. For all State and third party CDL test examiners, the State must meet the following 10 requirements: (a) Establish examiner training standards for initial...

  3. 49 CFR 384.228 - Examiner training and record checks.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... CARRIER SAFETY ADMINISTRATION, DEPARTMENT OF TRANSPORTATION FEDERAL MOTOR CARRIER SAFETY REGULATIONS STATE... § 384.228 Examiner training and record checks. For all State and third party CDL test examiners, the State must meet the following 10 requirements: (a) Establish examiner training standards for initial...

  4. 49 CFR 384.228 - Examiner training and record checks.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... CARRIER SAFETY ADMINISTRATION, DEPARTMENT OF TRANSPORTATION FEDERAL MOTOR CARRIER SAFETY REGULATIONS STATE... § 384.228 Examiner training and record checks. For all State and third party CDL test examiners, the State must meet the following 10 requirements: (a) Establish examiner training standards for initial...

  5. Checking the odd Goldbach conjecture up to 10(20)

    NASA Astrophysics Data System (ADS)

    Saouter, Y.

    1998-04-01

    Vinogradov's theorem states that any sufficiently large odd integer is the sum of three prime numbers. This theorem allows us to suppose the conjecture that this is true for all odd integers. In this paper, we describe the implementation of an algorithm which allowed us to-check this conjecture up to 10(20).

  6. 5 CFR 178.206 - Return of unnegotiated Government checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 5 Administrative Personnel 1 2010-01-01 2010-01-01 false Return of unnegotiated Government checks. 178.206 Section 178.206 Administrative Personnel OFFICE OF PERSONNEL MANAGEMENT CIVIL SERVICE... veterans benefits, social security benefits, or Federal tax refunds, to the agency from which the...

  7. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... room temperature a CO2 span gas having a concentration of between 80 percent and 100 percent inclusive... expected concentrations experienced during testing. (1) NOX analyzer CO2 quench check. (i) Pass a CO2 span... used during testing through the CO2 NDIR analyzer and record the value as “a.” (ii) Dilute the CO2...

  8. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... room temperature a CO2 span gas having a concentration of between 80 percent and 100 percent inclusive... expected concentrations experienced during testing. (1) NOX analyzer CO2 quench check. (i) Pass a CO2 span... used during testing through the CO2 NDIR analyzer and record the value as “a.” (ii) Dilute the CO2...

  9. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... check. A CO2 span gas having a concentration of 80 percent to 100 percent of full scale of the maximum... a. It is diluted approximately 50 percent with NO span gas and then passed through the CO2 NDIR and... off and only the NO span gas passed through the CLD (or HCLD) and the NO value recorded as d....

  10. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... check. A CO2 span gas having a concentration of 80 percent to 100 percent of full scale of the maximum... a. It is diluted approximately 50 percent with NO span gas and then passed through the CO2 NDIR and... off and only the NO span gas passed through the CLD (or HCLD) and the NO value recorded as d....

  11. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... check. A CO2 span gas having a concentration of 80 percent to 100 percent of full scale of the maximum... a. It is diluted approximately 50 percent with NO span gas and then passed through the CO2 NDIR and... off and only the NO span gas passed through the CLD (or HCLD) and the NO value recorded as d....

  12. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... room temperature a CO2 span gas having a concentration of between 80 percent and 100 percent inclusive... expected concentrations experienced during testing. (1) NOX analyzer CO2 quench check. (i) Pass a CO2 span... used during testing through the CO2 NDIR analyzer and record the value as “a.” (ii) Dilute the CO2...

  13. Graphical Quantum Low-Density Parity-Check Codes

    NASA Astrophysics Data System (ADS)

    Li, Yuan; Xu, Mantao; Meng, Yinkuo; Guo, Ying

    2012-08-01

    Graphical approach provides a direct way to construct error correction codes. Motivated by its good properties, associating low-density parity-check (LDPC) codes, in this paper we present families of graphical quantum LDPC codes which contain no girth of four. Because of the fast algorithm of constructing for graphical codes, the proposed quantum codes have lower encoding complexity.

  14. 40 CFR 90.323 - Analyzer bench checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 21 2012-07-01 2012-07-01 false Analyzer bench checks. 90.323 Section 90.323 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NONROAD SPARK-IGNITION ENGINES AT OR BELOW 19 KILOWATTS Emission Test Equipment Provisions § 90.323 Analyzer bench...

  15. 40 CFR 86.320-79 - Analyzer bench check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 18 2011-07-01 2011-07-01 false Analyzer bench check. 86.320-79 Section 86.320-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 Diesel-Fueled...

  16. MARINER 9 SPACE PROBE UNDERGOES FINAL CHECKS PRIOR TO ENCAPSULATION

    NASA Technical Reports Server (NTRS)

    1971-01-01

    Technicians make final checks of the Mariner I spacecraft prior to its encapsulation. The Mars- bound spacecraft lifted off aboard an Atlas-Centaur rocket from Cape Kennedy at 6:23 p.m. EDT, May 30, 1971. Following a flight of nearly six months, the spacecraft, designated Mariner 9, will enter orbit and transmit data about the Red Planet's surface and atmosphere.

  17. 40 CFR 86.327-79 - Quench checks; NOX analyzer.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 19 2013-07-01 2013-07-01 false Quench checks; NOX analyzer. 86.327-79 Section 86.327-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...

  18. 40 CFR 91.323 - Analyzer bench checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 20 2010-07-01 2010-07-01 false Analyzer bench checks. 91.323 Section 91.323 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED... NO converter is used, condition all new or replacement converters. The conditioning consists...

  19. 40 CFR 91.319 - NOX converter check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 20 2011-07-01 2011-07-01 false NOX converter check. 91.319 Section 91...) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Emission Test Equipment Provisions § 91.319 NOX... of the NO concentration). The NOX analyzer must be in the NO mode so that the span gas does not...

  20. 40 CFR 91.319 - NOX converter check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 20 2010-07-01 2010-07-01 false NOX converter check. 91.319 Section 91...) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Emission Test Equipment Provisions § 91.319 NOX... of the NO concentration). The NOX analyzer must be in the NO mode so that the span gas does not...

  1. 20. CHECK, TURNOUT, SIPHON AND METERING EQUIPMENT FOR DELIVERY FROM ...

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

    20. CHECK, TURNOUT, SIPHON AND METERING EQUIPMENT FOR DELIVERY FROM BASE LINE WASTE DITCH TO KYRENE DITCH AT EAST 1/4 CORNER, SECTION 12, T1S-R4E July 7, 1921 - Western Canal, South side of Salt River between Tempe, Phoenix & Mesa, Mesa, Maricopa County, AZ

  2. 49 CFR 384.206 - State record checks.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 49 Transportation 5 2011-10-01 2011-10-01 false State record checks. 384.206 Section 384.206 Transportation Other Regulations Relating to Transportation (Continued) FEDERAL MOTOR CARRIER SAFETY ADMINISTRATION, DEPARTMENT OF TRANSPORTATION FEDERAL MOTOR CARRIER SAFETY REGULATIONS STATE COMPLIANCE WITH COMMERCIAL DRIVER'S LICENSE PROGRAM...

  3. 49 CFR 384.206 - State record checks.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 49 Transportation 5 2013-10-01 2013-10-01 false State record checks. 384.206 Section 384.206 Transportation Other Regulations Relating to Transportation (Continued) FEDERAL MOTOR CARRIER SAFETY ADMINISTRATION, DEPARTMENT OF TRANSPORTATION FEDERAL MOTOR CARRIER SAFETY REGULATIONS STATE COMPLIANCE WITH COMMERCIAL DRIVER'S LICENSE PROGRAM...

  4. Spanish Language Versions of the Depression Adjective Check Lists.

    ERIC Educational Resources Information Center

    Lubin, Bernard; And Others

    1980-01-01

    The study aimed to develop an instrument that could be used for mental health research with Spanish-speaking populations. The Depression Adjective Check Lists (DACL) used to measure depressive mood was translated into Spanish and administered to 70 Hispanic subjects. Reliability determinations were high and close to those for the English version.…

  5. Cascading parity-check error-correcting codes

    NASA Astrophysics Data System (ADS)

    Kanter, Ido; Saad, David

    2000-02-01

    A method for improving the performance of sparse-matrix based parity check codes is proposed, based on insight gained from methods of statistical physics. The advantages of this approach are demonstrated on an existing encoding/decoding paradigm suggested by Sourlas. We also discuss the application of the same method to more advanced codes of a similar type.

  6. Preservation Health Check: Monitoring Threats to Digital Repository Content

    ERIC Educational Resources Information Center

    Kool, Wouter; van der Werf, Titia; Lavoie, Brian

    2014-01-01

    The Preservation Health Check (PHC) project, undertaken as a joint effort by Open Planets Foundation (OPF) and OCLC Research, aims to evaluate the usefulness of the preservation metadata created and maintained by operational repositories for assessing basic preservation properties. The PHC project seeks to develop an implementable logic to support…

  7. 42 CFR 493.1254 - Standard: Maintenance and function checks.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 42 Public Health 5 2011-10-01 2011-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 Testing Analytic Systems §...

  8. Astronaut Harris checks response of muscles to microgravity

    NASA Technical Reports Server (NTRS)

    1995-01-01

    With astronaut Janice E. Voss, STS-63 mission specialist, as his test subject, astronaut Bernard A. Harris Jr., payload commander and a physician, uses a special biomedical harness/experiment to check the response of muscles to microgravity. They are on the middeck, where many of the Spacehab-3 experiments are located. The Spacehab-3 is in the cargo bay.

  9. Model Checking Coalition Nash Equilibria in MAD Distributed Systems

    NASA Astrophysics Data System (ADS)

    Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Alvisi, Lorenzo; Clement, Allen; Li, Harry

    We present two OBDD based model checking algorithms for the verification of Nash equilibria in finite state mechanisms modeling Multiple Administrative Domains (MAD) distributed systems with possibly colluding agents (coalitions) and with possibly faulty or malicious nodes (Byzantine agents). Given a finite state mechanism, a proposed protocol for each agent and the maximum sizes f for Byzantine agents and q for agents collusions, our model checkers return PASS if the proposed protocol is an ɛ-f-q-Nash equilibrium, i.e. no coalition of size up to q may have an interest greater than ɛ in deviating from the proposed protocol when up to f Byzantine agents are present, FAIL otherwise. We implemented our model checking algorithms within the NuSMV model checker: the first one explicitly checks equilibria for each coalition, while the second represents symbolically all coalitions. We present experimental results showing their effectiveness for moderate size mechanisms. For example, we can verify coalition Nash equilibria for mechanisms which corresponding normal form games would have more than 5 ×1021 entries. Moreover, we compare the two approaches, and the explicit algorithm turns out to outperform the symbolic one. To the best of our knowledge, no model checking algorithm for verification of Nash equilibria of mechanisms with coalitions has been previously published.

  10. 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 §...

  11. 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 §...

  12. 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 §...

  13. 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 §...

  14. 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 §...

  15. Russian and American International Space Station launch crews check equipment

    NASA Technical Reports Server (NTRS)

    1998-01-01

    (Left to right) Bob Behrendsen, Mod Flight Crew Systems, astronaut Kenneth Bowersox and cosmonaut Vladimir Dezhurov check out equipment for the International Space Station (ISS) in the Space Station Processing Facility. Bowersox and Dezhurov are targeted on mission STS-102 which is scheduled to transport the second Multi-Purpose Logistics Module to ISS.

  16. 75 FR 219 - Availability of Funds and Collection of Checks

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-05

    .... FOR FURTHER INFORMATION CONTACT: Jeffrey S. H. Yeganeh, Financial Services Manager (202/728-5801), or... Telecommunications Devices for the Deaf (TDD) only, contact 202/263-4869. SUPPLEMENTARY INFORMATION: Regulation CC...'' are defined in terms of ``check-processing regions''--the geographic areas served by a Federal...

  17. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 13 2014-01-01 2013-01-01 true Requesting TSA checks. 1944.540 Section 1944.540 Agriculture Regulations of the Department of Agriculture (Continued) RURAL HOUSING SERVICE, RURAL BUSINESS...) PROGRAM REGULATIONS (CONTINUED) HOUSING Technical and Supervisory Assistance Grants § 1944.540...

  18. 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 Agriculture Regulations of the Department of Agriculture (Continued) RURAL HOUSING SERVICE, RURAL BUSINESS...) PROGRAM REGULATIONS (CONTINUED) HOUSING Technical and Supervisory Assistance Grants § 1944.540...

  19. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 13 2012-01-01 2012-01-01 false Requesting TSA checks. 1944.540 Section 1944.540 Agriculture Regulations of the Department of Agriculture (Continued) RURAL HOUSING SERVICE, RURAL BUSINESS...) PROGRAM REGULATIONS (CONTINUED) HOUSING Technical and Supervisory Assistance Grants § 1944.540...

  20. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 13 2011-01-01 2009-01-01 true Requesting TSA checks. 1944.540 Section 1944.540 Agriculture Regulations of the Department of Agriculture (Continued) RURAL HOUSING SERVICE, RURAL BUSINESS...) PROGRAM REGULATIONS (CONTINUED) HOUSING Technical and Supervisory Assistance Grants § 1944.540...

  1. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 13 2013-01-01 2013-01-01 false Requesting TSA checks. 1944.540 Section 1944.540 Agriculture Regulations of the Department of Agriculture (Continued) RURAL HOUSING SERVICE, RURAL BUSINESS-COOPERATIVE SERVICE, RURAL UTILITIES SERVICE, AND FARM SERVICE AGENCY, DEPARTMENT OF AGRICULTURE (CONTINUED) PROGRAM REGULATIONS...

  2. 14 CFR 91.1051 - Pilot safety background check.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Pilot safety background check. 91.1051 Section 91.1051 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES GENERAL OPERATING AND FLIGHT RULES Fractional Ownership Operations Program Management § 91.1051...

  3. Concrete Model Checking with Abstract Matching and Refinement

    NASA Technical Reports Server (NTRS)

    Pasareanu Corina S.; Peianek Radek; Visser, Willem

    2005-01-01

    We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preserves errors to safety properties, since all analyzed behaviors are feasible by definition. The method does not require an abstract transition relation to he generated, but instead executes the concrete transitions while storing abstract versions of the concrete states, as specified by a set of abstraction predicates. For each explored transition. the method checks, with the help of a theorem prover, whether there is any loss of precision introduced by abstraction. The results of these checks are used to decide termination or to refine the abstraction, by generating new abstraction predicates. If the (possibly infinite) concrete system under analysis has a finite bisimulation quotient, then the method is guaranteed to eventually explore an equivalent finite bisimilar structure. We illustrate the application of the approach for checking concurrent programs. We also show how a lightweight variant can be used for efficient software testing.

  4. Homeland Security Initiatives and Background Checks in Higher Education

    ERIC Educational Resources Information Center

    Hughes, Stephanie; Keller, Eileen Weisenbach; Hertz, Giles T.

    2010-01-01

    In recent years, colleges and universities have faced a new challenge. While there has been a movement underway on college campuses to increase the safety of a wide range of university constituents through criminal background checks (CBCs), in most cases this movement has failed to include CBCs of foreign faculty and student populations. The…

  5. MINIMUM CHECK LIST FOR MECHANICAL PLANS AND SPECIFICATIONS.

    ERIC Educational Resources Information Center

    PIERCE, J.L.

    THIS BULLETIN HAS BEEN PREPARED FOR USE AS A MINIMUM CHECK LIST IN THE DEVELOPMENT AND REVIEW OF MECHANICAL AND ELECTRICAL PLANS AND SPECIFICATIONS BY ENGINEERS, ARCHITECTS, AND SUPERINTENDENTS IN PLANNING PUBLIC SCHOOL FACILITIES. THREE LEVELS OF GUIDELINES ARE MENTIONED--(1) MANDATORY BECAUSE OF LAW, CODE, OR REGULATION, (2) RECOMMENDED AS MOST…

  6. STS-107 crew members check out equipment at SPACEHAB

    NASA Technical Reports Server (NTRS)

    2000-01-01

    KENNEDY SPACE CENTER, FLA. -- Members of the STS-107 crew check out equipment at SPACEHAB. Beginning in the center are Mission Specialists Michael Anderson and Laurel Clark; at far right are Ilan Ramon, from Israel, and Kalpana Chawla. Identified as a research mission, STS-107 is scheduled for launch July 19, 2001

  7. 14 CFR Appendix F to Part 121 - Proficiency Check Requirements

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 3 2010-01-01 2010-01-01 false Proficiency Check Requirements F Appendix F... REQUIREMENTS: DOMESTIC, FLAG, AND SUPPLEMENTAL OPERATIONS Pt. 121, App. F Appendix F to Part 121—Proficiency... airman, whichever was completed later (e) Except as provided in paragraph (f) of this section, if...

  8. Afterbay, showing four discharge channels and four hydraulic gate check ...

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

    Afterbay, showing four discharge channels and four hydraulic gate check cylinders, one for each discharge pipe opening. The fifth bay at the left without a hydraulic cylinder is the outlet for the regulatory pumps added in 1972. The still well is visible at right - Wellton-Mohawk Irrigation System, Pumping Plant No. 3, South of Interstate 8, Wellton, Yuma County, AZ

  9. Minimum Check List for Mechanical and Electrical Plans & Specifications.

    ERIC Educational Resources Information Center

    North Carolina State Dept. of Public Instruction, Raleigh. Div. of School Facility Services.

    This is the fifth revision of the Minimum Check List since its origin in 1960 by North Carolina's School Planning. The checklist was developed to serve as a means of communication between school agencies and design professionals and has been widely used in the development and review of mechanical and electrical plans and specifications by…

  10. 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…

  11. 40 CFR 91.319 - NOX converter check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ...) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Emission Test Equipment Provisions § 91.319 NOX... 40 Protection of Environment 21 2012-07-01 2012-07-01 false NOX converter check. 91.319 Section 91... of the NO concentration). The NOX analyzer must be in the NO mode so that the span gas does not...

  12. 40 CFR 53.52 - Leak check test.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Leak check test. (a) Overview. In section 7.4.6 of 40 CFR part 50, appendix L, the sampler is required..., NIST-traceable. (2) Flow rate measurement adaptor (40 CFR part 50, appendix L, figure L-30) or... CFR part 50, appendix L. (d) Calibration of test measurement instruments. Submit documentation...

  13. Remedial Sheets for Progress Checks, Segments 19-40.

    ERIC Educational Resources Information Center

    New York Inst. of Tech., Old Westbury.

    The second part of the Self-Paced Physics Course remediation materials is presented for U. S. Naval Academy students who miss core problems on the progress check. The total of 101 problems is incorporated in this volume to match study segments 19 through 40. Each remedial sheet is composed of a statement of the missed problem and references to…

  14. 40 CFR 91.323 - Analyzer bench checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 20 2011-07-01 2011-07-01 false Analyzer bench checks. 91.323 Section 91.323 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Emission Test Equipment Provisions §...

  15. Geometric facial comparisons in speed-check photographs.

    PubMed

    Buck, Ursula; Naether, Silvio; Kreutz, Kerstin; Thali, Michael

    2011-11-01

    In many cases, it is not possible to call the motorists to account for their considerable excess in speeding, because they deny being the driver on the speed-check photograph. An anthropological comparison of facial features using a photo-to-photo comparison can be very difficult depending on the quality of the photographs. One difficulty of that analysis method is that the comparison photographs of the presumed driver are taken with a different camera or camera lens and from a different angle than for the speed-check photo. To take a comparison photograph with exactly the same camera setup is almost impossible. Therefore, only an imprecise comparison of the individual facial features is possible. The geometry and position of each facial feature, for example the distances between the eyes or the positions of the ears, etc., cannot be taken into consideration. We applied a new method using 3D laser scanning, optical surface digitalization, and photogrammetric calculation of the speed-check photo, which enables a geometric comparison. Thus, the influence of the focal length and the distortion of the objective lens are eliminated and the precise position and the viewing direction of the speed-check camera are calculated. Even in cases of low-quality images or when the face of the driver is partly hidden, good results are delivered using this method. This new method, Geometric Comparison, is evaluated and validated in a prepared study which is described in this article. PMID:20941628

  16. VIEW OF DOWNSTREAM SIDE OF CHECK DAM, CONCRETE SPILLWAY WITH ...

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

    VIEW OF DOWNSTREAM SIDE OF CHECK DAM, CONCRETE SPILLWAY WITH MORTARED ROCK WALLS, AND CIPPOLETTI WEIR ON TUMALO RESERVOIR FEED CANAL NEAR COLLINS ROAD (IN BACKGROUND). LOOKING NORTHEAST - Tumalo Irrigation District, Tumalo Project, West of Deschutes River, Tumalo, Deschutes County, OR

  17. Mobile vehicle road and weather observation quality check methods

    NASA Astrophysics Data System (ADS)

    Koller, Daniel Raymond

    data quality and accuracy, requiring the development of quality checks for mobile data collection. Using OBDII-equipped automobiles and mobile collection methods, we can begin to address issues of data quality by understanding, characterizing, and demonstrating the quality of mobile system observations from operational and research environments. Several forms of quality checking can be used, including range checks, Barnes spatial checks, comparing vehicle data to road weather models, and applying Clarus quality check methodologies and algorithms to mobile observations. Development of these quality checks can lead to the future integration of mobile data into the Clarus system, data implementation for improved forecasting, maintenance decision support, and traveler safety. This paper will discuss the benefits and challenges in mobile data collection, along with how the development and implementation of a system of quality checks will improve the quality and accuracy of mobile data collection.

  18. 14 CFR 135.301 - Crewmember: Tests and checks, grace provisions, training to accepted standards.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... PERSONS ON BOARD SUCH AIRCRAFT Crewmember Testing Requirements § 135.301 Crewmember: Tests and checks... test or check in the calendar month in which it is required. (b) If a pilot being checked under this... the pilot during the course of the check. In addition to repeating the maneuvers failed, the...

  19. 76 FR 35103 - Training and Qualification Requirements for Check Airmen and Flight Instructors; Technical Amendment

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-06-16

    ... Qualification Requirements for Check Airmen and Flight Instructors'' (61 FR 30734). In that final rule the FAA... Requirements for Check Airmen and Flight Instructors; Technical Amendment AGENCY: Federal Aviation... regarding separate requirements for check airmen who check only in flight simulators and flight...

  20. A human retrieval study of plasma-sprayed hydroxyapatite-coated plateau root form implants after 2 months to 13 years in function.

    PubMed

    Coelho, Paulo G; Bonfante, Estevam A; Marin, Charles; Granato, Rodrigo; Giro, Gabriela; Suzuki, Marcelo

    2010-01-01

    Calcium phosphate-based bioactive ceramics in various physical and chemical formulations have been extensively utilized as biomaterials for bone regeneration/conduction. However, the determination of their in vivo temporal behavior from the short to long term in humans has been a challenge due to the lack of physical reference for morphologic and morphometric evaluation. The present study evaluated bone morphology and morphometry (bone-to-implant contact [BIC]) around plasma-sprayed hydroxyapatite (PSHA)-coated endosseous implants that were retrieved due to prosthetic reasons while successfully in function at the posterior region of the jaws from as early as 2 months to ∼13 years after a 6-month healing period after placement. Bone morphology was evaluated by light microscopy, and BIC was determined using computer software. Irrespective of the time in vivo, lamellar bone was observed in close contact with the implant PSHA-coated surface and between plateaus. BIC ranged from ∼35-95%, was highly directional, and Haversian-like osteonic morphology between plateaus was observed for most implants. The PSHA coating was present with little variation in thickness between the samples retrieved regardless of time in vivo. PMID:21488826

  1. Safety and Efficacy of Gadoxetate Disodium–Enhanced Liver MRI in Pediatric Patients Aged >2 Months to <18 Years—Results of a Retrospective, Multicenter Study

    PubMed Central

    Geller, James; Kasahara, Mureo; Martinez, Mercedes; Soresina, Annarosa; Kashanian, Fran; Endrikat, Jan

    2016-01-01

    PURPOSE To assess the safety and efficacy of gadoxetate disodium–enhanced liver MR imaging in pediatric patients. MATERIAL AND METHODS Retrospective, multicenter study including pediatric patients aged >2 months to <18 years who underwent contrast-enhanced liver MRI due to focal liver lesions. A single intravenous bolus injection of 0.025 to 0.05 mmol/kg body weight of gadoxetate disodium was administered. Adverse events (AEs) up to 24 hours after injection were recorded and a one-year follow-up was conducted for all serious and unexpected AEs. Efficacy was defined based on the additional diagnostic information obtained from the combined (pre- and postcontrast) image sets as compared with the precontrast image sets by blinded reading. RESULTS A total of 52 patients for safety and 51 patients for efficacy analyses were evaluated. Twenty-two patients (42.3%) reported a total of 51 serious AEs (SAEs) and one AE after one year. No SAE or AE was related to gadoxetate disodium injection. Gadoxetate disodium–related effects on vital signs were not seen. Additional diagnostic information was obtained for 86.3% of patients. The three most improved efficacy variables were lesion-to-background contrast, lesion characterization, and improved border delineation in 78.4%, 76.5%, and 70.6% of patients, respectively. CONCLUSION Gadoxetate disodium in pediatric patients did not raise any clinically significant safety concern. Contrast enhancement provided additional clinically relevant information. PMID:27478381

  2. FPGA-Based, Self-Checking, Fault-Tolerant Computers

    NASA Technical Reports Server (NTRS)

    Some, Raphael; Rennels, David

    2004-01-01

    A proposed computer architecture would exploit the capabilities of commercially available field-programmable gate arrays (FPGAs) to enable computers to detect and recover from bit errors. The main purpose of the proposed architecture is to enable fault-tolerant computing in the presence of single-event upsets (SEUs). [An SEU is a spurious bit flip (also called a soft error) caused by a single impact of ionizing radiation.] The architecture would also enable recovery from some soft errors caused by electrical transients and, to some extent, from intermittent and permanent (hard) errors caused by aging of electronic components. A typical FPGA of the current generation contains one or more complete processor cores, memories, and highspeed serial input/output (I/O) channels, making it possible to shrink a board-level processor node to a single integrated-circuit chip. Custom, highly efficient microcontrollers, general-purpose computers, custom I/O processors, and signal processors can be rapidly and efficiently implemented by use of FPGAs. Unfortunately, FPGAs are susceptible to SEUs. Prior efforts to mitigate the effects of SEUs have yielded solutions that degrade performance of the system and require support from external hardware and software. In comparison with other fault-tolerant- computing architectures (e.g., triple modular redundancy), the proposed architecture could be implemented with less circuitry and lower power demand. Moreover, the fault-tolerant computing functions would require only minimal support from circuitry outside the central processing units (CPUs) of computers, would not require any software support, and would be largely transparent to software and to other computer hardware. There would be two types of modules: a self-checking processor module and a memory system (see figure). The self-checking processor module would be implemented on a single FPGA and would be capable of detecting its own internal errors. It would contain two CPUs executing

  3. Check dams effects on sediment transport in steep slope flume

    NASA Astrophysics Data System (ADS)

    Piton, Guillaume; Recking, Alain

    2014-05-01

    Depending on many influences (geology, relief, hydrology, land use, etc.) some mountainous watershed are prone to cause casualties and facilities damages. Large amounts of sediments episodically released by torrents are often the biggest problem in torrent related hazard mitigation. Series of transversal structures as check dams and ground sills are often used in the panel of risk mitigation technics. A large literature exits on check dams and it mainly concerns engineering design, e.g. toe scouring, stability stress diagram, changes in upper and lower reaches equilibrium slopes. Check dams in steep slope rivers constitute fixed points in the bed profile and prevent general bed incision. However their influence on sediment transport once they are filled is not yet clear. Two flume test campaigns, synthetize in Table 1, were performed to investigate this question: Table 1 : experiment plan Run (duration) Ref1 (50h)CD1a (30h)CD1b (30h)Ref2 (92h)CD2 (18h) Solid feeding discharge (g.s^-1) 44 44 44 60 60 Number of check dams none 1 3 none 2 A nearly 5-m-long, 10-cm-wide and 12%-steep flume was used. The water discharge was set to 0,55 l/s in all runs. A mixture of poorly sorted natural sediments with diameters between 0.8 and 40 mm was used. An open solid-discharge-feeding circuit kept the inlet sediment flux constant during all experiments. As both feeding rates did not present variation, changes in outlet solid discharge were assumed to be due to bed variations in the bed storage. We observed strong fluctuations of solid flux and slope in each reaches of all runs between: (i) steep aggradating armoured bed and (ii) less steep and finer bed releasing bedload sheets during erosion events and inducing bedload pulses. All experiments showed consistent results: transported volume associated with erosion event decreased with the length between two subsequent check dams. Solid transversal structures shorten the upstream erosion-propagation and avoid downstream change in the

  4. Shuttle Atlantis is used for Safe Haven fit check

    NASA Technical Reports Server (NTRS)

    2000-01-01

    Just after sunup, Shuttle Atlantis sits outside the Vehicle Assembly Building's (VAB) high bay 2 on the building's west side after completing a fit check . This is the first time in Space Shuttle history that a fully stacked Shuttle is being moved into the space. The VAB and nearby rock-paved crawlerway have recently undergone major modifications to provide Shuttle flight hardware more storage space and protection 'Safe Haven' - from hurricanes or tropical storms. Atlantis, the twin solid rocket boosters and external tank began moving out of VAB high bay 1 on the east side at 2:59 a.m. EDT. The 6-million pound crawler transporter carried the Mobile Launcher Platform and Space Shuttle around the north side of the VAB and into high bay 2. After the successful Safe Haven fit check, Shuttle Atlantis is scheduled to roll out to Launch Pad 39B in preparation for the STS-106 launch on Sept. 8.

  5. Immune Check Point Inhibitors Combination in Melanoma: Worth the Toxicity?

    PubMed

    Orloff, Marlana; Weight, Ryan; Valsecchi, Matias E; Sato, Takami

    2016-01-01

    The combination of immune checkpoint inhibitors ipilimumab and nivolumab has been recently been FDA approved for first line treatment of unresectable and metastatic BRAF wild type melanoma. The approval came following the impressive results of the CheckMate 067, where the combination of ipilimumab and nivolumab appeared to outperform each as a single agent in regards to response rate and progression free survival. Though we await final overall survival data, the combination will likely be adapted by many oncologists and integrated into the ever changing melanoma treatment algorithm. In this article we aim to summarize the data leading up to the recent FDA approval and publication by Larkin et al. that presents the results from the CheckMate 067 trial. We will also further explore the feasibility, challenges, and applicability of combination immune checkpoint inhibitor therapy. PMID:27028970

  6. Non-trivial checks of novel consistency relations

    SciTech Connect

    Berezhiani, Lasha; Khoury, Justin; Wang, Junpu E-mail: jkhoury@sas.upenn.edu

    2014-06-01

    Single-field perturbations satisfy an infinite number of consistency relations constraining the squeezed limit of correlation functions at each order in the soft momentum. These can be understood as Ward identities for an infinite set of residual global symmetries, or equivalently as Slavnov-Taylor identities for spatial diffeomorphisms. In this paper, we perform a number of novel, non-trivial checks of the identities in the context of single field inflationary models with arbitrary sound speed. We focus for concreteness on identities involving 3-point functions with a soft external mode, and consider all possible scalar and tensor combinations for the hard-momentum modes. In all these cases, we check the consistency relations up to and including cubic order in the soft momentum. For this purpose, we compute for the first time the 3-point functions involving 2 scalars and 1 tensor, as well as 2 tensors and 1 scalar, for arbitrary sound speed.

  7. Langley Wind Tunnel Data Quality Assurance-Check Standard Results

    NASA Technical Reports Server (NTRS)

    Hemsch, Michael J.; Grubb, John P.; Krieger, William B.; Cler, Daniel L.

    2000-01-01

    A framework for statistical evaluation, control and improvement of wind funnel measurement processes is presented The methodology is adapted from elements of the Measurement Assurance Plans developed by the National Bureau of Standards (now the National Institute of Standards and Technology) for standards and calibration laboratories. The present methodology is based on the notions of statistical quality control (SQC) together with check standard testing and a small number of customer repeat-run sets. The results of check standard and customer repeat-run -sets are analyzed using the statistical control chart-methods of Walter A. Shewhart long familiar to the SQC community. Control chart results are presented for. various measurement processes in five facilities at Langley Research Center. The processes include test section calibration, force and moment measurements with a balance, and instrument calibration.

  8. Model Checking for Verification of Interactive Health IT Systems

    PubMed Central

    Butler, Keith A.; Mercer, Eric; Bahrami, Ali; Tao, Cui

    2015-01-01

    Rigorous methods for design and verification of health IT systems have lagged far behind their proliferation. The inherent technical complexity of healthcare, combined with the added complexity of health information technology makes their resulting behavior unpredictable and introduces serious risk. We propose to mitigate this risk by formalizing the relationship between HIT and the conceptual work that increasingly typifies modern care. We introduce new techniques for modeling clinical workflows and the conceptual products within them that allow established, powerful modeling checking technology to be applied to interactive health IT systems. The new capability can evaluate the workflows of a new HIT system performed by clinicians and computers to improve safety and reliability. We demonstrate the method on a patient contact system to demonstrate model checking is effective for interactive systems and that much of it can be automated. PMID:26958166

  9. Does Subjective Rating Reflect Behavioural Coding? Personality in 2 Month-Old Dog Puppies: An Open-Field Test and Adjective-Based Questionnaire

    PubMed Central

    Passalacqua, Chiara; Beghelli, Valentina; Capra, Alexa; Normando, Simona; Pelosi, Annalisa; Valsecchi, Paola

    2016-01-01

    A number of studies have recently investigated personality traits in non-human species, with the dog gaining popularity as a subject species for research in this area. Recent research has shown the consistency of personality traits across both context and time for adult dogs, both when using questionnaire based methods of investigation and behavioural analyses of the dogs’ behaviour. However, only a few studies have assessed the correspondence between these two methods, with results varying considerably across studies. Furthermore, most studies have focused on adult dogs, despite the fact that an understanding of personality traits in young puppies may be important for research focusing on the genetic basis of personality traits. In the current study, we sought to evaluate the correspondence between a questionnaire based method and the in depth analyses of the behaviour of 2-month old puppies in an open-field test in which a number of both social and non-social stimuli were presented to the subjects. We further evaluated consistency of traits over time by re-testing a subset of puppies. The correspondence between methods was high and test- retest consistency (for the main trait) was also good using both evaluation methods. Results showed clear factors referring to the two main personality traits ‘extroversion,’ (i.e. the enthusiastic, exuberant approach to the stimuli) and ‘neuroticism,’ (i.e. the more cautious and fearful approach to the stimuli), potentially similar to the shyness-boldness dimension found in previous studies. Furthermore, both methods identified an ‘amicability’ dimension, expressing the positive interactions the pups directed at the humans stranger, and a ‘reservedness’ dimension which identified pups who largely chose not to interact with the stimuli, and were defined as quiet and not nosey in the questionnaire. PMID:26977588

  10. Does Subjective Rating Reflect Behavioural Coding? Personality in 2 Month-Old Dog Puppies: An Open-Field Test and Adjective-Based Questionnaire.

    PubMed

    Barnard, Shanis; Marshall-Pescini, Sarah; Passalacqua, Chiara; Beghelli, Valentina; Capra, Alexa; Normando, Simona; Pelosi, Annalisa; Valsecchi, Paola

    2016-01-01

    A number of studies have recently investigated personality traits in non-human species, with the dog gaining popularity as a subject species for research in this area. Recent research has shown the consistency of personality traits across both context and time for adult dogs, both when using questionnaire based methods of investigation and behavioural analyses of the dogs' behaviour. However, only a few studies have assessed the correspondence between these two methods, with results varying considerably across studies. Furthermore, most studies have focused on adult dogs, despite the fact that an understanding of personality traits in young puppies may be important for research focusing on the genetic basis of personality traits. In the current study, we sought to evaluate the correspondence between a questionnaire based method and the in depth analyses of the behaviour of 2-month old puppies in an open-field test in which a number of both social and non-social stimuli were presented to the subjects. We further evaluated consistency of traits over time by re-testing a subset of puppies. The correspondence between methods was high and test- retest consistency (for the main trait) was also good using both evaluation methods. Results showed clear factors referring to the two main personality traits 'extroversion,' (i.e. the enthusiastic, exuberant approach to the stimuli) and 'neuroticism,' (i.e. the more cautious and fearful approach to the stimuli), potentially similar to the shyness-boldness dimension found in previous studies. Furthermore, both methods identified an 'amicability' dimension, expressing the positive interactions the pups directed at the humans stranger, and a 'reservedness' dimension which identified pups who largely chose not to interact with the stimuli, and were defined as quiet and not nosey in the questionnaire. PMID:26977588

  11. Logic Model Checking of Unintended Acceleration Claims in Toyota Vehicles

    NASA Technical Reports Server (NTRS)

    Gamble, Ed

    2012-01-01

    Part of the US Department of Transportation investigation of Toyota sudden unintended acceleration (SUA) involved analysis of the throttle control software, JPL Laboratory for Reliable Software applied several techniques including static analysis and logic model checking, to the software; A handful of logic models were build, Some weaknesses were identified; however, no cause for SUA was found; The full NASA report includes numerous other analyses

  12. Time-of-flight spectroscopy: energy calibration and consistensy check

    NASA Astrophysics Data System (ADS)

    Stunault, A.; Andersen, K. H.; Blanc, Y.; Fåk, B.; Godfrin, H.; Guckelsberger, K.; Scherm, R.

    1992-06-01

    A method for calibration of the energy transfers at a time-of-flight (TOF) spectrometer is presented: flight pamths and wavelength are determined to 10 -3 using the arrival times of neutron pulses and prompt capture γs from the sample. We also developed a method to check the reproducibility of a series of TFO data sets, each with over 50 000 data points.

  13. MARINER 9 SPACE PROBE UNDERGOES FINAL CHECKS PRIOR TO ENCAPSULATION

    NASA Technical Reports Server (NTRS)

    1971-01-01

    A technician checks the Mariner I spacecraft prior to its encapsulation for launch to Mars. An Atlas-Centaur rocket successfully launched the mars-bound spacecraft from Cape Kennedy at 6:23 p.m. EDT, May 30, 1971. Designated Mariner 9 following launch, the probe will arrive at Mars in mid-November. It will transmit scientific data about that planet's surface and atmosphere.

  14. Proof Validation in Real Analysis: Inferring and Checking Warrants

    ERIC Educational Resources Information Center

    Alcock, Lara; Weber, Keith

    2005-01-01

    In the study reported here, we investigate the skills needed to validate a proof in real analysis, i.e., to determine whether a proof is valid. We first argue that when one is validating a proof, it is not sufficient to make certain that each statement in the argument is true. One must also check that there is good reason to believe that each…

  15. An Adaptive Buddy Check for Observational Quality Control

    NASA Technical Reports Server (NTRS)

    Dee, Dick P.; Rukhovets, Leonid; Todling, Ricardo; DaSilva, Arlindo M.; Larson, Jay W.; Einaudi, Franco (Technical Monitor)

    2000-01-01

    An adaptive buddy check algorithm is presented that adjusts tolerances for outlier observations based on the variability of surrounding data. The algorithm derives from a statistical hypothesis test combined with maximum-likelihood covariance estimation. Its stability is shown to depend on the initial identification of outliers by a simple background check. The adaptive feature ensures that the final quality control decisions are not very sensitive to prescribed statistics of first-guess and observation errors, nor on other approximations introduced into the algorithm. The implementation of the algorithm in a global atmospheric data assimilation is described. Its performance is contrasted with that of a non-adaptive buddy check, for the surface analysis of an extreme storm that took place in Europe on 27 December 1999. The adaptive algorithm allowed the inclusion of many important observations that differed greatly from the first guess and that would have been excluded on the basis of prescribed statistics. The analysis of the storm development was much improved as a result of these additional observations.

  16. Correctness of Sensor Network Applications by Software Bounded Model Checking

    NASA Astrophysics Data System (ADS)

    Werner, Frank; Faragó, David

    We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior model from a network protocol (ESAWN) implementation in a WSN development and deployment platform (TinyOS), which is used to rigorously verify the protocol. Our work is a proof of concept that automatic verification of programs of practical size (≈ 21 000 LoC) and complexity is possible with CBMC and can be integrated into TinyOS. The developer can automatically check for pointer dereference and array index out of bound errors. She can also check additional, e.g., functional, properties that she provides by assume- and assert-statements. This experience paper shows that our approach is in general feasible since we managed to verify about half of the properties. We made the verification process scalable in the size of the code by abstraction (eg, from hardware) and by simplification heuristics. The latter also achieved scalability in data type complexity for the properties that were verifiable. The others require technical advancements for complex data types within CBMC's core.

  17. SU8 diaphragm micropump with monolithically integrated cantilever check valves.

    PubMed

    Ezkerra, Aitor; Fernández, Luis José; Mayora, Kepa; Ruano-López, Jesús Miguel

    2011-10-01

    This paper presents a SU8 unidirectional diaphragm micropump with embedded out-of-plane cantilever check valves. The device represents a reliable and low-cost solution for integration of microfluidic control in lab-on-a-chip devices. Its planar architecture allows monolithic definition of its components in a single step and potential integration with previously reported PCR, electrophoresis and flow-sensing SU8 microdevices. Pneumatic actuation is applied on a PDMS diaphragm, which is bonded to the SU8 body at wafer level, further enhancing its integration and mass production capabilities. The cantilever check valves move synchronously with the diaphragm, feature fast response (10ms), low dead volume (86nl) and a 94% flow blockage up to 300kPa. The micropump achieves a maximum flow rate of 177 μl min(-1) at 6 Hz and 200 kPa with an effective area of 10 mm(2). The device is reliable, self-priming and tolerant to particles and big bubbles. To the knowledge of the authors, this is the first micropump in SU8 with monolithically integrated cantilever check valves. PMID:21853192

  18. Assembly-line health check up in digitalized hospital.

    PubMed

    Liu, Yalan; Yao, Bin; Zhang, Zigang

    2002-01-01

    The health check up flow of digital hospital can be consulted with the assembly line of industry factory. Because they have the following same features: highly specialized workstation, closeness and continuance, rhythm, balanced production, continuous production. The essential prerequisites are as the follows: The inspecting items and methods should be stable; advanced product mix and stable production design; standardized raw material, consumption, procedure, inspection method; there are lots of request for health inspection; the customers move at the least unit; the space arrangement should be reasonable; the time arrangement should be proportion. With the computer net, the digital inspection can achieves the raw material controlling accurately. The basis of check up line concerns about equipment, net and software, data collection, and personnel. The group technology is used in the health inspection flow design of the digital hospital in the field of items customers and zone redivided. The digital assembly linemic health inspect has the following stages: member registering, notice, check in, arrange order, time control, report, feedback and analysis. The assembly linemic has following advantages: increasing the productivity, the space utility, satisfaction of customer, fund returning, lowering the cost and ensuring the quality. PMID:12674786

  19. Approximating Attractors of Boolean Networks by Iterative CTL Model Checking

    PubMed Central

    Klarner, Hannes; Siebert, Heike

    2015-01-01

    This paper introduces the notion of approximating asynchronous attractors of Boolean networks by minimal trap spaces. We define three criteria for determining the quality of an approximation: “faithfulness” which requires that the oscillating variables of all attractors in a trap space correspond to their dimensions, “univocality” which requires that there is a unique attractor in each trap space, and “completeness” which requires that there are no attractors outside of a given set of trap spaces. Each is a reachability property for which we give equivalent model checking queries. Whereas faithfulness and univocality can be decided by model checking the corresponding subnetworks, the naive query for completeness must be evaluated on the full state space. Our main result is an alternative approach which is based on the iterative refinement of an initially poor approximation. The algorithm detects so-called autonomous sets in the interaction graph, variables that contain all their regulators, and considers their intersection and extension in order to perform model checking on the smallest possible state spaces. A benchmark, in which we apply the algorithm to 18 published Boolean networks, is given. In each case, the minimal trap spaces are faithful, univocal, and complete, which suggests that they are in general good approximations for the asymptotics of Boolean networks. PMID:26442247

  20. A magnetically driven PDMS micropump with ball check-valves

    NASA Astrophysics Data System (ADS)

    Pan, Tingrui; McDonald, Scott J.; Kai, Eleanor M.; Ziaie, Babak

    2005-05-01

    In this paper, we present a low-cost, PDMS-membrane micropump with two one-way ball check-valves for lab-on-a-chip and microfluidic applications. The micropump consists of two functional PDMS layers, one holding the ball check-valves and an actuating chamber, and the other covering the chamber and holding a miniature permanent magnet on top for actuation. An additional PDMS layer is used to cover the top magnet, and thereby encapsulate the entire device. A simple approach was used to assemble a high-performance ball check-valve using a micropipette and heat shrink tubing. The micropump can be driven by an external magnetic force provided by another permanent magnet or an integrated coil. In the first driving scheme, a small dc motor (6 mm in diameter and 15 mm in length) with a neodymium-iron-boron permanent magnet embedded in its shaft was used to actuate the membrane-mounted magnet. This driving method yielded a large pumping rate with very low power consumption. A maximum pumping rate of 774 µL min-1 for deionized water was achieved at the input power of 13 mW, the highest pumping rate reported in the literature for micropumps at such power consumptions. Alternatively, we actuated the micropump with a 10-turn planar coil fabricated on a PC board. This method resulted in a higher pumping rate of 1 mL min-1 for deionized water. Although more integratable and compact, the planar microcoil driving technique has a much higher power consumption.

  1. Mobile Attendance Checking System on Android Platform for Kazakhstani University

    NASA Astrophysics Data System (ADS)

    Saparkhojayev, N.; Shakhov, E.; Mailybayev, Y.

    2016-04-01

    In the 21st century-the century of Information Technology, it is difficult to imagine life without any gadgets: phones, tablets, computers, laptops, and so on. Today, smartphones and tablets are becoming popular, and thus their operating systems become popular too. Android is designed for low-power devices that run on battery power at full capacity, using all of its services, such as cameras, lights, GPS navigation, Wi-Fi, etc. In Kazakhstani universities, the process of checking students’ attendance is one of the important issues, because final grade evaluation of students is based on their total number of appearances and their grades during the whole semester. This raises the question of having some tool to control students’ attendance. There are many possible ways of controlling attendance: there are many examples when universities prefer to control attendance by the use of paper sheet, and some universities prefer to use two-stage way of controlling attendance: firstly, teachers and professors use paper sheet for checking students’ attendance and after this, they fill out these information into a system manually. However, this is not an efficient way since there will be spent much of time for calling students names and putting marks like “presence” or “absence” if the class is a lecture class, and in this class at least 5 groups are presented. Furthermore, some students may call his/her friend as “presence” nevertheless to the fact that this student is currently absent. After taking into consideration all these issues and the fact that many gadgets use Android platform, authors of the following research paper decided to create a mobile system that makes easier to check students’ attendance automatically, and this system is implemented in Almaty Management University, Kazakhstan. The system is based on Android platform, and in this paper, details of this system are presented.

  2. 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

  3. An efficient decoding for low density parity check codes

    NASA Astrophysics Data System (ADS)

    Zhao, Ling; Zhang, Xiaolin; Zhu, Manjie

    2009-12-01

    Low density parity check (LDPC) codes are a class of forward-error-correction codes. They are among the best-known codes capable of achieving low bit error rates (BER) approaching Shannon's capacity limit. Recently, LDPC codes have been adopted by the European Digital Video Broadcasting (DVB-S2) standard, and have also been proposed for the emerging IEEE 802.16 fixed and mobile broadband wireless-access standard. The consultative committee for space data system (CCSDS) has also recommended using LDPC codes in the deep space communications and near-earth communications. It is obvious that LDPC codes will be widely used in wired and wireless communication, magnetic recording, optical networking, DVB, and other fields in the near future. Efficient hardware implementation of LDPC codes is of great interest since LDPC codes are being considered for a wide range of applications. This paper presents an efficient partially parallel decoder architecture suited for quasi-cyclic (QC) LDPC codes using Belief propagation algorithm for decoding. Algorithmic transformation and architectural level optimization are incorporated to reduce the critical path. First, analyze the check matrix of LDPC code, to find out the relationship between the row weight and the column weight. And then, the sharing level of the check node updating units (CNU) and the variable node updating units (VNU) are determined according to the relationship. After that, rearrange the CNU and the VNU, and divide them into several smaller parts, with the help of some assistant logic circuit, these smaller parts can be grouped into CNU during the check node update processing and grouped into VNU during the variable node update processing. These smaller parts are called node update kernel units (NKU) and the assistant logic circuit are called node update auxiliary unit (NAU). With NAUs' help, the two steps of iteration operation are completed by NKUs, which brings in great hardware resource reduction. Meanwhile

  4. Performance of Low-Density Parity-Check Coded Modulation

    NASA Technical Reports Server (NTRS)

    Hamkins, Jon

    2010-01-01

    This paper reports the simulated performance of each of the nine accumulate-repeat-4-jagged-accumulate (AR4JA) low-density parity-check (LDPC) codes [3] when used in conjunction with binary phase-shift-keying (BPSK), quadrature PSK (QPSK), 8-PSK, 16-ary amplitude PSK (16- APSK), and 32-APSK.We also report the performance under various mappings of bits to modulation symbols, 16-APSK and 32-APSK ring scalings, log-likelihood ratio (LLR) approximations, and decoder variations. One of the simple and well-performing LLR approximations can be expressed in a general equation that applies to all of the modulation types.

  5. Shuttle Atlantis is used for Safe Haven fit check

    NASA Technical Reports Server (NTRS)

    2000-01-01

    For the first time in Space Shuttle history, a fully stacked Shuttle Atlantis moves into high bay 2 (on the west side) of the Vehicle Assembly Building (VAB). The VAB and nearby rock- paved crawlerway have recently undergone major modifications to provide Shuttle flight hardware more storage space and protection '''Safe Haven''' - from hurricanes or tropical storms. Atlantis began moving out of VAB high bay 1 on the east side at 2:59 a.m. EDT. After the successful Safe Haven fit check, Shuttle Atlantis is scheduled to roll out to Launch Pad 39B in preparation for the STS-106 launch on Sept. 8.

  6. [Exploration of visual check approaches in clinical data management].

    PubMed

    Chen, Jun-chao; Liu, Hong-xia; He, Ying-chun; Zheng, Qing-shan

    2015-11-01

    Due to a great amount of data in clinical trials, the data cleansing needs to adopt a variety of measures, including the latest developed visual check approach. According to the different types of clinical data and the different stages in the course of clinical data management, this study reviews 8 types of visual graphics that show the relevance and trend among the data. The series of graphics can rapidly detect abnormal data, monitor clinical research in real-time, make the data management process much easier and improve the clinical trial efficiency and data quality. PMID:26911042

  7. 208. Several of these checking stations, erected for feecollection purposes ...

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

    208. Several of these checking stations, erected for fee-collection purposes but never authorized to operate as such, were constructed on the parkway in the 1950's. They provided information on area accommodations. Locations included Rockfish Valley, Adney Gap, north and south of Roanoke, Asheville near Biltmore, and by the Oconaluftee River. All were removed by the 1980's, after cars ran into two structures and demolished them. The islands where these were located are now used for Pillar of Truth information displays. - Blue Ridge Parkway, Between Shenandoah National Park & Great Smoky Mountains, Asheville, Buncombe County, NC

  8. Astronaut Charles Conrad checks out Human Vestibular Function experiment

    NASA Technical Reports Server (NTRS)

    1973-01-01

    Astronaut Charles Conrad Jr., commander of the first manned Skylab mission, checks out the Human Vestibular Function, Experiment M131, during Skylab training at JSC. Conrad is in the work and experiments compartment of the crew quarters of the Skylab Orbital Workshop (OWS) trainer at JSC. The reference sphere with a magnetic rod is used by the astronaut to indicate body orientation non-visually. The litter chair in which he is seated can be rotated by a motor at its base or, when not being rotated, can tilt forward, backward or to either side.

  9. STS-102 MS Richards has launch suit checked during TCDT

    NASA Technical Reports Server (NTRS)

    2001-01-01

    STS-102 Mission Specialist Paul Richards has his launch suit checked for fit in the Operations and Checkout Building. The crew is at KSC to take part in Terminal Countdown Demonstration Test activities, which include emergency exit from the launch pad and a simulated launch countdown. STS-102 is the eighth construction flight to the International Space Station, carrying as payload the Multi-Purpose Logistics Module Leonardo. In addition, the Expedition Two crew will be on board, heading to the Space station for a four-month tenure. The Expedition One crew will return to Earth aboard Discovery. Launch on mission STS-102 is scheduled for March 8

  10. Critical noise levels for low-density parity check decoding

    NASA Astrophysics Data System (ADS)

    Mourik, J. Van; Saad, D.; Kabashima, Y.

    2002-08-01

    We determine the critical noise level for decoding low-density parity check error-correcting codes based on the magnetization enumerator (M), rather than on the weight enumerator (W) employed in the information theory literature. The interpretation of our method is appealingly simple, and the relation between the different decoding schemes such as typical pairs decoding, MAP, and finite temperature decoding (MPM) becomes clear. In addition, our analysis provides an explanation for the difference in performance between MN and Gallager codes. Our results are more optimistic than those derived using the methods of information theory and are in excellent agreement with recent results from another statistical physics approach.

  11. Introduction of Virtualization Technology to Multi-Process Model Checking

    NASA Technical Reports Server (NTRS)

    Leungwattanakit, Watcharin; Artho, Cyrille; Hagiya, Masami; Tanabe, Yoshinori; Yamamoto, Mitsuharu

    2009-01-01

    Model checkers find failures in software by exploring every possible execution schedule. Java PathFinder (JPF), a Java model checker, has been extended recently to cover networked applications by caching data transferred in a communication channel. A target process is executed by JPF, whereas its peer process runs on a regular virtual machine outside. However, non-deterministic target programs may produce different output data in each schedule, causing the cache to restart the peer process to handle the different set of data. Virtualization tools could help us restore previous states of peers, eliminating peer restart. This paper proposes the application of virtualization technology to networked model checking, concentrating on JPF.

  12. The Modern Measurement Technology And Checking Of Shafs Parameters

    NASA Astrophysics Data System (ADS)

    Tichá, Šárka; Botek, Jan

    2015-12-01

    This paper is focused on rationalization checking parameters of shaft in companies engaged in the production of components of electric motors, wind turbines and vacuum systems. Customers increasing constantly their requirements to ensure the overall quality of the product, i.e. the quality of machining, dimensional and shape accuracy and overall purity of the subscribed products. The aim of this paper is to introduce using modern measurement technology in controlling these components and compare the results with existing control methodology. The main objective of this rationalization is to eliminate mistakes and shortcomings of current inspection methods.

  13. Checks of asymptotia in pp elastic scattering at LHC

    NASA Astrophysics Data System (ADS)

    Grau, Agnes; Pacetti, Simone; Pancheri, Giulia; Srivastava, Yogendra N.

    2012-07-01

    We parametrize TOTEM data for the elastic differential pp cross section at √{s}=7 TeV in terms of two exponentials with a relative phase. We employ two previously derived sum rules for pp elastic scattering amplitude in impact parameter space to check whether asymptotia has been reached at the LHC. A detailed study of the TOTEM data for the elastic differential cross section at √{s}=7 TeV is made and it is shown that, within errors, the asymptotic sum rules are satisfied at LHC. We propose to use this parametrization to study forthcoming higher energy data.

  14. Parallelizing a Symbolic Compositional Model-Checking Algorithm

    NASA Astrophysics Data System (ADS)

    Cohen, Ariel; Namjoshi, Kedar S.; Sa'Ar, Yaniv; Zuck, Lenore D.; Kisyova, Katya I.

    We describe a parallel, symbolic, model-checking algorithm, built around a compositional reasoning method. The method constructs a collection of per-process (i.e., local) invariants, which together imply a desired global safety property. The local invariant computation is a simultaneous fixpoint evaluation, which easily lends itself to parallelization. Moreover, locality of reasoning helps limit both the frequency and the amount of cross-thread synchronization, leading to good parallel performance. Experimental results show that the parallelized computation can achieve substantial speed-up, with reasonably small memory overhead.

  15. STS-104 MS Gernhardt has suit check during TCDT

    NASA Technical Reports Server (NTRS)

    2001-01-01

    KENNEDY SPACE CENTER, Fla. -- STS-104 Mission Specialist Michael L. Gernhardt has suit and fit check during Terminal Countdown Demonstration Test (TCDT) activities at KSC. The TCDT provides the crew with emergency egress training, opportunities to inspect their mission payloads in Space Shuttle Atlantiss payload bay, and simulated countdown exercises. Other crew members participating are Commander Steven W. Lindsey, Pilot Charles O. Hobaugh and Mission Specialists Janet Lynn Kavandi and James F. Reilly. The launch of Atlantis on mission STS-104 is scheduled no earlier than July 12 from Launch Pad 39B. The mission is the 10th flight to the International Space Station and carries the Joint Airlock Module.

  16. Regenerable Microbial Check Valve - Life cycle tests results

    NASA Technical Reports Server (NTRS)

    Atwater, James E.; Wheeler, Richard R., Jr.; Olivadoti, J. T.; Sauer, Richard L.; Flanagan, David T.

    1992-01-01

    Life cycle regeneration testing of the Microbial Check Valve (MCV) that is used on the Shuttle Orbiter to provide microbial control of potable water is currently in progress. Four beds are being challenged with simulated reclaimed waters and repeatedly regenerated. Preliminary results indicate that contaminant systems exhibit unique regeneration periodicities. Cyclic throughput diminishes with increasing cumulative flow. It is considered to be feasible to design a regenerable MCV system which will function without human intervention and with minimal resupply penalty for the 30 year life of the Space Station.

  17. Pulse Check: The Importance of Self-Screening for Atrial Fibrillation Twice a Year

    MedlinePlus

    ... of self-screening for atrial fibrillation twice a year What is atrial fibrillation? Atrial fibrillation (AF) is ... adult do a pulse check routinely twice a year. A good time to remember to check your ...

  18. Tester automatically checks insulation of individual conductors in multiple-strand cables

    NASA Technical Reports Server (NTRS)

    Shaw, J.; Vuckovich, M.

    1967-01-01

    Insulation tester checks multiple-strand electrical cables in nuclear rocket reactors. It has both manual and automatic capabilities and can check the insulation of a cable with 200 or more conductors in a few minutes.

  19. 45 CFR 205.32 - Procedures for issuance of replacement checks.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... replacement check, a recipient is required to report a lost or stolen AFDC check to the police or other... report was made to the police or other appropriate authorities and, if so, the agency will...

  20. 45 CFR 205.32 - Procedures for issuance of replacement checks.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... replacement check, a recipient is required to report a lost or stolen AFDC check to the police or other... report was made to the police or other appropriate authorities and, if so, the agency will...