Science.gov

Sample records for affect adjective check

  1. Detecting Differential Item Functioning in the Japanese Version of the Multiple Affect Adjective Check List--Revised

    ERIC Educational Resources Information Center

    Yasuda, Tomoyuki; Lei, Pui-Wa; Suen, Hoi K.

    2007-01-01

    This study examines the differential item functioning (DIF) of the English version and the Japanese-translated version of the Multiple Affect Adjective Check List--Revised (MAACL-R) using the logistic regression (LR) procedure. The results of the LR are supplemented by multiple group confirmatory factor analysis (MGCFA). A total of five items are…

  2. Assessing Personality and Mood With Adjective Check List Methodology: A Review

    ERIC Educational Resources Information Center

    Craig, Robert J.

    2005-01-01

    This article addresses the benefits and problems in using adjective check list methodology to assess personality. Recent developments in this assessment method are reviewed, emphasizing seminal adjective-based personality tests (Gough's Adjective Check List), mood tests (Lubin's Depressive Adjective Test, Multiple Affect Adjective Check List),…

  3. Self-Assessment of State and Trait Depressive Affect by College Students: Reliability and Validity of an Adjective Check List.

    ERIC Educational Resources Information Center

    Lubin, Bernard; And Others

    1993-01-01

    Conducted four studies in attempt to determine reliability and validity of state and trait versions of Depression Adjective Check Lists (DACL) with college students. Findings revealed that the DACL reliability and validity were sufficiently high to justify use of Depression Adjective Check Lists in research with college students. (Author/NB)

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

  5. Cross-Validation of a Creativity Scale for the Adjective Check List

    ERIC Educational Resources Information Center

    Albaum, Gerald; Baker, Kenneth

    1977-01-01

    The validity of the creativity scale of the Adjective Check List was investigated with a sample of inventors and non-inventors. Eight scales of the Adjective Check List showed significant differences for the two groups, including the creativity scale. (Author/JKS)

  6. Scores on Adjective Check List, Eysenck Personality Inventory, and Depression Adjective Chck List for a male prison pupulation.

    PubMed

    Lubin, B; Horned, C M; Knapp, R R

    1977-10-01

    Normative data are presented for a male prison population on the Adjective Check List (Gough & Heilbrun, 1965), Form A of the Eysenck Personality Inventory (Eysenck & Eysenck, 1975) and Form C of Depression Adjective Check List (Lubin, 1967). The intercorrelations among the instruments also are presented. In the sample were 60 recently admitted male inmates of a maximum security correctional institution randomly drawn from a large sample of 205 consecutive admissions. Subjects described themselves as markedly depressed, high on neuroticism, low in personal adjustment, low in self-confidence, and low in self-control.

  7. Response Manipulation on the Depression Adjective Check List.

    ERIC Educational Resources Information Center

    Caplan, Marc; And Others

    1982-01-01

    In two trials, subjects completed the Depression Adjective Checklist as they felt, or were instructed to "fake good,""fake bad," or "fake average." Discussed findings for "fake bad" and "fake good" in terms of ability of an examiner to detect the manipulative set through grossly deviant scores.…

  8. Norms for the Depression Adjective Check Lists: Age Group and Sex.

    ERIC Educational Resources Information Center

    Lubin, Bernard; Levitt, Eugene E.

    1979-01-01

    Norms are presented for male and female adults and for adolescents for the Depression Adjective Check Lists, Form E. All frequency distributions are skewed toward the left, particularly with adult samples, where, for both males and females, the rarity of raw scores above 13 makes their presentation not very meaningful. (Author)

  9. Adjective Check List Correlates of Social Conflict Problems in College Students

    ERIC Educational Resources Information Center

    Heilbrun, Alfred B., Jr.

    1970-01-01

    Assesses ability of Adjective Check List (ACL) to distinguish between clients of a college mental health facility who admitted to social alienation as a primary or secondary problem and clients who denied the importance of this problem- Scores on scales measuring affiliation and heterosexuality and an affiliation minus succorance" index differed…

  10. Social Desirability as a Response Style on the Adjective Check List.

    ERIC Educational Resources Information Center

    Markos, Val H.; Jackson, Kenneth

    The effect of social desirability on the variance accounted for by the scales of the Adjective Check List (ACL) was investigated in a sample of 366 female college students. Social desirability as a response style was defined as the tendency to present oneself in a favorable manner. The ACL was scored according to 23 of the 24 keys in the test…

  11. Factor Structure and Scale Reliabilities of the Adjective Check List Across Time

    ERIC Educational Resources Information Center

    Miller, Stephen H.; And Others

    1978-01-01

    Investigated factor structure and scale reliabilities of Gough's Adjective Check List (ACL) and their stability over time. Employees in a community mental health center completed the ACL twice, separated by a one-year interval. After each administration, separate factor analyses were computed. All scales had highly significant test-retest…

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

    ERIC Educational Resources Information Center

    Wilson, Russell C.

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

  13. Factor structure of items from the personality Adjective Check List in a sample of normal adolescents.

    PubMed

    Tous, Josep M; Pont, Núria; Ruben, Muiños

    2006-11-01

    We present the results of a principal-components analysis of the Personality Adjective Check List (PACL) at the item level, rather than at the scale level. The PACL was constructed by Strack (1987) to evaluate the personality scales proposed by Millon (1981). Data were obtained from a sample of normal adolescents. A scree test was applied to determine the number of factors to be extracted, and the retained factors were then rotated using a varimax procedure. Using the data from this second analysis, congruence coefficients were calculated by correlating the factor weights from the two analyses of men and women. Results reveal the existence in the whole sample of five unipolar personality factors, which we have called: Aggressive, Conscientious, Inhibited, Impulsive and Gregarious. These are not similar to those obtained from a sample of normal adults.

  14. The Adjective Check List as an outcome measure: assessment of personality change in psychotherapy.

    PubMed

    Itzhar-Nabarro, Zohar; Silberschatz, George; Curtis, John T

    2009-11-01

    To investigate the value of the Adjective Check List (ACL) as a psychotherapy outcome measure, the ACL and Symptom Checklist-90-Revised (SCL-90-R) were administered at four times (before therapy, immediately after therapy, and at 6-month and 1-year follow-ups) to 38 patients in brief dynamic psychotherapy. High correlations between selected ACL scales and SCL-90-R Global Severity Index scores (GSI) were found. GSI change from before to after therapy correlated with change on the ACL scales. Changes from before to after therapy were detected for ACL scales at both the mean group and the individual levels. Because the ACL provides valuable information on personality dimensions as well as concurrent levels of distress, it is a particularly promising psychotherapy outcome measure.

  15. [Assessment of the premorbid personality in endogenous psychoses. A factor-analytical study of the adjective check list of von Zerssen (author's transl)].

    PubMed

    Mörbt, H

    1977-02-23

    In order to get information about the premorbid personality of patients with endogenous psychosis, we examined the adjective check list of von Zerssen with regard to form and content on a sample of 126 schizophrenic and 31 affective-psychotic patients. The data gathering occured through retrospective evaluation by a close relative of each patient. One aim of the study was the development of a psychometric instrument in order to construct clinically relevant scales, which would allow us to objectify characterizations of the premorbid personality of patients with psychic illness. Another aim was to test the validity of this instrument by investigating the coherence between the obtained test results and the corresponding clinical psychiatric judgments of experts in the form of diagnoses. Finally, we sought to determine if typical premorbid characteristic features give a predisposition for specific aspects of psychotic diseases, in order to be able to differentiate between diverse psychiatric groups of diagnoses. By means of factor analysis (principal component analysis) with Varimax rotation we came to five easily distinguishable clinical-psychological well interpretable factors, from which we derived five scales. These scales seem to be appropriate for the characterization of premorbid personality traits. They represent the following clinical concepts: (1) cyclothymia, (2) sthenia, (3) anancasm, (4) hostility, (5) schizothymia. Formal examination of the factor-analytical proved scales according to criteria of classic test-theory (item-test correlation, reliability, distribution, intercorrelation) showed that we were able to measure rather independent dimensions of premorbid personality by our five scales with sufficient accuracy. To get evidence for the empirical validity of our scales we compared our test results (1) with three groups of different diagnoses concerning premorbid personality and (2) with the two diagnostic groups of schizophrenia and affective

  16. It's all in your head - how anticipating evaluation affects the processing of emotional trait adjectives.

    PubMed

    Schindler, Sebastian; Wegrzyn, Martin; Steppacher, Inga; Kissler, Johanna

    2014-01-01

    Language has an intrinsically evaluative and communicative function. Words can serve to describe emotional traits and states in others and communicate evaluations. Using electroencephalography (EEG), we investigate how the cerebral processing of emotional trait adjectives is modulated by their perceived communicative sender in anticipation of an evaluation. 16 students were videotaped while they described themselves. They were told that a stranger would evaluate their personality based on this recording by endorsing trait adjectives. In a control condition a computer program supposedly randomly selected the adjectives. Actually, both conditions were random. A larger parietal N1 was found for adjectives in the supposedly human-generated condition. This indicates that more visual attention is allocated to the presented adjectives when putatively interacting with a human. Between 400 and 700 ms a fronto-central main effect of emotion was found. Positive, and in tendency also negative adjectives, led to a larger late positive potential (LPP) compared to neutral adjectives. A centro-parietal interaction in the LPP-window was due to larger LPP amplitudes for negative compared to neutral adjectives within the 'human sender' condition. Larger LPP amplitudes are related to stimulus elaboration and memory consolidation. Participants responded more to emotional content particularly when presented in a meaningful 'human' context. This was first observed in the early posterior negativity window (210-260 ms). But the significant interaction between sender and emotion reached only trend-level on post hoc tests. Our results specify differential effects of even implied communicative partners on emotional language processing. They show that anticipating evaluation by a communicative partner alone is sufficient to increase the relevance of particularly emotional adjectives, given a seemingly realistic interactive setting.

  17. Early ERP modulation during mood adjectives processing in patients with affective disorders.

    PubMed

    Grzybowski, Szczepan J; Wyczesany, Miroslaw

    2016-10-06

    Attentional bias is considered a key feature in mood disorders, and yet little is known of its neural correlates within the early stream of information processing in manic and depressed patients. The study aimed to capture and detail attentional bias during emotional word processing in patients within the first 500ms of stimulus exposition. 28 mood adjectives (14 positive and 14 negative) were used as stimuli. We expected differences in adjective encoding between groups during lexico-semantic analysis based on varying attentional resource allocation. Differences were evidenced within the first 100ms after stimulus onset with higher amplitudes for both patient groups than controls, possibly indicating more automatic attention allocation to stimuli during sensory analysis stages. Between 200-290ms after the words' onset, a specific valence mood-word mismatch was registered which approached significance, with higher responses evoked to negative than positive words in manic patients, and the opposite pattern of activity observed in depressed patients, suggesting cognitive bias based on mood incongruence during the lexico-semantic analysis stage. There was also a lateralized pattern of activity, with higher amplitudes over the right hemisphere posteriorly, and higher over the left frontally in the patient groups, especially in the manic individuals. The study points to attentional bias based on mood incongruence processing during crucial stages of meaning encoding within the early stream of information processing.

  18. On the Acquisition of the Prenominal Adjective Order by Kuwaiti EFL Learners

    ERIC Educational Resources Information Center

    Alotaibi, Maye A.; Alotaibi, Abdullah M.

    2017-01-01

    This study aims to test the extent to which 80 Kuwaiti EFL learners are aware of prenominal adjective ordering system in English, particularly how it affects Kuwaiti EFL learners' grasp on English grammar. In addition, it checks whether the English proficiency level of the participants plays a role in their answers on the test. Therefore, a…

  19. On the adjective lymphaticus.

    PubMed

    Simon, Frantisek; Danko, Ján

    2015-03-01

    The Latin word lympha is derived from the adjective limpidus = clear, transparent, although some Roman grammarians tried another derivation from the Greek word for water sprite nymfé, and then the adjective lymphaticus meant in Latin "stricken with nymph-like anger, gripped by madness." Thomas Bartholin, discoverer of the lymphatic system, was the first to use the word lymphaticus for new veins, because the liquid in them was watery. This term was accepted into the Basiliensia Nomina Anatomica but this did not mean the end of attempts at terminological changes, probably in an effort to eliminate the incorrect connotations based on the original understanding of this adjective. Other adjectival forms appeared, such as lympharis, lymphaceus, lymphatus, lymphovascularis. The most recent development is the adjective lymphoideus, occurring in the Terminologia Anatomica, which is supposed to mean the organs producing lymph but this is not correct, since the suffix -oideus indicates similarity. Considering that the anatomical nomenclature manages with the adjective urinarius for the organs which produce and carry urine, it should also manage with the adjective lymphaticus for the organs which produce and carry lymph.

  20. The Adjective Check List and Musical Creativity.

    ERIC Educational Resources Information Center

    Patnoe, Shelley

    A study was conducted to determine whether a stable set of core characteristics found to be associated with creativity in samples of creative adults would also distinguish a group of professional jazz musicians selected for excellence of improvisational ability. A second purpose of the study was to see whether such differences found between groups…

  1. Animacy and the Acquisition of "Tough" Adjectives

    ERIC Educational Resources Information Center

    Becker, Misha

    2015-01-01

    This article reports on two novel word-learning experiments examining children's use of subject animacy to categorize novel adjectives as either "tough" adjectives (e.g., "easy," "hard") or control adjectives ("afraid," "eager"). In Experiment 1, a group of 4- to 7-year-olds watched videos…

  2. Adjective Identification in Television Advertisements

    ERIC Educational Resources Information Center

    Abd Rahim, Normaliza

    2013-01-01

    Learning the Malay language has been a challenging task for foreign language learners. Learners have to learn Malay grammar structure rules in order to write simple sentences. The word choice is important in constructing a sentence. Therefore, the study focuses on the use of adjectives in television advertisements among Korean learners at Hankuk…

  3. Comparison of Public and Parochial School Patterns of Student Affect.

    ERIC Educational Resources Information Center

    Lubin, Bernard; And Others

    1992-01-01

    Compared Multiple Affect Adjective Check List-Revised scores of 139 middle and senior high public school students and of 403 parochial school students. Parochial students scored significantly higher on depression, hostility, and dysphoria, and significantly lower on positive affect and overall positive mood. Offers possible explanations for this…

  4. Acquisition of English comparative adjectives.

    PubMed

    Graziano-King, Janine; Cairns, Helen Smith

    2005-05-01

    Two experiments investigated the acquisition of English comparative adjective forms, Adj + er and more Adj. In Experiment 1, 72 children, four- and seven-years-old, indicated their preferences for the synthetic or periphrastic comparative form for 16 adjectives in a forced-choice judgement task; their responses were compared to those of a group of adults (Graziano-King, 2003). In Experiment 2, a group of 29 children, ranging in age from 5;1 to 10;9, and a group of 11 adults performed a forced-choice judgement task, similar to that of Experiment 1, and an elicited production task, responding to the same 32 adjectives for both tasks. The two studies together support an acquisition trajectory of three stages. In the first stage, children show no preference for either form of the comparative; in the second, they adopt a suffixation rule; and in the third, they abandon the general rule and become conservative learners, eventually reaching the adult target.

  5. Attention-Affect Check List: A self-report measure of acute mental stress.

    PubMed

    Sawada, YUKIHIRO; Tanaka, GOHICHI

    2004-05-01

    Given a hint from Lang, Bradley, and Cutbert's (1997) defense cascade, two cognitive processes, instead of passive versus active behavioral coping, which seem to have differential effects on the provocation of vascular- versus cardiac-dominant reaction pattern during mental stress were advocated: attention (Attent) versus unpleasant affect (UnplAff). Based on this notion the Attention-Affect Check List (AACL) was developed as a self-report measure. In addition, items on uncontrollability (Uncontr) were prepared for the purpose of checking whether heightened Attent and UnplAff are accompanied by alterations in Uncontr. Two hundred and eighty-four students underwent two kinds of mental stress, which seemed to specifically heighten Attent and UnplAff. Four factors with four items each were extracted from the AACL item pool: concentrated and allocated Attent, UnplAff, and pleasant affect. Also, one factor with four items was extracted from the Uncontr item pool. For both the mental stresses, each scale, although very brief, had quite reasonable alpha reliability. Accountability of each scale for the total variance was reasonably high. Some problems are discussed in relation to the validity of AACL.

  6. Adjectives That Aren't: An ERP-Theoretical Analysis of Adjectives in Spanish

    ERIC Educational Resources Information Center

    Bartlett, Laura B.

    2013-01-01

    This thesis investigates the syntactic status of adjectives in Spanish through a crossdisciplinary perspective, incorporating methodologies from both theoretical linguistics and neurolinguistics, specifically, event-related potentials (ERPs). It presents conflicting theories about the syntax of adjectives and explores the ways that the processing…

  7. The forgotten grammatical category: Adjective use in agrammatic aphasia

    PubMed Central

    Meltzer-Asscher, Aya; Thompson, Cynthia K.

    2014-01-01

    Background In contrast to nouns and verbs, the use of adjectives in agrammatic aphasia has not been systematically studied. However, because of the linguistic and psycholinguistic attributes of adjectives, some of which overlap with nouns and some with verbs, analysis of adjective production is important for testing theories of word class production deficits in agrammatism. Aims The objective of the current study was to compare adjective use in agrammatic and healthy individuals, focusing on three factors: overall adjective production rate, production of predicative and attributive adjectives, and production of adjectives with complex argument structure. Method & Procedures Narratives elicited from 14 agrammatic and 14 control participants were coded for open class grammatical category production (i.e., nouns, verbs, adjectives), with each adjective also coded for its syntactic environment (attributive/predicative) and argument structure. Outcomes & Results Overall, agrammatic speakers used adjectives in proportions similar to that of cognitively healthy speakers. However, they exhibited a greater proportion of predicative adjectives and a lesser proportion of attributive adjectives, compared to controls. Additionally, agrammatic participants produced adjectives with less complex argument structure than controls. Conclusions The overall normal-like frequency of adjectives produced by agrammatic speakers suggests that agrammatism does not involve an inherent difficulty with adjectives as a word class or with predication, or that it entails a deficit in processing low imageability words. However, agrammatic individuals’ reduced production of attributive adjectives and adjectives with complements extends previous findings of an adjunction deficit and of impairment in complex argument structure processing, respectively, to the adjectival domain. The results suggest that these deficits are not tied to a specific grammatical category. PMID:24882945

  8. Overlapping neural correlates of reading emotionally positive and negative adjectives.

    PubMed

    Demirakca, Traute; Herbert, Cornelia; Kissler, Johanna; Ruf, Matthias; Wokrina, Tim; Ende, Gabriele

    2009-07-03

    Comparison of positive and negative naturally read adjectives to neutral adjectives yielded an overlapping higher BOLD response in the occipital and the orbitofrontal cortex (gyrus rectus). Superior medial frontal gyrus and posterior cingulate gyrus showed higher BOLD response to negative adjectives and inferior frontal gyrus to positive adjectives. The overlap of activated regions and lack of pronounced distinct regions supports the assumption that the processing of negative and positive words mainly takes place in overlapping brain regions.

  9. The Modification of Compounds by Attributive Adjectives

    ERIC Educational Resources Information Center

    Berg, Thomas

    2011-01-01

    This paper examines the modification of nominal compounds by attributive adjectives in English. It draws on a distinction between compound-external (i.e. syntactic) and compound-internal (i.e. morphological) modification. An analysis is presented of more than 1000 pertinent cases, which are roughly equally divided into two-, three- and four-noun…

  10. [Bow legged adjectives in ancient literature].

    PubMed

    Simon, Frantisek; Steger, Florian

    2011-01-01

    This article addresses the issue of capturing the medical entity called 'curved legs' in a terminologically exact way. In so doing, it refers to the long-lasting process of differentiation of exact nuances of meaning in Ancient Greek and Latin. In the chronological perusal of ancient Greek literature, it becomes evident that the various adjectives employed are often vague when looking at non-medical literature. By contrast, in the Hippocratic corpus these terms are for the first time annotated with explanations intended to lead to a more precise understanding of the described deformity. Further attempts of differentiation can be found in the writings of Galen, who not only distinguishes between outward and inward curvatures, but also between deformities of the thigh and lower leg as well as between pathological and natural curvatures. Latin literature also provides a series of adjectives that were initially often used in the meaning of 'curved' but it was not until Celsus that these were differentiated with respect to the type and direction of the curvature. When comparing Greek and Latin adjectives, it turns out that though the Latin term blaesus can be traced back etymologically to the Greek word beta lambda alpha iota sigma ó zeta, the meaning of beta lambda alpha iota sigma ó zeta does not fully correspond to that of the Latin word. It is not before the later common transliteration of Greek words that this adjective took on the meaning of beta lambda alpha iota sigma ó zeta; however, this was finally lost again. In summary, the article concludes that exact word meanings in ancient literature are often unclear and precise ascriptions of meanings are inconsistent. In the case of "curved legs," this has led to misunderstandings regarding the respective types and directions of the curvature.

  11. Trainable Children Can Learn Adjectives, Polars, and Preposition!

    ERIC Educational Resources Information Center

    And Others; Mitchell, Marlys

    1977-01-01

    A program utilizing a multisensory approach and active involvement was used to teach 12 trainable mentally retarded children (6-19 years old) the correct use of adjectives, polars, and locative prepositions. (DB)

  12. The Role of Explicit Contrast in Adjective Acquisition: A Cross-Linguistic Longitudinal Study of Adjective Production in Spontaneous Child Speech and Parental Input

    ERIC Educational Resources Information Center

    Tribushinina, Elena; van den Bergh, Huub; Kilani-Schoch, Marianne; Aksu-Koç, Ayhan; Dabašinskiene, Ineta; Hrzica, Gordana; Korecky-Kröll, Katharina; Noccetti, Sabrina; Dressler, Wolfgang

    2013-01-01

    Experimental studies demonstrate that contrast helps toddlers to extend the meanings of novel adjectives. This study explores whether antonym co-occurrence in spontaneous speech also has an effect on adjective use by the child. The authors studied adjective production in longitudinal speech samples from 16 children (16-36 months) acquiring eight…

  13. The emotion potential of simple sentences: additive or interactive effects of nouns and adjectives?

    PubMed Central

    Lüdtke, Jana; Jacobs, Arthur M.

    2015-01-01

    The vast majority of studies on affective processes in reading focus on single words. The most robust finding is a processing advantage for positively valenced words, which has been replicated in the rare studies investigating effects of affective features of words during sentence or story comprehension. Here we were interested in how the different valences of words in a sentence influence its processing and supralexical affective evaluation. Using a sentence verification task we investigated how comprehension of simple declarative sentences containing a noun and an adjective depends on the valences of both words. The results are in line with the assumed general processing advantage for positive words. We also observed a clear interaction effect, as can be expected from the affective priming literature: sentences with emotionally congruent words (e.g., The grandpa is clever) were verified faster than sentences containing emotionally incongruent words (e.g., The grandpa is lonely). The priming effect was most prominent for sentences with positive words suggesting that both, early processing as well as later meaning integration and situation model construction, is modulated by affective processing. In a second rating task we investigated how the emotion potential of supralexical units depends on word valence. The simplest hypothesis predicts that the supralexical affective structure is a linear combination of the valences of the nouns and adjectives (Bestgen, 1994). Overall, our results do not support this: The observed clear interaction effect on ratings indicate that especially negative adjectives dominated supralexical evaluation, i.e., a sort of negativity bias in sentence evaluation. Future models of sentence processing thus should take interactive affective effects into account. PMID:26321975

  14. AdjScales: Visualizing Differences between Adjectives for Language Learners

    NASA Astrophysics Data System (ADS)

    Sheinman, Vera; Tokunaga, Takenobu

    In this study we introduce AdjScales, a method for scaling similar adjectives by their strength. It combines existing Web-based computational linguistic techniques in order to automatically differentiate between similar adjectives that describe the same property by strength. Though this kind of information is rarely present in most of the lexical resources and dictionaries, it may be useful for language learners that try to distinguish between similar words. Additionally, learners might gain from a simple visualization of these differences using unidimensional scales. The method is evaluated by comparison with annotation on a subset of adjectives from WordNet by four native English speakers. It is also compared against two non-native speakers of English. The collected annotation is an interesting resource in its own right. This work is a first step toward automatic differentiation of meaning between similar words for language learners. AdjScales can be useful for lexical resource enhancement.

  15. Reducing Stress in the Foreign Language Classroom: Teaching Descriptive Adjectives through Humour.

    ERIC Educational Resources Information Center

    Maceri, Domenico

    1995-01-01

    Discusses techniques for teaching descriptive adjectives in second-language classrooms that rely on humor to help relieve the stress of learning situations. Specific examples of Spanish adjectives and humorous phrases are provided. (contains two references) (MDM)

  16. Basic Level Object Categories Support the Acquisition of Novel Adjectives: Evidence from Preschool-Aged Children.

    ERIC Educational Resources Information Center

    Klibanoff, Raquel S.; Waxman, Sandra R.

    2000-01-01

    Examined preschoolers' ability to map novel adjectives to object properties in two experiments. Found that 4-year-olds could extend novel adjectives from target to matching test object whether objects were drawn from same, or different, basic level categories. If 3-year-olds' first extended a novel adjective to objects in the same basic level…

  17. Blue Car, Red Car: Developing Efficiency in Online Interpretation of Adjective-Noun Phrases

    ERIC Educational Resources Information Center

    Fernald, Anne; Thorpe, Kirsten; Marchman, Virginia A.

    2010-01-01

    Two experiments investigated the development of fluency in interpreting adjective-noun phrases in 30- and 36-month-old English-learning children. Using online processing measures, children's gaze patterns were monitored as they heard the familiar adjective-noun phrases (e.g. "blue car") in visual contexts where the adjective was either informative…

  18. Effects of Prenominal Adjective Ordering on Children's Latencies and Errors in an Immediate Sentence Recall Task.

    ERIC Educational Resources Information Center

    Freedle, Roy; Hall, William S.

    A total of 34 children, ages 2 and a half to 6, were presented with sentences for imitation that either violated or honored a prenominal adjective ordering rule, which requires that size adjectives must precede color adjectives. Two response measures were evaluated in terms of these sentence types: latency to begin a sentence imitation and recall…

  19. Antonym Adjective Contexts and the Facilitation of Noun Pair Learning in Children.

    ERIC Educational Resources Information Center

    Ehri, Linnea C.; Richardson, Dana

    Second and sixth graders were asked to learn noun pairs linked by various types of verbal connectives: Verbs, unmarked and marked comparative adjectives, polar antonym adjective pairs, and conjunctions. Results indicated that all contexts produced better learning than conjunctions, that comparative adjective effects were superior to the polar-pair…

  20. Axiological Role of English Adjectives in English Language Teaching

    ERIC Educational Resources Information Center

    Zerkina, Natalya N.; Kostina, Nataliia N.; Urazayeva, Nailya R.; Lomakina, Yekaterina A.; Emets, Tatiana V.; Gallyamova, Maria S.; Melnikova, Elena P.; Trutnev, Alexey Yu.; Lukina, Oksana A.

    2016-01-01

    The article focuses on peculiarities of English adjective teaching as one of main and important lexicological basis. As the English language nowadays is important and universal as a native language of worldwide society, exactly that's why process of learning must include wide range of techniques not only as a process of learning theories but also…

  1. Acquiring Knowledge of Derived Nominals and Derived Adjectives in Context

    ERIC Educational Resources Information Center

    Marinellie, Sally A.; Kneile, Lynn A.

    2012-01-01

    Purpose: This research investigated children's ability to acquire semantic and syntactic knowledge of derived nominals and derived adjectives in the context of short passages. The study also investigated the relation of morphological awareness and the ability to acquire knowledge of derived words in context. Method: A total of 106 children in…

  2. Disability and Popular Common Sense in India: Noun versus Adjective

    ERIC Educational Resources Information Center

    Shahid, Mohd; Raza, Md. Shahid; Alam, Md. Aftab

    2016-01-01

    Reflecting through the Indian experiences, a brief attempt is made to explore how disability as a noun takes shape in popular common sense "call names" (adjectives) and how does the popular common sense legitimise and normalise the oppressive language and the oppressed reality of the persons with disabilities? In the Indian context, the…

  3. The Development of Antonym Adjective Structures in Children. Final Report.

    ERIC Educational Resources Information Center

    Ehri, Linnea C.; Ammon, Paul R.

    The purpose of this project was to explore and more carefully design studies of adjective-related structures and processes as they emerge during development in children between the ages of 4 to 8, since the salient characteristics in speech at this age tend to compare and contrast objects encountered in their environments. A group of 40 black and…

  4. Norms of Descriptive Adjective Responses to Common Nouns.

    ERIC Educational Resources Information Center

    Robbins, Janet L.

    This paper gives the results of a controlled experiment on word association. The purpose was to establish norms of commonality of primary descriptive adjective responses to common nouns. The stimuli consisted of 203 common nouns selected from 10 everyday topics of conversation, approximately 20 from each topic. There were 350 subjects, 50% male,…

  5. Verbs and Adjectives in Literary Japanese According to Suzuki Akira.

    ERIC Educational Resources Information Center

    Bedell, George

    This paper presents two views on the categorization of Japanese nouns, verbs, and adjectives into form classes: the traditional view and a view set forth in the writing of Suzuki Akira. The fundamental issue here is the criterion for categorization. Is it the meaning of words, or is it their grammatical behavior that determines the system of…

  6. Check valve

    DOEpatents

    Upton, H.A.; Garcia, P.

    1999-08-24

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

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

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

  9. [Emotional intelligence, social support and affect regulation].

    PubMed

    Verissimo, Ramiro

    2005-01-01

    The aim of the present study was to gain additional information about the relationship between emotional intelligence, social support, and affectivity. The subjects were 64 university students who completed the short form of the Trait Meta-Mood Scale (TMMS-30), the Social Support Questionnaire, and the Multiple Affect Adjective Check List (MAACL). The results show that Social Support is high and significantly related with both Mood Repair, on one hand, and more Positive Affects and Sensation Seeking, on the other. These findings are consistent with the hypothesis that social support can be considered, somehow, as a way of mood repair; and thus not surprisingly is also associated with more Positive Affects and Sensation Seeking.

  10. How Redundant Are Redundant Color Adjectives? An Efficiency-Based Analysis of Color Overspecification

    PubMed Central

    Rubio-Fernández, Paula

    2016-01-01

    Color adjectives tend to be used redundantly in referential communication. I propose that redundant color adjectives (RCAs) are often intended to exploit a color contrast in the visual context and hence facilitate object identification, despite not being necessary to establish unique reference. Two language-production experiments investigated two types of factors that may affect the use of RCAs: factors related to the efficiency of color in the visual context and factors related to the semantic category of the noun. The results of Experiment 1 confirmed that people produce RCAs when color may facilitate object recognition; e.g., they do so more often in polychrome displays than in monochrome displays, and more often in English (pre-nominal position) than in Spanish (post-nominal position). RCAs are also used when color is a central property of the object category; e.g., people referred to the color of clothes more often than to the color of geometrical figures (Experiment 1), and they overspecified atypical colors more often than variable and stereotypical colors (Experiment 2). These results are relevant for pragmatic models of referential communication based on Gricean pragmatics and informativeness. An alternative analysis is proposed, which focuses on the efficiency and pertinence of color in a given referential situation. PMID:26924999

  11. L'emploi des adjectifs de relation--signe d'une anomalie (The Use of Denominal Adjectives--Sign of an Anomaly)?

    ERIC Educational Resources Information Center

    Nowakowska, Malgorzata

    2001-01-01

    This article deals with denominal adjectives, also referred to by linguists as pseudo-adjectives or non-predicating adjectives. These adjectives are seldom used predicatively. This article explores the mechanism of this syntactical constraint. Examples of non-predicating adjectives that do not respect this syntactic constraint are analyzed. It is…

  12. Early Spanish grammatical gender bootstrapping: learning nouns through adjectives.

    PubMed

    Arias-Trejo, Natalia; Alva, Elda Alicia

    2013-07-01

    Research has demonstrated that children use different strategies to infer a referent. One of these strategies is to use inflectional morphology. We present evidence that toddlers learning Spanish are capable of using gender word inflections to infer word reference. Thirty-month-olds were tested in a preferential looking experiment. Participants were shown variants of 2 unfamiliar objects; one was described as being feminine and the other as being masculine under the form of adjectives that ended either in a or o according to the most common rule of assigning gender in Spanish. Word-image associations were then assessed by presenting the 2 images together and labeling one of them with a masculine novel noun or a feminine novel noun that followed the gender contrast a/o. The data revealed that Spanish-learning children associated the novel words with the appropriate image on the basis of the morphophonological cues embedded in the previously heard adjectives. Learning grammatical gender and number may be complex in a rich morphological system such as Spanish; however, toddlers seem to benefit from the morphophonological consistency and reiteration of the system to infer novel word-object associations.

  13. Content, Imagery, Social Desirability, & Emotionality Ratings for Depressed & Nondepressed Personal Adjectives.

    ERIC Educational Resources Information Center

    Derry, Paul A.; Kuiper, Nicholas A.

    Recent studies have suggested that depressives process personal information in a biased and negative self-referential manner. Normative ratings on a variety of "depressed" and "nondepressed" adjectives were obtained to investigate the exact nature of information processing in depressives. Subjects rated adjectives on depressive content, imagery,…

  14. Morpho-Syntactic Load in Judging Adjective Plural Agreement: Comparing Adults with and without ADHD

    ERIC Educational Resources Information Center

    Schiff, Rachel; Ravid, Dorit; Gur, Adi

    2015-01-01

    The study examined the impact of two grammatical factors on marking Hebrew adjectives in agreement with plural nouns in adults with attention-deficit hyperactivity disorder (ADHD) compared with peers without ADHD. Participants were 36 adult speakers of Hebrew, who were administered a judgment test of 144 sentences, each containing an adjective in…

  15. Substantive unconscious and adjective unconscious: the contribution of Wilfred Bion.

    PubMed

    de Azevedo, A M

    2000-01-01

    The author first provides her readers with a brief summary of some of Freud's ideas, as found throughout his work, on the notion of 'unconscious'. The notion of unconscious as noun is contrasted to the idea of unconscious as adjective, this latter being proposed as a quality, or a state, ever temporary, dynamic, and subject to the constant changes going on in the individual's internal psychic world, as well as to external conditions. After presenting some considerations, the author then contrasts the Kleinian model of the mind to the Freudian, and Wilfred Bion's contribution is discussed at some length. Within Bion's conception of psychic functioning, the model of 'dream' is highlighted and, in this regard, clarifications are sought regarding Bion's view of the unconscious. To conclude, a brief and superficial approximation to the work of Carl Jung is touched upon, although the author admits to knowing little of Jung's positions.

  16. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  17. 40 CFR 91.324 - Analyzer leakage check.

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

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

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

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

  2. 40 CFR 91.324 - Analyzer leakage check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  3. Get Your Cholesterol Checked

    MedlinePlus

    ... Checked Print This Topic En español Get Your Cholesterol Checked Browse Sections The Basics Overview Cholesterol Test ... How often do I need to get my cholesterol checked? The general recommendation is to get your ...

  4. Regional brain activity and strenuous exercise: predicting affective responses using EEG asymmetry.

    PubMed

    Hall, Eric E; Ekkekakis, Panteleimon; Petruzzello, Steven J

    2007-05-01

    Previous research using the model proposed by Davidson has shown that resting frontal electroencephalographic (EEG) asymmetry can predict affective responses to aerobic exercise at moderate intensities. Specifically, greater relative left frontal activity has been shown to predict positive affect (i.e., energy) following exercise. The purpose of this study was to determine if resting frontal EEG asymmetry would predict affective responses following strenuous exercise. Thirty participants (13 women, 17 men) completed a maximal graded exercise test on a treadmill. EEG was recorded prior to exercise. Affect was measured by the Activation Deactivation Adjective Check List prior to the graded exercise test, immediately following, 10 and 20-min following exercise. Greater relative left frontal activity predicted tiredness and calmness during recovery from exercise, but not tension or energy. Tiredness and calmness following exercise covaried, suggesting that tiredness following exercise might not have been linked with displeasure. These findings offer further support for the link between EEG asymmetry and affective responses to exercise.

  5. An Investigation of Factors Affecting Multi-Task Performance in an Immersive Environment

    DTIC Science & Technology

    2007-12-01

    regarding age, gender , vision and hearing, military service, and computer experience. 3.2.4 Multiple Affect Adjective Checklist - Revised (MAACL-R...Depression, Hostility, Positive Affect, and Sensation Seeking) derived from a one-page list of 132 adjectives. An overall distress score, Dysphoria ...involving personality correlates because it provides maximal specificity at no loss in reproducibility across gender and populations (Zuckerman, Kuhlman

  6. MRO Sequence Checking Tool

    NASA Technical Reports Server (NTRS)

    Fisher, Forest; Gladden, Roy; Khanampornpan, Teerapat

    2008-01-01

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

  7. Adjective production by Russian-speaking children with specific language impairment.

    PubMed

    Tribushinina, Elena; Dubinkina, Elena

    2012-06-01

    Research on specific language impairment (SLI) has primarily focused on the acquisition of nouns and verbs. Less attention has been given to other content-word classes, such as adjectives and adverbs. This article investigates adjective production by 7- to 10-year-old Russian-speaking children with SLI and their typically developing (TD) peers and focuses on the production of antonymous adjectives and degree markers in an elicitation experiment. The results show that degree morphology is more impaired in SLI than antonymy. In antonym production, children with SLI were able to catch up with their TD peers by age 8. In the domain of degree, however, the SLI group lagged behind the TD controls across all ages studied. Error analysis indicates that language-impaired children have particular difficulty with agreement inflection and affixal negations. They also substitute adjectives with specific meanings by more general terms. The implications of this study for the morphological-richness hypothesis are discussed.

  8. Automating checks of plan check automation.

    PubMed

    Halabi, Tarek; Lu, Hsiao-Ming

    2014-07-08

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

  9. The Big Five Factor Marker Adjectives Are Not Especially Popular Words. Are They Superior Descriptors?

    PubMed

    Roivainen, Eka

    2015-12-01

    Vocabularies of natural languages evolve over time. Useful words become more popular and useless concepts disappear. In this study, the frequency of the use of 295 English, 100 German, and 114 French personality adjectives in book texts and Twitter messages as qualifiers of the words person, woman, homme, femme, and Person was studied. Word frequency data were compared to factor loadings from previous factor analytic studies on personality terms. The correlation between the popularity of an adjective and its highest primary loading in five- and six-factor models was low (-0.12 to 0.17). The Big five (six) marker adjectives were not more popular than "blended" adjectives that had moderate loadings on several factors. This finding implies that laymen consider "blended" adjectives as equally useful descriptors compared to adjectives that represent core features of the five (six) factors. These results are compatible with three hypotheses: 1) laymen are not good at describing personality, 2) the five (six) factors are artifacts of research methods, 3) the interaction of the five (six) factors is not well understood.

  10. Red bluebirds and black greenflies: preschoolers' understanding of the semantics of adjectives and count nouns.

    PubMed

    Hall, D G; Moore, C E

    1997-11-01

    Three experiments explored preschoolers' and adults' understanding of the distinctive semantic functions of adjectives (i.e., to name properties) and count nouns (i.e., to name object kinds). In Experiment 1, we modeled a familiar adjective (e.g., "blue") syntactically as either an adjective (e.g., "This is a blue one") or a count noun (e.g., "This is a blue") and applied it to a target object (e.g., a blue creature). In Experiments 2 and 3, we marked the adjective phonologically as either an adjective (e.g., "This is a blue bird") or a part of a count noun (e.g., "This is a bluebird") and applied it to a target object (e.g., a blue bluebird). In all experiments, participants then had to extend the expression they heard to either an object of a different kind with the same property as the target (e.g., a different creature or bird colored blue) or an object of the same kind with a different property (e.g., the same creature or bird colored red). Four-year-olds and adults, but not 3-year-olds, who heard the adjective version were more likely than those who heard the count noun version to choose the object with the same property. Thus, by the age of four years, children treated a word's lexical category, cued syntactically or phonologically, as a powerful cue to its meaning.

  11. [Self-reference judgments and directed forgetting of trait adjectives].

    PubMed

    Itoh, Mika

    2012-06-01

    The influence of self-reference and emotionally valent material on list-method directed forgetting was investigated. Participants studied lists 1 and 2, both of which consisted of positive, negative, and neutral trait adjectives. Each participant was randomly assigned to one of three experimental conditions: self-reference judgment, social desirability judgment, and control (no specific judgment). Half of the participants in each condition received the forget instruction telling them to forget list 1 and to remember list 2 (forget group). The other half received the remember instruction telling them to remember both lists 1 and 2 (remember group). All participants were then asked to recall all the list words, including those that they were instructed to forget. Results indicated that the directed forgetting effect disappeared in the self-reference judgment condition: in the forget group, list 1 recall was poorer than recall of list 2, and the Forget group participants recalled fewer list 1 words compared to the remember group participants. Neither the emotional valence nor self-reference of the material modulated the magnitude of this effect. It is concluded that self-reference may modify directed forgetting.

  12. Imperfect or Perfect Dynamic Bipolarity? The Case of Antonymous Affective Judgments

    ERIC Educational Resources Information Center

    Vautier, Stephane; Steyer, Rolf; Jmel, Said; Raufaste, Eric

    2005-01-01

    How is affective change rated with positive adjectives such as good related to change rated with negative adjectives such as bad? Two nested perfect and imperfect forms of dynamic bipolarity are defined using latent change structural equation models based on tetrads of items. Perfect bipolarity means that latent change scores correlate -1.…

  13. Nomina sunt omina: on the inductive potential of nouns and adjectives in person perception.

    PubMed

    Carnaghi, Andrea; Maass, Anne; Gresta, Sara; Bianchi, Mauro; Cadinu, Mara; Arcuri, Luciano

    2008-05-01

    Six studies (N = 491) investigated the inductive potential of nouns versus adjectives in person perception. In the first 5 studies, targets were either described by an adjective (e.g., Mark is homosexual) or by the corresponding noun (e.g., Mark is a homosexual) or by both (Study 3). The authors predicted and found that nouns, more so than adjectives, (a) facilitate descriptor-congruent inferences but inhibit incongruent inferences (Studies 1-3), (b) inhibit alternative classifications (Study 4), and (c) imply essentialism of congruent but not of incongruent preferences (Study 5). This was supported for different group memberships and inclinations (athletics, arts, religion, sexual preference, drinking behavior, etc.), languages (Italian and German), and response formats, suggesting that despite the surface similarity of nouns and adjectives, nouns have a more powerful impact on person perception. Study 6 investigated the inverse relationship, showing that more essentialist beliefs (in terms of a genetic predisposition rather than training) lead speakers to use more nouns and fewer adjectives. Possible extensions of G. R. Semin and K. Fiedler's (1988) linguistic category model and potential applications for language use in intergroup contexts are discussed.

  14. Adjective checklist to assess the big five personality factors in the Argentine population.

    PubMed

    Ledesma, Rubén D; Sánchez, Roberto; Díaz-Lázaro, Carlos M

    2011-01-01

    The aim of this work was to develop an adjective checklist to assess the Big Five personality factors in the Argentine population. The new instrument was administered to pilot (n= 112), validation (n= 372), and replication (n= 309) samples. The final version of the checklist included 67 adjectives encompassing its 5 dimensions. Factor analysis results were consistent with the Five-factor model. Internal consistency of scales was very good and convergent correlations with the Big Five Inventory (BFI; John, Donahue, & Kentle, 1991) were substantial. Face validity, as evaluated by 2 independent raters, was good. Preliminary evidence of validity for the checklist is presented. Finally, the Adjective Checklist for Personality Assessment and BFI are compared, taking into consideration their psychometric properties in our cultural context. Study limitations and future research are discussed.

  15. Acquisition of adjectives and adverbs in sentences written by hearing impaired and aphasic children.

    PubMed

    Heward, W L; Eachus, H T

    1979-01-01

    The effect of an instructional package, which included modeling, reinforcement, and remedial feedback on the rate, accuracy, and topography of sentences composed by four hearing impaired and aphasic children, was examined. In a specially designed classroom, students wrote sentences describing a stimulus picture on acetate sheets placed on the stage of an overhead projector which was built into each student's desk. This arrangement provided the teacher and other students immediate and continuous visual access to each student's sentences. In a multiple baseline design across behaviors, model sentences were projected and token reinforcment and remedial feedback were made contingent upon writing correct sentences containing prenominal adjectives only, then adverbs only, then prenomial adjectives plus adverbs. During baseline all student displayed poor written language skills and seldom wrote sentences containing modifiers. When the instructional package was implemented, all students demonstrated significant increases in response rate, accuracy, and percentage of correct sentences including prenominal adjectives and adverbs.

  16. Inter-subject variability modulates phonological advance planning in the production of adjective-noun phrases

    PubMed Central

    Michel Lange, Violaine; Laganaro, Marina

    2014-01-01

    The literature on advance phonological planning in adjective-noun phrases (NPs) presents diverging results: while many experimental studies suggest that the entire NP is encoded before articulation, other results favor a span of encoding limited to the first word. Although cross-linguistic differences in the structure of adjective-NPs may account for some of these contrasting results, divergences have been reported even among similar languages and syntactic structures. Here we examined whether inter-individual differences account for variability in the span of phonological planning in the production of French NPs, where previous results indicated encoding limited to the first word. The span of phonological encoding is tested with the picture-word interference (PWI) paradigm using phonological distractors related to the noun or to the adjective of the NPs. In Experiment 1, phonological priming effects were limited to the first word in adjective NPs whichever the position of the adjective (pre-nominal or post-nominal). Crucially, phonological priming effects on the second word interacted with speakers' production speed suggesting different encoding strategies for participants. In Experiment 2, we tested this hypothesis further with a larger group of participants. Results clearly showed that slow and fast initializing participants presented different phonological priming patterns on the last element of adjective-NPs: while the first word was primed by a distractor for all speakers, only the slow speaker group presented a priming effect on the second element of the NP. These results show that the span of phonological encoding is modulated by inter-individual strategies: in experimental paradigms some speakers plan word by word whereas others encode beyond the initial word. We suggest that the diverging results reported in the literature on advance phonological planning may partly be reconciled in light of the present results. PMID:24550866

  17. Analysing Adjectives in Scientific Discourse: An Exploratory Study with Educational Applications for Spanish Speakers at Advanced University Level.

    ERIC Educational Resources Information Center

    Soler, Viviana

    2002-01-01

    Explores frequency and use of adjectives in five advanced scientific texts on biochemistry and analyzes the semantic implications of the observed occurrence. The aim is to provide a better understanding of the role of adjectives in research articles and to suggest how to guide Spanish-speaking students to effectively comprehend, read, write, and…

  18. Three-Year-Olds Can Predict a Noun Based on an Attributive Adjective: Evidence from Eye-Tracking

    ERIC Educational Resources Information Center

    Tribushinina, Elena; Mak, Willem M.

    2016-01-01

    This paper investigates whether three-year-olds are able to process attributive adjectives (e.g., "soft pillow") as they hear them and to predict the noun ("pillow") on the basis of the adjective meaning ("soft"). This was investigated in an experiment by means of the Visual World Paradigm. The participants saw two…

  19. Use of Adjectives in Catalan: A Morphological Characterization in Different Genres and Modes of Production through School-Age Development

    ERIC Educational Resources Information Center

    Cutillas, Laia; Tolchinsky, Liliana

    2017-01-01

    Adjectives, like nouns and verbs, are one of the three major classes of lexical words. But, unlike nouns and verbs, they emerge late in acquisition. In Catalan, as in many other languages, their use is closely linked to the literate lexicon learned at school-age. Thus, the use of adjectives can be a good indicator of later language development.…

  20. Posizione dell'aggettivo nel nominale: Alcune recenti analisi (The Position of the Adjective in the Noun Phrase: Some Recent Analyses).

    ERIC Educational Resources Information Center

    Francesconi, Consuelo

    1979-01-01

    Discusses recent analyses of the adjective in Italian and stresses the importance of the position of the Italian adjective for second language learners of Italian and for Italians learning foreign languages. (CFM)

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

  2. Sobre la convertibilidad de ciertos adjectivos en adverbios en el idioma espanol (Concerning the Convertibility of Some Spanish Adjectives into Adverbs).

    ERIC Educational Resources Information Center

    Zierer, Ernesto

    1971-01-01

    This paper considers Spanish adjectives and the possibility of converting some adjectives into adverbs, keeping the same general significance of a sentence. The conversion of an adjective into an adverb under these circumstances can be accomplished through a transformation which can be applied to a particular logical-semantic structure. The author…

  3. Semantic Features, Perceptual Expectations, and Frequency as Factors in the Learning of Polar Spatial Adjective Concepts.

    ERIC Educational Resources Information Center

    Dunckley, Candida J. Lutes; Radtke, Robert C.

    Two semantic theories of word learning, a perceptual complexity hypothesis (H. Clark, 1970) and a quantitative complexity hypothesis (E. Clark, 1972) were tested by teaching 24 preschoolers and 16 college students CVC labels for five polar spatial adjective concepts having single word representations in English, and for three having no direct…

  4. From Dichotomy to Divergence: Number/Gender Marking on Hebrew Nouns and Adjectives across School Ages

    ERIC Educational Resources Information Center

    Ravid, Dorit; Schiff, Rachel

    2012-01-01

    This study investigates the development of plural adjective agreement in Hebrew, focusing on the consolidation of Hebrew number/gender morphology in children and adolescents across the school years in comparison with adults. A total of 240 Hebrew-speaking participants in seven consecutive grade levels (kindergarten to sixth grade) plus a group of…

  5. Spicy Adjectives and Nominal Donkeys: Capturing Semantic Deviance Using Compositionality in Distributional Spaces

    ERIC Educational Resources Information Center

    Vecchi, Eva M.; Marelli, Marco; Zamparelli, Roberto; Baroni, Marco

    2017-01-01

    "Sophisticated senator" and "legislative onion." Whether or not you have ever heard of these things, we all have some intuition that one of them makes much less sense than the other. In this paper, we introduce a large dataset of human judgments about novel adjective-noun phrases. We use these data to test an approach to…

  6. Imageability of Norwegian Nouns, Verbs and Adjectives in a Cross-Linguistic Perspective

    ERIC Educational Resources Information Center

    Simonsen, Hanne Gram; Lind, Marianne; Hansen, Pernille; Holm, Elisabeth; Mevik, Bjorn-Helge

    2013-01-01

    In this article, we present a study of imageability ratings for a set of 1599 Norwegian words (896 nouns, 483 verbs and 220 adjectives) from a web-based survey. To a large extent, the results are in accordance with previous studies of other languages: high imageability scores in general, higher imageability scores for nouns than for verbs, and an…

  7. Preservice Elementary Teachers Increase Descriptive Science Vocabulary by Making Descriptive Adjective Object Boxes

    ERIC Educational Resources Information Center

    Rule, Audrey C.; Crisafulli, Sherry; DeCare, Heather; DeLeo, Tonya; Eastman, Keri; Farrell, Liz; Geblein, Jennifer; Gioia, Chelsea; Joyce, Ashley; Killian, Kali; Knoop, Kelly; LaRocca, Alison; Meyer, Katie; Miller, Julianne; Roth, Vicki; Throo, Julie; Van Arsdale, Jim; Walker, Malissa

    2007-01-01

    Descriptive vocabulary is needed for communication and mental processing of science observations. Elementary preservice teachers in a science methods class at a mid-sized public college in central New York State increased their descriptive vocabularies through a course assignment of making a descriptive adjective object box. This teaching material…

  8. Le Carte Blanc or La Carte Blanche? Bilingual Children's Acquisition of French Adjective Agreement

    ERIC Educational Resources Information Center

    Nicoladis, Elena; Marchak, Kristan

    2011-01-01

    Because of less exposure to either language, bilingual children's language acquisition can be delayed relative to monolingual children in domains related to input frequency. This study predicted that the acquisition of gender agreement with adjectives in French would be delayed in bilingual children on a picture description task. The results…

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

  10. Between-language repetition priming in antonym generation: evidence that translation-equivalent adjectives have shared conceptual representations across languages.

    PubMed

    Taylor, Randolph S; Francis, Wendy S

    2017-03-01

    Previous literature has demonstrated conceptual repetition priming across languages in bilinguals. This between-language priming effect is taken as evidence that translation equivalents have shared conceptual representations across languages. However, the vast majority of this research has been conducted using only concrete nouns as stimuli. The present experiment examined conceptual repetition priming within and between languages in adjectives, a part of speech not previously investigated in studies of bilingual conceptual representation. The participants were 100 Spanish-English bilinguals who had regular exposure to both languages. At encoding, participants performed a shallow processing task and a deep-processing task on English and Spanish adjectives. At test, they performed an antonym-generation task in English, in which the target responses were either adjectives presented at encoding or control adjectives not previously presented. The measure of priming was the response time advantage for producing repeated adjectives relative to control adjectives. Significant repetition priming was observed both within and between languages under deep, but not shallow, encoding conditions. The results indicate that the conceptual representations of adjective translation equivalents are shared across languages.

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

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

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

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

  15. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... used, a response time check is not required. (b) Leak checks—(1) Vacuum side leak check. (i) Any location within the analysis system where a vacuum leak could affect the test results must be checked. (ii) The maximum allowable leakage rate on the vacuum side is 0.5 percent of the in-use flow rate for...

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

  17. Factorial Structure and Age-Related Psychometrics of the MIDUS Personality Adjective Items across the Lifespan

    PubMed Central

    Zimprich, Daniel; Allemand, Mathias; Lachman, Margie E.

    2014-01-01

    The present study addresses issues of measurement invariance and comparability of factor parameters of Big Five personality adjective items across age. Data from the Midlife in the United States (MIDUS) survey were used to investigate age-related developmental psychometrics of the MIDUS personality adjective items in two large cross-sectional samples (exploratory sample: N = 862; analysis sample: N = 3,000). After having established and replicated a comprehensive five-factor structure of the measure, increasing levels of measurement invariance were tested across ten age groups. Results indicate that the measure demonstrates strict measurement invariance in terms of number of factors and factor loadings. Also, we found that factor variances and covariances were equal across age groups. By contrast, a number of age-related factor mean differences emerged. The practical implications of these results are discussed and future research is suggested. PMID:21910548

  18. Emergence of untaught mands or tacts of novel adjective-object pairs as a function of instructional history

    PubMed Central

    Nuzzolo-Gomez, Robin; Greer, R. Douglas

    2004-01-01

    We tested the effects of multiple exemplar instruction (MEI) on the emergence of untaught mands or tacts of adjective-object pairs in a multiple-probe design across four students with autism/developmental disabilities. None of the students emitted either mands or tacts for three sets of three adjective-object pairs (word sets counterbalanced across students and conditions) in pre-experimental probe trials. In the baseline phase, either mands or tacts were taught for the first adjective-object pairs to each student who then received probe trials for the untaught verbal operants. None of the students emitted the verbal operant that was not directly taught. In the MEI condition, a second set of adjective-object pairs was taught under alternating mand and tact conditions until both operants were mastered. Following mastery of the second set in the MEI condition, students were again probed for the untaught mands or tacts for the adjective-object pairs that were not in their repertoires when a single verbal operant was taught in baseline (the first set). All students emitted the untaught mands or tacts for the first set. Finally, a third set of adjective-object pairs was taught as tacts or mands and the untaught mands or tacts emerged. The data are discussed in terms of generative verbal behavior, abstraction of establishing operation control, and multiple exemplar instruction. PMID:22477290

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

  20. Interest Check List.

    ERIC Educational Resources Information Center

    Bureau of Employment Security (DOL), Washington, DC.

    The original edition of the Department of Labor Interest Check List aims at helping students decide what kinds of work they would like and lists activities that are found in a broad range of industries and occupations. The student is advised to read each of approximately 175 items and indicate how he feels about the activity described by placing a…

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

  2. Double checking: a second look

    PubMed Central

    Chreim, Samia; Forster, Alan

    2015-01-01

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

  3. Liquid blocking check valve

    DOEpatents

    Merrill, John T.

    1984-01-01

    A liquid blocking check valve useful particularly in a pneumatic system utilizing a pressurized liquid fill chamber. The valve includes a floatable ball disposed within a housing defining a chamber. The housing is provided with an inlet aperture disposed in the top of said chamber, and an outlet aperture disposed in the bottom of said chamber in an offset relation to said inlet aperture and in communication with a cutaway side wall section of said housing.

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

  5. Magnetically operated check valve

    NASA Astrophysics Data System (ADS)

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

    1993-03-01

    A magnetically operated check valve is disclosed having, in one aspect, 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.

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

  7. Magnetically operated check valve

    NASA Astrophysics Data System (ADS)

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

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

  8. Model Checking Agent Communication

    NASA Astrophysics Data System (ADS)

    Bentahar, J.; Meyer, J.-J. Ch.; Wan, W.

    Model checking is a formal and automatic technique used to verify computational systems (e.g. communication protocols) against given properties. The purpose of this chapter is to describe a model checking algorithm to verify communication protocols used by autonomous agents interacting using dialogue games, which are governed by a set of logical rules. We use a variant of Extended Computation Tree Logic CTL* for specifying these dialogue games and the properties to be checked. This logic, called ACTL*, extends CTL* by allowing formulae to constrain actions as well as states. The verification method uses an on-the-fly efficient algorithm. It is based on translating formulae into a variant of alternating tree automata called Alternating Büchi Tableau Automata (ABTA). We present a tableau-based version of this algorithm and provide the soundness, completeness, termination and complexity results. Two case studies are discussed along with their respective implementations to illustrate the proposed approach. The first one is about an agent-based negotiation protocol and the second one considers a modified version of the NetBill protocol.

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

  10. Magnetic Check Valve

    NASA Technical Reports Server (NTRS)

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

    1994-01-01

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

  11. Regional brain activation as a biological marker of affective responsivity to acute exercise: influence of fitness.

    PubMed

    Petruzzello, S J; Hall, E E; Ekkekakis, P

    2001-01-01

    Previous research has shown that regional brain activation, assessed via frontal electroencephalographic (EEG) asymmetry, predicts affective responsivity to aerobic exercise. To replicate and extend this work, in the present study we examined whether resting brain activation was associated with affective responses to an acute bout of aerobic exercise and the extent to which aerobic fitness mediated this relationship. Participants (high-fit, n = 22; low/moderate-fit, n = 45) ran on a treadmill for 30 min at 75% VO2max. EEG and affect were assessed pre- and 0-, 10-, 20-, and 30-min postexercise. Resting EEG asymmetry predicted positive affect (as measured by the energetic arousal subscale of the Activation Deactivation Adjective Check List) postexercise. Furthermore, resting frontal EEG asymmetry predicted affect only in the high-fit group, suggesting the effect might be mediated by some factor related to fitness. It was also shown that subjects with relatively greater left frontal activation had significantly more energy (i.e., activated pleasant affect) following exercise than subjects with relatively greater right frontal activation. In conclusion, aerobic fitness influenced the relationship between resting frontal asymmetry and exercise-related affective responsivity.

  12. Morphosyntax can modulate the N400 component: Event related potentials to gender-marked post-nominal adjectives

    PubMed Central

    Guajardo, Lourdes F.; Wicha, Nicole Y. Y.

    2014-01-01

    Event-related potential studies of grammatical gender agreement often report a left anterior negativity (LAN) when agreement violations occur. Some studies have shown that during sentence comprehension gender violations can also interact with semantic processing to modulate a negativity associated with processing meaning – the N400. Given that the LAN and N400 overlap in time, they are identified by their scalp distributions and purported functional roles. Critically, grammatical gender violations also elicit a right posterior positivity that can overlap temporally with and potentially affect the scalp distribution of the LAN/N400. We measured the effect of grammatical gender violations in the LAN/N400 window and late positive component (LPC) during comprehension of Spanish sentences. A post-nominal adjective could either make sense or not, and either agree or disagree in gender with the preceding noun. We observed a negativity to gender agreement violations in the LAN/N400 window (300–500 ms post stimulus onset) that was smaller than the semantic-congruity N400, but overlapped with it in time and distribution. The early portion of the LPC to gender violations was modulated by sentence constraint, occurring as early as 450ms in highly constraining sentences. A subadditive interaction occurred at the later portion of the LPC with equivalent effects for single and double violations (gender and semantics), reflecting a general stage of reprocessing. Overall, our data support models of language comprehension whereby both semantic and morphosyntactic information can affect processing at similar time points. PMID:24462934

  13. Evaluation of trait adjectives and ego pathology in schizophrenia: an N400 study.

    PubMed

    Metzler, Sibylle; Theodoridou, Anastasia; Aleksandrowicz, Aleksandra; Müller, Mario; Obermann, Caitriona; Kawohl, Wolfram; Heekeren, Karsten

    2014-03-30

    The N400, an event-related brain potential (ERP), can be triggered by semantic or arithmetic violations in visual or auditory stimulus material. Schizophrenia patients exhibit an altered N400 presumably resulting from impaired semantic memory associative networks. The present study investigates, whether an altered N400 can also be found in semantic violations of the own self-concept. We use simple descriptive sentences to combine semantics with the self-concept in order to explore differences and possible deficits in schizophrenia patients. Schizophrenia patients and controls were shown trait adjectives in reference to themselves. Participants had to decide if the presented trait adjective was congruent or incongruent with their own self-concept. Only in controls, the N400 was significantly more negative in the incongruent compared to the congruent condition. Controls seemed to profit from a stable self-concept as they were faster in judging if a given trait was descriptive for the self than for someone else, which might result from processes related to the self-reference effect. Interestingly, in schizophrenia patients, the higher the scores for ego pathology were, the smaller the N400 effect turned out to be. The diminished N400 effect is probably associated with a disturbed self-concept in schizophrenia.

  14. Knowing What a Novel Word Is Not: Two-Year-Olds "Listen Through" Ambiguous Adjectives in Fluent Speech

    ERIC Educational Resources Information Center

    Thorpe, Kirsten; Fernald, Anne

    2006-01-01

    Three studies investigated how 24-month-olds and adults resolve temporary ambiguity in fluent speech when encountering prenominal adjectives potentially interpretable as nouns. Children were tested in a looking-while-listening procedure to monitor the time course of speech processing. In Experiment 1, the familiar and unfamiliar adjectives…

  15. Formulaic Language and Adjective Categories in Eight Centuries of the Spanish Expression of "Becoming" /Quedar(se)/ + ADJ

    ERIC Educational Resources Information Center

    Wilson, Damian Chase Vergara

    2009-01-01

    The purpose of this study is to track the diachronic development of exemplar clusters formed by the adjectives in the Spanish expression of becoming "quedar(se)" + ADJ (e.g. "quedar(se) solo" "to be left alone", "quedar(se) espantado" "to get scared"). This approach applies the same system of analysis used by Bybee & Eddington (2006) in their…

  16. Tracking "Learning Behaviours" in the Incidental Acquisition of Two Dimensional Adjectives by Japanese Beginner Learners of L2 English

    ERIC Educational Resources Information Center

    Shintani, Natsuko; Ellis, Rod

    2014-01-01

    The purpose of this article is to examine both the process and product of vocabulary learning in a task-based instructional context. The article reports a study that investigated the acquisition of two dimensional adjectives ("big" and "small") by six-year-old Japanese children who were complete beginners. It tracked the…

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

    ... Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS...), flight engineer check airmen (airplane), and flight navigator check airmen (airplane) must include the... flight engineer check airmen (airplane) and flight navigator check airmen (airplane), training to...

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

    ... Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS...), flight engineer check airmen (airplane), and flight navigator check airmen (airplane) must include the... flight engineer check airmen (airplane) and flight navigator check airmen (airplane), training to...

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

    ... Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS...), flight engineer check airmen (airplane), and flight navigator check airmen (airplane) must include the... flight engineer check airmen (airplane) and flight navigator check airmen (airplane), training to...

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

  1. Leak checking in ISABELLE

    SciTech Connect

    Briggs, J.; Halama, H.J.

    1981-01-01

    The Intersecting Storage Accelerator (ISABELLE) contains two completely independent vacuum systems. One known as Beam Vacuum operates at 1 x 10/sup -11/ Torr and maintains a very clean environment for the circulating proton beam. The other system known as Insulating Vacuum maintains superconducting magnet vessels at a pressure below 1 x 10/sup -6/ Torr. In this system all gasses except helium are cryocondensed on the cold surfaces of superconducting magnets and cryogenic circuits. Turbomolecular pumps pump the inadvertent small helium leaks. The helium background both in the MagCOOL area and in the ISABELLE tunnel limits the sensitivity of conventional leak detectors. Leak detection in ISABELLE is one of the most important functions, since there are thousands of bellows and welds operating at 4 K and at 15 atmosphere pressure and that many welds can only be leak checked at room temperature. Leak rates are known to increase by 4 orders of magnitude when cooled from 300 K to 4 K. Thus the required 10/sup -10/ Torr liters s/sup -1/ sensitivity is essential for proper operation and methods and equipment which permit the location of such leaks in large systems have been developed and tested on the First Cell and the refrigerators. They produced a completely leak free system, i.e. the helium background did not change when all pumps were closed for 24 hours. These methods and the equipment are discussed in detail.

  2. Psychometric properties of the adjective rating scale for withdrawal across treatment groups, gender, and over time.

    PubMed

    Barbosa-Leiker, Celestina; McPherson, Sterling; Mamey, Mary Rose; Burns, G Leonard; Roll, John

    2014-02-01

    The adjective rating scale for withdrawal (ARSW) is commonly used to assess opiate withdrawal in clinical practice and research. The aims of this study were to examine the factor structure of the ARSW, test measurement invariance across gender and treatment groups, and assess longitudinal measurement invariance across the clinical trial. Secondary data analysis of the National Drug Abuse Treatment Clinical Trials Network 000-3, a randomized clinical trial comparing two tapering strategies, was performed. The ARSW was analyzed at baseline, end of taper and 1-month follow-up (N=515 opioid-dependent individuals). A 1-factor model of the ARSW fit the data and demonstrated acceptable reliability. Measurement invariance was supported across gender and taper groups. Longitudinal measurement invariance was not found across the course of the trial, with baseline assessment contributing to the lack of invariance. If change over time is of interest, change from post-treatment through follow-up may offer the most valid comparison.

  3. Interface Circuits for Self-Checking Microprocessors

    NASA Technical Reports Server (NTRS)

    Rennels, D. A.; Chandramouli, R.

    1986-01-01

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

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

  5. Factorial structure and age-related psychometrics of the MIDUS personality adjective items across the life span.

    PubMed

    Zimprich, Daniel; Allemand, Mathias; Lachman, Margie E

    2012-03-01

    The present study addresses issues of measurement invariance and comparability of factor parameters of Big Five personality adjective items across age. Data from the Midlife in the United States (MIDUS) survey were used to investigate age-related developmental psychometrics of the MIDUS personality adjective items in 2 large cross-sectional samples (exploratory sample: N = 862; analysis sample: N = 3,000). After having established and replicated a comprehensive 5-factor structure of the measure, increasing levels of measurement invariance were tested across 10 age groups. Results indicate that the measure demonstrates strict measurement invariance in terms of number of factors and factor loadings. Also, we found that factor variances and covariances were equal across age groups. By contrast, a number of age-related factor mean differences emerged. The practical implications of these results are discussed, and future research is suggested.

  6. On the Relationship between Circumplexes: Affect and Wiggins' IAS

    ERIC Educational Resources Information Center

    Yik, Michelle S. M.; Russell, James A.

    2004-01-01

    This article offers a new method to describe the relationship between two circumplexes, illustrated empirically with Wiggins' (1995) Interpersonal Adjective Scales (IAS) and Yik, Russell, and Steiger's (2004) 12-Point Affect Circumplex Scales (12-PACS). Michael Browne's CIRCUM-extension procedure was used to place each circumplex within the other.…

  7. Greater need for background checks.

    PubMed

    Fiesta, J

    1999-11-01

    The push is on for a more uniform system of background checks for health care employees. Studies and crimes against patients have prompted regulation by the Health Care Financing Administration (HCFA), state governments, hospitals, and Congress.

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

  9. Psychometric Properties of the Adjective Rating Scale for Withdrawal across treatment groups, gender, and over time

    PubMed Central

    Barbosa-Leiker, Celestina; McPherson, Sterling; Mamey, Mary Rose; Burns, G. Leonard; Roll, John

    2013-01-01

    The Adjective Rating Scale of Withdrawal (ARSW) is commonly used to assess opiate withdrawal in clinical practice and research. The aims of this study were to examine the factor structure of the ARSW, test measurement invariance across gender and treatment groups, and assess longitudinal measurement invariance across the clinical trial. Secondary data analysis of the National Drug Abuse Treatment Clinical Trials Network 000-3, a randomized clinical trial comparing two tapering strategies, was performed. The ARSW was analyzed at baseline, end of taper and 1-month follow-up (N =515 opioid-dependent individuals). A 1-factor model of the ARSW fit the data and demonstrated acceptable reliability. Measurement invariance was supported across gender and taper groups. Longitudinal measurement invariance was not found across the course of the trial, with baseline assessment contributing to the lack of invariance. If change over time is of interest, change from post-treatment through follow-up may offer the most valid comparison. PMID:24074852

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... months after the date on which the check was issued. (2) All checks shall bear a legend, stating “Void After One Year.” The legend is notice to payees and indorsers of a general limitation on the payment of checks. The legend, or the inadvertent lack thereof, does not limit, or otherwise affect, the rights...

  11. Production mask composition checking flow

    NASA Astrophysics Data System (ADS)

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

    2016-05-01

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

  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. Fluid relief and check valve

    DOEpatents

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

    1986-07-17

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

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS... training for pilot check airmen (airplane), flight engineer check airmen (airplane), and flight navigator... likely to develop during a check. (4) For flight engineer check airmen (airplane) and flight...

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... security number, the alien identification number; (C) The date of birth of the purchaser; (D) The date of..., cashier's checks, money orders and traveler's checks. 103.29 Section 103.29 Money and Finance: Treasury... orders and traveler's checks. (a) No financial institution may issue or sell a bank check or...

  16. Model Checking Normative Agent Organisations

    NASA Astrophysics Data System (ADS)

    Dennis, Louise; Tinnemeier, Nick; Meyer, John-Jules

    We present the integration of a normative programming language in the MCAPL framework for model checking multi-agent systems. The result is a framework facilitating the implementation and verification of multi-agent systems coordinated via a normative organisation. The organisation can be programmed in the normative language while the constituent agents may be implemented in a number of (BDI) agent programming languages.

  17. Child Care: State Requirements for Background Checks.

    ERIC Educational Resources Information Center

    Fagnoni, Cynthia

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

  18. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2011-04-01 2011-04-01 false Bad checks. 70.101 Section....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of the... appropriate TTB officer that such check was tendered in good faith and that such person had reasonable...

  19. 27 CFR 70.101 - Bad checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 2 2010-04-01 2010-04-01 false Bad checks. 70.101 Section....101 Bad checks. If any check or money order in payment of any amount receivable under Title 26 of the... appropriate TTB officer that such check was tendered in good faith and that such person had reasonable...

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

  7. 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 pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only...

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  10. Liquid-blocking check valve

    DOEpatents

    Merrill, J.T.

    1982-09-27

    A liquid blocking check valve useful particularly in a pneumatic system utilizing a pressurized liquid fill chamber. The valve includes a floatable ball disposed within a housing defining a chamber. The housing is provided with an inlet aperture disposed in the top of said chamber, and an outlet aperture disposed in the bottom of said chamber in an offset relation to said inlet aperture and in communication with a cutaway side wall section of said housing.

  11. Talker-Specific Generalization of Pragmatic Inferences based on Under- and Over-Informative Prenominal Adjective Use

    PubMed Central

    Pogue, Amanda; Kurumada, Chigusa; Tanenhaus, Michael K.

    2016-01-01

    According to Grice’s (1975) Maxim of Quantity, rational talkers formulate their utterances to be as economical as possible while conveying all necessary information. Naturally produced referential expressions, however, often contain more or less information than what is predicted to be optimal given a rational speaker model. How do listeners cope with these variations in the linguistic input? We argue that listeners navigate the variability in referential resolution by calibrating their expectations for the amount of linguistic signal to be expended for a certain meaning and by doing so in a context- or a talker-specific manner. Focusing on talker-specificity, we present four experiments. We first establish that speakers will generalize information from a single pair of adjectives to unseen adjectives in a speaker-specific manner (Experiment 1). Initially focusing on exposure to underspecified utterances, Experiment 2 examines: (a) the dimension of generalization; (b) effects of the strength of the evidence (implicit or explicit); and (c) individual differences in dimensions of generalization. Experiments 3 and 4 ask parallel questions for exposure to over-specified utterances, where we predict more conservative generalization because, in spontaneous utterances, talkers are more likely to over-modify than under-modify. PMID:26834667

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

    ... preceding 24 months, that person satisfactorily conducts a proficiency or competency check under the..., 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...

  13. Self-Checks Help Spot Melanoma's Return

    MedlinePlus

    ... news/fullstory_163682.html Self-Checks Help Spot Melanoma's Return Patient-detected symptoms were most common way ... Feb. 20, 2017 (HealthDay News) -- Self-checks by melanoma skin cancer patients play an important role in ...

  14. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... (CONTINUED) CONTROL OF EMISSIONS FROM MARINE SPARK-IGNITION ENGINES Emission Test Equipment Provisions § 91... affect analyzer performance. (b) CO analyzer water and CO2 interference checks. Bubble through water at.... For dry measurements, this mixture may be introduced into the sample system prior to the water...

  15. Personality Traits and Positive/Negative Affects: An Analysis of Meaning in Life among Adults

    ERIC Educational Resources Information Center

    Isik, Serife; Üzbe, Nazife

    2015-01-01

    This study examines the impact of positive and negative affects and personality traits on meaning in life in an adult population. The sample consisted of 335 subjects: 190 females and 145 males, and a Meaning in Life Questionnaire (MLQ), positive and negative schedule (PANAS), and adjective-based personality scale (ABPT) were used in the research.…

  16. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... 20 Employees' Benefits 3 2014-04-01 2014-04-01 false Field checks. 653.503 Section 653.503... SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through its local offices or otherwise, shall conduct random, unannounced field checks at a significant...

  17. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... 20 Employees' Benefits 3 2013-04-01 2013-04-01 false Field checks. 653.503 Section 653.503... SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through its local offices or otherwise, shall conduct random, unannounced field checks at a significant...

  18. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... 20 Employees' Benefits 3 2012-04-01 2012-04-01 false Field checks. 653.503 Section 653.503... SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through its local offices or otherwise, shall conduct random, unannounced field checks at a significant...

  19. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 20 Employees' Benefits 3 2011-04-01 2011-04-01 false Field checks. 653.503 Section 653.503... SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through its local offices or otherwise, shall conduct random, unannounced field checks at a significant...

  20. 25 CFR 11.421 - Bad checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

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

  1. 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... Criminal Offenses § 11.421 Bad checks. (a) A person who issues or passes a check or similar sight order for..., and the issuer failed to make good within 10 days after receiving notice of that refusal....

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

  3. Theoretical Principles to Guide the Teaching of Adjectives to Children Who Struggle with Word Learning: Synthesis of Experimental and Naturalistic Research with Principles of Learning Theory

    ERIC Educational Resources Information Center

    Ricks, Samantha L.; Alt, Mary

    2016-01-01

    Purpose: The purpose of this tutorial is to provide clinicians with a theoretically motivated and evidence-based approach to teaching adjectives to children who struggle with word learning. Method: Given that there are almost no treatment studies to guide this topic, we have synthesized findings from experimental and theoretical literature to come…

  4. Ronald McDonald Sagt: Die Deklination des Adjektivs Ist Wichtig! Ubungen fur Studenten. (Ronald McDonald Says: The Declension of Adjectives Is Important! Exercises for Students).

    ERIC Educational Resources Information Center

    Headrick, Robert J., Jr.

    A booklet intended for classroom use in beginning and intermediate German instruction provides students with a series of authentic McDonald's fast food restaurant placemats with which to review and reinforce adjective endings. Specific objectives are for students to: read and discuss each of the German McDonald's trayliners, complete a series of…

  5. Adjective Semantics, World Knowledge and Visual Context: Comprehension of Size Terms by 2- to 7-Year-Old Dutch-Speaking Children

    ERIC Educational Resources Information Center

    Tribushinina, Elena

    2013-01-01

    The interpretation of size terms involves constructing contextually-relevant reference points by combining visual cues with knowledge of typical object sizes. This study aims to establish at what age children learn to integrate these two sources of information in the interpretation process and tests comprehension of the Dutch adjectives "groot"…

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

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

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

  9. Model Checking for Robotic Guided Surgery

    NASA Astrophysics Data System (ADS)

    Mönnich, H.; Raczkowsky, J.; Wörn, H.

    This paper describes a model checking approach for robotic guided surgical interventions. The execution plan is modeled with a workflow editor as a petri net. The net is then analyzed for correct structure and syntax with XMLSchema. Petri nets allow checking for specific constraints, like soundness. Still the possibility to prove the net with runtime variables is missing. For this reason model checking is introduced to the architecture. The Petri-Net is transformed to the Model Checking language of NuSMV2, an open source model checking tool. Conditions are modeled with temporal logic and these specifications are proved with the model checker. This results in the possibility to prove the correct initialization of hardware devices and to find possible runtime errors. The workflow editor and model checking capabilities are developed for a demonstrator consisting of a KUKA lightweight robot, a laser distance sensor and ART tracking for CO2 laser ablation on bone.

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

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

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

  13. 31 CFR 248.6 - Recovery of original check.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Recovery of original check. 248.6... § 248.6 Recovery of original check. (a) If the claimant recovers an original check after he has... substitute check has been received prior to the recovery of the original check, the original check should...

  14. 31 CFR 248.6 - Recovery of original check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Recovery of original check. 248.6... § 248.6 Recovery of original check. (a) If the claimant recovers an original check after he has... substitute check has been received prior to the recovery of the original check, the original check should...

  15. 32 CFR 635.6 - Name checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... Defense Department of Defense (Continued) DEPARTMENT OF THE ARMY (CONTINUED) LAW ENFORCEMENT AND CRIMINAL... police reports filed worldwide. Authorized users of COPS MPRS can conduct name checks for criminal justice purposes. To conduct a name check, users must have either the social security...

  16. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education loans by the Department of Veterans Affairs shall be made by a check payable to the eligible spouse or...) The educational institution, electing to participate in this program, shall deliver an education...

  17. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education loans by the Department of Veterans Affairs shall be made by a check payable to the eligible spouse or...) The educational institution, electing to participate in this program, shall deliver an education...

  18. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education loans by the Department of Veterans Affairs shall be made by a check payable to the eligible spouse or...) The educational institution, electing to participate in this program, shall deliver an education...

  19. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education loans by the Department of Veterans Affairs shall be made by a check payable to the eligible spouse or...) The educational institution, electing to participate in this program, shall deliver an education...

  20. 38 CFR 21.4505 - Check delivery.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ...) VOCATIONAL REHABILITATION AND EDUCATION Education Loans § 21.4505 Check delivery. (a) General. Education loans by the Department of Veterans Affairs shall be made by a check payable to the eligible spouse or...) The educational institution, electing to participate in this program, shall deliver an education...

  1. 46 CFR 10.214 - Security Check.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

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

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

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

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

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

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

  7. 20 CFR 653.503 - Field checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... SERVICE SYSTEM Agricultural Clearance Order Activity § 653.503 Field checks. (a) The State agency, through... clearance system. These field checks shall include visit(s) to the worksite at a time when workers are there. Both the employees and the employer shall be consulted, and JS shall determine and document...

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

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

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... AND OPERATIONS OPERATING REQUIREMENTS: COMMUTER AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen... training device for a particular type aircraft. (2) A check airman (simulator) is a person who is...

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... AND OPERATIONS OPERATING REQUIREMENTS: COMMUTER AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen... training device for a particular type aircraft. (2) A check airman (simulator) is a person who is...

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... AND OPERATIONS OPERATING REQUIREMENTS: COMMUTER AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen... training device for a particular type aircraft. (2) A check airman (simulator) is a person who is...

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... AND OPERATIONS OPERATING REQUIREMENTS: COMMUTER AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen... training device for a particular type aircraft. (2) A check airman (simulator) is a person who is...

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... AND OPERATIONS OPERATING REQUIREMENTS: COMMUTER AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen... training device for a particular type aircraft. (2) A check airman (simulator) is a person who is...

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

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

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

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

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

  19. Model Checking as A Reachability Problem

    NASA Astrophysics Data System (ADS)

    Vardi, Moshe Y.

    Model checking is a essentially a graph-searching problem. In automata-theoretic model checking we compose the design under verification with a Büchi automaton that accepts traces violating the specification. We then use graph algorithms to search the product graph for a counterexample trace. The basic theory of this approach was worked out in the 1980s, and the basic algorithms were developed during the 1990s. Both explicit and symbolic implementations, such as SPIN and and SMV, are widely used. It turns out, however, that there are still many gaps in our understanding of the algorithmic issues involved in automata-theoretic model checking. This talk covers the fundamentals of automata-theoretic model checking, reviews recent progress, and outlines areas that require further research.

  20. 14 CFR 135.71 - Airworthiness check.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Flight Operations § 135.71 Airworthiness check. The pilot in command may not begin a flight unless the pilot determines that...

  1. 14 CFR 135.71 - Airworthiness check.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Flight Operations § 135.71 Airworthiness check. The pilot in command may not begin a flight unless the pilot determines that...

  2. 14 CFR 135.71 - Airworthiness check.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Flight Operations § 135.71 Airworthiness check. The pilot in command may not begin a flight unless the pilot determines that...

  3. 14 CFR 135.71 - Airworthiness check.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Flight Operations § 135.71 Airworthiness check. The pilot in command may not begin a flight unless the pilot determines that...

  4. 14 CFR 135.71 - Airworthiness check.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... AND ON DEMAND OPERATIONS AND RULES GOVERNING PERSONS ON BOARD SUCH AIRCRAFT Flight Operations § 135.71 Airworthiness check. The pilot in command may not begin a flight unless the pilot determines that...

  5. Dashpot Damps Oscillations In Check Valve

    NASA Technical Reports Server (NTRS)

    Morris, Brian G.

    1994-01-01

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

  6. Notification: Purchase Card and Convenience Check Audit

    EPA Pesticide Factsheets

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

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

  8. Check out the Atmospheric Science User Forum

    Atmospheric Science Data Center

    2016-11-17

    article title:  Check out the Atmospheric Science User Forum     View larger image ... ASDC would like to bring your attention to the Atmospheric Science User Forum. The purpose of this forum is to improve user service, ...

  9. Check List: Are You a Gifted Principal?

    ERIC Educational Resources Information Center

    Taylor, Vicki L.

    1984-01-01

    An 18-item check list is provided for principals to evaluate themselves relative to encouraging gifts and talents of their most able students. Suggestions are given in the areas of educational needs, specialized materials, and counseling. (MC)

  10. A Check List for the Reading Teacher.

    ERIC Educational Resources Information Center

    Gemake, Josephine S.

    1979-01-01

    Presents a check list created by teachers to be used as an evaluation instrument in observations of reading laboratories in the New York City area. Reflects their ideas about the essential components of a remedial reading program. (FL)

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

  12. 14 CFR 141.37 - Check instructor qualifications.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 14 Aeronautics and Space 3 2014-01-01 2014-01-01 false Check instructor qualifications. 141.37... Requirements § 141.37 Check instructor qualifications. (a) To be designated as a check instructor for conducting student stage checks, end-of-course tests, and instructor proficiency checks under this part,...

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 32 National Defense 1 2011-07-01 2011-07-01 false Standard A-National Agency Check With Local Agency Checks and Credit Check (NACLC) A Attachment A to Subpart B of Part 147 National Defense..., Subpt. B, Att. A Attachment A to Subpart B of Part 147—Standard A—National Agency Check With...

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

  15. Recent improvements in check valve monitoring methods

    SciTech Connect

    Haynes, H.D.

    1991-01-01

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

  16. Recent improvements in check valve monitoring methods

    SciTech Connect

    Haynes, H.D.

    1990-01-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ..., appropriate control system checks, starting procedures, radio and electronic equipment checks, and the... conditions may be substituted for the preflight inspection. If a flight engineer is a required...

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

  19. Selecting representative affective dimensions using Procrustes analysis: an application to mobile phone design.

    PubMed

    Yang, Chih-Chieh; Chang, Hua-Cheng

    2012-11-01

    Collecting affective responses (ARs) from consumers is crucial to designers aspiring to produce an appealing product. Adjectives are frequently used by researchers as an affective means by which consumers can describe their subjective feelings regarding a specific product design. This study proposes a Kansei engineering (KE) approach for selecting representative affective dimensions using factor analysis (FA) and Procrustes analysis (PA). A semantic differential (SD) experiment is used to examine consumers' ARs toward a set of representative product samples. FA is employed to extract the underlying latent factors using an initial set of affective dimensions. A backward elimination process based on PA is used to determine the relative significance of adjectives in each step according to the calculated residual sum of squared differences (RSSDs) to finally obtain the ranking of the initial set of adjectives. Additionally, the results of the proposed approach are compared to the method that combines FA and two-stage cluster analysis (CA). A case study of mobile phone design is provided to demonstrate the analysis results.

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

    ERIC Educational Resources Information Center

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

    2016-01-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Qualifications: Check pilots (aircraft) and check pilots (simulator). 91.1089 Section 91.1089 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION, DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES GENERAL OPERATING AND FLIGHT RULES Fractional...

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

  3. Implementing Check in/Check out for Students with Intellectual Disability in Self-Contained Classrooms

    ERIC Educational Resources Information Center

    Boden, Lauren J.; Ennis, Robin P.; Jolivette, Kristine

    2012-01-01

    Check in/check out (CICO) is a secondary-tier intervention implemented within the framework of schoolwide positive behavior interventions and supports (SWPBIS) that uses school-based contingencies to encourage positive behavior. CICO is a five-step cycle which uses daily progress report cards (DPR) to monitor progress toward schoolwide or…

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

  5. Adaptable Assertion Checking for Scientific Software Components

    SciTech Connect

    Dahlgren, T L; Devanbu, P T

    2004-03-12

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

  6. Software Model Checking for Verifying Distributed Algorithms

    DTIC Science & Technology

    2014-10-28

    Verification procedure is an intelligent exhaustive search of the state space of the design Model Checking 6 Verifying Synchronous Distributed App...Distributed App Sagar Chaki, June 11, 2014 © 2014 Carnegie Mellon University Tool Usage Project webpage (http://mcda.googlecode.com) • Tutorial

  7. Inkjet 3D printed check microvalve

    NASA Astrophysics Data System (ADS)

    Walczak, Rafał; Adamski, Krzysztof; Lizanets, Danylo

    2017-04-01

    3D printing enables fast and relatively easy fabrication of various microfluidic structures including microvalves. A check microvalve is the simplest valve enabling control of the fluid flow in microchannels. Proper operation of the check valve is ensured by a movable element that tightens the valve seat during backward flow and enables free flow for forward pressure. Thus, knowledge of the mechanical properties of the movable element is crucial for optimal design and operation of the valve. In this paper, we present for the first time the results of investigations on basic mechanical properties of the building material used in multijet 3D printing. Specified mechanical properties were used in the design and fabrication of two types of check microvalve—with deflecting or hinge-fixed microflap—with 200 µm and 300 µm thickness. Results of numerical simulation and experimental data of the microflap deflection were obtained and compared. The valves were successfully 3D printed and characterised. Opening/closing characteristics of the microvalve for forward and backward pressures were determined. Thus, proper operation of the check microvalve so developed was confirmed.

  8. Body checking behaviors in anorexia nervosa.

    PubMed

    Calugi, Simona; El Ghoch, Marwan; Dalle Grave, Riccardo

    2017-01-24

    The study aimed to assess the trajectories of change in body checking over time and the change in eating disorder and general psychopathology in patients with anorexia nervosa treated with inpatient enhanced cognitive behavioral therapy (CBT-E). Sixty-six adult patients with anorexia nervosa were recruited from consecutive referrals to a community-based eating disorder clinic. Body mass index, Eating Disorder Examination, Brief Symptom Inventory, and Body Checking Questionnaire (BCQ) scores were recorded at admission (T0), end of treatment (T1), and 6- and 12-month follow-ups (T2 and T3, respectively). The BCQ was also administered at a single time point to an age-matched healthy female comparison participants group (N = 182). In comparison with comparison participants, patients had higher global BCQ scores at T0. However, mean patient scores for global BCQ administered at T1, T2, and T3 were significantly lower than that measured at baseline in the comparison participants group. The change in BCQ was significantly associated to short- and long-term improvements in eating disorder and general psychopathology. The association between change in body checking and the trajectories of change of eating disorder psychopathology supports the potential usefulness of the CBT-E strategy for reducing shape and weight concerns by addressing body checking.

  9. Posterior Predictive Model Checking in Bayesian Networks

    ERIC Educational Resources Information Center

    Crawford, Aaron

    2014-01-01

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

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

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

  12. Regular Check-Ups Are Important

    MedlinePlus

    ... Check Alarm Batteries Know Your Family History Keep Foods Safe Get an HIV Test Wash Hands Stay Warm Have a Healthy Holiday Don't Drink and Drive Widgets Healthy People College Students Families with Special Needs Kids and Teens Express ...

  13. Functional check of telescoping transfer pumps

    SciTech Connect

    Sharpe, C.L.

    1994-04-29

    Activities are defined which constitute a functional check of a telescoping transfer pump (TTP). This report is written to the Procedures group of HLW and particularly applies to those TTP`s which are the sole means of emergency transfer from a HLW waste tank.

  14. Check out the Atmospheric Science User Forum

    Atmospheric Science Data Center

    2016-11-16

    Check out the Atmospheric Science User Forum Tuesday, November 15, 2016 The ASDC would like to bring your attention to the Atmospheric Science User Forum. The purpose of this forum is to improve user service, quality, and efficiency of NASA atmospheric science data. The forum intends to provide a quick and easy way to facilitate ...

  15. Parametric Model Checking with VerICS

    NASA Astrophysics Data System (ADS)

    Knapik, Michał; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Zbrzezny, Andrzej

    The paper presents the verification system verICS, extended with the three new modules aimed at parametric verification of Elementary Net Systems, Distributed Time Petri Nets, and a subset of UML. All the modules exploit Bounded Model Checking for verifying parametric reachability and the properties specified in the logic PRTECTL - the parametric extension of the existential fragment of CTL.

  16. The Value of Guess and Check

    ERIC Educational Resources Information Center

    Guerrero, Shannon M.

    2010-01-01

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

  17. 31 CFR 235.4 - Check Forgery Insurance Fund.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  18. Using a Blog to Guide Beginner Students to Use Adjectives Appropriately When Writing Descriptions in English (El uso de una bitácora o "blog" para guiar a estudiantes principiantes en el uso apropiado de los adjetivos cuando escriben descripciones en inglés)

    ERIC Educational Resources Information Center

    Lizarazo Jara, Omar Yesid

    2012-01-01

    Beginner students often have difficulties using adjectives when they write descriptions in English. This article focuses on the procedures used to help my sixth grade students understand and use adjectives in the correct order by using a blog. To achieve the objective of the project I decided to implement an innovation in and out of class…

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

  9. The B4 school check behaviour measures: findings from the Hawke's Bay evaluation.

    PubMed

    Hedley, Cath; Thompson, Shona; Morris Matthews, Kay; Pentecost, Mandy; Wivell, Judy; Frost, Ariana Stockdale; Morris, Helen

    2012-11-01

    The Before (B4) School Check is a free health and development check delivered by specifically trained nurses to four year old children throughout New Zealand, aimed to identify and address any health, behavioural, social or developmental concerns that could affect a child's ability to get the most benefit from school. Reported here are the results of an evaluation of the B4 School Checks in Hawke's Bay, focusing specifically on children assessed at the 84 School Check with behaviour issues as determined by the Strengths and Difficulties Questionnaire (SDQ). Health Hawke's Bay (HHB) records were reviewed to understand the number and demographics of the children assessed with behaviour issues at the B4 School Checks up to 31 August 2011, and the interventions to which they were referred. Telephone Interviews were conducted with 36 parents/caregivers of these children to address the questions, what difference did the B4 School Check make to children assessed with behaviour issues and what aspects of the B4 School Check delivery contributed to successful outcomes for these children? Results showed that child behaviour issues in Hawke's Bay were identified in more boys than girls and concentrated in more deprived families. Māori children were represented in numbers disproportional to the regional population. The majority of referrals for child behaviour directed parents/caregivers to non-governmental organisations for family support and parenting programmes. Thematic analysis was applied to the qualitative data derived from the interviews with parents/caregivers and results indicated high levels of satisfaction with the B4 School Check for behaviour and the referred outcomes. Implications for nursing practice arise from these findings in that they identify factors which contribute to what does and does not work well for achieving successful outcomes from the B4 School Check for behaviour.

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Agency Checks and Credit Check (NACLC) A Attachment A to Subpart B of Part 147 National Defense..., Subpt. B, Att. A Attachment A to Subpart B of Part 147—Standard A—National Agency Check With Local...) from the date of, the previous investigation or reinvestigation. (Attachment D to this subpart, Table...

  11. Apparatus for checking dimensions of workpieces

    DOEpatents

    Possati, Mario; Golinelli, Guido

    1992-01-01

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

  12. Recollection, belief and metacognition: a reality check.

    PubMed

    Blank, Hartmut

    2016-10-15

    Non-believed autobiographical memories [e.g. Mazzoni, G., Scoboria, A., & Harvey, L. (2010). Nonbelieved memories. Psychological Science, 21, 1334-1340] are striking examples of divergences between recollective experiences and beliefs in their correspondence to real events. After reviewing a broader range of similar phenomena, I argue that recollection-belief divergences can arise from normal, "healthy" metacognitive monitoring and control processes that balance memory recollections and reality constraints. Such validating "reality checks" draw on general world knowledge and external/social information. Importantly, changes in (perceived) reality constraints can lead to changes in memory beliefs. More generally, both recollection and (external) reality are keys to the past. In many cases, more or less automatic (System 1-type) reliance on recollection is sufficient (or memory would be useless as a system), but sometimes more elaborate (System 2-type) reality checks are needed. I conclude with some ideas about memory-driven and reality-driven recollection-belief divergences.

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

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

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

  16. Delivery quality assurance with ArcCHECK

    SciTech Connect

    Neilson, Christopher; Klein, Michael; Barnett, Rob; Yartsev, Slav

    2013-04-01

    Radiation therapy requires delivery quality assurance (DQA) to ensure that treatment is accurate and closely follows the plan. We report our experience with the ArcCHECK phantom and investigate its potential optimization for the DQA process. One-hundred seventy DQA plans from 84 patients were studied. Plans were classified into 2 groups: those with the target situated on the diodes of the ArcCHECK (D plans) and those with the target situated at the center (C plans). Gamma pass rates for 8 target sites were examined. The parameters used to analyze the data included 3%/3 mm with the Van Dyk percent difference criteria (VD) on, 3%/3 mm with the VD off, 2%/2 mm with the VD on, and x/3 mm with the VD on and the percentage dosimetric agreement “x” for diode plans adjusted. D plans typically displayed maximum planned dose (MPD) on the cylindrical surface containing ArcCHECK diodes than center plans, resulting in inflated gamma pass rates. When this was taken into account by adjusting the percentage dosimetric agreement, C plans outperformed D plans by an average of 3.5%. ArcCHECK can streamline the DQA process, consuming less time and resources than radiographic films. It is unnecessary to generate 2 DQA plans for each patient; a single center plan will suffice. Six of 8 target sites consistently displayed pass rates well within our acceptance criteria; the lesser performance of head and neck and spinal sites can be attributed to marginally lower doses and increased high gradient of plans.

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

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

  19. Elucidating semantic disorganisation from a word comprehension task: do patients with schizophrenia and bipolar disorder show differential processing of nouns, verbs and adjectives?

    PubMed

    Rossell, Susan L; Batty, Rachel A

    2008-07-01

    Memory deficits have been reported in schizophrenia and bipolar disorder. However, the precise impact of semantic memory deficits on word comprehension, particularly across grammatical categories, has not been adequately investigated in these disorders. Furthermore, previous studies examining semantic memory have predominantly been designed so that most healthy controls perform at ceiling, questioning the validity of observed differences between patient and control groups. A new word definition task examined word comprehension across grammatical categories, i.e. nouns, verbs and adjectives, and was designed to overcome the ceiling effect. It was administered to 32 schizophrenia patients, 28 bipolar disorder patients and 32 matched healthy controls. Schizophrenia patients had a global impairment on the task but bipolar patients were only impaired on a recognition memory component. Word comprehension, however, across grammatical categories was comparable across groups.

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

  1. 32 CFR 147.24 - The national agency check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Standards § 147.24 The national agency check. The National Agency Check is a part of all investigations and reinvestigations. It consists of a review of; (a) Investigative and criminal history files of the FBI, including...

  2. Quantum anonymous voting with anonymity check

    NASA Astrophysics Data System (ADS)

    Horoshko, Dmitri; Kilin, Sergei

    2011-02-01

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

  3. Check valve with poppet damping mechanism

    NASA Technical Reports Server (NTRS)

    Morris, Brian G. (Inventor)

    1993-01-01

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

  4. Check valve with poppet damping mechanism

    NASA Astrophysics Data System (ADS)

    Morris, Brian G.

    1993-08-01

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

  5. Check valve with poppet damping mechanism

    NASA Astrophysics Data System (ADS)

    Morris, Brian G.

    1992-06-01

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

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

  7. 40 CFR 1065.341 - CVS and batch sampler verification (propane check).

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... (CONTINUED) AIR POLLUTION CONTROLS ENGINE-TESTING PROCEDURES Calibrations and Verifications Flow-Related... from the piping configuration upstream of the flow meter adversely affect the flow measurement. (7... measurements and CVS flow rate measurements with the reference value. (c) Prepare for the propane check...

  8. 40 CFR 1065.341 - CVS, PFD, and batch sampler verification (propane check).

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... AGENCY (CONTINUED) AIR POLLUTION CONTROLS ENGINE-TESTING PROCEDURES Calibrations and Verifications Flow... from the piping configuration upstream of the flow meter adversely affect the flow measurement. (7... measurements and CVS flow rate measurements with the reference value. (c) Prepare for the propane check...

  9. 40 CFR 1065.341 - CVS and batch sampler verification (propane check).

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... (CONTINUED) AIR POLLUTION CONTROLS ENGINE-TESTING PROCEDURES Calibrations and Verifications Flow-Related... from the piping configuration upstream of the flow meter adversely affect the flow measurement. (7... measurements and CVS flow rate measurements with the reference value. (c) Prepare for the propane check...

  10. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... TSA checks. (a) The initial TSA check may cover the applicant's needs for the first calendar month. If the first calendar month is a partial month, the check will cover the needs for the partial month and... accordance with the detailed budget, including amendments, as approved by FmHA or its successor agency...

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

    Code of Federal Regulations, 2010 CFR

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

  13. 7 CFR 1944.540 - Requesting TSA checks.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... TSA checks. (a) The initial TSA check may cover the applicant's needs for the first calendar month. If the first calendar month is a partial month, the check will cover the needs for the partial month and... accordance with the detailed budget, including amendments, as approved by FmHA or its successor agency...

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

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

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 42 Public Health 1 2013-10-01 2013-10-01 false The student's loan check. 60.52 Section 60.52... ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a HEAL lender a loan disbursement check or draft payable jointly to the school and to one of its students,...

  16. 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... ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a HEAL lender a loan disbursement check or draft payable jointly to the school and to one of its students,...

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

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 42 Public Health 1 2012-10-01 2012-10-01 false The student's loan check. 60.52 Section 60.52... ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a HEAL lender a loan disbursement check or draft payable jointly to the school and to one of its students,...

  18. 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... ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a HEAL lender a loan disbursement check or draft payable jointly to the school and to one of its students,...

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

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 42 Public Health 1 2014-10-01 2014-10-01 false The student's loan check. 60.52 Section 60.52... ASSISTANCE LOAN PROGRAM The School § 60.52 The student's loan check. (a) When a school receives from a HEAL lender a loan disbursement check or draft payable jointly to the school and to one of its students,...

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Presentment and issuance of checks. 229.36 Section 229.36 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Collection of Checks §...

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

  3. 31 CFR 240.12 - Processing of checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  4. 42 CFR 455.19 - Provider's statement on check.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 4 2010-10-01 2010-10-01 false Provider's statement on check. 455.19 Section 455.19 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES... checks or warrants payable to each provider: “I understand in endorsing or depositing this check...

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

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

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

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

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

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

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-05

    ... availability checks and local checks in Regulation CC to delete the reference to the head office of the Federal... office to the head office of the Federal Reserve Bank of Cleveland. These amendments reflect the... the check- processing operations of the head office of the Federal Reserve Bank of Atlanta to the...

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

  11. 42 CFR 455.436 - Federal database checks.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

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

  12. 42 CFR 455.436 - Federal database checks.

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

  13. 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... interest or who is an agent or managing employee of the provider through routine checks of...

  14. Preventive Maintenance Checks and Services (PMCS). Do We Check Too Much and Maintain Too Little

    DTIC Science & Technology

    1990-03-26

    They were similar to the trucks and tractors that many soldiers had back home on the farms . Since the U.S. was predominantly a rural society then, the...of an item requiring before-operation checks would render the :t m - iot mission-capable. Currently there are over 200 PMCS checks on the new Abrams...ensure that we are maintaining our vehicles in a go-to-war condition and that we are doing it the smart way. Our system requires significant changes

  15. ID-Check: Online Concealed Information Test Reveals True Identity.

    PubMed

    Verschuere, Bruno; Kleinberg, Bennett

    2016-01-01

    The Internet has already changed people's lives considerably and is likely to drastically change forensic research. We developed a web-based test to reveal concealed autobiographical information. Initial studies identified a number of conditions that affect diagnostic efficiency. By combining these moderators, this study investigated the full potential of the online ID-check. Participants (n = 101) tried to hide their identity and claimed a false identity in a reaction time-based Concealed Information Test. Half of the participants were presented with personal details (e.g., first name, last name, birthday), whereas the others only saw irrelevant details. Results showed that participants' true identity could be detected with high accuracy (AUC = 0.98; overall accuracy: 86-94%). Online memory detection can reliably and validly detect whether someone is hiding their true identity. This suggests that online memory detection might become a valuable tool for forensic applications.

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

  17. Possibility of checking the magnetic properties of ultrathin electrical steel strip during production

    SciTech Connect

    Korzunin, G.S.; Alekseev, V.A.; Rimshev, F.F.

    1995-12-01

    The possibility of making a final check of the magnetic properties of ultrathin electrical steel strip during production at the Ashina Metallurgical Works by using existing texturometers, which have proven themselves well in checking the uniformity of the properties of thick steel, or by direct measurement of the principal operating characteristics of steel (the energy loss due to magnetic reversal and the value of the magnetic induction). We consider how the degree of perfection of the crystallographic texture are related to the magnetic properties of thin strip and how the results of measurements of those properties are affected by the inevitable tension of the strip during production.

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

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... check airmen (simulator). 121.411 Section 121.411 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... certificates and ratings required to serve as a pilot in command, a flight engineer, or a flight navigator, as..., flight engineer, or flight navigator, as applicable, in operations under this part; (3)...

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

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... check airmen (simulator). 121.411 Section 121.411 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... pilot in command, a flight engineer, or a flight navigator, as applicable, in operations under this part... recurrent training, that are required to serve as a pilot in command, flight engineer, or flight...

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

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... check airmen (simulator). 121.411 Section 121.411 Aeronautics and Space FEDERAL AVIATION ADMINISTRATION... certificates and ratings required to serve as a pilot in command, a flight engineer, or a flight navigator, as..., flight engineer, or flight navigator, as applicable, in operations under this part; (3)...

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

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

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

  4. Study on Information Fusion Based Check Recognition System

    NASA Astrophysics Data System (ADS)

    Wang, Dong

    Automatic check recognition techniques play an important role in financial systems, especially in risk management. This paper presents a novel check recognition system based on multi-cue information fusion theory. For Chinese bank check, the amount can be independently determined by legal amount, courtesy amount, or E13B code. The check recognition algorithm consists of four steps: preprocessing, check layout analysis, segmentation and recognition, and information fusion. For layout analysis, an adaptive template matching algorithm is presented to locate the target recognition regions on the check. The hidden markov model is used to segment and recognize legal amount. Courtesy and E13B code are recognized by artificial neural network method, respectively. Finally, D-S evidence theory is then introduced to fuse above three recognition results for better recognition performance. Experimental results demonstrate that the system can robustly recognize checks and the information fusion based algorithm improves the recognition rate by 5~10 percent.

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

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

  7. The Mars Science Laboratory Organic Check Material

    NASA Technical Reports Server (NTRS)

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

    2011-01-01

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

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

  9. The Mars Science Laboratory Organic Check Material

    NASA Astrophysics Data System (ADS)

    Conrad, Pamela G.; Eigenbrode, Jennifer L.; Von der Heydt, Max O.; Mogensen, Claus T.; Canham, John; Harpold, Dan N.; Johnson, Joel; Errigo, Therese; Glavin, Daniel P.; Mahaffy, Paul R.

    2012-09-01

    Mars Science Laboratory's Curiosity rover carries a set of five external verification standards in hermetically sealed containers that can be sampled as would be a Martian rock, by drilling and then portioning into the solid sample inlet of the Sample Analysis at Mars (SAM) suite. Each organic check material (OCM) canister contains a porous ceramic solid, which has been doped with a fluorinated hydrocarbon marker that can be detected by SAM. The purpose of the OCM is to serve as a verification tool for the organic cleanliness of those parts of the sample chain that cannot be cleaned other than by dilution, i.e., repeated sampling of Martian rock. SAM possesses internal calibrants for verification of both its performance and its internal cleanliness, and the OCM is not used for that purpose. Each OCM unit is designed for one use only, and the choice to do so will be made by the project science group (PSG).

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

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

  12. An answer checking method for quantum annealers

    NASA Astrophysics Data System (ADS)

    Perera, Dilina; Novotny, M. A.

    2016-09-01

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

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

  14. [Helsinki Declaration on Patient Safety in Anaesthesiology--Part 8: SOP for checking equipment and drugs].

    PubMed

    Happel, Oliver; Roewer, Norbert; Kranke, Peter

    2013-09-01

    In 2010 the Helsinki Declaration on Patient Safety in Anaesthesiology was launched. In this joined statement under the auspice of the European Society of Anaesthesiology the need for protocols for different aspects of perioperative procedures that could affect patient safety was stated. All participating institutions should have--among others--protocols for checking equipment and drugs required for the delivery of safe anaesthesia. The background for this being the fact that the lack of carefully checking equipment and drugs--or not adhering to existing checklists--is a latent threat to patient safety and thus may increase morbidity and mortality.In this part of a series the authors present protocols existing in their clinic for checking anaesthesia equipment and drugs.

  15. Feasibility and accuracy of medication checks via Internet video.

    PubMed

    Bradford, Natalie; Armfield, Nigel R; Young, Jeanine; Smith, Anthony C

    2012-04-01

    We investigated the feasibility and accuracy of using Internet-based videoconferencing for double-checking medications. Ten participants checked 30 different medications using a desktop PC and a webcam. The accuracy of the video-based checks was compared with 'face-to-vial' checks. The checks included the drug name, dosage and expiry dates of ampoules, vials and tablets, as well as graduations on syringes. There was 100% accuracy for drug name, dosage, and graduations on syringes greater than 1 unit. The expiry dates proved more difficult to read, and accuracy was only 63%. The mean overall accuracy was 91% for all items. Internet video-based medication double-checks may have a useful role to play in processes to ensure the safe use of medications in home care.

  16. Analyzing Tabular Requirements Specifications Using Infinite State Model Checking

    DTIC Science & Technology

    2006-01-01

    two-state properties that hold in every reachable transition. Property Checking with Salsa . The SCR property checker Salsa [5] may be used to check...SCR specifications for Dis- jointness and Coverage and for satisfaction of state and tran- sition invariants. Salsa can check the validity of formulas...TAME and Salsa . 3. Action Language Verifier Action Language is a specification language for reactive software systems. The Action Language Verifier

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

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

  19. CFD analysis of a ball check microvalve

    NASA Astrophysics Data System (ADS)

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

    2015-02-01

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

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

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

  2. Present-self, past-self and the close-other: neural correlates of assigning trait adjectives to oneself and others.

    PubMed

    Kotlewska, Ilona; Nowicka, Anna

    2016-08-01

    Information regarding the past-self may be viewed as information referring to other people. However, evidence supporting this notion at the neural level is rather sparse and it remains unclear whether the past-self is processed like any 'other' or like the close-other only. The aim of this event-related potential study was to investigate this issue. A reflection task requiring evaluation of positive and negative trait adjectives with respect to present- and past-self, a close-other and a famous person was applied. We hypothesized that the past-self and close-other conditions would share their neural underpinnings. The process of reflection on the past-self and close-other was indeed associated with similar mean amplitudes of the late positive component (LPC), whereas in the case of the past-self vs. famous person comparison LPC was significantly enhanced for the past-self. Analogous effects were observed when LPC was calculated for trials with traits judged as either suitable or unsuitable to describe a person who was the target of reflection. Thus, these findings suggest that the processing of information related to the past-self resembles processing of information related to a personally relevant other. Moreover, sex-differences were observed in reaction times and LPC amplitudes for responses reflecting the positivity bias.

  3. A cost-benefit analysis of alternative device configurations for aviation-checked baggage security screening.

    PubMed

    Jacobson, Sheldon H; Karnani, Tamana; Kobza, John E; Ritchie, Lynsey

    2006-04-01

    The terrorist attacks of September 11, 2001 have resulted in dramatic changes in aviation security. As of early 2003, an estimated 1,100 explosive detection systems (EDS) and 6,000 explosive trace detection machines (ETD) have been deployed to ensure 100% checked baggage screening at all commercial airports throughout the United States. The prohibitive costs associated with deploying and operating such devices is a serious issue for the Transportation Security Administration. This article evaluates the cost effectiveness of the explosive detection technologies currently deployed to screen checked baggage as well as new technologies that could be used in the future. Both single-device and two-device systems are considered. In particular, the expected annual direct cost of using these devices for 100% checked baggage screening under various scenarios is obtained and the tradeoffs between using single- and two-device strategies are studied. The expected number of successful threats under the different checked baggage screening scenarios with 100% checked baggage screening is also obtained. Lastly, a risk-based screening strategy proposed in the literature is analyzed. The results reported suggest that for the existing security setup, with current device costs and probability parameters, single-device systems are less costly and have fewer expected number of successful threats than two-device systems due to the way the second device affects the alarm or clear decision. The risk-based approach is found to have the potential to significantly improve security. The cost model introduced provides an effective tool for the execution of cost-benefit analyses of alternative device configurations for aviation-checked baggage security screening.

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ....120 NDIR analyzer calibration and checks. (a) NDIR water rejection ratio check. (1) Zero and span the analyzer on the lowest range that will be used. (2) Introduce a saturated mixture of water and zero gas at...) of this section, determine the saturation vapor pressure. (7) Calculate the water concentration...

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

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ....120 NDIR analyzer calibration and checks. (a) NDIR water rejection ratio check. (1) Zero and span the analyzer on the lowest range that will be used. (2) Introduce a saturated mixture of water and zero gas at...) of this section, determine the saturation vapor pressure. (7) Calculate the water concentration...

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

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ....120 NDIR analyzer calibration and checks. (a) NDIR water rejection ratio check. (1) Zero and span the analyzer on the lowest range that will be used. (2) Introduce a saturated mixture of water and zero gas at...) of this section, determine the saturation vapor pressure. (7) Calculate the water concentration...

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

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ....120 NDIR analyzer calibration and checks. (a) NDIR water rejection ratio check. (1) Zero and span the analyzer on the lowest range that will be used. (2) Introduce a saturated mixture of water and zero gas at...) of this section, determine the saturation vapor pressure. (7) Calculate the water concentration...

  8. The Coat Check Problem: A S(t)imulating Lesson

    ERIC Educational Resources Information Center

    Pagni, David L.

    2007-01-01

    This article engages students in a simulation of the Coat Check problem, in which four women check their coats only to have them returned at random. Students examine the experimental and theoretical probability of at least one woman getting her own coat back.

  9. 31 CFR 240.11 - Treasury Check Offset.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Treasury Check Offset. 240.11 Section 240.11 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...

  10. 31 CFR 10.31 - Negotiation of taxpayer checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

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

  12. 31 CFR 245.7 - Check status inquiry.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 31 Money and Finance:Treasury 2 2011-07-01 2011-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 FINANCIAL MANAGEMENT SERVICE CLAIMS ON ACCOUNT OF TREASURY CHECKS § 245.7...

  13. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2013 CFR

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

  14. 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.317 Protection of Environment ENVIRONMENTAL PROTECTION AGENCY (CONTINUED) AIR PROGRAMS (CONTINUED..., the chemiluminescent oxides of nitrogen analyzer shall be checked for NO2 to NO converter...

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 11 Federal Elections 1 2010-01-01 2010-01-01 false Stale-dated committee checks. 9007.6 Section 9007.6 Federal Elections FEDERAL ELECTION COMMISSION PRESIDENTIAL ELECTION CAMPAIGN FUND: GENERAL ELECTION FINANCING EXAMINATIONS AND AUDITS; REPAYMENTS § 9007.6 Stale-dated committee checks. If...

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

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

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

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

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

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

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

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

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

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ...) FISCAL SERVICE, DEPARTMENT OF THE TREASURY FINANCIAL MANAGEMENT SERVICE INDORSEMENT AND PAYMENT OF CHECKS.... (c) Handling of checks when a certifying agency learns, after the issuance of a recurring benefit..., issued after a payee's death, is not payable. As a consequence, when a certifying agency learns that...

  8. Posterior Predictive Model Checking for Multidimensionality in Item Response Theory

    ERIC Educational Resources Information Center

    Levy, Roy; Mislevy, Robert J.; Sinharay, Sandip

    2009-01-01

    If data exhibit multidimensionality, key conditional independence assumptions of unidimensional models do not hold. The current work pursues posterior predictive model checking, a flexible family of model-checking procedures, as a tool for criticizing models due to unaccounted for dimensions in the context of item response theory. Factors…

  9. 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... (CONTINUED) AIR TRAFFIC AND GENERAL OPERATING RULES GENERAL OPERATING AND FLIGHT RULES Fractional Ownership Operations Program Management § 91.1051 Pilot safety background check. Within 90 days of an...

  10. 45 CFR 201.70 - Treatment of replacement checks.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 45 Public Welfare 2 2010-10-01 2010-10-01 false Treatment of replacement checks. 201.70 Section 201.70 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE... STATES FOR PUBLIC ASSISTANCE PROGRAMS Review and Audits § 201.70 Treatment of replacement checks....

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

  12. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 26 Internal Revenue 18 2010-04-01 2010-04-01 false Bad checks. 301.6657-1 Section 301.6657-1... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided in... district director that it was tendered in good faith with reasonable cause to believe that it would be...

  13. 26 CFR 301.6657-1 - Bad checks.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... 26 Internal Revenue 18 2011-04-01 2011-04-01 false Bad checks. 301.6657-1 Section 301.6657-1... Additions to the Tax and Additional Amounts § 301.6657-1 Bad checks. (a) In general. Except as provided in... district director that it was tendered in good faith with reasonable cause to believe that it would be...

  14. Check Relay: Controls in Place Comply With Federal Reserve Guidelines

    DTIC Science & Technology

    2001-12-01

    step in the nation’s payment system. This report discusses the management of the air transportation network used by the Federal Reserve System to...transport checks from one Federal Reserve office to another. The Federal Reserve System, a major provider of check collection services for banks, uses

  15. 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... analyzer CO 2 quench check. (i) Pass a CO2 span gas having a concentration of 80 percent to 100 percent of... CO2 concentration (percent) b = Diluted CO2 concentration (percent) c = Diluted NO concentration...

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

    Code of Federal Regulations, 2012 CFR

    2012-04-01

    ... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall apply to every registration statement filed under the Act relating to an offering by a blank check...

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

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall apply to every registration statement filed under the Act relating to an offering by a blank check...

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

    Code of Federal Regulations, 2014 CFR

    2014-04-01

    ... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall apply to every registration statement filed under the Act relating to an offering by a blank check...

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

    Code of Federal Regulations, 2013 CFR

    2013-04-01

    ... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall apply to every registration statement filed under the Act relating to an offering by a blank check...

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

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... companies. 230.419 Section 230.419 Commodity and Securities Exchanges SECURITIES AND EXCHANGE COMMISSION... check companies. (a) Scope of the rule and definitions. (1) The provisions of this section shall apply to every registration statement filed under the Act relating to an offering by a blank check...

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

    ERIC Educational Resources Information Center

    Manpower Administration (DOL), Washington, DC.

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

  2. 40 CFR 86.328-79 - Leak checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... percent of the in-use flow rate for the portion of the system being checked. the analyzer flows and bypass flows may be used to estimate the in-use flow rates. (3) The sample probe and the connection between the... check. (1) The maximum allowable leakage rate on the pressure side in 5 percent of the in-use flow...

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 16 Commercial Practices 1 2010-01-01 2010-01-01 false Checking customer's use of payments. 240.12... ADVERTISING ALLOWANCES AND OTHER MERCHANDISING PAYMENTS AND SERVICES § 240.12 Checking customer's use of... are furnished and that the seller is not overpaying for them. The customer should expend the...

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

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

    PubMed

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

    2013-11-15

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

  6. Algorithm design for automated transportation photo enforcement camera image and video quality diagnostic check modules

    NASA Astrophysics Data System (ADS)

    Raghavan, Ajay; Saha, Bhaskar

    2013-03-01

    Photo enforcement devices for traffic rules such as red lights, toll, stops, and speed limits are increasingly being deployed in cities and counties around the world to ensure smooth traffic flow and public safety. These are typically unattended fielded systems, and so it is important to periodically check them for potential image/video quality problems that might interfere with their intended functionality. There is interest in automating such checks to reduce the operational overhead and human error involved in manually checking large camera device fleets. Examples of problems affecting such camera devices include exposure issues, focus drifts, obstructions, misalignment, download errors, and motion blur. Furthermore, in some cases, in addition to the sub-algorithms for individual problems, one also has to carefully design the overall algorithm and logic to check for and accurately classifying these individual problems. Some of these issues can occur in tandem or have the potential to be confused for each other by automated algorithms. Examples include camera misalignment that can cause some scene elements to go out of focus for wide-area scenes or download errors that can be misinterpreted as an obstruction. Therefore, the sequence in which the sub-algorithms are utilized is also important. This paper presents an overview of these problems along with no-reference and reduced reference image and video quality solutions to detect and classify such faults.

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

    ERIC Educational Resources Information Center

    Michell, Bryan

    2012-01-01

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

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

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

    ERIC Educational Resources Information Center

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

    2015-01-01

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

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

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Routing Number Guide to Next-Day Availability Checks and Local Checks A Appendix A to Part 229 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF...

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

    ERIC Educational Resources Information Center

    McDaniel, Sara C.; Bruhn, Allison L.

    2016-01-01

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

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

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

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

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

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

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

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

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

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

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

    MedlinePlus

    ... Looking for Health Lessons? Visit KidsHealth in the Classroom What Other Parents Are Reading Your Child's Development ( ... under control, checking them according to the diabetes management plan will help you and your child: feel ...

  3. Developments of the in-check platform for diagnostic applications

    NASA Astrophysics Data System (ADS)

    Palmieri, Michele; Alessi, Enrico; Conoci, Sabrina; Marchi, Mauro; Panvini, Gaetano

    2008-02-01

    In-Check is STMicroelectronics proprietary platform for molecular diagnostics. In-Check lays its foundations on the monolithic integration of microelectronics and micromachining technology MEMS, with microfluidic and optical features, bio-chemical surface functionalization and molecular biology. It comprises a core lab-on-chip device, control and reading instrumentation, a complete suite of software modules, and application protocols. Leveraging on such capabilities, In-Check enables fast, highly sensitive and specific, multi-analytical capability of nucleic acid analysis. The platform provides a unique combination of nucleic acid amplification, by polymerase-chain-reaction and target identification and typing by DNA microarray. These integrated biological functionalities together with top quality standard and process control are key features for a platform to be accepted by the highly demanding modern medical diagnostic. This paper describes recent developments of In-Check and some core biological characterizations.

  4. FRONT DETAIL OF RIGHT ENGINE AND WING. MECHANICS CHECK METAL ...

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

    FRONT DETAIL OF RIGHT ENGINE AND WING. MECHANICS CHECK METAL CHIP DETECTOR ON RIGHT ENGINE. THE LEADING EDGE FLAPS ON THE RIGHT WING ARE DOWN PRIOR TO LUBRICATION. - Greater Buffalo International Airport, Maintenance Hangar, Buffalo, Erie County, NY

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

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

  7. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2014 CFR

    2014-07-01

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

  8. 40 CFR 89.318 - Analyzer interference checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

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

  10. Low leak rate poppet-and-seat check valve

    NASA Technical Reports Server (NTRS)

    Whitten, D. E.

    1970-01-01

    Valve leakage due to contaminant entrapment and chattering is effectively minimized by a metallic poppet-and-seat check valve designed for use in extreme environmental and fluid temperature conditions.

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

    Code of Federal Regulations, 2010 CFR

    2010-01-01

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

  12. Exercise: When to Check with Your Doctor First

    MedlinePlus

    Healthy Lifestyle Fitness Keeping physically active is key to a healthy lifestyle. But sometimes it's best to check with your ... 11, 2016 Original article: http://www.mayoclinic.org/healthy-lifestyle/fitness/in-depth/exercise/art-20047414 . Mayo Clinic ...

  13. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2013 CFR

    2013-07-01

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

  14. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

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

  15. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

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

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

  17. 40 CFR 86.884-11 - Instrument checks.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  18. An Item Factor Analysis of the Mooney Problem Check List

    ERIC Educational Resources Information Center

    Stewart, David W.; Deiker, Thomas

    1976-01-01

    Explores the factor structure of the Mooney Problem Check List (MPCL) at the junior and senior high school level by undertaking a large obverse factor analysis of item responses in three adolescent criterion groups. (Author/DEP)

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

  20. 3. WEST ELEVATION, SHOWING CHECK WEIGHMAN'S ROOM (LEFT CENTER), CONVEYOR ...

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

    3. WEST ELEVATION, SHOWING CHECK WEIGHMAN'S ROOM (LEFT CENTER), CONVEYOR MOTOR ROOM (RIGHT CENTER) AND CONVEYOR (RIGHT), LOOKING SOUTHEAST - Nuttallburg Mine Complex, Headhouse, North side of New River, 2.7 miles upstream from Fayette Landing, Lookout, Fayette County, WV

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

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

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

  4. Student criminal background checks in colleges of allied health.

    PubMed

    Wyatt, Diane; Aziz, Hassan; Mahoney, Sherry; Gilman, Frances H

    2008-01-01

    The demand that criminal background checks be performed for students in allied health schools and programs has soared in recent years. The need for criminal background checks on students entering the health care professions has emerged as a critical issue largely due to requirements by clinical affiliate training sites. The Joint Commission published a standard stating, "for staff, students and volunteers who work in the same capacity as staff who provide care, treatment, and services, at Elements of Performance 5 states criminal background checks are verified when required by law and regulation and organization policy." More simply stated, this means that criminal background check records must be verifiable if required by some authoritative entity such as state law. However, whether by misinterpretation of the standard or through conscious decision by organization policy makers, many health care organizations suddenly began to require criminal background checks as part of their affiliation agreements with health related schools or programs. The focus of this study was to identify current practices of allied health institutions regarding their conduct of criminal background checks on students entering the allied health professions.

  5. Radioactive check sources for alpha and beta sensitive radiological instrumentation

    SciTech Connect

    Barnett, J.M.; Kane, J.E. II

    1994-06-01

    Since 1991, the Westinghouse Hanford Company has examined the construction and use of alpha and beta radioactive check sources for calibrating instruments and for performing response checks of instruments used for operational and environmental radiation detection. The purpose of using a radioactive check source is to characterize the response of a radiation monitoring instrument in the presence of radioactivity. To accurately calibrate the instrument and check its response, the check source used must emulate as closely as possible the actual physical and isotopic conditions being monitored. The isotope employed and the physical methods used to fabricate the check source (among other factors) determine instrument response. Although information from applicable national and international standards, journal articles, books, and government documents was considered, empirical data collected is most valuable when considering the type of source to use for a particular application. This paper presents source construction methods, use considerations, and standard recommendations. The results of a Hanford Site evaluation of several types of alpha and beta sources are also given.

  6. Nencki Affective Word List (NAWL): the cultural adaptation of the Berlin Affective Word List-Reloaded (BAWL-R) for Polish.

    PubMed

    Riegel, Monika; Wierzba, Małgorzata; Wypych, Marek; Żurawski, Łukasz; Jednoróg, Katarzyna; Grabowska, Anna; Marchewka, Artur

    2015-12-01

    In the present article, we introduce the Nencki Affective Word List (NAWL), created in order to provide researchers with a database of 2,902 Polish words, including nouns, verbs, and adjectives, with ratings of emotional valence, arousal, and imageability. Measures of several objective psycholinguistic features of the words (frequency, grammatical class, and number of letters) are also controlled. The database is a Polish adaptation of the Berlin Affective Word List-Reloaded (BAWL-R; Võ et al., Behavior Research Methods 41:534-538, 2009), commonly used to investigate the affective properties of German words. Affective normative ratings were collected from 266 Polish participants (136 women and 130 men). The emotional ratings and psycholinguistic indexes provided by NAWL can be used by researchers to better control the verbal materials they apply and to adjust them to specific experimental questions or issues of interest. The NAWL is freely accessible to the scientific community for noncommercial use as supplementary material to this article.

  7. Monitor Unit Checking in Heterogeneous Stereotactic Body Radiotherapy Treatment Planning

    SciTech Connect

    Higgins, Patrick D.; Adolfson, Troy; Cho, L. Chinsoo; Saxena, Rishik

    2011-10-01

    Treatment of lung cancer using very-high-dose fractionation in small fields requires well-tested dose modeling, a method for density-averaging compound targets constructed from different parts of the breathing cycle, and monitor unit verification of the heterogeneity-corrected treatment plans. The quality and safety of each procedure are dependent on these factors. We have evaluated the dosimetry of our first 26 stereotactic body radiotherapy (SBRT) patients, including 260 treatment fields, planned with the Pinnacle treatment planning system. All targets were combined from full expiration and inspiration computed tomography scans and planned on the normal respiration scan with 6-MV photons. Combined GTVs (cGTVs) have been density-averaged in different ways for comparison of the effect on total monitor units. In addition, we have compared planned monitor units against hand calculations using 2 classic 1D correction methods: (1) effective attenuation and (2) ratio of Tissue-Maximum Ratios (TMRs) to determine the range of efficacy of simple verification methods over difficult-to-perform measurements. Different methods of density averaging for combined targets have been found to have minimal impact on total dose as evidenced by the range of total monitor units generated for each method. Nondensity-corrected treatment plans for the same fields were found to require about 8% more monitor units on average. Hand calculations, using the effective attenuation method were found to agree with Pinnacle calculations for nonproblematic fields to within {+-}10% for >95% of the fields tested. The ratio of TMRs method was found to be unacceptable. Reasonable choices for density-averaging of cGTVs using full inspiration/expiration scans should not strongly affect the planning dose. Verification of planned monitor units, as a check for problematic fields, can be done for 6-MV fields with simple 1D effective attenuation-corrected hand calculations.

  8. Evaluation of the truebeam machine performance check (MPC) geometric checks for daily IGRT geometric accuracy quality assurance.

    PubMed

    Barnes, Michael P; Greer, Peter B

    2017-03-22

    Machine Performance Check (MPC) is an automated and integrated image-based tool for verification of beam and geometric performance of the TrueBeam linac. The aims of the study were to evaluate the performance of the MPC geometric tests relevant to OBI/CBCT IGRT geometric accuracy. This included evaluation of the MPC isocenter and couch tests. Evaluation was performed by comparing MPC to QA tests performed routinely in the department over a 4-month period. The MPC isocenter tests were compared against an in-house developed Winston-Lutz test and the couch compared against routine mechanical QA type procedures. In all cases the results from the routine QA procedure was presented in a form directly comparable to MPC to allow a like-to-like comparison. The sensitivity of MPC was also tested by deliberately miscalibrating the appropriate linac parameter. The MPC isocenter size and MPC kV imager offset were found to agree with Winston-Lutz to within 0.2 mm and 0.22 mm, respectively. The MPC couch tests agreed with routine QA to within 0.12 mm and 0.15°. The MPC isocenter size and kV imager offset parameters were found to be affected by a change in beam focal spot position with the kV imager offset more sensitive. The MPC couch tests were all unaffected by an offset in the couch calibration but the three axes that utilized two point calibrations were sensitive to a miscalibration of the size in the span of the calibration. All MPC tests were unaffected by a deliberate misalignment of the MPC phantom and roll of the order of one degree.

  9. Does word frequency affect lexical selection in speech production?

    PubMed

    Navarrete, Eduardo; Basagni, Benedetta; Alario, F-Xavier; Costa, Albert

    2006-10-01

    We evaluated whether lexical selection in speech production is affected by word frequency by means of two experiments. In Experiment 1 participants named pictures using utterances with the structure "pronoun + verb + adjective". In Experiment 2 participants had to perform a gender decision task on the same pictures. Access to the noun's grammatical gender is needed in both tasks, and therefore lexical selection (lemma retrieval) is required. However, retrieval of the phonological properties (lexeme retrieval) of the referent noun is not needed to perform the tasks. In both experiments we observed faster latencies for high-frequency pictures than for low-frequency pictures. This frequency effect was stable over four repetitions of the stimuli. Our results suggest that lexical selection (lemma retrieval) is sensitive to word frequency. This interpretation runs against the hypothesis that a word's frequency exerts its effects only at the level at which the phonological properties of words are retrieved.

  10. Analysis of methods to determine the sediment retained by check dams and to estimate erosion rates in badlands.

    PubMed

    Ramos-Diez, Iván; Navarro-Hevia, Joaquín; San Martín Fernández, Roberto; Díaz-Gutiérrez, Virginia; Mongil-Manso, Jorge

    2016-07-01

    Check dams are useful structures at a catchment scale to determine erosion rates using the sediment retained in their wedges. Several studies employ different complex, accurate methods to estimate them. We likewise evaluate which catchment variables affect these erosion rate values. Our study aims to compare five frequently used methods (two prismatic and three topographic) to evaluate how they estimate total sediment yield (TSY) at two locations in Central Spain. For this purpose, we determine the sediment trapped in each area by 25 check dams built during the twentieth century. We also evaluate the catchment variables influencing TSY rates. Results show differences between methods in TSY determinations at the 90 % confidence level, although there are no differences between locations or the location-method iteration. We found that the natural logarithm of the drainage area was the factor that best explained TSY, presenting a negative trend (partial correlation coefficient, 0.83). Vegetation cover factor had no influence in estimating TSY for the two locations. We conclude that the determination of TSY rates depends on the chosen method and four related variables: check dam length, check dam height, wedge length and check dam drainage area. Furthermore, it is important to analyse and select the best method to estimate erosion rates based on the sediment retained by check dams depending on the characteristics of the study area (channel and sediment wedge shape), method accuracy and field effort. A more accurate estimation of erosion rates will allow researchers to determine the role of check dams in controlling sediment in each specific restoration project.

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

    PubMed

    Singer, Brett C; Wenzel, Thomas P

    2003-06-01

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

  12. Deployment of check-in nodes in complex networks

    NASA Astrophysics Data System (ADS)

    Jiang, Zhong-Yuan; Ma, Jian-Feng

    2017-01-01

    In many real complex networks such as the city road networks and highway networks, vehicles often have to pass through some specially functioned nodes to receive check-in like services such as gas supplement at gas stations. Based on existing network structures, to guarantee every shortest path including at least a check-in node, the location selection of all check-in nodes is very essential and important to make vehicles to easily visit these check-in nodes, and it is still remains an open problem in complex network studies. In this work, we aim to find possible solutions for this problem. We first convert it into a set cover problem which is NP-complete and propose to employ the greedy algorithm to achieve an approximate result. Inspired by heuristic information of network structure, we discuss other four check-in node location deployment methods including high betweenness first (HBF), high degree first (HDF), random and low degree first (LDF). Finally, we compose extensive simulations in classical scale-free networks, random networks and real network models, and the results can well confirm the effectiveness of the greedy algorithm. This work has potential applications into many real networks.

  13. Deployment of check-in nodes in complex networks.

    PubMed

    Jiang, Zhong-Yuan; Ma, Jian-Feng

    2017-01-11

    In many real complex networks such as the city road networks and highway networks, vehicles often have to pass through some specially functioned nodes to receive check-in like services such as gas supplement at gas stations. Based on existing network structures, to guarantee every shortest path including at least a check-in node, the location selection of all check-in nodes is very essential and important to make vehicles to easily visit these check-in nodes, and it is still remains an open problem in complex network studies. In this work, we aim to find possible solutions for this problem. We first convert it into a set cover problem which is NP-complete and propose to employ the greedy algorithm to achieve an approximate result. Inspired by heuristic information of network structure, we discuss other four check-in node location deployment methods including high betweenness first (HBF), high degree first (HDF), random and low degree first (LDF). Finally, we compose extensive simulations in classical scale-free networks, random networks and real network models, and the results can well confirm the effectiveness of the greedy algorithm. This work has potential applications into many real networks.

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

  15. Deployment of check-in nodes in complex networks

    PubMed Central

    Jiang, Zhong-Yuan; Ma, Jian-Feng

    2017-01-01

    In many real complex networks such as the city road networks and highway networks, vehicles often have to pass through some specially functioned nodes to receive check-in like services such as gas supplement at gas stations. Based on existing network structures, to guarantee every shortest path including at least a check-in node, the location selection of all check-in nodes is very essential and important to make vehicles to easily visit these check-in nodes, and it is still remains an open problem in complex network studies. In this work, we aim to find possible solutions for this problem. We first convert it into a set cover problem which is NP-complete and propose to employ the greedy algorithm to achieve an approximate result. Inspired by heuristic information of network structure, we discuss other four check-in node location deployment methods including high betweenness first (HBF), high degree first (HDF), random and low degree first (LDF). Finally, we compose extensive simulations in classical scale-free networks, random networks and real network models, and the results can well confirm the effectiveness of the greedy algorithm. This work has potential applications into many real networks. PMID:28074861

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

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

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

  20. Reality Check: How Reality Television Can Affect Youth and How a Media Literacy Curriculum Can Help.

    PubMed

    Peek, Holly S; Beresin, Eugene

    2016-02-01

    For the past decade, reality television programming has dominated the television market while inherently giving the impression that what occurs on the screen is in fact reality. Although mature audiences may be savvy about the differences between reality and reality television, for children and adolescents, these differences can be less clear. It is important to know what values youth are ascertaining from reality television, as studies have suggested that these media images may have a negative impact on adolescent values. Fortunately, media literacy education has shown promising results in counteracting the negative impact of some television programming. The goals of this paper are to show the potential benefits for the development of a media literacy curriculum for psychiatry residents, including critical media literacy skills, media history taking, and counseling concepts. Our hopes are that trained residents may learn to effectively teach these literacy skills to their patients, patients' families, educators, and other health professionals as a preventive measure against potential negative mental health effects of reality television.

  1. MK3 Modulation Affects BMI1-Dependent and Independent Cell Cycle Check-Points

    PubMed Central

    Dahlmans, Vivian E. H.; Spaapen, Frank; Salvaing, Juliette; Vanhove, Jolien; Geijselaers, Claudia; Bartels, Stefanie J. J.; Partouns, Iris; Neumann, Dietbert; Speel, Ernst-Jan; Takihara, Yoshihiro; Wouters, Bradly G.; Voncken, Jan Willem

    2015-01-01

    Although the MK3 gene was originally found deleted in some cancers, it is highly expressed in others. The relevance of MK3 for oncogenesis is currently not clear. We recently reported that MK3 controls ERK activity via a negative feedback mechanism. This prompted us to investigate a potential role for MK3 in cell proliferation. We here show that overexpression of MK3 induces a proliferative arrest in normal diploid human fibroblasts, characterized by enhanced expression of replication stress- and senescence-associated markers. Surprisingly, MK3 depletion evokes similar senescence characteristics in the fibroblast model. We previously identified MK3 as a binding partner of Polycomb Repressive Complex 1 (PRC1) proteins. In the current study we show that MK3 overexpression results in reduced cellular EZH2 levels and concomitant loss of epigenetic H3K27me3-marking and PRC1/chromatin-occupation at the CDKN2A/INK4A locus. In agreement with this, the PRC1 oncoprotein BMI1, but not the PCR2 protein EZH2, bypasses MK3-induced senescence in fibroblasts and suppresses P16INK4A expression. In contrast, BMI1 does not rescue the MK3 loss-of-function phenotype, suggesting the involvement of multiple different checkpoints in gain and loss of MK3 function. Notably, MK3 ablation enhances proliferation in two different cancer cells. Finally, the fibroblast model was used to evaluate the effect of potential tumorigenic MK3 driver-mutations on cell proliferation and M/SAPK signaling imbalance. Taken together, our findings support a role for MK3 in control of proliferation and replicative life-span, in part through concerted action with BMI1, and suggest that the effect of MK3 modulation or mutation on M/SAPK signaling and, ultimately, proliferation, is cell context-dependent. PMID:25853770

  2. Development and Characterization a Single-Active-Chamber Piezoelectric Membrane Pump with Multiple Passive Check Valves

    PubMed Central

    Zhang, Ronghui; You, Feng; Lv, Zhihan; He, Zhaocheng; Wang, Haiwei; Huang, Ling

    2016-01-01

    In order to prevent the backward flow of piezoelectric pumps, this paper presents a single-active-chamber piezoelectric membrane pump with multiple passive check valves. Under the condition of a fixed total number of passive check valves, by means of changing the inlet valves and outlet valves’ configuration, the pumping characteristics in terms of flow rate and backpressure are experimentally investigated. Like the maximum flow rate and backpressure, the testing results show that the optimal frequencies are significantly affected by changes in the number inlet valves and outlet valves. The variation ratios of the maximum flow rate and the maximum backpressure are up to 66% and less than 20%, respectively. Furthermore, the piezoelectric pump generally demonstrates very similar flow rate and backpressure characteristics when the number of inlet valves in one kind of configuration is the same as that of outlet valves in another configuration. The comparison indicates that the backflow from the pumping chamber to inlet is basically the same as the backflow from the outlet to the pumping chamber. No matter whether the number of inlet valves or the number of outlet valves is increased, the backflow can be effectively reduced. In addition, the backpressure fluctuation can be significantly suppressed with an increase of either inlet valves or outlet valves. It also means that the pump can prevent the backflow more effectively at the cost of power consumption. The pump is very suitable for conditions where more accurate flow rates are needed and wear and fatigue of check valves often occur. PMID:27973449

  3. Development and Characterization a Single-Active-Chamber Piezoelectric Membrane Pump with Multiple Passive Check Valves.

    PubMed

    Zhang, Ronghui; You, Feng; Lv, Zhihan; He, Zhaocheng; Wang, Haiwei; Huang, Ling

    2016-12-12

    In order to prevent the backward flow of piezoelectric pumps, this paper presents a single-active-chamber piezoelectric membrane pump with multiple passive check valves. Under the condition of a fixed total number of passive check valves, by means of changing the inlet valves and outlet valves' configuration, the pumping characteristics in terms of flow rate and backpressure are experimentally investigated. Like the maximum flow rate and backpressure, the testing results show that the optimal frequencies are significantly affected by changes in the number inlet valves and outlet valves. The variation ratios of the maximum flow rate and the maximum backpressure are up to 66% and less than 20%, respectively. Furthermore, the piezoelectric pump generally demonstrates very similar flow rate and backpressure characteristics when the number of inlet valves in one kind of configuration is the same as that of outlet valves in another configuration. The comparison indicates that the backflow from the pumping chamber to inlet is basically the same as the backflow from the outlet to the pumping chamber. No matter whether the number of inlet valves or the number of outlet valves is increased, the backflow can be effectively reduced. In addition, the backpressure fluctuation can be significantly suppressed with an increase of either inlet valves or outlet valves. It also means that the pump can prevent the backflow more effectively at the cost of power consumption. The pump is very suitable for conditions where more accurate flow rates are needed and wear and fatigue of check valves often occur.

  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.

  5. Efficient model checking of network authentication protocol based on SPIN

    NASA Astrophysics Data System (ADS)

    Tan, Zhi-hua; Zhang, Da-fang; Miao, Li; Zhao, Dan

    2013-03-01

    Model checking is a very useful technique for verifying the network authentication protocols. In order to improve the efficiency of modeling and verification on the protocols with the model checking technology, this paper first proposes a universal formalization description method of the protocol. Combined with the model checker SPIN, the method can expediently verify the properties of the protocol. By some modeling simplified strategies, this paper can model several protocols efficiently, and reduce the states space of the model. Compared with the previous literature, this paper achieves higher degree of automation, and better efficiency of verification. Finally based on the method described in the paper, we model and verify the Privacy and Key Management (PKM) authentication protocol. The experimental results show that the method of model checking is effective, which is useful for the other authentication protocols.

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

    NASA Technical Reports Server (NTRS)

    Odonnell, Richard

    1990-01-01

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

  7. Checking 2xM quantum separability via semidefinite programming

    SciTech Connect

    Woerdeman, Hugo J.

    2003-01-01

    In this paper, we propose a sequence of tests which give a definitive test for checking 2xM separability. The test is definitive in the sense that each test corresponds to checking membership in a cone, and that the closure of the union of all these cones consists exactly of all 2xM separable states. Membership in each single cone may be checked via semidefinite programming, and is thus a tractable problem. This sequential test comes about by considering the dual problem, the characterization of all positive maps acting C{sup 2x2}{yields}C{sup MxM}. The latter in turn is solved by characterizing all positive quadratic matrix polynomials in a complex variable.

  8. Instantaneous Soundness Checking of Industrial Business Process Models

    NASA Astrophysics Data System (ADS)

    Fahland, Dirk; Favre, Cédric; Jobstmann, Barbara; Koehler, Jana; Lohmann, Niels; Völzer, Hagen; Wolf, Karsten

    We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and other domains. We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool Woflan, the Petri net model checker LoLA, and a recently developed technique based on SESE decomposition. We evaluate the various techniques used by these approaches in terms of their ability of accelerating the check. Our results show that industrial business process models can be checked in a few milliseconds, which enables tight integration of modeling with control-flow analysis. We also briefly compare the diagnostic information delivered by the different approaches.

  9. Criminal History Background Checks on Individuals in Child Care Services

    DTIC Science & Technology

    1993-01-19

    subsection (aX1). by striking out Ś manths after the date of enactaent of this chater , and no additional staW and insertirig in lieu thenf "May 29, 1991...those-equivalent in’scope to checks conducted on- U.S. citizens: a. Host-government law enforcement and security agency -hecks at the city , State...for form Criminal Records Division Name Check State Highway Patrol Department of Public S3fety COMM: 314-751-3313 P.O. Box 568 Jefferson City , MO

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

  11. CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

    NASA Astrophysics Data System (ADS)

    Schwarick, Martin; Heiner, Monika

    This paper presents an Interval Decision Diagram based approach to symbolic CSL model checking of Continuous Time Markov Chains which are derived from stochastic Petri nets. Matrix-vector and vector-matrix multiplication are the major tasks of exact analysis. We introduce a simple, but powerful algorithm which uses explicitly the Petri net structure and allows for parallelisation. We present results demonstrating the efficiency of our first prototype implementation when applied to biochemical network models, specifically with increasing token numbers. Our tool currently supports CSL model checking of time-bounded operators and the Next operator for ordinary stochastic Petri nets.

  12. Turbomachinery Design Quality Checks to Avoid Friction Induced Structural Failure

    NASA Technical Reports Server (NTRS)

    Moore, Jerry H.

    1999-01-01

    A unique configuration of the P&W SSME Alternate Fuel Turbopump turbine disk/blade assembly, combined with a severe thermal environment, resulted in several structural anomalies that were driven by frictional contact forces. Understanding the mechanics of these problems provides new quality checks for future turbo machinery designs. During development testing in 1997 of the SSME alternate fuel turbopump at Stennis Space Center, several potentially serious problems surfaced with the turbine disk/blade assembly that had not been experienced in extensive earlier testing. Changes to the operational thermal environment were noted based on analytical prediction of modifications that affected performance and on stationary thermal measurements adjacent to the rotor assembly. A detailed structural investigation was required to reveal the mechanism of distress induced by the change. The turbine disk experienced cracking in several locations due to increased thermal gradient induced stress during start and shutdown transients. This was easily predictable using standard analysis procedures and expected once the thermal environment was characterized. What was not expected was the curling of a piston ring used for blade axial retention in the disk, indentation of the axial face of the blade attachment by a spacer separating the first and second stage blades, and most significantly, galling and cracking of the blade root attachment that could have resulted in blade release. Past experience, in gas turbine environments, set a precedent of never relying on friction for help and to evaluate it only in specific instances where it was obvious that it would degrade capability. In each of the three cases above, friction proved to be a determining factor that pushed the components into an unsatisfactory mode of operation. The higher than expected temperatures and rapid thermal transients combined with friction to move beyond past experience. The turbine disk/blade assembly configuration

  13. 78 FR 5757 - National Instant Criminal Background Check System

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-01-28

    ... Investigation (FBI), Department of Justice. ACTION: Notice of proposed rulemaking. SUMMARY: The Department of... agencies to the FBI-maintained NICS Index to permit background checks for the purpose of disposing of... comment period. ADDRESSES: You may submit comments, identified by Docket No. FBI 152, by either of...

  14. How to handle sales demo, reference checks, and site visits.

    PubMed

    Hertlein, Sue

    2006-01-01

    Although challenging and time consuming, vendor selection, product demonstrations, reference checks, and site visits can be streamlined by following the guidelines and steps presented here. A systematic and uniform approach is the best way to save time and achieve the desired results that are so important to your practice.

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

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

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

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 32 National Defense 6 2013-07-01 2013-07-01 false Random installation entry point checks. 809a.1 Section 809a.1 National Defense Department of Defense (Continued) DEPARTMENT OF THE AIR FORCE ADMINISTRATION INSTALLATION ENTRY POLICY, CIVIL DISTURBANCE INTERVENTION AND DISASTER ASSISTANCE...

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

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

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

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

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

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

  4. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 14 Aeronautics and Space 3 2012-01-01 2012-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. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 14 Aeronautics and Space 3 2013-01-01 2013-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...

  6. 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... emergencies. The procedures must be designed so that a flight crewmember will not need to rely upon his...

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

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-03-25

    ...) representing returned checks and to integrate these systems with the bank's other existing systems, such as the... never existed in paper (``electronically-created items''). For example, payees collect payment by means of electronically-created items (i.e., items that never existed in paper form) that resemble...

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

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

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

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

  12. 38 CFR 3.1003 - Returned and canceled checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... persons for the expenses of last sickness and/or burial. (1) There is no limit on the retroactive period for which payment of the amount represented by the check may be made, and no time limit for filing a... paragraph, will not will not revert to the state because there is no one eligible to inherit it. (c)...

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

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

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

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

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

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

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

  20. 14 CFR 121.315 - Cockpit check procedure.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 14 Aeronautics and Space 3 2011-01-01 2011-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...

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

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

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

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

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

  6. 6 CFR 37.45 - Background checks for covered employees.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ..., the validation of references from prior employment, a name-based and fingerprint-based criminal.... States must conduct a name-based and fingerprint-based criminal history records check (CHRC) using, at a minimum, the FBI's National Crime Information Center (NCIC) and the Integrated Automated...

  7. 6 CFR 37.45 - Background checks for covered employees.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ..., the validation of references from prior employment, a name-based and fingerprint-based criminal.... States must conduct a name-based and fingerprint-based criminal history records check (CHRC) using, at a minimum, the FBI's National Crime Information Center (NCIC) and the Integrated Automated...

  8. 6 CFR 37.45 - Background checks for covered employees.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ..., the validation of references from prior employment, a name-based and fingerprint-based criminal.... States must conduct a name-based and fingerprint-based criminal history records check (CHRC) using, at a minimum, the FBI's National Crime Information Center (NCIC) and the Integrated Automated...

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

  10. Federal report calls for national criminal background checks.

    PubMed

    Weiss, H P

    1998-01-01

    If the Kohl bill is not passed in the 105th Congress, look for the legislative proposal to be reintroduced next year, Lynn Becker, a spokesperson for Sen. Kohl tells Balance. "Hopefully," she adds, "the administration will include the National Background Check Registry as part of its next Budget Proposal, which is expected to be submitted to Congress in February 1999."

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

  12. 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...=Undiluted CO2 concentration (percent) b=Diluted CO2 concentration (percent) c=Diluted NO concentration...

  13. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2011 CFR

    2011-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...=Undiluted CO2 concentration (percent) b=Diluted CO2 concentration (percent) c=Diluted NO concentration...

  14. 40 CFR 91.325 - Analyzer interference checks.

    Code of Federal Regulations, 2012 CFR

    2012-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...=Undiluted CO2 concentration (percent) b=Diluted CO2 concentration (percent) c=Diluted NO concentration...

  15. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... measurement. (iii) When the HC instrument response is 95 percent of the span gas concentration used, stop the...) Repeat with the CO, CO2, and NOX instruments and span gases. (2) Option. If the following parameters are determined, the initial system response time may be generally applied to future checks: (i) Analyzer...

  16. 40 CFR 92.118 - Analyzer checks and calibrations.

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... measurement. (iii) When the HC instrument response is 95 percent of the span gas concentration used, stop the...) Repeat with the CO, CO2, and NOX instruments and span gases. (2) Option. If the following parameters are determined, the initial system response time may be generally applied to future checks: (i) Analyzer...

  17. 40 CFR 90.325 - Analyzer interference checks.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Equipment Provisions § 90.325 Analyzer interference checks. (a) Gases present in the exhaust other than the... record the analyzer response. For dry measurements, this mixture may be introduced into the sample system... the value “a.” (ii) Dilute the CO2 span gas approximately 50 percent with NO span gas and pass...

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

    ERIC Educational Resources Information Center

    Fritz, John

    2010-01-01

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

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

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

  1. Check list of the helminths of equines in Turkey.

    PubMed

    Gürler, Ali Tümay; Bölükbaş, Cenk Soner; Açici, Mustafa; Umur, Sinasi

    2010-01-01

    Helminths of equines are one of the most important agents of parasitic diseases. Therefore, many studies have been conducted on helminths of equines in Turkey. In this article, a check list and prevalence rates of helminths of equines in Turkey have been given.

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

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

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

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

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

  7. 31 CFR 245.8 - Receipt or recovery of original check.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Receipt or recovery of original check. 245.8 Section 245.8 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued... CHECKS § 245.8 Receipt or recovery of original check. (a) If the original check is received or...

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

    Code of Federal Regulations, 2012 CFR

    2012-10-01

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

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

    Code of Federal Regulations, 2014 CFR

    2014-10-01

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

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

    Code of Federal Regulations, 2011 CFR

    2011-10-01

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

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

    Code of Federal Regulations, 2013 CFR

    2013-10-01

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

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

    Code of Federal Regulations, 2010 CFR

    2010-10-01

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

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

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-05-06

    ... CFR Part 20 RIN 1110-AA29 FBI Records Management Division National Name Check Program Section User...-based background checks conducted by the National Name Check Program (NNCP) of the Records Management..., 2010. FOR FURTHER INFORMATION CONTACT: FBI, Records Management Division, National Name Check...

  14. Pre-Alignment Checks. Automotive Mechanics. Steering & Suspension. Instructor's Guide [and] Student Guide.

    ERIC Educational Resources Information Center

    Spignesi, B.

    This instructional package, one in a series of individualized instructional units on automotive steering and suspension, consists of a student guide and an instructor guide dealing with prealignment checks. Covered in the module are the following steps in a prealignment check: checking the ride height of a vehicle, checking the ball joints and the…

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

    Code of Federal Regulations, 2011 CFR

    2011-07-01

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

  16. 10 CFR 73.59 - Relief from fingerprinting, identification and criminal history records checks and other elements...

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... history records checks and other elements of background checks for designated categories of individuals..., identification and criminal history records checks and other elements of background checks for designated categories of individuals. Fingerprinting, and the identification and criminal history records...

  17. 10 CFR 73.59 - Relief from fingerprinting, identification and criminal history records checks and other elements...

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... history records checks and other elements of background checks for designated categories of individuals..., identification and criminal history records checks and other elements of background checks for designated categories of individuals. Fingerprinting, and the identification and criminal history records...

  18. 10 CFR 73.59 - Relief from fingerprinting, identification and criminal history records checks and other elements...

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... history records checks and other elements of background checks for designated categories of individuals..., identification and criminal history records checks and other elements of background checks for designated categories of individuals. Fingerprinting, and the identification and criminal history records...

  19. 45 CFR 2552.28 - When must I conduct a State criminal registry check and a NSOPR check on an individual in a...

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 45 Public Welfare 4 2011-10-01 2011-10-01 false When must I conduct a State criminal registry... criminal registry check and a NSOPR check on an individual in a covered position? (a) The State criminal registry check must be conducted on an individual who enrolls in, or is hired by, your program...

  20. 45 CFR 2552.28 - When must I conduct a State criminal registry check and a NSOPR check on an individual in a...

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 45 Public Welfare 4 2010-10-01 2010-10-01 false When must I conduct a State criminal registry... criminal registry check and a NSOPR check on an individual in a covered position? (a) The State criminal registry check must be conducted on an individual who enrolls in, or is hired by, your program...