Science.gov

Sample records for adaptive buddy check

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

  2. Adaptable Assertion Checking for Scientific Software Components

    SciTech Connect

    Dahlgren, T L; Devanbu, P T

    2004-03-12

    We present a proposal for lowering the overhead of interface contract checking for science and engineering applications. Run-time enforcement of assertions is a well-known technique for improving the quality of software; however, the performance penalty is often too high for their retention during deployment, especially for long-running applications that depend upon iterative operations. With an efficient adaptive approach the benefits of run-time checking can continue to accrue with minimal overhead. Examples from scientific software interfaces being developed in the high performance computing research community will be used to measure the efficiency and effectiveness of this approach.

  3. Book Bag Buddies

    ERIC Educational Resources Information Center

    Madden, Angie; Townsend, J. Scott; Green, Jennifer

    2011-01-01

    Children love to learn about new topics and share what they have discovered with their teachers, families, and friends. The authors designed the "Book Bag Buddies" project to give their third-grade students a chance to channel their enthusiasm and research from science investigations into writing. In this creative project, students integrated…

  4. "Bud, Not Buddy."

    ERIC Educational Resources Information Center

    Brodie, Carolyn S.

    2002-01-01

    Discusses the award-winning book "Bud, Not Buddy" written by Christopher Paul Curtis. Lists different versions of the book; suggests learning activities; lists sources for biographical information and interviews with Curtis, teacher guides, professional articles, and other Depression era novels; and provides a citation for the author's Newberry…

  5. Buddy balloon for TAVI.

    PubMed

    Balkin, Jonathan; Silberman, Shuli; Almagor, Yaron

    2013-11-15

    Percutaneous transfemoral aortic valve replacement is a new rapidly evolving technique that has made significant progress in recent years. The technology is however limitted and in some cases has resulted in failure to deliver the prosthetic valve. We describe a new technique using a buddy balloon, from the contralateral femoral artery, to assist in crossing the native aortic valve in those cases where extreme calcification and or tortuosity have caused the delivery system to hang up on the aortic wall. The technique is easily applied and facilitates the success of the procedure in cases which may otherwise have to be converted to open surgical aortic valve replacement.

  6. The definitive story of Buddy Holly's glasses.

    PubMed

    Goldlist, Gerald I

    2007-06-01

    Buddy Holly's glasses were part of his performing identity. Correspondence with Dr. J. Davis Armistead, the man who prescribed and sold him those striking glasses over 50 years ago, provides the definitive story of Buddy Holly's glasses. PMID:17508046

  7. Buddy Tag CONOPS and Requirements.

    SciTech Connect

    Brotz, Jay Kristoffer; Deland, Sharon M.

    2015-12-01

    This document defines the concept of operations (CONOPS) and the requirements for the Buddy Tag, which is conceived and designed in collaboration between Sandia National Laboratories and Princeton University under the Department of State Key VerificationAssets Fund. The CONOPS describe how the tags are used to support verification of treaty limitations and is only defined to the extent necessary to support a tag design. The requirements define the necessary functions and desired non-functional features of the Buddy Tag at a high level

  8. Emergent Readers' Social Interaction Styles and Their Comprehension Processes during Buddy Reading

    ERIC Educational Resources Information Center

    Christ, Tanya; Wang, X. Christine; Chiu, Ming Ming

    2015-01-01

    To examine the relations between emergent readers' social interaction styles and their comprehension processes, we adapted sociocultural and transactional views of learning and reading, and conducted statistical discourse analysis of 1,359 conversation turns transcribed from 14 preschoolers' 40 buddy reading events. Results show that…

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

  10. Training Volunteers for an AIDS Buddy Program.

    ERIC Educational Resources Information Center

    Ojanlatva, Ansa; And Others

    In 1986, the Baton Rouge Acquired Immune Deficiency Syndrome (AIDS) Task Force began to implement an individual volunteer support program to provide support services through a companion, a buddy, whose functions would be either emotional support or assistance in daily activities, or both. In order to have trained volunteers, an education program…

  11. Buddy: fusing multiple search results together

    NASA Astrophysics Data System (ADS)

    Salerno, John J.; Boulware, Doug M.; Myers, John E.; Khattri, Vishal; Corzillus, Dave R.

    2003-03-01

    If you have ever used a popular search engine on the Internet to search for a specific topic you are interested in, you know that most of the results you get back are unrelated, or do not have the information for which you are searching. Usually you end up looking through many Web pages before you find information. Different search engines give you different ranked results, so how do you choose which one to use? Buddy solves these problems for you. With Buddy you can search multiple search engines with many different queries. Using topic trees to create in depth search queries, utilizing the power of many renowned search engines, with the ability to dynamically create and delete them on the fly, Buddy gives you the results you want on the information you are looking for. Using its unique ranking algorithm the results from multiple search engines are correlated and fused together, removing multiple document hits. This paper will discuss the motivation for and the capabilities of Buddy.

  12. Better Bones Buddies: An Osteoporosis Prevention Program

    ERIC Educational Resources Information Center

    Schrader, Susan L.; Blue, Rebecca; Horner, Arlene

    2005-01-01

    Although osteoporosis typically surfaces in later life, peak bone mass attained before age 20 is a key factor in its prevention. However, most American children's diets lack sufficient calcium during the critical growth periods of preadolescence and adolescence to achieve peak bone mass. "Better Bones (BB) Buddies" is an educational program…

  13. The Adventures of the Bucket Buddies

    ERIC Educational Resources Information Center

    Shields, Carol

    2004-01-01

    Through Bucket Buddies--a collaborative online project developed and administered by The Center for Improved Engineering Science and Education (CIESE) at Stevens Institute of Technology, in Hoboken, New Jersey--elementary students from more than 150 schools in 33 states and 6 countries have taken samples from local ponds and teamed up to answer…

  14. Quick Exposure Check (QEC): a cross-cultural adaptation into Brazilian-Portuguese.

    PubMed

    Comper, Maria Luiza C; Costa, Leonardo O P; Padula, Rosimeire S

    2012-01-01

    Most instruments used by occupational safety and health professionals have been originally developed in English. Cross-cultural adaptation enables the use of these instruments in other countries, cultures and languages in countries like Brazil, where the official language is not English. This methodology ensures that the translation process includes the cultural and linguistic equivalence between the original instrument and the translated version. Therefore, this study aimed to translate and cross-culturally adapt the instrument Quick Exposure Check (QEC) into Brazilian-Portuguese. The process of cross-cultural adaptation followed the steps of translation, synthesis, back-translation, expert committee review and pretesting. The final questionnaire was pretested by two raters in 40 workers employed in an expedition of knitting and textile industry. All versions resulting from the translation process (T1, T2) and back-translation (BT1, BT2) showed good agreement. During the pre-test was not presented any difficulty in understanding or completing the instrument adapted QEC for Brazilian language.

  15. Deconstructing Serendipity: Focus, Purpose, and Authorship in Lunch Buddy Mentoring

    ERIC Educational Resources Information Center

    Cavell, Timothy A.; Henrie, Joye L.

    2010-01-01

    Lunch buddy mentoring is a particular kind of school-based mentoring program: college student mentors meet twice weekly during school lunch with mentees, and a new mentor is provided each semester. The program is designed to benefit elementary school children who are highly aggressive or chronically bullied. Novel to lunch buddy mentoring is a…

  16. Buddy Journals Make the Reading-Writing Connection.

    ERIC Educational Resources Information Center

    Bromley, Karen D'Angelo

    1989-01-01

    Describes the buddy journal (a diary that two students keep together, in which they "converse" in writing) and suggests ways to use such journals to build children's literacy. Proposes that buddy journals can highlight the reading-writing connection for children by involving purposeful, personal communication to enhance students' literacy…

  17. Low complexity Reed-Solomon-based low-density parity-check design for software defined optical transmission system based on adaptive puncturing decoding algorithm

    NASA Astrophysics Data System (ADS)

    Pan, Xiaolong; Liu, Bo; Zheng, Jianglong; Tian, Qinghua

    2016-08-01

    We propose and demonstrate a low complexity Reed-Solomon-based low-density parity-check (RS-LDPC) code with adaptive puncturing decoding algorithm for elastic optical transmission system. Partial received codes and the relevant column in parity-check matrix can be punctured to reduce the calculation complexity by adaptive parity-check matrix during decoding process. The results show that the complexity of the proposed decoding algorithm is reduced by 30% compared with the regular RS-LDPC system. The optimized code rate of the RS-LDPC code can be obtained after five times iteration.

  18. Classmate Peer-Coaching: "A Study Buddy Support Scheme"

    ERIC Educational Resources Information Center

    Thalluri, Jyothi; O'Flaherty, Jackie A.; Shepherd, Paul L.

    2014-01-01

    This study had two aims: firstly, to determine whether participation in a peer support scheme called Study Buddy Support (SBS) improves pass rates of "at risk" students, and secondly, to examine the advantages of this model over hierarchical models where senior students tutor junior years. Bachelor of Nursing and Midwifery students in a…

  19. Reading for Real: Our Year with Reading Buddies

    ERIC Educational Resources Information Center

    Ross, Patricia

    2014-01-01

    When Patricia Ross' high school students at the Phoenix Day School for the Deaf buddied up with elementary school students to improve their reading skills, amazing things happened. As they read to them, Ross' students, who were part of the 2012-2013 Integrated Language Arts and Social Studies program, increased their reading scores and…

  20. Involving Assessment Buddies in the Assessment of Design Project Work

    ERIC Educational Resources Information Center

    Osmond, Jane; Clough, Brian

    2012-01-01

    This paper discusses the impact of a specially developed assessment and feedback system implemented within a second year industrial design module at Coventry University, UK. The "Assessment Buddy" system was developed in response to the need for a successful assessment and feedback method that could cope with the complexities of a creative…

  1. Automating checks of plan check automation.

    PubMed

    Halabi, Tarek; Lu, Hsiao-Ming

    2014-07-08

    While a few physicists have designed new plan check automation solutions for their clinics, fewer, if any, managed to adapt existing solutions. As complex and varied as the systems they check, these programs must gain the full confidence of those who would run them on countless patient plans. The present automation effort, planCheck, therefore focuses on versatility and ease of implementation and verification. To demonstrate this, we apply planCheck to proton gantry, stereotactic proton gantry, stereotactic proton fixed beam (STAR), and IMRT treatments.

  2. Cross Layer Adaptation of Check Intervals in Low Power Listening MAC Protocols for Lifetime Improvement in Wireless Sensor Networks

    PubMed Central

    Escolar, Soledad; Chessa, Stefano; Carretero, Jesús; Marinescu, Maria-Cristina

    2012-01-01

    Preamble sampling-based MAC protocols designed for Wireless Sensor Networks (WSN) are aimed at prolonging the lifetime of the nodes by scheduling their times of activity. This scheduling exploits node synchronization to find the right trade-off between energy consumption and delay. In this paper we consider the problem of node synchronization in preamble sampling protocols. We propose Cross Layer Adaptation of Check intervals (CLAC), a novel protocol intended to reduce the energy consumption of the nodes without significantly increasing the delay. Our protocol modifies the scheduling of the nodes based on estimating the delay experienced by a packet that travels along a multi-hop path. CLAC uses routing and MAC layer information to compute a delay that matches the packet arrival time. We have implemented CLAC on top of well-known routing and MAC protocols for WSN, and we have evaluated our implementation using the Avrora simulator. The simulation results confirm that CLAC improves the network lifetime at no additional packet loss and without affecting the end-to-end delay. PMID:23112613

  3. Evaluation of the MindMatters Buddy Support Scheme in Southwest Sydney: Strategies, Achievements and Challenges

    ERIC Educational Resources Information Center

    Khan, Raquiba J.; Bedford, Karen; Williams, Mandy

    2012-01-01

    Objective: Assessing the strategies, achievements and challenges of implementing MindMatters and the views of partner schools towards the buddy support scheme. Design: The MindMatters buddy support scheme (2007-2008) was designed to increase the capacity of secondary schools to adopt a whole-school approach to improving health and well-being of…

  4. The Author Has the Last Word: Buddy Editing in a First-Grade Classroom

    ERIC Educational Resources Information Center

    Auger, Jessie L.

    2014-01-01

    In this essay, Jessie L. Auger reflects on the practice of Buddy Editing in her first-grade classroom as an opportunity for student and teacher learning. By explicitly revealing her pedagogical approach and sharing transcripts of students' engagement with her Buddy Editing protocol, Auger presents the dynamics of a learning partnership that…

  5. Young Children's Opportunities to Use and Learn Theme-Related Vocabulary through Buddy "Reading"

    ERIC Educational Resources Information Center

    Christ, Tanya; Wang, X. Christine

    2012-01-01

    This qualitative study examined whether and how preschoolers' social interactions during buddy "reading" supported their use and learning of theme-related vocabulary. Data included 32 transcribed videos of 14 preschoolers engaged in buddy "reading." Interaction analysis and constant comparative methods were applied to identify (1) patterns of…

  6. BudBurst Buddies: Introducing Young Citizen Scientists to Plants and Environmental Change

    NASA Astrophysics Data System (ADS)

    Ward, D.; Gardiner, L. S.; Henderson, S.

    2011-12-01

    As part of Project BudBurst, the BudBurst Buddies recently moved to the National Ecological Network (NEON) as part of its Education and Public Engagement efforts. The BudBurst Buddies (www.budburstbuddies.org) were created to engage elementary school age children in the science of observing plants and the timing of phenological (life cycle) events. BudBurst Buddies is a part of the Project BudBurst national citizen science initiative (www.budburst.org), which allows individuals to engage in the scientific process, contributing to a better understanding of climate change while increasing public awareness of phenology and the impacts of climate change on plants. As a first step towards engaging the next generation of citizen scientists, BudBurst Buddies provides the opportunity for children to gain experience with scientific research and increases awareness of how plants change throughout the year. Hundreds of young students have participated in the inaugural year of BudBurst Buddies. Children can participate in BudBurst Buddies on their own, with their families, or in formal or informal education settings. The program was recently highlighted by education staff at the New York Hall of Science and numerous classrooms have been implementing this resource as part of their curriculum. Each child who participates creates a journal about a plant of his or her choosing, makes observations of the plant over the growing season and submits findings online, earning an official BudBurst Buddies certificate. An online storybook for kids tells how two children, Lily and Sage, observed plants in their neighborhood and became BudBurst Buddies. This presentation will provide an overview of the BudBurst Buddies resources including a new implementation guide and will also share feedback from the first year of implementation.

  7. BudBurst Buddies: A New Tool for Engaging the Youngest Citizen Scientists

    NASA Astrophysics Data System (ADS)

    Gardiner, L. S.; Henderson, S.; Ward, D.

    2010-12-01

    BudBurst Buddies (www.budburstbuddies.org) introduces elementary school age children to the science of observing plants and the timing of phenological (life cycle) events. BudBurst Buddies is a new part of the Project BudBurst national citizen science initiative (www.budburst.org), which allows individuals to engage in the scientific process, contributing to a better understanding of climate change while increasing public awareness of phenology and the impacts of climate change on plants. As a first step towards engaging the next generation of citizen scientists, BudBurst Buddies provides the opportunity for children to gain experience with scientific research and increases awareness of how plants change throughout the year. Children can participate in BudBurst Buddies on their own, with their families, or in formal or informal education settings. Each child who participates creates a journal about a plant of his or her choosing, makes observations of the plant over the growing season and submits findings online, earning an official BudBurst Buddies certificate. An online storybook for kids tells how two children, Lily and Sage, observed plants in their neighborhood and became BudBurst Buddies. This presentation will provide an overview of the BudBurst Buddies newly developed resources. BudBurst Buddies is a part of Project BudBurst, a national citizen science program coordinated by the National Ecological Observatory Network (NEON) and the Chicago Botanic Garden. Funding for this resource was provided by NEON, NSF, NASA, and the National Geographic Education Foundation.

  8. The Effects of Tier II Check-in/Check-out Including Adaptation for Non-Responders on the Off-Task Behavior of Elementary Students in a Residential Setting

    ERIC Educational Resources Information Center

    Swoszowski, Nicole Cain; McDaniel, Sara C.; Jolivette, Kristine; Melius, Patience

    2013-01-01

    This study evaluated the effects of a Tier II positive behavior interventions and supports (PBIS) intervention, Check-in/Check-out (CICO), on the off-task behavior of 4 students with behavioral challenges and special needs in a residential facility. In addition, the study examined the effects of additional mentor contact (i.e., mid-day check-up;…

  9. Preschoolers' Engagement with Reading Behaviours: A Statistical Discourse Analysis of Peer Buddy-Reading Interactions

    ERIC Educational Resources Information Center

    Christ, Tanya; Chiu, Ming Ming; Wang, X. Christine

    2014-01-01

    Developing reading behaviours in early childhood is essential for later reading comprehension. This study explored how peer buddy reading could potentially support emergent readers' engagement with reading behaviours. Across 40 buddy-reading events, 14 preschoolers (ages 4.0-5.5 years) produced 1,359 conversation turns, which were coded for a…

  10. The "drinking-buddy" scale as a measure of para-social behavior.

    PubMed

    Powell, Larry; Richmond, Virginia P; Cantrell-Williams, Glenda

    2012-06-01

    Para-social behavior is a form of quasi-interpersonal behavior that results when audience members develop bonds with media personalities that can resemble interpersonal social interaction, but is not usually applied to political communication. This study tested whether the "Drinking-Buddy" Scale, a simple question frequently used in political communication, could be interpreted as a single-item measure of para-social behavior with respect to political candidates in terms of image judgments related to interpersonal attraction and perceived similarity to self. The participants were college students who had voted in the 2008 election. They rated the candidates, Obama or McCain, as drinking buddies and then rated the candidates' perceived similarity to themselves in attitude and background, and also the social and task attraction to the candidate. If the drinking-buddy rating serves as a proxy measure for para-social behavior, then it was expected that participants' ratings for all four kinds of similarity to and attraction toward a candidate would be higher for the candidate they chose as a drinking buddy. The directional hypotheses were supported for interpersonal attraction, but not for perceived similarity. These results indicate that the drinking-buddy scale predicts ratings of interpersonal attraction, while voters may view perceived similarity as an important but not essential factor in their candidate preference. PMID:22897105

  11. The "drinking-buddy" scale as a measure of para-social behavior.

    PubMed

    Powell, Larry; Richmond, Virginia P; Cantrell-Williams, Glenda

    2012-06-01

    Para-social behavior is a form of quasi-interpersonal behavior that results when audience members develop bonds with media personalities that can resemble interpersonal social interaction, but is not usually applied to political communication. This study tested whether the "Drinking-Buddy" Scale, a simple question frequently used in political communication, could be interpreted as a single-item measure of para-social behavior with respect to political candidates in terms of image judgments related to interpersonal attraction and perceived similarity to self. The participants were college students who had voted in the 2008 election. They rated the candidates, Obama or McCain, as drinking buddies and then rated the candidates' perceived similarity to themselves in attitude and background, and also the social and task attraction to the candidate. If the drinking-buddy rating serves as a proxy measure for para-social behavior, then it was expected that participants' ratings for all four kinds of similarity to and attraction toward a candidate would be higher for the candidate they chose as a drinking buddy. The directional hypotheses were supported for interpersonal attraction, but not for perceived similarity. These results indicate that the drinking-buddy scale predicts ratings of interpersonal attraction, while voters may view perceived similarity as an important but not essential factor in their candidate preference.

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

  13. Check valve

    DOEpatents

    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.

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

  15. Developmental Mentoring, Relationship Quality and School Adjustment: The Chapel Buddy Programme

    ERIC Educational Resources Information Center

    Fair, Cynthia D.; Hopkins, Kate; Decker, Anna

    2012-01-01

    This prospective mixed methods longitudinal study examined the connection between mentor-mentee relationship quality and school adjustment amongst students participating in the Chapel Buddy programme, a developmental mentoring programme. Thirty-one sixth graders were paired with 29 kindergarteners for the duration of the school year. Sixth-grade…

  16. Building a Big Buddy System: Pairing Campers and Adult Volunteers To Help Children Cope.

    ERIC Educational Resources Information Center

    Gregoire, Lydia

    2000-01-01

    A therapy camp for bereaved children gives campers a weekend of one-on-one support to help them deal with the loss of a loved one. Psychologists lead workshops, evaluate children for need of further counseling, and assist the big-buddy volunteers. Matching people, activities that encourage sharing, and the need for flexibility and understanding…

  17. Lunch Buddy Mentoring for Children Victimized by Peers: Two Pilot Studies

    ERIC Educational Resources Information Center

    Gregus, Samantha J.; Craig, James T.; Rodriguez, Juventino Hernandez; Pastrana, Freddie A.; Cavell, Timothy A.

    2015-01-01

    The authors describe two pilot studies examining the potential benefits of Lunch Buddy (LB) mentoring, a manualized approach to school-based mentoring. LB mentoring takes place during the school lunch period and is designed to promote positive changes in children's peer relationships. In both studies, changes in peer victimization were assessed…

  18. Blog-Integrated Writing with Blog-Buddies: EAP Learners' Writing Performance

    ERIC Educational Resources Information Center

    Asoodar, Maryam; Atai, Mahmood Reza; Vaezi, Shahin

    2016-01-01

    This article reports a mixed-method research probing the effect of utilizing a blog-buddy system on English for academic purposes learners' writing performance. Sixty Iranian undergraduate engineering students at Iran University of Science and Technology Virtual Campus participated in this study. Our analysis of the students' writings indicated…

  19. Enhancing Student-Student Online Interaction: Exploring the Study Buddy Peer Review Activity

    ERIC Educational Resources Information Center

    Madland, Colin; Richards, Griff

    2016-01-01

    The study buddy is a learning strategy employed in a graduate distance course to promote informal peer reviewing of assignments before submission. This strategy promotes student-student interaction and helps break the social isolation of distance learning. Given the concern by Arum and Roksa (2011) that student-student interaction may be…

  20. The Effects of a Buddy Skills Package on Preschool Children's Social Interactions and Play

    ERIC Educational Resources Information Center

    Hughett, Kristy; Kohler, Frank W.; Raschke, Donna

    2013-01-01

    The purpose of this study was to examine the impact of a buddy skills package on the social and play interactions between three preschoolers with developmental delays and their peers. Each child participated in sociodramatic play activities with two peers who exhibited age-appropriate social and play skills. Following baseline, the children…

  1. The Buddy Quiz: A Collaborative Assessment and a Representation of the Scientific Enterprise

    ERIC Educational Resources Information Center

    Hoffman, Ian M.

    2012-01-01

    The form and function of a collaborative assessment known as a "Buddy Quiz" is presented. The assessment is conducted in three successive phases over a contiguous 45-60 min class period. A portion of each quiz is completed in collaboration with one or two peers and a portion is completed without collaboration. The quiz is primarily summative and…

  2. K9 Buddies: A Program of Guide Dogs for the Blind

    ERIC Educational Resources Information Center

    Ritter, Joanne

    2007-01-01

    Today, exceptional dogs that have been specially bred and socialized are paired with children who are blind or visually impaired. These dogs, called "K9 Buddies," are from Guide Dogs for the Blind, a national nonprofit organization with a mission to offer skilled mobility dogs and training free-of-charge to adults with visual impairments…

  3. Buddy Reading in a Singaporean Primary School: Implications for Training and Research

    ERIC Educational Resources Information Center

    Shegar, Chitra

    2009-01-01

    Buddy Reading, a peer tutoring programme, is popularly adopted in Singapore schools to increase the reading proficiency of lower primary children who are not reading at age appropriate levels. However, this programme is rarely subjected to systematic evaluation. In view of this, the present study undertakes an evaluation of the programme as it is…

  4. Spanish version of the Rotterdam Symptom Check List: cross-cultural adaptation and preliminary validity in a sample of terminal cancer patients.

    PubMed

    Agra, Y; Badía, X

    1998-01-01

    We report on the process of adaptation into Spanish of the Rotterdam Symptom Check List (RSCL). The original version was translated and back-translated by professional bilingual translators. A quantitative rating method was used to select the items to include in the final Spanish version. Validity (discriminant and construction) and reliability were test in 118 terminal cancer patients. In addition to the RSCL the Nottingham Health Profile (NHP) and the Karnofsky Performance Status (KPS) were used. The RSCL showed different ratings on all scales according to the functional level of the patients. The scales were moderately to highly correlated with the NHP (from 0.48 to 0.71). Internal consistency, measured by Cronbach's alpha coefficient ranged from 0.74 (physical) to 0.90 (activity). Twenty-four hours test-retest intraclass correlation coefficient ranged from 0.71 to 0.88. The results of this study suggest that the Spanish version of the RSCL is conceptually equivalent to the original. More research is needed to assess the responsiveness of the version before using it in clinical trials.

  5. Adapt

    NASA Astrophysics Data System (ADS)

    Bargatze, L. F.

    2015-12-01

    Active Data Archive Product Tracking (ADAPT) is a collection of software routines that permits one to generate XML metadata files to describe and register data products in support of the NASA Heliophysics Virtual Observatory VxO effort. ADAPT is also a philosophy. The ADAPT concept is to use any and all available metadata associated with scientific data to produce XML metadata descriptions in a consistent, uniform, and organized fashion to provide blanket access to the full complement of data stored on a targeted data server. In this poster, we present an application of ADAPT to describe all of the data products that are stored by using the Common Data File (CDF) format served out by the CDAWEB and SPDF data servers hosted at the NASA Goddard Space Flight Center. These data servers are the primary repositories for NASA Heliophysics data. For this purpose, the ADAPT routines have been used to generate data resource descriptions by using an XML schema named Space Physics Archive, Search, and Extract (SPASE). SPASE is the designated standard for documenting Heliophysics data products, as adopted by the Heliophysics Data and Model Consortium. The set of SPASE XML resource descriptions produced by ADAPT includes high-level descriptions of numerical data products, display data products, or catalogs and also includes low-level "Granule" descriptions. A SPASE Granule is effectively a universal access metadata resource; a Granule associates an individual data file (e.g. a CDF file) with a "parent" high-level data resource description, assigns a resource identifier to the file, and lists the corresponding assess URL(s). The CDAWEB and SPDF file systems were queried to provide the input required by the ADAPT software to create an initial set of SPASE metadata resource descriptions. Then, the CDAWEB and SPDF data repositories were queried subsequently on a nightly basis and the CDF file lists were checked for any changes such as the occurrence of new, modified, or deleted

  6. A laboratory comparison of the performance of the buddy lite™ and enFlow™ fluid warmers.

    PubMed

    Bruells, C S; Bruells, A C; Rossaint, R; Stoppe, C; Schaelte, G; Zoremba, N

    2013-11-01

    Maintenance of normothermia is crucial to avoid patient morbidity. Newly released fluid warming devices have become smaller in size, but this change might impair efficacy. We performed an evaluation of the buddy lite™ and enFlow™ fluid warmers. We measured inflow and outlet temperatures of the devices at flow rates between 25 and 100 ml.min(-1) using saline at room temperature or cooled to 10 °C. At a flow rate of 25 ml.min(-1) , the outlet temperature of the buddy lite was significantly higher than that of the enFlow (p < 0.0001), but at flow rates of 75 and 100 ml.min(-1) , it was significantly lower (p < 0.0001). This pattern was the same for both room temperature and cooled saline. There was a significant drop in the temperature of saline along the length of a 1-m outflow tube. We conclude that both devices provide effective fluid warming at a low flow rate, although the heating capability of the buddy lite is limited at high flow rates. PMID:24111603

  7. Comparison of Health Buddy with traditional approaches to heart failure management.

    PubMed

    LaFramboise, Louise M; Todero, Catherine M; Zimmerman, Lani; Agrawal, Sangeeta

    2003-01-01

    The purpose of this pilot study was to (a) determine the feasibility of providing a heart failure disease management program through an in-home telehealth communication device (Health Buddy) and (b) compare the effectiveness of the Health Buddy with traditional home management strategies (telephonic, home visit) in achieving selected patient outcomes (self-efficacy, functional status, depression, and health-related quality of life). Ninety participants completed the study through 2 months. Thirty percent of participants were either eliminated prior to or withdrawn after enrollment from the study based on Health Buddy issues. A mixed model ANOVA revealed those who received telephonic disease management experienced decreased confidence in their ability to manage their heart failure whereas all other groups experienced increased confidence. Further ANOVA analyses indicated improvement over time with no group differences for functional status, depression, or health-related quality of life. These findings suggest that delivering a disease management program through a telehealth communication device is feasible and may be as effective as traditional methods. PMID:14528134

  8. Drinking buddies and their prospective influence on alcohol outcomes: alcohol expectancies as a mediator.

    PubMed

    Lau-Barraco, Cathy; Braitman, Abby L; Leonard, Kenneth E; Padilla, Miguel

    2012-12-01

    The process by which peers or the social network influence individual alcohol use, particularly among adults, remains a necessary area of research. The purpose of the present study was to examine the longitudinal influence of "drinking buddies" on alcohol outcomes (i.e., alcohol use, heavy drinking, and alcohol-related problems) as mediated by alcohol expectancies of social facilitation. Participants were 1347 (men = 660, women = 687) newly married individuals recruited from the community. They were assessed at the time of marriage and through the fourth wedding anniversary. Longitudinal mediation across time was evaluated using latent growth modeling. Overall, the prospective association between the number of drinking buddies in the social network and all three alcohol outcomes was mediated by alcohol expectancies. In testing group invariance across gender, findings suggest that social-facilitation expectancies may be more relevant to men than women in predicting typical alcohol use and alcohol-related problems. Given that the social network may impact alcohol use at least in part through social expectancies, tailoring alcohol interventions to modify these specific beliefs may be particularly beneficial. In addition, strategies that target drinkers' social networks or their drinking buddies specifically may be useful. PMID:22732054

  9. An adaptive approach to the dynamic allocation of buffer storage. M.S. Thesis

    NASA Technical Reports Server (NTRS)

    Crooke, S. C.

    1970-01-01

    Several strategies for the dynamic allocation of buffer storage are simulated and compared. The basic algorithms investigated, using actual statistics observed in the Univac 1108 EXEC 8 System, include the buddy method and the first-fit method. Modifications are made to the basic methods in an effort to improve and to measure allocation performance. A simulation model of an adaptive strategy is developed which permits interchanging the two different methods, the buddy and the first-fit methods with some modifications. Using an adaptive strategy, each method may be employed in the statistical environment in which its performance is superior to the other method.

  10. Your Health Buddies Matter: Preferential Selection and Social Influence on Weight Management in an Online Health Social Network.

    PubMed

    Meng, Jingbo

    2016-12-01

    A growing number of online social networks are designed with the intention to promote health by providing virtual space wherein individuals can seek and share information and support with similar others. Research has shown that real-world social networks have a significant influence on one's health behavior and outcomes. However, there is a dearth of studies on how individuals form social networks in virtual space and whether such online social networks exert any impact on individuals' health outcomes. Built on the Multi-Theoretical Multilevel (MTML) framework and drawing from literature on social influence, this study examined the mechanisms underlying the formation of an online health social network and empirically tested social influence on individual health outcomes through the network. Situated in a weight management social networking site, the study tracked a health buddy network of 709 users and their weight management activities and outcomes for 4 months. Actor-based modeling was used to test the joint dynamics of preferential selection and social influence among health buddies. The results showed that baseline, inbreeding, and health status homophily significantly predicted preferential selection of health buddies in the weight management social networking site, whereas self-interest in seeking experiential health information did not. The study also found peer influence of online health buddy networks on individual weight outcomes, such that an individual's odds of losing weight increased if, on average, the individual's health buddies were losing weight. PMID:27055008

  11. Enhancing the Spaces of Reflection: A Buddy Peer-Review Process within Physical Education Initial Teacher Education

    ERIC Educational Resources Information Center

    Lamb, Penny; Lane, Kathleen; Aldous, David

    2013-01-01

    Innovation in enhancing the reflective abilities of physical education trainee teachers was explored in this study through establishing peer "training buddies" during their school placements. Opportunities for active engagement in peer- and self-reflection were provided to full-time Post-Graduate Secondary Physical Education trainee teachers (n =…

  12. Using a Buddy Skills Package to Increase the Social Interactions between a Preschooler with Autism and Her Peers

    ERIC Educational Resources Information Center

    Kohler, Frank W.; Greteman, Cindy; Raschke, Donna; Highnam, Clifford

    2007-01-01

    The purpose of this study was to examine the impact of a buddy skills package on the social interactions between a preschooler with autism and her peers. Following baseline, the children participated in 8 sessions of training that focused on the strategies of Play, Stay, and Talk. An intervention consisting of teacher feedback, praise, and picture…

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

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

  15. Production mask composition checking flow

    NASA Astrophysics Data System (ADS)

    Ma, Shou-Yuan; Yang, Chuen-Huei; Tsai, Joe; Wang, Alice; Lin, Roger; Lee, Rachel; Deng, Erwin; Lin, Ling-Chieh; Liao, Hung-Yueh; Tsai, Jenny; Bowhill, Amanda; Vu, Hien; Russell, Gordon

    2016-05-01

    The mask composition checking flow is an evolution of the traditional mask rule check (MRC). In order to differentiate the flow from MRC, we call it Mask Data Correctness Check (MDCC). The mask house does MRC only to identify process limitations including writing, etching, metrology, etc. There still exist many potential errors that could occur when the frame, main circuit and dummies all together form a whole reticle. The MDCC flow combines the design rule check (DRC) and MRC concepts to adapt to the complex patterns in today's wafer production technologies. Although photomask data has unique characteristics, the MRC tool in Calibre® MDP can easily achieve mask composition by using the Extended MEBES job deck (EJB) format. In EJB format, we can customize the combination of any input layers in an IC design layout format, such as OASIS. Calibre MDP provides section-based processing for many standard verification rule format (SVRF) commands that support DRC-like checks on mask data. Integrating DRC-like checking with EJB for layer composition, we actually perform reticle-level DRC, which is the essence of MDCC. The flow also provides an early review environment before the photomask pattern files are available. Furthermore, to incorporate the MDCC in our production flow, runtime is one of the most important indexes we consider. When the MDCC is included in the tape-out flow, the runtime impact is very limited. Calibre, with its multi-threaded processes and good scalability, is the key to achieving acceptable runtime. In this paper, we present real case runtime data for 28nm and 14nm technology nodes, and prove the practicability of placing MDCC into mass production.

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

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

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

  19. Bug Buddies.

    ERIC Educational Resources Information Center

    Glanville, Liana

    1998-01-01

    Presents a series of activities conducted in an outdoor environmental classroom. Activities focus on a sensory scavenger hunt, microhabitat, and gourmet ants. Explains how expectations and teacher attitudes should adjust in order to teach in a different type of classroom. (DDR)

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

  1. Living MedsCheck

    PubMed Central

    Sanghera, Niki; Rahmaan, Israa; Roy, Meghna; Tritt, Michael

    2013-01-01

    Objective: To share the experiences of graduating students as they learn to deliver a new medication review service in community pharmacies in Ontario, Canada. Practice description: Four graduating pharmacy students volunteered in different community pharmacies to learn how to navigate a new provincial program called MedsCheck, which pays pharmacists to do medication reviews. Each student selected his or her own practice site, including 2 independent community pharmacies, a grocery store chain pharmacy and a hospital outpatient pharmacy. Practice innovation: To help the students learn to deliver the new MedsCheck services, a faculty mentor met with them on a weekly basis. To reflect on doing MedsChecks in the “real world” and to elicit feedback from the online community, each student blogged about his or her experiences. Results: All 4 students felt that peer mentoring improved their ability to deliver MedsCheck services. They also identified a number of barriers to delivering the MedsChecks and helped each other try to overcome the barriers. Conclusion: MedsCheck is a new service in Ontario and is not easily implemented in the current pharmacy model of practice. Peer mentoring is a helpful way to share successes and overcome barriers to delivery. Can Pharm J 2013;146:33-38. PMID:23795167

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

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

  4. Creating "Buddy Partnerships" with 5- and 11-Year Old-Boys: A Methodological Approach to Conducting Participatory Research with Young Children

    ERIC Educational Resources Information Center

    Levy, Rachael; Thompson, Philippa

    2015-01-01

    Building on literature concerning participatory research, this article explores the use of "buddy partnership" as a technique to access the voices of young children. In this study, 5- to 6-year-old boys were paired with 11- to 12-year-old boys, and each dyad was asked to contribute towards the creation of an information DVD that would…

  5. Influence of Peer Buddy Program Interventions for Adolescents with Disabilities in a High School Setting: Impact on Social and Academic Achievement

    ERIC Educational Resources Information Center

    Alqahtani, Ragea Mohammed

    2013-01-01

    A mixed methods research design was chosen for this study in order to examine the effectiveness of the Peer Buddy Program across one year on the social and academic skill acquisition of high school students with learning disabilities (LD) and/or emotional/behavioral disabilities (EBD). Specifically, this research focused on identifying the…

  6. Cross-Age Reading Buddies and Cultural-Sensitive Literature: Student-Centered English Language Instruction in an Ethiopian Budget School

    ERIC Educational Resources Information Center

    Cianca, Sherri

    2012-01-01

    The Ethiopian government has called for educational improvement, emphasizing the employment of active, student-centered pedagogy. One way of maximizing an interactive learning approach involves blending a cross-age reading buddies program with high-quality, culturally relevant children's literature. Employing descriptive, mixed-method research,…

  7. Double checking: a second look

    PubMed Central

    Chreim, Samia; Forster, Alan

    2015-01-01

    Abstract Rationale, aims and objectives Double checking is a standard practice in many areas of health care, notwithstanding the lack of evidence supporting its efficacy. We ask in this study: ‘How do front line practitioners conceptualize double checking? What are the weaknesses of double checking? What alternate views of double checking could render it a more robust process?’ Method This is part of a larger qualitative study based on 85 semi‐structured interviews of health care practitioners in general internal medicine and obstetrics and neonatology; thematic analysis of the transcribed interviews was undertaken. Inductive and deductive themes are reported. Results Weaknesses in the double checking process include inconsistent conceptualization of double checking, double (or more) checking as a costly and time‐consuming procedure, double checking trusted as an accepted and stand‐alone process, and double checking as preventing reporting of near misses. Alternate views of double checking that would render it a more robust process include recognizing that double checking requires training and a dedicated environment, Introducing automated double checking, and expanding double checking beyond error detection. These results are linked with the concepts of collective efficiency thoroughness trade off (ETTO), an in‐family approach, and resilience. Conclusion(s) Double checking deserves more questioning, as there are limitations to the process. Practitioners could view double checking through alternate lenses, and thus help strengthen this ubiquitous practice that is rarely challenged. PMID:26568537

  8. Checking software contracts

    SciTech Connect

    Mitchell, R.; Maung, I.; Howse, J.; Heathcote, T.

    1995-12-31

    In object-oriented software, contracts between classes can be expressed in terms of preconditions, postconditions and invariants. In the programming language Eiffel, contracts can be checked at run-time. Within inheritance hierarchies, contracts can be used to control the redefinition of services. In Eiffel, the rules ensure that redefinition is safe in the presence of polymorphism and dynamic binding. This paper shows that Eiffel`s support for contracts can be extended, both to cover the polymorphic case more fully, and to cover other uses of inheritance, including its use for selectively reusing code from a parent class. The paper proposes that software designers should state what properties they claim for any uses of inheritance, in order that extra checks on consistency can be applied, and shows that some extra debugging power could be obtained easily, by changing only the run-time system for Eiffel, rather than the language itself.

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

  11. Buddy Study: Partners for better health in adolescents with type 2 diabetes

    PubMed Central

    Sylvetsky, Allison C; Nandagopal, Radha; Nguyen, Tammy T; Abegg, Marisa R; Nagarur, Mahathi; Kaplowitz, Paul; Rother, Kristina I

    2015-01-01

    AIM: To investigate whether assigning young, healthy and motivated lay volunteer partners (“buddies”) to adolescents with type 2 diabetes improves hemoglobin A1c (HbA1c). METHODS: Adolescents with type 2 diabetes were randomized to partnering with a “buddy” or to conventional treatment. During the initial screening visit, which coincided with a routine outpatient diabetes clinic visit, patients with type 2 diabetes underwent a physical examination, detailed medical history, laboratory measurement of HbA1c, and completed two questionnaires (Pediatric Quality of Life Inventory and Children’s Depression Inventory) to assess their overall quality of life and the presence of depressive symptoms. Patients were then randomized to the intervention (the buddy system) or conventional treatment (standard care). All patients were scheduled to return for follow-up at 3- and 6-mo after their initial visit. HbA1c was determined at all visits (i.e., at screening and at the 3- and 6-mo follow-up visits) and quality of life and depressive symptoms were evaluated at the screening visit and were reassessed at the 6-mo visit. RESULTS: Ten adolescents, recruited from a pool of approximately 200 adolescents, enrolled over a two-year time period, leading to premature termination of the study. In contrast, we easily recruited motivated lay volunteers. We found no change in HbA1c from the initial to the 6-mo visit in either group, yet our small sample size limited systematic assessment of this outcome. Participants repeatedly missed clinic appointments, failed to conduct self-glucose-monitoring and rarely brought their glucometers to clinic visits. Total quality of life scores (72.6 ± 6.06) at screening were similar to previously reported scores in adolescents with type 2 diabetes (75.7 ± 15.0) and lower than scores reported in normal-weight (81.2 ± 0.9), overweight (83.5 ± 1.8), and obese youths without diabetes (78.5 ± 1.8) or in adolescents with type 1 diabetes (80.5 ± 13

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

  13. Magnetic Check Valve

    NASA Technical Reports Server (NTRS)

    Morris, Brian G.; Bozeman, Richard J., Jr.

    1994-01-01

    Poppet in proposed check valve restored to closed condition by magnetic attraction instead of spring force. Oscillations suppressed, with consequent reduction of wear. Stationary magnetic disk mounted just upstream of poppet, also containing magnet. Valve body nonmagnetic. Forward pressure or flow would push poppet away from stationary magnetic disk so fluid flows easily around poppet. Stop in valve body prevents poppet from being swept away. When flow stopped or started to reverse, magnetic attraction draws poppet back to disk. Poppet then engages floating O-ring, thereby closing valve and preventing reverse flow. Floating O-ring facilitates sealing at low loads.

  14. The laboratory performance of the enFLOW(®) , buddy lite(™) and ThermoSens(®) fluid warmers.

    PubMed

    Kim, H J; Yoo, S M; Jung, J S; Lee, S H; Sun, K; Son, H S

    2015-02-01

    We measured heating of isotonic saline by three fluid warmers in six experiments: saline at 5 °C or 20 °C delivered at 30, 50 or 100 ml.min(-1) . At the three flow rates, the enFLOW(®) , buddy lite(™) and ThermoSens(®) systems heated 5 °C saline to mean (SD) temperatures of: 41.1 (0.5) °C, 37.7 (0.6) °C and 39.1 (0.6) °C; to 40.3 (0.8) °C, 33.9 (1.6) °C and 39.3 (0.7) °C; and to 37.1 (0.8) °C, 24.0 (1.3) °C and 37.6 (1.0) °C, respectively, p < 0.0001 for each experiment. The mean (SD) times taken to heat 5 °C saline were: 16.6 (1.7) s, 258.4 (58.9) s and 134.2 (79.6) s; 16.9 (1.8) s, 256.2 (62.2) s and 182.5 (74.5) s; and 21.5 (1.5) s, 275.9 (49.3) s and 313.5 (18.0) s, respectively, p < 0.0003 for each experiment. The results for saline at 20 °C were similar. The enFLOW system heated saline above 36 °C faster than the ThermoSens system, whereas the buddy lite often failed to achieve 36 °C. PMID:25388624

  15. Repeated checking causes memory distrust.

    PubMed

    van den Hout, Marcel; Kindt, Merel

    2003-03-01

    This paper attempts to explain why in obsessive-compulsive disorder (OCD) checkers distrust in memory persists despite extensive checking. It is argued that: (1) repeated checking increases familiarity with the issues checked; (2) increased familiarity promotes conceptual processing which inhibits perceptual processing; (3) inhibited perceptual processing makes recollections less vivid and detailed and finally; (4) reduction in vividness and detail promotes distrust in memory. An interactive computer animation was developed in which participants had to perform checking rituals on a virtual gas stove. Two separate experiments were carried out with n=39 (Experiment I) and n=40 (Experiment II) healthy participants. In both studies, the control group and the experimental group were given the same pre-test and post-test on the virtual gas stove. In between, the experimental group engaged in 'relevant checking', i.e. checking the gas stove, while the control group engaged in 'irrelevant checking', i.e. checking virtual light bulbs. In both experiments there were powerful effects of repeated 'relevant checking': while actual memory accuracy remained unaffected, the vividness and detail of the recollections were greatly reduced. Most pertinently, in both experiments relevant checking undermined confidence in memory. No such effects were observed in the control group. One might argue that the pre-test/post-test design may have made the control group anticipate a memory assessment at the post-test and that this artifact made them relatively alert producing memory confidence at post test that was artificially high. A third experiment was carried out (n=2 x 20) in which no pre-test was given while, other than that, Experiment III was identical to the first two experiments. Results confirmed earlier findings: compared to the irrelevant checking control group, recollections in the relevant checking group were non-vivid, non-detailed while confidence in memory was low. The theory

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

  17. Spine Buddy® Supportive Pad Impact on Single-Leg Static Balance and a Jogging Gait of Individuals Wearing a Military Backpack

    PubMed Central

    Ward, John; Coats, Jesse; Pourmoghaddam, Amir

    2014-01-01

    The Spine Buddy® supportive pad was developed to be inserted underneath military backpacks to help disperse the heavy load of the backpack. The purpose of this study was to determine the impact the additional supportive pad had on static balance and a running gait while wearing a military backpack. Forty healthy subjects (age= 27.5 + 5.6 yrs, body height= 1.78 + 0.06 m, body mass= 86.5 + 14.0 kg: mean + SD) participated in a static single-leg balance test on a force plate with each lower limb while wearing a 15.9 kg military backpack for 30 s. Following this, participants were randomized to one of two interventions: 1) Intervention, which wore the Spine Buddy® supportive pad underneath their backpack or 2) Control, with no additional supportive pad. Post-intervention measurements of static single-leg balance were then recorded. Afterwards, a similar pre vs post testing schedule and randomization scheme was used to test the impact of the supportive pad on a 5 mph jogging gait using Vicon® cameras. Within-group data were analyzed with a 2-way repeated measures ANOVA. Statistically significant differences were not seen between the control and experimental group for balance and gait variables. Preliminarily, this suggests that the Spine Buddy® supportive pad causes no deleterious effect on static balance and a jogging gait in 18–45 year-old asymptomatic individuals. PMID:25713665

  18. Spine buddy® supportive pad impact on single-leg static balance and a jogging gait of individuals wearing a military backpack.

    PubMed

    Ward, John; Coats, Jesse; Pourmoghaddam, Amir

    2014-12-01

    The Spine Buddy® supportive pad was developed to be inserted underneath military backpacks to help disperse the heavy load of the backpack. The purpose of this study was to determine the impact the additional supportive pad had on static balance and a running gait while wearing a military backpack. Forty healthy subjects (age= 27.5 + 5.6 yrs, body height= 1.78 + 0.06 m, body mass= 86.5 + 14.0 kg: mean + SD) participated in a static single-leg balance test on a force plate with each lower limb while wearing a 15.9 kg military backpack for 30 s. Following this, participants were randomized to one of two interventions: 1) Intervention, which wore the Spine Buddy® supportive pad underneath their backpack or 2) Control, with no additional supportive pad. Post-intervention measurements of static single-leg balance were then recorded. Afterwards, a similar pre vs post testing schedule and randomization scheme was used to test the impact of the supportive pad on a 5 mph jogging gait using Vicon® cameras. Within-group data were analyzed with a 2-way repeated measures ANOVA. Statistically significant differences were not seen between the control and experimental group for balance and gait variables. Preliminarily, this suggests that the Spine Buddy® supportive pad causes no deleterious effect on static balance and a jogging gait in 18-45 year-old asymptomatic individuals. PMID:25713665

  19. Spine buddy® supportive pad impact on single-leg static balance and a jogging gait of individuals wearing a military backpack.

    PubMed

    Ward, John; Coats, Jesse; Pourmoghaddam, Amir

    2014-12-01

    The Spine Buddy® supportive pad was developed to be inserted underneath military backpacks to help disperse the heavy load of the backpack. The purpose of this study was to determine the impact the additional supportive pad had on static balance and a running gait while wearing a military backpack. Forty healthy subjects (age= 27.5 + 5.6 yrs, body height= 1.78 + 0.06 m, body mass= 86.5 + 14.0 kg: mean + SD) participated in a static single-leg balance test on a force plate with each lower limb while wearing a 15.9 kg military backpack for 30 s. Following this, participants were randomized to one of two interventions: 1) Intervention, which wore the Spine Buddy® supportive pad underneath their backpack or 2) Control, with no additional supportive pad. Post-intervention measurements of static single-leg balance were then recorded. Afterwards, a similar pre vs post testing schedule and randomization scheme was used to test the impact of the supportive pad on a 5 mph jogging gait using Vicon® cameras. Within-group data were analyzed with a 2-way repeated measures ANOVA. Statistically significant differences were not seen between the control and experimental group for balance and gait variables. Preliminarily, this suggests that the Spine Buddy® supportive pad causes no deleterious effect on static balance and a jogging gait in 18-45 year-old asymptomatic individuals.

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

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

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

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

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

  3. Interface Circuits for Self-Checking Microprocessors

    NASA Technical Reports Server (NTRS)

    Rennels, D. A.; Chandramouli, R.

    1986-01-01

    Fault-tolerant-microcomputer concept based on enhancing "simple" computer with redundancy and self-checking logic circuits detect hardware faults. Interface and checking logic and redundant processors confer on 16-bit microcomputer ability to check itself for hardware faults. Checking circuitry also checks itself. Concept of self-checking complementary pairs (SCCP's) employed throughout ICL unit.

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

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

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

  7. Body checking behaviors in men.

    PubMed

    Walker, D Catherine; Anderson, Drew A; Hildebrandt, Thomas

    2009-06-01

    Males have been facing increasing pressure from the media to attain a lean, muscular physique, and are at risk for body dissatisfaction, disturbed eating and exercise behaviors, and abuse of appearance- and performance-enhancing drugs (APEDs). The aim of the current study was to examine the relationship between body checking and mood, symptoms of muscle dysmorphia, importance of shape and weight, and APED use in undergraduate males. Body checking in males was correlated with weight and shape concern, symptoms of muscle dysmorphia, depression, negative affect, and APED use. Body checking predicted APED use and uniquely accounted for the largest amount of variance in Muscle Dysmorphic Disorder Inventory (MDDI) scores (16%). Findings support the view that body checking is an important construct in male body image, muscle dysmorphia, and body change strategies and suggest a need for further research. PMID:19482568

  8. Treatment Buddies Improve Clinic Attendance among Women but Not Men on Antiretroviral Therapy in the Nyanza Region of Kenya

    PubMed Central

    Kibaara, Charles; Blat, Cinthia; Shade, Starley; Mbullo, Patrick; Bukusi, Elizabeth A.

    2016-01-01

    Background. Kenyan antiretroviral (ART) guidelines encourage treatment buddies (TBy) to maximize treatment adherence. This study examined the effect of TBys on clinic attendance in men and women on ART. Methods. This retrospective cohort study included all adult patients initiating ART from August 2007 to December 2011 at four health facilities in Kenya. Data were abstracted from electronic medical records and analyzed using Poisson regression. Results. Of 2,430 patients, 2,199 (91%) had a TBy. Relationship between TBy and clinic attendance differed in females and males (interaction p = 0.09). After demographic and clinic factor adjustment, females with a TBy were 28% more likely to adhere to all appointments than those without (adjusted aRR = 1.28; 95% CI 1.08–1.53), whereas males were no more likely to adhere (aRR = 1.01; 95% CI 0.76–1.32). Males reported partner/spouse (33%) or brother (11%) as the TBy while females reported sister (17%), partner/spouse (14%), or another family member (12%). Multivariable analysis found no association between clinic attendance and TBy relationship in either gender. Conclusion. Clinic attendance was higher among women with TBys but not men. Results support TBys to help women achieve ART success; alternate strategies to bolster TBy benefits are needed for men. PMID:27092271

  9. Treatment Buddies Improve Clinic Attendance among Women but Not Men on Antiretroviral Therapy in the Nyanza Region of Kenya.

    PubMed

    Kibaara, Charles; Blat, Cinthia; Lewis-Kulzer, Jayne; Shade, Starley; Mbullo, Patrick; Cohen, Craig R; Bukusi, Elizabeth A

    2016-01-01

    Background. Kenyan antiretroviral (ART) guidelines encourage treatment buddies (TBy) to maximize treatment adherence. This study examined the effect of TBys on clinic attendance in men and women on ART. Methods. This retrospective cohort study included all adult patients initiating ART from August 2007 to December 2011 at four health facilities in Kenya. Data were abstracted from electronic medical records and analyzed using Poisson regression. Results. Of 2,430 patients, 2,199 (91%) had a TBy. Relationship between TBy and clinic attendance differed in females and males (interaction p = 0.09). After demographic and clinic factor adjustment, females with a TBy were 28% more likely to adhere to all appointments than those without (adjusted aRR = 1.28; 95% CI 1.08-1.53), whereas males were no more likely to adhere (aRR = 1.01; 95% CI 0.76-1.32). Males reported partner/spouse (33%) or brother (11%) as the TBy while females reported sister (17%), partner/spouse (14%), or another family member (12%). Multivariable analysis found no association between clinic attendance and TBy relationship in either gender. Conclusion. Clinic attendance was higher among women with TBys but not men. Results support TBys to help women achieve ART success; alternate strategies to bolster TBy benefits are needed for men.

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

  11. The Bosom Buddy Project: A Breastfeeding Support Group Sponsored by the Indiana Black Breastfeeding Coalition for Black and Minority Women in Indiana.

    PubMed

    Friesen, Carol A; Hormuth, Laura J; Curtis, Terry J

    2015-11-01

    In 2012, the Indiana Black Breastfeeding Coalition (IBBC) used grant funds to increase participation in the Bosom Buddy Project, an original breastfeeding support group that pairs breastfeeding mothers with trained mentors. Resources for local organizations that support breastfeeding are extremely limited, making it difficult to expand programs and services. This article describes a variety of strategies used by the IBBC to expand programs and services. These activities provide a template for other community-based organizations that wish to provide culturally sensitive breastfeeding support in their community.

  12. Model Checking Linearizability via Refinement

    NASA Astrophysics Data System (ADS)

    Liu, Yang; Chen, Wei; Liu, Yanhong A.; Sun, Jun

    Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires checking that 1) all executions of concurrent operations be serializable, and 2) the serialized executions be correct with respect to the sequential semantics. This paper describes a new method to automatically check linearizability based on refinement relations from abstract specifications to concrete implementations. Our method avoids the often difficult task of determining linearization points in implementations, but can also take advantage of linearization points if they are given. The method exploits model checking of finite state systems specified as concurrent processes with shared variables. Partial order reduction is used to effectively reduce the search space. The approach is built into a toolset that supports a rich set of concurrent operators. The tool has been used to automatically check a variety of implementations of concurrent objects, including the first algorithms for the mailbox problem and scalable NonZero indicators. Our system was able to find all known and injected bugs in these implementations.

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

  14. Fluid relief and check valve

    DOEpatents

    Blaedel, K.L.; Lord, S.C.; Murray, I.

    1986-07-17

    A passive fluid pressure relief and check valve allows the relief pressure to be slaved to a reference pressure independently of the exhaust pressure. The pressure relief valve is embodied by a submerged vent line in a sealing fluid, the relief pressure being a function of the submerged depth. A check valve is embodied by a vertical column of fluid (the maximum back pressure being a function of the height of the column of fluid). The pressure is vented into an exhaust system which keeps the exhaust out of the area providing the reference pressure.

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

    ... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Initial and transition training and....1093 Initial and transition training and checking: Check pilots (aircraft), check pilots (simulator... person has satisfactorily completed initial or transition check pilot training; and (2) Within...

  16. Propel: Tools and Methods for Practical Source Code Model Checking

    NASA Technical Reports Server (NTRS)

    Mansouri-Samani, Massoud; Mehlitz, Peter; Markosian, Lawrence; OMalley, Owen; Martin, Dale; Moore, Lantz; Penix, John; Visser, Willem

    2003-01-01

    The work reported here is an overview and snapshot of a project to develop practical model checking tools for in-the-loop verification of NASA s mission-critical, multithreaded programs in Java and C++. Our strategy is to develop and evaluate both a design concept that enables the application of model checking technology to C++ and Java, and a model checking toolset for C++ and Java. The design concept and the associated model checking toolset is called Propel. It builds upon the Java PathFinder (JPF) tool, an explicit state model checker for Java applications developed by the Automated Software Engineering group at NASA Ames Research Center. The design concept that we are developing is Design for Verification (D4V). This is an adaption of existing best design practices that has the desired side-effect of enhancing verifiability by improving modularity and decreasing accidental complexity. D4V, we believe, enhances the applicability of a variety of V&V approaches; we are developing the concept in the context of model checking. The model checking toolset, Propel, is based on extending JPF to handle C++. Our principal tasks in developing the toolset are to build a translator from C++ to Java, productize JPF, and evaluate the toolset in the context of D4V. Through all these tasks we are testing Propel capabilities on customer applications.

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

  18. 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....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of the... appropriate TTB officer that such check was tendered in good faith and that such person had reasonable...

  19. 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....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of the... appropriate TTB officer that such check was tendered in good faith and that such person had reasonable...

  20. 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....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of the... appropriate TTB officer that such check was tendered in good faith and that such person had reasonable...

  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....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of the... appropriate TTB officer that such check was tendered in good faith and that such person had reasonable...

  2. 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....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of the... appropriate TTB officer that such check was tendered in good faith and that such person had reasonable...

  3. Impact of patient-selected care buddies on adherence to HIV care, disease progression and conduct of daily life among pre-antiretroviral HIV-infected patients in Rakai, Uganda: a randomized controlled trial

    PubMed Central

    Nakigozi, Gertrude; Makumbi, Fredrick E.; Bwanika, John Baptist; Atuyambe, Lynn; Reynolds, Steven J.; Kigozi, Godfrey; Nalugoda, Fred; Chang, Larry W.; Kiggundu, Valerian; Serwadda, David; Wawer, Maria J.; Gray, Ronald H.; Kamya, Moses R.

    2015-01-01

    Background Data are limited on effects of household or community support persons (“care buddies”) on enrolment into and adherence to pre-antiretroviral HIV care. We assessed the impact of care buddies on adherence to HIV clinic appointments, HIV progression and conduct of daily life among pre-ART HIV-infected individuals in Rakai, Uganda. Methods 1209 HIV infected pre-ART patients aged ≥15 years were randomized to standard of care (SOC) (n = 604) or patient-selected care buddy (PSCB) (n= 605) and followed at 6 and 12 months. Outcomes were adherence to clinic visits; HIV disease progression and self-reported conduct of daily life. Incidence and prevalence rate ratios and 95% confidence intervals (95%CI) were used to assess outcomes in the intent-to-treat and as-treated analyses. Results Baseline characteristics were comparable. In the ITT analysis both arms were comparable with respect to adherence to CD4 monitoring visits (adjPRR 0.98, 95%CI 0.93-1.04, p=0.529) and HIV progression (adjPRR=1.00, 95%CI 0.77-1.31, p=0.946). Good conduct of daily life was significantly higher in the PSCB than the SOC arm (adjPRR 1.08, 95%CI 1.03-1.13, p=0.001). More men (61%) compared to women (30%) selected spouses/partners as buddies (p<0.0001.) 22% of PSCB arm participants discontinued use of buddies. Conclusion In pre-ART persons, having care buddies improved the conduct of daily life of the HIV infected patients but had no effect on HIV disease progression and only limited effect on clinic appointment adherence. PMID:26039929

  4. 31 CFR 103.29 - Purchases of bank checks and drafts, cashier's checks, money orders and traveler's checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... orders and traveler's checks. (a) No financial institution may issue or sell a bank check or draft... social security number of the purchaser, or if the purchaser is an alien and does not have a...

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... flight simulator, or in a flight training device. This paragraph applies after March 19, 1997. (b) The... to the airplane to which the check airman is in transaction. (e) The initial and transition flight training for pilot check airmen (airplane), flight engineer check airmen (airplane), and flight...

  6. 31 CFR 1010.415 - Purchases of bank checks and drafts, cashier's checks, money orders and traveler's checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ...: Treasury Regulations Relating to Money and Finance (Continued) FINANCIAL CRIMES ENFORCEMENT NETWORK... checks and drafts, cashier's checks, money orders and traveler's checks. (a) No financial institution may... amounts of $3,000-$10,000 inclusive: (1) If the purchaser has a deposit account with the...

  7. 31 CFR 1010.415 - Purchases of bank checks and drafts, cashier's checks, money orders and traveler's checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ...: Treasury Regulations Relating to Money and Finance (Continued) FINANCIAL CRIMES ENFORCEMENT NETWORK... checks and drafts, cashier's checks, money orders and traveler's checks. (a) No financial institution may... amounts of $3,000-$10,000 inclusive: (1) If the purchaser has a deposit account with the...

  8. 31 CFR 1010.415 - Purchases of bank checks and drafts, cashier's checks, money orders and traveler's checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ...: Treasury Regulations Relating to Money and Finance (Continued) FINANCIAL CRIMES ENFORCEMENT NETWORK... checks and drafts, cashier's checks, money orders and traveler's checks. (a) No financial institution may... amounts of $3,000-$10,000 inclusive: (1) If the purchaser has a deposit account with the...

  9. 31 CFR 1010.415 - Purchases of bank checks and drafts, cashier's checks, money orders and traveler's checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ...: Treasury Regulations Relating to Money and Finance (Continued) FINANCIAL CRIMES ENFORCEMENT NETWORK... checks and drafts, cashier's checks, money orders and traveler's checks. (a) No financial institution may... amounts of $3,000-$10,000 inclusive: (1) If the purchaser has a deposit account with the...

  10. 14 CFR 121.440 - Line checks.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Line checks. 121.440 Section 121.440..., FLAG, AND SUPPLEMENTAL OPERATIONS Crewmember Qualifications § 121.440 Line checks. (a) No certificate... preceding 12 calendar months, that person has passed a line check in which he satisfactorily performs...

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

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

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

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

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

  16. 14 CFR 121.441 - Proficiency checks.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... given by the Administrator or a pilot check airman. (c) An approved airplane simulator or other... 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...

  17. 14 CFR 121.441 - Proficiency checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... given by the Administrator or a pilot check airman. (c) An approved airplane simulator or other... 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...

  18. 14 CFR 121.441 - Proficiency checks.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... given by the Administrator or a pilot check airman. (c) An approved airplane simulator or other... 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...

  19. Developing a Policy on Applicant Background Checks.

    ERIC Educational Resources Information Center

    Seidler, Edward H.

    1990-01-01

    School districts should develop policies and procedures that cover the area of background checks, yet ensure that potential employees' civil rights are not violated. In developing policies, employers might consider the following areas: reference checks, physical examinations, drug and alcohol screening, conviction record, and credential checking.…

  20. 14 CFR 121.441 - Proficiency checks.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Proficiency checks. 121.441 Section 121.441..., FLAG, AND SUPPLEMENTAL OPERATIONS Crewmember Qualifications § 121.441 Proficiency checks. (a) No... that person has satisfactorily completed either a proficiency check, or an approved simulator course...

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

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). (a) For the purposes of..., to conduct flight checks or instruction in an airplane, in a flight simulator, or in a flight training device for a particular type airplane. (2) A check airman (simulator) is a person who is...

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). (a) For the purposes of..., to conduct flight checks or instruction in an airplane, in a flight simulator, or in a flight training device for a particular type airplane. (2) A check airman (simulator) is a person who is...

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). (a) For the purposes of..., to conduct flight checks or instruction in an airplane, in a flight simulator, or in a flight training device for a particular type airplane. (2) A check airman (simulator) is a person who is...

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

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

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

  8. Checking population -- a national priority.

    PubMed

    1994-07-30

    The United Nations projects that India's population will be larger than China's after the year 2035. Specific measures at the sociological and economic levels is the best chance of checking population growth. To that end, the Federation of Indian Chambers of Commerce and Industry organized a one-day conference in which participants discussed the impact of population upon employment and economic growth; the need to implement industrial policy reforms was stressed. The political will of the government to lower and stabilize the rate of population growth has also been translated into a draft policy prepared by the Department of Family Welfare. The policy covers decentralization of program planning and implementation, gender equity in plans for health and family welfare, environmental concerns, creation of an enabling environment, the minimum needs program, new administrative structures and integration of various policies, and placing stress upon information, education, and communication to enable informed choice by acceptors of contraception. Realization of the goal will, however, ultimately require the cooperative efforts of the government, nongovernmental organizations, people's representatives, local bodies, academicians, intellectuals, union leaders, and other organizations. Low levels of literacy, women's status, low female marriage age, son preference, and the perception that family planning is a woman's responsibility must also be addressed as steps in encouraging the acceptance of a small family norm.

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

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

  11. Removable check valve for use in a nuclear reactor

    DOEpatents

    Dunn, Charlton; Gutzmann, Edward A.

    1988-01-01

    A removable check valve for interconnecting the discharge duct of a pump and an inlet coolant duct of a reactor core in a pool-type nuclear reactor. A manifold assembly is provided having an outer periphery affixed to and in fluid communication with the discharge duct of the pump and has an inner periphery having at least one opening therethrough. A housing containing a check valve is located within the inner periphery of the manifold. The upper end of the housing has an opening in alignment with the opening in the manifold assembly, and seals are provided above and below the openings. The lower end of the housing is adapted for fluid communication with the inlet duct of the reactor core.

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

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

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

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

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

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

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

  19. 25 CFR 141.19 - Check cashing.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false Check cashing. 141.19 Section 141.19 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR FINANCIAL ACTIVITIES BUSINESS PRACTICES ON THE NAVAJO, HOPI AND ZUNI RESERVATIONS General Business Practices § 141.19 Check cashing. (a) A reservation...

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

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

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

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

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 2 2011-01-01 2011-01-01 false Qualifications: Check pilots (aircraft) and check pilots (simulator). 91.1089 Section 91.1089 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... RULES Fractional Ownership Operations Program Management § 91.1089 Qualifications: Check...

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... RULES Fractional Ownership Operations Program Management § 91.1089 Qualifications: Check pilots... satisfactorily completed the proficiency or competency checks that are required to serve as a pilot in command in... appropriate proficiency or competency checks that are required to serve as a pilot in command in...

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

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

  9. 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).

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

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

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

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

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

  15. Dashpot Damps Oscillations In Check Valve

    NASA Technical Reports Server (NTRS)

    Morris, Brian G.

    1994-01-01

    Operation of check valve improved by redesigning poppet and adding two new components: dashpot and dashpot ring between dashpot and poppet. Modifications eliminate self-sustaining poppet oscillations that cause premature wear and jamming of poppet mechanism.

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

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

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

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

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

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

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

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

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

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

  6. The Family Check-Up in Early Childhood: A Case Study of Intervention Process and Change

    ERIC Educational Resources Information Center

    Gill, Anne M.; Hyde, Luke W.; Shaw, Daniel S.; Dishion, Thomas J.; Wilson, Melvin N.

    2008-01-01

    This article describes a case study in the use of the Family Check-Up (FCU), a family-based and ecological preventive intervention for children at risk for problem behavior. The FCU is an assessment-driven intervention that utilizes a health maintenance model; emphasizes motivation for change; and offers an adaptive, tailored approach to…

  7. Recent improvements in check valve monitoring methods

    SciTech Connect

    Haynes, H.D.

    1990-01-01

    In support of the NRC Nuclear Plant Aging Research (NPAR) program, ORNL has carried out an evaluation of three check valve monitoring methods: acoustic emission, ultrasonic inspection, and magnetic flux signature analysis (MFSA). This work has focused on determining the capabilities of each method to provide diagnostic information useful in determining check valve aging and service wear effects (degradation) and undesirable operating modes. In addition, as part of the ORNL Advanced Diagnostic Engineering Research and Development Center (ADEC), two noval nonintrusive monitoring methods were developed (external ac- and dc-magnetic monitoring) that provide several improvements over the other methods. None of the examined methods could, by themselves, monitor 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. This paper describes the benefits and limitations associated with each method and includes recent laboratory and field test data to illustrate the capabilities of these methods to detect simulated check valve degradation. 3 refs., 22 figs., 4 tabs.

  8. Recent improvements in check valve monitoring methods

    SciTech Connect

    Haynes, H.D.

    1991-01-01

    In support of the NRC Nuclear Plant Aging Research (NPAR) program, ORNL has carried out an evaluation of three check valve monitoring methods: acoustic emission, ultrasonic inspection, and magnetic flux signature analysis (MFSA). This work has focussed on determining the capabilities of each method to provide diagnostic information useful in determining check valve aging and service wear effects (degradation) and undesirable operating modes. In addition, as part of the ORNL Advanced Diagnostic Engineering Research and Development Center (ADEC), two novel nonintrusive monitoring methods were developed (external ac- and dc-magnetic monitoring) that provide several improvements over the other methods. None of the examined methods could, by themselves, monitor 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. This paper describes the benefits and limitations associated with each method and includes recent laboratory and field test data to illustrate the capabilities of these methods to detect simulated check valve degradation. 3 refs., 22 figs., 4 tabs.

  9. UTP and Temporal Logic Model Checking

    NASA Astrophysics Data System (ADS)

    Anderson, Hugh; Ciobanu, Gabriel; Freitas, Leo

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

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

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

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Approved ground check systems not employing pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY SAFETY STANDARDS, SURFACE COAL MINES AND...

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Approved ground check systems not employing pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY SAFETY STANDARDS, SURFACE COAL MINES AND...

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Approved ground check systems not employing pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY SAFETY STANDARDS, SURFACE COAL MINES AND...

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Approved ground check systems not employing pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY SAFETY STANDARDS, SURFACE COAL MINES AND...

  15. 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 pilot check wires. 77.902-2 Section 77.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY SAFETY STANDARDS, SURFACE COAL MINES AND...

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

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

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... § 121.411 Qualifications: Check airmen (airplane) and check airmen (simulator). Link to an amendment... an airplane, in a flight simulator, or in a flight training device for a particular type airplane. (2... only in a flight simulator or in a flight training device for a particular type airplane. (3)...

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

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

  1. Check-In/Check-Out: A Systematic Evaluation and Component Analysis

    ERIC Educational Resources Information Center

    Campbell, Amy; Anderson, Cynthia M.

    2011-01-01

    Tier 2 interventions are implemented similarly across students and thus serve as an efficient and cost-effective method of behavior support in school settings. Check-in/check-out is a Tier 2 intervention with documented effectiveness (e.g., Hawken & Horner, 2003; Todd, Campbell, Meyer, & Horner, 2008). Key features of the intervention include…

  2. Tobacco compliance check in Hong Kong.

    PubMed

    Kan, Ming-yue; Lau, Maggie

    2008-02-01

    We examined tobacco retailers' rates of compliance to the law forbidding the sale of tobacco products to persons under 18 years of age in Hong Kong. The overall compliance rate was only 18.9%. The low compliance rate may be attributed to poor enforcement of the youth access law. Overseas experiences show that regular checking is an effective way to evaluate the compliance of tobacco retailers to restrictions on youth access to tobacco. Periodic tobacco compliance checks should be adopted in Hong Kong to exert pressure on law enforcement bodies and tobacco retailers.

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

  4. The Value of Guess and Check

    ERIC Educational Resources Information Center

    Guerrero, Shannon M.

    2010-01-01

    The National Council of Teachers of Mathematics (NCTM) Algebra Standard states that instructional programs at the middle grades should enable students to "represent and analyze mathematical situations and structures using algebraic symbols" (2000, p. 222). Guess and check is a powerful problem-solving strategy that can connect a conceptual…

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

  6. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... surviving spouse and shall be mailed promptly to the educational institution in which the eligible spouse or surviving spouse is enrolled for delivery by the educational institution. (b) Delivery and certification. (1... check to the eligible spouse or surviving spouse and shall certify the fact of delivery to...

  7. 14 CFR 121.441 - Proficiency checks.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ...) An approved airplane simulator or other appropriate training device may be used in the conduct of a... of training in an airplane visual simulator under § 121.409 may be substituted therefor. Effective... a proficiency check, or an approved simulator course of training under § 121.409, as follows:...

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

  9. 25 CFR 141.19 - Check cashing.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... cashing a draft, check or money order. (b) A reservation business owner or employee may advise a customer... or any other obligation the customer owes to the business, but in no event may the owner or employee... INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR FINANCIAL ACTIVITIES BUSINESS PRACTICES ON THE NAVAJO,...

  10. 25 CFR 141.19 - Check cashing.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... cashing a draft, check or money order. (b) A reservation business owner or employee may advise a customer... or any other obligation the customer owes to the business, but in no event may the owner or employee... INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR FINANCIAL ACTIVITIES BUSINESS PRACTICES ON THE NAVAJO,...

  11. 25 CFR 141.19 - Check cashing.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... cashing a draft, check or money order. (b) A reservation business owner or employee may advise a customer... or any other obligation the customer owes to the business, but in no event may the owner or employee... INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR FINANCIAL ACTIVITIES BUSINESS PRACTICES ON THE NAVAJO,...

  12. 25 CFR 141.19 - Check cashing.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... cashing a draft, check or money order. (b) A reservation business owner or employee may advise a customer... or any other obligation the customer owes to the business, but in no event may the owner or employee... INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR FINANCIAL ACTIVITIES BUSINESS PRACTICES ON THE NAVAJO,...

  13. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... military police records may be released under the provisions of AR 340-21 to authorized personnel for valid... with AR 340-21. (b) Checks will be accomplished by a review of the COPS MPRS. Information will be...) Report Date; (3) Social Security Number; (4) Last Name; (5) First Name; (6) Protected Identity (Y/N);...

  14. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... military police records may be released under the provisions of AR 340-21 to authorized personnel for valid... with AR 340-21. (b) Checks will be accomplished by a review of the COPS MPRS. Information will be...) Report Date; (3) Social Security Number; (4) Last Name; (5) First Name; (6) Protected Identity (Y/N);...

  15. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... military police records may be released under the provisions of AR 340-21 to authorized personnel for valid... with AR 340-21. (b) Checks will be accomplished by a review of the COPS MPRS. Information will be...) Report Date; (3) Social Security Number; (4) Last Name; (5) First Name; (6) Protected Identity (Y/N);...

  16. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... military police records may be released under the provisions of AR 340-21 to authorized personnel for valid... with AR 340-21. (b) Checks will be accomplished by a review of the COPS MPRS. Information will be...) Report Date; (3) Social Security Number; (4) Last Name; (5) First Name; (6) Protected Identity (Y/N);...

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

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

  19. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR SERVICES OF THE EMPLOYMENT SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through... employment related law, the State agency shall document the finding and attempt informal resolution. If...

  20. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... Employees' Benefits EMPLOYMENT AND TRAINING ADMINISTRATION, DEPARTMENT OF LABOR SERVICES OF THE EMPLOYMENT SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through... employment related law, the State agency shall document the finding and attempt informal resolution. If...

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... approved Airplane Flight Manual, the certificate holder's operations Manual, check lists, or other approved... prestart check list, appropriate control system checks, starting procedures, radio and electronic equipment... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Proficiency Check Requirements F Appendix...

  2. 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... Cockpit check procedure. (a) Each certificate holder shall provide an approved cockpit check procedure for... for items to be checked. (c) The approved procedures must be readily usable in the cockpit of...

  3. 48 CFR 22.406-7 - Compliance checking.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... Involving Construction 22.406-7 Compliance checking. (a) General. The contracting officer shall make checks... inspections to check type of work performed, number and classification of workers, and fulfillment of posting... construction, to ensure consistency. (c) Special compliance checks. Situations that may require...

  4. 31 CFR 235.4 - Check Forgery Insurance Fund.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 31 Money and Finance:Treasury 2 2012-07-01 2012-07-01 false Check Forgery Insurance Fund. 235.4 Section 235.4 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL... CHECKS DRAWN ON DESIGNATED DEPOSITARIES § 235.4 Check Forgery Insurance Fund. The Check Forgery...

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

    NASA Astrophysics Data System (ADS)

    Hamkins, J.

    2011-02-01

    This article presents the simulated performance of a family of nine AR4JA low-density parity-check (LDPC) codes when used with each of five modulations. In each case, the decoder inputs are codebit log-likelihood ratios computed from the received (noisy) modulation symbols using a general formula which applies to arbitrary modulations. Suboptimal soft-decision and hard-decision demodulators are also explored. Bit-interleaving and various mappings of bits to modulation symbols are considered. A number of subtle decoder algorithm details are shown to affect performance, especially in the error floor region. Among these are quantization dynamic range and step size, clipping degree-one variable nodes, "Jones clipping" of variable nodes, approximations of the min* function, and partial hard-limiting messages from check nodes. Using these decoder optimizations, all coded modulations simulated here are free of error floors down to codeword error rates below 10^{-6}. The purpose of generating this performance data is to aid system engineers in determining an appropriate code and modulation to use under specific power and bandwidth constraints, and to provide information needed to design a variable/adaptive coded modulation (VCM/ACM) system using the AR4JA codes. IPNPR Volume 42-185 Tagged File.txt

  6. [MLC positioning checks and calibration with a portal imaging system].

    PubMed

    Schiefer, Hans; Seelentag, Wolf W; Roth, Jakob; Krusche, Bernd

    2008-01-01

    For checking the leaf positions of a MLC (Multi Leaf Collimator) images are acquired with an EPID (Electronic Portal Imaging Device) and then evaluated with a programme (MLC check) developed in-house. During image acquisition a Perspex tray with two metal markers of known position (in the radiation field) is inserted in the satellite tray holder. After determination of the marker positions within the image coordinate system, the image can be transformed to the radiation field coordinate system. This allows the exact determination of the leaf tip positions relative to the radiation field. This evaluation can be applied to images of arbitrary field shapes, provided they were acquired in the same geometry (EPID position, gantry and collimator angles). The entire measurement procedure is based on images in bmp (Windows Bitmap) format, with a 1024 x 1024 matrix and a pixel depth of 24 bit (8 bit per color channel). A suitable marker plate can be manufactured without sophisticated workload; thus the method may be easily and cost effectively adapted at other locations.

  7. Bosom Buddies: The Symbiotic Relationship Between Infants and Bifidobacterium longum ssp. longum and ssp. infantis. Genetic and Probiotic Features.

    PubMed

    Arboleya, Silvia; Stanton, Catherine; Ryan, C Anthony; Dempsey, Eugene; Ross, Paul R

    2016-01-01

    The intestinal microbiota is a complex community that plays an important role in human health from the initial steps of its establishment. Its microbial composition has been suggested to result from selective pressures imposed by the host and is modulated by competition among its members. Bifidobacterium longum is one of the most abundant species of the Bifidobacterium genus in the gut microbiota of healthy breast-fed infants and adults. The recent advancements of 'omics techniques have facilitated the genetic and functional studies of different gut microbiota members. They have revealed the complex genetic pathways used to metabolize different compounds that likely contribute to the competitiveness and persistence of B. longum in the colon. The discovery of a genomic island in B. longum ssp. infantis that encodes specific enzymes for the metabolism of human milk oligosaccharides suggests a specific ecological adaptation. Moreover, B. longum is widely used as probiotic, and beneficial effects in infant health have been reported in several studies. PMID:26934170

  8. 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... Agency Checks and Credit Check (NACLC) A Attachment A to Subpart B of Part 147 National Defense..., Subpt. B, Att. A Attachment A to Subpart B of Part 147—Standard A—National Agency Check With...

  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, 2014 CFR

    2014-07-01

    ... Access Programs by sect. 4.4 of Executive Order 12958) (60 FR 19825, 3 CFR 1995 Comp., p. 333); (2) “L... Agency Checks and Credit Check (NACLC) A Attachment A to Subpart B of Part 147 National Defense..., Subpt. B, Att. A Attachment A to Subpart B of Part 147—Standard A—National Agency Check With...

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... Access Programs by sect. 4.4 of Executive Order 12958) (60 FR 19825, 3 CFR 1995 Comp., p. 333); (2) “L... Agency Checks and Credit Check (NACLC) A Attachment A to Subpart B of Part 147 National Defense..., Subpt. B, Att. A Attachment A to Subpart B of Part 147—Standard A—National Agency Check With...

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

  12. Method and apparatus for checking fire detectors

    NASA Technical Reports Server (NTRS)

    Clawson, G. T. (Inventor)

    1974-01-01

    A fire detector checking method and device are disclosed for nondestructively verifying the operation of installed fire detectors of the type which operate on the principle of detecting the rate of temperature rise of the ambient air to sound an alarm and/or which sound an alarm when the temperature of the ambient air reaches a preset level. The fire alarm checker uses the principle of effecting a controlled simulated alarm condition to ascertain wheather or not the detector will respond. The checker comprises a hand-held instrument employing a controlled heat source, e.g., an electric lamp having a variable input, for heating at a controlled rate an enclosed mass of air in a first compartment, which air mass is then disposed about the fire detector to be checked. A second compartment of the device houses an electronic circuit to sense and adjust the temperature level and heating rate of the heat source.

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

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

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

  16. On implementing self-checking microprocessors

    NASA Technical Reports Server (NTRS)

    Rennels, D. A.; Chandramouli, R.

    1982-01-01

    A simple and general model of the interfaces and check circuits used for comparing and detecting faults in a pair of 16-bit processors is described, and problems encountered in the application of TI 9900 processors are discussed. The greatest incompatibility is found to lie between the rollback structures of the CPUs and the interface and check logic (ICL) model. The ICL model generates a reset when an error is detected, and a rollback is expected to occur when it is released. The TI 9900 requires a reset of minimum duration, and after release goes through an initialization cycle, obtains rollback parameters from fixed memory locations, and executes the rollback, consistent with the ICL. The ICL is relatively simple, having a complexity equivalent to fewer than 1000 gates.

  17. [Pre-verbality in focusing and the need for self check. An attempt at "focusing check"].

    PubMed

    Masui, T; Ikemi, A; Murayama, S

    1983-06-01

    Though the Focusing process is not entirely non-verbal, in Focusing, careful attention is paid by the Focuser and the Listener to the pre-verbal experiential process. In other words, Focusing involves attending to the felt sense that is not easily expressed in words immediately. Hence, during the process of learning to Focus, the Focusing teacher attempts to communicate the experiences of Focusing to the student which are not easily done by words. Due to such difficulties, the Focusing student may (and quite frequently does) mistake the experiential process in Focusing with other processes. Often, the felt sense can be confused with other phenomena such as "autogenic discharge". Also the Focuser may not stay with the felt sense and drift into "free association" or frequently, certain processes in "meditation" can be confused with Focusing. Therefore, there is a need for a "check" by which the Focusing student can confirm the Focusing experience for himself. For the Focusing student, such a "check" serves not only to confirm the Focusing process, but also an aid to learning Focusing. We will report here a "Focusing Check" which we developed by translating Eugene Gendlin's "Focusing Check" and making several modifications in it so that it will be more understandable to the Japanese. Along with the "Focusing Check" we developed, the authors discuss the need for such a check.

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

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

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

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

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

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

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

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

  6. [Acceptance check and quality control of SPECT].

    PubMed

    Sun, L M; Liu, C B

    2001-05-01

    This paper explains the testing of SPECT, especially the new SPECT with double digital detector and spiral scanning frames that has been introduced to China recently, in the acceptance check, proceeding from the physical functions of the system to its mechanical functions, to the NEMA standard functions, and then to the computer hardware specified in the contract. A brief introduction is also given of the quality control of SPECT in terms of its spatial resolution, energy resolution, spatial linearity, sensitivity, and center of rotation. PMID:12583289

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

  8. Check valve with poppet damping mechanism

    NASA Technical Reports Server (NTRS)

    Morris, Brian G. (Inventor)

    1993-01-01

    An inline check valve for a flow line is presented where the valve element is guided for inline travel forward and rearward of a valve sealing member and is spring biased to a closed sealing condition. One of the guides for the valve element includes a dashpot bore and plunger member to control the rate of travel of the valve element in either direction as well as provided a guiding function. The dashpot is not anchored to the valve body so that the valve can be functional even if the plunger member becomes jammed in the dashpot.

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

  10. New electronic device powers hospital employee background checks.

    PubMed

    2001-09-01

    Ohio has a new electronic system for performing criminal background checks on potential employees. The Internet-based computer program, called WebCheck, was developed through the cooperation of Ohio's Bureau of Criminal Identification and Investigation and Cogent Systems, Inc., South Pasadena, CA. BCI&I initiated the development of WebCheck in response to Ohio law, which requires background checks on anyone applying for a job involving children and the elderly.

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

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

  13. 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, the chemiluminescent oxides of nitrogen analyzer shall be checked for NO2 to NO converter...

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

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

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-05

    ... availability checks and local checks in Regulation CC to delete the reference to the head office of the Federal..., there will only be a single check- processing region for purposes of Regulation CC and there will no... Telecommunications Devices for the Deaf (TDD) only, contact 202/263-4869. SUPPLEMENTARY INFORMATION: Regulation...

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

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

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

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

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

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

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

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

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

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

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

  7. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... used, a response time check is not required. (b) Leak checks—(1) Vacuum side leak check. (i) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (ii... (CONTINUED) CONTROL OF AIR POLLUTION FROM LOCOMOTIVES AND LOCOMOTIVE ENGINES Test Procedures §...

  8. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... used, a response time check is not required. (b) Leak checks—(1) Vacuum side leak check. (i) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (ii... (CONTINUED) CONTROL OF AIR POLLUTION FROM LOCOMOTIVES AND LOCOMOTIVE ENGINES Test Procedures §...

  9. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... used, a response time check is not required. (b) Leak checks—(1) Vacuum side leak check. (i) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (ii... (CONTINUED) CONTROL OF AIR POLLUTION FROM LOCOMOTIVES AND LOCOMOTIVE ENGINES Test Procedures §...

  10. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 40 Protection of Environment 18 2010-07-01 2010-07-01 false Leak checks. 86.328-79 Section 86.328... Gasoline-Fueled and Diesel-Fueled Heavy-Duty Engines; Gaseous Exhaust Test Procedures § 86.328-79 Leak checks. (a) Vacuum side leak check. (1) Any location within the analysis system where a vacuum leak...

  11. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 40 Protection of Environment 19 2012-07-01 2012-07-01 false Leak checks. 86.328-79 Section 86.328... Gasoline-Fueled and Diesel-Fueled Heavy-Duty Engines; Gaseous Exhaust Test Procedures § 86.328-79 Leak checks. (a) Vacuum side leak check. (1) Any location within the analysis system where a vacuum leak...

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... any flow rate into the reaction chamber. This includes, but is not limited to, sample capillary, ozone... 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...

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... any flow rate into the reaction chamber. This includes, but is not limited to, sample capillary, ozone... 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...

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... any flow rate into the reaction chamber. This includes, but is not limited to, sample capillary, ozone... 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...

  15. Found Poems, Member Checking and Crises of Representation

    ERIC Educational Resources Information Center

    Reilly, Rosemary C.

    2013-01-01

    In order to establish veracity, qualitative researchers frequently rely on member checks to insure credibility by giving participants opportunities to correct errors, challenge interpretations and assess results; however, member checks are not without drawbacks. This paper describes an innovative approach to conducting member checks. Six members…

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

    Code of Federal Regulations, 2013 CFR

    2013-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. 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... § 229.51 General provisions governing substitute checks. (a) Legal equivalence. A substitute check...

  18. 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... § 229.51 General provisions governing substitute checks. (a) Legal equivalence. A substitute check...

  19. 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...) Substitute Checks § 229.51 General provisions governing substitute checks. (a) Legal equivalence....

  20. 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...) Substitute Checks § 229.51 General provisions governing substitute checks. (a) Legal equivalence....

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

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

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

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

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

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

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

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

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

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

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

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

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

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ...) Complete nationwide criminal background check of all skills test examiners prior to certifying them to administer CDL skills tests. (h) Complete annual nationwide criminal background check of all test examiners. (i) Maintain a record of the results of the criminal background check and CDL examiner test...

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

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ...) Complete nationwide criminal background check of all skills test examiners prior to certifying them to administer CDL skills tests. (h)(1) Complete nationwide criminal background check of all State and third party test examiners at the time of hiring. (2) Complete nationwide criminal background check of...

  15. 49 CFR 384.233 - Background records checks.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 49 Transportation 5 2010-10-01 2010-10-01 false Background records checks. 384.233 Section 384.233... Background records checks. (a) The State shall comply with Transportation Security Administration requirements concerning background records checks for drivers seeking to obtain, renew, transfer or upgrade...

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

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ...) Complete nationwide criminal background check of all skills test examiners prior to certifying them to administer CDL skills tests. (h)(1) Complete nationwide criminal background check of all State and third party test examiners at the time of hiring. (2) Complete nationwide criminal background check of...

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

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ...) Complete nationwide criminal background check of all skills test examiners prior to certifying them to administer CDL skills tests. (h) Complete annual nationwide criminal background check of all test examiners. (i) Maintain a record of the results of the criminal background check and CDL examiner test...

  18. 49 CFR 384.233 - Background records checks.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 49 Transportation 5 2013-10-01 2013-10-01 false Background records checks. 384.233 Section 384.233... Background records checks. (a) The State shall comply with Transportation Security Administration requirements concerning background records checks for drivers seeking to obtain, renew, transfer or upgrade...

  19. 49 CFR 384.233 - Background records checks.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 49 Transportation 5 2014-10-01 2014-10-01 false Background records checks. 384.233 Section 384.233... Background records checks. (a) The State shall comply with Transportation Security Administration requirements concerning background records checks for drivers seeking to obtain, renew, transfer or upgrade...

  20. 49 CFR 384.233 - Background records checks.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 49 Transportation 5 2011-10-01 2011-10-01 false Background records checks. 384.233 Section 384.233... Background records checks. (a) The State shall comply with Transportation Security Administration requirements concerning background records checks for drivers seeking to obtain, renew, transfer or upgrade...

  1. 49 CFR 384.233 - Background records checks.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 49 Transportation 5 2012-10-01 2012-10-01 false Background records checks. 384.233 Section 384.233... Background records checks. (a) The State shall comply with Transportation Security Administration requirements concerning background records checks for drivers seeking to obtain, renew, transfer or upgrade...

  2. 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... Items to be checked. Umbrellas, canes (not needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may be required to be checked at the police station where...

  3. 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... Items to be checked. Umbrellas, canes (not needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may be required to be checked at the police station where...

  4. 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... Items to be checked. Umbrellas, canes (not needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may be required to be checked at the police station where...

  5. 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... Items to be checked. Umbrellas, canes (not needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may be required to be checked at the police station where...

  6. 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... Items to be checked. Umbrellas, canes (not needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may be required to be checked at the police station where...

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

  8. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 20 2011-07-01 2011-07-01 false Analyzer checks and calibrations. 92... Analyzer checks and calibrations. (a)(1) Prior to initial use and after major repairs, bench check each analyzer for compliance with the specifications of § 92.109. (2) The periodic calibrations are required:...

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 40 Protection of Environment 20 2014-07-01 2013-07-01 true NDIR analyzer calibration and checks....120 NDIR analyzer calibration and checks. (a) NDIR water rejection ratio check. (1) Zero and span the... used. (2) Introduce a CO2 calibration gas of at least 10 percent CO2 or greater to the analyzer....

  10. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

  12. 25 CFR 111.3 - Payments by check.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 25 Indians 1 2012-04-01 2011-04-01 true 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...

  13. 25 CFR 111.3 - Payments by check.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 25 Indians 1 2013-04-01 2013-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...

  14. 25 CFR 111.3 - Payments by check.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 25 Indians 1 2011-04-01 2011-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...

  15. 25 CFR 111.3 - Payments by check.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-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...

  16. 31 CFR 240.12 - Processing of checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

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

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

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

  1. CHECK-IN/CHECK-OUT: A SYSTEMATIC EVALUATION AND COMPONENT ANALYSIS

    PubMed Central

    Campbell, Amy; Anderson, Cynthia M

    2011-01-01

    Tier 2 interventions are implemented similarly across students and thus serve as an efficient and cost-effective method of behavior support in school settings. Check-in/check-out is a Tier 2 intervention with documented effectiveness (e.g., Hawken & Horner, 2003; Todd, Campbell, Meyer, & Horner, 2008). Key features of the intervention include brief morning and afternoon meetings with the intervention coordinator, use of a point card on which the teacher monitors student behavior, and teacher feedback at predetermined times. The present study sought to add to the literature by examining the relative contributions of the teacher-feedback components of check-in/check-out via the use of a component analysis. Working with 4 children in a general education setting, we first evaluated the effectiveness of the procedure using reversal designs. Next, we systematically removed teacher-feedback components to assess effects on problem behavior and academic engagement. For 3 of 4 participants, we were able to remove all teacher-feedback sessions and the point card; for the 4th participant, we removed only 2 of 3 teacher-feedback sessions due to time constraints. PMID:21709787

  2. Check-in/check-out: a systematic evaluation and component analysis.

    PubMed

    Campbell, Amy; Anderson, Cynthia M

    2011-01-01

    Tier 2 interventions are implemented similarly across students and thus serve as an efficient and cost-effective method of behavior support in school settings. Check-in/check-out is a Tier 2 intervention with documented effectiveness (e.g., Hawken & Horner, 2003; Todd, Campbell, Meyer, & Horner, 2008). Key features of the intervention include brief morning and afternoon meetings with the intervention coordinator, use of a point card on which the teacher monitors student behavior, and teacher feedback at predetermined times. The present study sought to add to the literature by examining the relative contributions of the teacher-feedback components of check-in/check-out via the use of a component analysis. Working with 4 children in a general education setting, we first evaluated the effectiveness of the procedure using reversal designs. Next, we systematically removed teacher-feedback components to assess effects on problem behavior and academic engagement. For 3 of 4 participants, we were able to remove all teacher-feedback sessions and the point card; for the 4th participant, we removed only 2 of 3 teacher-feedback sessions due to time constraints.

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

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

  5. An answer checking method for quantum annealers

    NASA Astrophysics Data System (ADS)

    Perera, Dilina; Novotny, M. A.

    2016-09-01

    We present a generic approach for checking the validity of the solutions returned by quantum annealing devices to aid in the analysis of whether the solution is the true ground state of the desired problem. The underlying principle is to embed a mirrored graph G' of the original graph G, and connect the two graphs via strong ferromagnetic/antiferromagnetic couplings that span across the mirror plane. This allows one to dismiss solutions that do not agree with the underlying mirror symmetry inherent to the true ground state of the composite graph. Using a 1000 qubit D-Wave 2X device, we demonstrate this method by applying it to spin glass problems defined on the device's native Chimera architecture.

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

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

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

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

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

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

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

  13. Automated Adaptor Generation for Behavioral Mismatching Services Based on Pushdown Model Checking

    NASA Astrophysics Data System (ADS)

    Lin, Hsin-Hung; Aoki, Toshiaki; Katayama, Takuya

    In this paper, we introduce an approach of service adaptation for behavior mismatching services using pushdown model checking. This approach uses pushdown systems as model of adaptors so that capturing non-regular behavior in service interactions is possible. Also, the use of pushdown model checking integrates adaptation and verification. This guarantees that an adaptor generated by our approach not only solves behavior mismatches but also satisfies usual verification properties if specified. Unlike conventional approaches, we do not count on specifications of adaptor contracts but take only information from behavior interfaces of services and perform fully automated adaptor generation. Three requirements relating to behavior mismatches, unbounded messages, and branchings are retrieved from behavior interfaces and used to build LTL properties for pushdown model checking. Properties for unbounded messages, i.e., messages sent and received arbitrary multiple times, are especially addressed since it characterizes non-regular behavior in service composition. This paper also shows some experimental results from a prototype tool and provides directions for building BPEL adaptors from behavior interface of generated adaptor. The results show that our approach does solve behavior mismatches and successfully capture non-regular behavior in service composition under the scale of real service applications.

  14. Quality assurance checks on ecological risk assessments

    SciTech Connect

    Ferson, S.; Ginzburg, L.

    1995-12-31

    Three major criticisms are routinely made against probabilistic ecological risk assessments: (1) input distributions are often not available, (2) correlations and dependencies are often ignored, and (3) mathematical structure of the ecological model is often questionable. These criticisms are well understood by risk analysts, but it is generally assumed that their only solution is additional empirical effort to develop input distributions, measure correlations and validate the model. As a practical matter, since such empirical information is typically incomplete (and indeed often quite sparse), analysts are forced to make assumptions without empirical justifications. There are, however, computational methods that may allow analysts to sidestep a lack of information to partially or completely answer the three criticisms. When empirical information about the input distributions is limited, comprehensive representations of uncertainty can be estimated using traditional confidence interval or bounding procedures. Using recently developed methods, the probability distribution bounds can be used directly in calculations. When the correlation and dependency structure among variables is unknown, bounds on solutions can be computed without having to make unjustified and possibly false assumptions about independence. Finally, automated checks on the ecological model or mathematical expression used in the risk analysis can be employed to ensure the absence of several classes of structural and mathematical errors. Several kinds of profound errors which are routinely committed in practice, including dimensional or unit discordance, infeasible configurations for correlation, and multiple instantiations of a repeated variable, can all be detected using currently available methods and software.

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

  16. Check-up examination: recommendations in adults.

    PubMed

    Virgini, Vanessa; Meindl-Fridez, Claudine; Battegay, Edouard; Zimmerli, Lukas U

    2015-01-01

    Check-up examinations, or periodic health examinations (PHEs), have gained in importance during the last decades and are nowadays among the most common reasons for consultations in primary care settings. The aim of PHEs is to identify risk factors and early signs of disease, but also to prevent future illness by early intervention. Therefore, each PHE should include counselling, immunisation and physical examination according to the patient's age and gender. However, deciding whether to screen a patient and choosing the most appropriate screening method can be challenging for general practitioners. The U.S. Preventive Service Task Force (USPSTF) provides updated recommendations on different existing preventive care measures based on relevant literature review. The aim of this review is to provide an updated statement of recommendations regarding preventive care measures based mostly on the guidelines derived from the USPSTF and the Swiss Medical Board. Among the major updates, there is no recommendation anymore to routinely screen for breast cancer and prostate cancer in asymptomatic adults. Since 2013, however, the USPSTF recommends annual screening for lung cancer with low-dose CT in patients aged 55 to 80 years with a smoking history of ≥30 pack years. During PHEs, the physician should be alert to the patients' hidden agendas, which are the reason for one third of all consultations in primary care.

  17. Consistency check of {Lambda}CDM phenomenology

    SciTech Connect

    Lombriser, Lucas

    2011-03-15

    The standard model of cosmology {Lambda}CDM assumes general relativity, flat space, and the presence of a positive cosmological constant. We relax these assumptions allowing spatial curvature, a time-dependent effective dark energy equation of state, as well as modifications of the Poisson equation for the lensing potential, and modifications of the growth of linear matter density perturbations in alternate combinations. Using six parameters characterizing these relations, we check {Lambda}CDM for consistency utilizing cosmic microwave background anisotropies, cross correlations thereof with high-redshift galaxies through the integrated Sachs-Wolfe effect, the Hubble constant, supernovae, and baryon acoustic oscillation distances, as well as the relation between weak gravitational lensing and galaxy flows. In all scenarios, we find consistency of the concordance model at the 95% confidence level. However, we emphasize that constraining supplementary background parameters and parametrizations of the growth of large-scale structure separately may lead to a priori exclusion of viable departures from the concordance model.

  18. CFD analysis of a ball check microvalve

    NASA Astrophysics Data System (ADS)

    Cǎlimǎnescu, Ioan; Dumitrache, Constantin L.; Grigorescu, Lucian

    2015-02-01

    The microvalves with balls as seen before are used in many applications and their behaviour in terms of fluid dynamics mainly at their opening time (when as demonstrated the ball is bouncing up and down altering the flow parameters) is of a paramount importance. The present study is focused on a micro check ball valve circulating a fluid air-like (with the same constant proprieties). The CFD model is taking into account a transitory zone of functioning from zero time when the pressure inside a "tank" is reaching the opening pressure of the valve, to the final step 0.05 seconds when the ball is stabilizing after bouncing up and down. The geometry of the valve with dimensions in μm is given below (the model is comprising a "slice" of 5 μm thickness extracted from the entire valve. In this paper by using advanced numeric techniques, the behavior of the valve in its transitory opening stage was studied with credible and useful results for further optimisation studies.

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

  20. 48 CFR 22.406-7 - Compliance checking.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... SOCIOECONOMIC PROGRAMS APPLICATION OF LABOR LAWS TO GOVERNMENT ACQUISITIONS Labor Standards for Contracts... with the labor standards requirement of the contract. (b) Regular compliance checks. Regular...

  1. 48 CFR 22.406-7 - Compliance checking.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... SOCIOECONOMIC PROGRAMS APPLICATION OF LABOR LAWS TO GOVERNMENT ACQUISITIONS Labor Standards for Contracts... with the labor standards requirement of the contract. (b) Regular compliance checks. Regular...

  2. Analyzing phylogenetic trees with timed and probabilistic model checking: the lactose persistence case study.

    PubMed

    Requeno, José Ignacio; Colom, José Manuel

    2014-01-01

    Model checking is a generic verification technique that allows the phylogeneticist to focus on models and specifications instead of on implementation issues. Phylogenetic trees are considered as transition systems over which we interrogate phylogenetic questions written as formulas of temporal logic. Nonetheless, standard logics become insufficient for certain practices of phylogenetic analysis since they do not allow the inclusion of explicit time and probabilities. The aim of this paper is to extend the application of model checking techniques beyond qualitative phylogenetic properties and adapt the existing logical extensions and tools to the field of phylogeny. The introduction of time and probabilities in phylogenetic specifications is motivated by the study of a real example: the analysis of the ratio of lactose intolerance in some populations and the date of appearance of this phenotype. PMID:25339082

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

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

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

  6. 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... procedure described in paragraphs (a)(2) through (a)(8) of this section, test the efficiency of...

  7. 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... converter check. (a) The efficiency of the converter used for the conversion of NO2 to NO is tested as given... efficiency of converters by means of an ozonator. (2) Calibrate the HCLD in the most common operating...

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

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

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 42 Public Health 1 2012-10-01 2012-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...

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

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

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 42 Public Health 1 2013-10-01 2013-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...

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

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 42 Public Health 1 2014-10-01 2014-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...

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

  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 9038.6 Federal Elections FEDERAL ELECTION COMMISSION PRESIDENTIAL ELECTION CAMPAIGN FUND: PRESIDENTIAL PRIMARY MATCHING FUND EXAMINATIONS AND AUDITS § 9038.6 Stale-dated committee checks. If the committee...

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 11 Federal Elections 1 2011-01-01 2011-01-01 false Stale-dated committee checks. 9038.6 Section 9038.6 Federal Elections FEDERAL ELECTION COMMISSION PRESIDENTIAL ELECTION CAMPAIGN FUND: PRESIDENTIAL PRIMARY MATCHING FUND EXAMINATIONS AND AUDITS § 9038.6 Stale-dated committee checks. If the committee...

  17. U.T.E.S. Interest Check List.

    ERIC Educational Resources Information Center

    Manpower Administration (DOL), Washington, DC.

    The revised Oregon metro edition of the U.T.E.S. interest check list for intermediate education aims at helping students decide what kinds of work they would like and lists activities that are found in a broad range of industries and occupations in the nation. Specific instructions advise the student that the check list is not a test and that…

  18. 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... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided in... district director that it was tendered in good faith with reasonable cause to believe that it would be...

  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... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided in... district director that it was tendered in good faith with reasonable cause to believe that it would be...

  20. 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... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided in... district director that it was tendered in good faith with reasonable cause to believe that it would be...

  1. 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... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided in... district director that it was tendered in good faith with reasonable cause to believe that it would be...

  2. 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... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided in... district director that it was tendered in good faith with reasonable cause to believe that it would be...

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

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

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

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

  8. Background Checks on School Personnel. ERIC Digest Series EA 55.

    ERIC Educational Resources Information Center

    Baas, Alan

    Although it is relatively simple to check on applicants' basic professional competency, ensuring the moral competency of potential school employees is much more difficult. This digest examines major legal issues, district liabilities and responsibilities, suggested guidelines, and information sources involving employee background checks. Of more…

  9. 14 CFR 91.1051 - Pilot safety background check.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 2 2011-01-01 2011-01-01 false Pilot safety background check. 91.1051 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...

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

  11. 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... SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may be...

  12. 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... SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may be...

  13. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 36 Parks, Forests, and Public Property 3 2012-07-01 2012-07-01 false Items to be checked. 504.12... SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may be...

  14. 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... SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may be...

  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... SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed to assist in walking), or other objects capable of inflicting damage to property or exhibits may be...

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

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

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

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

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

  1. 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... ADVERTISING ALLOWANCES AND OTHER MERCHANDISING PAYMENTS AND SERVICES § 240.12 Checking customer's use of... are furnished and that the seller is not overpaying for them. The customer should expend the...

  2. Quick Quality Check for Infant and Toddler Programs.

    ERIC Educational Resources Information Center

    Knoll, Michelle; O'Brien, Marion

    Intended for use by childcare center directors, this guide presents the Quick Quality Check, a practical method for measuring and improving the quality of care in infant/toddler classrooms. The four chapters of the guide discuss the specifics of the Quick Quality Check method for both infants and toddlers, including the instrument development, as…

  3. [Spanish Society of Anaesthesia (SEDAR) guidelines for pre-anaesthesia checking procedures].

    PubMed

    Cassinello, F; Ariño, J J; Bartolomé Ruibal, A; de la Pinta, J C; de la Quintana, F B; Espinosa, M E; Gilsanz, F; Gómez-Arnau, J; González Arévalo, A; López-Quero, L; López-Romero, J L; Moret, E; Mourelle, I; Pensado, A; Planas, A; Perez-Cerdá, F; Rincón, R

    2012-04-01

    anaesthesia equipment, enabling every institution to develop their own checking protocols, adapted to their anaesthesia machines and their procedures. With the consent of the SEDAR, this group will collaborate with anaesthesia machines providers in order to develop specific checklists for each of their models that will be available at www.sedar.es.

  4. Check dam and polyacrylamide performance under simulated stormwater runoff.

    PubMed

    Kang, Jihoon; McCaleb, Melanie M; McLaughlin, Richard A

    2013-11-15

    High levels of turbidity and fine suspended sediments are often found in stormwater discharges from construction sites even when best management practices (BMPs) for sediment control are in place. This study evaluated turbidity reduction by three check dam types: 1) rock check dam representing a standard BMP, 2) excelsior wattle representing a fiber check dam (FCD), and 3) rock check dam wrapped with excelsior erosion control blanket (rock + excelsior ECB) representing an alternative FCD. Three check dams (all same type) were installed in a lined, 24-m ditch on a 5-7% slope and three consecutive simulated stormwater flows were run in the ditch. Additional tests were performed by adding granular polyacrylamide (PAM) on the check dams in the same manner using two sediment sources differing in clay content. Without PAM treatment, significantly higher effluent turbidity (>900 nephelometric turbidity units (NTU)) exited the ditch with rock check dams than with excelsior wattles or rock + excelsior ECBs (<440 NTU). The extent of sediment deposition between the check dam types was in the order of excelsior wattle > rock + excelsior ECB > rock check dam, indicating better water pooling behind the wattle. The PAM treatment reduced turbidity substantially (>75% relative to no PAM treatment) for all check dam types and it was very effective in excelsior wattles (<57 NTU) and rock + excelsior ECBs (<90 NTU) even during the third storm event. This study demonstrates that the passive treatment of runoff with PAM on FCDs (or rock + excelsior ECB) in construction site ditches can be very effective for sediment retention and turbidity reduction.

  5. 12 CFR Appendix A to Part 229 - Routing Number Guide to Next-Day Availability Checks and Local Checks

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... Editorial Note: For Federal Register citations affecting appendix A of part 229, see the List of CFR... Checks and Local Checks A Appendix A to Part 229 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF...

  6. The Effects of Check-In/Check-Out on Problem Behavior and Academic Engagement in Elementary School Students

    ERIC Educational Resources Information Center

    Miller, Leila M.; Dufrene, Brad A.; Sterling, Heather E.; Olmi, D. Joe; Bachmayer, Erica

    2015-01-01

    This study evaluated the effectiveness of Check-in/Check-out (CICO) for improving behavioral performance for three students referred for Tier 2 behavioral supports. An ABAB withdrawal design was used to evaluate CICO and results indicate that intervention was effective for reducing problem behavior as well as increasing academic engagement for all…

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

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

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Ground check systems not employing pilot check wires; approval by the Secretary. 77.803-2 Section 77.803-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY SAFETY STANDARDS, SURFACE COAL MINES AND SURFACE WORK AREAS OF...

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Ground check systems not employing pilot check wires; approval by the Secretary. 75.803-2 Section 75.803-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE SAFETY AND HEALTH MANDATORY SAFETY STANDARDS-UNDERGROUND COAL MINES Underground...

  11. Using a Changing-Criterion Design to Evaluate the Effects of Check-In/Check-Out with Goal Modification

    ERIC Educational Resources Information Center

    McDaniel, Sara C.; Bruhn, Allison L.

    2016-01-01

    Check-in/check-out (CICO) is a Tier 2 behavioral intervention that has demonstrated effectiveness for students with challenging behavior in a variety of educational settings. Existing research has focused primarily on testing the intervention's effectiveness and the role of behavioral function in moderating response to intervention. Only a handful…

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

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

  14. Prioritizing verification checks and preventive maintenance.

    PubMed

    Maxwell, Jeff

    2005-01-01

    The role of the equipment technician has not changed in 30 years, but the equipment and the staff using it has. It is clearly time to update our procedures and methodology. Some of these time-consuming PM tasks yield no measurable benefit to neither our industry nor to our customers. All of the additional requirements placed onto us recently indicate that our customers' needs have changed and negates our obsession to place inspection stickers all over the place. We need to adapt to the changing environment and become the technicians of the 21st century by abandoning long, outdated practices such as mindless monthly inspections. We are valuable to our customers and our employers for what we know--not what we do. Not just anyone can walk into anactive operating room theater and find a bad patient cableon the spot. We alone can control the work that we do. We are the pinnacle of all electronics repair with the duties and responsibilities that go along with it. Isn't it abouttime we acted like it? PMID:16111401

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

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

  17. Adaptive Management

    EPA Science Inventory

    Adaptive management is an approach to natural resource management that emphasizes learning through management where knowledge is incomplete, and when, despite inherent uncertainty, managers and policymakers must act. Unlike a traditional trial and error approach, adaptive managem...

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

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

  20. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

  1. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  2. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  3. 7 CFR 56.41 - Check grading officially identified product.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... (CONTINUED) VOLUNTARY GRADING OF SHELL EGGS Grading of Shell Eggs Prerequisites to Packaging Shell Eggs Identified with Grademarks § 56.41 Check grading officially identified product. Officially identified...

  4. 40 CFR 89.317 - NOX converter check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) CONTROL OF EMISSIONS FROM NEW AND IN-USE NONROAD COMPRESSION-IGNITION ENGINES Emission Test Equipment..., the chemiluminescent oxides of nitrogen analyzer shall be checked for NO2 to NO converter...

  5. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

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

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

  7. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

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

  8. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

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

  9. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

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

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

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

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

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

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

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

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

  17. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

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

  18. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

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

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

  20. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

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

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

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

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

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

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

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

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

  8. Checking dwelling performance for Aging-in-Place.

    PubMed

    van der Vlies, Remy D; Nauta, Joram; Smit-Rietveld, Charlotte

    2015-01-01

    About 90% of persons aged 55 and older would prefer to stay in their current residences as long as possible because older adults value their independence. However, aging-in-place is not always a choice. Recently, the Dutch government tightened the criteria for older adults to be admitted in a nursing home. Throughout the past 5 years TNO was requested by the trade association for building service contractors in the Netherlands to develop a number of tools for building service professionals. The 'dwelling check' was developed as a 'basic' check on the possibility for aging-in-place. A pilot study was conducted to assess the added value of the dwelling check for older adults. During this pilot study the occupants of over 200 dwellings were interviewed by 11 building services contractors using the dwelling check. Based on these interviews a personal advice was written. After which the interviewees were asked to evaluate this service, comprising the interview and written advice. The dwelling check contributed most to the awareness of and interest in possible alterations for aging-in-place. In a few cases the decision (17%) or even action (5%) was taken to make alterations. Overall the dwelling check was rated 8 out of 10 by the interviewees and may therefore be considered of added value. PMID:26294608

  9. Fireplace adapters

    SciTech Connect

    Hunt, R.L.

    1983-12-27

    An adapter is disclosed for use with a fireplace. The stove pipe of a stove standing in a room to be heated may be connected to the flue of the chimney so that products of combustion from the stove may be safely exhausted through the flue and outwardly of the chimney. The adapter may be easily installed within the fireplace by removing the damper plate and fitting the adapter to the damper frame. Each of a pair of bolts has a portion which hooks over a portion of the damper frame and a threaded end depending from the hook portion and extending through a hole in the adapter. Nuts are threaded on the bolts and are adapted to force the adapter into a tight fit with the adapter frame.

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

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... Access Programs by sect. 4.4 of Executive Order 12958) (60 FR 19825, 3 CFR 1995 Comp., p. 333); (2) “L...) from the date of, the previous investigation or reinvestigation. (Attachment D to this subpart, Table 2...) Date and Place of Birth: Corroboration of date and place of birth through a check of...

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Access Programs by sect. 4.4 of Executive Order 12958) (60 FR 19825, 3 CFR 1995 Comp., p. 333); (2) “L...) from the date of, the previous investigation or reinvestigation. (Attachment D to this subpart, Table 2...) Date and Place of Birth: Corroboration of date and place of birth through a check of...

  12. Adaptive SPECT

    PubMed Central

    Barrett, Harrison H.; Furenlid, Lars R.; Freed, Melanie; Hesterman, Jacob Y.; Kupinski, Matthew A.; Clarkson, Eric; Whitaker, Meredith K.

    2008-01-01

    Adaptive imaging systems alter their data-acquisition configuration or protocol in response to the image information received. An adaptive pinhole single-photon emission computed tomography (SPECT) system might acquire an initial scout image to obtain preliminary information about the radiotracer distribution and then adjust the configuration or sizes of the pinholes, the magnifications, or the projection angles in order to improve performance. This paper briefly describes two small-animal SPECT systems that allow this flexibility and then presents a framework for evaluating adaptive systems in general, and adaptive SPECT systems in particular. The evaluation is in terms of the performance of linear observers on detection or estimation tasks. Expressions are derived for the ideal linear (Hotelling) observer and the ideal linear (Wiener) estimator with adaptive imaging. Detailed expressions for the performance figures of merit are given, and possible adaptation rules are discussed. PMID:18541485

  13. Adaptive Computing.

    ERIC Educational Resources Information Center

    Harrell, William

    1999-01-01

    Provides information on various adaptive technology resources available to people with disabilities. (Contains 19 references, an annotated list of 129 websites, and 12 additional print resources.) (JOW)

  14. Contour adaptation.

    PubMed

    Anstis, Stuart

    2013-01-01

    It is known that adaptation to a disk that flickers between black and white at 3-8 Hz on a gray surround renders invisible a congruent gray test disk viewed afterwards. This is contrast adaptation. We now report that adapting simply to the flickering circular outline of the disk can have the same effect. We call this "contour adaptation." This adaptation does not transfer interocularly, and apparently applies only to luminance, not color. One can adapt selectively to only some of the contours in a display, making only these contours temporarily invisible. For instance, a plaid comprises a vertical grating superimposed on a horizontal grating. If one first adapts to appropriate flickering vertical lines, the vertical components of the plaid disappears and it looks like a horizontal grating. Also, we simulated a Cornsweet (1970) edge, and we selectively adapted out the subjective and objective contours of a Kanisza (1976) subjective square. By temporarily removing edges, contour adaptation offers a new technique to study the role of visual edges, and it demonstrates how brightness information is concentrated in edges and propagates from them as it fills in surfaces.

  15. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.

    PubMed

    Pârvu, Ovidiu; Gilbert, David

    2016-01-01

    Insights gained from multilevel computational models of biological systems can be translated into real-life applications only if the model correctness has been verified first. One of the most frequently employed in silico techniques for computational model verification is model checking. Traditional model checking approaches only consider the evolution of numeric values, such as concentrations, over time and are appropriate for computational models of small scale systems (e.g. intracellular networks). However for gaining a systems level understanding of how biological organisms function it is essential to consider more complex large scale biological systems (e.g. organs). Verifying computational models of such systems requires capturing both how numeric values and properties of (emergent) spatial structures (e.g. area of multicellular population) change over time and across multiple levels of organization, which are not considered by existing model checking approaches. To address this limitation we have developed a novel approximate probabilistic multiscale spatio-temporal meta model checking methodology for verifying multilevel computational models relative to specifications describing the desired/expected system behaviour. The methodology is generic and supports computational models encoded using various high-level modelling formalisms because it is defined relative to time series data and not the models used to generate it. In addition, the methodology can be automatically adapted to case study specific types of spatial structures and properties using the spatio-temporal meta model checking concept. To automate the computational model verification process we have implemented the model checking approach in the software tool Mule (http://mule.modelchecking.org). Its applicability is illustrated against four systems biology computational models previously published in the literature encoding the rat cardiovascular system dynamics, the uterine contractions of labour

  16. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking

    PubMed Central

    Gilbert, David

    2016-01-01

    Insights gained from multilevel computational models of biological systems can be translated into real-life applications only if the model correctness has been verified first. One of the most frequently employed in silico techniques for computational model verification is model checking. Traditional model checking approaches only consider the evolution of numeric values, such as concentrations, over time and are appropriate for computational models of small scale systems (e.g. intracellular networks). However for gaining a systems level understanding of how biological organisms function it is essential to consider more complex large scale biological systems (e.g. organs). Verifying computational models of such systems requires capturing both how numeric values and properties of (emergent) spatial structures (e.g. area of multicellular population) change over time and across multiple levels of organization, which are not considered by existing model checking approaches. To address this limitation we have developed a novel approximate probabilistic multiscale spatio-temporal meta model checking methodology for verifying multilevel computational models relative to specifications describing the desired/expected system behaviour. The methodology is generic and supports computational models encoded using various high-level modelling formalisms because it is defined relative to time series data and not the models used to generate it. In addition, the methodology can be automatically adapted to case study specific types of spatial structures and properties using the spatio-temporal meta model checking concept. To automate the computational model verification process we have implemented the model checking approach in the software tool Mule (http://mule.modelchecking.org). Its applicability is illustrated against four systems biology computational models previously published in the literature encoding the rat cardiovascular system dynamics, the uterine contractions of labour

  17. A Novel Method to Verify Multilevel Computational Models of Biological Systems Using Multiscale Spatio-Temporal Meta Model Checking.

    PubMed

    Pârvu, Ovidiu; Gilbert, David

    2016-01-01

    Insights gained from multilevel computational models of biological systems can be translated into real-life applications only if the model correctness has been verified first. One of the most frequently employed in silico techniques for computational model verification is model checking. Traditional model checking approaches only consider the evolution of numeric values, such as concentrations, over time and are appropriate for computational models of small scale systems (e.g. intracellular networks). However for gaining a systems level understanding of how biological organisms function it is essential to consider more complex large scale biological systems (e.g. organs). Verifying computational models of such systems requires capturing both how numeric values and properties of (emergent) spatial structures (e.g. area of multicellular population) change over time and across multiple levels of organization, which are not considered by existing model checking approaches. To address this limitation we have developed a novel approximate probabilistic multiscale spatio-temporal meta model checking methodology for verifying multilevel computational models relative to specifications describing the desired/expected system behaviour. The methodology is generic and supports computational models encoded using various high-level modelling formalisms because it is defined relative to time series data and not the models used to generate it. In addition, the methodology can be automatically adapted to case study specific types of spatial structures and properties using the spatio-temporal meta model checking concept. To automate the computational model verification process we have implemented the model checking approach in the software tool Mule (http://mule.modelchecking.org). Its applicability is illustrated against four systems biology computational models previously published in the literature encoding the rat cardiovascular system dynamics, the uterine contractions of labour

  18. Estimated emission reductions from California's enhanced Smog Check program.

    PubMed

    Singer, Brett C; Wenzel, Thomas P

    2003-06-01

    The U.S. Environmental Protection Agency requires that states evaluate the effectiveness of their vehicle emissions inspection and maintenance (I/M) programs. This study demonstrates an evaluation approach that estimates mass emission reductions over time and includes the effect of I/M on vehicle deterioration. It includes a quantitative assessment of benefits from pre-inspection maintenance and repairs and accounts for the selection bias effect that occurs when intermittent high emitters are tested. We report estimates of one-cycle emission benefits of California's Enhanced Smog Check program, ca. 1999. Program benefits equivalent to metric tons per day of prevented emissions were calculated with a "bottom-up" approach that combined average per vehicle reductions in mass emission rates (g/gal) with average per vehicle activity, resolved by model year. Accelerated simulation mode test data from the statewide vehicle information database (VID) and from roadside Smog Check testing were used to determine 2-yr emission profiles of vehicles passing through Smog Check and infer emission profiles that would occur without Smog Check. The number of vehicles participating in Smog Check was also determined from the VID. We estimate that in 1999 Smog Check reduced tailpipe emissions of HC, CO, and NO(x) by 97, 1690, and 81 t/d, respectively. These correspond to 26, 34, and 14% of the HC, CO, and NO(x) that would have been emitted by vehicles in the absence of Smog Check. These estimates are highly sensitive to assumptions about vehicle deterioration in the absence of Smog Check. Considering the estimated uncertainty in these assumptions yields a range for calculated benefits: 46-128 t/d of HC, 860-2200 t/d of CO, and 60-91 t/d of NO(x). Repair of vehicles that failed an initial, official Smog Check appears to be the most important mechanism of emission reductions, but pre-inspection maintenance and repair also contributed substantially. Benefits from removal of nonpassing

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

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

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

  2. Advanced non-disruptive manufacturing rule checks (MRC)

    NASA Astrophysics Data System (ADS)

    Moore, Bill; Do, Tanya; Morgan, Ray E.

    2006-10-01

    New advanced mask rule checking (MRC) solutions are required to ensure cost effective, high yield photomask manufacturing processes at 65nm and below and are needed to provide new verification capabilities for mask makers and data prep engineers alike. Traditional MRC, which implements fundamental geometric data checks on limited data formats, is not sufficient for advanced photomask manufacturing. Like recent advances in design rule checking (DRC) software, which includes extensive "manufacturing-aware" rules (or DFM rules), MRC solutions must evolve to include a more comprehensive and intelligent rule checks for the mask manufacturing process. This paper describes the development and testing of an advanced MRC software solution developed within the CATS TM mask data preparation (MDP) solution from Synopsys Inc. The new MRC solution enables the inspection and analysis of mask layout patterns for simple and advanced data verification checks. Proposed applications for mask data prep applications are discussed and include incoming design verification, fracture data correction, inspection tool data tags, mask manufacturing tool or inspection tool selection, and job deck verification.

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

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

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

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

  7. Climate adaptation

    NASA Astrophysics Data System (ADS)

    Kinzig, Ann P.

    2015-03-01

    This paper is intended as a brief introduction to climate adaptation in a conference devoted otherwise to the physics of sustainable energy. Whereas mitigation involves measures to reduce the probability of a potential event, such as climate change, adaptation refers to actions that lessen the impact of climate change. Mitigation and adaptation differ in other ways as well. Adaptation does not necessarily have to be implemented immediately to be effective; it only needs to be in place before the threat arrives. Also, adaptation does not necessarily require global, coordinated action; many effective adaptation actions can be local. Some urban communities, because of land-use change and the urban heat-island effect, currently face changes similar to some expected under climate change, such as changes in water availability, heat-related morbidity, or changes in disease patterns. Concern over those impacts might motivate the implementation of measures that would also help in climate adaptation, despite skepticism among some policy makers about anthropogenic global warming. Studies of ancient civilizations in the southwestern US lends some insight into factors that may or may not be important to successful adaptation.

  8. Field trials of the Baby Check score card in hospital.

    PubMed

    Thornton, A J; Morley, C J; Cole, T J; Green, S J; Walker, K A; Rennie, J M

    1991-01-01

    The Baby Check score card was used by junior paediatric doctors to assess 262 babies under 6 months old presenting to hospital. The duty registrar and two consultants independently graded the severity of each baby's illness without knowledge of the Baby Check score. The registrars assessed the babies at presentation while the consultants reviewed the notes. The consultants and registrars agreed about the need for hospital admission only about 75% of the time. The score's sensitivity and predictive values were similar to those of the registrars' grading. The score's specificity was 87%. Babies with serious diagnosis scored high, while minor illnesses scored low. The predictive value for requiring hospital admission increased with the score, rising to 100% for scores of 20 or more. The appropriate use of Baby Check should improve the detection of serious illness. It could also reduce the number of babies admitted with minor illness, without putting them at increased risk.

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

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

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

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

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

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

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

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

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

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

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

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

  2. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) 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 checked. the analyzer flows and bypass flows may be used to estimate the in-use flow rates. (iii) The sample probe and the connection between the sample probe and valve V2 may...

  3. 19. CHECK, TURNOUT, SIPHON AND WEIR POOL, FOR DELIVERY FROM ...

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

    19. CHECK, TURNOUT, SIPHON AND WEIR POOL, FOR DELIVERY FROM BASE LINE WASTE DITCH TO WORMSER CANAL AT NORTHEAST CORNER, SECTION 12, T1S-R4E June 20, 1921 - Western Canal, South side of Salt River between Tempe, Phoenix & Mesa, Mesa, Maricopa County, AZ

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

  5. 60. VIEW OF LOW LEVEL CHECK STATION ON THE ARIZONA ...

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

    60. VIEW OF LOW LEVEL CHECK STATION ON THE ARIZONA CANAL, NEAR THE DEER VALLEY TREATMENT PLANT, LOOKING WEST. THE ARIZONA CANAL DIVERSION CHANNEL IS VISIBLE ON THE RIGHT SIDE OF THE PHOTOGRAPH Photographer: James Eastwood, July 1990 - Arizona Canal, North of Salt River, Phoenix, Maricopa County, AZ

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... Check Requirements Link to an amendment published at 78 FR 67844, Nov. 12, 2013. The maneuvers and... appendix, good judgment commensurate with a high level of safety must be demonstrated. In determining...) and ends when the airplane touches down on the runway or when transition to a missed...

  7. 17 CFR 230.419 - Offerings by blank check companies.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... plan is to engage in a merger or acquisition with an unidentified company or companies, or other entity... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall...

  8. 40 CFR 90.323 - Analyzer bench checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) CONTROL OF EMISSIONS FROM NONROAD SPARK-IGNITION ENGINES AT OR BELOW 19 KILOWATTS Emission Test Equipment... efficiency is greater than 90 percent. The converter must be at operational temperature while purging. Do not use this procedure prior to checking converter efficiency on in-use converters....

  9. 40 CFR 91.319 - NOX converter check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Emission Test Equipment Provisions § 91.319 NOX converter check. (a) The efficiency of the converter used for the conversion of NO2 to NO is tested as given... efficiency of converters by means of an ozonator. (2) Calibrate the HCLD in the most common operating...

  10. 40 CFR 89.315 - Analyzer bench checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) CONTROL OF EMISSIONS FROM NEW AND IN-USE NONROAD COMPRESSION-IGNITION ENGINES Emission Test Equipment... efficiency is greater than 90 percent. The converter must be at operational temperature while purging. Do not use this procedure prior to checking converter efficiency on in-use converters....

  11. 40 CFR 90.319 - NOX converter check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) 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 NO2... procedure described in paragraphs (a)(2) through (a)(8) of this section, test the efficiency of...

  12. 40 CFR 91.323 - Analyzer bench checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Emission Test Equipment Provisions § 91.323... either purging the converter with air for a minimum of four hours or until the converter efficiency is... procedure prior to checking converter efficiency on in-use converters....

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

  14. 40 CFR 53.52 - Leak check test.

    Code of Federal Regulations, 2013 CFR

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

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

  16. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... equipment response of zero; (3) Calibrated neutral density filters having approximately 10, 20, and 40 percent opacity shall be employed to check the linearity of the instrument. The filter(s) shall be... beam of light from the light source emanates, and the recorder response shall be noted. Filters...

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

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

  19. Surrogate headform accelerations associated with stick checks in girls' lacrosse.

    PubMed

    Crisco, Joseph J; Costa, Laura; Rich, Ryan; Schwartz, Joel B; Wilcox, Bethany

    2015-04-01

    Girls' lacrosse is fundamentally a different sport than boys' lacrosse, and girls are not required to wear protective headgear. Recent epidemiological studies have found that stick checks are the leading cause of concussion injury in girls' lacrosse. The purpose of this study was to determine stick check speeds and estimate the head acceleration associated with direct checks to the head. In addition, we briefly examine if commercially available headgear can mitigate the accelerations. Seven (n = 7) experienced female lacrosse players checked, with varying severity, a NOSCAE and an ASTM headform. Stick speed at impact and the associated peak linear accelerations of the headform were recorded. The NOCSAE headform was fitted with four commercially available headgear and similar stick impact testing was performed. The median stick impact speed was 8.1 m/s and 777 deg/s. At these speeds, peak linear acceleration was approximately 60g. Three out of the four headgear significantly reduced the peak linear acceleration when compared with the bare headform. These data serve as baseline for understanding the potential mechanism and reduction of concussions from stick impacts in girls' lacrosse. PMID:25411762

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

  1. 42 CFR 35.47 - Disposition of Government checks.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

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

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

  3. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... one being analyzed can interfere with the reading in several ways. Positive interference occurs in... to a lesser degree. Negative interference occurs in NDIR instruments by the interfering gas... the radiation. The interference checks described in this section are to be made initially and...

  4. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... one being analyzed can interfere with the reading in several ways. Positive interference occurs in... to a lesser degree. Negative interference occurs in NDIR instruments by the interfering gas... the radiation. The interference checks described in this section are to be made initially and...

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... death of the payee: payments for the redemption of currencies or for principal and/or interest on U.S.... (c) Handling of checks when a certifying agency learns, after the issuance of a recurring benefit..., issued after a payee's death, is not payable. As a consequence, when a certifying agency learns that...

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

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

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

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

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

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

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

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

  14. 76 FR 16861 - Availability of Funds and Collection of Checks

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-03-25

    ... of the rule.\\20\\ \\18\\ 57 FR 46956 (Oct. 14, 1992). \\19\\ Times are stated as local time of the paying... changes to the regulation to improve the check collection system, such as decreasing the time afforded to.... 229.36(f), were adopted at later times. \\6\\ Public Law 108-100, 117 Stat. 1177 (codified at 12...

  15. 40 CFR 89.317 - NOX converter check.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ..., the chemiluminescent oxides of nitrogen analyzer shall be checked for NO2 to NO converter efficiency... concentration of residual NO. (i) Switch the oxides of nitrogen analyzer to the NOX mode and measure total NOX... of the NOX generator to the sample inlet of the oxides of nitrogen analyzer which has been......

  16. 40 CFR 91.319 - NOX converter check.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... converter check. (a) The efficiency of the converter used for the conversion of NO2 to NO is tested as given... of the NO concentration). The NOX analyzer must be in the NO mode so that the span gas does not pass..., then use the highest range which will give the reduction. (6) Switch the NO analyzer to the NOX...

  17. 40 CFR 90.319 - NOX converter check.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 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 not... the highest range which will give the reduction. (6) Switch the NO analyzer to the NOX mode...

  18. 40 CFR 90.319 - NOX converter check.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 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 not... the highest range which will give the reduction. (6) Switch the NO analyzer to the NOX mode...

  19. 40 CFR 89.317 - NOX converter check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ..., the chemiluminescent oxides of nitrogen analyzer shall be checked for NO2 to NO converter efficiency... concentration of residual NO. (i) Switch the oxides of nitrogen analyzer to the NOX mode and measure total NOX... of the NOX generator to the sample inlet of the oxides of nitrogen analyzer which has been......

  20. 40 CFR 90.319 - NOX converter check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 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 not... the highest range which will give the reduction. (6) Switch the NO analyzer to the NOX mode...

  1. 40 CFR 91.319 - NOX converter check.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... converter check. (a) The efficiency of the converter used for the conversion of NO2 to NO is tested as given... of the NO concentration). The NOX analyzer must be in the NO mode so that the span gas does not pass..., then use the highest range which will give the reduction. (6) Switch the NO analyzer to the NOX...

  2. 40 CFR 91.319 - NOX converter check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... converter check. (a) The efficiency of the converter used for the conversion of NO2 to NO is tested as given... of the NO concentration). The NOX analyzer must be in the NO mode so that the span gas does not pass..., then use the highest range which will give the reduction. (6) Switch the NO analyzer to the NOX...

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

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

  5. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... any major repairs that could affect analyzer performance. (b) CO analyzer water and CO 2 interference... shall be checked for response to water vapor and CO2. (1) Follow good engineering practices for... be used. (2) Zero the carbon monoxide analyzer with either zero-grade air or zero-grade nitrogen....

  6. Level of agency in sub-clinical checking.

    PubMed

    Belayachi, S; Van der Linden, M

    2009-03-01

    This study examined cognitive representations of routine action, through the assessment of level of agency, in individuals with sub-clinical checking. The level of agency stems from Action Identification Theory [Vallacher, R. R., Wegner, D. M. (1989). Levels of personal agency: Individual variation in action identification. Journal of Personality and Social Psychology 57, 660-671], which states that how actions are usually identified (based on instrumental aspects or purpose) reflects the predominant accessibility of internal representation (movements executed vs. goal pursued). Furthermore, this framework proposed that altered action regulation is related to low-level of agency (i.e., action identification at an instrumental level). In the current study, the main result indicated that checking symptoms were related to a low-level of agency, that is, individuals with sub-clinical checking identified habitual actions on the basis of instrumental aspects. This seems to indicate that checkers may act with a lack of goal representations. The results are discussed in terms of the role of low-level of agency in checking phenomena and related cognitive dysfunction.

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

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

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

  10. Use of Criminal Background Checks in Counselor Education

    ERIC Educational Resources Information Center

    Erwin, Wesley J.; Toomey, Maria Enerson

    2005-01-01

    To conduct an initial investigation into the use of criminal background checks and related issues in counselor education programs, surveys were sent to the contacts from 50 programs accredited by the Council for Accreditation of Counseling and Related Educational Programs (2001). The results of this pilot study highlight the need for more…

  11. Surrogate headform accelerations associated with stick checks in girls' lacrosse.

    PubMed

    Crisco, Joseph J; Costa, Laura; Rich, Ryan; Schwartz, Joel B; Wilcox, Bethany

    2015-04-01

    Girls' lacrosse is fundamentally a different sport than boys' lacrosse, and girls are not required to wear protective headgear. Recent epidemiological studies have found that stick checks are the leading cause of concussion injury in girls' lacrosse. The purpose of this study was to determine stick check speeds and estimate the head acceleration associated with direct checks to the head. In addition, we briefly examine if commercially available headgear can mitigate the accelerations. Seven (n = 7) experienced female lacrosse players checked, with varying severity, a NOSCAE and an ASTM headform. Stick speed at impact and the associated peak linear accelerations of the headform were recorded. The NOCSAE headform was fitted with four commercially available headgear and similar stick impact testing was performed. The median stick impact speed was 8.1 m/s and 777 deg/s. At these speeds, peak linear acceleration was approximately 60g. Three out of the four headgear significantly reduced the peak linear acceleration when compared with the bare headform. These data serve as baseline for understanding the potential mechanism and reduction of concussions from stick impacts in girls' lacrosse.

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

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

  14. Video Demo of UMBC's "Check My Activity" Tool for Students

    ERIC Educational Resources Information Center

    Fritz, John

    2010-01-01

    The University of Maryland, Baltimore County (UMBC) uses a Blackboard course management system (CMS) to support faculty and students. To supplement the CMS, the university created a custom "Check My Activity" (CMA) self-service feedback tool for students. In addition to comparing their online course activity against a class average, students can…

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

  16. Toothbrush Adaptations.

    ERIC Educational Resources Information Center

    Exceptional Parent, 1987

    1987-01-01

    Suggestions are presented for helping disabled individuals learn to use or adapt toothbrushes for proper dental care. A directory lists dental health instructional materials available from various organizations. (CB)

  17. 47 CFR 80.293 - Check bearings by authorized ship personnel.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 47 Telecommunication 5 2011-10-01 2011-10-01 false Check bearings by authorized ship personnel. 80... Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if: (a) The required verification by check bearings are made not more than 90 days prior to the date...

  18. 47 CFR 80.293 - Check bearings by authorized ship personnel.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 47 Telecommunication 5 2010-10-01 2010-10-01 false Check bearings by authorized ship personnel. 80... Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if: (a) The required verification by check bearings are made not more than 90 days prior to the date...

  19. 31 CFR 240.5 - Limitations on payment; cancellation and distribution of proceeds of checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... that authorizes the issuance of checks a list of those checks issued for such agency which were... and distribution of proceeds of checks. 240.5 Section 240.5 Money and Finance: Treasury Regulations... SERVICE INDORSEMENT AND PAYMENT OF CHECKS DRAWN ON THE UNITED STATES TREASURY General Provisions §...

  20. 31 CFR 240.5 - Limitations on payment; cancellation and distribution of proceeds of checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... that authorizes the issuance of checks a list of those checks issued for such agency which were... and distribution of proceeds of checks. 240.5 Section 240.5 Money and Finance: Treasury Regulations... SERVICE INDORSEMENT AND PAYMENT OF CHECKS DRAWN ON THE UNITED STATES TREASURY General Provisions §...