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. Non-Gaussian Based Buddy Check and Gross Error Check Observational Quality Control Measures and Their Impacts on Non-Gaussian Based Data Assimilation Systems.

    NASA Astrophysics Data System (ADS)

    Fletcher, S. J.; Kliewer, A.; Jones, A. S.; Forsythe, J. M.

    2014-12-01

    With the recent derivation of a mixed distribution based incremental VAR data assimilation system, the need to adapt the current Gaussian based quality control measures to allow for the correct assessment of lognormal distribution based observational errors has to be addressed. In this paper we take the "buddy check" system and show that it is possible to derive a similar measure in terms of a linearization with respect to ln x and not x. The gross error check is also discussed in the framework of which statistic, mean, mode of median, is the measure to be "centered" about, given the skewness of lognormal distribution. The final part of this paper is concerned with comparing the impact of using the current Gaussian and the new lognormal based distribution with an incremental mixed distribution based 4DVAR system with the Lorenz 1963 model.

  3. Better Book Buddies.

    ERIC Educational Resources Information Center

    Block, Cathy Collins; Dellamura, Robyn J.

    2001-01-01

    Describes how book buddies activities enable both tutors and tutees to reach new heights in their literacy abilities. Describes how teachers can significantly increase these benefits by incorporating record-keeping and writing activities. Offers examples of book buddy journals, reflection forms, reading records, strategies checklists, question…

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

  6. Coaching Reading Buddies for Success

    ERIC Educational Resources Information Center

    Theurer, Joan Leikam; Schmidt, Kathy Burson

    2008-01-01

    Reading buddies have been used by teachers for many years. The practice and benefits of having older students reading with younger students on a regular basis has been well documented. This article provides suggestions for teachers as they begin a reading buddy program and includes ideas for meaningful follow-up activities that will help keep…

  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. Great Galactic Buddies

    NASA Technical Reports Server (NTRS)

    2006-01-01

    [figure removed for brevity, see original site] Click on image for poster [figure removed for brevity, see original site] [figure removed for brevity, see original site] [figure removed for brevity, see original site] [figure removed for brevity, see original site] 8.15 Billion Lightyears8.59 Billion Lightyears8.98 Billion Lightyears 9.09 Billion Lightyears

    Like great friends, galaxies stick together. Astronomers using NASA's Spitzer Space Telescope have spotted a handful of great galactic pals bonding back when the universe was a mere 4.6 billion years old. The universe is believed to be 13.7 billion years old.

    Collectively, these great galactic buddies are called galaxy clusters. A typical galaxy cluster can contain hundreds of galaxies and trillions of stars.

    In this false-color composite, some of the oldest galaxy clusters in the universe pose for Spitzer's infrared array camera. The individual galaxies that make up the distant clusters are shown as red dots in all four images.

    The green blobs are Milky Way stars along the line of sight, and the blue specks are faint galaxies at various distances along the line of sight. The green and blue data are from a visible-light, ground-based telescope.

    The cluster at 9.1 billion light-years away (lower right panel) is currently the most distant galaxy cluster ever detected.

    These images are three-color composites, in which blue represents visible light with a wavelength of 0.4 microns, and green indicates visible light of 0.8 microns. The visible data were captured by the ground-based Mosaic I camera at the Kitt Peak National Observatory in Tucson, Ariz. Red represents infrared light of 4.5 microns, captured by Spitzer's infrared array camera.

  9. Teaching Buddy Skills to Preschoolers.

    ERIC Educational Resources Information Center

    English, Kris; Shafer, Karin; Goldstein, Howard; Kaczmarek, Louise

    1997-01-01

    This manual describes the buddy skills training program, which provides teachers with a set of tested strategies designed to facilitate interactions and support the development of friendships between preschoolers with and without disabilities. The training procedures are philosophically based on social exchange theory. To support the concept of…

  10. The death of buddy diving?

    PubMed

    Cooper, P David

    2011-12-01

    Dear Editor, By focussing on the details of the Watson case, I believe Bryan Walpole has missed the thrust of my earlier letter. I agree this was a complex case, which is why I deliberately avoided the murky specifics in order to consider the 'big-picture' ramifications of the judgement. My concerns relate to the potential consequences of the unintended interplay between unrelated developments in the medical and legal arenas. Taken together, I believe these developments threaten the very institution of buddy diving. I have been unable to verify Dr Walpole's claim that the statute under which Mr Watson was convicted has not been used previously in a criminal trial. I must, however, refute his assertion that this legislation is some sort of idiosyncratic historical hangover or legal curiosity unique to Queensland. Although the original legislation pre-dates Australian federation, this statute has survived intact through 110 years of reviews and amendments to the Queensland Criminal Code. The application of this 19th century law to the Watson case now provides a direct, post-federation, 21st century relevance. Nor is Queensland alone in having such a statute on its books. Section 151 of the Criminal Code Act in Dr Walpole's home state of Tasmania states "When a person undertakes to do any act, the omission to do which is or may be dangerous to human life or health, it is his duty to do that act." Similar statutes can also be found in the legislation of other Australian states and as far afield as New Zealand and Canada. The phrasing of the relevant sections is, in many cases, almost identical to Queensland's, reflecting the common judicial heritage of these places. Even if this ruling's reach extended no further than the Queensland border its ramifications would be immense. Tourism statistics reveal that over 1.2 million visitors perform nearly 3.5 million dives/snorkels in Queensland each year. An estimated 93% of international divers visiting Australia stopover in

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

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

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

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

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

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

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

  18. Drinking Buddies: Who Are They and When Do They Matter?

    PubMed

    Lau-Barraco, Cathy; Linden, Ashley N

    2014-01-01

    The present study sought to further examine the role of peers on alcohol use and problems among young adults. In particular, we focused on a specific subset of peers in one's social network mostly for activities related to alcohol use called "drinking buddies." The presence of drinking buddies in one's social network has been shown to predict heavy drinking uniquely over but few studies have focused on potential factors moderating the relationship. Consequently, an aim of present study was to examine the influence of drinking buddies on alcohol outcomes and the extent to which the relationship may be dependent on one's normative perceptions. Another aim was to provide a descriptive examination of drinking buddies. Participants were college students (N = 250; 72.8% women) who completed self-report measures of alcohol use and problems, injunctive norms, descriptive norms, and social network characteristics. Results showed that descriptive norms moderated the relationship between drinking buddies and all alcohol outcomes assessed. Specifically, the influence of drinking buddies was stronger for those who perceived a lower prevalence of peer drinking. Examination of drinking buddies characteristics revealed that these peers tended to be young adults who were moderate social drinkers with whom they felt close and perceived to be available for concrete and emotional support. Several differences emerged between the drinking buddies of heavy versus non-heavy drinkers. The present study contributed to the larger body of work on peer influence and alcohol use by examining a specific subgroup of peers that may promote risky drinking. PMID:25429255

  19. ''Buddy system'' of peer mentors may help control diabetes.

    PubMed

    Long, Judith A

    2012-03-01

    Type 2 diabetes is more prevalent and severe among African Americans. Even within the Veterans Health Administration, which is thought to have minimized barriers in access to care, racial disparities in glucose control and outcomes persist. This Issue Brief summarizes work testing two novel interventions--one-on-one peer mentoring (a "buddy system") and financial incentives--designed to help patients with consistently poor diabetes control achieve better results. In this case, a telephone buddy makes a big difference. PMID:22451999

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

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

  2. Book Buddies: Kindergartners and Fifth Graders Explore Books Together

    ERIC Educational Resources Information Center

    Lowery, Ruth McKoy; Sabis-Burns, Donna; Anderson-Brown, Shawn

    2008-01-01

    This article discusses how Book buddy reading activities can help to develop interpersonal relationships between younger and older students, increase all children's reading levels and abilities, and foster their positive self-esteem and confidence. Teachers, families, and other caregivers often seek techniques to improve children's reading…

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

  4. Siblings and Buddies: Providing Expert Advice about Starting School

    ERIC Educational Resources Information Center

    Dockett, Sue; Perry, Bob

    2013-01-01

    This paper investigates the role of child experts (siblings and buddies) in young children's transition to school. Drawing on two recent studies, that sought the perspectives of children, educators and family members about effective supports at this time, we explore the roles of other children in the processes and practices of transition.…

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

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

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

  8. Buddy-to-Buddy, a citizen soldier peer support program to counteract stigma, PTSD, depression, and suicide.

    PubMed

    Greden, John F; Valenstein, Marcia; Spinner, Jane; Blow, Adrian; Gorman, Lisa A; Dalack, Gregory W; Marcus, Sheila; Kees, Michelle

    2010-10-01

    Citizen soldiers (National Guard and Reserves) represent approximately 40% of the two million armed forces deployed to Afghanistan and Iraq. Twenty-five to forty percent of them develop PTSD, clinical depression, sleep disturbances, or suicidal thoughts. Upon returning home, many encounter additional stresses and hurdles to obtaining care: specifically, many civilian communities lack military medical/psychiatric facilities; financial, job, home, and relationship stresses have evolved or have been exacerbated during deployment; uncertainty has increased related to future deployment; there is loss of contact with military peers; and there is reluctance to recognize and acknowledge mental health needs that interfere with treatment entry and adherence. Approximately half of those needing help are not receiving it. To address this constellation of issues, a private-public partnership was formed under the auspices of the Welcome Back Veterans Initiative. In Michigan, the Army National Guard teamed with the University of Michigan and Michigan State University to develop innovative peer-to-peer programs for soldiers (Buddy-to-Buddy) and augmented programs for military families. Goals are to improve treatment entry, adherence, clinical outcomes, and to reduce suicides. This manuscript describes training approaches, preliminary results, and explores future national dissemination. PMID:20955330

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

  10. The crooked buddy technique: use of a Wiggle wire alongside an extra support wire to improve device deliverability.

    PubMed

    Chism, B Scott; Lee, Richard W; Sweeney, John P; Fortuin, F David

    2010-08-01

    The buddy wire is a useful technique for difficult-to-cross lesions that are typically identified by poor guide support, vessel tortuosity, calcification and/or prior stent placement. We present 5 cases of percutaneous coronary interventional success involving difficult-to-cross lesions using the "crooked buddy" technique, a unique combination of the Wiggle guidewire as the rail and an extra support guidewire as the buddy wire. From our experience, we recommend that when difficult-to-cross lesions are identified, moving quickly to the crooked buddy technique may avoid unnecessary equipment, contrast and procedure time. PMID:20679675

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

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

  13. Check valve

    SciTech Connect

    Upton, H.A.; Garcia, P.

    1999-08-24

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

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

  15. Introducing a buddying scheme for first year pre-registration students.

    PubMed

    Campbell, Anne

    Student buddying schemes have been found to be helpful for a variety of different university students. This article describes a scheme where first year pre-registration child nursing students are buddied with second-year students, which was first initiated in the academic year 2012/2013. The first year students were aware that peer support was available but contact was only maintained by a minority of students. At present it is uncertain what impact the scheme has had on attrition figures, particularly in the first year. Initial evaluation indicates that students found the scheme helpful and would like it to continue to be available to first-year students. PMID:26559101

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

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

  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. Negotiating Power and Redefining Literacy Expertise: Buddy Reading in a Dual-Immersion Programme.

    ERIC Educational Resources Information Center

    Rubinstein-Avila, Eliane

    2003-01-01

    Reports on a case study of face-to-face interaction around and about texts between a second grade dyad in a dual-immersion (English/Portuguese) programme. Reveals multiple pedagogical scaffolds, few of which were unexpected. Concludes that Buddy Reading encouraged the peer readers to acknowledge and draw upon each other's expertise, as they…

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

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

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

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

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

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

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

  7. The Buddy Quiz: a collaborative assessment and a representation of the scientific enterprise

    NASA Astrophysics Data System (ADS)

    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 is also designed to include formative aspects. The representation in the quiz of the scientific enterprise as collaborative and individualistic is discussed. The employment of this instrument in a ninth-grade (age 15 years) conceptual physics course in an independent US secondary school is described and student feedback is presented.

  8. Peer and Teacher-Selected Peer Buddies for Adolescents With Autism Spectrum Disorders: The Role of Social, Emotional, and Mentalizing Abilities.

    PubMed

    Laghi, Fiorenzo; Federico, Francesca; Lonigro, Antonia; Levanto, Simona; Ferraro, Maurizio; Baumgartner, Emma; Baiocco, Roberto

    2016-05-18

    This study examined mentalizing abilities, social behavior, and social impact of adolescents who expressed the willingness to become peer buddies for adolescents with Autism Spectrum Disorders, and adolescents selected by their teachers and peers. Twenty-seven teachers and 395 adolescents from public high schools completed mentalizing abilities, social status, behavioral, and peer buddy nomination measures. Findings suggest that social status and preference play a significant role in the selection of peer buddies by both teachers and classmates. Furthermore, more advanced Theory of Mind (ToM) abilities and the engagement in prosocial behaviors differentiated peers selected as buddies from other classmates. When compared with nonparticipating students, adolescents who expressed willingness to participate were more often girls, and were more prosocial. Agreement between teacher and peer nominations of best peer was moderate. PMID:26398319

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

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

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

  12. A Pilot Study of CPAP Adherence Promotion by Peer Buddies with Sleep Apnea

    PubMed Central

    Parthasarathy, Sairam; Wendel, Christopher; Haynes, Patricia L.; Atwood, Charles; Kuna, Samuel

    2013-01-01

    Study Objectives: To evaluate patient ratings of the acceptability of a peer buddy system (PBS). To promote continuous positive airway pressure (CPAP) therapy adherence in patients with obstructive sleep apnea (OSA). To obtain preliminary data on the effectiveness of PBS on sleep-specific health-related quality of life and CPAP adherence. Design: Prospective, randomized, and controlled study. Setting: Academic Center. Participants: Thirty-nine patients with OSA and 13 patients with OSA who were experienced CPAP users. Interventions: Recently diagnosed patients with OSA were randomly assigned to either the PBS to promote CPAP adherence (intervention group) or usual care (control group). Measurements: Patient satisfaction, Functional Outcomes of Sleep Questionnaire (FOSQ), CPAP adherence, vigilance, self-efficacy, and patient activation were measured. Results: Ninety-one percent of the subjects rated the PBS as very satisfactory (68%) or satisfactory (23%). During the 90 days of therapy, weekly CPAP adherence was greater in the intervention than the usual care group (MANOVA; F = 2.29; p = 0.04). Patient satisfaction was positively correlated with CPAP adherence (R2 = 0.14; p = 0.02). We did not find any group differences for FOSQ, vigilance, self-efficacy, or patient activation in this pilot study. Conclusion: Our pilot study suggests that the PBS intervention is feasible and received high patient satisfaction ratings. CPAP adherence may be improved by peer-driven intervention, but a larger, adequately powered study is needed. Clinical Trial Information: ClinicalTrials.gov identifier: NCT01164683. Commentary: A commentary on this article appears in this issue on page 551. Citation: Parthasarathy S; Wendel C; Haynes PL; Atwood C; Kuna S. A pilot study of CPAP adherence promotion by peer buddies with sleep apnea. J Clin Sleep Med 2013;9(6):543-550. PMID:23772186

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

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

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

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

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

  19. Adaptation.

    PubMed

    Broom, Donald M

    2006-01-01

    The term adaptation is used in biology in three different ways. It may refer to changes which occur at the cell and organ level, or at the individual level, or at the level of gene action and evolutionary processes. Adaptation by cells, especially nerve cells helps in: communication within the body, the distinguishing of stimuli, the avoidance of overload and the conservation of energy. The time course and complexity of these mechanisms varies. Adaptive characters of organisms, including adaptive behaviours, increase fitness so this adaptation is evolutionary. The major part of this paper concerns adaptation by individuals and its relationships to welfare. In complex animals, feed forward control is widely used. Individuals predict problems and adapt by acting before the environmental effect is substantial. Much of adaptation involves brain control and animals have a set of needs, located in the brain and acting largely via motivational mechanisms, to regulate life. Needs may be for resources but are also for actions and stimuli which are part of the mechanism which has evolved to obtain the resources. Hence pigs do not just need food but need to be able to carry out actions like rooting in earth or manipulating materials which are part of foraging behaviour. The welfare of an individual is its state as regards its attempts to cope with its environment. This state includes various adaptive mechanisms including feelings and those which cope with disease. The part of welfare which is concerned with coping with pathology is health. Disease, which implies some significant effect of pathology, always results in poor welfare. Welfare varies over a range from very good, when adaptation is effective and there are feelings of pleasure or contentment, to very poor. A key point concerning the concept of individual adaptation in relation to welfare is that welfare may be good or poor while adaptation is occurring. Some adaptation is very easy and energetically cheap and

  20. Health Check Tools

    MedlinePlus

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

  1. Environmental Reality Check.

    ERIC Educational Resources Information Center

    Manicone, Santo

    2001-01-01

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

  2. Check valves aging assessment

    SciTech Connect

    Haynes, H.D.

    1991-01-01

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

  3. Checking the anaesthetic machine.

    PubMed

    Wicker, Paul; Smith, Brian

    2006-12-01

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

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

  5. NHS Health Checks

    PubMed Central

    Abdalrahman, Bayad; Soljak, Michael

    2015-01-01

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

  6. Check-Digit Schemes.

    ERIC Educational Resources Information Center

    Wheeler, Mary L.

    1994-01-01

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

  7. Functional treatment of metacarpal diaphyseal fractures by buddy taping: A prospective single-center study.

    PubMed

    Jardin, Emmanuelle; Pechin, Caroline; Rey, Pierre-Bastien; Uhring, Julien; Obert, Laurent

    2016-02-01

    Metacarpal diaphyseal fractures are classically treated using a non-removable glove for 4 to 6 weeks. Here, we report the results of treatment by immediate active protected mobilization (buddy taping for four weeks) of minimally displaced M2 to M5 fractures. Fifty-four fractures (15 transverse or short oblique and 39 spiral or long oblique) in 51 patients were included during a one-year period; the average age of patients was 31 years. Clinical and radiographic assessments were carried out at day 15 and then months 1, 2 and 6 post-fracture. Thirty-one cases were reviewed at day 15, 27 at 1 month, and 22 at 2 months. The initial volar tilt was 26° on average for the short oblique or transverse fractures, and 11.5° for the long oblique or spiral fractures. Six fractures (11%) experienced 16.6° of secondary displacement on average. The fracture was healed in 37% of cases at 1 month, and in 100% of cases at 2 months in the patients who were reviewed clinically. Reduction in the QuickDASH and VAS for pain was evidence of fast functional recovery. The range of motion was comparable to that of the contralateral side in 90% cases after 2 months. Grip and pinch strength was 33% less than the contralateral side at 2 months. Although secondary displacement occurs in some cases, the functional results of this simple and practical treatment method are good after 2 months, as there is little pain, stiffness, strength loss and no cases of nonunion. PMID:27117022

  8. The Combined Effects of Social Script Training and Peer Buddies on Generalized Peer Interaction of Children with ASD in Inclusive Classrooms

    ERIC Educational Resources Information Center

    Hundert, Joel; Rowe, Sarah; Harrison, Erin

    2014-01-01

    One of the challenges in supporting young children with Autism Spectrum Disorder (ASD) in inclusive classrooms is the generalization of improved social behaviors. Using a multiple-baseline design across participants, this study examined the generalized effects of social script training alone and combined with peer buddies on the interactive play…

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

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

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

  12. DR-BUDDI (Diffeomorphic Registration for Blip-Up blip-Down Diffusion Imaging) Method for Correcting Echo Planar Imaging Distortions

    PubMed Central

    Irfanoglu, M. Okan; Modi, Pooja; Nayak, Amritha; Hutchinson, Elizabeth B.; Sarlls, Joelle; Pierpaoli, Carlo

    2014-01-01

    We propose an echo planar imaging (EPI) distortion correction method (DR-BUDDI), specialized for diffusion MRI, which uses data acquired twice with reversed phase encoding directions, often referred to as blip-up blip-down acquisitions. DR-BUDDI can incorporate information from an undistorted structural MRI and also use diffusion-weighted images (DWI) to guide the registration, improving the quality of the registration in the presence of large deformations and in white matter regions. DR-BUDDI does not require the transformations for correcting blip-up and blip-down images to be the exact inverse of each other. Imposing the theoretical “blip-up blip-down distortion symmetry” may not be appropriate in the presence of common clinical scanning artifacts such as motion, ghosting, Gibbs ringing, vibrations, and low signal-to-noise. The performance of DR-BUDDI is evaluated with several data sets and compared to other existing blip-up blip-down correction approaches. The proposed method is robust and generally outperforms existing approaches. The inclusion of the DWIs in the correction process proves to be very important to obtain a reliable correction of distortions in the brain stem. Methods that do not use DWIs may produce a visually appealing correction of the non-diffusion weighted b = 0 s/mm2 images, but the directionally encoded color maps computed from the tensor reveal an abnormal anatomy of the white matter pathways. PMID:25433212

  13. Simple quantum password checking

    NASA Astrophysics Data System (ADS)

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

    2015-06-01

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

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

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

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

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

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

  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. PMID:25713665

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

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

    ERIC Educational Resources Information Center

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

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

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

  8. Reciprocal Peer Support for Post-partum Patients with Diabetes: A Needs Assessment for the Diabetes Buddy Program.

    PubMed

    Alexandra Friedman, M; Niznik, Charlotte M; Bolden, Janelle R; Yee, Lynn M

    2016-04-01

    While peer support has been investigated in multiple clinical contexts, its application to the postpartum setting is unknown. The aim was to assess acceptability of a postpartum peer support program for women with diabetes. Observational survey-based needs assessment of forty low-income women with diabetes, receiving care at a major medical institution. Mean age and gravidity were 30.7 years and 3.15 ± 1.67 respectively. 45 % expressed interest in a "buddy." There was no significant difference between groups desiring and not desiring this program. A majority of respondents desired telephone, text messaging, and in-person contacts (79.2, 72.1, 83.8 %), with 72.5 % of patients desiring diabetes-related activities during clinic waiting time. Many women desire a postpartum diabetes reciprocal peer program for support outside of clinician visits. Patients are receptive to educational services during their wait and outside of clinic time, a potentially valuable opportunity to share important health information. PMID:26518777

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

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

    PubMed

    Black, Melissa J; Grisham, Jessica R

    2016-08-01

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

  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. PMID:25896467

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

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

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

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

  19. 25 CFR 141.19 - Check cashing.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

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

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

  1. 14 CFR 121.441 - Proficiency checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

  2. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

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

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

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

  5. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

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

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

  7. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

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

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

  9. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

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

  10. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

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

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

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

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

  20. Check valve slam analysis in pumping station

    NASA Astrophysics Data System (ADS)

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

    2016-03-01

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

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

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

    PubMed

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

    2016-01-01

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

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

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

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

    ERIC Educational Resources Information Center

    Trey, Frances

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

  14. 46 CFR 10.214 - Security Check.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

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

  15. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

    ERIC Educational Resources Information Center

    Ross, Scott W.; Sabey, Christian V.

    2015-01-01

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

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

    ERIC Educational Resources Information Center

    Green, Joanne; And Others

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

  18. Tractor Mechanic Check Sheets for Modules.

    ERIC Educational Resources Information Center

    Clemson Univ., SC. Vocational Education Media Center.

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

  19. Anaesthetic machine checking practices. A survey.

    PubMed

    Mayor, A H; Eaton, J M

    1992-10-01

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

  20. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

  1. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  2. Checking and Balancing: Banking and Budgeting.

    ERIC Educational Resources Information Center

    Thypin, Marilyn; Glasner, Lynne

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

  3. 7 CFR 1421.11 - Spot checks.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

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

  4. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  5. 46 CFR 10.214 - Security Check.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

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

  6. 46 CFR 10.214 - Security Check.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

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

  7. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  8. 7 CFR 58.243 - Checking quality.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

  9. Vertical pump with free floating check valve

    DOEpatents

    Lindsay, Malcolm

    1980-01-01

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

  10. Check & Connect. What Works Clearinghouse Intervention Report

    ERIC Educational Resources Information Center

    What Works Clearinghouse, 2006

    2006-01-01

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

  11. Program Model Checking: A Practitioner's Guide

    NASA Technical Reports Server (NTRS)

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

    2008-01-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

  13. X-31 Engine Fit Check

    NASA Technical Reports Server (NTRS)

    1998-01-01

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

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

    NASA Astrophysics Data System (ADS)

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

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

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

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

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

  18. Why your practice must do background checks.

    PubMed

    Zupko, Karen

    2007-01-01

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

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

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

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

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

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

  4. For Better Skin Cancer Checks, Partner Up

    MedlinePlus

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

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

  6. Joule-Thomson Expander Without Check Valves

    NASA Technical Reports Server (NTRS)

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

    1989-01-01

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

  7. Very fast recognition of GIRO check forms

    NASA Astrophysics Data System (ADS)

    Minh Ha, Thien; Bunke, Horst

    1993-04-01

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

  8. 31 CFR 235.4 - Check Forgery Insurance Fund.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

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

  11. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  12. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

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

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

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

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

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

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

  1. A Metric Encoding for Bounded Model Checking

    NASA Astrophysics Data System (ADS)

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

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 3 2011-01-01 2011-01-01 false Qualifications: Check airmen (airplane) and check airmen (simulator). 121.411 Section 121.411 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR HIRE: CERTIFICATION AND OPERATIONS...

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

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

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

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

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

    ERIC Educational Resources Information Center

    Hamer, Jean

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

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

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

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

    ERIC Educational Resources Information Center

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

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

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

  14. Integrating Online Assignments Checking in Introductory Courses

    ERIC Educational Resources Information Center

    Pundak, David; Shacham, Miri; Herscovitz, Orit

    2013-01-01

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

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

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

  17. Quality Checking for Multi-GNSS Data

    NASA Astrophysics Data System (ADS)

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

    2015-04-01

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

  18. 30 CFR 75.1715 - Identification check system.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

  19. 30 CFR 75.1715 - Identification check system.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  20. 30 CFR 75.1715 - Identification check system.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

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

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

  5. Does Your Result Checker Really Check?

    PubMed Central

    Guo, Lan; Mukhopadhyay, Supratik; Cukic, Bojan

    2015-01-01

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

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

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

  8. STS-88 Mission Specialist Krikalev checks equipment

    NASA Technical Reports Server (NTRS)

    1998-01-01

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

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

  10. Posterior predictive checking of multiple imputation models.

    PubMed

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

    2015-07-01

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

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

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

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

  14. Checking Automated-Welder Programs By Computer

    NASA Technical Reports Server (NTRS)

    Damicone, L. O.

    1990-01-01

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

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

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

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

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

  19. Regular ward checks raise standards of care.

    PubMed

    Dean, Erin

    2012-05-01

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

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

  1. Dynamically stable check valve concept for wide flow range

    NASA Technical Reports Server (NTRS)

    Absalom, J. G.

    1968-01-01

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

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

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

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

    PubMed

    Weaving, Charlene; Roberts, Samuel

    2012-09-01

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

  5. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

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

  7. 31 CFR 240.12 - Processing of checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

  8. 31 CFR 240.12 - Processing of checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

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

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

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

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

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

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

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

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

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

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

  5. 12 CFR 229.53 - Substitute check indemnity.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

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

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

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

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

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

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

  14. 48 CFR 22.406-7 - Compliance checking.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

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

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

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

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

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

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

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

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

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

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

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

    SciTech Connect

    MISKA, C.R.

    2000-10-23

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

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

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

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

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

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

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

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

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

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

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

    PubMed

    White, Emily K; Warren, Cortney S

    2013-09-01

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

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

  18. It's Time for Adventure Buddies.

    ERIC Educational Resources Information Center

    Wieseman, Katherine C.; Cadwell, Doni; Pike, Lisa

    2002-01-01

    Introduces an inquiry-based cooperative learning project in which education students paired up with young children. Provides an experience of inquiry-based pedagogy to education students and a meaningful learning experience to children. (YDS)

  19. Making an Exercise Buddy Agreement

    MedlinePlus

    ... meet your needs. Print out two copies and fill them out together. Then, to make it “official,” both of you should sign them and keep a copy. Review Your Progress Refer back to your agreement at a set time to ...

  20. Buddies, Back Packs, and Blisters

    ERIC Educational Resources Information Center

    Coffey, James V.; Ferree, John

    1974-01-01

    The authors describe a program involving nine middle school boys and three high school boys on a 30-mile hike on the Appalachian Trail which attempted to: (1) improve attitudes toward school; (2) improve school achievement; (3) develop a helping relationship with an older boy; and (4) improve the self-concept of the younger boy. (Author/RP)

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

  2. Analyzing Mode Confusion via Model Checking

    NASA Technical Reports Server (NTRS)

    Luettgen, Gerald; Carreno, Victor

    1999-01-01

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

  3. Trapping efficiency of three types check dams experiment

    NASA Astrophysics Data System (ADS)

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

    2015-04-01

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

  4. A general check standard measurement and database software program

    SciTech Connect

    Duda, L.E.

    1998-04-01

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

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

  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...) Date and Place of Birth: Corroboration of date and place of birth through a check of...

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

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

    Code of Federal Regulations, 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...

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

    PubMed

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

    2015-06-01

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

  12. 40 CFR 89.315 - Analyzer bench checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  13. 30 CFR 75.1715 - Identification check system.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  14. 30 CFR 75.1715 - Identification check system.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  15. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  16. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

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

  19. 31 CFR 10.31 - Negotiation of taxpayer checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  20. 31 CFR 240.12 - Processing of checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 31 Money and Finance: Treasury 2 2014-07-01 2014-07-01 false Processing of checks. 240.12 Section 240.12 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE FISCAL SERVICE INDORSEMENT AND PAYMENT OF CHECKS DRAWN ON THE UNITED STATES TREASURY General...

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

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

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

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

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

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

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

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

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

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

  11. 31 CFR 10.31 - Negotiation of taxpayer checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  12. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

  13. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  14. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

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

  16. 40 CFR 89.315 - Analyzer bench checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  17. 40 CFR 91.323 - Analyzer bench checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  18. 31 CFR 245.7 - Check status inquiry.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  19. 31 CFR 10.31 - Negotiation of taxpayer checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  20. 40 CFR 90.319 - NOX converter check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  1. 40 CFR 89.317 - NOX converter check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  2. 40 CFR 89.317 - NOX converter check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  3. 40 CFR 90.319 - NOX converter check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  4. 19 CFR 111.41 - Endorsement of checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-10-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-10-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

  9. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 36 Parks, Forests, and Public Property 3 2013-07-01 2012-07-01 true Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  10. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 36 Parks, Forests, and Public Property 3 2012-07-01 2012-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  11. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 36 Parks, Forests, and Public Property 3 2011-07-01 2011-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  12. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

  13. 36 CFR 504.12 - Items to be checked.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 36 Parks, Forests, and Public Property 3 2014-07-01 2014-07-01 false Items to be checked. 504.12 Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed...

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

    NASA Technical Reports Server (NTRS)

    1962-01-01

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

  15. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

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

  16. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

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

  17. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

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

  18. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

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

  19. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

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

  20. 31 CFR 240.12 - Processing of checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Processing of checks. 240.12 Section 240.12 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE INDORSEMENT AND PAYMENT OF CHECKS DRAWN ON THE UNITED STATES TREASURY General...

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

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

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

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

  5. 40 CFR 90.319 - NOX converter check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  6. 40 CFR 89.317 - NOX converter check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  7. 40 CFR 90.323 - Analyzer bench checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

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

    ERIC Educational Resources Information Center

    Fisher, Douglas; Frey, Nancy

    2007-01-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

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

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

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

  13. [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. PMID:22542879

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

    ERIC Educational Resources Information Center

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

    2014-01-01

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

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

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

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

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

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

  20. Symbolic LTL Compilation for Model Checking: Extended Abstract

    NASA Technical Reports Server (NTRS)

    Rozier, Kristin Y.; Vardi, Moshe Y.

    2007-01-01

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

  1. The PSI semantic validator: a framework to check MIAPE compliance of proteomics data.

    PubMed

    Montecchi-Palazzi, Luisa; Kerrien, Samuel; Reisinger, Florian; Aranda, Bruno; Jones, Andrew R; Martens, Lennart; Hermjakob, Henning

    2009-11-01

    The Human Proteome Organization's Proteomics Standards Initiative (PSI) promotes the development of exchange standards to improve data integration and interoperability. PSI specifies the suitable level of detail required when reporting a proteomics experiment (via the Minimum Information About a Proteomics Experiment), and provides extensible markup language (XML) exchange formats and dedicated controlled vocabularies (CVs) that must be combined to generate a standard compliant document. The framework presented here tackles the issue of checking that experimental data reported using a specific format, CVs and public bio-ontologies (e.g. Gene Ontology, NCBI taxonomy) are compliant with the Minimum Information About a Proteomics Experiment recommendations. The semantic validator not only checks the XML syntax but it also enforces rules regarding the use of an ontology class or CV terms by checking that the terms exist in the resource and that they are used in the correct location of a document. Moreover, this framework is extremely fast, even on sizable data files, and flexible, as it can be adapted to any standard by customizing the parameters it requires: an XML Schema Definition, one or more CVs or ontologies, and a mapping file describing in a formal way how the semantic resources and the format are interrelated. As such, the validator provides a general solution to the common problem in data exchange: how to validate the correct usage of a data standard beyond simple XML Schema Definition validation. The framework source code and its various applications can be found at http://psidev.info/validator. PMID:19834897

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

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

  4. Model checking for linear temporal logic: An efficient implementation

    NASA Technical Reports Server (NTRS)

    Sherman, Rivi; Pnueli, Amir

    1990-01-01

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

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

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

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

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

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

  10. Exercise May Keep Diabetes in Check During Pregnancy

    MedlinePlus

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

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  12. Request a Brown-Bag Check-Up

    MedlinePlus

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

  13. Review and analysis of check valve failure data

    NASA Astrophysics Data System (ADS)

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

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

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

    PubMed Central

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

    2010-01-01

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

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

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

  17. Decentralized Checking Context Inconsistency in Ubiquitous Mobile Computing Environments

    NASA Astrophysics Data System (ADS)

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

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

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

    NASA Technical Reports Server (NTRS)

    Clark, L. K.

    1966-01-01

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

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

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

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

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

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

  5. 48 CFR 22.406-7 - Compliance checking.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

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

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

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

    PubMed

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

    2016-03-01

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

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

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

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

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

  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. Web-based Examination System “Check on e” having Self-check Capability of Advantages and Weaknesses

    NASA Astrophysics Data System (ADS)

    Fushimi, Shigeo; Watanabe, Akira; Nouda, Hideo

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

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

    SciTech Connect

    Auyang, M.K. )

    1993-05-01

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

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

  16. Helical tomotherapy quality assurance with ArcCHECK.

    PubMed

    Chapman, David; Barnett, Rob; Yartsev, Slav

    2014-01-01

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

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

    NASA Technical Reports Server (NTRS)

    Larson, William E.

    1989-01-01

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

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

    NASA Technical Reports Server (NTRS)

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

    2012-01-01

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

  19. Helical tomotherapy quality assurance with ArcCHECK

    SciTech Connect

    Chapman, David; Barnett, Rob; Yartsev, Slav

    2014-07-01

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

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

    NASA Astrophysics Data System (ADS)

    Buck, Peter; Gladhill, Richard; Straub, Joseph

    2007-03-01

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

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

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

  3. Self-checking state machine realizations in CMOS

    NASA Astrophysics Data System (ADS)

    Lala, P. K.

    1994-06-01

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

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

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

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

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

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

    PubMed

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

    2016-07-01

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

  9. Statistical Quality Control of Moisture Data in GEOS DAS

    NASA Technical Reports Server (NTRS)

    Dee, D. P.; Rukhovets, L.; Todling, R.

    1999-01-01

    A new statistical quality control algorithm was recently implemented in the Goddard Earth Observing System Data Assimilation System (GEOS DAS). The final step in the algorithm consists of an adaptive buddy check that either accepts or rejects outlier observations based on a local statistical analysis of nearby data. A basic assumption in any such test is that the observed field is spatially coherent, in the sense that nearby data can be expected to confirm each other. However, the buddy check resulted in excessive rejection of moisture data, especially during the Northern Hemisphere summer. The analysis moisture variable in GEOS DAS is water vapor mixing ratio. Observational evidence shows that the distribution of mixing ratio errors is far from normal. Furthermore, spatial correlations among mixing ratio errors are highly anisotropic and difficult to identify. Both factors contribute to the poor performance of the statistical quality control algorithm. To alleviate the problem, we applied the buddy check to relative humidity data instead. This variable explicitly depends on temperature and therefore exhibits a much greater spatial coherence. As a result, reject rates of moisture data are much more reasonable and homogeneous in time and space.

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

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

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

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

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

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

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

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

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

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

    NASA Technical Reports Server (NTRS)

    1965-01-01

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

  14. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

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

  15. 48 CFR 22.406-7 - Compliance checking.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

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

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

    NASA Astrophysics Data System (ADS)

    Yarberry, Victor R.

    1998-07-01

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

  17. 40 CFR 90.323 - Analyzer bench checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

    NASA Technical Reports Server (NTRS)

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

    1967-01-01

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

  19. Self-checking state machine realization in CMOS

    NASA Astrophysics Data System (ADS)

    Lala, P. K.; Walker, A.

    1994-12-01

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

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

    ERIC Educational Resources Information Center

    Buskey, Frederick C.; Pitts, Eric M.

    2013-01-01

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

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

    ERIC Educational Resources Information Center

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

    2011-01-01

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

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

    ERIC Educational Resources Information Center

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

    2013-01-01

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

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

    ERIC Educational Resources Information Center

    New York Inst. of Tech., Old Westbury.

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

  4. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

    ERIC Educational Resources Information Center

    Murphey, Tim; Falout, Joseph

    2010-01-01

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

  6. Our Journey down the Self-Check Road

    ERIC Educational Resources Information Center

    Whitney, Ann; Garrett, Adam

    2008-01-01

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

  7. New Results in Software Model Checking and Analysis

    NASA Technical Reports Server (NTRS)

    Pasareanu, Corina S.

    2010-01-01

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

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

    ERIC Educational Resources Information Center

    Hamer, Jean

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

  9. 40 CFR 53.52 - Leak check test.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  10. 40 CFR 53.52 - Leak check test.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  11. 40 CFR 53.52 - Leak check test.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-10-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

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

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

    ERIC Educational Resources Information Center

    Domino, George

    1970-01-01

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

  17. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  18. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

    NASA Technical Reports Server (NTRS)

    2000-01-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-10-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-10-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-10-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-10-01

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

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

    NASA Astrophysics Data System (ADS)

    Saouter, Y.

    1998-04-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

  7. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  8. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

  9. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

  10. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  11. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  12. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  13. Graphical Quantum Low-Density Parity-Check Codes

    NASA Astrophysics Data System (ADS)

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

    2012-08-01

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

  14. 40 CFR 90.323 - Analyzer bench checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 40 Protection of Environment 18 2011-07-01 2011-07-01 false Analyzer bench check. 86.320-79 Section 86.320-79 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE HIGHWAY VEHICLES AND ENGINES Emission Regulations for New Gasoline-Fueled and Diesel-Fueled...

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

    NASA Technical Reports Server (NTRS)

    1971-01-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 40 Protection of Environment 19 2013-07-01 2013-07-01 false Quench checks; NOX analyzer. 86.327-79 Section 86.327-79 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED) CONTROL OF EMISSIONS FROM NEW AND IN-USE HIGHWAY VEHICLES AND ENGINES Emission Regulations for New Gasoline-Fueled and...

  18. 40 CFR 91.323 - Analyzer bench checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  19. 40 CFR 91.319 - NOX converter check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  20. 40 CFR 91.319 - NOX converter check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

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

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

  2. 49 CFR 384.206 - State record checks.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

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

  3. 49 CFR 384.206 - State record checks.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

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

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

    ERIC Educational Resources Information Center

    Lubin, Bernard; And Others

    1980-01-01

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

  5. Cascading parity-check error-correcting codes

    NASA Astrophysics Data System (ADS)

    Kanter, Ido; Saad, David

    2000-02-01

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

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

    ERIC Educational Resources Information Center

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

    2014-01-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-10-01

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

  8. Astronaut Harris checks response of muscles to microgravity

    NASA Technical Reports Server (NTRS)

    1995-01-01

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

  9. Model Checking Coalition Nash Equilibria in MAD Distributed Systems

    NASA Astrophysics Data System (ADS)

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

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

  10. 36 CFR 520.13 - Items to be checked.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  11. 36 CFR 520.13 - Items to be checked.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  12. 36 CFR 520.13 - Items to be checked.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  13. 36 CFR 520.13 - Items to be checked.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

  14. 36 CFR 520.13 - Items to be checked.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

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

    NASA Technical Reports Server (NTRS)

    1998-01-01

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

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

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-05

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

  17. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

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

  18. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

  19. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

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

  20. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

  1. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

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

  2. 14 CFR 91.1051 - Pilot safety background check.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

  3. Concrete Model Checking with Abstract Matching and Refinement

    NASA Technical Reports Server (NTRS)

    Pasareanu Corina S.; Peianek Radek; Visser, Willem

    2005-01-01

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

  4. Homeland Security Initiatives and Background Checks in Higher Education

    ERIC Educational Resources Information Center

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

    2010-01-01

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

  5. MINIMUM CHECK LIST FOR MECHANICAL PLANS AND SPECIFICATIONS.

    ERIC Educational Resources Information Center

    PIERCE, J.L.

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

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

    NASA Technical Reports Server (NTRS)

    2000-01-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

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

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

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

    ERIC Educational Resources Information Center

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

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

  10. Implementation and Impact of the Check & Connect Mentoring Program

    ERIC Educational Resources Information Center

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

    2015-01-01

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

  11. 40 CFR 91.319 - NOX converter check.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  12. 40 CFR 53.52 - Leak check test.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

    ERIC Educational Resources Information Center

    New York Inst. of Tech., Old Westbury.

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

  14. 40 CFR 91.323 - Analyzer bench checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  15. Geometric facial comparisons in speed-check photographs.

    PubMed

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

    2011-11-01

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

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

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

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

  17. Mobile vehicle road and weather observation quality check methods

    NASA Astrophysics Data System (ADS)

    Koller, Daniel Raymond

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

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

    PubMed Central

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

    2009-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 intervention. This case study follows one Caucasian family through their initial assessment and subsequent treatment for their toddler daughter’s conduct problems over a 2-year period. Clinically meaningful improvements in child and family functioning were found despite the presence of child, parent, and neighborhood risk factors. The case is discussed with respect to the findings from a current multisite randomized control trial of the FCU and its application to other populations. PMID:18991138

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

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

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-06-16

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