WorldWideScience

Sample records for proficiency check requirements

  1. 14 CFR 91.1069 - Flight crew: Instrument proficiency check requirements.

    Science.gov (United States)

    2010-01-01

    ... an aircraft requiring that the PIC hold an airline transport pilot certificate, include the procedures and maneuvers for an airline transport pilot certificate in the particular type of aircraft, if... aircraft under IFR unless, since the beginning of the 6th month before that service, that pilot has passed...

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

    Science.gov (United States)

    2010-01-01

    ... characteristics, runway length, surface conditions, wind direction and velocity, brake heat energy, and any other...) Airborne radar devices B (f) Any other systems, devices, or aids available B (g) Hydraulic and electrical... and procedures may be performed in an airplane simulator with a visual system (visual simulator), an...

  3. Analysing sensory panel performance in a proficiency test using the PanelCheck software

    DEFF Research Database (Denmark)

    Tomic, O.; Luciano, G.; Nilsen, A.

    2010-01-01

    carrying out profiling on the same set of candy samples. The candy samples were produced according to an experimental design using design factors, such as sugar, and acid level. Because of the exceptionally large amount of data and the availability of multiple statistical and graphical tools in the Panel......Check software, a workflow is proposed that guides the user through the data analysis process. This allows practitioners and non-statisticians to get an overview over panel performances in a rapid manner without the need to be familiar with details on the statistical methods. Visualisation of data analysis...

  4. Mismatch repair proficiency is not required for radioenhancement by gemcitabine

    NARCIS (Netherlands)

    van Bree, Chris; Rodermond, Hans M.; de Vos, Judith; Haveman, Jaap; Franken, Nicolaas A. P.

    2005-01-01

    Purpose: Mismatch repair (MMR) proficiency has been reported to either increase or decrease radioenhancement by 24-h incubations with gemcitabine. This study aimed to establish the importance of MMR for radioenhancement by gemcitabine after short-exposure, high-dose treatment and long-exposure,

  5. 46 CFR 61.35-3 - Required tests and checks.

    Science.gov (United States)

    2010-10-01

    ... activated. (10) Feed water flow controls. The feed water flow limit device (found on steam boilers and water... INSPECTIONS Design Verification and Periodic Testing for Automatic Auxiliary Boilers § 61.35-3 Required tests... level controls must be tested by slowly lowering the water level in the boiler. Each operating water...

  6. 77 FR 34784 - Removal of Six Month Line Check Requirement for Pilots Over Age 60; Technical Amendment

    Science.gov (United States)

    2012-06-12

    ... limitations regarding the requirements in (d) and (e) that apply to the line check requirements for pilots... Federal Aviation Administration 14 CFR Part 121 Removal of Six Month Line Check Requirement for Pilots..., in Section 305 of the Act, removed the line check performance evaluation requirements for pilots over...

  7. Determination of the amino acid sequence requirements for catalysis by the highly proficient orotidine monophosphate decarboxylase.

    Science.gov (United States)

    Yuan, Ji; Cardenas, Ana Maria; Gilbert, Hiram F; Palzkill, Timothy

    2011-11-01

    Orotidine 5'-monophosphate decarboxylase (ODCase) catalyzes the decarboxylation of orotidine 5'-monophosphate to uridine 5'-monophosphate during pyrimidine nucleotide biosynthesis. This enzyme is one of the most proficient known, exhibiting a rate enhancement of over 17 orders of magnitude over the uncatalyzed rate. An interesting question is whether the high proficiency of ODCase is associated with a highly optimized sequence of active site residues. This question was addressed by randomizing 24 residue positions in and around the active site of the E. coli ODCase (pyrF) by site-directed mutagenesis. The libraries of mutants were selected for function from a multicopy plasmid or by single-copy replacement at the pyrF locus on the E. coli chromosome. Stringent sequence requirements for function were found for the mutants expressed from the chromosomal pyrF locus. Six positions were not tolerant of substitutions and several others accepted very limited substitutions. In contrast, all positions could be substituted to some extent when the library mutants were expressed from a multicopy plasmid. For the conserved quartet of charged residues Lys44-Asp71-Lys73-Asp76, a cysteine substitution was found to provide function at positions 71 and 76. A lower pK(a) for both cysteine mutants supports a mechanism whereby the thiolate group of cysteine substitutes for the negatively charged aspartate side chain. The partial function mutants such as D71C and D76C exhibit reduced catalytic efficiency relative to wild type but nevertheless provide a rate enhancement of 15 orders of magnitude over the uncatalyzed rate indicating the catalytic proficiency of the enzyme is robust and tolerant of mutation. Copyright © 2011 The Protein Society.

  8. A Process for Verifying and Validating Requirements for Fault Tolerant Systems Using Model Checking

    Science.gov (United States)

    Schneider, F.; Easterbrook, S.; Callahan, J.; Holzmann, G.; Reinholtz, W.; Ko, A.; Shahabuddin, M.

    1999-01-01

    Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here shows that by judiciously abstracting away extraneous complexity, the state space of the model could be exhaustively searched allowing critical functional requirement to be validated down to the design level.

  9. 31 CFR 355.13 - Are there any additional requirements related to fiscal agency checks?

    Science.gov (United States)

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Are there any additional requirements related to fiscal agency checks? 355.13 Section 355.13 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE PUBLIC DEBT...

  10. 48 CFR 352.237-72 - Crime Control Act-requirement for background checks.

    Science.gov (United States)

    2010-10-01

    ... 48 Federal Acquisition Regulations System 4 2010-10-01 2010-10-01 false Crime Control Act... and Clauses 352.237-72 Crime Control Act—requirement for background checks. As prescribed in 337.103-70(c), the Contracting Officer shall insert the following clause: Crime Control Act of 1990...

  11. 75 FR 79312 - Requirements for Fingerprint-Based Criminal History Records Checks for Individuals Seeking...

    Science.gov (United States)

    2010-12-20

    ... History Records Checks for Individuals Seeking Unescorted Access to Research or Test Reactors AGENCY... published on July 10, 2010. The proposed rule would amend the NRC's regulations by requiring research and... FURTHER INFORMATION CONTACT: A. Jason Lising, Office of Nuclear Reactor Regulation, U.S. Nuclear...

  12. 14 CFR 121.414 - Initial and transition training and checking requirements: flight instructors (airplane), flight...

    Science.gov (United States)

    2010-01-01

    ... in a flight training device. This paragraph applies after March 19, 1997. (b) The observation check... 14 Aeronautics and Space 3 2010-01-01 2010-01-01 false Initial and transition training and... REQUIREMENTS: DOMESTIC, FLAG, AND SUPPLEMENTAL OPERATIONS Training Program § 121.414 Initial and transition...

  13. 14 CFR 61.311 - What flight proficiency requirements must I meet to apply for a sport pilot certificate?

    Science.gov (United States)

    2010-01-01

    ... meet to apply for a sport pilot certificate? 61.311 Section 61.311 Aeronautics and Space FEDERAL... INSTRUCTORS, AND GROUND INSTRUCTORS Sport Pilots § 61.311 What flight proficiency requirements must I meet to apply for a sport pilot certificate? Except as specified in § 61.329, to apply for a sport pilot...

  14. Data Mining Techniques for Identifying Students at Risk of Failing a Computer Proficiency Test Required for Graduation

    Science.gov (United States)

    Tsai, Chih-Fong; Tsai, Ching-Tzu; Hung, Chia-Sheng; Hwang, Po-Sen

    2011-01-01

    Enabling undergraduate students to develop basic computing skills is an important issue in higher education. As a result, some universities have developed computer proficiency tests, which aim to assess students' computer literacy. Generally, students are required to pass such tests in order to prove that they have a certain level of computer…

  15. ANALYSIS OF MODERN REQUIREMENTS FOR THE LEVEL OF FOREIGN LANGUAGE PROFICIENCY OF ENGINEERING SPECIALISTS

    Directory of Open Access Journals (Sweden)

    K. M. Inozemtseva

    2017-01-01

    Full Text Available Introduction. At present, in Russian higher professional education we can observe a shift to the new educational paradigm based on Professional Standards (PS. According to the Federal Law of 02.05.2015 № 122 «About amendments to the Labour Code of Russian Federation and the articles 11 and 73 of «The Law on Education in Russian Federation» formation of the Federal State Educational Standards of Higher Education requirements for expected learning outcomes on universities’ main educational programs is implemented on the basis of relevant Professional Standards. This causes necessity of work on conjunction of Professional Standards, Federal State Educational Standards and universities’ main educational programs.The aim of this article is to demonstrate the influence of a new educational paradigm on the choice of contents, technologies and activities used in foreign language teaching at Russian technical universities.Methodology and research methods. The research methodology is based on the concept of diversification of engineers’ continuous professional foreign language training (T. Yu. Polyakova. In view of priority value of PS for developing universities’ main educational programs the updating of the above concept needs thorough analysis of both PS requirements for the level of foreign language proficiency of engineering specialists and study of scientific literature on the above problem.Results. This research results in interpretation and clarification of generalized PS requirements for the actual needs of industries and individuals in foreign language proficiency. The research also causes Language for Specific Purposes (LSP program developers’ and LSP teachers’ pedagogical reflection about their readiness to form foreign language (FL professional communicative competence of an engineer. It is concluded that a teacher needs to consider axiological aspects of engineering activity in order to understand the nature of the work

  16. Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking

    Science.gov (United States)

    Turgeon, Gregory; Price, Petra

    2010-01-01

    A feasibility study was performed on a representative aerospace system to determine the following: (1) the benefits and limitations to using SCADE , a commercially available tool for model checking, in comparison to using a proprietary tool that was studied previously [1] and (2) metrics for performing the model checking and for assessing the findings. This study was performed independently of the development task by a group unfamiliar with the system, providing a fresh, external perspective free from development bias.

  17. 31 CFR 355.12 - What requirements apply if the check is payable to two or more persons?

    Science.gov (United States)

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false What requirements apply if the check is payable to two or more persons? 355.12 Section 355.12 Money and Finance: Treasury Regulations Relating to Money and Finance (Continued) FISCAL SERVICE, DEPARTMENT OF THE TREASURY BUREAU OF THE PUBLIC...

  18. Setting Language Proficiency Score Requirements for English-as-a-Second-Language Placement Decisions in Secondary Education. Research Report. ETS RR-16-17

    Science.gov (United States)

    Baron, Patricia A.; Papageorgiou, Spiros

    2016-01-01

    The purpose of this study was to collect recommendations for minimum score requirements (cut scores) on the "TOEFL Junior"® English language proficiency test in order to guide decisions on the placement of learners into English as a second language (ESL) support classes. The TOEFL Junior test, intended primarily for students ages 11 and…

  19. Support for a comprehensive background check requirement and expanded denial criteria for firearm transfers: findings from the firearms licensee survey.

    Science.gov (United States)

    Wintemute, Garen J

    2014-04-01

    Federal and state policies on eligibility to purchase and possess firearms and background check requirements for firearm transfers are undergoing intensive review and, in some cases, modification. Our objective in this third report from the Firearms Licensee Survey (FLS) is to assess support among federally licensed firearms retailers (gun dealers and pawnbrokers) for a background check requirement on all firearm transfers and selected criteria for denying the purchase of handguns based on criminal convictions, alcohol abuse, and serious mental illness. The FLS was conducted by mail during June-August, 2011 on a random sample of 1,601 licensed dealers and pawnbrokers in 43 states who were believed to sell at least 50 firearms annually. The response rate was 36.9%, typical of establishment surveys using such methods. Most respondents (55.4%) endorsed a comprehensive background check requirement; 37.5% strongly favored it. Support was more common and stronger among pawnbrokers than dealers and among respondents who believed that "it is too easy for criminals to get guns." Support was positively associated with many establishment characteristics, including sales of inexpensive handguns, sales that were denied when the purchasers failed background checks, and sales of firearms that were later subjected to ownership tracing, and were negatively associated with sales at gun shows. Support for three existing and nine potential criteria for denial of handgun purchase involving criminal activity, alcohol abuse, and mental illness exceeded 90% in six cases and fell below 2/3 in one. Support again increased with sales of inexpensive handguns and denied sales and decreased with sales of tactical (assault-type) rifles. In this survey, which was conducted prior to mass shootings in Aurora, Colorado; Oak Creek, Wisconsin; Newtown, Connecticut; and elsewhere, licensed firearm sellers exhibited moderate support for a comprehensive background check requirement and very strong

  20. Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications

    Science.gov (United States)

    1998-11-01

    ming Language: Design, Semantics, Implementation,” Science of Computer Programming , vol. 19, 1992. [8] R. Bharadwaj, “A Generalized Validity Checker... Science of Computer Programming , vol. 25, no. 1, pp. 41–61, Oct. 1995. [62] T. Sreemani and J.M. Atlee, “Feasibility of Model Checking Soft- ware

  1. Statistical Study to Check the Conformity of Aggregate in Kirkuk City to Requirement of Iraqi Specification

    Directory of Open Access Journals (Sweden)

    Ammar Saleem Khazaal

    2018-01-01

    Full Text Available This research reviews a statistical study to check the conformity of aggregates (Coarse and Fine was used in Kirkuk city to the requirements of the Iraqi specifications. The data of sieve analysis (215 samples of aggregates being obtained from of National Central Construction Laboratory and Technical College Construction Laboratory in Kirkuk city have analyzed using the statistical program SAS. The results showed that 5%, 17%, and 18% of fine aggregate samples are passing sieve sizes 10 mm, 4.75 mm, and 2.36 mm, respectively, which were less than the minimum limit allowed by the Iraqi specifications for each sieve. The percentages passing sieve sizes 1.18mm, 600micrometers, and 300micrometers were more than the upper limit of specification by 5%, 20%, and 30% respectively. The samples were passing sieve sizes 1.18mm, and 600micrometers less than the minimum limit of specification by 17%, and 4%, respectively. The results showed that the deviation in a sieve size of 150 micrometers for the upper limit of the specification performs 2% of the total number of samples. For Coarse aggregate, the samples passing sieves size 37.5mm and 20mm were comforting the Iraqi specifications by 100% and 83% respectively, it has found that the samples were passing sieve sizes 10 mm was 5% was more than the higher limit of Iraqi specifications, and 27% of these samples were less than the minimum limit, whereas sample passing sieve size 5mm was 1% which is more than the upper limit of the Iraqi specification. As a result of statistical analysis of data for fine aggregate, it has found that the samples were passing sieve sizes 10 mm, 2.36 mm, 1.18 mm and 150micrometers conforming from statistical point of view the Iraqi specifications, whereas the samples were passing sieve sizes 4.75 mm, 600micrometers and 300 micrometers didn’t conform. Statistical analysis of the results of the coarse aggregates also showed that conforming to sieve sizes of 37.5 mm and 20 mm and

  2. Evaluation by Proficiency Certification

    Science.gov (United States)

    Kerby, Dale

    1977-01-01

    Albuquerque Technical-Vocational Institute's system for grading business courses by proficiency certification in place of the traditional A through F system is described. A certificate is developed for each course, with evaluation of student performance in each area. This system requires a greater volume of paper work and skill analysis but it is…

  3. 77 FR 27561 - Requirements for Fingerprint-Based Criminal History Records Checks for Individuals Seeking...

    Science.gov (United States)

    2012-05-11

    ... created or received at the NRC are online at the NRC's library at http://www.nrc.gov/reading-rm/adams.html... undertake more extensive background investigations as they deem necessary. No changes to the rule language... rule adds additional requirements for security at NPR facilities that will further limit student...

  4. Meeting the requirements of both classroom-based and systemic assessment of mathematics proficiency: The potential of Rasch measurement theory

    Directory of Open Access Journals (Sweden)

    Tim Dunne

    2012-10-01

    Full Text Available The challenges inherent in assessing mathematical proficiency depend on a number of factors, amongst which are an explicit view of what constitutes mathematical proficiency, an understanding of how children learn and the purpose and function of teaching. All of these factors impact on the choice of approach to assessment. In this article we distinguish between two broad types of assessment, classroom-based and systemic assessment. We argue that the process of assessment informed by Rasch measurement theory (RMT can potentially support the demands of both classroom-based and systemic assessment, particularly if a developmental approach to learning is adopted, and an underlying model of developing mathematical proficiency is explicit in the assessment instruments and their supporting material. An example of a mathematics instrument and its analysis which illustrates this approach, is presented. We note that the role of assessment in the 21st century is potentially powerful. This influential role can only be justified if the assessments are of high quality and can be selected to match suitable moments in learning progress and the teaching process. Users of assessment data must have sufficient knowledge and insight to interpret the resulting numbers validly, and have sufficient discernment to make considered educational inferences from the data for teaching and learning responses.

  5. Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems

    Science.gov (United States)

    2006-01-01

    Although it is most often applied to finite state models, in recent years, symbolic model checking has been extended to infinite state models using...toolset. Based on the experimental results, strengths and weaknesses of infinite state model checking with respect to other formal analysis...approaches such as explicit and finite state model checking and theorem proving are discussed.

  6. Applying Infinite State Model Checking and Other Analysis Techniques to Tabular Requirements Specifications of Safety-Critical Systems

    National Research Council Canada - National Science Library

    Bultan, Tevfik; Heitmeyer, Constance

    2006-01-01

    Although it is most often applied to finite state models, in recent years, symbolic model checking has been extended to infinite state models using symbolic representations that encode infinite sets...

  7. 77 FR 60922 - Criminal History Check Requirements for AmeriCorps State/National, Senior Companions, Foster...

    Science.gov (United States)

    2012-10-05

    ... National Sex Offender Public Web site (NSOPW); and (2) a search of either (a) the state criminal registry... abuse or sexual abuse, child abuse, burglary, or robbery; or perpetrated as part of a pattern or... covered positions must include (1) a nationwide check of the Department of Justice's National Sex Offender...

  8. Computer proficiency questionnaire: assessing low and high computer proficient seniors.

    Science.gov (United States)

    Boot, Walter R; Charness, Neil; Czaja, Sara J; Sharit, Joseph; Rogers, Wendy A; Fisk, Arthur D; Mitzner, Tracy; Lee, Chin Chin; Nair, Sankaran

    2015-06-01

    Computers and the Internet have the potential to enrich the lives of seniors and aid in the performance of important tasks required for independent living. A prerequisite for reaping these benefits is having the skills needed to use these systems, which is highly dependent on proper training. One prerequisite for efficient and effective training is being able to gauge current levels of proficiency. We developed a new measure (the Computer Proficiency Questionnaire, or CPQ) to measure computer proficiency in the domains of computer basics, printing, communication, Internet, calendaring software, and multimedia use. Our aim was to develop a measure appropriate for individuals with a wide range of proficiencies from noncomputer users to extremely skilled users. To assess the reliability and validity of the CPQ, a diverse sample of older adults, including 276 older adults with no or minimal computer experience, was recruited and asked to complete the CPQ. The CPQ demonstrated excellent reliability (Cronbach's α = .98), with subscale reliabilities ranging from .86 to .97. Age, computer use, and general technology use all predicted CPQ scores. Factor analysis revealed three main factors of proficiency related to Internet and e-mail use; communication and calendaring; and computer basics. Based on our findings, we also developed a short-form CPQ (CPQ-12) with similar properties but 21 fewer questions. The CPQ and CPQ-12 are useful tools to gauge computer proficiency for training and research purposes, even among low computer proficient older adults. © The Author 2013. Published by Oxford University Press on behalf of The Gerontological Society of America. All rights reserved. For permissions, please e-mail: journals.permissions@oup.com.

  9. Proficiency test for aflatoxin in pig feed

    NARCIS (Netherlands)

    Elbers, I.J.W.; Nijs, de W.C.M.

    2015-01-01

    Proficiency testing is conducted to provide laboratories with a powerful tool to evaluate and demonstrate the reliability of the data that are produced. Next to validation and accreditation, proficiency testing is an important requirement of the EU Additional Measures Directive 93/99/EEC [1] and is

  10. Proficiency Testing for Bacterial Whole Genome Sequencing: An End-User Survey of Current Capabilities, Requirements and Priorities

    DEFF Research Database (Denmark)

    Moran-Gilad, Jacob; Sintchenko, Vitali; Karlsmose Pedersen, Susanne

    2015-01-01

    by Working Group 4 among GMI members in order to ascertain NGS end-use requirements and attitudes towards NGS PT. The survey identified the high professional diversity of laboratories engaged in NGS-based public health projects and the wide range of capabilities within institutions, at a notable range...... of costs. The priority pathogens reported by respondents reflected the key drivers for NGS use (high burden disease and ‘high profile’ pathogens). The performance of and participation in PT was perceived as important by most respondents. The wide range of sequencing and bioinformatics practices reported...

  11. Proficiency testing for bacterial whole genome sequencing: an end-user survey of current capabilities, requirements and priorities

    DEFF Research Database (Denmark)

    Moran-Gilad, Jacob; Sintchenko, Vitali; Karlsmose Pedersen, Susanne

    2015-01-01

    Group 4 among GMI members in order to ascertain NGS end-use requirements and attitudes towards NGS PT. The survey identified the high professional diversity of laboratories engaged in NGS-based public health projects and the wide range of capabilities within institutions, at a notable range of costs....... The priority pathogens reported by respondents reflected the key drivers for NGS use (high burden disease and 'high profile' pathogens). The performance of and participation in PT was perceived as important by most respondents. The wide range of sequencing and bioinformatics practices reported by end...

  12. Model Checking

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 14; Issue 7. Model Checking - Automated Verification of Computational Systems. Madhavan Mukund. General Article Volume 14 Issue 7 July 2009 pp 667-681. Fulltext. Click here to view fulltext PDF. Permanent link:

  13. Sample Proficiency Test exercise

    Energy Technology Data Exchange (ETDEWEB)

    Alcaraz, A; Gregg, H; Koester, C

    2006-02-05

    The current format of the OPCW proficiency tests has multiple sets of 2 samples sent to an analysis laboratory. In each sample set, one is identified as a sample, the other as a blank. This method of conducting proficiency tests differs from how an OPCW designated laboratory would receive authentic samples (a set of three containers, each not identified, consisting of the authentic sample, a control sample, and a blank sample). This exercise was designed to test the reporting if the proficiency tests were to be conducted. As such, this is not an official OPCW proficiency test, and the attached report is one method by which LLNL might report their analyses under a more realistic testing scheme. Therefore, the title on the report ''Report of the Umpteenth Official OPCW Proficiency Test'' is meaningless, and provides a bit of whimsy for the analyses and readers of the report.

  14. Measuring the Games Influence on Improving English Proficiency

    Directory of Open Access Journals (Sweden)

    Reni Dwi Pertiwi

    2014-10-01

    Full Text Available English is now used as an international language, so that every person in order to communicate at the international level are required this language. To improving english proficiency, people used native speaker, course, story book, film game and etc. Games or better known as PC gaming is another alternative in improving the English proficiency. Beside this is fun, player required to read and listen the story game to finish the game. So that player can improve English proficiency while the player play game. In this paper, author present what game are fun and not boring also can improving English proficiency. The measuring improving English proficiency is observed from reading,writing, listening and grammar Keyword: English, Game, improving ,Proficiency

  15. Proficiency test for tropane alkaloids in food en feed

    NARCIS (Netherlands)

    Pereboom-de Fauw, D.P.K.H.; Elbers, I.J.W.; Mulder, P.P.J.; Nijs, de W.C.M.

    2014-01-01

    Proficiency testing is conducted to provide laboratories with a powerful tool to evaluate and demonstrate the reliability of the data that are produced. Next to validation and accreditation, proficiency testing is an important requirement of the EU Additional Measures Directive 93/99/EEC [1] and is

  16. Facets of Speaking Proficiency

    Science.gov (United States)

    de Jong, Nivja H.; Steinel, Margarita P.; Florijn, Arjen F.; Schoonen, Rob; Hulstijn, Jan H.

    2012-01-01

    This study examined the componential structure of second-language (L2) speaking proficiency. Participants--181 L2 and 54 native speakers of Dutch--performed eight speaking tasks and six tasks tapping nine linguistic skills. Performance in the speaking tasks was rated on functional adequacy by a panel of judges and formed the dependent variable in…

  17. Facets of speaking proficiency

    NARCIS (Netherlands)

    de Jong, N.H.; Steinel, M.P.; Florijn, A.F.; Schoonen, R.; Hulstijn, J.H.

    2012-01-01

    This study examined the componential structure of second-language (L2) speaking proficiency. Participants—181 L2 and 54 native speakers of Dutch—performed eight speaking tasks and six tasks tapping nine linguistic skills. Performance in the speaking tasks was rated on functional adequacy by a panel

  18. Bilingual Education and English Proficiency

    Science.gov (United States)

    Jepsen, Christopher

    2010-01-01

    In 2001, California instituted a statewide test measuring English proficiency for English learners, students who are not proficient in English. In 2003 and 2004, nearly 500,000 English learners in grades 1-5 took this test each year. The relationship between bilingual education receipt and English proficiency is estimated using value-added…

  19. Regular health checks

    DEFF Research Database (Denmark)

    Grønhøj Larsen, Christian; Jørgensen, Karsten Juhl; Gøtzsche, Peter C

    2012-01-01

    To investigate whether Danish providers of general health checks present a balanced account of possible benefits and harms on their websites and whether the health checks are evidence-based.......To investigate whether Danish providers of general health checks present a balanced account of possible benefits and harms on their websites and whether the health checks are evidence-based....

  20. Annual Check-up

    Science.gov (United States)

    ... Medical Conditions Nutrition & Fitness Emotional Health Annual Check-Up Posted under Health Guides . Updated 24 April 2017. + ... I get ready for my annual medical check-up? If this is your first visit to your ...

  1. Checking Java Programs

    CERN Document Server

    Darwin, Ian

    2007-01-01

    This Short Cut tells you about tools that will improve the quality of your Java code, using checking above and beyond what the standard tools do, including: Using javac options, JUnit and assertions Making your IDE work harder Checking your source code with PMD Checking your compiled code (.class files) with FindBugs Checking your program's run-time behavior with Java PathFinder

  2. Model Checking Algorithms for CTMDPs

    DEFF Research Database (Denmark)

    Buchholz, Peter; Hahn, Ernst Moritz; Hermanns, Holger

    2011-01-01

    Continuous Stochastic Logic (CSL) can be interpreted over continuoustime Markov decision processes (CTMDPs) to specify quantitative properties of stochastic systems that allow some external control. Model checking CSL formulae over CTMDPs requires then the computation of optimal control strategies...... to prove or disprove a formula. The paper presents a conservative extension of CSL over CTMDPs—with rewards—and exploits established results for CTMDPs for model checking CSL. A new numerical approach based on uniformization is devised to compute time bounded reachability results for time dependent control...

  3. Clinical Wisdom among Proficient Nurses

    DEFF Research Database (Denmark)

    Uhrenfeldt, Lisbeth; Hall, Elisabeth

    2007-01-01

    This paperexamines clinical wisdom which has emerged from a broader study anout nurse managers´influence on proficient registered nurse turnover and retention. The purpose of the study was to increase understanding of proficient nurses´experience and clinical practice by giving voice to the nurses...

  4. THE BANGLADESHI EMPLOYMENT SECTOR: EMPLOYER PERSPECTIVES CONCERNING ENGLISH PROFICIENCY

    Directory of Open Access Journals (Sweden)

    Rubina Khan

    2012-07-01

    Full Text Available Abstract: This paper presents a brief summary of a study which was carried out to investigate how employers representing major employment sectors in the Bangladeshi Industry view the skills and English proficiency level of the current employees. Opinions were also solicited on what skills are required for fresh recruits. Semi-structured interviews were conducted with 30 employers representing the major employment sectors in Bangladeshi Industry. Results revealed the importance of English as an indispensible means of communication in the Bangladeshi corporate sector and showed that the business enterprises use extensive amounts of English. It also highlighted that the existent English proficiency of the employees was far below the required proficiency level. Recommendations were made to address the gap and prepare the youth to meet the demands of the global market. Keywords: English proficiency, competency, employability skills, global literacy skills

  5. checkCIF/PLATON (full publication check)

    Indian Academy of Sciences (India)

    O1W Check. Alert level C. ABSTY02_ALERT_1_C An _exptl_absorpt_correction_type has been given without a literature citation. This should be contained in the ... CELLZ01_ALERT_1_G WARNING: H atoms missing from atom site list. ... 7 ALERT type 1 CIF construction/syntax error, inconsistent or missing data. 8 ALERT ...

  6. Visual Checking of Spreadsheets

    OpenAIRE

    Chen, Ying; Chan, Hock Chuan

    2008-01-01

    The difference between surface and deep structures of a spreadsheet is a major cause of difficulty in checking spreadsheets. After a brief survey of current methods of checking (or debugging) spreadsheets, new visual methods of showing the deep structures are presented. Illustrations are given on how these visual methods can be employed in various interactive local and global debugging strategies.

  7. Spell Checks Not Foolproof.

    Science.gov (United States)

    Willis, Tony; Skubis, Rhett

    1994-01-01

    Discusses the use of spell checking and grammar checking software by high school journalists. Argues that, though they are useful, they are far from foolproof and are used best by students who have been taught the basics of spelling, editing, and grammatical writing. (SR)

  8. Proficiency Effect on L2 Pragmatic Competence

    Science.gov (United States)

    Xiao, Feng

    2015-01-01

    This paper synthesizes cross-sectional studies of the effect of proficiency on second language (L2) pragmatics to answer the synthesis question: Does proficiency affect adult learners' pragmatic competence? Findings have revealed an overall positive proficiency effect on pragmatic competence, and in most cases higher proficiency learners have…

  9. Model checking FTA

    OpenAIRE

    Thums, Andreas; Schellhorn, Gerhard

    2003-01-01

    Model checking FTA / A. Thums and G. Schellhorn . - In: Formal methods : Pisa, Italy, September 8 - 14, 2003 ; proceedings. - Berlin [u.a.] : Springer, 2003. - S. 739-757. - (Lecture notes in computer science ; 2805)

  10. Get Your Cholesterol Checked

    Science.gov (United States)

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

  11. Trainee-Associated Factors and Proficiency at Percutaneous Nephrolithotomy

    Directory of Open Access Journals (Sweden)

    Seyed Mohammad Kazem Aghamir

    2017-09-01

    Full Text Available Percutaneous nephrolithotomy (PNL is a complicated procedure for urology trainees. This study was designed to investigate the effect of trainees’ ages and previous experience, as well as the number of operated cases, on proficiency at PNL by using patient outcomes. A cross sectional observational study was designed during a five-year period. Trainees in PNL fellowship programs were included. At the end of the program, the trainees’ performance in PNL was assessed regarding five competencies and scored 1-5. If the overall score was 4 or above, the trainee was considered as proficient. The trainees’ age at the beginning of the program and the years passed from their residency graduation were asked and recorded. Also, the number of PNL cases operated by each trainee was obtained via their logbooks. The age, years passed from graduation, and number of operated cases were compared between two groups of proficient and non-proficient trainees. Univariate and multivariate binary logistic regression analysis was applied to estimate the effect of aforementioned variables on the occurrence of the proficiency. Forty-two trainees were included in the study. The mean and standard deviation for the overall score were 3.40 (out of 5 and 0.67, respectively. Eleven trainees (26.2% recognized as proficient in performing PNL. Univariate regression analysis indicated that each of three variables (age, years passed from graduation and number of operated cases had statistically significant effect on proficiency. However, the multivariate regression analysis revealed that just the number of cases had significant effect on achieving proficiency. Although it might be assumed that trainees’ age negatively correlates with their scores, in fact, it is their amount of practice that makes a difference. A certain number of cases is required to be operated by a trainee in order to reach the desired competency in PNL.

  12. Trainee-Associated Factors and Proficiency at Percutaneous Nephrolithotomy.

    Science.gov (United States)

    Aghamir, Seyed Mohammad Kazem; Behtash, Negar; Hamidi, Morteza; Farahmand, Hasan; Salavati, Alborz; Mortaz Hejri, Sara

    2017-07-01

    Percutaneous nephrolithotomy (PNL) is a complicated procedure for urology trainees. This study was designed to investigate the effect of trainees' ages and previous experience, as well as the number of operated cases, on proficiency at PNL by using patient outcomes. A cross sectional observational study was designed during a five-year period. Trainees in PNL fellowship programs were included. At the end of the program, the trainees' performance in PNL was assessed regarding five competencies and scored 1-5. If the overall score was 4 or above, the trainee was considered as proficient. The trainees' age at the beginning of the program and the years passed from their residency graduation were asked and recorded. Also, the number of PNL cases operated by each trainee was obtained via their logbooks. The age, years passed from graduation, and number of operated cases were compared between two groups of proficient and non-proficient trainees. Univariate and multivariate binary logistic regression analysis was applied to estimate the effect of aforementioned variables on the occurrence of the proficiency. Forty-two trainees were included in the study. The mean and standard deviation for the overall score were 3.40 (out of 5) and 0.67, respectively. Eleven trainees (26.2%) recognized as proficient in performing PNL. Univariate regression analysis indicated that each of three variables (age, years passed from graduation and number of operated cases) had statistically significant effect on proficiency. However, the multivariate regression analysis revealed that just the number of cases had significant effect on achieving proficiency. Although it might be assumed that trainees' age negatively correlates with their scores, in fact, it is their amount of practice that makes a difference. A certain number of cases is required to be operated by a trainee in order to reach the desired competency in PNL.

  13. Goat production check list

    DEFF Research Database (Denmark)

    Henriksen, Jørgen; Nielsen, Mette Benedicte Olaf; Madsen, Jørgen

    2009-01-01

    This check list, financed by DanChurchAid, highlights all issues should be carefully investigated before investing in distribution of goats and in interventions to assist poor rural communities to improve their livelihood through goat production.......This check list, financed by DanChurchAid, highlights all issues should be carefully investigated before investing in distribution of goats and in interventions to assist poor rural communities to improve their livelihood through goat production....

  14. Program Model Checking: A Practitioner's Guide

    Science.gov (United States)

    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.

  15. Verb-Noun Collocation Proficiency and Academic Years

    Directory of Open Access Journals (Sweden)

    Fatemeh Ebrahimi-Bazzaz

    2014-01-01

    Full Text Available Generally vocabulary and collocations in particular have significant roles in language proficiency. A collocation includes two words that are frequently joined concurrently in the memory of native speakers. There have been many linguistic studies trying to define, to describe, and to categorise English collocations. It contains grammatical collocations and lexical collocations which include nouns, adjectives, verbs, and adverb. In the context of a foreign language environment such as Iran, collocational proficiency can be useful because it helps the students improve their language proficiency. This paper investigates the possible relationship between verb-noun collocation proficiency among students from one academic year to the next. To reach this goal, a test of verb-noun collocations was administered to Iranian learners. The participants in the study were 212 Iranian students in an Iranian university. They were selected from the second term of freshman, sophomore, junior, and senior years. The students’ age ranged from 18 to 35.The results of ANOVA showed there was variability in the verb-noun collocations proficiency within each academic year and between the four academic years. The results of a post hoc multiple comparison tests demonstrated that the means are significantly different between the first year and the third and fourth years, and between the third and the fourth academic year; however, students require at least two years to show significant development in verb-noun collocation proficiency. These findings provided a vital implication that lexical collocations are learnt and developed through four academic years of university, but requires at least two years showing significant development in the language proficiency.

  16. Can i just check...? Effects of edit check questions on measurement error and survey estimates

    NARCIS (Netherlands)

    Lugtig, Peter; Jäckle, Annette

    2014-01-01

    Household income is difficult to measure, since it requires the collection of information about all potential income sources for each member of a household.Weassess the effects of two types of edit check questions on measurement error and survey estimates: within-wave edit checks use responses to

  17. Language proficiency and nursing registration.

    Science.gov (United States)

    Müller, Amanda

    2016-02-01

    This discussion paper focuses on English proficiency standards for nursing registration in Australia, how Australia has dealt with the issue of language proficiency, and the factors which have led to the establishment of the current language standards. Also, this paper will provide a comparison of the two language tests that are currently accepted in Australia (OET and IELTS), including the appropriateness of these tests and the minimum standards used. The paper will also examine the use of educational background as an indicator of language proficiency. Finally, communication-based complaints in the post-registration environment will be explored, and some discussion will be provided about why pre-registration measures might have failed to prevent such problematic situations from occurring. Copyright © 2015 Elsevier Ltd. All rights reserved.

  18. CMM Interim Check (U)

    Energy Technology Data Exchange (ETDEWEB)

    Montano, Joshua Daniel [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

    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.

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

    Science.gov (United States)

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Electronic checks and substitute checks. 240.3 Section 240.3 Money and Finance: Treasury Regulations Relating to Money and Finance... OF CHECKS DRAWN ON THE UNITED STATES TREASURY General Provisions § 240.3 Electronic checks and...

  20. Partial model checking

    DEFF Research Database (Denmark)

    Andersen, Henrik Reif

    1995-01-01

    A major obstacle in applying finite-state model checking to the verification of large systems is the combinatorial explosion of the state space arising when many loosely coupled parallel processes are considered. The problem also known as the state-explosion problem has been attacked from various...... sides. This paper presents a new approach based on partial model checking where parts of the concurrent system are gradually removed while transforming the specification accordingly. When the intermediate specifications constructed in this manner can be kept small, the state-explosion problem is avoided...

  1. 76 FR 66318 - Announcement of Funding Awards; Limited English Proficiency Initiative Program (LEPI), Fiscal...

    Science.gov (United States)

    2011-10-26

    ... URBAN DEVELOPMENT Announcement of Funding Awards; Limited English Proficiency Initiative Program (LEPI... funding under the Notice of Funding Availability (NOFA) for the Limited English Proficiency Initiative... INFORMATION: Executive Order 13166 signed in August 2000 requires all federal agencies to improve access to...

  2. Empirical Profiles of Academic Oral English Proficiency from an International Teaching Assistant Screening Test

    Science.gov (United States)

    Choi, Ikkyu

    2017-01-01

    Language proficiency constitutes a crucial barrier for prospective international teaching assistants (ITAs). Many US universities administer screening tests to ensure that ITAs possess the required academic oral English proficiency for their TA duties. Such ITA screening tests often elicit a sample of spoken English, which is evaluated in terms of…

  3. Technological Proficiency as a Key to Job Security. Trends and Issues Alert No. 6.

    Science.gov (United States)

    Imel, Susan

    Although not all current jobs require basic computer skills, technological advances in society have created new jobs and changed the ways many existing jobs are performed. Clearly, workers who are proficient in technology have a greater advantage in the current workplace and the need for technologically proficient workers will only continue to…

  4. Checking BEBC superconducting magnet

    CERN Multimedia

    CERN PhotoLab

    1974-01-01

    The superconducting coils of the magnet for the 3.7 m Big European Bubble Chamber (BEBC) had to be checked, see Annual Report 1974, p. 60. The photo shows a dismantled pancake. By December 1974 the magnet reached again the field design value of 3.5 T.

  5. check cif.pdf

    Indian Academy of Sciences (India)

    AMMIN

    2 ALERT type 4 Improvement, methodology, query or suggestion. 1 ALERT type 5 Informative message, check. It is advisable to attempt to resolve as many as possible of the alerts in all categories. Often the minor alerts point to easily fixed oversights, errors and omissions in your CIF or refinement strategy, so attention to.

  6. Proficiency and the Bilingual Lexicon.

    Science.gov (United States)

    Woutersen, Mirjam; And Others

    A study investigated lexical decision-making among Dutch-English bilinguals in the auditory modality. Subjects, bilinguals at three proficiency levels (intermediate, high, and near-native) were presented with 40 cognate and 40 non-cognate word pairs, a similar number of English and Dutch distractors, and a similar number of nonsense words in each…

  7. A French Speaking Proficiency Test.

    Science.gov (United States)

    Pimsleur, Paul

    An attempt to test students objectively in a five-part, French, speaking proficiency test is described and discussed. Concrete nouns, abstract words, pronunciation, syntax, and fluency are tested with a combination of tape and picture stimuli. Reliability, validity, and practical questions are raised; and previous aural-oral testing procedures are…

  8. Second Language Proficiency Assessment and Program Evaluation.

    Science.gov (United States)

    Nunan, David

    A discussion of the role of second language proficiency assessment in the evaluation of language programs argues that for four reasons, the use of proficiency is inappropriate as a central element in evaluation. The reasons are: (1) the construct of proficiency has not been operationalized in a way that enables it to be used usefully; (2)…

  9. Professor's Page: Is Understanding a Proficiency?

    Science.gov (United States)

    Askew, Mike

    2012-01-01

    The everyday use of "proficient" carries connotations of having reached a level of expertise. One would not describe someone stumbling through a rendition of "Chopsticks" as a proficient piano player; but novice pianists work on musical proficiencies--practicing scales or playing a polka--in parallel. They do not put off…

  10. Learning Disabled Children's Syntactic Proficiency on a Communicative Task.

    Science.gov (United States)

    Donahue, Mavis; And Others

    1982-01-01

    The syntactic proficiency of 67 learning disabled children was evaluated during a task requiring them to convey information to a listener. Learning disabled children in all grades were found to produce shorter mean main clauses than nondisabled children even on this relatively simple communicative task. (Author/SEW)

  11. Model Checking Feature Interactions

    DEFF Research Database (Denmark)

    Le Guilly, Thibaut; Olsen, Petur; Pedersen, Thomas

    2015-01-01

    This paper presents an offline approach to analyzing feature interactions in embedded systems. The approach consists of a systematic process to gather the necessary information about system components and their models. The model is first specified in terms of predicates, before being refined to t...... to timed automata. The consistency of the model is verified at different development stages, and the correct linkage between the predicates and their semantic model is checked. The approach is illustrated on a use case from home automation....

  12. Simple quantum password checking

    Science.gov (United States)

    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.

  13. Timing analysis by model checking

    Science.gov (United States)

    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.

  14. Automatic Injection Quality Checks for the LHC

    CERN Document Server

    Drosdal, L N; Jacquet, D; Gorbonosov, R; Jackson, S; Kain, V; Khasbulatov, D; Misiowiec, M; Wenninger, J; Zamantzas, C

    2011-01-01

    Twelve injections per beam are required to fill the LHC with the nominal filling scheme. The injected beam needs to fulfill a number of requirements to provide useful physics for the experiments when they take data at collisions later on in the LHC cycle. These requirements are checked by a dedicated software system, called the LHC injection quality check. At each injection, this system receives data about beam characteristics from key equipment in the LHC and analyzes it online to determine the quality of the injected beam after each injection. If the quality is insufficient, the automatic injection process is stopped, and the operator has to take corrective measures. This paper will describe the software architecture of the LHC injection quality check and the interplay with other systems. Results obtained during the LHC run 2011 will finally be presented.

  15. Proficiency test in the accreditation system

    Science.gov (United States)

    Legarda, F.; Herranz, M.; Idoeta, R.

    2008-08-01

    In the accreditation process of a radioactivity measurements laboratory, according to ISO standard 17025, proficiency tests play a fundamental role. These PTs constitute an irreplaceable tool for the validation of measuring methods. In the case of Spain, ENAC, which is the Spanish accreditation national body, requires that the laboratory has to take part in a PT for each one of the accredited measuring methods in the period of time between two reassessments of the accreditation, what happens every 4-5 years. In specific areas of determination procedures, among which radioactive measurements could be included, the number of methods which can be accredited is very large. The purpose of the present work is to establish a classification into families of the different radioactivity measurement procedures, as well as to establish complementary actions that guarantee that carrying out periodically proficiency-tests on any of the included procedures in each family, every measurement procedure include in that family is controlled, complying with the criteria established by ENAC.

  16. Motor Proficiency in Young Children

    OpenAIRE

    Fotini Venetsanou; Antonis Kambas

    2016-01-01

    This study aimed to examine motor proficiency in young children, focusing on potential gender differences. For that purpose, the Bruininks-Oseretsky Test of Motor Proficiency–Long Form (BOTMP-LF) was administered to 540 children (272 boys), 4½ to 6 years old. First, the 2 (sex) × 4 (age groups) ANOVA computed on children’s total BOTMP-LF scores showed that age had a statistically significant effect, whereas gender did ...

  17. Check, check, double check: checking the autopilot causes distrust : Experimental studies on the effects of compulsive perseveration

    NARCIS (Netherlands)

    Dek, E.C.P.

    2015-01-01

    Obsessive-compulsive disorder (OCD) is characterized by persistent doubt. The majority of patients with OCD engage in repeated checking to reduce these feelings of uncertainty. However, numerous studies demonstrated that repetitive behavior ironically increases uncertainty: perseverative checking

  18. Magnetic Check Valve

    Science.gov (United States)

    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.

  19. Improving English proficiency of post-graduate international nursing students seeking further qualifications and continuing education in foreign countries.

    Science.gov (United States)

    Chiang, Vico; Crickmore, Barbara-Lee

    2009-07-01

    Post-graduate international nursing students who seek continuing education are accepted by nursing programs in a number of Western countries. Teaching experience from an Australian school of nursing program reflected that although these students demonstrated the minimum English proficiency required by the university, advanced English and communication proficiency related to clinical practice was required when they received clinical placements in an unfamiliar environment.

  20. Online treatment compliance checking for clinical pathways.

    Science.gov (United States)

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

    2014-10-01

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

  1. Partial Model Checking with ROBDDs

    DEFF Research Database (Denmark)

    Andersen, Henrik Reif; Maretti, Niels; Staunstrup, Jørgen

    1997-01-01

    This paper introduces a technique for localizing model checking of concurrent state-based systems. The technique, called partial model checking, isfully automatic and performs model checking by gradually specializing the specification with respect to the concurrent components one by one...

  2. Proficiency and Linguistic Complexity Influence Speech Motor Control and Performance in Spanish Language Learners.

    Science.gov (United States)

    Nip, Ignatius S B; Blumenfeld, Henrike K

    2015-06-01

    Second-language (L2) production requires greater cognitive resources to inhibit the native language and to retrieve less robust lexical representations. The current investigation identifies how proficiency and linguistic complexity, specifically syntactic and lexical factors, influence speech motor control and performance. Speech movements of 29 native English speakers with low or high proficiency in Spanish were recorded while producing simple and syntactically complex sentences in English and Spanish. Sentences were loaded with cognate (e.g., baby-bebé) or noncognate (e.g., dog-perro) words. Effects of proficiency, lexicality (cognate vs. noncognate), and syntactic complexity on maximum speed, range of movement, duration, and speech movement variability were examined. In general, speakers with lower L2 proficiency differed in their speech motor control and performance from speakers with higher L2 proficiency. Speakers with higher L2 proficiency generally had less speech movement variability, shorter phrase durations, greater maximum speeds, and greater ranges of movement. In addition, lexicality and syntactic complexity affected speech motor control and performance. L2 proficiency, lexicality, and syntactic complexity influence speech motor control and performance in adult L2 learners. Information about relationships between speech motor control, language proficiency, and cognitive-linguistic demands may be used to assess and treat bilingual clients and language learners.

  3. Arthroscopic proficiency: methods in evaluating competency

    Science.gov (United States)

    2013-01-01

    Background The current paradigm of arthroscopic training lacks objective evaluation of technical ability and its adequacy is concerning given the accelerating complexity of the field. To combat insufficiencies, emphasis is shifting towards skill acquisition outside the operating room and sophisticated assessment tools. We reviewed (1) the validity of cadaver and surgical simulation in arthroscopic training, (2) the role of psychomotor analysis and arthroscopic technical ability, (3) what validated assessment tools are available to evaluate technical competency, and (4) the quantification of arthroscopic proficiency. Methods The Medline and Embase databases were searched for published articles in the English literature pertaining to arthroscopic competence, arthroscopic assessment and evaluation and objective measures of arthroscopic technical skill. Abstracts were independently evaluated and exclusion criteria included articles outside the scope of knee and shoulder arthroscopy as well as original articles about specific therapies, outcomes and diagnoses leaving 52 articles citied in this review. Results Simulated arthroscopic environments exhibit high levels of internal validity and consistency for simple arthroscopic tasks, however the ability to transfer complex skills to the operating room has not yet been established. Instrument and force trajectory data can discriminate between technical ability for basic arthroscopic parameters and may serve as useful adjuncts to more comprehensive techniques. There is a need for arthroscopic assessment tools for standardized evaluation and objective feedback of technical skills, yet few comprehensive instruments exist, especially for the shoulder. Opinion on the required arthroscopic experience to obtain proficiency remains guarded and few governing bodies specify absolute quantities. Conclusions Further validation is required to demonstrate the transfer of complex arthroscopic skills from simulated environments to the

  4. The Effect of Practicing Mental Calculation Strategies on Teacher Candidates’ Numeracy Proficiency

    OpenAIRE

    Masooma Ali Al Mutawah

    2016-01-01

    This study was conducted on year 4 students enrolled in the Bachelor of Education program for Cycle one teacher candidates. The effect of practicing mental calculation strategies in improving students’ numeracy proficiency was put under some tests to measure its effect in a scientific way. A Pre-quiz was conducted before with no prior practice done in order to check the strategies the students were using in performing calculations. After four weeks practice and implementation which focused ma...

  5. ROLE OF ANXIETY TOWARDS ACHIEVING ORAL PROFICIENCY SKILLS AMONG ESL LEARNERS

    OpenAIRE

    Lodhi, Muhammad Arfan; ,

    2017-01-01

    The current researchstudy was empirical in nature .The main focus of the study was to investigate therole of anxiety in the oral proficiency of ESL learners.  So this study attempts to find out the reasonsbehind students’ anxiety while speaking in English inside and outside the ESLclassroom. Thirty five students of intermediate level at S.E College Bahawalpurwere chosen as sample for this study. To check the notion that how and why studentsfeel anxiety while speaking English as their...

  6. Academic Proficiency (Language and Content) and the Role of Strategies

    Science.gov (United States)

    Krashen, Stephen

    2011-01-01

    This report continues the work of Krashen and Brown (2007), developing and evaluating a set of hypotheses for the development of academic proficiency. That article defined academic proficiency as having two components: academic language proficiency and knowledge of academic content.

  7. NCES Finds States Lowered "Proficiency" Bar

    Science.gov (United States)

    Viadero, Debra

    2009-01-01

    With 2014 approaching as the deadline by which states must get all their students up to "proficient" levels on state tests, a study released last week by the U.S. Department of Education's top statistics agency suggests that some states may have lowered student-proficiency standards on such tests in recent years. For the 47-state study,…

  8. Common Educational Proficiency Assessment (CEPA) in English

    Science.gov (United States)

    Coombe, Christine; Davidson, Peter

    2014-01-01

    The Common Educational Proficiency Assessment (CEPA) is a large-scale, high-stakes, English language proficiency/placement test administered in the United Arab Emirates to Emirati nationals in their final year of secondary education or Grade 12. The purpose of the CEPA is to place students into English classes at the appropriate government…

  9. Measuring receptive collocational competence across proficiency ...

    African Journals Online (AJOL)

    The present study investigates (i) English as Foreign Language (EFL) learners' receptive collocational knowledge growth in relation to their linguistic proficiency level; (ii) how much receptive collocational knowledge is acquired as linguistic proficiency develops; and (iii) the extent to which receptive knowledge of ...

  10. Intelligibility and Perceptions of English Proficiency

    Science.gov (United States)

    Rooy, Susan Coetzee-Van

    2009-01-01

    More and more learners of English from the Expanding Circle are travelling to Outer Circle contexts to learn English or to improve their English proficiency. This is also the case for some Korean families who moved to Potchefstroom, South Africa. This phenomenon poses challenges in terms of assessment of English proficiency, and emphasizes the…

  11. Language proficiency: Current strategies, future remedies ...

    African Journals Online (AJOL)

    Language proficiency among young South Africans is low. This is true not only of mother tongue speakers of English and Afrikaans, but also, and especially, of non-mother tongue speakers of English, among whom language proficiency levels raise serious concern. Some examples are given to illustrate the importance of ...

  12. 14 CFR 61.98 - Flight proficiency.

    Science.gov (United States)

    2010-01-01

    ... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Flight proficiency. 61.98 Section 61.98... CERTIFICATION: PILOTS, FLIGHT INSTRUCTORS, AND GROUND INSTRUCTORS Recreational Pilots § 61.98 Flight proficiency... and flight training from an authorized instructor on the areas of operation of this section that apply...

  13. 14 CFR 61.187 - Flight proficiency.

    Science.gov (United States)

    2010-01-01

    ... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Flight proficiency. 61.187 Section 61.187... CERTIFICATION: PILOTS, FLIGHT INSTRUCTORS, AND GROUND INSTRUCTORS Flight Instructors Other than Flight Instructors With a Sport Pilot Rating § 61.187 Flight proficiency. (a) General. A person who is applying for a...

  14. 14 CFR 61.107 - Flight proficiency.

    Science.gov (United States)

    2010-01-01

    ... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Flight proficiency. 61.107 Section 61.107... CERTIFICATION: PILOTS, FLIGHT INSTRUCTORS, AND GROUND INSTRUCTORS Private Pilots § 61.107 Flight proficiency. (a) General. A person who applies for a private pilot certificate must receive and log ground and flight...

  15. Mapping State Proficiency Standards Onto NAEP Scales: 2005-2007. Research and Development Report. NCES 2010-456

    Science.gov (United States)

    Bandeira de Mello, Victor; Blankenship, Charles; McLaughlin, Don

    2009-01-01

    Since 2003, the National Center for Education Statistics (NCES) has compared each state's standard for proficient performance in reading and mathematics by placing the state standards onto the NAEP scale. The procedure, "mapping," allows the level of achievement required for proficient performance in one state to be compared with the…

  16. Check in / check uit. De digitalisering van de openbare ruimte.

    NARCIS (Netherlands)

    van t Hof, C.C.G.; van Est, R.; Daemen, F.

    2010-01-01

    Camera’s op straat, een chipkaart in het openbaar vervoer en straks ook landkaarten met live beelden. Het boek Check in / Check uit. De digitalisering van de openbare ruimte laat zien dat de informatiesamenleving een nieuwe fase ingaat waarin de openbare ruimte verder digitaliseert. Dagelijkse

  17. Checking chess checks with chunks: A model of simple check detection

    OpenAIRE

    Smith, RL; Gobet, F; Lane, PCR

    2009-01-01

    The procedure by which humans identify checks in check positions is not well understood. We report here our experience in modelling this process with CHREST, a general-purpose cognitive model that has previously successfully captured a variety of attention- and perception-related phenomena. We have attempted to reproduce the results of an experiment investigating the ability of humans to determine checks in simple chess positions. We propose a specific model of how humans perform this experi...

  18. Compositional Reasoning in Model Checking

    Science.gov (United States)

    1998-02-02

    The main problem in model checking that prevents it from being used for verification of large systems is the state explosion problem. This problem...the systems that model checkers can handle. We describe several compositional model checking techniques used in practice and show a few examples demonstrating their performance.

  19. Compositional and Quantitative Model Checking

    DEFF Research Database (Denmark)

    Larsen, Kim Guldstrand

    2010-01-01

    This paper gives a survey of a composition model checking methodology and its succesfull instantiation to the model checking of networks of finite-state, timed, hybrid and probabilistic systems with respect; to suitable quantitative versions of the modal mu-calculus [Koz82]. The method is based...

  20. ASTRONAUT ALDRIN UNDERGOES SPACESUIT CHECKS

    Science.gov (United States)

    1969-01-01

    ASTRONAUT ALDRIN UNDERGOES SPACESUIT CHECKS KSC-69PC-0374 69-HC-742,S-266,ARCHIVE-00337 White undergoing spacesuit checks, Apollo 11 lunar module pilot Edwin E. Aldrin, Jr., watches Astronauts Neil A. Armstrong and Michael Collins suit up for launch.

  1. Check, check, double check: checking the autopilot causes distrust : Experimental studies on the effects of compulsive perseveration

    OpenAIRE

    Dek, E.C.P.

    2015-01-01

    Obsessive-compulsive disorder (OCD) is characterized by persistent doubt. The majority of patients with OCD engage in repeated checking to reduce these feelings of uncertainty. However, numerous studies demonstrated that repetitive behavior ironically increases uncertainty: perseverative checking increases memory uncertainty, staring induces uncertainty about perception, compulsive cleaning leads to uncertainty about contamination, and repeating sentences induces uncertainty about the meaning...

  2. Model Checking as Static Analysis

    DEFF Research Database (Denmark)

    Zhang, Fuyuan

    to a multi-valued setting, and we therefore obtain a multivalued analysis for temporal properties specied by CTL formulas. In particular, we have shown that the three-valued CTL model checking problem over Kripke modal transition systems can be exactly encoded in three-valued ALFP. Last, we come back to two-valued......Both model checking and static analysis are prominent approaches to detecting software errors. Model Checking is a successful formal method for verifying properties specified in temporal logics with respect to transition systems. Static analysis is also a powerful method for validating program...... properties which can predict safe approximations to program behaviors. In this thesis, we have developed several static analysis based techniques to solve model checking problems, aiming at showing the link between static analysis and model checking. We focus on logical approaches to static analysis...

  3. UML and Model Checking

    Science.gov (United States)

    Schneider, F.

    1999-01-01

    UML use cases conceptually identify function points or major requirements that a software system must satisfy. Sequence diagrams expand each use case to show in temporal sequence a more detailed notion of intended system behavior.

  4. Measuring receptive collocational competence across proficiency levels

    Directory of Open Access Journals (Sweden)

    Déogratias Nizonkiza

    2015-12-01

    Full Text Available The present study investigates, (i English as Foreign Language (EFL learners’ receptive collocational knowledge growth in relation to their linguistic proficiency level; (ii how much receptive collocational knowledge is acquired as proficiency develops; and (iii the extent to which receptive knowledge of collocations of EFL learners varies across word frequency bands. A proficiency measure and a collocation test were administered to English majors at the University of Burundi. Results of the study suggest that receptive collocational competence develops alongside EFL learners’ linguistic proficiency; which lends empirical support to Gyllstad (2007, 2009 and Author (2011 among others, who reported similar findings. Furthermore, EFL learners’ collocations growth seems to be quantifiable wherein both linguistic proficiency level and word frequency occupy a crucial role. While more gains in terms of collocations that EFL learners could potentially add as a result of change in proficiency are found at lower levels of proficiency; collocations of words from more frequent word bands seem to be mastered first, and more gains are found at more frequent word bands. These results confirm earlier findings on the non-linearity nature of vocabulary growth (cf. Meara 1996 and the fundamental role played by frequency in word knowledge for vocabulary in general (Nation 1983, 1990, Nation and Beglar 2007, which are extended here to collocations knowledge.

  5. Clinical teachers' perceptions of medical students' English language proficiency.

    Science.gov (United States)

    Chur-Hansen, A; Vernon-Roberts, J

    1998-07-01

    Medical educators from the Faculty of Medicine at the University of Adelaide, South Australia, have expressed reservations about the adequacy of some undergraduate medical students' English language proficiency for satisfactory academic and clinical performance. This study explores the occurrence and nature of the comments made in writing by clinical teachers about the English language proficiency of 568 students over a period of 4 years. The frequency and nature of the comments made by clinicians have important implications for the planning and implementation of pedagogical strategies to support non-English-speaking background medical students experiencing difficulties with their course due to language. Although the University of Adelaide has introduced initiatives in response to some of the problems that have been identified, it is recommended that any teaching interventions require careful evaluation through a longitudinal research design to ensure that their aims are being achieved.

  6. 14 CFR 61.127 - Flight proficiency.

    Science.gov (United States)

    2010-01-01

    ... CERTIFICATION: PILOTS, FLIGHT INSTRUCTORS, AND GROUND INSTRUCTORS Commercial Pilots § 61.127 Flight proficiency. (a) General. A person who applies for a commercial pilot certificate must receive and log ground and...

  7. Limited english proficiency accessibility program : demonstration program.

    Science.gov (United States)

    2013-03-01

    In 2006, the Tri-County Metropolitan Transportation District of Oregon (TriMet) secured grant funding from the Federal Transit Administration : (FTA) that enabled the agency to launch a creative and ambitious Limited English Proficiency (LEP) demonst...

  8. Lessons Learned Model Checking an Industrial Communications Library

    National Research Council Canada - National Science Library

    Ivers, James

    2005-01-01

    Model checking is a fully automated formal verification technology that can be used to determine whether models of software satisfy behavioral requirements in such areas as safety, reliability, and security...

  9. Model Checking Discounted Temporal Properties

    Science.gov (United States)

    2005-03-13

    the micro-calculus evaluation of C(sub TL) formulas. We show that, while these semantics coincide for C(sub TL), they differ for D(sub CTL), and we provide model - checking algorithms for both semantics.

  10. Treasury Check Verification Query (TCVQ)

    Data.gov (United States)

    Social Security Administration — The TCVQ system determines the SSN of an individual whose check has been returned to a local field office. The FO is able to request this information via the TCVQ...

  11. Body checking behaviors in men.

    Science.gov (United States)

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

    2009-06-01

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

  12. Coverage Metrics for Model Checking

    Science.gov (United States)

    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.

  13. Body checking behaviors in men

    OpenAIRE

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

    2009-01-01

    Males have been facing increasing pressure from the media to attain a lean, muscular physique, and are at risk for body dissatisfaction, disturbed eating and exercise behaviors, and abuse of appearance- and performance-enhancing drugs (APEDs). The aim of the current study was to examine the relationship between body checking and mood, symptoms of muscle dysmorphia, importance of shape and weight, and APED use in undergraduate males. Body checking in males was correlated with weight and shape ...

  14. Statistical Model Checking of Rich Models and Properties

    DEFF Research Database (Denmark)

    Poulsen, Danny Bøgsted

    Software is in increasing fashion embedded within safety- and business critical processes of society. Errors in these embedded systems can lead to human casualties or severe monetary loss. Model checking technology has proven formal methods capable of finding and correcting errors in software....... However, software is approaching the boundary in terms of the complexity and size that model checking can handle. Furthermore, software systems are nowadays more frequently interacting with their environment hence accurately modelling such systems requires modelling the environment as well - resulting...... in undecidability issues for the traditional model checking approaches. Statistical model checking has proven itself a valuable supplement to model checking and this thesis is concerned with extending this software validation technique to stochastic hybrid systems. The thesis consists of two parts: the first part...

  15. Slicing AADL Specifications for Model Checking

    Science.gov (United States)

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

    2010-01-01

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

  16. Modern Trends in Airport Self Check-in Kiosks

    Directory of Open Access Journals (Sweden)

    Jarmila Sabatová

    2016-10-01

    Full Text Available Due to maintain the flow of the check-in process of air passengers, it is essential that services that ensure this process have been carried as quickly and effectively. One of the major current problems in this area is the efficiency of clearance of a large number of passengers over the check-in counters. By the gradual development of so-called self check-in services eventually delegate some activities in check-in process to passengers and the entire clearance process to speed up. In this article the authors deal with current state of the use of self check-in services in the world and predict the expected evolution of these services in the future. Subsequently, the authors present a new design of self-service kiosk and graphical user interface (GUI of application such self-service check-in kiosk based on the analysis of the functions and features of similar solutions available on the market and with considering all currently known IATA requirements and the criteria relating to disabled passengers in order to lighten the load check-in counters and thereby accelerated the clearance of the passenger at the airport. The aim of the authors was to create a cost competitive solution offering such new features and services that do not offer other solutions, with an emphasis on improving the efficiency of the check-in process of passengers at the airport.

  17. Production mask composition checking flow

    Science.gov (United States)

    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.

  18. New Challenges in Model Checking

    Science.gov (United States)

    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.

  19. Transaction management with integrity checking

    DEFF Research Database (Denmark)

    Martinenghi, Davide; Christiansen, Henning

    2005-01-01

    Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typically up to the database designer and application programmer to enforce integrity via triggers or tests at the application level......, which are difficult to maintain and error prone. Two important aspects must be taken care of. 1.~It is too time consuming to check integrity constraints from scratch after each update, so simplified checks before each update should be used relying on the assumption that the current state is consistent...

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

    Science.gov (United States)

    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.

  1. Implementing Model-Check for Employee and Management Satisfaction

    Science.gov (United States)

    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.

  2. PREREQUISITE PROGRAMMES IN OWN CHECKS IN STATUTORY AND VOLUNTARY LEGISLATION

    Directory of Open Access Journals (Sweden)

    E. Guidi

    2012-08-01

    Full Text Available Prerequisite Programmes approach is a requirement for implementing a correct own check plan. This new approach, born according to the European Legislation, is completely recognized by third Nation Authorities and private Inspection and Accreditation Bodies. This method is the basis to verify if an own check system is under control and to verify if corrective actions are built up to warrant hygienic production standards. The present work demonstrate that a correct own check plan is built up only by a Pre Requisites Program approach. The new UNI EN ISO 22000:2005 standard describe this concept specifying the difference between PRP and CCP.

  3. Beyond English proficiency: rethinking immigrant integration.

    Science.gov (United States)

    Akresh, Ilana Redstone; Massey, Douglas S; Frank, Reanne

    2014-05-01

    We develop and test a conceptual model of English language acquisition and the strength of the latter in predicting social and cultural assimilation. We present evidence that the path to English proficiency begins with exposure to English in the home country and on prior U.S. trips. English proficiency, then, has direct links to the intermediate migration outcomes of occupational status in the U.S., the amount of time in the U.S. since the most recent trip, and the co-ethnic residential context in the U.S. In turn, pre-migration characteristics and the intermediate characteristics work in tandem with English proficiency to determine social assimilation in the U.S., while cultural assimilation is primarily determined by pre-migration habits. A shift in focus to English use is desirable in studies of immigrant integration. Copyright © 2014 Elsevier Inc. All rights reserved.

  4. Beyond English Proficiency: Rethinking Immigrant Integration

    Science.gov (United States)

    Akresh, Ilana Redstone; Massey, Douglas S.; Frank, Reanne

    2014-01-01

    We develop and test a conceptual model of English language acquisition and the strength of the latter in predicting social and cultural assimilation. We present evidence that the path to English proficiency begins with exposure to English in the home country and on prior U.S. trips. English proficiency, then, has direct links to the intermediate migration outcomes of occupational status in the U.S., the amount of time in the U.S. since the most recent trip, and the co-ethnic residential context in the U.S. In turn, pre-migration characteristics and the intermediate characteristics work in tandem with English proficiency to determine social assimilation in the U.S., while cultural assimilation is primarily determined by pre-migration habits. A shift in focus to English use is desirable in studies of immigrant integration. PMID:24576636

  5. Advances in Probabilistic Model Checking

    NARCIS (Netherlands)

    Katoen, Joost P.; Barthe, G.; Hermenegildo, M.

    Random phenomena occur in many applications: security, communication protocols, distributed algorithms, and performance and dependability analysis, to mention a few. In the last two decades, efficient model-checking algorithms and tools have been developed to support the automated verification of

  6. Reducing Lookups for Invariant Checking

    DEFF Research Database (Denmark)

    Thomsen, Jakob Grauenkjær; Clausen, Christian; Andersen, Kristoffer Just

    2013-01-01

    This paper helps reduce the cost of invariant checking in cases where access to data is expensive. Assume that a set of variables satisfy a given invariant and a request is received to update a subset of them. We reduce the set of variables to inspect, in order to verify that the invariant is still...

  7. Model checking embedded system designs

    NARCIS (Netherlands)

    Brinksma, Hendrik; Mader, Angelika H.

    2002-01-01

    Model checking has established itself as a successful tool supported technique for the verification and debugging of various hardware and software systems [16]. Not only in academia, but also by industry this technique is increasingly being regarded as a promising and practical proposition,

  8. Model Checking Markov Chains: Techniques and Tools

    NARCIS (Netherlands)

    Zapreev, I.S.

    2008-01-01

    This dissertation deals with four important aspects of model checking Markov chains: the development of efficient model-checking tools, the improvement of model-checking algorithms, the efficiency of the state-space reduction techniques, and the development of simulation-based model-checking

  9. Optimal database locks for efficient integrity checking

    DEFF Research Database (Denmark)

    Martinenghi, Davide

    2004-01-01

    In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set of transactions. Integrity constraints add further semantic requirements to the correctness of the database states reached upon...... the execution of update transactions. Several methods for efficient integrity checking and enforcing exist. We show in this paper how to apply one such method to automatically extend update transactions with locks and simplified consistency tests on the locked entities. All schedules produced in this way...... are conflict serializable and preserve consistency. For certain classes of databases we also guarantee that the amount of locked database entities is minimal....

  10. The 2010 Global Proficiency Study of Human Papillomavirus Genotyping in Vaccinology

    Science.gov (United States)

    Eklund, Carina; Forslund, Ola; Wallin, Keng-Ling; Zhou, Tiequn

    2012-01-01

    Accurate and internationally comparable human papillomavirus (HPV) DNA genotyping is essential both for evaluation of HPV vaccines and for effective monitoring and implementation of vaccination programs. The World Health Organization (WHO) HPV Laboratory Network (LabNet) regularly issues international proficiency studies. The 2010 HPV genotyping proficiency panel for HPV vaccinology contained 43 coded samples composed of purified plasmids of 16 HPV types (HPV types 6, 11, 16, 18, 31, 33, 35, 39, 45, 51, 52, 56, 58, 59, 66, and 68a and 68b) and 3 coded extraction controls. Proficient typing was defined as detection in both single and multiple infections of 50 international units (IU) of HPV type 16 (HPV-16) and HPV-18 DNA and 500 genome equivalents (GE) for the other 14 HPV types. Ninety-eight laboratories worldwide submitted a total of 132 data sets. Twenty-four different HPV genotyping assay methods were used, with Linear Array being the most commonly used. Other major assays used were a line blot assay (Inno-LiPa), CLART, type-specific real-time PCR, PCR Luminex, and different microarray assays. Altogether, 72 data sets were proficient for detection of more than 1 type, and only 26 data sets proficiently detected all 16 HPV types. The major oncogenic HPV types, 16 and 18, were proficiently detected in 95.0% (114/120) and 87.0% (94/108) of data sets, respectively. Forty-six data sets reported multiple false-positive results and were considered nonproficient. A trend toward increased sensitivity of assays was seen for the 41 laboratories that participated in both 2008 and 2010. In conclusion, continued global proficiency studies will be required for establishing comparable and reliable HPV genotyping services for vaccinology worldwide. PMID:22535980

  11. ESL Proficiency and a Word Frequency Count.

    Science.gov (United States)

    Harlech-Jones, Brian

    1983-01-01

    In a study of the vocabulary proficiency of some South African ESL teacher trainees, the General Service List of English Words' validity was evaluated. It was found that mastery of this list would meet most of the vocabulary needs of the test group. Recommendations are made for practical uses of word counts. (MSE)

  12. Discrepancies between perceptions of English proficiency and ...

    African Journals Online (AJOL)

    Empirical data that indicate a discrepancy between perceptions and scores on English tests among South African participants (1998-2011) are reported. A discrepancy between perceptions of English proficiency and scores on English tests is important because of its potential impact on language learner motivation. It will be ...

  13. Measuring Task Proficiency with Tailored Response Testing.

    Science.gov (United States)

    Baker, Herbert George; And Others

    Tailored Response Testing (TRT) is a new type of test that has demonstrated its applicability to the evaluation of human performance in a wide variety of occupations and work settings. The Navy is using TRT to measure the technical proficiency of job incumbents in three of its jobs. The methodology holds great promise for testing aboard ships as…

  14. Crime Laboratory Proficiency Testing Research Program.

    Science.gov (United States)

    Peterson, Joseph L.; And Others

    A three-year research effort was conducted to design a crime laboratory proficiency testing program encompassing the United States. The objectives were to: (1) determine the feasibility of preparation and distribution of different classes of physical evidence; (2) assess the accuracy of criminalistics laboratories in the processing of selected…

  15. One Hundred Percent Proficiency: A Mission Impossible

    Science.gov (United States)

    Haas, Eric; Wilson, Glen; Cobb, Casey; Rallis, Sharon

    2005-01-01

    Applying microeconomic theory to No Child Left Behind predicts that its use of significant consequences for schools that do not reach 100% proficiency on rigorous standardized tests by 2014 will likely prevent most, if not all schools, from providing a high-quality education for their students. The central problem is cost. Quality assurance models…

  16. Current Proficiency Testing: A Reflection of Teaching.

    Science.gov (United States)

    Irvine-Niakaris, Christine

    1997-01-01

    Looks at the washback effect in language testing, using as an example the new University of Michigan Examination for Certificate of Competency (ECCE), designed for intermediate- to upper-intermediate level learners. The ECCE can be considered an example of the movement toward achievement-oriented proficiency tests. (Author/VWL)

  17. 14 CFR 61.157 - Flight proficiency.

    Science.gov (United States)

    2010-01-01

    ... 14 Aeronautics and Space 2 2010-01-01 2010-01-01 false Flight proficiency. 61.157 Section 61.157... CERTIFICATION: PILOTS, FLIGHT INSTRUCTORS, AND GROUND INSTRUCTORS Airline Transport Pilots § 61.157 Flight... and log ground and flight training from an authorized instructor on the areas of operation under this...

  18. Moving Readers from Struggling to Proficient

    Science.gov (United States)

    Wolter, Deborah

    2017-01-01

    If we want to move children from struggling to read to being proficient readers, we must address the disparate ways that teachers respond to readers with varying abilities. Restorative practices, akin to restorative justice, build relationships, make connections, and foster a reader's sense of ownership and empowerment. What would happen if…

  19. 5 CFR 9901.364 - Foreign language proficiency pay.

    Science.gov (United States)

    2010-01-01

    ... 5 Administrative Personnel 3 2010-01-01 2010-01-01 false Foreign language proficiency pay. 9901... Foreign Language Proficiency Pay (FLPP) if they are certified as proficient in a foreign language the... annual list of foreign languages necessary for national security interests and to establish overall...

  20. Time to English Reading Proficiency. Research Brief. RB 1201

    Science.gov (United States)

    Shneyderman, Aleksandr; Froman, Terry

    2012-01-01

    The time it takes for an English Language Learner (ELL) to reach reading proficiency in English depends on the grade level of entry into the English for Speakers of Other Languages (ESOL) program and on the student's initial English proficiency level. The summary table below presents the average years to English proficiency across different grade…

  1. 34 CFR 300.27 - Limited English proficient.

    Science.gov (United States)

    2010-07-01

    ... 34 Education 2 2010-07-01 2010-07-01 false Limited English proficient. 300.27 Section 300.27... CHILDREN WITH DISABILITIES General Definitions Used in This Part § 300.27 Limited English proficient. Limited English proficient has the meaning given the term in section 9101(25) of the ESEA. (Authority: 20...

  2. Profiles in Bilingualism: Factors Influencing Kindergartners' Language Proficiency

    Science.gov (United States)

    Dixon, L. Quentin; Wu, Shuang; Daraghmeh, Ahlam

    2012-01-01

    Three common assumptions concerning bilingual children's language proficiency are: (1) their proficiency in two languages is usually unbalanced; (2) low socioeconomic status (SES) indicates low proficiency in both languages; and (3) encouraging parents to speak some societal language at home will promote its development. Examining the vocabulary…

  3. Segmentation and accuracy-based scores for the automatic assessment of oral proficiency for proficient L2 speakers

    CSIR Research Space (South Africa)

    De Wet, Febe

    2010-11-01

    Full Text Available This paper reports on the automatic assessment of oral proficiency for advanced second language speakers. A spoken dialogue system is used to guide students through an oral test and to record their answers. Indicators of oral proficiency...

  4. Program Analysis as Model Checking

    DEFF Research Database (Denmark)

    Olesen, Mads Chr.

    Software programs are proliferating throughout modern life, to a point where even the simplest appliances such as lightbulbs contain software, in addition to the software embedded in cars and airplanes. The correct functioning of these programs is therefore of the utmost importance, for the quality...... and sustenance of life. Due to the complexity inherent in the software it can be very difficult for the software developer to guarantee the absence of errors; automated support in the form of automated program analysis is therefore essential. Two methods have traditionally been proposed: model checking...... and abstract interpretation. Model checking views the program as a finite automaton and tries to prove logical properties over the automaton model, or present a counter-example if not possible — with a focus on precision. Abstract interpretation translates the program semantics into abstract semantics...

  5. Do proficiency testing participants learn from their mistakes? Experience from the EXCEL throat culture module.

    Science.gov (United States)

    Novak, Robert W

    2002-02-01

    Participation in proficiency testing is required under the Clinical Laboratory Improvement Amendments of 1988. Although the primary purpose of this testing is evaluation of current laboratory performance, a major secondary benefit of such testing is postulated to be progressive improvement in laboratory performance over time as laboratories learn from their previous experiences and feedback. To test the hypothesis that a secondary result of proficiency testing is improvement over time of laboratory performance. The performance of participants in a large proficiency testing program (EXCEL), designed for clinic and office laboratories, on a specific problematic competence, the ability to differentiate group A streptococcus from group C streptococci, was monitored during a 6-year period (1996-2001) for changes in participant performance. With each testing cycle, feedback on performance relative to peers and an educational discussion analyzing performance and suggesting best practices was submitted to participants. Despite consistent feedback, there was no significant change in participant performance throughout the period studied. In a large, stable proficiency testing program, a significant throat culture competence, which demonstrated less than optimal performance, did not improve over time, suggesting that current utilization of proficiency testing results in laboratory improvement programs is suboptimal.

  6. Recommending a minimum English proficiency standard for entry-level nursing.

    Science.gov (United States)

    O'Neill, Thomas R; Marks, Casey; Wendt, Anne

    2005-01-01

    The purpose of this research was to provide sufficient information to the National Council of State Boards of Nursing (NCSBN) to make a defensible recommended passing standard for English proficiency. This standard was based upon the Test of English as a Foreign Language (TOEFL). A large panel of nurses and nurse regulators (N = 25) was convened to determine how much English proficiency is required to be minimally competent as an entry-level nurse. Two standard setting procedures were combined to produce recommendations for each panelist. In conjunction with collateral information, these recommendations were reviewed by the NCSBN Examination Committee, which decided upon an NCSBN recommended standard, a TOEFL score of 220.

  7. Quality control of the analysis of histamine in fish by proficiency test

    Science.gov (United States)

    Evangelista, Warlley P.; Tette, Patrícia A. S.; Gloria, Maria Beatriz A.

    2015-01-01

    The analysis of histamine is required by the European Union for the importation of tuna and other Scombroid fish. The aim of this study was to investigate the quality of the analysis of histamine in fish, by means of reference material (RM) and of proficiency test (PT). Sample analysis carried out using RM provided 89.4% recovery. During the proficiency test, the histamine content of the sample was 311.9 mg/kg and the z-score was zero. These results assure the good performance of the laboratory in the analysis of histamine in fish, asuring reliability of results to clients.

  8. Proficiency testing in the light of a new rationale in metrology

    DEFF Research Database (Denmark)

    Heydorn, Kaj

    2008-01-01

    The novel proposed definition of measurement result in the international metrology vocabulary requires a revision of standards and guidelines for proficiency testing (PT), and a new approach to processing proficiency data is needed to test the ability of laboratories to present not only unbiased...... to an accepted reference value that fully reflects the uncertainties reported by participants in a PT scheme and permits calculation of En-numbers to distinguish whether or not measurement results are consistent with the accepted definition of the measurand. The strategy is applied to PT data from a recent...

  9. Assessing students' English language proficiency during clinical placement: A qualitative evaluation of a language framework.

    Science.gov (United States)

    San Miguel, Caroline; Rogan, Fran

    2015-06-01

    The increase in nursing students for whom English is an additional language requires clinical facilitators to assess students' performance regarding clinical skills, nursing communication and English language. However, assessing language proficiency is a complex process that is often conflated with cultural norms and clinical skills, and facilitators may lack confidence in assessing English language. This paper discusses an evaluation of a set of guidelines developed in a large metropolitan Australian university to help clinical facilitators make decisions about students' English language proficiency. The study found that the guidelines were useful in helping facilitators assess English language. However, strategies to address identified language problems needed to be incorporated to enable the guidelines to also be used as a teaching tool. The study concludes that to be effective, such guidelines need embedding within a systematic approach that identifies and responds to students who may be underperforming due to a low level of English language proficiency. Copyright © 2015 Elsevier Ltd. All rights reserved.

  10. Proficiency and Linguistic Complexity Influence Speech Motor Control and Performance in Spanish Language Learners

    Science.gov (United States)

    Nip, Ignatius S. B.; Blumenfeld, Henrike K.

    2015-01-01

    Purpose: Second-language (L2) production requires greater cognitive resources to inhibit the native language and to retrieve less robust lexical representations. The current investigation identifies how proficiency and linguistic complexity, specifically syntactic and lexical factors, influence speech motor control and performance. Method: Speech…

  11. Oral English Language Proficiency of ITAs: Policy, Implementation, and Contributing Factors.

    Science.gov (United States)

    Thomas, Clayton F.; Monoson, Patricia K.

    1993-01-01

    A survey indicates that student complaints led legislators in 20 states to mandate that higher education institutions develop policies on oral English proficiency of instructors, including language certification for international teaching assistants. Many institutions responded with policies requiring formal language testing and remedial…

  12. The Effect of Practicing Mental Calculation Strategies on Teacher Candidates’ Numeracy Proficiency

    Directory of Open Access Journals (Sweden)

    Masooma Ali Al Mutawah

    2016-04-01

    Full Text Available This study was conducted on year 4 students enrolled in the Bachelor of Education program for Cycle one teacher candidates. The effect of practicing mental calculation strategies in improving students’ numeracy proficiency was put under some tests to measure its effect in a scientific way. A Pre-quiz was conducted before with no prior practice done in order to check the strategies the students were using in performing calculations. After four weeks practice and implementation which focused mainly on addition and subtraction questions, as a result a post quiz was written by the students. The improvement results were recorded and analyzed. After four weeks of practicing multiplication and division questions, another post quiz was written by the students as a result of that. Once again, the improvement results also were recorded and analyzed. Furthermore, interviews and observations also were used to record changes in the students’ perspectives about using the mental strategies and their feelings toward their numeracy level. The results of the study showed that practicing the mental strategies had a significant impact on the students’ numeracy proficiency and their perspective toward their mental strategies. The study also showed that more practice had a significant impact on the students’ confidence as well as their ability to perform different mental strategies in their daily life. Keywords: Calculation strategies, Numeracy proficiency

  13. Model Checking Abstract PLEXIL Programs with SMART

    Science.gov (United States)

    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.

  14. Advanced techniques for efficient data integrity checking

    DEFF Research Database (Denmark)

    Martinenghi, Davide

    and the application programmer who take care of enforcing integrity via hand-coded pieces of programs that run either at the application level or within the DBMS (e.g., triggers). These solutions are, however, both difficult to maintain and error prone: small changes in a database schema may require subtle...... criteria (the integrity constraints) and to maintain the compliance each time data are updated. Since the introduction of the SQL2 standard, the SQL language started supporting assertions, which allow one to define general data consistency requirements expressing arbitrarily complex “business rules...... modifications in such programs. In this respect, database management systems need to be extended with means to verify, automatically and incrementally, that no violation of integrity is introduced by database updates. For this purpose we develop a procedure aimed at producing incremental checks whose...

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

    Science.gov (United States)

    Drusinsky, Doron; Havelund, Klaus

    2003-01-01

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

  16. Proficiency testing schemes as a quality rating in industrial hygiene laboratories

    Directory of Open Access Journals (Sweden)

    Marek Dobecki

    2016-04-01

    Full Text Available This publication presents the principles of organization, implementation, assessment and exploitation of proficiency testing results in the work environmental laboratory based on basic requirements included in standard PN-EN ISO/IEC 17043 and ISO 13528. The basis for the proper functioning of the laboratory is to use and observe the basic requirements for the competence to carry out the tests and the guidelines on ensuring reliable and accurate results, specified e.g., according to the guidelines described in the standard PN-EN ISO/IEC 17043. The confirmation of the laboratory competence is the obtained accreditation. To obtain this certificate several conditions, including proficiency testing (PT should be met. The main aspects of this paper is to show the role of proficiency testing in the process of assuring a properly functioning quality system in the laboratory. The accreditation requirements, the types of proficiency testing schemes, methods of statistical analysis and interpretation of results are also discussed by the authors. Med Pr 2016;67(2:267–283

  17. Software Model Checking for Verifying Distributed Algorithms

    Science.gov (United States)

    2014-10-28

    2014 Carnegie Mellon University Software Model Checking for Verifying Distributed Algorithms Sagar Chaki, James Edmondson October 28, 2014...SUBTITLE Software Model Checking for Verifying Distributed Algorithms 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S...Program Software Model Checking (CBMC, BLAST etc.) Failure Success Program in Domain Specific Language Automatic verification technique for finite

  18. Engineering Abstractions in Model Checking and Testing

    DEFF Research Database (Denmark)

    Achenbach, Michael; Ostermann, Klaus

    2009-01-01

    Abstractions are used in model checking to tackle problems like state space explosion or modeling of IO. The application of these abstractions in real software development processes, however, lacks engineering support. This is one reason why model checking is not widely used in practice yet...... and implementing abstractions will improve the applicability of model checking in practice....

  19. 14 CFR 121.440 - Line checks.

    Science.gov (United States)

    2010-01-01

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

  20. Medical training and English language proficiency.

    Science.gov (United States)

    Hayes, S C; Farnill, D

    1993-01-01

    Concern is often expressed about the English language proficiency (ELP) of students engaged in professional training. This report assesses the ELP of the 1990 and 1991 intakes into medicine at the University of Sydney. A quick screening test and individual in-depth tests were used in a two-stage design. Admission to the course is highly competitive and most students are selected from the top 0.75% of Higher School Certificate results but 15% and 19% of the year cohorts were found to be below average in ELP. English proficiency was found to be consistently correlated with first- and second-year university results. Initiatives taken to support students with language disadvantages and to ensure that graduates will be able to communicate effectively with patients are outlined.

  1. SYKE Proficiency Test 10/2014 Phytoplankton

    OpenAIRE

    Vuorio, Kristiina; Björklöf, Katarina; Kuosa, Harri; Jokipii, Reija; Järvinen, Marko; Lehtinen, Sirpa; Leivuori, Mirja; Niemelä, Maija; Väisänen, Ritva

    2015-01-01

    The Finnish Environment Institute (SYKE) organized in 2014 the fourth virtual phytoplankton proficiency test based on filmed material. A total of 39 analysts from 27 organizations and eight countries took part the test. The test material represented phytoplankton that typically occurs in boreal lakes and in the northern Baltic Sea. The test included three components: 1) phytoplankton species identification test, 2) phytoplankton counting test and 3) phytoplankton measurement of cell dimens...

  2. Investigating Language Proficiency and Learning Style Preference

    OpenAIRE

    Lee, Bradford; Pirotto, Christopher

    2017-01-01

    Individual differences (ID) among language learners (e.g. language aptitude or motivation), are variables that are theorized to affect the degree of success one will have in acquiring a second language (L2). This study sought to add to the body of literature on learning style. 225first year students (divided into two groups based on English proficiency) at a private Japanese university were surveyed to determine their preferred learning style(s). The data obtained were then examined in relati...

  3. Performance Monitoring and Response Inhibition in a Saccadic Countermanding Task in High and Low proficient bilinguals.

    Directory of Open Access Journals (Sweden)

    Niharika eSingh

    2015-01-01

    Full Text Available We compared Hindi-English bilinguals differing in their L2 fluency on a saccadic countermanding task which taps inhibitory control as well as monitoring. We particularly explored whether response inhibition and performance monitoring within the oculomotor domain are affected by language proficiency in bilinguals. There were two different oculomotor redirect tasks: Visually Guided Redirect (VGR task (Experiment1 and Memory Guided Redirect (MGR task (Experiment 2. In this task typically a target is presented to which subject must make saccade (No step trials, unless a new target appears on the other location after some delay from the first target onset (Step trials. On such trials participants are required to inhibit and cancel the saccade to the first instead program a saccade to the new target. Using trial switch reaction time (TSRT, which is the time taken to inhibit the initiated saccade to the first target, as a measure of response inhibition, and post-stop slowing as a measure of performance monitoring, we observed two important results. It was found that high proficiency bilinguals showed more post-stop slowing on the no-step trials as compared to the low proficiency bilinguals for both VGR and MGR. Secondly, high and low proficiency bilingual exhibited comparable TSRT in both VGR and MGR, showing no altering effect of language proficiency on the response inhibition in bilinguals. These results suggest that bilingualism impacts performance monitoring which is modulated by language proficiency if not the inhibitory control system. Higher fluency may lead to superior cognitive flexibility, and ability to adjust behaviour that facilitates attainment of cognitive goal. These findings are in consonance with other current studies that suggest a top-down effect of bilingualism on action control systems.

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

    Science.gov (United States)

    2010-01-01

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

  5. Using chemical organization theory for model checking.

    Science.gov (United States)

    Kaleta, Christoph; Richter, Stephan; Dittrich, Peter

    2009-08-01

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

  6. 48 CFR 22.406-7 - Compliance checking.

    Science.gov (United States)

    2010-10-01

    ... 48 Federal Acquisition Regulations System 1 2010-10-01 2010-10-01 false Compliance checking. 22.406-7 Section 22.406-7 Federal Acquisition Regulations System FEDERAL ACQUISITION REGULATION... requirements. (3) Payroll reviews to ensure that payrolls of prime contractors and subcontractors have been...

  7. Dental check-up frequency: preferences of Dutch patients.

    NARCIS (Netherlands)

    Schouten, B.C.; Mettes, Th.G.P.H.; Weeda, W.; Hoogstraten, J.

    2006-01-01

    OBJECTIVE: In 1995, the requirement to visit the dentist for a check-up every six months in The Netherlands was replaced by the obligation to get a routine examination no more than once a year. The aim of this study was to determine patients' opinions about this change in policy, and to assess their

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

    Science.gov (United States)

    1993-01-19

    incest with children. All sexual activity between an offender and a chi±d, when the offender is in a position of power over the child, is considered...whose required background checks have been initiated but not completed. Use of video equipment is acceptable provided it is monitored by an individual who

  9. On the Systematic Conformance Check of Software Artefacts

    NARCIS (Netherlands)

    van Dijk, H.W.; Graaf, Bas; Boerman, Rob; Morrison, R.; Oquendo, F.

    In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evolving embedded systems. In order to effectively reuse design artefacts such as requirements, architectural views and analysis, as

  10. Proficiency and sentence constraint effects on second language word learning.

    Science.gov (United States)

    Ma, Tengfei; Chen, Baoguo; Lu, Chunming; Dunlap, Susan

    2015-07-01

    This paper presents an experiment that investigated the effects of L2 proficiency and sentence constraint on semantic processing of unknown L2 words (pseudowords). All participants were Chinese native speakers who learned English as a second language. In the experiment, we used a whole sentence presentation paradigm with a delayed semantic relatedness judgment task. Both higher and lower-proficiency L2 learners could make use of the high-constraint sentence context to judge the meaning of novel pseudowords, and higher-proficiency L2 learners outperformed lower-proficiency L2 learners in all conditions. These results demonstrate that both L2 proficiency and sentence constraint affect subsequent word learning among second language learners. We extended L2 word learning into a sentence context, replicated the sentence constraint effects previously found among native speakers, and found proficiency effects in L2 word learning. Copyright © 2015 Elsevier B.V. All rights reserved.

  11. Investigating the Relationship Between Metalinguistic Knowledge and L2 Proficiency

    OpenAIRE

    飯田, 毅; Tsuyoshi, IIDA; Doshisha Women's College of Liberal Arts

    2012-01-01

    Although numerous studies have examined the relationship between metalinguistic knowledge and L2 proficiency, this relationship has not been sufficiently clarified yet. The present study examined the relationship between metalinguistic knowledge and L2 proficiency among different groups of learners. Also, it clarified to what extent metalinguistic knowledge contributes to L2 proficiency. The participants were 50 Japanese undergraduates comprising instructed-only EFL learners, returnees who ha...

  12. Scientific issues related to the cytology proficiency testing regulations.

    Science.gov (United States)

    2006-01-01

    The member organizations of the CETC feel strongly that there are significant flaws associated with the proposed proficiency test and its implementation. The most immediate modifications include lengthening the required testing interval, utilizing stringently validated and continuously monitored slides, changing the grading scheme and changing the focus of the test from individuals to laboratory level testing, as described above. Integration of new computer-assisted and location-guided screening technologies into the testing protocol is necessary for the testing program to be compliant with the current CLIA law. The regulation also needs to be flexible enough to accommodate new technologies that are implemented in laboratory practice, education and administration of the test. The changes recommended in this document address the most immediate technical and scientific concerns with the current implementation of PT for gynecologic cytology. The CETC will be submitting a subsequent document, following full review of the current regulations, with recommendations for changes, justifications and impact.

  13. Large-Scale Assessment of Language Proficiency: Theoretical and Pedagogical Reflections on the Use of Multiple-Choice Tests

    Science.gov (United States)

    Argüelles Álvarez, Irina

    2013-01-01

    The new requirement placed on students in tertiary settings in Spain to demonstrate a B1 or a B2 proficiency level of English, in accordance with the Common European Framework of Reference for Languages (CEFRL), has led most Spanish universities to develop a program of certification or accreditation of the required level. The first part of this…

  14. Validating English Language Proficiency Assessment Uses for English Learners: Academic Language Proficiency and Content Assessment Performance

    Science.gov (United States)

    Wolf, Mikyung Kim; Faulkner-Bond, Molly

    2016-01-01

    States use standards-based English language proficiency (ELP) assessments to inform relatively high-stakes decisions for English learner (EL) students. Results from these assessments are one of the primary criteria used to determine EL students' level of ELP and readiness for reclassification. The results are also used to evaluate the…

  15. Differences in Less Proficient and More Proficient ESL College Writing in the Philippine Setting

    Science.gov (United States)

    Gustilo, Leah E.

    2016-01-01

    The present study aimed at characterizing what skilled or more proficient ESL college writing is in the Philippine setting through a contrastive analysis of three groups of variables identified from previous studies: resources, processes, and performance of ESL writers. Based on Chenoweth and Hayes' (2001; 2003) framework, the resource level…

  16. EMPLOYERS’ VIEWS ON IMPORTANCE OF ENGLISH PROFICIENCY AND COMMUNICATION SKILL FOR EMPLOYABILITY IN MALAYSIA

    Directory of Open Access Journals (Sweden)

    Su-Hie Ting

    2017-09-01

    Full Text Available Employability of graduates is a concern in many countries, including Malaysia, and the high unemployment rate among graduates is often attributed to their lack of English proficiency and communication skills. These two distinctive elements are often collated, and it is important to find out which is more important to employers. The study examined the employers’ views on the importance of English proficiency and communication skill for graduates to be employed in the Malaysian private sector. The data were from semi-structured interviews conducted with 10 employers in the private sector who were in the position to recruit staff. The 21,433-word interview transcripts were analyzed. The results revealed that employers in the Malaysian private sector view language proficiency and communication skills as separate qualities. The employers are willing to consider employing candidates with average English proficiency if they have good communication skills, except for jobs which require more communication in English such as customer service and marketing. The results also revealed that good communication skills can increase employability and opportunities for career advancement. The findings highlight the communication skills that universities need to emphasize so that their graduates have the necessary skills to perform well in employment interviews and in their work.

  17. Defining English Language Proficiency for Malaysian Tertiary Education: Past, Present and Future Efforts

    Directory of Open Access Journals (Sweden)

    Chan Swee Heng

    2012-07-01

    Full Text Available Any attempt to define English language proficiency can never be divorced from the theories that describe the nature of language, language acquisition and human cognition. By virtue of such theories being socially constructed, the descriptions are necessarily value-laden. Thus, a definition of language proficiency can only, at best, be described as developmental, following changes that are linguistic, pragmatic, cultural and political. In defining English proficiency for tertiary education, the context is naturally also linked to the focus on university education. The argument has been that an ‘acceptable’ level of language competence of a university applicant is anything but constant. Tremendous social changes have seen traditional values of elitism in university education giving way to the ‘massification’ of education. As Kaplan and Baldauf (1997:257 affirms, “The principal problem in tertiary education is not declining literacy standards but rather it is about meeting changed societal, cultural and informational requirements and circumstances”. In the light of these changes, this paper attempts to trace influencing factors that help define an ‘acceptable’ level of English proficiency for Malaysian tertiary education. The paper examines past and present efforts of establishing an English language policy and assessment practice for tertiary education, and concludes with some views on future development that could evolve from the current indicative pursuits of establishing language learning and ability.

  18. Fundamental Motor Skill Proficiency of 6- to 9-Year-Old Singaporean Children.

    Science.gov (United States)

    Mukherjee, Swarup; Ting Jamie, Lye Ching; Fong, Leong Hin

    2017-06-01

    Fundamental movement proficiency (FMS) is most successfully acquired during early school years. This cross-sectional study assessed FMS proficiency in Singaporean children at the start of and following 2.5 years of primary school physical education (PE). Participants were 244 children from Primary 1 and 3 levels. Fundamental movement skills (FMS) were assessed with the Test of Gross Motor Development-Second Edition (TGMD-2) that includes locomotor (LOCO) and object control (OC) subtests. Most children were rated "average" and "below average" for LOCO skills but "poor" and "below average" for OC skills without significant gender differences on either subtest or overall FMS proficiency and without FMS mastery. These young Singaporean children failed to exhibit age-appropriate FMS proficiency despite early PE exposure, and they demonstrated lags in FMS compared with the TGMD-2 U.S. normative sample. We discuss implications for sports competence perception, difficulty in coping with later movement learning expectations and reduced later motivation to participate in PE and play. We also discuss implications for preschool and lower primary school PE curricula with a particular focus on both OC skills and LOCO skills requiring muscular fitness like hopping and jumping.

  19. Model Checking, Abstraction, and Compositional Verification

    Science.gov (United States)

    1993-07-01

    a mathematical model of the design is proved to satisfy a precise specification. Model checking is one formal verification technique. It consists of...involving the sequencing of events in time. One of the main drawbacks of model checking is the state explosion problem. This problem occurs in systems...considers two methods for avoiding the state explosion problem in the context of model checking : compositional verification and abstraction

  20. Evaluation of Mycology Laboratory Proficiency Testing

    Science.gov (United States)

    Reilly, Andrew A.; Salkin, Ira F.; McGinnis, Michael R.; Gromadzki, Sally; Pasarell, Lester; Kemna, Maggi; Higgins, Nancy; Salfinger, Max

    1999-01-01

    Changes over the last decade in overt proficiency testing (OPT) regulations have been ostensibly directed at improving laboratory performance on patient samples. However, the overt (unblinded) format of the tests and regulatory penalties associated with incorrect values allow and encourage laboratorians to take extra precautions with OPT analytes. As a result OPT may measure optimal laboratory performance instead of the intended target of typical performance attained during routine patient testing. This study addresses this issue by evaluating medical mycology OPT and comparing its fungal specimen identification error rates to those obtained in a covert (blinded) proficiency testing (CPT) program. Identifications from 188 laboratories participating in the New York State mycology OPT from 1982 to 1994 were compared with the identifications of the same fungi recovered from patient specimens in 1989 and 1994 as part of the routine procedures of 88 of these laboratories. The consistency in the identification of OPT specimens was sufficient to make accurate predictions of OPT error rates. However, while the error rates in OPT and CPT were similar for Candida albicans, significantly higher error rates were found in CPT for Candida tropicalis, Candida glabrata, and other common pathogenic fungi. These differences may, in part, be due to OPT’s use of ideal organism representatives cultured under optimum growth conditions. This difference, as well as the organism-dependent error rate differences, reflects the limitations of OPT as a means of assessing the quality of routine laboratory performance in medical mycology. PMID:10364601

  1. 38 CFR 3.1003 - Returned and canceled checks.

    Science.gov (United States)

    2010-07-01

    ... provisions of this section do not apply to checks for lump sums representing amounts withheld under § 3.551(b... checks. 3.1003 Section 3.1003 Pensions, Bonuses, and Veterans' Relief DEPARTMENT OF VETERANS AFFAIRS... canceled checks. Where the payee of a check for benefits has died prior to negotiating the check, the check...

  2. Experimental investigation of the check valve behaviour when the flow is reversing

    Directory of Open Access Journals (Sweden)

    Himr D.

    2017-01-01

    Full Text Available Check valve in a pipeline is supposed to prevent the reverse flow and to allow the flow in the positive direction. The construction of check valves follows these requirements, but the check valve must not cause pressure pulsations in transients. It means when the fluid is accelerating or decelerating. The article describes an experimental investigation of a swing check valve when the flow is changing its direction. The check valve was placed in an experimental circuit, where the pressure on the upstream and downstream side of the valve was measured and the current value of flow rate was determined. The goal was to simulate conditions in the real system, where the check valve slam had been observed.

  3. The role of proficiency testing in ensuring quality: findings from the College of American Pathologists Gynecologic Cytopathology Quality Consensus Conference working group 3.

    Science.gov (United States)

    Howell, Lydia Pleotis; Nayar, Ritu; Savaloja, Lynnette; Tabbara, Sana; Thomas, Nicole; Winkler, Barbara; Tworek, Joseph

    2013-02-01

    Implementation of proficiency testing for gynecologic cytology was delayed 20 years because of challenges addressing the subjective nature of cytologic interpretation and replicating normal working conditions. Concern remains regarding test scoring, slide validation, test environment, and other issues. How these test results are, or should be, used in quality management has never been explored. To provide information on good laboratory practices for gynecologic cytology proficiency testing based on findings from the College of American Pathologists' survey-based project funded by the Centers for Disease Control and Prevention. An expert working group evaluated results from a Web-based, national laboratory survey plus responses from follow-up questions and findings from the literature. The group created statements on good laboratory practices pertinent to proficiency testing and its role in quality management, which were discussed and voted on at a consensus conference. Two-thirds of laboratories report having an individual with an unsuccessful proficiency testing score. More than 90% did not initiate any remedial action for 1 or 2 unsuccessful tests; 84% of laboratories reported they actively monitored results from proficiency testing, but most laboratories did not initiate any remedial action for cytotechnologists (81.4%; 376 of 462) or pathologists (87.7%; 405 of 462) who passed a proficiency test but who did not score 100%. Proficiency testing pass-fail rates should be monitored globally for the laboratory and for each individual. Proficiency testing slides should be prescreened by cytotechnologists for pathologists who are not primary screeners. Remedial action should not be required for a passed, but imperfect, test. No remedial action is required for an unsuccessful, first proficiency test result before retesting.

  4. 10 CFR 35.2645 - Records of periodic spot-checks for gamma stereotactic radiosurgery units.

    Science.gov (United States)

    2010-01-01

    ... MATERIAL Records § 35.2645 Records of periodic spot-checks for gamma stereotactic radiosurgery units. (a) A licensee shall retain a record of each spot-check for gamma stereotactic radiosurgery units required by...'s name, model number, and serial number for the gamma stereotactic radiosurgery unit and the...

  5. 40 CFR 86.319-79 - Analyzer checks and calibrations; frequency and overview.

    Science.gov (United States)

    2010-07-01

    ...) Verify that the automatic data collection system (if used) meets the chart reading requirements found in... are met. Flow meters of the tapered tube and float design (rotometers) or the balance beam principle need be checked only every 90 days. (d) At least once every 90 days during testing check the water...

  6. Relationship between Language Proficiency and Growth during Reading Interventions

    Science.gov (United States)

    Burns, Matthew K.; Frederick, Amy; Helman, Lori; Pulles, Sandra M.; McComas, Jennifer J.; Aguilar, Lisa

    2017-01-01

    Many English language learners (ELLs) experience difficulties with basic English reading due in part to low language proficiency. The authors examined the relationship between English language proficiency and growth during reading interventions for ELLs. A total of 201 second- and third-grade students with a variety of home languages participated.…

  7. Variables Affecting Proficiency in English as a Second Language

    Science.gov (United States)

    Santana, Josefina C.; García-Santillán, Arturo; Escalera-Chávez, Milka Elena

    2017-01-01

    This study explores different variables leading to proficiency in English as a second language. Level of English on a placement exam taken upon entering a private university in Mexico was correlated to several variables. Additionally, participants (N = 218) were asked their perception of their own proficiency. A linear regression and a one-factor…

  8. The Relationship between Cognitive Development and Foreign Language Proficiency.

    Science.gov (United States)

    Jacobus, Everett Franklin, Jr.

    Based on research relating William Perry's scheme of cognitive development to foreign language proficiency, a developmental hypothesis concerning language ability is proposed. This approach suggests that lower developmental stages in the cognitive domain retard the achievement of communicative language proficiency, while higher developmental…

  9. 285 Teachers‟ Experience and Students‟ Numerical Proficiency in ...

    African Journals Online (AJOL)

    First Lady

    2013-01-28

    Jan 28, 2013 ... Five null hypotheses were formed and tested at 5% level of significance. Results show that numerical proficiency of students taught by experienced teachers were better than those taught by less experienced teachers. There was no significant difference in the numerical proficiency of male and female ...

  10. Piano Proficiency: The Perfect Accompaniment for Successful Music Educators

    Science.gov (United States)

    Bobetsky, Victor V.

    2004-01-01

    Do prospective music teachers with piano proficiency have an advantage in the job market? Can playing the piano well help practicing teachers achieve greater success in the classroom? In this article, the author stresses that piano proficiency is a necessary survival tool for music teachers regardless of their primary instrument or vocal specialty…

  11. Motor Proficiency Predicts Cognitive Ability in Four-Year-Olds

    Science.gov (United States)

    Hernandez, Amanda Martinez; Caçola, Priscila

    2015-01-01

    Research has shown links between motor proficiency and cognition in school-age children, however, few have explored earlier ages. We aimed to determine the association between motor proficiency and cognitive ability in four-year-olds. Motor and cognitive skills were examined in 32 (15 males, 17 females) four-year-olds (±5.59 months) using the…

  12. Communication Strategies: An Interplay between Proficiency and Gender

    Science.gov (United States)

    Shokouhi, Hussein; Angameh, Farzad

    2008-01-01

    This paper is intended to investigate the interplay between proficiency and gender in the use of communication strategies. Sixty Iranian university male and female subjects studying English took part in the experiment and performed two tasks: word recognition and picture-story narration. The results indicate that proficiency had a more perceptible…

  13. Test Reviews: GEPT--General English Proficiency Test

    Science.gov (United States)

    Roever, Carsten; Pan, Yi-Ching

    2008-01-01

    The General English Proficiency Test (GEPT) was developed in 1999, commissioned by the Ministry of Education in Taiwan. The purpose of the test is to provide individuals with a gauge of their English language proficiency and assist employers and educational institutions in selection and placement. Also, it aims to encourage the study of English…

  14. Restructuring a Traditional Foreign Language Program for Oral Proficiency.

    Science.gov (United States)

    Camara-Norman, Filisha; And Others

    The restructuring of the Romance language program at Howard University to improve oral proficiency involved modification of goals, syllabi, classroom activities, and testing. Goals were adapted to American Council on the Teaching of Foreign Languages (ACTFL)/Educational Testing Service (ETS) guidelines for oral proficiency. Assessment of French…

  15. The correlation between motor proficiency and physical activity in ...

    African Journals Online (AJOL)

    Background: One of the risks associated with low physical activity levels is the insufficient development of motor proficiency, which in turn has an impact on participation in physical activity and sport during adolescence. Objectives: To determine the relationship between motor proficiency and physical activity levels in ...

  16. Measuring Language Dominance and Bilingual Proficiency Development of Tarahumara Children.

    Science.gov (United States)

    Paciotto, Carla

    This paper examines the language dominance and oral bilingual proficiency of Tarahumara-Spanish speaking students from Chihuahua, Mexico, within the framework of Cummins' model of bilingual proficiency development. Cummins' model distinguishes between basic interpersonal communicative skills (BICS) and cognitive academic language proficiency…

  17. Proficiency-Based Curriculum Design: Principles Derived from Government Experience.

    Science.gov (United States)

    Lowe, Pardee, Jr.

    1985-01-01

    Describes principles for designing a proficiency-based course to prepare students for the ACTFL/ETS Advanced Plus/Superior level according to Interagency Language Roundtable guidelines. Proposes ways to combine grammatical and "functional/notional" syllabuses with a proficiency approach. Examines the implications of these principles for…

  18. Across the Threshold: A Call for ILR Proficiency Descriptor Banks

    Science.gov (United States)

    Holman, Don

    2017-01-01

    Whereas the Interagency Language Roundtable Language Skill Level Descriptions broke new ground for assessing proficiency in foreign languages, the need for user-oriented (rather than assessment-oriented) proficiency scales has led, especially in Europe, to the creation of scales consisting of positively formulated "can-do" statements,…

  19. Knowledge and Processes That Predict Proficiency in Digital Literacy

    Science.gov (United States)

    Bulger, Monica E.; Mayer, Richard E.; Metzger, Miriam J.

    2014-01-01

    Proficiency in digital literacy refers to the ability to read and write using online sources, and includes the ability to select sources relevant to the task, synthesize information into a coherent message, and communicate the message with an audience. The present study examines the determinants of digital literacy proficiency by asking 150…

  20. Proficiency test for heavy metals in compound feed

    NARCIS (Netherlands)

    Pereboom, D.P.K.H.; Elbers, I.J.W.; Jong, de J.; Lee, van der M.K.; Nijs, de W.C.M.

    2016-01-01

    The here described proficiency test for heavy metals in compound feed was organised by RIKILT, Wageningen UR in accordance with ISO 17043. RIKILT Wageningen UR has an ISO/IEC 17043 accreditation for proficiency tests of residues in products of animal origin. However, this specific test is not part

  1. Teaching English through English: Proficiency, Pedagogy and Performance

    Science.gov (United States)

    Richards, Jack C.

    2017-01-01

    Most of the world's English language teachers speak English as a second or third language rather than as their first language. For many, their level of proficiency in English may not reach benchmarks established by their employers, raising the issue that is the focus of this article, namely, what kind of proficiency in English is necessary to be…

  2. Second Language Proficiency and Cross-Language Lexical Activation

    Science.gov (United States)

    van Hell, Janet G.; Tanner, Darren

    2012-01-01

    Although research has consistently shown that a bilingual's two languages interact on multiple levels, it is also well-established that bilinguals can vary considerably in their proficiency in the second language (L2). In this paper we review empirical studies that have examined how differences in L2 proficiency modulate cross-language…

  3. The Development of ESL Proficiency and Pragmatic Performance

    Science.gov (United States)

    Roever, Carsten; Al-Gahtani, Saad

    2015-01-01

    ESL learners can find it challenging to use English in a way that is pragmatically appropriate to the situation and interlocutor. In this article, we explore the impact of increased proficiency on learners' pragmatic performance. ESL learners in Australia at four proficiency levels completed three role plays, and we analysed how the learners…

  4. Second Language Grammatical Proficiency and Third Language Acquisition

    Science.gov (United States)

    Moghtadi, Laleh; Koosha, Mansour; Lotfi, Ahmad Reza

    2014-01-01

    The main concern of the present study was to investigate the probable correlation between the bilinguals' second language grammatical proficiency level and their third language grammatical proficiency level. The current study was implemented on selecting a total of 100 Iranian female high school students studying at second grade from two…

  5. On the Relationship between Multiple Intelligences and Language Proficiency

    Science.gov (United States)

    Razmjoo, Seyyed Ayatollah

    2008-01-01

    The intent of the present study was to examine the strength of the relationship between language proficiency in English and the 9 types of intelligences. As such, the objectives of this study were three-folded. The primary objective of the study was to investigate the relationship between multiple intelligences and language proficiency among the…

  6. Communication Anxiety and Its Effect on Oral Proficiency.

    Science.gov (United States)

    Hurshberger, Lisa

    A study investigated the bipolar tension/relaxation factors that affect a second language learner's oral proficiency. While the traditional assumption in the field of second language acquisition is that negative attitudes toward communicative interaction naturally predicate low proficiency, the data gathered from 50 subjects studying English as a…

  7. Examining the Relationship between Math Scores and English Language Proficiency

    Science.gov (United States)

    Henry, Denfield L.; Nistor, Nicolae; Baltes, Beate

    2016-01-01

    Multiple studies propose that English proficiency dictates English language learners' (ELLs) performances on mathematics assessments. The current study investigates the predictive power of English proficiency on mathematics scores, while controlling for gender, socioeconomic status (SES), and grade level among ELLs at a south Florida elementary…

  8. Proficiency testing for sensory profile panels : measuring panel performance

    NARCIS (Netherlands)

    Mcewan, J.A.; Hunter, E.A.; Gemert, L.J. van; Lea, P.

    2002-01-01

    Proficiency testing in sensory analysis is an important step towards demonstrating that results from one sensory panel are consistent with the results of other sensory panels. The uniqueness of sensory analysis poses some specific problems for measuring the proficiency of the human instrument

  9. Check-Up Checklist: Things to Do Before Your Next Check-Up

    Science.gov (United States)

    ... Vaccines & Immunizations Healthy Living Health Equity Check-Up Checklist: Things to Do Before Your Next Check-Up ... questions down beforehand. Once you’re in the office or exam room, it can be hard to ...

  10. Analysing Biochemical Oscillations through Probabilistic Model Checking

    DEFF Research Database (Denmark)

    Ballarini, Paolo; Mardare, Radu Iulian; Mura, Ivan

    2009-01-01

    Analysing Biochemical Oscillations through Probabilistic Model Checking. In Proc. of the Second International Workshop "From Biology To Concurrency" (FBTC 2008), Electronic Notes in Theoretical Computer Science......Analysing Biochemical Oscillations through Probabilistic Model Checking. In Proc. of the Second International Workshop "From Biology To Concurrency" (FBTC 2008), Electronic Notes in Theoretical Computer Science...

  11. Reliable sequential testing for statistical model checking

    NARCIS (Netherlands)

    Reijsbergen, D.P.; de Boer, Pieter-Tjerk; Scheinhardt, Willem R.W.; Haverkort, Boudewijn R.H.M.

    2013-01-01

    We introduce a framework for comparing statistical model checking (SMC) techniques and propose a new, more reliable, SMC technique. Statistical model checking has recently been implemented in tools like UPPAAL and PRISM to be able to handle models which are too complex for numerical analysis.

  12. Approximate Symbolic Model Checking Using Overlapping Projections

    Science.gov (United States)

    1999-01-01

    Abstract Symbolic Model Checking extends the scope of verification algorithms that can be handled automatically, by using symbolic representations...many of today’s large designs because of the state explosion problem. Approximate symbolic model checking is an attempt to trade off accuracy with

  13. Statistical model checking in Uppaal: lets practice

    NARCIS (Netherlands)

    David, Alexandre; Larsen, K.G.; Legay, Axel; Mikučionis, Marius

    Statistical model-checking is a recent technique used for both verification and performance analysis of hybrid systems. It does not suffer from decidability issues or state-space explosion compared to traditional model-checking. Furthermore, it is applicable to more powerful formalisms such as

  14. Model Checking Software Systems: A Case Study.

    Science.gov (United States)

    1995-03-10

    Model checking is a proven successful technology for verifying hardware. It works, however, on only fInite state machines, and most software systems...have infInitely many states. Our approach to applying model checking to software hinges on identifying appropriate abstractions that exploit the

  15. Software tool for physics chart checks.

    Science.gov (United States)

    Li, H Harold; Wu, Yu; Yang, Deshan; Mutic, Sasa

    2014-01-01

    Physics chart check has long been a central quality assurance (QC) measure in radiation oncology. The purpose of this work is to describe a software tool that aims to accomplish simplification, standardization, automation, and forced functions in the process. Nationally recognized guidelines, including American College of Radiology and American Society for Radiation Oncology guidelines and technical standards, and the American Association of Physicists in Medicine Task Group reports were identified, studied, and summarized. Meanwhile, the reported events related to physics chart check service were analyzed using an event reporting and learning system. A number of shortfalls in the chart check process were identified. To address these problems, a software tool was designed and developed under Microsoft. Net in C# to hardwire as many components as possible at each stage of the process. The software consists of the following 4 independent modules: (1) chart check management; (2) pretreatment and during treatment chart check assistant; (3) posttreatment chart check assistant; and (4) quarterly peer-review management. The users were a large group of physicists in the author's radiation oncology clinic. During over 1 year of use the tool has proven very helpful in chart checking management, communication, documentation, and maintaining consistency. The software tool presented in this work aims to assist physicists at each stage of the physics chart check process. The software tool is potentially useful for any radiation oncology clinics that are either in the process of pursuing or maintaining the American College of Radiology accreditation.

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

    Science.gov (United States)

    Green, Joanne; And Others

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

  17. SPEED ROLLER STAND MEASUREMENT SYSTEM CHECKING TECHNIQUE

    Directory of Open Access Journals (Sweden)

    Y. Zybtsev

    2011-01-01

    Full Text Available The study has shown that the accuracy of brakes checking by inertial stands depends upon the applied methods of measurement of braking parameters (stand slowing down, braking distance, brakes triggering time, current speed as well as the methods of metrological checking of measuring system canals.

  18. checkCIF/PLATON report Datablock: I

    Indian Academy of Sciences (India)

    1 ALERT type 4 Improvement, methodology, query or suggestion. 2 ALERT type 5 Informative message, check. checkCIF publication errors. Alert level A. PUBL004_ALERT_1_A The contact author's name and address are missing,. _publ_contact_author_name and _publ_contact_author_address. PUBL005_ALERT_1_A ...

  19. checkCIF/PLATON report Datablock: I

    Indian Academy of Sciences (India)

    0 ALERT type 4 Improvement, methodology, query or suggestion. 2 ALERT type 5 Informative message, check. checkCIF publication errors. Alert level A. PUBL004_ALERT_1_A The contact author's name and address are missing,. _publ_contact_author_name and _publ_contact_author_address. PUBL005_ALERT_1_A ...

  20. checkCIF/PLATON report Datablock: I

    Indian Academy of Sciences (India)

    ... Improvement, methodology, query or suggestion. 1 ALERT type 5 Informative message, check. checkCIF publication errors. Alert level A. PUBL002_ALERT_1_A The contact author's address is missing,. _publ_contact_author_address. PUBL005_ALERT_1_A _publ_contact_author_email, _publ_contact_author_fax and.

  1. checkCIF/PLATON report Datablock: I

    Indian Academy of Sciences (India)

    2 ALERT type 4 Improvement, methodology, query or suggestion. 0 ALERT type 5 Informative message, check. checkCIF publication errors. Alert level A. PUBL004_ALERT_1_A The contact author's name and address are missing,. _publ_contact_author_name and _publ_contact_author_address. PUBL005_ALERT_1_A ...

  2. Text Segmentation for Chinese Spell Checking.

    Science.gov (United States)

    Lee, Kin Hong; Lu, Qin; Ng, Mau Kit Michael

    1999-01-01

    Discussion of spell checking for Chinese words proposes a Block-of-Combinations (BOC) text-segmentation method based on frequency of word usage to reduce the word combinations from exponential growth to linear growth. Suggests user interaction to make the segmentation more suitable for spell checking. (Author/LRW)

  3. checkCIF/PLATON report Datablock: shelxl

    Indian Academy of Sciences (India)

    PLAT199_ALERT_1_G Reported _cell_measurement_temperature ..... (K). 293 Check. PLAT200_ALERT_1_G Reported _diffrn_ambient_temperature ..... (K). 293 Check. PLAT301_ALERT_3_G Main Residue Disorder ............ Percentage = 16 Note. PLAT710_ALERT_4_G Delete 1-2-3 or 2-3-4 Linear Torsion Angle ... #.

  4. Approximate Model Checking of Stochastic COWS

    NARCIS (Netherlands)

    Quaglia, Paola; Schivo, Stefano

    2010-01-01

    Given the description of a model and a probabilistic formula, approximate model checking is a verification technique based on statistical reasoning that allows answering whether or not the model satisfies the formula. Only a subset of the properties that can be analyzed by exact model checking can

  5. Addressing Dynamic Issues of Program Model Checking

    Science.gov (United States)

    Lerda, Flavio; Visser, Willem

    2001-01-01

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

  6. QuickChecking static analysis properties

    DEFF Research Database (Denmark)

    Midtgaard, Jan; Møller, Anders

    2017-01-01

    A static analysis can check programs for potential errors. A natural question that arises is therefore: who checks the checker? Researchers have given this question varying attention, ranging from basic testing techniques, informal monotonicity arguments, thorough pen-and-paper soundness proofs......, to verified fixed point checking. In this paper, we demonstrate how quickchecking can be useful to test a range of static analysis properties with limited effort. We show how to check a range of algebraic lattice properties, to help ensure that an implementation follows the formal specification of a lattice....... Moreover, we offer a number of generic, type-safe combinators to check transfer functions and operators on lattices, to help ensure that these are, eg, monotone, strict, or invariant. We substantiate our claims by quickchecking a type analysis for the Lua programming language....

  7. Electromagnetic Rotor Torque Check Project

    Data.gov (United States)

    National Aeronautics and Space Administration — In order to achieve a high payoff turbopump with a low investment, the modern turbopump in today's space propulsion program is required to have greater life, with...

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

    Science.gov (United States)

    2010-01-01

    ... 14 Aeronautics and Space 3 2010-01-01 2010-01-01 false Qualifications: Check airmen (aircraft) and... ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen..., DEPARTMENT OF TRANSPORTATION (CONTINUED) AIR CARRIERS AND OPERATORS FOR COMPENSATION OR HIRE: CERTIFICATION...

  9. An Investigation of School Psychologists' Assessment Practices of Language Proficiency with Bilingual and Limited-English-Proficient Students.

    Science.gov (United States)

    Ochoa, Salvador Hector; And Others

    1996-01-01

    A study of the language proficiency assessment practices of 859 school psychologists, when working with bilingual or limited English proficient students, found that 62 percent of school psychologists conducted their own assessments and most often used the Peabody Picture Vocabulary Test-Revised or the Test de Vocabulario en Imagenes Peabody.…

  10. Concrete Model Checking with Abstract Matching and Refinement

    Science.gov (United States)

    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.

  11. Program Model Checking as a New Trend

    Science.gov (United States)

    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.

  12. Impact of Bilingual Education Programs on Limited English Proficient Students and Their Peers : Regression Discontinuity Evidence from Texas

    NARCIS (Netherlands)

    Chin, A.; Meltem Daysal, N.; Imberman, S.A.

    2012-01-01

    Abstract: Texas requires a school district to offer bilingual education when its enrollment of limited English proficient (LEP) students in a particular elementary grade and language is twenty or higher. Using school panel data, we find a significant increase in the probability that a district

  13. A Measure of Proficiency or Short-Term Memory? Validation of an Elicited Imitation Test for SLA Research

    Science.gov (United States)

    Kim, Youjin; Tracy-Ventura, Nicole; Jung, Yeonjoo

    2016-01-01

    Elicited imitation requires listeners to listen and repeat sentences as accurately as possible. In second language acquisition (SLA) research it has been used for a variety of purposes. Recently, versions of the same elicited imitation test (EIT) have been created in 6 languages with the purpose of measuring second language proficiency (Ortega…

  14. Accommodations for Students with Disabilities on State English Language Proficiency Assessments: A Review of 2011 State Policies

    Science.gov (United States)

    Christensen, Laurene L.; Albus, Debra A.; Liu, Kristin K.; Thurlow, Martha L.; Kincaid, Aleksis

    2013-01-01

    English language learners (ELLs) with disabilities are required to participate in all state and district assessments similar to their peers without disabilities. This includes assessments used for the Elementary and Secondary Education Act (ESEA) Title I accountability purposes for demonstrating proficiency in academic content, assessments used…

  15. Proficiency test of gamma spectrometry laboratories in Serbia

    Energy Technology Data Exchange (ETDEWEB)

    Pantelic, G., E-mail: gpantelic@nadlanu.co [Serbian Institute of Occupational Health Dr Dragomir Karajovic, Deligradska 29, 11000 Belgrade (Serbia); Institute of Veterinary Medicine of Serbia, Autoput 3, 11070 Belgrade (Serbia); Vuletic, V. [Serbian Institute of Occupational Health Dr Dragomir Karajovic, Deligradska 29, 11000 Belgrade (Serbia); Mitrovic, R. [Institute of Veterinary Medicine of Serbia, Autoput 3, 11070 Belgrade (Serbia)

    2010-07-15

    This paper presents the statistical evaluation of results from the analysis of 8 radionuclides in water samples within the frame of the First Proficiency Test of gamma spectrometry Laboratories in Serbia organized in 2008. The water samples used in this proficiency test were prepared using certified radioactive solution containing gamma emitting radionuclides. This solution was diluted and used as a master solution for preparation of test samples. The overall performance evaluation showed that 64.7% of all reported results met the individual proficiency test criteria, where 26.5% of all reported results did not pass the overall PT acceptance criterion.

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

    Science.gov (United States)

    Klarner, Hannes; Siebert, Heike

    2015-01-01

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

  17. 76 FR 54095 - Pilot in Command Proficiency Check and Other Changes to the Pilot and Pilot School Certification...

    Science.gov (United States)

    2011-08-31

    ... when we find, after investigation, that the individual is qualified for, and physically able to perform... student's learning experience from the ground-based classroom training, with different instructors serving...

  18. Must we review printed lab reports without checking them? A prospective analysis of emergency department practice

    National Research Council Canada - National Science Library

    McCabe, A; Staunton, P; Walsh, S; O'Sullivan, R

    2012-01-01

    ..., mitigating the requirement to check printed reports later. Five hundred and nineteen (519) laboratory reports were examined for significant abnormal results and documentation in clinical notes. Thirty percent (30%, n = 158...

  19. Check-Ups and Immunizations | NIH MedlinePlus the Magazine

    Science.gov (United States)

    ... to School, the Healthy Way Check-Ups and Immunizations Past Issues / Fall 2012 Table of Contents Child ... to participate. Most schools require that your child's immunization shots be up-to-date. Remember, that each ...

  20. Classification and checking model of pedestrian crossing

    Directory of Open Access Journals (Sweden)

    Luis Delgado Méndez

    2012-11-01

    After realizing this investigation it can be confirmed that the functionality of a pedestrian crossing depends on almost a hundred parameters which must be checked or measured, in turn proving that this design and construction process is indeed complex.

  1. CMM Interim Check Design of Experiments (U)

    Energy Technology Data Exchange (ETDEWEB)

    Montano, Joshua Daniel [Los Alamos National Lab. (LANL), Los Alamos, NM (United States)

    2015-07-29

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

  2. Automating the initial physics chart checking process

    National Research Council Canada - National Science Library

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

    2009-01-01

    The initial physics chart check, an essential quality assurance process, verifies that the physician intent is properly expressed in the treatment plan, the treatment plan is reasonable, and the Record and Verify (RV...

  3. Notification: Purchase Card and Convenience Check Audit

    Science.gov (United States)

    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.

  4. Blood Pressure Matters: Keep Hypertension in Check

    Science.gov (United States)

    ... Special Issues Subscribe January 2016 Print this issue Blood Pressure Matters Keep Hypertension in Check En español Send ... Heart Attack or Stroke? Wise Choices For Healthy Blood Pressure Keep a healthy weight. Ask your doctor if ...

  5. Perceived social presence reduces fact-checking

    OpenAIRE

    Jun, Youjung; Meng, Rachel; Johar, Gita Venkataramani

    2017-01-01

    The dissemination of unverified content (e.g., ���fake��� news) is a societal problem with influence that can acquire tremendous reach when propagated through social networks. This article examines how evaluating information in a social context affects fact-checking behavior. Across eight experiments, people fact-checked less often when they evaluated claims in a collective (e.g., group or social media) compared with an individual setting. Inducing momentary vigilance increased the rate of fa...

  6. Generic Architecture for Mobile Check System

    OpenAIRE

    KARIMA MAAZOUZ; HABIB.BENLAHMER; NACEUR.ACHTAICH

    2013-01-01

    the explosion of the market of Smartphone has rapidly changed the way of m-commerce transactions, especially the m-payment systems which are knowing a wide acceptance due to their diversity and the new mobile technologies. In this work we have introduced the system m-check as a mobile payment system, we have presented a generic architecture of the system and the different protocols for the implementation of the system m-check

  7. 12 CFR 229.52 - Substitute check warranties.

    Science.gov (United States)

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Substitute check warranties. 229.52 Section 229... SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks § 229.52 Substitute check warranties. (a) Content and provision of substitute check warranties. A bank that transfers...

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

    Science.gov (United States)

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false General provisions governing substitute checks... FEDERAL RESERVE SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks § 229.51 General provisions governing substitute checks. (a) Legal equivalence. A substitute check for...

  9. Level up : Language proficiency and gamification in upper secondaryschool

    OpenAIRE

    Malmberg, Emilia

    2017-01-01

    Gamification is a new but upcoming feature in classrooms that has grown with the digitalisation in Swedish homes and schools. The aim of this literature review is to research how gamification can influence upper secondary students’ language proficiency in English as a foreign language. Five sources were analysed, four journals and one conference paper, and the results show that gamification could increase language proficiency if it is used in a moderate amount and that the summative assessmen...

  10. PROFICIENT CLASSROOM MANAGEMENT THROUGH FOCUSED MATHEMATIC TEACHING

    Directory of Open Access Journals (Sweden)

    Marcus Samuelsson

    2017-12-01

    Full Text Available A not entirely unusual position among teachers is that they believe that they must first establish a peaceful classroom before they can begin to teach the subject. This research, shows how a proficient mathematics teacher teaches his subject and thereby creates a quiet and focused classroom and exerts effective leadership, just by teaching mathematics. The researchers observed a male mathematics teacher for almost half a year, i.e. one semester. The results of research present several patterns that the researchers saw during the observations of his teaching. The teacher showed an interest in each student’s mathematical thinking and expressed explicitly how students were expected to learn mathematics. He also directed students’ attention to mathematics and established a culture where all solutions were important in the teaching process. In the teaching process, he used multiple representations to motivate students and a lot of supportive expressions that made them feel that they were able to learn mathematics. He worked patiently to establish structures, and there was almost no disruptive behaviour. Students simply did not have time to interfere because they were so engaged in learning mathematics.

  11. MPST Software: grl_pef_check

    Science.gov (United States)

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

    2013-01-01

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

  12. STRATEGIES OF MAINTAINING PROFICIENCY BY TEACHERS OF ENGLISH IN INDONESIA

    Directory of Open Access Journals (Sweden)

    Junaidi Mistar, Alfan Zuhairini

    2011-10-01

    Full Text Available The objectives of the present study are four-fold: (1 to identify the types of strategies to maintain proficiency used by teachers of English in Indonesia, (2 to know the intensity of use of the obtained strategy types, (3 to measure the inter-correlation in the use of the obtained strategy types, and (4 to investigate the effect of proficiency level on the use of maintaining strategies. The subjects were 93 teachers applying for S2 degree in 2010/2011 at the postgraduate program of the Islamic University of Malang. They were given two sets of instrument, a Likert-scale questionnaire of English proficiency maintaining strategies and a TOEFL test. Then, a factor analysis identified nine strategy categories, including language focusing, metacognitive and affective developing, reading and writing activating, language resource utilizing, cognitive processing, culture learning, social communicating, text analyzing, and radio listening strategies. These strategy types explained 63.84% of variances of maintaining strategies and they were used at high level of intensity. Moreover, the use of the nine strategy types were found to be inter-correlated with one another. Finally, no significant effect of proficiency level on strategy use was found, indicating that teachers with different level of proficiency reported using the same strategies of maintaining their proficiency.

  13. Segmentation and accuracy-based scores for the automatic assessment of oral proficiency for proficient L2 speakers

    CSIR Research Space (South Africa)

    De Wet, Febe

    2010-11-01

    Full Text Available . Results indicate that, both for segmentation as well as accuracy-based scores, the most simple scores correlate best with the humans’ opinion on the students’ proficiency. Combining different scores using multiple linear regression leads to marginally...

  14. Evidence-based dentistry: assessment to document progression to proficiency.

    Science.gov (United States)

    Marshall, T A; Straub-Morarend, C L; Guzmán-Armstrong, S; Handoo, N

    2017-11-01

    The integration of evidence-based dentistry (EBD) into pre-doctoral dental curricula requires the identification of desired outcomes, development of curricular content and design of assessment strategies which guide student performance whilst documenting achievement of desired curricular outcomes. Models for developing EBD curriculums have been described in the literature; however, the logistics of designing assessment instruments to progressively document student performance have received less attention. The objective of this article is to describe the University of Iowa's College of Dentistry's development and implementation of assessment strategies to guide student learning of EBD knowledge, application and assimilation to serve as a model for other institutions developing EBD assessment protocols. Desired EBD knowledge and behaviour outcomes guided the development of curricular content and progressive formative and summative assessment strategies. Vertically and horizontally integrated educational activities enabling students to demonstrate EBD knowledge whilst modelling desired behaviours were identified, whilst assessment principles guided development of learning guides and assessment instruments to document achievement of desired outcomes. Consistent EBD language and educational activities are utilised throughout the 4-year interdisciplinary curriculum with stepwise assessment protocols matched to the curriculum. Examples of student learning guides and assessment instruments are provided. Curricular design guides development of assessment strategies. Assessment protocols provide consistent formative and summative feedback to enable continuous student growth to become proficient EBD practitioners. © 2016 John Wiley & Sons A/S. Published by John Wiley & Sons Ltd.

  15. Improving Assessment of Foreign Language Proficiency in Internationally Majoring Students

    Directory of Open Access Journals (Sweden)

    Nina L. Kobiakova

    2014-01-01

    Full Text Available The author considers the issues related to the development of the theoretical platform and the methodology for a model used to control and evaluate educational achievements at the Russian-based university-level foreign-language using such foreign practices as merit point system, testing technology and traditional controls. Having analyzed European practices of control and evaluation of students' foreign language proficiency, in particular, the experience of France, she advocates for the adoption by the national university system of the best available foreign methodology in the field. The article depicts the proprietary model for the comprehensive assessment of the educational outcomes of the internationally majoring students in the French language. The model, customized for Russian universities, is based on the professionally oriented competence-based practical course of the French language for internationally majoring students designed by the author. With the regard to that content and basing on DELF, DALF and TCF language tests and exercise systems for the French language studies by European and Russian practitioners, she advances her own testing, communication and translation exercises toolbox. That comprehensive evaluation model was successful tested at the MGIMO. In the course of that experiment, national testing techniques and the content of linguistic tests and didactic tools were streamlined with the European requirements.

  16. Recommending a minimum English proficiency standard for entry-level nursing.

    Science.gov (United States)

    O'Neill, Thomas R; Tannenbaum, Richard J; Tiffen, Jennifer

    2005-01-01

    When nurses who are educated internationally immigrate to the United States, they are expected to have English language proficiency in order to function as a competent nurse. The purpose of this research was to provide sufficient information to the National Council of State Boards of Nursing (NCSBN) to make a defensible recommended passing standard for English proficiency. This standard was based upon the Test of English as a Foreign Language (TOEFL). A large panel of nurses and nurse regulators (N = 25) was convened to determine how much English proficiency is required to be minimally competent as an entry-level nurse. Two standard setting procedures, the Simulated Minimally Competent Candidate (SMCC) procedure and the Examinee Paper Selection Method, were combined to produce recommendations for each panelist. In conjunction with collateral information, these recommendations were reviewed by the NCSBN Examination Committee, which decided upon an NCSBN recommended standard, a TOEFL score of 220. Because the adoption of this standard rests entirely with the individual state, NCSBN has little more to do with implementing the standard, other than answering questions and providing documentation about the standard.

  17. Observed hierarchy of student proficiency with period, frequency, and angular frequency

    Science.gov (United States)

    Young, Nicholas T.; Heckler, Andrew F.

    2018-01-01

    In the context of a generic harmonic oscillator, we investigated students' accuracy in determining the period, frequency, and angular frequency from mathematical and graphical representations. In a series of studies including interviews, free response tests, and multiple choice tests developed in an iterative process, we assessed students in both algebra-based and calculus-based, traditionally instructed university-level introductory physics courses. Using the results, we categorized nine skills necessary for proficiency in determining period, frequency, and angular frequency. Overall results reveal that, postinstruction, proficiency is quite low: only about 20%-40% of students mastered most of the nine skills. Next, we used a semiquantitative, intuitive method to investigate the hierarchical structure of the nine skills. We also employed the more formal item tree analysis method to verify this structure and found that the skills form a multilevel, nonlinear hierarchy, with mastery of some skills being prerequisite for mastery in other skills. Finally, we implemented a targeted, 30-min group-work activity to improve proficiency in these skills and found a 1 standard deviation gain in accuracy. Overall, the results suggest that many students currently lack these essential skills, targeted practice may lead to required mastery, and that the observed hierarchical structure in the skills suggests that instruction should especially attend to the skills lower in the hierarchy.

  18. Terrorist Screening and Brady Background Checks for Firearms

    National Research Council Canada - National Science Library

    Krouse, William J

    2005-01-01

    .... For a time, moreover, all Brady background check records for approved firearm transfers were destroyed almost immediately, precluding the opportunity to used the background check system to screen...

  19. Expert consensus of general surgery residents' proficiency with common endocrine operations.

    Science.gov (United States)

    Phitayakorn, Roy; Kelz, Rachel R; Petrusa, Emil; Sippel, Rebecca S; Sturgeon, Cord; Patel, Kepal N; Perrier, Nancy D

    2017-01-01

    Proficiency with common endocrine operations is expected of graduating, general surgery residents. However, no expert consensus guidelines exist about these expectations. Members of the American Association of Endocrine Surgeons were surveyed about their opinions on resident proficiency with common endocrine operations. Overall response rate was 38%. A total of 92% of the respondents operate with residents. On average, they believed that the steps of a total thyroidectomy for benign disease and a well-localized parathyroidectomy could be performed by a postgraduate year 4 surgery resident. Specific steps that they thought might require more training included decisions to divide the strap muscles or leaving a drain. Approximately 66% of respondents thought that a postgraduate year 5 surgery resident could independently perform a total thyroidectomy for benign disease, but only 45% felt similarly for malignant thyroid disease; 79% thought that a postgraduate year 5 surgery resident could independently perform a parathyroidectomy. Respondents' years of experience correlated with their opinions about resident autonomy for total thyroidectomy (benign r = 0.38, P < .001; malignant r = 0.29, P = .001) but not parathyroidectomy. On multivariate analysis, sex and years of experience of the respondents were independently associated with opinions on autonomy but only for total thyroidectomy for benign disease (P = .001). Annual endocrine volume of the respondents did not correlate with beliefs in autonomy. There was general agreement among responding members of the AAES about resident proficiency and autonomy with common endocrine operations. As postgraduate year 5 residents may not be proficient in advanced endocrine operations, opportunities exist to improve training prior to the transition to independent practice for graduates that anticipate performing endocrine operations routinely. Copyright © 2016 Elsevier Inc. All rights reserved.

  20. Summary of the 2006 College of American Pathologists Gynecologic Cytology Proficiency Testing Program.

    Science.gov (United States)

    Bentz, Joel S; Hughes, Jonathan H; Fatheree, Lisa A; Schwartz, Mary R; Souers, Rhona J; Soures, Rhona J; Wilbur, David C

    2008-05-01

    Creating a tool that assesses professional proficiency in gynecologic cytology is challenging. A valid proficiency test (PT) must reflect practice conditions, evaluate locator and interpretive skills, and discriminate between those practitioners who are competent and those who need more education. The College of American Pathologists Gynecologic Cytology Proficiency Testing Program (PAPPT) was approved to enroll participants in a nationwide PT program in 2006. Report results from the 2006 PAPPT program. Summarize PT results by pass/fail rate, participant type, and slide-set modules. Nine thousand sixty-nine participants showed initial PT failure rates of 5%, 16%, and 6% for cytotechnologists, primary screening pathologists, and secondary screening pathologist, respectively. The overall initial test failure rate was 6%. After 3 retests, 9029 (99.6%) of the participants were able to achieve compliance with the PT requirement. No participant "tested out"; however, 40 individuals "dropped out" of the testing sequence (8 cytotechnologists, 9 primary screening pathologists, 23 secondary screening pathologists). Initial failure rates by slide-set modules were 6% conventional, 6% ThinPrep, 6% SurePath, and 5% mixture of all 3 slide types. A total of 99.6% of individuals enrolled in the 2006 PAPPT program achieved satisfactory results. The data confirm that cytotechnologists have higher initial pass rates than pathologists and pathologists who are secondary screeners perform better than those who are primary screeners. There was no difference identified in overall pass rates between the slide-set modules. Further analysis of data should help define the results and ongoing challenges of providing a nationwide federally mandated proficiency testing program in gynecologic cytology.

  1. UTP and Temporal Logic Model Checking

    Science.gov (United States)

    Anderson, Hugh; Ciobanu, Gabriel; Freitas, Leo

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

  2. Bayesian Model Checking for Multivariate Outcome Data.

    Science.gov (United States)

    Crespi, Catherine M; Boscardin, W John

    2009-09-01

    Bayesian models are increasingly used to analyze complex multivariate outcome data. However, diagnostics for such models have not been well-developed. We present a diagnostic method of evaluating the fit of Bayesian models for multivariate data based on posterior predictive model checking (PPMC), a technique in which observed data are compared to replicated data generated from model predictions. Most previous work on PPMC has focused on the use of test quantities that are scalar summaries of the data and parameters. However, scalar summaries are unlikely to capture the rich features of multivariate data. We introduce the use of dissimilarity measures for checking Bayesian models for multivariate outcome data. This method has the advantage of checking the fit of the model to the complete data vectors or vector summaries with reduced dimension, providing a comprehensive picture of model fit. An application with longitudinal binary data illustrates the methods.

  3. Model checking exact cost for attack scenarios

    DEFF Research Database (Denmark)

    Aslanyan, Zaruhi; Nielson, Flemming

    2017-01-01

    Attack trees constitute a powerful tool for modelling security threats. Many security analyses of attack trees can be seamlessly expressed as model checking of Markov Decision Processes obtained from the attack trees, thus reaping the benefits of a coherent framework and a mature tool support....... However, current model checking does not encompass the exact cost analysis of an attack, which is standard for attack trees. Our first contribution is the logic erPCTL with cost-related operators. The extended logic allows to analyse the probability of an event satisfying given cost bounds and to compute...... the exact cost of an event. Our second contribution is the model checking algorithm for erPCTL. Finally, we apply our framework to the analysis of attack trees....

  4. Glovebox pressure relief and check valve

    Energy Technology Data Exchange (ETDEWEB)

    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.

  5. Commutability of food microbiology proficiency testing samples.

    Science.gov (United States)

    Abdelmassih, M; Polet, M; Goffaux, M-J; Planchon, V; Dierick, K; Mahillon, J

    2014-03-01

    Food microbiology proficiency testing (PT) is a useful tool to assess the analytical performances among laboratories. PT items should be close to routine samples to accurately evaluate the acceptability of the methods. However, most PT providers distribute exclusively artificial samples such as reference materials or irradiated foods. This raises the issue of the suitability of these samples because the equivalence-or 'commutability'-between results obtained on artificial vs. authentic food samples has not been demonstrated. In the clinical field, the use of noncommutable PT samples has led to erroneous evaluation of the performances when different analytical methods were used. This study aimed to provide a first assessment of the commutability of samples distributed in food microbiology PT. REQUASUD and IPH organized 13 food microbiology PTs including 10-28 participants. Three types of PT items were used: genuine food samples, sterile food samples and reference materials. The commutability of the artificial samples (reference material or sterile samples) was assessed by plotting the distribution of the results on natural and artificial PT samples. This comparison highlighted matrix-correlated issues when nonfood matrices, such as reference materials, were used. Artificially inoculated food samples, on the other hand, raised only isolated commutability issues. In the organization of a PT-scheme, authentic or artificially inoculated food samples are necessary to accurately evaluate the analytical performances. Reference materials, used as PT items because of their convenience, may present commutability issues leading to inaccurate penalizing conclusions for methods that would have provided accurate results on food samples. For the first time, the commutability of food microbiology PT samples was investigated. The nature of the samples provided by the organizer turned out to be an important factor because matrix effects can impact on the analytical results. © 2013

  6. Proficiency testing for psychoactive substances in Italy.

    Science.gov (United States)

    Ferrara, S D; Brusini, G; Maietti, S; Frison, G; Castagna, F; Allevi, S; Menegus, A M; Tedeschi, L

    1999-01-01

    This paper describes the general design and main results of the Italian proficiency testing program for the analysis of psychoactive substances in urine, a long-term initiative created in 1995 on an educational basis and characterized by an innovative internet-based service for data exchange between laboratories and the organizing body. Batches of six urine samples, validated by reference laboratories, are sent every 3 months to participating laboratories, which may choose which classes of substances to test from those planned by the program panel and, within those classes, which type of analytical commitment to work on: identification of just one class (Option 1), identification of single substances (Option 2), or identification and quantification of single substances (Option 3). Comprehensive periodical reports and annual reports are provided to participants with evaluation of their performance and an annual workshop is organized to discuss technical-scientific topics related to clinical, forensic and analytical toxicology. About 200 laboratories currently participate in the program and a total of 67,059 analyses have been carried out since 1995. The mean percentage of correct results was 96.8%, with a yearly improvement of about 0.4%. The best average false positive and false negative rates were obtained for methadone (0.2% and 2.1% respectively) and cocaine (0.3% and 2.2%). The worst average false positive rates were obtained for amphetamines and opiates (3.2% and 5.0%) and worst average false negative rates for amphetamines, barbiturates and cannabinoids (17.4%, 30.7% and 19.9%).

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

    Science.gov (United States)

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

    2016-01-01

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

  8. Check In / Check Out. The Public Space as an Internet of Things

    NARCIS (Netherlands)

    van t Hof, C.C.G.; van Est, R.; Daemen, F.

    2011-01-01

    Mobile phones, public transport smart cards, security cameras and GPS systems in our car - we are surrounded by digital devices. They track us, guide us, help us, and control us. The book Check In / Check Out. The Public Space as an Internet of Things shows us how our digital and physical worlds are

  9. An exploratory study of proficient undergraduate Chemistry II students' application of Lewis's model

    Science.gov (United States)

    Lewis, Sumudu R.

    This exploratory study was based on the assumption that proficiency in chemistry must not be determined exclusively on students' declarative and procedural knowledge, but it should be also described as the ability to use variety of reasoning strategies that enrich and diversify procedural methods. The study furthermore assumed that the ability to describe the structure of a molecule using Lewis's model and use it to predict its geometry as well as some of its properties is indicative of proficiency in the essential concepts of covalent bonding and molecule structure. The study therefore inquired into the reasoning methods and procedural techniques of proficient undergraduate Chemistry II students when solving problems, which require them to use Lewis's model. The research design included an original survey, designed by the researcher for this study, and two types of interviews, with students and course instructors. The purpose of the survey was two-fold. First and foremost, the survey provided a base for the student interview selection, and second it served as the foundation for the inquiry into the strategies the student use when solving survey problems. Twenty two students were interviewed over the course of the study. The interview with six instructors allowed to identify expected prior knowledge and skills, which the students should have acquired upon completion of the Chemistry I course. The data, including videos, audios, and photographs of the artifacts produced by students during the interviews, were organized and analyzed manually and using QSR NVivo 10. The research found and described the differences between proficient and non-proficient students' reasoning and procedural strategies when using Lewis's model to describe the structure of a molecule. One of the findings clearly showed that the proficient students used a variety of cues to reason, whereas other students used one memorized cue, or an algorithm, which often led to incorrect representations in

  10. Model checking of healthcare domain models.

    Science.gov (United States)

    Baksi, Dibyendu

    2009-12-01

    This paper shows the application of a type of formal software verification technique known as lightweight model checking to a domain model in healthcare informatics in general and public health surveillance systems in particular. One of the most complex use cases of such a system is checked using assertions to verify one important system property. This use case is one of the major justifications for the complexity of the domain model. Alloy Analyzer verification tool is utilized for this purpose. Such verification work is very effective in either uncovering design flaws or in providing guarantees on certain desirable system properties in the earlier phases of the development lifecycle of any critical project.

  11. A Method for Model Checking Feature Interactions

    DEFF Research Database (Denmark)

    Pedersen, Thomas; Le Guilly, Thibaut; Ravn, Anders Peter

    2015-01-01

    This paper presents a method to check for feature interactions in a system assembled from independently developed concurrent processes as found in many reactive systems. The method combines and refines existing definitions and adds a set of activities. The activities describe how to populate the ...... the definitions with models to ensure that all interactions are captured. The method is illustrated on a home automation example with model checking as analysis tool. In particular, the modelling formalism is timed automata and the analysis uses UPPAAL to find interactions....

  12. Consistency Checking of Web Service Contracts

    DEFF Research Database (Denmark)

    Cambronero, M. Emilia; Okika, Joseph C.; Ravn, Anders Peter

    2008-01-01

    Behavioural properties are analyzed for web service contracts formulated in Business Process Execution Language (BPEL) and Choreography Description Language (CDL). The key result reported is an automated technique to check consistency between protocol aspects of the contracts. The contracts...... are abstracted to (timed) automata and from there a simulation is set up, which is checked using automated tools for analyzing networks of finite state processes. Here we use the Concurrency Work Bench. The proposed techniques are illustrated with a case study that include otherwise difficult to analyze fault...

  13. A Framework for Online Conformance Checking

    DEFF Research Database (Denmark)

    Burattin, Andrea; Carmona, Josep

    2017-01-01

    Conformance checking – a branch of process mining – focuses on establishing to what extent actual executions of a process are in line with the expected behavior of a reference model. Current conformancechecking techniques only allow for a-posteriori analysis: the amount of (non-)conformant behavior...... is quantified after the completion of the process instance. In this paper we propose a framework for online conformance checking: not only do we quantify (non-)conformant behavior as the execution is running, we also restrict the computation to constant time complexity per event analyzed, thus enabling...

  14. What is a good health check? An interview study of health check providers' views and practices.

    Science.gov (United States)

    Stol, Yrrah H; Asscher, Eva C A; Schermer, Maartje H N

    2017-10-02

    Health checks identify (risk factors for) disease in people without symptoms. They may be offered by the government through population screenings and by other providers to individual users as 'personal health checks'. Health check providers' perspective of 'good' health checks may further the debate on the ethical evaluation and possible regulation of these personal health checks. In 2015, we interviewed twenty Dutch health check providers on criteria for 'good' health checks, and the role these criteria play in their practices. Providers unanimously formulate a number of minimal criteria: Checks must focus on (risk factors for) treatable/preventable disease; Tests must be reliable and clinically valid; Participation must be informed and voluntary; Checks should provide more benefits than harms; Governmental screenings should be cost-effective. Aspirational criteria mentioned were: Follow-up care should be provided; Providers should be skilled and experienced professionals that put the benefit of (potential) users first; Providers should take time and attention. Some criteria were contested: People should be free to test on any (risk factor for) disease; Health checks should only be performed in people at high risk for disease that are likely to implement health advice; Follow up care of privately funded tests should not drain on collective resources. Providers do not always fulfil their own criteria. Their reasons reveal conflicts between criteria, conflicts between criteria and other ethical values, and point to components in the (Dutch) organisation of health care that hinder an ethical provision of health checks. Moreover, providers consider informed consent a criterion that is hard to establish in practice. According to providers, personal health checks should meet the same criteria as population screenings, with the exception of cost-effectiveness. Providers do not always fulfil their own criteria. Results indicate that in thinking about the ethics of health

  15. A Proof Theory for Model Checking: An Extended Abstract

    Directory of Open Access Journals (Sweden)

    Quentin Heath

    2017-01-01

    Full Text Available While model checking has often been considered as a practical alternative to building formal proofs, we argue here that the theory of sequent calculus proofs can be used to provide an appealing foundation for model checking. Since the emphasis of model checking is on establishing the truth of a property in a model, we rely on the proof theoretic notion of additive inference rules, since such rules allow provability to directly describe truth conditions. Unfortunately, the additive treatment of quantifiers requires inference rules to have infinite sets of premises and the additive treatment of model descriptions provides no natural notion of state exploration. By employing a focused proof system, it is possible to construct large scale, synthetic rules that also qualify as additive but contain elements of multiplicative inference. These additive synthetic rules—essentially rules built from the description of a model—allow a direct treatment of state exploration. This proof theoretic framework provides a natural treatment of reachability and non-reachability problems, as well as tabled deduction, bisimulation, and winning strategies.

  16. Availability of a Renewable, Checked System

    DEFF Research Database (Denmark)

    Platz, O.

    1976-01-01

    Recurrent expressions are given for point and interval unavailability of a renewable system subjected to periodic checking/repair. The expressions are generalizations of the basic relations in the theory of discrete renewal processes. The asymptotic limits for long times follow simply from...... a general theorem of this theory. The connection to previous expressions is established....

  17. Model Checking as Static Analysis: Revisited

    DEFF Research Database (Denmark)

    Zhang, Fuyuan; Nielson, Flemming; Nielson, Hanne Riis

    2012-01-01

    We show that the model checking problem of the μ-calculus can be viewed as an instance of static analysis. We propose Succinct Fixed Point Logic (SFP) within our logical approach to static analysis as an extension of Alternation-free Least Fixed Logic (ALFP). We generalize the notion...

  18. On parameter synthesis by parallel model checking.

    Science.gov (United States)

    Barnat, Jirí; Brim, Lubos; Krejcí, Adam; Streck, Adam; Safránek, David; Vejnár, Martin; Vejpustek, Tomás

    2012-01-01

    An important problem in current computational systems biology is to analyze models of biological systems dynamics under parameter uncertainty. This paper presents a novel algorithm for parameter synthesis based on parallel model checking. The algorithm is conceptually universal with respect to the modeling approach employed. We introduce the algorithm, show its scalability, and examine its applicability on several biological models.

  19. Model Checking Dynamic States in GROOVE

    NARCIS (Netherlands)

    Kastenberg, H.; Rensink, Arend; Valmari, A.

    2006-01-01

    Much research has been done in the field of model-checking complex systems (either hardware or software). Approaches that use explicit state modelling mostly use bit vectors to represent the states of such systems. Unfortunately, that kind of representation does not extend smoothly to systems in

  20. Efficient CSL Model Checking Using Stratification

    DEFF Research Database (Denmark)

    Zhang, Lijun; Jansen, David N.; Nielson, Flemming

    2012-01-01

    For continuous-time Markov chains, the model-checking problem with respect to continuous-time stochastic logic (CSL) has been introduced and shown to be decidable by Aziz, Sanwal, Singhal and Brayton in 1996 [ 1, 2]. Their proof can be turned into an approximation algorithm with worse than...

  1. Posterior Predictive Model Checking in Bayesian Networks

    Science.gov (United States)

    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…

  2. Statistical Model Checking for Stochastic Hybrid Systems

    DEFF Research Database (Denmark)

    David, Alexandre; Du, Dehui; Larsen, Kim Guldstrand

    2012-01-01

    This paper presents novel extensions and applications of the UPPAAL-SMC model checker. The extensions allow for statistical model checking of stochastic hybrid systems. We show how our race-based stochastic semantics extends to networks of hybrid systems, and indicate the integration technique...

  3. checkCIF/PLATON report Datablock: platon

    Indian Academy of Sciences (India)

    checkCIF was carefully designed to identify outliers and unusual parameters, but every test has its limitations and alerts that are not important in a particular case may appear. Conversely, the absence of alerts does not guarantee there are no aspects of the results needing attention. It is up to the individual to critically assess ...

  4. QuickChecking Static Analysis Properties

    DEFF Research Database (Denmark)

    Midtgaard, Jan; Møller, Anders

    2015-01-01

    of a lattice. Moreover, we offer a number of generic, type-safe combinators to check transfer functions and operators on lattices, to help ensure that these are, e.g., monotone, strict, or invariant. We substantiate our claims by quickchecking a type analysis for the Lua programming language...

  5. Integrating Online Assignments Checking in Introductory Courses

    Science.gov (United States)

    Pundak, David; Shacham, Miri; Herscovitz, Orit

    2013-01-01

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

  6. checkCIF/PLATON report Datablock: shelx

    Indian Academy of Sciences (India)

    checkCIF/PLATON report. Structure factors have been supplied for datablock(s) shelx. THIS REPORT IS FOR GUIDANCE ONLY. IF USED AS PART OF A REVIEW PROCEDURE. FOR PUBLICATION, IT SHOULD NOT REPLACE THE EXPERTISE OF AN EXPERIENCED. CRYSTALLOGRAPHIC REFEREE. No syntax errors ...

  7. checkCIF/PLATON report Datablock: I

    Indian Academy of Sciences (India)

    checkCIF/PLATON report. Structure factors have been supplied for datablock(s) I. THIS REPORT IS FOR GUIDANCE ONLY. IF USED AS PART OF A REVIEW PROCEDURE. FOR PUBLICATION, IT SHOULD NOT REPLACE THE EXPERTISE OF AN EXPERIENCED. CRYSTALLOGRAPHIC REFEREE. No syntax errors ...

  8. checkCIF/PLATON report Datablock: I

    Indian Academy of Sciences (India)

    checkCIF/PLATON report. You have not supplied any structure factors. As a result the full set of tests cannot be run. THIS REPORT IS FOR GUIDANCE ONLY. IF USED AS PART OF A REVIEW PROCEDURE. FOR PUBLICATION, IT SHOULD NOT REPLACE THE EXPERTISE OF AN EXPERIENCED. CRYSTALLOGRAPHIC ...

  9. checkCIF/PLATON report Datablock: 1

    Indian Academy of Sciences (India)

    8 ALERT level G = General information/check it is not something unexpected. 3 ALERT type 1 CIF construction/syntax error, inconsistent or missing data. 5 ALERT type 2 Indicator that the structure model may be wrong or deficient. 2 ALERT type 3 Indicator that the structure quality may be low. 3 ALERT type 4 Improvement, ...

  10. checkCIF/PLATON report Datablock: 1

    Indian Academy of Sciences (India)

    5 ALERT level G = General information/check it is not something unexpected. 0 ALERT type 1 CIF construction/syntax error, inconsistent or missing data. 2 ALERT type 2 Indicator that the structure model may be wrong or deficient. 1 ALERT type 3 Indicator that the structure quality may be low. 2 ALERT type 4 Improvement, ...

  11. checkCIF/PLATON report Datablock: I

    Indian Academy of Sciences (India)

    10 ALERT level G = General information/check it is not something unexpected. 3 ALERT type 1 CIF construction/syntax error, inconsistent or missing data. 2 ALERT type 2 Indicator that the structure model may be wrong or deficient. 4 ALERT type 3 Indicator that the structure quality may be low. 5 ALERT type 4 Improvement, ...

  12. checkCIF/PLATON report Datablock: 1

    Indian Academy of Sciences (India)

    0 ALERT level B = A potentially serious problem, consider carefully. 1 ALERT level C = Check. Ensure it ... 0 ALERT type 1 CIF construction/syntax error, inconsistent or missing data. 1 ALERT type 2 Indicator that the .... CELLZ01_ALERT_1_G WARNING: H atoms missing from atom site list. Is this intentional? From the CIF: ...

  13. checkCIF/PLATON report Datablock: 6

    Indian Academy of Sciences (India)

    checkCIF/PLATON report. You have not supplied any structure factors. As a result the full set of tests cannot be run. THIS REPORT IS FOR GUIDANCE ONLY. IF USED AS PART OF A REVIEW PROCEDURE. FOR PUBLICATION, IT SHOULD NOT REPLACE THE EXPERTISE OF AN EXPERIENCED. CRYSTALLOGRAPHIC ...

  14. checkCIF/PLATON report Datablock: shelxl

    Indian Academy of Sciences (India)

    checkCIF/PLATON report. Structure factors have been supplied for datablock(s) shelxl. THIS REPORT IS FOR GUIDANCE ONLY. IF USED AS PART OF A REVIEW PROCEDURE. FOR PUBLICATION, IT SHOULD NOT REPLACE THE EXPERTISE OF AN EXPERIENCED. CRYSTALLOGRAPHIC REFEREE. No syntax ...

  15. Mixing Type Checking and Symbolic Execution

    Science.gov (United States)

    2010-03-01

    at different lev- els of abstraction. Bandera [Corbett et al. 2000] is a model check- ing system that uses abstraction-based program specialization...Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Păsăreanu, Robby, and Hongjun Zheng. Bandera : extracting finite-state models

  16. India Emerging: The Reality Checks | IDRC - International ...

    International Development Research Centre (IDRC) Digital Library (Canada)

    2013-01-01

    Jan 1, 2013 ... India Emerging: The Reality Checks supplies a modern approach to understanding the dichotomy between growth and development. This book examines three key areas: the high growth sectors of India's economy, those sectors that have been bypassed in the growth process, and schemes and policies ...

  17. Incremental Integrity Checking: Limitations and Possibilities

    DEFF Research Database (Denmark)

    Christiansen, Henning; Martinenghi, Davide

    2005-01-01

    to query containment, we show that no procedure exists that always returns the best incremental test (aka simplification of integrity constraints), and this according to any reasonable criterion measuring the checking effort. In spite of this theoretical limitation, we develop an effective procedure...

  18. checkCIF/PLATON report Datablock: shelxl

    Indian Academy of Sciences (India)

    1 ALERT type 4 Improvement, methodology, query or suggestion. 1 ALERT type 5 Informative message, check. It is advisable to attempt to resolve as many as possible of the alerts in all categories. Often the minor alerts point to easily fixed oversights, errors and omissions in your CIF or refinement strategy, so attention to ...

  19. checkCIF/PLATON report Datablock: shelx

    Indian Academy of Sciences (India)

    2 ALERT type 4 Improvement, methodology, query or suggestion. 1 ALERT type 5 Informative message, check. It is advisable to attempt to resolve as many as possible of the alerts in all categories. Often the minor alerts point to easily fixed oversights, errors and omissions in your CIF or refinement strategy, so attention to ...

  20. 32 CFR 635.6 - Name checks.

    Science.gov (United States)

    2010-07-01

    ... INVESTIGATIONS LAW ENFORCEMENT REPORTING Records Administration § 635.6 Name checks. (a) Information contained in... special duty assignments, and security clearance procedures. Any information released must be restricted... agencies for counterintelligence purposes. (d) COPS MPRS is a database, which will contain all military...

  1. checkCIF/PLATON report Datablock: shelx

    Indian Academy of Sciences (India)

    checkCIF/PLATON report. You have not supplied any structure factors. As a result the full set of tests cannot be run. THIS REPORT IS FOR GUIDANCE ONLY. IF USED AS PART OF A REVIEW PROCEDURE. FOR PUBLICATION, IT SHOULD NOT REPLACE THE EXPERTISE OF AN EXPERIENCED. CRYSTALLOGRAPHIC ...

  2. checkCIF/PLATON report Datablock: 8

    Indian Academy of Sciences (India)

    checkCIF/PLATON report. You have not supplied any structure factors. As a result the full set of tests cannot be run. THIS REPORT IS FOR GUIDANCE ONLY. IF USED AS PART OF A REVIEW PROCEDURE. FOR PUBLICATION, IT SHOULD NOT REPLACE THE EXPERTISE OF AN EXPERIENCED. CRYSTALLOGRAPHIC ...

  3. checkCIF/PLATON report Datablock: 2

    Indian Academy of Sciences (India)

    checkCIF/PLATON report. You have not supplied any structure factors. As a result the full set of tests cannot be run. THIS REPORT IS FOR GUIDANCE ONLY. IF USED AS PART OF A REVIEW PROCEDURE. FOR PUBLICATION, IT SHOULD NOT REPLACE THE EXPERTISE OF AN EXPERIENCED. CRYSTALLOGRAPHIC ...

  4. checkCIF/PLATON report Datablock: red

    Indian Academy of Sciences (India)

    checkCIF/PLATON report. You have not supplied any structure factors. As a result the full set of tests cannot be run. THIS REPORT IS FOR GUIDANCE ONLY. IF USED AS PART OF A REVIEW PROCEDURE. FOR PUBLICATION, IT SHOULD NOT REPLACE THE EXPERTISE OF AN EXPERIENCED. CRYSTALLOGRAPHIC ...

  5. checkCIF/PLATON report Datablock: shelx

    Indian Academy of Sciences (India)

    PLAT333_ALERT_2_G Check Large Av C6-Ring C-C Dist. C5 -C18. 1.43 Ang. PLAT720_ALERT_4_G Number of Unusual/Non-Standard Labels .......... 3 Note. PLAT811_ALERT_5_G No ADDSYM Analysis: Too Many Excluded Atoms .... ! Info. PLAT860_ALERT_3_G Number of Least-Squares Restraints ............. 18 Note.

  6. checkCIF/PLATON report Datablock: shelx

    Indian Academy of Sciences (India)

    . PLAT301_ALERT_3_G Main Residue Disorder ............ Percentage = 24 Note. PLAT333_ALERT_2_G Check Large Av C6-Ring C-C Dist. C1 -C6. 1.44 Ang. PLAT720_ALERT_4_G Number of Unusual/Non-Standard Labels .......... 1 Note.

  7. Checking Knowledge in Online Encyclopaedias: Towards a ...

    African Journals Online (AJOL)

    rbr

    Checking Knowledge in Online Encyclopaedias. 411. 1. Introduction. What is the wingspan ... vant data, in this case an encyclopaedia, a bird atlas, or perhaps a dictionary of ornithology. Offering the user the correct ..... entry menu are usually shorter than they are in the English article. However, the menu itself consists of no ...

  8. checkCIF/PLATON report Datablock: shelx

    Indian Academy of Sciences (India)

    4 ALERT level G = General information/check it is not something unexpected. 1 ALERT type 1 CIF construction/syntax error, inconsistent or missing data. 6 ALERT type 2 Indicator that the structure model may be wrong or deficient. 1 ALERT type 3 Indicator that the structure quality may be low. 3 ALERT type 4 Improvement, ...

  9. checkCIF/PLATON report Datablock: I

    Indian Academy of Sciences (India)

    7 ALERT level G = General information/check it is not something unexpected. 8 ALERT type 1 CIF construction/syntax error, inconsistent or missing data. 0 ALERT type 2 Indicator that the structure model may be wrong or deficient. 1 ALERT type 3 Indicator that the structure quality may be low. 0 ALERT type 4 Improvement, ...

  10. checkCIF/PLATON report Datablock: shelxl

    Indian Academy of Sciences (India)

    3. Author Response: This Alert is due to presence of residual density in the presence of heavy metal atom (Ag). PLAT971_ALERT_2_C Check Calcd Residual Density 1.17A From C12 1.68 eA-3. Author Response: This Alert is due to presence ...

  11. The proficiency testing of determination of dioxins in food

    Energy Technology Data Exchange (ETDEWEB)

    Matsuda, R.; Tsutsumi, T.; Maitani, T. [National Institute of Health Sciences, Tokyo (Japan); Toyoda, M. [Jissen Womens Univ., Hino (Japan)

    2004-09-15

    Food intake is the main route of human dioxin exposure, making the determination of dioxins in food indispensable for risk assessment and risk management of dioxins. The uncertainty of analytical results, however, can be very great because of the low concentration of the analytes and complicated cleanup procedures. The risk assessment of dioxins based on analytical results also suffers from a similar degree of uncertainty. The Ministry of Health, Labor and Welfare of Japan has published ''Guideline for the Determination of Dioxins in Food'' to standardize the analytical procedures. The guideline contains the quality assurance procedures to obtain reliable analytical results and recommends participation in the relevant proficiency testing scheme. The proficiency testing provides the fair evaluation of the analytical results. The central science laboratory in England and the food and drug safety center in Japan offer the proficiency testing on food. The National Institute of Health Sciences of Japan (NIHS) also has carried out proficiency testing of dioxins in food since 1998 to assure the quality of analytical results for dioxins. In this presentation we will show the results of 5 rounds of proficiency testing.

  12. 12 CFR 229.53 - Substitute check indemnity.

    Science.gov (United States)

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Substitute check indemnity. 229.53 Section 229... SYSTEM AVAILABILITY OF FUNDS AND COLLECTION OF CHECKS (REGULATION CC) Substitute Checks § 229.53 Substitute check indemnity. (a) Scope of indemnity. A bank that transfers, presents, or returns a substitute...

  13. 31 CFR 235.4 - Check Forgery Insurance Fund.

    Science.gov (United States)

    2010-07-01

    ... 31 Money and Finance: Treasury 2 2010-07-01 2010-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 Insurance...

  14. 30 CFR 75.1715 - Identification check system.

    Science.gov (United States)

    2010-07-01

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

  15. The Relationship between Learner Autonomy and Vocabulary Learning Strategies in Iranian EFL Learners with Different Language Proficiency Level

    Directory of Open Access Journals (Sweden)

    Ebrahim Azimi Mohammad Abadi

    2013-05-01

    Full Text Available Vocabulary learning is incredibly noteworthy to English language acquisition. It is unfeasible for a learner to communicate without the required vocabulary. In high education levels, learners are habitually forced to become autonomous and make conscious effort to learn vocabulary outside of the classroom. Consequently, the autonomy of the learners plays an important role in developing and enhancing their vocabulary. Learner autonomy is a huge assistance for learners in vocabulary learning since it provides the learners with numerous diverse privileges such as independency from teacher. The researcher investigated whether there is any statistically significant relationship between learner autonomy and vocabulary learning strategies use in Iranian EFL learners with different language proficiency levels. To meet the above purpose, a total number of 190 male and female EFL learners participated in this study. The methodology underlying this study was quantitative (thorough the administration of two questionnaires and two language proficiency test – TOEFL for advanced group, and Nelson for intermediate level. The quantitative data was analyzed using a set of correlational analysis revealing a significant positive correlation between learner autonomy and vocabulary learning strategies use in high proficient group, and a significant positive relationship between these two constructs in low proficient group, however not as strong as in the advanced group.

  16. CIEMAT Interlaboratories Comparison of the Results obtained in the Proficiency Test Run by IAEA; Comparacion Interlaboratorios del CIEMAT de los Resultados Obtenidos en la Prueba de Capacitacion de Analisis de Transuranicos en Cenizas propocionadas por el OIEA

    Energy Technology Data Exchange (ETDEWEB)

    Gasco, C.; Anton, M. P.; Alvarez, A.; Navarro, N.; Meral, J.; Gonzalez, A.; Higueras Lafaja, E. [Ciemat. Madrid (Spain)

    2000-07-01

    This report contains the results obtained by two different laboratories from CIEMAT after participating in the Proficiency Test organised by IAEA (International Atomic Energy Agency) in 1999. This test involves the analysis of fly ashes containing natural radionuclides and different amounts of added transuranics. The extraction techniques, counting methods and results obtained are detailed. This type of test are used for the labs to achieve their accreditation and check the reliability of the procedures routinely employed. (Author) 4 refs.

  17. SoS contract verification using statistical model checking

    Directory of Open Access Journals (Sweden)

    Alessandro Mignogna

    2013-11-01

    Full Text Available Exhaustive formal verification for systems of systems (SoS is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for efficient verification of SoS. We address three relevant aspects for systems of systems: 1 the model of the SoS, which includes stochastic aspects; 2 the formalization of the SoS requirements in the form of contracts; 3 the tool-chain to support statistical model checking for SoS. We adapt the SMC technique for application to heterogeneous SoS. We extend the UPDM/SysML specification language to express the SoS requirements that the implemented strategies over the SoS must satisfy. The requirements are specified with a new contract language specifically designed for SoS, targeting a high-level English- pattern language, but relying on an accurate semantics given by the standard temporal logics. The contracts are verified against the UPDM/SysML specification using the Statistical Model Checker (SMC PLASMA combined with the simulation engine DESYRE, which integrates heterogeneous behavioral models through the functional mock-up interface (FMI standard. The tool-chain allows computing an estimation of the satisfiability of the contracts by the SoS. The results help the system architect to trade-off different solutions to guide the evolution of the SoS.

  18. Manufacturing Industry Employers’ Perception of Graduates’ English Language Skills Proficiency

    Directory of Open Access Journals (Sweden)

    Manjet Kaur Mehar Singh

    2012-09-01

    Full Text Available Proficiency in English language skills among graduates that create advantages for the organization is preferred by prospective employers as one of the main criteria for employability.  This article provides an overview of undergraduates in higher education and also workplace literacy from the perspective of the employers in the manufacturing industry. The result from the research demonstrates that Malaysian manufacturing industry employers perceive that the graduate employees’ English language proficiency skills are still below their expectations. Therefore, this study recommends that there is a need for intervention into language teaching to improve the English language syllabus level of English proficiency at primary, secondary and tertiary level. At the same time, emphasis on the importance of English in everyday use should be inculcated without neglecting the national language of Malaysia.  This will ensure that the teaching of English will be in line with globalization and current workplace demands.

  19. Pathways From Toddler Information Processing to Adolescent Lexical Proficiency.

    Science.gov (United States)

    Rose, Susan A; Feldman, Judith F; Jankowski, Jeffery J

    2015-01-01

    This study examined the relation of 3-year core information-processing abilities to lexical growth and development. The core abilities covered four domains-memory, representational competence (cross-modal transfer), processing speed, and attention. Lexical proficiency was assessed at 3 and 13 years with the Peabody Picture Vocabulary Test (PPVT) and verbal fluency. The sample (N = 128) consisted of 43 preterms (toddler information processing and language proficiency and, independent of stability in language, direct predictive links between (a) 3-year cross-modal ability and 13-year PPVT and (b) 3-year processing speed and both 13-year measures, PPVT and verbal fluency. Thus, toddler information processing was related to growth in lexical proficiency from 3 to 13 years. © 2015 The Authors. Child Development © 2015 Society for Research in Child Development, Inc.

  20. Language anxiety and proficiency in a foreign language.

    Science.gov (United States)

    Sparks, R L; Ganschow, L; Artzer, M; Siebenhar, D; Plageman, M

    1997-10-01

    Study examined the extent to which there would be differences in oral and written proficiency in a foreign language among groups of low-, average-, and high-anxious high school students. Participants were 60 girls attending a single-sex, college-preparatory high school and completing the second year of a foreign language course. Analysis showed over-all differences on measures of proficiency in the foreign language among the three groups. The results support the hypothesis that anxiety about foreign language learning is likely to represent students' differences in language learning.

  1. Provenance based data integrity checking and verification in cloud environments.

    Science.gov (United States)

    Imran, Muhammad; Hlavacs, Helmut; Haq, Inam Ul; Jan, Bilal; Khan, Fakhri Alam; Ahmad, Awais

    2017-01-01

    Cloud computing is a recent tendency in IT that moves computing and data away from desktop and hand-held devices into large scale processing hubs and data centers respectively. It has been proposed as an effective solution for data outsourcing and on demand computing to control the rising cost of IT setups and management in enterprises. However, with Cloud platforms user's data is moved into remotely located storages such that users lose control over their data. This unique feature of the Cloud is facing many security and privacy challenges which need to be clearly understood and resolved. One of the important concerns that needs to be addressed is to provide the proof of data integrity, i.e., correctness of the user's data stored in the Cloud storage. The data in Clouds is physically not accessible to the users. Therefore, a mechanism is required where users can check if the integrity of their valuable data is maintained or compromised. For this purpose some methods are proposed like mirroring, checksumming and using third party auditors amongst others. However, these methods use extra storage space by maintaining multiple copies of data or the presence of a third party verifier is required. In this paper, we address the problem of proving data integrity in Cloud computing by proposing a scheme through which users are able to check the integrity of their data stored in Clouds. In addition, users can track the violation of data integrity if occurred. For this purpose, we utilize a relatively new concept in the Cloud computing called "Data Provenance". Our scheme is capable to reduce the need of any third party services, additional hardware support and the replication of data items on client side for integrity checking.

  2. Provenance based data integrity checking and verification in cloud environments.

    Directory of Open Access Journals (Sweden)

    Muhammad Imran

    Full Text Available Cloud computing is a recent tendency in IT that moves computing and data away from desktop and hand-held devices into large scale processing hubs and data centers respectively. It has been proposed as an effective solution for data outsourcing and on demand computing to control the rising cost of IT setups and management in enterprises. However, with Cloud platforms user's data is moved into remotely located storages such that users lose control over their data. This unique feature of the Cloud is facing many security and privacy challenges which need to be clearly understood and resolved. One of the important concerns that needs to be addressed is to provide the proof of data integrity, i.e., correctness of the user's data stored in the Cloud storage. The data in Clouds is physically not accessible to the users. Therefore, a mechanism is required where users can check if the integrity of their valuable data is maintained or compromised. For this purpose some methods are proposed like mirroring, checksumming and using third party auditors amongst others. However, these methods use extra storage space by maintaining multiple copies of data or the presence of a third party verifier is required. In this paper, we address the problem of proving data integrity in Cloud computing by proposing a scheme through which users are able to check the integrity of their data stored in Clouds. In addition, users can track the violation of data integrity if occurred. For this purpose, we utilize a relatively new concept in the Cloud computing called "Data Provenance". Our scheme is capable to reduce the need of any third party services, additional hardware support and the replication of data items on client side for integrity checking.

  3. Provenance based data integrity checking and verification in cloud environments

    Science.gov (United States)

    Haq, Inam Ul; Jan, Bilal; Khan, Fakhri Alam; Ahmad, Awais

    2017-01-01

    Cloud computing is a recent tendency in IT that moves computing and data away from desktop and hand-held devices into large scale processing hubs and data centers respectively. It has been proposed as an effective solution for data outsourcing and on demand computing to control the rising cost of IT setups and management in enterprises. However, with Cloud platforms user’s data is moved into remotely located storages such that users lose control over their data. This unique feature of the Cloud is facing many security and privacy challenges which need to be clearly understood and resolved. One of the important concerns that needs to be addressed is to provide the proof of data integrity, i.e., correctness of the user’s data stored in the Cloud storage. The data in Clouds is physically not accessible to the users. Therefore, a mechanism is required where users can check if the integrity of their valuable data is maintained or compromised. For this purpose some methods are proposed like mirroring, checksumming and using third party auditors amongst others. However, these methods use extra storage space by maintaining multiple copies of data or the presence of a third party verifier is required. In this paper, we address the problem of proving data integrity in Cloud computing by proposing a scheme through which users are able to check the integrity of their data stored in Clouds. In addition, users can track the violation of data integrity if occurred. For this purpose, we utilize a relatively new concept in the Cloud computing called “Data Provenance”. Our scheme is capable to reduce the need of any third party services, additional hardware support and the replication of data items on client side for integrity checking. PMID:28545151

  4. Model Checking the Remote Agent Planner

    Science.gov (United States)

    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.

  5. Clamp force and alignment checking device

    Science.gov (United States)

    Spicer, John Patrick; Cai, Wayne W.; Chakraborty, Debejyo; Mink, Keith

    2017-04-11

    A check fixture measures a total clamp force applied by a welder device. The welder device includes a welding horn having a plurality of weld pads and welding anvil having a plurality of weld pads. The check fixture includes a base member operatively supporting a plurality of force sensors. The base member and the force sensors are received between the weld pads of the welding horn and the anvil pads of the welding anvil. Each force sensor is configured to measure an individual clamp force applied thereto by corresponding weld and anvil pads when the base member is received between the welding horn and the welding anvil and the welder device is in the clamped position. The individual clamp forces are used to determine whether the weld and/or anvil pads are worn or misaligned.

  6. Check-Operators and Quantum Spectral Curves

    Science.gov (United States)

    Mironov, Andrei; Morozov, Alexei

    2017-06-01

    We review the basic properties of effective actions of families of theories (i.e., the actions depending on additional non-perturbative moduli along with perturbative couplings), and their description in terms of operators (called check-operators), which act on the moduli space. It is this approach that led to constructing the (quantum) spectral curves and what is now nicknamed the EO/AMM topological recursion. We explain how the non-commutative algebra of check-operators is related to the modular kernels and how symplectic (special) geometry emerges from it in the classical (Seiberg-Witten) limit, where the quantum integrable structures turn into the well studied classical integrability. As time goes, these results turn applicable to more and more theories of physical importance, supporting the old idea that many universality classes of low-energy effective theories contain matrix model representatives.

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

    Science.gov (United States)

    Blank, Hartmut

    2017-08-01

    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.

  8. Method and apparatus for checking fire detectors

    Science.gov (United States)

    Clawson, G. T. (Inventor)

    1974-01-01

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

  9. CUDA Accelerated LTL Model Checking -­ Revisited

    OpenAIRE

    Bauch, Petr; Ceska, Milan

    2011-01-01

    Recently, the massively parallel architecture has been used to significantly accelerate many computation demanding tasks. For example, in [Baier, Kateon, The MIT Press, 2009; Barnat, Brim, Ceska, ICPADS 2009] we have shown how CUDA technology can be employed to accelerate the process of Linear Temporal Logic (LTL) Model Checking. In this paper we redesign the One-Way-Catch-Them-Young (OWCTY) algorithm [Cerna, Pelanek, SPIN'03] in order to devise a new CUDA accelerated OWCTY algorithm that wil...

  10. Speed checks on the CERN site

    CERN Multimedia

    2007-01-01

    In view of the significant number of speeding incidents that have been reported, CERN will shortly start to carry out speed checks on the site. The radar used for this purpose will show drivers the speed measured. The disciplinary measures taken against those exceeding the authorised limit (generally 50 k.p.h.) will include a ban from driving on the site for a minimum of one month. Maximilian Metzger
Secretary-General

  11. Type checking with open type functions

    DEFF Research Database (Denmark)

    Schrijvers, Tom; Jones, Simon Peyton; Chakravarty, Manual

    2008-01-01

    We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The contribution of the paper is that we identify and characterise the key technical challenge of entailment checking......; and we give a novel, decidable, sound, and complete algorithm to solve it, together with some practically-important variants. Our system is implemented in GHC, and is already in active use....

  12. Low-Density Parity-Check Codes.

    Directory of Open Access Journals (Sweden)

    Rafael Fernando Treto Carriles

    2011-03-01

    Full Text Available The Low-Density Parity-Check Codes were introduced by Robert Gallager in 1960, but they were ignored for long time. Since 1993 those codes had suffered a rebirth, being nowadays the most studied. This article is about the basic structure of LDPC codes, their graphical representation and iterative algorism used for decoding, taking into account hard decision. It also talks about different metrics for comparison and some of their applications.

  13. Safe, Multiphase Bounds Check Elimination in Java

    Science.gov (United States)

    2010-01-28

    National Science Foundation under grants CCF-0846010, EIA-0117255, CCF-0702527, and CNS-0855247. References [1] Elvira Albert, Germán Puebla, and Manuel ...David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano , V. C. Sreedhar, Harini Srinivasan, and John Whaley. The jalapeño dynamic optimizing...Computer Science, pages 137–153, August 2009. 40 Gampe, et al. Multiphase Bounds Check Elimination CS-TR-2010-001 [44] Martin Odersky and Philip Wadler

  14. Semantic Importance Sampling for Statistical Model Checking

    Science.gov (United States)

    2014-10-18

    development [7]. It has been used to verify systems ranging from pacemakers [1], root contention protocols [8] and biologi- cal pathways [6]. For our...syntactic extractor which looks for //@dist declarations to determine the input space and distributions; and (iii) a verification condition generator...Norman, G., Sproston, J.: Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Formal Aspects of

  15. Check valves with drop-shaped disk

    Energy Technology Data Exchange (ETDEWEB)

    1943-03-19

    This report discusses improvements possible with drop check valves. Up to the time of the report, the most important improvements had been: (1) lightening of the drop by hollowing it out, (2) reducing lift to reduce impact, (3) increasing clearance in the guide to minimize the danger of it getting stuck, (4) drilling of a safety hole which would indicate excessive wear of the housing by a leak. Other possibilities for the above improvements had produced the following conclusions: (1) a further lightening of the drop was found possible by milling out the halves with a milling cutter, by welding them together and thus eliminating the threaded portion, or by having the drop open on the bottom; (2) further reduction in lift was not found possible in most sizes, but for reduction of the impact effect by a cushion of oil or paste, the seating surface was widened as much as possible; (3) sticking of certain check valves caused by ferrous sulfide deposits could be solved by use of a certain bushing in the housing; (4) some plants favored and some disfavored the safety hole, but in general, plants were to service check valves and change them at such regular intervals as experience dictated; (5) the seat plate was no longer solid steel, but a welded piece.

  16. Automating the initial physics chart checking process.

    Science.gov (United States)

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

    2009-02-11

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

  17. Reality check: the cost-effectiveness of removing body checking from youth ice hockey.

    Science.gov (United States)

    Lacny, Sarah; Marshall, Deborah A; Currie, Gillian; Kulin, Nathalie A; Meeuwisse, Willem H; Kang, Jian; Emery, Carolyn A

    2014-09-01

    The risk of injury among Pee Wee (ages 11-12 years) ice hockey players in leagues that allow body checking is threefold greater than in leagues that do not allow body checking. We estimated the cost-effectiveness of a no body checking policy versus a policy that allows body checking in Pee Wee ice hockey. Cost-effectiveness analysis alongside a prospective cohort study during the 2007-2008 season, including players in Quebec (n=1046), where policy did not allow body checking, and in Alberta (n=1108), where body checking was allowed. Injury incidence rates (injuries/1000 player-hours) and incidence proportions (injuries/100 players), adjusted for cluster using Poisson regression, allowed for standardised comparisons and meaningful translation to community stakeholders. Based on Alberta fee schedules, direct healthcare costs (physician visits, imaging, procedures) were adjusted for cluster using bootstrapping. We examined uncertainty in our estimates using cost-effectiveness planes. Associated with significantly higher injury rates, healthcare costs where policy allowed body checking were over 2.5 times higher than where policy disallowed body checking ($C473/1000 player-hours (95% CI $C358 to $C603) vs $C184/1000 player-hours (95% CI $C120 to $C257)). The difference in costs between provinces was $C289/1000 player-hours (95% CI $C153 to $C432). Projecting results onto Alberta Pee Wee players registered in the 2011-2012 season, an estimated 1273 injuries and $C213 280 in healthcare costs would be avoided during just one season with the policy change. Our study suggests that a policy disallowing body checking in Pee Wee ice hockey is cost-saving (associated with fewer injuries and lower costs) compared to a policy allowing body checking. As we did not account for long-term outcomes, our results underestimate the economic impact of these injuries. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please

  18. Examining attitudes toward body checking, levels of emotional empathy, and levels of aggression in body checking and non-body checking youth hockey leagues.

    Science.gov (United States)

    Emery, Carolyn A; McKay, Carly D; Campbell, Tavis S; Peters, Alexis N

    2009-05-01

    To determine if attitudes associated with body checking, emotional empathy, and aggression differ between players in body checking and non-body checking hockey leagues and to determine the influence of these attitudes on injury rates. Prospective cohort. Participants were randomly recruited by team from the Calgary Minor Hockey Association at the beginning of the 2006-2007 season. There were 283 participants from Pee Wee (aged 11-12 years), Bantam (aged 13-14 years), and Midget (aged 15-16 years) teams. Of 13 teams from the body checking league, 138 players participated, and of 24 teams in the non-body checking league, 145 players participated. Participants completed 4 self-report questionnaires: (1) Medical Questionnaire, (2) Body Checking Questionnaire, (3) Empathy Index for Children and Adolescents, and (4) Buss-Perry Aggression Questionnaire. Participants were followed through the season for injury reports. The injury definition included any hockey injury resulting in medical attention, the inability to complete a hockey session, and/or missing a subsequent hockey session. Body checking players reported more positive attitudes toward body checking (35.59; 95% confidence interval [CI]: 34.52-36.65) than non-body checking players (22.43; 95% CI, 21.38-23.49; t = -17.34; P aggression score for the body checking players (76.22; 95% CI, 73.18-79.25) was significantly higher than the mean for the non-body checking players (70.57; 95% CI, 67.35-73.80; t = -2.52; P = 0.013). Body checking seems to influence attitudes toward body checking and aggression, but attitudes toward body checking, empathy, and aggression did not influence injury rates.

  19. Listening and Reading Proficiency Levels of College Students

    Science.gov (United States)

    Tschirner, Erwin

    2016-01-01

    This article examines listening and reading proficiency levels of U.S. college foreign language students at major milestones throughout their undergraduate career. Data were collected from more than 3,000 participants studying seven languages at 21 universities and colleges across the United States. The results show that while listening…

  20. Developing a Psychometrically Sound Measure of Collegiate Teaching Proficiency

    Science.gov (United States)

    Barnes, Donald C.; Engelland, Brian T.; Matherine, Curtis F.; Martin, William C.; Orgeron, Craig P.; Ring, J. Kirk; Smith, Gregory R.; Williams, Zachary

    2008-01-01

    While student evaluation of teaching (SET) has become a common practice on most college campuses, research suggests that weaknesses exist in many of the common instruments employed for this assessment. This study lays the groundwork for the development of an improved psychometrically sound measure of teaching proficiency that can be used in a…

  1. Oral proficiency assessment: the use of automatic speech ...

    African Journals Online (AJOL)

    The development and assessment of oral proficiency and listening comprehension is one of the most problematic aspects in language teaching, especially when the majority of testtakers are non-standard users of English. The main problems concern the feasibility of such testing and the need for reliable scoring. As far as ...

  2. Language Learning Strategies and English Proficiency of Chinese University Students

    Science.gov (United States)

    Nisbet, Deanna L.; Tindall, Evie R.; Arroyo, Alan A.

    2005-01-01

    This study investigated the relationship between language learning strategy (LLS) preferences and English proficiency among Chinese university students. Oxford's (1990), Strategy Inventory for Language Learning (SILL) and an institutional version (ITP) of the Test of English as a Foreign Language (TOEFL) were administered to 168 third-year English…

  3. Assessing Critical Thinking Skills in Students with Limited English Proficiency

    Science.gov (United States)

    Gustafson, Marianne; Bochner, Joseph

    2009-01-01

    The purpose of this article is to describe a procedure that has been used successfully to evaluate the critical thinking (CT) abilities of a population of undergraduates having limited proficiency in the English language. The results of this study demonstrate that it is possible to obtain reliable evaluations of CT skills in undergraduates who…

  4. Advisory Working Alliance, Perceived English Proficiency, and Acculturative Stress

    Science.gov (United States)

    Wei, Meifen; Tsai, Pei-Chun; Chao, Ruth Chu-Lien; Du, Yi; Lin, Shu-Ping

    2012-01-01

    The aim of this study was to examine the moderators of (a) general or cross-cultural advisory working alliances and (b) perceived English proficiency on the association between acculturative stress and psychological distress. A total of 143 East Asian international students completed an online survey. Results from a hierarchical regression…

  5. Masked translation priming effects with low proficient bilinguals

    National Research Council Canada - National Science Library

    Dimitropoulou, Maria; Duñabeitia, Jon Andoni; Carreiras, Manuel

    2011-01-01

    ... (Experimental Psychology 56:173–179). In a series of masked translation priming lexical decision experiments we examined whether the same pattern of effects would emerge with late and low proficient Greek (L1)–Spanish (L2) bilinguals...

  6. Online Assessment of Oral Proficiency for Intercultural Professional Communication

    NARCIS (Netherlands)

    Rusman, Ellen; Stoyanov, Slavi

    2012-01-01

    Rusman, E., & Stoyanov, S. (2011, 18 May). Online Assessment of Oral Proficiency for Intercultural Professional Communication. Presentation about the CEFcult project (www.cefcult.eu) at the workshop ‘Crossing borders’ organised by the Talenacademie, Heerlen, The Netherlands: Open University in the

  7. A retrospective evaluation of proficiency testing, and rapid HIV test ...

    African Journals Online (AJOL)

    Background: Proficiency testing (PT) has been implemented as a form of External Quality Assurance (EQA) by the National HIV Reference Laboratory in Kenya since 2007 in order to monitor and improve on the quality of HIV testing and counselling HTC services. Objective: To compare concordance between National HIV ...

  8. Bilingual Competence and Bilingual Proficiency in Child Development

    Science.gov (United States)

    Francis, Norbert

    2011-01-01

    When two or more languages are part of a child's world, we are presented with a rich opportunity to learn something about language in general and about how the mind works. In this book, Norbert Francis examines the development of bilingual proficiency and the different kinds of competence that come together in making up its component parts. In…

  9. Internet Behaviours as Predictors of Reading Proficiency of Model ...

    African Journals Online (AJOL)

    Two instruments were validated and used for data collection: Students' Internet Behaviour Questionnaire r=.87) and Reading Proficiency Test (r=.79). Frequency counts, percentages and multiple regression analysis were used to analyse data. The results which were interpreted at 0.05 level of significance show students' ...

  10. Vocabulary and Reading Performances of Redesignated Fluent English Proficient Students

    Science.gov (United States)

    Hwang, Jin Kyoung; Lawrence, Joshua Fahey; Collins, Penelope; Snow, Catherine

    2017-01-01

    In this article, the researchers examined general vocabulary, academic vocabulary, and reading comprehension growth trajectories of adolescent redesignated fluent English proficient (RFEP) students using individual growth modeling analysis. The sample included 1,226 sixth- to eighth-grade RFEP students from six middle schools in an urban school…

  11. Fundamental movement skill proficiency of South African girls from a ...

    African Journals Online (AJOL)

    Poor fundamental movement skills (FMS) proficiency can contribute to a decrease in participation in energy-expending recreational and sporting endeavours. Against the backdrop of the increasing obesity epidemic, ensuring that these foundational motor skills are established in childhood is justified. The purpose of this ...

  12. Convergent and Discriminant Validation of Oral Language Proficiency Tests.

    Science.gov (United States)

    Bachman, Lyle F.; Palmer, Adrian S.

    In a study designed to validate oral language proficiency tests, it is planned to administer a series of tests to 100 native Mandarin Chinese-speaking subjects (foreign students and their spouses). The tests will measure communicative competence in speaking (ability to speak, exhibiting control of linguistic, sociolinguistic, and pragmatic rules;…

  13. Proficiency test on incurred and spiked pesticide residues in cereals

    DEFF Research Database (Denmark)

    Poulsen, Mette Erecius; Christensen, Hanne Bjerre; Herrmann, Susan Strange

    2009-01-01

    A proficiency test on incurred and spiked pesticide residues in wheat was organised in 2008. The test material was grown in 2007 and treated in the field with 14 pesticides formulations containing the active substances, alpha-cypermethrin, bifentrin, carbendazim, chlormequat, chlorpyrifos-methyl,...

  14. Determinants of second language proficiency among refugees in the Netherlands

    NARCIS (Netherlands)

    Tubergen, F.A. van

    2010-01-01

    Little is known about the language acquisition of refugees in Western countries. This study examines how pre- and post-migration characteristics of refugees are related to their second language proficiency. Data are from a survey of 3,500 refugees, who were born in Afghanistan, Iran, Iraq, former

  15. Conversion to a Proficiency Oriented Curriculum at the University Level.

    Science.gov (United States)

    Rogers, Carmen Villegas; And Others

    A state grant to the Department of Romance Languages of the University of Tennessee in Knoxville has allowed development of a proficiency-based curriculum for first- and second-year French and Spanish. Most of the effort to date has been preparation of the syllabus based on specified goals and objectives, or student outcomes, focusing on allowing…

  16. The educational consequences of language proficiency for young children

    NARCIS (Netherlands)

    Yao, Yuxin; Ohinata, Asako; van Ours, Jan

    2016-01-01

    Our paper studies the educational consequences of language proficiency by investigating the relationship between dialect-speaking and academic performance of 5–6 year old children in the Netherlands. We find that dialect-speaking has a modestly negative effect on boys’ language test scores. In

  17. The Education Consequences of Language Proficiency for Young Children

    NARCIS (Netherlands)

    Yao, Yuxin; Ohinata, Asako; van Ours, Jan

    2016-01-01

    This paper studies the educational consequences of language proficiency by investigating the relationship between dialect-speaking and academic performance of 5-6 year old children in the Netherlands. We find that dialect-speaking has a modestly negative effect on boys' language test scores. In

  18. Motor proficiency and physical fitness in active and inactive girls ...

    African Journals Online (AJOL)

    In modern day society physical activity levels diminish rapidly among girls and may be a direct consequence of girls experiencing motor difficulties. Therefore the aim of the study was to compare motor proficiency levels and physical fitness levels among active and inactive girls (N=97), aged 12 to 13 years. The BOTMP ...

  19. Impact of English Proficiency on Academic Performance of International Students

    Science.gov (United States)

    Martirosyan, Nara M.; Hwang, Eunjin; Wanjohi, Reubenson

    2015-01-01

    Using an ex-post facto, non-experimental approach, this research examined the impact of English language proficiency and multilingualism on the academic performance of international students enrolled in a four-year university located in north central Louisiana in the United States. Data were collected through a self-reported questionnaire from 59…

  20. Developing Autonomous Learning for Oral Proficiency Using Digital Storytelling

    Science.gov (United States)

    Kim, SoHee

    2014-01-01

    Since online educational technology can support a ubiquitous language learning environment, there are many ways to develop English learners' autonomy through self-access learning. This study investigates whether English as a second language (ESL) learners can improve their oral proficiency through independent study by using online self-study…

  1. Second Language Proficiency and Cross-Language Lexical Activation

    NARCIS (Netherlands)

    Hell, J.G. van; Tanner, D.

    2012-01-01

    Although research has consistently shown that a bilingual's two languages interact on multiple levels, it is also well-established that bilinguals can vary considerably in their proficiency in the second language (L2). In this paper we review empirical studies that have examined how differences in

  2. Are antibiotic screening approaches sufficiently adequate? A proficiency test

    NARCIS (Netherlands)

    Berendsen, B.J.A.; Pikkemaat, M.G.; Stolker, A.A.M.

    2011-01-01

    A proficiency test including the screening analysis of antibiotics in beef using cryogenicly minced materials was organized by RIKILT in 2009. The test included blank beef samples and beef samples spiked with either flumequine or a combination of lincomycin and spectinomycin around the maximum

  3. Reduced Frontal Activation with Increasing 2nd Language Proficiency

    Science.gov (United States)

    Stein, Maria; Federspiel, Andrea; Koenig, Thomas; Wirth, Miranka; Lehmann, Christoph; Wiest, Roland; Strik, Werner; Brandeis, Daniel; Dierks, Thomas

    2009-01-01

    The factors influencing the degree of separation or overlap in the neuronal networks responsible for the processing of first and second language are still subject to investigation. This longitudinal study investigates how increasing second language proficiency influences activation differences during lexico-semantic processing of first and second…

  4. Music Teachers in Turkey: Their Proficiency, Working Environments and Problems

    Science.gov (United States)

    Otacioglu, Sena Gursen

    2008-01-01

    The aim of this study was the collection of data concerning Turkish music teachers' proficiency and their place in the primary and secondary education system. In addition, information was collected regarding the teachers' working environment and professional complications. A total of 200 music teachers' opinions were compiled for the determination…

  5. English-for-Teaching: Rethinking Teacher Proficiency in the Classroom

    Science.gov (United States)

    Freeman, Donald; Katz, Anne; Garcia Gomez, Pablo; Burns, Anne

    2015-01-01

    The expansion of English teaching in state education systems places increasing demands on English language teachers and how they are trained. A major thrust of these efforts has focused on improving teachers' English language proficiency. This expectation is manifested in policy and pedagogical directives that teachers "teach English in…

  6. Proficiency in English as a second official language (ESOL) in ...

    African Journals Online (AJOL)

    The paper first presents a background to English as the international and global language and the second official language as well as the medium of instruction in Lesotho. It further discusses the meaning of proficiency in English and the rationale for teaching and learning English as well as using English as the medium of ...

  7. Automated Assembly of Pre-equated Language Proficiency Tests.

    Science.gov (United States)

    Henning, Grant; And Others

    1994-01-01

    Examines the effectiveness of an automated language proficiency test assembly system at an air force base English Language Center. The study focuses on the equivalence of mean score difficulty, total score variance, and intercorrelation covariance across test norms and finds a high level of test-form equivalence and internal consistency. (nine…

  8. The Relationship Between Foreign Language Proficiency and Various Psychological Variables.

    Science.gov (United States)

    Oskarsson, Mats

    A large-scale test development project at the Language Teaching Research Center of the University of Gothenburg aims to develop tests in English as a foreign language for use in various areas of business and public administration. After testing, certificates stating current proficiency level in each of the four language skills (listening, reading,…

  9. Beyond Host Language Proficiency: Coping Resources Predicting International Students' Satisfaction

    Science.gov (United States)

    Mak, Anita S.; Bodycott, Peter; Ramburuth, Prem

    2015-01-01

    As international students navigate in a foreign educational environment, having higher levels of coping or stress-resistance resources--both internal and external--could be related to increased satisfaction with personal and university life. The internal coping resources examined in this study were host language proficiency, self-esteem,…

  10. Equine-assisted therapy as intervention for motor proficiency in ...

    African Journals Online (AJOL)

    Equine-assisted therapy as intervention for motor proficiency in children with autism spectrum disorder: Case studies. ... EAT interventions could provide a suitable alternative approach for children on this spectrum who experience impairments in low muscle tone, repetitive motor movements, poor motor planning, postural ...

  11. The Impact of Second Language Proficiency in Dyadic Peer Feedback

    Science.gov (United States)

    Allen, David; Mills, Amy

    2016-01-01

    Peer feedback is widely used in second and foreign language writing contexts. While second language (L2) proficiency is likely to be an important factor in determining peers' ability to give and utilize feedback, its contribution has been relatively under-researched. In the present study, 54 undergraduates in a foreign language writing context…

  12. Determinants of Second Language Proficiency among Refugees in the Netherlands

    Science.gov (United States)

    van Tubergen, Frank

    2010-01-01

    Little is known about the language acquisition of refugees in Western countries. This study examines how pre- and post-migration characteristics of refugees are related to their second language proficiency. Data are from a survey of 3,500 refugees, who were born in Afghanistan, Iran, Iraq, former Yugoslavia and Somalia, and who resided in the…

  13. From admission to discharge: patterns of interpreter use among resident physicians caring for hospitalized patients with limited english proficiency.

    Science.gov (United States)

    Tang, Amy S; Kruger, Jenna F; Quan, Judy; Fernandez, Alicia

    2014-11-01

    Resident physicians' use of professional interpreters drives communication with hospitalized patients with limited English proficiency (LEP). We surveyed residents from three specialties across two hospitals affiliated with one academic medical institution about their communication with their last hospitalized LEP patient. Among 149 respondents (73% response rate), 71% reported using professional interpreters for fewer than 60% of hospital encounters. Most (91%) perceived their quality of communication with hospitalized LEP patients as worse than with English-speaking patients. Professional interpreter use varied substantially by resident and by hospital encounter, with more reporting use of ad hoc interpreters, their own language skills, or not talking to the patient due to time constraints during pre-rounds (39%), team rounds (49%), or check-ins (40%) than during procedural consents (9%) or family meetings (17%). The reported variation suggests targets for quality improvement efforts and the need for clear enforceable guidelines on resident communication with hospitalized LEP patients.

  14. Comparison of Critical Listening Proficiency of Teacher Candidates in Terms of Several Variables

    Science.gov (United States)

    Kazu, Hilal; Demiralp, Demet

    2017-01-01

    Purpose: The research has been designed to determine the level of critical listening proficiency of the teacher candidates. It aims at finding answers to the following questions: (1) What is the level of critical listening proficiency of teacher candidates? (2) Do the teacher candidates' levels of critical listening proficiency indicate a…

  15. Production of Routines in L2 English: Effect of Proficiency and Study-Abroad Experience

    Science.gov (United States)

    Taguchi, Naoko

    2013-01-01

    This preliminary study examined the effect of proficiency and study abroad experience on L2 learners' ability to produce routines. Participants were 64 Japanese students in an English-medium university in Japan. They were divided into three groups: Group 1 had lower proficiency with no study abroad experience, Group 2 had higher proficiency but no…

  16. Language Proficiency and Language Policy in South Africa: Findings from New Data

    Science.gov (United States)

    Posel, Dorrit; Casale, Daniela

    2011-01-01

    This study explores new data from 2008 on language proficiency and labour market outcomes in the context of South Africa's language-in-education policy. We show that the economic returns to English language proficiency are large and higher than those to home language proficiency for the majority of employed South Africans. This helps explain why…

  17. English language proficiency in South Africa at the turn of the ...

    African Journals Online (AJOL)

    The paper utilises the World Englishes paradigm to explore the issue of language proficiency: what type of English language proficiency will be most appropriate to South Africa at the start of the millennium? Three broad aspects of proficiency are proposed for further investigation, and in each case one particular area of ...

  18. 25 CFR 39.134 - How does a school identify a Limited English Proficient student?

    Science.gov (United States)

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false How does a school identify a Limited English Proficient....134 How does a school identify a Limited English Proficient student? A student is identified as limited English proficient (LEP) by using a nationally recognized scientifically research-based test. ...

  19. Samoan Philosophy of Nursing: a basis for culturally proficient care and policy.

    Science.gov (United States)

    Enoka, I S; Petrini, M A; Turale, S

    2014-09-01

    To explore nurses' perspectives about the Samoan Philosophy of Nursing, and determine its feasibility for nursing care of Samoans internationally. This philosophy is the conceptual cultural framework for nursing law, practice, education and research in Samoa, and was developed by Samoan nurses who recognized the need for guidance to deliver quality, culturally competent and proficient health care. A mixed method study, employing a questionnaire and ethnographic methods. The Samoan Philosophy of Nursing Questionnaire sought demographic data and aspects about the philosophy from 95 registered nurse clinicians, administrators and educators throughout Samoa during 2012. Descriptive statistics were used for data analysis. Additionally, 19 focus groups (5-6 participants each) and 19 in-depth interviews were held to further explore these aspects, as well as participant observations. Descriptive statistics were used to analyse quantitative data, and Spradley's ethnographic method was adopted for analysing the qualitative data. Of 95 questionnaires analysed, 70% of participants reported using the philosophy all the time, and 30% most of the time. They placed a high satisfaction rate, value and importance on this philosophy. From the ethnography, six major themes emerged: valuable framework of learning; conceptual framework for holistic assessment; benchmark for regulating and monitoring practice improving interaction and culturally proficient practice; potential use for Samoans overseas; and maintaining quality health and the dignity of people. This first-time study evaluated the Samoan Philosophy of Nursing and adds to nursing knowledge. Findings confirmed its usefulness as a culturally based conceptual framework to facilitate, regulate and monitor education, research and practice for sustainable health outcomes in Samoa, and for Samoans living abroad. It is important that Samoans living abroad receive culturally proficient care, but this requires the support of

  20. Prior Generic Arthroscopic Volume Correlates with Hip Arthroscopic Proficiency: A Simulator Study.

    Science.gov (United States)

    Erturan, Gurhan; Alvand, Abtin; Judge, Andrew; Pollard, Thomas C B; Glyn-Jones, Sion; Rees, Jonathan L

    2018-01-03

    Changing trends in surgical education and patient expectation are leading to proficiency models of progression and the use of simulators. Hip arthroscopy is increasingly performed and has a steep learning curve mainly addressed during fellowship training. The aim of this study was to assess the impact of previous generic arthroscopic experience on performance at a simulated hip arthroscopy task to both estimate the minimum case numbers that correlate with expert proficiency levels and help to guide selection for hip arthroscopy fellowships. Fifty-two participants were recruited to a cross-sectional study. Four consultants (expert hip arthroscopists), 28 trainees (residents and fellows), and 20 novices (interns and medical students) performed a standardized bench-top simulated hip arthroscopy task. A validated global rating scale (GRS) score and motion analysis were used to assess surgical performance. Prior arthroscopic experience was recorded from surgical electronic logbooks. Receiver operating characteristic (ROC) curve analyses were conducted to identify optimum cut-points for task proficiency at both expert and competent GRS levels. There were significant differences (p arthroscopic ability of all experience groups based on GRS assessment and for all motion analysis metrics. There was a significant positive correlation between logbook numbers and GRS scores (p arthroscopic procedures were necessary to achieve an expert GRS score, and 78 prior arthroscopic procedures were necessary for a competent score. Performing a basic hip arthroscopy task competently requires substantial previous generic arthroscopic experience. The numbers identified in this study provide targets for residents. Program directors appointing to hip arthroscopy fellowship training posts may find these results useful as a guide during the selection process.

  1. Can Higher-Proficiency L2 Learners Benefit from Working with Lower-Proficiency Partners in Peer Feedback?

    Science.gov (United States)

    Yu, Shulin; Hu, Guangwei

    2017-01-01

    Informed by Vygotsky's conceptualization of the Zone of Proximal Development, this case study investigated the benefits of peer feedback on second language (L2) writing for students with high L2 proficiency and the factors that may influence their learning in peer feedback in the Chinese English-as-a-foreign-language context. Specifically, the…

  2. Parameters for Viability Check on Gravitational Theories Regarding the Experimental Data

    Directory of Open Access Journals (Sweden)

    Celakoska E. G.

    2009-01-01

    Full Text Available Parameterized post-Newtonian formalism requires an existence of a symmetric metric in a gravitational theory in order to perform aviability check regarding the experimental data. The requirement of a symmetric metric is a strong constraint satisfied by very narrowclass of theories. In this letter we propose a viability check of a theory using the corresponding theory equations of motion. It issufficient that a connection exists, not necessarily a metrical one. The method is based on an analysis of the Lorentz invariant terms in the equations of motion. An example of the method is presented on the Einstein-Infeld-Hoffmann equations.

  3. Using Spec Explorer for Automatic Checking of Constraints in Software Controlled Systems.

    Directory of Open Access Journals (Sweden)

    Izzat Mahmoud ALSMADI

    2011-01-01

    Full Text Available In software engineering, several formal models and tools are proposed for defining system requirements and constraints formally. Such formal definitions can help in the automatic checking and verification for them. It can also help in the automatic test case generation, execution and verification. In this paper, we will demonstrate and evaluate the usage of Spec Explorer from Microsoft for defining and checking examples of software controlled system such as cruise control. Such formal requirements can be eventually embedded in the developed system or can help in exposing important elements to test in the testing stage or through the usage of the application

  4. Spell Checking Strategies for Successful Students (Technology Tidbits).

    Science.gov (United States)

    Anderson-Inman, Lynne; Knox-Quinn, Carolyn

    1996-01-01

    Describes difficulties often faced by poor spellers when trying to spell check their papers electronically. Describes four strategies to help students use electronic spell-checking programs effectively. (SR)

  5. Distributed Parametric and Statistical Model Checking

    Directory of Open Access Journals (Sweden)

    Peter Bulychev

    2011-10-01

    Full Text Available Statistical Model Checking (SMC is a trade-off between testing and formal verification. The core idea of the approach is to conduct some simulations of the system and verify if they satisfy some given property. In this paper we show that SMC is easily parallelizable on a master/slaves architecture by introducing a series of algorithms that scale almost linearly with respect to the number of slave computers. Our approach has been implemented in the UPPAAL SMC toolset and applied on non-trivial case studies.

  6. Quantum anonymous voting with anonymity check

    Energy Technology Data Exchange (ETDEWEB)

    Horoshko, Dmitri, E-mail: dhoroshko@rambler.r [B.I. Stepanov Institute of Physics, NASB, Nezavisimosti Ave. 68, Minsk 220072 (Belarus); Kilin, Sergei [B.I. Stepanov Institute of Physics, NASB, Nezavisimosti Ave. 68, Minsk 220072 (Belarus)

    2011-02-21

    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.

  7. Taboo thoughts and doubt/checking

    Science.gov (United States)

    Pinto, Anthony; Eisen, Jane L.; Mancebo, Maria C.; Greenberg, Benjamin D.; Stout, Robert L.; Rasmussen, Steven A.

    2007-01-01

    The purpose of this report was to improve upon earlier factor analyses of obsessive-compulsive disorder (OCD) symptom categories by minimizing the heterogeneity in the aggressive obsessions category. An exploratory factor analysis was conducted on data from 293 adults with primary OCD. The resulting five factors (Symmetry/Ordering, Hoarding, Doubt/Checking, Contamination/Cleaning, and Taboo Thoughts) are phenomenologically more homogeneous than prior category-based factors and are consistent with those derived in previous item-level analyses. PMID:17368563

  8. Model Checking Properties on Reduced Trace Systems

    Directory of Open Access Journals (Sweden)

    Antonella Santone

    2014-07-01

    Full Text Available Temporal logic has become a well-established method for specifying the behavior of distributed systems. In this paper, we interpret a temporal logic over a partial order model that is a trace system. The satisfaction of the formulae is directly defined on traces on the basis of rewriting rules; so, the graph representation of the system can be completely avoided; moreover, a method is presented that keeps the trace system finite, also in the presence of infinite computations. To further reduce the complexity of model checking temporal logic formulae, an abstraction technique is applied to trace systems.

  9. Statically checked documentation with design patterns

    DEFF Research Database (Denmark)

    Cornils, Aino; Hedin, Görel

    2000-01-01

    Over the past years, along with the increase in popularity of design patterns, some problems with the use of design patterns have been identified. The so-called tracing problem describes the difficulty in documenting software systems using design patterns. Initial approaches to solving the tracin...... present a flexible and extensible tool which enables designers to use design patterns in a safe and efficient way, which checks the design pattern rules, and which semi-automatically documents, and maintains the documentation of a software system...

  10. Political and judicial checks on corruption

    DEFF Research Database (Denmark)

    Alt, James E.; Lassen, David Dreyer

    2008-01-01

    This paper investigates the effects of checks and balances on corruption. Within a presidential system, effective separation of powers is achieved under a divided government, with the executive and legislative branches being controlled by different political parties. When government is unified......, no effective separation exists even within a presidential system, but, we argue, can be partially restored by having an accountable judiciary. Our empirical findings show that a divided government and elected, rather than appointed, state supreme court judges are associated with lower corruption and...

  11. Impact of Bilingual Education Programs on Limited English Proficient Students and Their Peers: Regression Discontinuity Evidence from Texas. NBER Working Paper No. 18197

    Science.gov (United States)

    Chin, Aimee; Daysal, N. Meltem; Imberman, Scott A.

    2012-01-01

    Texas requires a school district to offer bilingual education when its enrollment of limited English proficient (LEP) students in a particular elementary grade and language is twenty or higher. Using school panel data, we find a significant increase in the probability that a district offers bilingual education above this 20-student cutoff. Using…

  12. Issues in Assessing English Language Learners: English Language Proficiency Measures and Accommodation Uses. Literature Review (Part 1 of 3). CRESST Report 731

    Science.gov (United States)

    Wolf, Mikyung Kim; Kao, Jenny; Herman, Joan; Bachman, Lyle F.; Bailey, Alison; Bachman, Patina L.; Farnsworth, Tim; Chang, Sandy M.

    2008-01-01

    The No Child Left Behind (NCLB) Act has made a great impact on states' policies in assessing English language learner (ELL) students. The legislation requires states to develop or adopt sound assessments in order to validly measure the ELL students' English language proficiency (ELP), as well as content knowledge and skills. Although states have…

  13. Recommendations for Assessing English Language Learners: English Language Proficiency Measures and Accommodation Uses. Recommendations Report (Part 3 of 3). CRESST Report 737

    Science.gov (United States)

    Wolf, Mikyung Kim; Herman, Joan L.; Bachman, Lyle F.; Bailey, Alison L.; Griffin, Noelle

    2008-01-01

    The No Child Left Behind Act of 2001 (NCLB, 2002) has had a great impact on states' policies in assessing English language learner (ELL) students. The legislation requires states to develop or adopt sound assessments in order to validly measure the ELL students' English language proficiency, as well as content knowledge and skills. While states…

  14. Multiple imputation for model checking: completed-data plots with missing and latent data.

    Science.gov (United States)

    Gelman, Andrew; Van Mechelen, Iven; Verbeke, Geert; Heitjan, Daniel F; Meulders, Michel

    2005-03-01

    In problems with missing or latent data, a standard approach is to first impute the unobserved data, then perform all statistical analyses on the completed dataset--corresponding to the observed data and imputed unobserved data--using standard procedures for complete-data inference. Here, we extend this approach to model checking by demonstrating the advantages of the use of completed-data model diagnostics on imputed completed datasets. The approach is set in the theoretical framework of Bayesian posterior predictive checks (but, as with missing-data imputation, our methods of missing-data model checking can also be interpreted as "predictive inference" in a non-Bayesian context). We consider the graphical diagnostics within this framework. Advantages of the completed-data approach include: (1) One can often check model fit in terms of quantities that are of key substantive interest in a natural way, which is not always possible using observed data alone. (2) In problems with missing data, checks may be devised that do not require to model the missingness or inclusion mechanism; the latter is useful for the analysis of ignorable but unknown data collection mechanisms, such as are often assumed in the analysis of sample surveys and observational studies. (3) In many problems with latent data, it is possible to check qualitative features of the model (for example, independence of two variables) that can be naturally formalized with the help of the latent data. We illustrate with several applied examples.

  15. Selling a gun to a stranger without a background check: acceptable behaviour?

    Science.gov (United States)

    Hemenway, David; Azrael, Deborah; Miller, Matthew

    2017-06-24

    One way that guns get into the wrong hands is via gun sales without a background check. While the large majority of Americans support laws requiring universal background checks, no prior study has assessed whether Americans think it is acceptable behaviour to sell a gun to a stranger without a background check, whether or not there is a law against it. We sponsored a nationally representative survey of over 3900 American adults, oversampling gun owners, using an online panel provided by the survey firm Growth for Knowledge. Over 72% of American adults agree or strongly agree with the statement that 'whether it is legal or not, it is NOT acceptable to sell a gun to a stranger without a background check' and 11% disagree or strongly disagree. Subgroups less likely to agree are young adults, men, conservatives, those with less than a high school education and gun owners. Reducing the number of guns sold without a background check could help reduce the flow of guns to felons. Changes in normative attitudes and behaviours, as well as changes in law, could help accomplish this goal. Most Americans, including gun owners, believe selling a gun to a stranger without a background check is not acceptable behaviour. © Article author(s) (or their employer(s) unless otherwise stated in the text of the article) 2017. All rights reserved. No commercial use is permitted unless otherwise expressly granted.

  16. Designing the Control of a UAV Fleet with Model Checking

    Science.gov (United States)

    2004-01-01

    Designing the Control of a UAV Fleet with Model Checking Technical Report OSU-CISRC-1/04-TR06 Christopher A. Bohn∗ Paolo A.G. Sivilotti Bruce W...demonstrate that model checking can be used to suggest strategies by which a single UAV can locate targets. Moreover, model checking can be used to...better. Through model checking , we have shown that there are configurations in which all but one pursuer can remain stationary, and the single moving

  17. COMPARATIVE ANALYSIS OF CHECK-IN TECHNOLOGIES AT THE AIRPORT

    Directory of Open Access Journals (Sweden)

    Kristina Marintseva

    2014-07-01

    Full Text Available The problem of check-in technologies at the airport is studied. The research is based on the experimental data obtained by method of observation check-in process at Boryspil airport (Kyiv, Ukraine. Distribution laws of waiting time and passenger service time at the check-in area are described. The method of dynamic opening and closing of check-in counter, which based on a model of the queueing theory, is proposed.

  18. The relationship between the critical thinking skills and the academic language proficiency of prospective teachers

    Directory of Open Access Journals (Sweden)

    M M (Mary Grosser

    2013-01-01

    Full Text Available We report on the relationships that exist between the critical thinking skills and the academic language proficiency ofa group of first-year prospective teachers at a South African university (n = 89. The results revealed the nature of the critical thinking skills as well as the academic language proficiency of the students. Significant correlations between academic language proficiency and making inferences, as well as between academic language proficiency and critical thinking as a general competency, were noted. The article concludes with recommendations on how to enhance critical thinking and language proficiency in the teacher-training curriculum.

  19. Optimizing Robotic Team Performance with Probabilistic Model Checking

    Science.gov (United States)

    2014-10-22

    2014 Carnegie Mellon University Optimizing Robotic Team Performance with Probabilistic Model Checking Software Engineering Institute...2. REPORT TYPE N/A 3. DATES COVERED 4. TITLE AND SUBTITLE Optimizing Robotic Team Performance with Probabilistic Model Checking 5a...permission@sei.cmu.edu. DM-0001796 3 SIMPAR 2014, Bergamo, Italy David Kyle, 0ct. 22, 2014 © 2014 Carnegie Mellon University Model Checking Pentium

  20. Apply Model Checking to Security Analysis in Trust Management

    Science.gov (United States)

    2007-02-01

    checking tool called SMY Model checking is an automated technique that checks if desired purposes hold in the model. Our experience, reported here...efforts to build practical tools that answer such questions in many cases nevertheless by using a lightweight approach that leverages a mature model

  1. A Mixed Model for Double Checking Fallible Auditors

    NARCIS (Netherlands)

    Raats, V.M.; Moors, J.J.A.; van der Genugten, B.B.

    2004-01-01

    The paper discusses the problem of a fallible auditor who assesses the values of sampled records, but may make mistakes.To detect these mistakes, a subsample of the checked elements is checked again, now by an infallible expert. We propose a model for this kind of double check, which takes into

  2. Testing Intelligently Includes Double-Checking Wechsler IQ Scores

    Science.gov (United States)

    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…

  3. Found Poems, Member Checking and Crises of Representation

    Science.gov (United States)

    Reilly, Rosemary C.

    2013-01-01

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

  4. 7 CFR 1944.540 - Requesting TSA checks.

    Science.gov (United States)

    2010-01-01

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

  5. Spell Checking: Making Writing Meaningful in the Inclusive Classroom.

    Science.gov (United States)

    Ashton, Tamarah M.

    1999-01-01

    This article describes the CHECK procedure for teaching students with learning disabilities skills in the actual operation of a computer spell-check. Students are urged to check the beginning sound, hunt for correct consonants, examine the vowels, make changes, and keep repeating the process. (CR)

  6. Check Vocal: A program to facilitate checking the accuracy and response time of vocal responses from DMDX

    National Research Council Canada - National Science Library

    Protopapas, Athanassios

    2007-01-01

    CheckVocal is a Windows application that facilitates checking the accuracy and response time of recorded vocal responses in naming and other experimental tasks using the DMDX display and response collection software...

  7. CheckVocal: a program to facilitate checking the accuracy and response time of vocal responses from DMDX

    National Research Council Canada - National Science Library

    Protopapas, Athanassios

    2007-01-01

    CheckVocal is a Windows application that facilitates checking the accuracy and response time of recorded vocal responses in naming and other experimental tasks using the DMDX display and response collection software...

  8. Applying GPS to check horizontal control quality

    Directory of Open Access Journals (Sweden)

    Jakub Vincent

    2004-03-01

    Full Text Available GPS technologies can also be used for check quality in available horizontal point set with coordinates CJ of the frame S-JTSK. When survey and setting-out tasks should be performed in certain area, one can found in it allways some points of the fundamental and detail state controls. To use these points for some actual aims, it is necessary to investigate their compatibility (among the point mark positions and the point coordinate of control points. This can be done using GPS surveying that may be at the same time employed to determine the new point in the relevant area.Principle of quality investigatingf an existing control is founded on determination of point coordinates CJt from GPS measurements. Then, based on discrepancies among the "official" netpoint coordinates CJ and coordinates CJt "given by GPS", it can be estimated the degree and the real compatibility dislocations in the network structure of the existing points.Realisation procedure for the introduced investigation is demonstrated on GPS checking (by SOKKIA STRATUS receivers horizontal control for reconstruction of a railway bridge on river Bodrog in East Slovakia.It can be shown from the results in Table 3, that points P3 and P7 are useless due to their incompatibility (inconsistency in the inspected point set. For other 7 points (Table 7 the average measure of incompatibility reads 9.8 mm that make possible applying these points for precise setting-out

  9. Polarity Checks in Sectors 23 & 78

    CERN Document Server

    Calaga, R; Lamont, M; Ponce, L; Sun, Y; Tomás, R; Venturini-Delsolaro, W; Zimmermann, F

    2009-01-01

    During the first three LHC synchronization tests on August 10, August 24, and September 7, 2008, linear and higher-order polarity checks were performed with beam 1 in Sector 23 and beam 2 in Sector 78. The main principle of these checks was to launch free betatron oscillations and use the difference trajectory measurements with respect to inverted polarities of circuits under investigation. In the case of zero nominal strength for a circuit, a finite value was introduced. The magnet circuits subjected to these tests were the QT and QTL trim quadrupoles, the MQS skew quadrupoles, the SF and SD arc sextupole circuits, the MCS b3 spool pieces, the OD and OF Landau octupoles, and the MSS skew sextupoles. For some of these circuits sensitivity was enhanced by introducing large momentum offsets. To detect and remove improve spurious contributions from initially off-center orbits, four sets of trajectories were recorded, namely with and without oscillation, and with two magnet strength settings, respectively. We rep...

  10. Medical language proficiency: A discussion of interprofessional language competencies and potential for patient risk.

    Science.gov (United States)

    Hull, Melodie

    2016-02-01

    In increasingly multilingual healthcare environments worldwide, ensuring accurate, effective communication is requisite. Language proficiency is essential, particularly medical language proficiency. Medical language is a universal construct in healthcare, the shared language of health and allied health professions. It is highly evolved, career-specific, technical and cultural-bound-a language for specific purposes. Its function differs significantly from that of a standard language. Proficiency requires at minimum, a common understanding of discipline-specific jargon, abstracts, euphemisms, abbreviations; acronyms. An optimal medical language situation demands a level of competency beyond the superficial wherein one can convey or interpret deeper meanings, distinguish themes, voice opinion, and follow directions precisely. It necessitates the use of clarity, and the ability to understand both lay and formal language-characteristics not essential to standard language. Proficiency influences professional discourse and can have the potential to positively or negatively affect patient outcomes. While risks have been identified when there is language discordance between care provider and patient, almost nothing has been said about this within care teams themselves. This article will do so in anticipation that care providers, regulators, employers, and researchers will acknowledge potential language-based communication barriers and work towards resolutions. This is predicated on the fact that the growing interest in language and communication in healthcare today appears to be rested in globalization and increasingly linguistically diverse patient populations. Consideration of the linguistically diverse healthcare workforce is absent. An argument will be posited that if potential risks to patient safety exist and there are potentials for disengagement from care by patients when health providers do not speak their languages then logically these language-based issues can

  11. The English Proficiency of the Academics of the Teacher Training and Education Institutions

    Directory of Open Access Journals (Sweden)

    Ali Saukah

    2016-02-01

    Full Text Available The study is aimed at describing the general English proficiency level of the academics of Teacher Training and Education Institutions (LPTK's as indicated by their TOEFL scores. Specifically, the study is focused on finding out whether there is any difference among the academics' English proficiencies when they are grouped in terms of the geographic regions of their institutions and their fields of study. This study is also intended to reveal any possible relationship between the academics' English proficiency and their age. The results indicate that the English proficiency of the academics on the average is far below the average of that of the international students. The academics in West Java are the highest in their English proficiency, and the English group, as expected, has the best English proficiency. In addition, there is a negative correlation between English proficiency and age

  12. First Language Proficiency and Successful Foreign Language Learning: The Case of High School Students Learning French as a Foreign Language

    Science.gov (United States)

    Gnintedem, Antoine

    2014-01-01

    This study investigated whether there was a correlation between first language proficiency as measured by the Mississippi Curriculum Test (MCT II) Reading and Language Arts and foreign language proficiency as measured by the French Language Proficiency Test. Data for the independent variable, first language proficiency, was collected from the…

  13. How much does language proficiency by non-native listeners influence speech audiometric tests in noise?

    Science.gov (United States)

    Warzybok, Anna; Brand, Thomas; Wagener, Kirsten C; Kollmeier, Birger

    2015-01-01

    The current study investigates the extent to which the linguistic complexity of three commonly employed speech recognition tests and second language proficiency influence speech recognition thresholds (SRTs) in noise in non-native listeners. SRTs were measured for non-natives and natives using three German speech recognition tests: the digit triplet test (DTT), the Oldenburg sentence test (OLSA), and the Göttingen sentence test (GÖSA). Sixty-four non-native and eight native listeners participated. Non-natives can show native-like SRTs in noise only for the linguistically easy speech material (DTT). Furthermore, the limitation of phonemic-acoustical cues in digit triplets affects speech recognition to the same extent in non-natives and natives. For more complex and less familiar speech materials, non-natives, ranging from basic to advanced proficiency in German, require on average 3-dB better signal-to-noise ratio for the OLSA and 6-dB for the GÖSA to obtain 50% speech recognition compared to native listeners. In clinical audiology, SRT measurements with a closed-set speech test (i.e. DTT for screening or OLSA test for clinical purposes) should be used with non-native listeners rather than open-set speech tests (such as the GÖSA or HINT), especially if a closed-set version in the patient's own native language is available.

  14. Limited English proficient HMO enrollees remain vulnerable to communication barriers despite language assistance regulations.

    Science.gov (United States)

    Hadler, Max W; Chen, Xiao; Gonzalez, Erik; Roby, Dylan H

    2013-02-01

    HMO enrollees with limited English proficiency, and particularly those in poorer health, face communication barriers despite language assistance regulations. More than 1.3 million California HMO enrollees ages 18 to 64 do not speak English well enough to communicate with medical providers and may experience reduced access to high-quality health care if they do not receive appropriate language assistance services. Based on analysis of the 2007 and 2009 California Health Interview Surveys (CHIS), commercial HMO enrollees with limited English proficiency (LEP) in poorer health are more likely to have difficulty understanding their doctors, placing this already vulnerable population at even greater risk. The analysis also uses CHIS to examine the potential impact of health plan monitoring starting in 2009 (due to a 2003 amendment to the Knox-Keene Health Care Services Act) requiring health plans to provide free qualified interpretation and translation services to HMO enrollees. The authors recommend that California's health plans continue to incorporate trained interpreters into their contracted networks and delivery systems, paying special attention to enrollees in poorer health. The results may serve as a planning tool for health plans, providing a detailed snapshot of enrollee characteristics that will help design effective programs now and prepare for a likely increase in insured LEP populations in the future, as full implementation of the Affordable Care Act takes place over the next decade.

  15. The contribution of proficiency testing to improving laboratory performance and ensuring quality patient care.

    Science.gov (United States)

    Johnson, Paul R

    2004-01-01

    The idea of comparing laboratories' test results against one another predated federal regulations by decades (1) and was initially used as an educational tool. The introduction of federal regulations altered the proficiency testing (PT) environment (2,3) and today there is concern that the regulatory requirements do not address extraneous factors that may adversely affect a laboratory's PT performance (6). This article aims to address these concerns and hopes to convince the reader that while the scope of PT has expanded beyond its original intent as an educational tool for the laboratory, PT can still function in that capacity. Improvements in laboratory performance and laboratory medicine as a whole continue to be supported by proficiency testing for numerous reasons. Several mistakes laboratories have made in the past are addressed and suggestions for improvement are given. Laboratory managers who take proactive steps to ensure quality patient test results should experience fewer PT failures, and in turn can focus more attention on the educational benefits that participating in PT can offer.

  16. Improving Gram stain proficiency in hospital and satellite laboratories that do not have microbiology.

    Science.gov (United States)

    Guarner, Jeannette; Street, Cassandra; Matlock, Margaret; Cole, Lisa; Brierre, Francoise

    2017-03-01

    Consolidation of laboratories has left many hospitals and satellite laboratories with minimal microbiologic testing. In many hospitals and satellite laboratories, Gram stains on primary specimens are still performed despite difficultly in maintaining proficiency. To maintain Gram stain proficiency at a community 450-bed hospital with an active emergency room we designed bimonthly challenges that require reporting Gram staining and morphology of different organisms. The challenges consist of five specimens prepared by the reference microbiology laboratory from cultures and primary specimens. Twenty to 23 medical laboratory scientists participate reading the challenges. Results from the challenges are discussed with each medical laboratory scientists. In addition, printed images from the challenges are presented at huddle to add microbiology knowledge. On the first three challenges, Gram staining was read correctly in 71%-77% of the time while morphology 53%-66%. In the last six challenges correct answers for Gram stain were 77%-99% while morphology 73%-96%. We observed statistically significant improvement when reading Gram stains by providing frequent challenges to medical laboratory scientists. The clinical importance of Gram stain results is emphasized during huddle presentations increasing knowledge and motivation to perform the test for patients.

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

    Science.gov (United States)

    Campbell, Amy; Anderson, Cynthia M

    2011-01-01

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

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

    Science.gov (United States)

    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…

  19. Theory and practice: Science for undergraduates of limited English proficiency

    Science.gov (United States)

    Rosenthal, Judith W.

    1993-06-01

    Between 1980 and 1990, the total number of Asian, Hispanic, American Indian, and foreign undergraduates increased by more than 50% at public and private, four-year and two-year colleges. Many of these students may be of limited English proficiency, suggesting that the traditional science lecture/lab format may need modification to incorporate the theory of second language acquisition as it pertains to the practice of content instruction. Various methods exist to improve science instruction for limited English proficient undergraduates. These included the adjunct and tutorial models, sheltered or bridge science instruction, faculty development, and science instruction in the students' native language. Any plan for science education reform at the collegiate level or for increasing minority participation in science must address the needs of the growing population of undergraduates who speak English as a second language.

  20. Fluctuation analysis of proficient and dysgraphic handwriting in children

    Science.gov (United States)

    Rosenblum, S.; Roman, H. E.

    2009-03-01

    We analyze handwriting records from several school children with the aim of characterizing the fluctuating behavior of the writing speed. It will be concluded that remarkable differences exist between proficient and dysgraphic handwritings which were unknown so far. It is shown that in the case of proficient handwriting, the variations in handwriting speed are strongly autocorrelated within times corresponding to the completion of a single character or letter, while become uncorrelated at longer times. In the case of dysgraphia, such correlations persist on longer time scales and the autocorrelation function seems to display algebraic time decay, indicating the presence of strong anomalies in the handwriting process. Applications of the results in educational/clinical programs are envisaged.

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

    Science.gov (United States)

    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. Copyright © 2013 Elsevier Ltd. All rights reserved.

  2. Manufacturing Industry Employers’ Perception of Graduates’ English Language Skills Proficiency

    OpenAIRE

    Manjet Kaur Mehar Singh; Julie Chuah Suan Choo

    2012-01-01

    Proficiency in English language skills among graduates that create advantages for the organization is preferred by prospective employers as one of the main criteria for employability.  This article provides an overview of undergraduates in higher education and also workplace literacy from the perspective of the employers in the manufacturing industry. The result from the research demonstrates that Malaysian manufacturing industry employers perceive that the graduate employees’ English languag...

  3. A Study on Listening Anxiety and Listening Proficiency

    Institute of Scientific and Technical Information of China (English)

    HAN Ju-hong

    2015-01-01

    Three instruments are adopted including the Foreign Language Listening Anxiety Scales (FLLAS), a listening metacog⁃nitive strategy-use questionnaire and a CET-4 listening test. The results indicate that a large proportion of students report experi⁃encing listening anxiety. There is significantly negative correlation between listening anxiety and listening proficiency and there is significant difference in the use of metacognitive strategies across three listening anxiety levels.

  4. Verb-Noun Collocation Proficiency and Academic Years

    OpenAIRE

    Fatemeh Ebrahimi-Bazzaz; Arshad Abd Samad; Ismi Arif bin Ismail; Nooreen Noordin

    2014-01-01

    Generally vocabulary and collocations in particular have significant roles in language proficiency. A collocation includes two words that are frequently joined concurrently in the memory of native speakers. There have been many linguistic studies trying to define, to describe, and to categorise English collocations. It contains grammatical collocations and lexical collocations which include nouns, adjectives, verbs, and adverb. In the context of a foreign language environment such as Iran, co...

  5. An Automated Translator for Model Checking Time Constrained Workflow Systems

    Science.gov (United States)

    Mashiyat, Ahmed Shah; Rabbi, Fazle; Wang, Hao; Maccaull, Wendy

    Workflows have proven to be a useful conceptualization for the automation of business processes. While formal verification methods (e.g., model checking) can help ensure the reliability of workflow systems, the industrial uptake of such methods has been slow largely due to the effort involved in modeling and the memory required to verify complex systems. Incorporation of time constraints in such systems exacerbates the latter problem. We present an automated translator, YAWL2DVE-t, which takes as input a time constrained workflow model built with the graphical modeling tool YAWL, and outputs the model in DVE, the system specification language for the distributed LTL model checker DiVinE. The automated translator, together with the graphical editor and the distributed model checker, provides a method for rapid design, verification and refactoring of time constrained workflow systems. We present a realistic case study developed through collaboration with the local health authority.

  6. Software Model Checking Without Source Code

    Science.gov (United States)

    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.

  7. Model Checking CSL for Markov Population Models

    Directory of Open Access Journals (Sweden)

    David Spieler

    2014-06-01

    Full Text Available Markov population models (MPMs are a widely used modelling formalism in the area of computational biology and related areas. The semantics of a MPM is an infinite-state continuous-time Markov chain. In this paper, we use the established continuous stochastic logic (CSL to express properties of Markov population models. This allows us to express important measures of biological systems, such as probabilistic reachability, survivability, oscillations, switching times between attractor regions, and various others. Because of the infinite state space, available analysis techniques only apply to a very restricted subset of CSL properties. We present a full algorithm for model checking CSL for MPMs, and provide experimental evidence showing that our method is effective.

  8. Graphical model checking with correlated response data.

    Science.gov (United States)

    Pan, W; Connett, J E; Porzio, G C; Weisberg, S

    2001-10-15

    Correlated response data arise often in biomedical studies. The generalized estimation equation (GEE) approach is widely used in regression analysis for such data. However, there are few methods available to check the adequacy of regression models in GEE. In this paper, a graphical method is proposed based on Cook and Weisberg's marginal model plot. A bootstrap method is applied to obtain the reference band to assess statistical uncertainties in comparing two marginal mean functions. We also propose using the generalized additive model (GAM) in a similar fashion. The proposed two methods are easy to implement by taking advantage of existing smoothing and GAM softwares for independent data. The usefulness of the methodology is demonstrated through application to a correlated binary data set drawn from a clinical trial, the Lung Health Study. Copyright 2001 John Wiley & Sons, Ltd.

  9. Model checking for ROC regression analysis.

    Science.gov (United States)

    Cai, Tianxi; Zheng, Yingye

    2007-03-01

    The receiver operating characteristic (ROC) curve is a prominent tool for characterizing the accuracy of a continuous diagnostic test. To account for factors that might influence the test accuracy, various ROC regression methods have been proposed. However, as in any regression analysis, when the assumed models do not fit the data well, these methods may render invalid and misleading results. To date, practical model-checking techniques suitable for validating existing ROC regression models are not yet available. In this article, we develop cumulative residual-based procedures to graphically and numerically assess the goodness of fit for some commonly used ROC regression models, and show how specific components of these models can be examined within this framework. We derive asymptotic null distributions for the residual processes and discuss resampling procedures to approximate these distributions in practice. We illustrate our methods with a dataset from the cystic fibrosis registry.

  10. Automated Environment Generation for Software Model Checking

    Science.gov (United States)

    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.

  11. Model Checking JAVA Programs Using Java Pathfinder

    Science.gov (United States)

    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.

  12. The Mars Science Laboratory Organic Check Material

    Science.gov (United States)

    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.

  13. Workflow Fault Tree Generation Through Model Checking

    DEFF Research Database (Denmark)

    Herbert, Luke Thomas; Sharp, Robin

    2014-01-01

    We present a framework for the automated generation of fault trees from models of realworld process workflows, expressed in a formalised subset of the popular Business Process Modelling and Notation (BPMN) language. To capture uncertainty and unreliability in workflows, we extend this formalism...... with probabilistic non-deterministic branching. We present an algorithm that allows for exhaustive generation of possible error states that could arise in execution of the model, where the generated error states allow for both fail-stop behaviour and continued system execution. We employ stochastic model checking...... of the system being modelled. From these calculations, a comprehensive fault tree is generated. Further, we show that annotating the model with rewards (data) allows the expected mean values of reward structures to be calculated at points of failure....

  14. Type Checking with XML Schema in XACT

    DEFF Research Database (Denmark)

    Kirkegaard, Christian; Møller, Anders

    ACT is an extension of Java for making type-safe XML transformations. Unlike other approaches, XACT provides a programming model based on XML templates and XPath together with a type checker based on data-flow analysis. We show how to extend the data-flow analysis technique used in the XACT system...... to support XML Schema as type formalism. The technique is able to model advanced features, such as type derivations and overloaded local element declarations, and also datatypes of attribute values and character data. Moreover, we introduce optional type annotations to improve modularity of the type checking....... The resulting system supports a flexible style of programming XML transformations and provides static guarantees of validity of the generated XML data....

  15. Cell Phone Use and Child and Adolescent Reading Proficiency

    Science.gov (United States)

    Hofferth, Sandra L.; Moon, Ui Jeong

    2016-01-01

    This study examined the association between cell phone use, including minutes spent talking and number of text messages sent, and two measures of children’s reading proficiency — tests of word decoding and reading comprehension — in the United States. Data were drawn from the Child Development Supplement to the Panel Study of Income Dynamics, a nationally representative survey of 1,147 children 10–18 in 2009. Children whose parents were better educated, who had higher family incomes, who had fewer siblings, and who lived in urban areas were more likely to own or share a cell phone. Among those with access to a phone, children who spent more time talking on the phone were less proficient at word decoding, whereas children who spent more time sending text messages had greater reading comprehension. Although girls spent more time texting than did boys, there were no gender differences in the association between time spent talking or number of text messages sent with achievement. In spite of racial/ethnic differences in cell phone use levels, there were no racial/ethnic differences in the association between cell phone use and reading proficiency. PMID:27683624

  16. Resenha: Measuring L2 Proficiency: Perspectives from SLA

    Directory of Open Access Journals (Sweden)

    Ana Paula Scholl

    2015-07-01

    Full Text Available O livro Measuring L2 Proficiency: Perspectives from SLA traz contribuições de autores de diferentes áreas da pesquisa sobre Aquisição de Segunda Língua para a discussão sobre o que significa ser proficiente em uma segunda língua. Essa publicação tem como objetivo principal diminuir a lacuna existente entre a pesquisa de aquisição de segunda língua e o ensino de línguas, trazendo ideias concretas sobre a identificação e a avaliação de proficiência linguística para aplicação em pesquisa ou sala de aula. Assim, a leitura dos artigos que compõem o volume pode contribuir com pesquisadores e professores que em seu trabalho lidem com o conceito de proficiência ou com a sua avaliação.

  17. 27 CFR 478.131 - Firearms transactions not subject to a NICS check.

    Science.gov (United States)

    2010-04-01

    ... 27 Alcohol, Tobacco Products and Firearms 3 2010-04-01 2010-04-01 false Firearms transactions not subject to a NICS check. 478.131 Section 478.131 Alcohol, Tobacco Products, and Firearms BUREAU OF ALCOHOL... prescribed for the retention of Form 5300.35 in § 478.129(c). (b) The requirements of this section shall be...

  18. Processing Forced-Choice versus Check-All-That-Apply Question Formats: Evidence from Eye Tracking

    Science.gov (United States)

    Neuert, Cornelia E.

    2017-01-01

    Previous research has shown that check-all-that-apply (CATA) and forced-choice (FC) question formats do not produce comparable results. The cognitive processes underlying respondents' answers to both types of formats still require clarification. This study contributes to filling this gap by using eye-tracking data. Both formats are compared by…

  19. Does a peer model's task proficiency influence children's solution choice and innovation?

    Science.gov (United States)

    Wood, Lara A; Kendal, Rachel L; Flynn, Emma G

    2015-11-01

    The current study investigated whether 4- to 6-year-old children's task solution choice was influenced by the past proficiency of familiar peer models and the children's personal prior task experience. Peer past proficiency was established through behavioral assessments of interactions with novel tasks alongside peer and teacher predictions of each child's proficiency. Based on these assessments, one peer model with high past proficiency and one age-, sex-, dominance-, and popularity-matched peer model with lower past proficiency were trained to remove a capsule using alternative solutions from a three-solution artificial fruit task. Video demonstrations of the models were shown to children after they had either a personal successful interaction or no interaction with the task. In general, there was not a strong bias toward the high past-proficiency model, perhaps due to a motivation to acquire multiple methods and the salience of other transmission biases. However, there was some evidence of a model-based past-proficiency bias; when the high past-proficiency peer matched the participants' original solution, there was increased use of that solution, whereas if the high past-proficiency peer demonstrated an alternative solution, there was increased use of the alternative social solution and novel solutions. Thus, model proficiency influenced innovation. Copyright © 2015 Elsevier Inc. All rights reserved.

  20. SU-F-T-558: ArcCheck for Patient Specific QA in Stereotactic Ablative Radiotherapy

    Energy Technology Data Exchange (ETDEWEB)

    Ramachandran, P [Peter MacCallum Cancer Centre, Melbourne (Australia); RMIT University, Bundoora (Australia); Tajaldeen, A; Esen, N; Geso, M [RMIT University, Bundoora (Australia); Taylor, D; Wanigaratne, D; Roozen, K; Kron, T [Peter MacCallum Cancer Centre, Melbourne (Australia)

    2016-06-15

    Purpose: Stereotactic Ablative Radiotherapy (SABR) is one of the most preferred treatment techniques for early stage lung cancer. This technique has been extended to other treatment sites like Spine, Liver, Scapula, Sternum etc., This has resulted in increased physics QA time on machine. In this study, we’ve tested the feasibility of using ArcCheck as an alternative method to replace film dosimetry. Methods: Twelve patients with varied diagnosis of Lung, Liver, scapula, sternum and Spine undergoing SABR were selected for this study. Pre-treatment QA was performed for all the patients which include ionization chamber and film dosimetry. The required gamma criteria for each SABR plan to pass QA and proceed to treatment is 95% (3%,1mm). In addition to this routine process, the treatment plans were exported on to an ArcCheck phantom. The planned and measured dose from the ArcCheck device were compared using four different gamma criteria: 2%,2 mm, 3%,2 mm, 3%,1 mm and 3%, 3 mm. In addition to this, we’ve also introduced errors to gantry, collimator and couch angle to assess sensitivity of the ArcCheck with potential delivery errors. Results: The ArcCheck mean passing rates for all twelve cases were 76.1%±9.7% for gamma criteria 3%,1 mm, 89.5%±5.3% for 2%,2 mm, 92.6%±4.2% for 3%,2 mm, and 97.6%±2.4% for 3%,3 mm gamma criteria. When SABR spine cases are excluded, we observe ArcCheck passing rates higher than 95% for all the studied cases with 3%, 3mm, and ArcCheck results in acceptable agreement with the film gamma results. Conclusion: Our ArcCheck results at 3%, 3 mm were found to correlate well with our non-SABR spine routine patient specific QA results (3%,1 mm). We observed significant reduction in QA time on using ArcCheck for SABR QA. This study shows that ArcCheck could replace film dosimetry for all sites except SABR spine.

  1. Disparities in Hypertension Associated with Limited English Proficiency.

    Science.gov (United States)

    Kim, Eun Ji; Kim, Taekyu; Paasche-Orlow, Michael K; Rose, Adam J; Hanchate, Amresh D

    2017-06-01

    Limited English proficiency (LEP) is associated with poor health status and worse outcomes. To examine disparities in hypertension between National Health and Nutrition Examination Survey (NHANES) respondents with LEP versus adequate English proficiency. Retrospective analysis of multi-year survey data. Adults 18 years of age and older who participated in the NHANES survey during the period 2003-2012. We defined participants with LEP as anyone who completed the NHANES survey in a language other than English or with the support of an interpreter. Using logistic regression, we estimated the odds ratio for undiagnosed or uncontrolled hypertension (systolic blood pressure (SBP) > 140 mmHg or diastolic blood pressure (DBP) > 90 mmHg) among LEP participants relative to those with adequate English proficiency. We adjusted for sociodemographic, acculturation-related, and hypertension-related variables. Fourteen percent (n = 3,269) of the participants had limited English proficiency: 12.4% (n = 2906) used a Spanish questionnaire and 1.6% (n = 363) used an interpreter to complete the survey in another language. Those with LEP had higher odds of elevated blood pressure on physical examination (adjusted odds ratio [AOR] = 1.47 [1.07-2.03]). This finding persisted among participants using an interpreter (AOR = 1.88 [1.15-3.06]) but not among those using the Spanish questionnaire (AOR = 1.32 [0.98-1.80]). In a subgroup analysis, we found that the majority of uncontrolled hypertension was concentrated among individuals with a known diagnosis of hypertension (AOR = 1.80 [1.16-2.81]) rather than those with undiagnosed hypertension (AOR = 1.14 [0.74-1.75]). Interpreter use was associated with increased odds of uncontrolled hypertension, especially among patients who were not being medically managed for hypertension (AOR = 6.56 [1.30-33.12]). In a nationally representative sample, participants with LEP were more likely to have poorly

  2. Self-monitoring as a viable fading option in check-in/check-out.

    Science.gov (United States)

    Miller, Leila M; Dufrene, Brad A; Joe Olmi, D; Tingstrom, Daniel; Filce, Hollie

    2015-04-01

    This study systematically replaced the teacher completed Daily Behavior Report Card (DBRC) and feedback component of check-in/check-out (CICO) with self-monitoring for four elementary students referred for Tier 2 behavioral supports within School-Wide Positive Behavior Interventions and Supports (SWPBIS). An ABAB withdrawal design was used to test the effectiveness of CICO. Then, following the second B phase, teacher completion of the DBRC and corresponding feedback to students was replaced with self-monitoring. For all four participants, CICO was associated with increases in academic engagement and reductions in disruptive behavior. Moreover, students' behavioral gains were maintained when teacher completion of the DBRC was replaced with self-monitoring. Results are discussed in terms of CICO research and practice. Copyright © 2014 Society for the Study of School Psychology. Published by Elsevier Ltd. All rights reserved.

  3. Prediction Interval Development for Wind-Tunnel Balance Check-Loading

    Science.gov (United States)

    Landman, Drew; Toro, Kenneth G.; Commo, Sean A.; Lynn, Keith C.

    2014-01-01

    Results from the Facility Analysis Verification and Operational Reliability project revealed a critical gap in capability in ground-based aeronautics research applications. Without a standardized process for check-loading the wind-tunnel balance or the model system, the quality of the aerodynamic force data collected varied significantly between facilities. A prediction interval is required in order to confirm a check-loading. The prediction interval provides an expected upper and lower bound on balance load prediction at a given confidence level. A method has been developed which accounts for sources of variability due to calibration and check-load application. The prediction interval method of calculation and a case study demonstrating its use is provided. Validation of the methods is demonstrated for the case study based on the probability of capture of confirmation points.

  4. A correspondence between type checking via reduction and type checking via evaluation

    DEFF Research Database (Denmark)

    Sergey, Ilya; Clark, Dave

    2012-01-01

    We describe a derivational approach to proving the equivalence of different representations of a type system. Different ways of representing type assignments are convenient for particular applications such as reasoning or implementation, but some kind of correspondence between them should be prov...... a reduction-based semantics for type checking and a traditional one in the form of derivation rules, implemented as a recursive descent. The correspondence is established through a series of semantics-preserving functional program transformations....

  5. CrossCheck: an open-source web tool for high-throughput screen data analysis.

    Science.gov (United States)

    Najafov, Jamil; Najafov, Ayaz

    2017-07-19

    Modern high-throughput screening methods allow researchers to generate large datasets that potentially contain important biological information. However, oftentimes, picking relevant hits from such screens and generating testable hypotheses requires training in bioinformatics and the skills to efficiently perform database mining. There are currently no tools available to general public that allow users to cross-reference their screen datasets with published screen datasets. To this end, we developed CrossCheck, an online platform for high-throughput screen data analysis. CrossCheck is a centralized database that allows effortless comparison of the user-entered list of gene symbols with 16,231 published datasets. These datasets include published data from genome-wide RNAi and CRISPR screens, interactome proteomics and phosphoproteomics screens, cancer mutation databases, low-throughput studies of major cell signaling mediators, such as kinases, E3 ubiquitin ligases and phosphatases, and gene ontological information. Moreover, CrossCheck includes a novel database of predicted protein kinase substrates, which was developed using proteome-wide consensus motif searches. CrossCheck dramatically simplifies high-throughput screen data analysis and enables researchers to dig deep into the published literature and streamline data-driven hypothesis generation. CrossCheck is freely accessible as a web-based application at http://proteinguru.com/crosscheck.

  6. Model checking in multiple imputation: an overview and case study

    Directory of Open Access Journals (Sweden)

    Cattram D. Nguyen

    2017-08-01

    Full Text Available Abstract Background Multiple imputation has become very popular as a general-purpose method for handling missing data. The validity of multiple-imputation-based analyses relies on the use of an appropriate model to impute the missing values. Despite the widespread use of multiple imputation, there are few guidelines available for checking imputation models. Analysis In this paper, we provide an overview of currently available methods for checking imputation models. These include graphical checks and numerical summaries, as well as simulation-based methods such as posterior predictive checking. These model checking techniques are illustrated using an analysis affected by missing data from the Longitudinal Study of Australian Children. Conclusions As multiple imputation becomes further established as a standard approach for handling missing data, it will become increasingly important that researchers employ appropriate model checking approaches to ensure that reliable results are obtained when using this method.

  7. Model checking in multiple imputation: an overview and case study.

    Science.gov (United States)

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

    2017-01-01

    Multiple imputation has become very popular as a general-purpose method for handling missing data. The validity of multiple-imputation-based analyses relies on the use of an appropriate model to impute the missing values. Despite the widespread use of multiple imputation, there are few guidelines available for checking imputation models. In this paper, we provide an overview of currently available methods for checking imputation models. These include graphical checks and numerical summaries, as well as simulation-based methods such as posterior predictive checking. These model checking techniques are illustrated using an analysis affected by missing data from the Longitudinal Study of Australian Children. As multiple imputation becomes further established as a standard approach for handling missing data, it will become increasingly important that researchers employ appropriate model checking approaches to ensure that reliable results are obtained when using this method.

  8. Effects of proficiency and age of language acquisition on working memory performance in bilinguals

    Directory of Open Access Journals (Sweden)

    Vejnović Dušan

    2010-01-01

    Full Text Available This study examined language proficiency and age of language acquisition influences on working memory performance in bilinguals. Bilingual subjects were administered reading span task in parallel versions for their first and second language. In Experiment 1, language proficiency effect was tested by examination of low and highly proficient second language speakers. In Experiment 2, age of language acquisition was examined by comparing the performance of proficient second language speakers who acquired second language either early or later in their lives. Both proficiency and age of language acquisition were found to affect bilingual working memory performance, and the proficiency effect was observed even at very high levels of language competence. The results support the notion of working memory as a domain that is influenced both by a general pool of resources and certain domain specific factors.

  9. Model Checking Algorithms for the mu-Calculus,

    Science.gov (United States)

    1996-09-23

    Model Checking Algorithms for the -Calculus Sergey Berezin Edmund Clarke Somesh Jha Will Marrero September 23, 1996 CMU-CS-96-180 School of Computer...authorized to reproduce and distribute reprints for Governmental purposes. Keywords: automatic veri cation, temporal logic, model checking , binary decision di...comes from the existence of ecient model checking algorithms for this formalism. As a consequence, veri cation procedures for many temporal and modal

  10. Related Fact Checks: a tool for combating fake news

    OpenAIRE

    Guha, Sreya

    2017-01-01

    The emergence of "Fake News" and misinformation via online news and social media has spurred an interest in computational tools to combat this phenomenon. In this paper we present a new "Related Fact Checks" service, which can help a reader critically evaluate an article and make a judgment on its veracity by bringing up fact checks that are relevant to the article. We describe the core technical problems that need to be solved in building a "Related Fact Checks" service, and present results ...

  11. Analyzing Mode Confusion via Model Checking

    Science.gov (United States)

    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.

  12. Personalized medicine: reality and reality checks.

    Science.gov (United States)

    Leeder, J Steven; Spielberg, Stephen P

    2009-05-01

    The evolving era of pharmacogenomics and personalized medicine is greeted with optimism by many, but this sentiment is not universally shared. The existence of diametrically opposed opinions concerning the potential benefits and obstacles facing the widespread implementation of genomic medicine should stimulate discussion and guide the design of studies to establish the value of interventions targeted at the level of individual patients. One of the more controversial aspects of personalized medicine is whether the anticipated benefits will be realized at an acceptable cost. Recently released analyses suggest that the returns on investment depend on the particular scenario and are different for different stakeholders. On the other hand, cost is only one of the challenges regarding implementation of personalized medicine. Among these are the development of universal standards for managing genomic information in electronic medical records, improvement in the collection and interpretation of clinical phenotype data, and new strategies to educate practitioners and patients/consumers. The reality is that personalized medicine is upon us; open discourse and periodic reality checks will be necessary as we confront it.

  13. Marketers approve check-off plan

    Energy Technology Data Exchange (ETDEWEB)

    Mantho, M.

    1996-02-01

    For the last several years, we have ended the year with a questionnaire looking into the future. Our panel was asked what was the greatest threat to our industry. Consistently, they have answered {open_quotes}the lack of real growth.{close_quotes} This year was no exception, but this time there was a feeling that something could and would be done. Almost every marketer (98%) said he or she supported the check-off program that would raise considerable funds for public relations and research. This idea isn`t new; it has been discussed year after year. Always the stumbling block was how to raise funds so that each company contributed and no one had a free ride. Last year, it was proposed that a commission created by federal law, be established to oversee funds for the education of consumers and government and provide technology research. If Congress authorizes this plan and members of the industry endorse it, we would have a strong program in place by 1997.

  14. Effective ambiguity checking in biosequence analysis

    Directory of Open Access Journals (Sweden)

    Giegerich Robert

    2005-06-01

    Full Text Available Abstract 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.

  15. Applicability of refractometry for fast routine checking of hospital preparations.

    Science.gov (United States)

    Hendrickx, Stijn; Verón, Aurora Monteagudo; Van Schepdael, Ann; Adams, Erwin

    2016-04-30

    Quality control of hospital pharmacy formulations is of the utmost importance to ensure constant quality and to avoid potential mistakes before administration to the patient. In this study we investigated the applicability of refractometry as a fast, inexpensive and easy-to-use quality control measurement. Refractive indices (RI) of a multitude of different hospital formulations with varying concentrations of active compound were measured. The samples consisted of a number of binary aqueous solutions (one compound in water), complex aqueous solutions (multiple compounds in water or in a constant matrix), two suspensions and one emulsion. For all these formulations, linear regression analysis was performed, quality control limits determined and accuracy and repeatability were checked. Subsequently, actual hospital pharmacy samples were analyzed to check whether they were within the specified limits. For both binary and complex aqueous formulations, repeatability was good and a linear correlation for all samples could be observed on condition that the concentration of the active compound was sufficiently high. The refractometer was not sensitive enough for solutions of folic acid and levothyroxine, which had too low a concentration of active compound. Due to lack of homogeneity and light scattering, emulsions and suspensions do not seem suitable for quality control by refractometry. A mathematical equation was generated to predict the refractive index of an aqueous solution containing clonidine HCl as active compound. Values calculated from the equation were compared with measured values and deviations of all samples were found to be lower than 1.3%. In order to use refractometry in a hospital pharmacy for quality control of multicomponent samples, additional intermediate measurements would be required, to overcome the fact that refractometry is not compound specific. In conclusion, we found that refractometry could potentially be useful for daily, fast quality

  16. Automated asphere centration testing with AspheroCheck UP

    Science.gov (United States)

    Hahne, F.; Langehanenberg, P.

    2017-10-01

    With aspheres being incorporated in optical designs across all industry fields, there is high demand for fast and flexible metrology solutions for aspheric lenses. While many systems support measuring the surface topography, the process is limited to a specific design or based on a time-consuming scanning process. Centration measurement with such systems requires additional probes or the inclusion of external reference surfaces in the measurement process. In this paper, we present AspheroCheck UP [1], a highly automated lens testing system based on the well-established AspheroCheck principle. The paraxial centering errors of both optical surfaces are measured in reflection using a focusing autocollimator. This centration measurement is combined with a fully motorized, non-contact distance sensor that measures the aspheric surface run-out. All three measurements can be performed in parallel during a single rotation of the sample, greatly reducing overall measurement time. The sensor can also be used for referencing to outer diameter, flange and/or interlock surfaces and even double-aspheric lenses. A five-axis motorized table enables the automatic alignment of the optical axis of the sample to the rotation axis. This significantly reduces setup time and allows for fully automatic testing without user interaction, ensuring both high measurement accuracy and high repeatability independent of the operator. A full cycle time of less than 1 minute including loading and unloading is possible, enabling applications in both R&D and production environments. In addition to supporting ISO and Q-type polynomial surfaces, the system supports most other rotationally symmetric surface types, including Fresnel and diffractive surfaces.

  17. Does English proficiency impact on health outcomes for inpatients undergoing stroke rehabilitation?

    Science.gov (United States)

    Davies, Sarah E; Dodd, Karen J; Tu, April; Zucchi, Emiliano; Zen, Stefania; Hill, Keith D

    2016-07-01

    To determine whether English proficiency and/or the frequency of interpreter use impacts on health outcomes for inpatient stroke rehabilitation. Retrospective case-control study. People admitted for inpatient stroke rehabilitation. A high English proficiency group comprised people with native or near native English proficiency (n = 80), and a low English proficiency group comprised people who preferred a language other than English (n = 80). Length of stay (LOS), discharge destination and Functional Independence Measure (FIM). The low English proficiency group showed a greater improvement in FIM from admission to discharge (p = 0.04). No significant differences were found between groups in LOS, discharge destination and number of encounters with allied health professionals. Increased interpreter usage improved FIM efficiency but did not significantly alter other outcomes. English proficiency does not appear to impact on health outcomes in inpatient rehabilitation with a primarily in-house professional interpreter service. However, there is a need for a larger powered study to confirm these findings. Implications for rehabilitation People with low English proficiency undergoing inpatient stroke rehabilitation in a setting with a primarily in-house professional interpreter service, achieved similar outcomes to those with high English proficiency irrespective of frequency of interpreter usage. A non-significant increase of 4 days length of stay was observed in the low English proficiency group compared to the high English proficiency group. For patients with low English proficiency, greater change in Functional Independence Measure efficiency scores was observed for those with higher levels of interpreter use relative to those with low interpreter use. Clinicians should optimise use of interpreters with patients with low English proficiency when possible.

  18. An inter- laboratory proficiency testing exercise for rabies diagnosis in Latin America and the Caribbean.

    Science.gov (United States)

    Clavijo, Alfonso; Freire de Carvalho, Mary H; Orciari, Lillian A; Velasco-Villa, Andres; Ellison, James A; Greenberg, Lauren; Yager, Pamela A; Green, Douglas B; Vigilato, Marco A; Cosivi, Ottorino; Del Rio-Vilas, Victor J

    2017-04-01

    The direct fluorescent antibody test (DFA), is performed in all rabies reference laboratories across Latin America and the Caribbean (LAC). Despite DFA being a critical capacity in the control of rabies, there is not a standardized protocol in the region. We describe the results of the first inter-laboratory proficiency exercise of national rabies laboratories in LAC countries as part of the regional efforts towards dog-maintained rabies elimination in the American region. Twenty three laboratories affiliated to the Ministries of Health and Ministries of Agriculture participated in this exercise. In addition, the laboratories completed an online questionnaire to assess laboratory practices. Answers to the online questionnaire indicated large variability in the laboratories throughput, equipment used, protocols availability, quality control standards and biosafety requirements. Our results will inform actions to improve and harmonize laboratory rabies capacities across LAC in support for the regional efforts towards elimination of dog-maintained rabies.

  19. Impact of Bilingual Education Programs on Limited English Proficient Students and Their Peers

    DEFF Research Database (Denmark)

    Daysal, N. Meltem; Chin, Aimee; Imberman, Scott

    2013-01-01

    Texas requires a school district to offer bilingual education when its enrollment of limited English proficient (LEP) students in a particular elementary grade and language is twenty or higher. Using school panel data, we find a significant increase in the probability that a district provides...... bilingual education above this 20-student cutoff. Using this discontinuity as an instrument for district bilingual education provision, we find that providing bilingual education programs (relative to providing only English as a Second Language programs) does not significantly impact the standardized test...... scores of students with Spanish as their home language (comprised primarily of ever-LEP students). However, we find significant positive impacts on non-LEP students’ achievement, which indicates that education programs for LEP students have spillover effects to non-LEP students....

  20. Model Checking Is Static Analysis of Modal Logic

    DEFF Research Database (Denmark)

    Nielson, Flemming; Nielson, Hanne Riis

    2010-01-01

    that it can give an exact characterisation of the semantics of formulae in a modal logic. This shows that model checking can be performed by means of state-of-the-art approaches to static analysis and allow us to conclude that the problems of model checking and static analysis are reducible to each other....... In terms of computational complexity we show that model checking by means of static analysis gives the same complexity bounds as are known for traditional approaches to model checking....

  1. Verifying Multi-Agent Systems via Unbounded Model Checking

    Science.gov (United States)

    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. Cycle time reduction by Html report in mask checking flow

    Science.gov (United States)

    Chen, Jian-Cheng; Lu, Min-Ying; Fang, Xiang; Shen, Ming-Feng; Ma, Shou-Yuan; Yang, Chuen-Huei; Tsai, Joe; Lee, Rachel; Deng, Erwin; Lin, Ling-Chieh; Liao, Hung-Yueh; Tsai, Jenny; Bowhill, Amanda; Vu, Hien; Russell, Gordon

    2017-07-01

    The Mask Data Correctness Check (MDCC) is a reticle-level, multi-layer DRC-like check evolved from mask rule check (MRC). The MDCC uses extended job deck (EJB) to achieve mask composition and to perform a detailed check for positioning and integrity of each component of the reticle. Different design patterns on the mask will be mapped to different layers. Therefore, users may be able to review the whole reticle and check the interactions between different designs before the final mask pattern file is available. However, many types of MDCC check results, such as errors from overlapping patterns usually have very large and complex-shaped highlighted areas covering the boundary of the design. Users have to load the result OASIS file and overlap it to the original database that was assembled in MDCC process on a layout viewer, then search for the details of the check results. We introduce a quick result-reviewing method based on an html format report generated by Calibre® RVE. In the report generation process, we analyze and extract the essential part of result OASIS file to a result database (RDB) file by standard verification rule format (SVRF) commands. Calibre® RVE automatically loads the assembled reticle pattern and generates screen shots of these check results. All the processes are automatically triggered just after the MDCC process finishes. Users just have to open the html report to get the information they need: for example, check summary, captured images of results and their coordinates.

  3. Nucleus accumbens core and pathogenesis of compulsive checking

    Science.gov (United States)

    Ballester González, Javier; Dvorkin-Gheva, Anna; Silva, Charmaine; Foster, Jane A.

    2015-01-01

    To investigate the role of the nucleus accumbens core (NAc) in the development of quinpirole-induced compulsive checking, rats received an excitotoxic lesion of NAc or sham lesion and were injected with quinpirole (0.5 mg/kg) or saline; development of checking behavior was monitored for 10 biweekly tests. The results showed that even after the NAc lesion, quinpirole still induced compulsive checking, suggesting that the pathogenic effects produced by quinpirole lie outside the NAc. Although the NAc lesion did not prevent the induction of compulsive checking, it altered how quickly it develops, suggesting that the NAc normally contributes toward the induction of compulsive checking. Saline-treated rats with an NAc lesion were hyperactive, but did not develop compulsive checking, indicating that hyperactivity by itself is not sufficient for the pathogenesis of compulsive checking. It is proposed that compulsive checking is the exaggerated output of a security motivation system and that the NAc serves as a neural hub for coordinating the orderly activity of neural modules of this motivational system. Evidence is considered suggesting that the neurobiological condition for the pathogenesis of compulsive checking is two-fold: activation of dopamine D2/D3 receptors without concurrent stimulation of D1-like receptors and long-term plastic changes related to quinpirole-induced sensitization. PMID:25426580

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

    Science.gov (United States)

    2010-04-01

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

  5. Communication With Limited English-Proficient Families in the PICU.

    Science.gov (United States)

    Zurca, Adrian D; Fisher, Kiondra R; Flor, Remigio J; Gonzalez-Marques, Catalina D; Wang, Jichuan; Cheng, Yao I; October, Tessie W

    2017-01-01

    Health care disparities have been described for children of limited English-proficient (LEP) families compared with children of English-proficient (EP) families. Poor communication with the medical team may contribute to these worse health outcomes. Previous studies exploring communication in the PICU have excluded LEP families. We aimed to understand communication experiences and preferences in the 3 primary communication settings in the PICU. We also explored LEP families' views on interpreter use in the PICU. EP and Spanish-speaking LEP families of children admitted to the PICU of a large tertiary pediatric hospital completed surveys between 24 hours and 7 days of admission. A total of 161 of 184 families were surveyed (88% response rate); 52 were LEP and 109 EP. LEP families were less likely to understand the material discussed on rounds (odds ratio [OR] 0.32, 95% confidence interval [CI] 0.11-0.90), to report that PICU nurses spent enough time speaking with them (OR 0.15, 95% CI 0.05-0.41), and to report they could rely on their nurses for medical updates (OR 0.07, 95% CI 0.02-0.25) controlling for covariates, such as education, insurance type, presence of a chronic condition, PICU length of stay, and mortality index. LEP families reported 53% of physicians and 41% of nurses used an interpreter "often." Physician and nurse communication with LEP families is suboptimal. Communication with LEP families may be improved with regular use of interpreters and an increased awareness of the added barrier of language proficiency. Copyright © 2017 by the American Academy of Pediatrics.

  6. The role of ESP courses in general English proficiency

    Directory of Open Access Journals (Sweden)

    Vesna Cigan

    2013-12-01

    Full Text Available The purpose of the present paper is the study of the interaction between learning English for Specific Purposes (ESP, in particular, English for the Financial Sector, and general English proficiency. The research examines the effects of an ESP course being taught for a year on the students' general English proficiency.Two sets of tests were prepared for that purpose and administered to 30 first-year students of finance and law. The students took the placement test twice, at the beginning and at the end of the school year. To monitor test performance over a research period, a parallel form measuring the same competences was administered at the beginning of the second semester. In the test development process a special consideration has been paid to the level of difficulty and its relation to the students' prior educational context. Drawing on the National State Matura exams the test is set at Common European Framework of Reference for Languages (CEFR Level B2. As regards its content the test is comprised of reading comprehension tasks (multiple matching, multiple-choice cloze, gapped text and grammar tasks aiming to examine lexical and grammatical competence.There were two major assumptions in this study: 1 Learning ESP can improve students' general English proficiency, and 2 There is a more substantial improvement in lexical competence as compared to the improvement in grammatical competence.There is strong evidence in support of the first hypothesis, whereas for the second one the results were ambiguous. After major findings are presented and discussed, implications for ESP teaching are given in closing.

  7. Telephone triage utilization among patients with limited English proficiency

    Directory of Open Access Journals (Sweden)

    Jane W. Njeru

    2017-11-01

    Full Text Available Abstract Background Communication between patients with limited English proficiency (LEP and telephone triage services has not been previously explored. The purpose of this study was to determine the utilization characteristics of a primary care triage call center by patients with LEP. Methods This was a retrospective cohort study of the utilization of a computer-aided, nurse-led telephone triage system by English proficiency status of patients empaneled to a large primary care practice network in the Midwest United States. Interpreter Services (IS need was used as a proxy for LEP. Results Call volumes between the 587 adult patients with LEP and an age-frequency matched cohort of English-Proficient (EP patients were similar. Calls from patients with LEP were longer and more often made by a surrogate. Patients with LEP received recommendations for higher acuity care more frequently (49.4% versus 39.0%; P < 0.0004, and disagreed with recommendations more frequently (30.1% versus 20.9%; P = 0.0004. These associations remained after adjustment for comorbidities. Patients with LEP were also less likely to follow recommendations (60.9% versus 69.4%; P = 0.0029, even after adjusting for confounders (adjusted odds ratio [AOR] = 0.65; 95% confidence interval [CI], 0.49, 0.85; P < 0.001. Conclusion Patients with LEP who utilized a computer-aided, nurse-led telephone triage system were more likely to receive recommendations for higher acuity care compared to EP patients. They were also less likely to agree with, or follow, recommendations given. Additional research is needed to better understand how telephone triage can better serve patients with LEP.

  8. Proficiency examination in English language: Needs analysis and methodological proposals

    Directory of Open Access Journals (Sweden)

    Maria Elizete Luz Saes

    2014-04-01

    Full Text Available The purpose of this work is to provide tools for reflections on some learning difficulties presented by students when they are submitted to English proficiency examinations, as well as to suggest some methodological proposals that can be implemented among didactic support groups, monitoring or in classrooms, by means of face-to-face or distance learning activities. The observations resulting from the performance presented by the students have motivated the preparation of this paper, whose theoretical assumptions are based on the needs analysis of the target audience, the exploration of oral and written discursive genres and the possibilities of interaction provided by technological mediation.

  9. Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding

    Directory of Open Access Journals (Sweden)

    Liang Song

    2013-01-01

    Full Text Available Business process models are required to be in line with frequently changing regulations, policies, and environments. In the field of intelligent modeling, organisations concern automated business process compliance checking as the manual verification is a time-consuming and inefficient work. There exist two key issues for business process compliance checking. One is the definition of a business process retrieval language that can be employed to capture the compliance rules, the other concerns efficient evaluation of these rules. Traditional syntax-based retrieval approaches cannot deal with various important requirements of compliance checking in practice. Although a retrieval language that is based on semantics can overcome the drawback of syntax-based ones, it suffers from the well-known state space explosion. In this paper, we define a semantics-based process model query language through simplifying a property specification pattern system without affecting its expressiveness. We use this language to capture semantics-based compliance rules and constraints. We also propose a feasible approach in such a way that the compliance checking will not suffer from the state space explosion as much as possible. A tool is implemented to evaluate the efficiency. An experiment conducted on three model collections illustrates that our technology is very efficient.

  10. Automatic failure in gynecologic cytology proficiency testing. Results from the College of American Pathologists proficiency testing program.

    Science.gov (United States)

    Moriarty, Ann T; Crothers, Barbara A; Bentz, Joel S; Souers, Rhona J; Fatheree, Lisa A; Wilbur, David C

    2009-11-01

    Automatic failure in gynecologic cytology proficiency testing occurs when a high-grade lesion or carcinoma (HSIL+, Category D) is misinterpreted as negative for intraepithelial lesion or malignancy (Category B). To document the automatic failure rate in 2006 and 2007 from the College of American Pathologists proficiency testing program (PAP PT) and compare them to projected values from 2004. Identify automatic failures from PAP PT in 2006 and 2007 and compare the rates of failure regarding participant and preparation type to validated slides in the College of American Pathologists Interlaboratory Comparison Program in 2004. There were 65 264 participant responses for HSIL+ slides included in this analysis from 2006 and 2007. Overall, 1% (666 of 65 264) of the HSIL+ responses were classified as negative, resulting in automatic failure for the participant. There were significantly fewer automatic failures in 2007 as compared with either 2006 or projected from 2004 data (P < .001). Conventional preparations had a lower automatic failure rate than liquid-based preparations but only for 2006. Both pathologists and cytotechnologists interpreting liquid-based preparations faired better than projected from 2004 data. The automatic failure rate in PAP PT is lower than expected based on 2004 data from the College of American Pathologists Interlaboratory Comparison Program. Automatic failures are a relatively small component (1% or less) of proficiency testing failures. The rate of automatic failure decreased from 2006 to 2007 and may be due to loss of poor performers in the testing pool, the test-taking environment, or removal of less robust slides from the program.

  11. Combining Theory Generation and Model Checking for Security Protocol Analysis,

    Science.gov (United States)

    2000-01-01

    checking to the task of protocol analysis, while the other utilizes the method of theory generation. which borrows from both model checking and...This paper reviews two relatively new tools for automated formal analysis of security protocols. One applies the formal methods technique of model

  12. Model Checking for Linear Temporal Logic: An Efficient Implementation

    Science.gov (United States)

    1990-06-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

  13. Strategic Planning through Model Checking of ATL Formulae

    NARCIS (Netherlands)

    Jamroga, W.J.; Rutkowski, L.; Siekmann, J.; Tadeusiewicz, R.; Zadeh, L.A.

    2004-01-01

    Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns a strategy to achieve given goal. We point out that the algorithm generalizes minimaxing, and that ATL models generalize

  14. The Complexity of Model Checking Higher-Order Fixpoint Logic

    DEFF Research Database (Denmark)

    Axelsson, Roland; Lange, Martin; Somla, Rafal

    2007-01-01

    provides complexity results for its model checking problem. In particular we consider its fragments HFLk,m which are formed using types of bounded order k and arity m only. We establish k-ExpTime-completeness for model checking each HFLk,m fragment. For the upper bound we reduce the problem to the problem...

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

    Science.gov (United States)

    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…

  16. A Case Study in Model Checking Software Systems.

    Science.gov (United States)

    1996-04-01

    Model checking is a proven successful technology for verifying hardware. It works, however, on only finite state machines, and most software systems...have infinitely many states. Our approach to applying model checking to software hinges on identifying appropriate abstractions that exploit the

  17. Simple nonparametric checks for model data fit in CAT

    NARCIS (Netherlands)

    Meijer, R.R.

    2005-01-01

    In this paper, the usefulness of several nonparametric checks is discussed in a computerized adaptive testing (CAT) context. Although there is no tradition of nonparametric scalability in CAT, it can be argued that scalability checks can be useful to investigate, for example, the quality of item

  18. 31 CFR 10.31 - Negotiation of taxpayer checks.

    Science.gov (United States)

    2010-07-01

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

  19. How To Check PML/PaGE-OM Schema [

    Lifescience Database Archive (English)

    Full Text Available How To Check PML/PaGE-OM Schema PML Schema Cheker page stopped serving. To check your XML schema validation....NET Open your XML Datafile by XML editor. Open your XML Schema file by XML editor for validation

  20. 19 CFR 111.41 - Endorsement of checks.

    Science.gov (United States)

    2010-04-01

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

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

    Science.gov (United States)

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

  2. 42 CFR 35.47 - Disposition of Government checks.

    Science.gov (United States)

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

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

    Science.gov (United States)

    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…

  4. Fraud by using a check | Azarian | Journal of Fundamental and ...

    African Journals Online (AJOL)

    Check is one of the most important tools to facilitate the trading and financial transactions between people. In fact, the Czech is a special type of finance credit from the bank to an individual or legal person, unfortunately, this concept, like many other concepts have not understood in comprehensive way and these check ...

  5. Check-up Measurement (update). Deliverable D5.22

    NARCIS (Netherlands)

    Holtzer, A.C.G.; Giessen, A.M.D. van der; Djurica, M.

    2015-01-01

    This deliverable D5.22 presents the GEN6 check-up measurement. It describes the most prominent outcomes of the GEN6 project up to this point in time. The check-up measurement helps to focus the monitoring towards the most relevant achievements of the project, such that an efficient and well-targeted

  6. 31 CFR 211.1 - Withholding delivery of checks.

    Science.gov (United States)

    2010-07-01

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

  7. Be SMART: examining the experience of implementing the NHS Health Check in UK primary care.

    Science.gov (United States)

    Shaw, Rachel L; Pattison, Helen M; Holland, Carol; Cooke, Richard

    2015-01-22

    The NHS Health Check was designed by UK Department of Health to address increased prevalence of cardiovascular disease by identifying risk levels and facilitating behaviour change. It constituted biomedical testing, personalised advice and lifestyle support. The objective of the study was to explore Health Care Professionals' (HCPs) and patients' experiences of delivering and receiving the NHS Health Check in an inner-city region of England. Patients and HCPs in primary care were interviewed using semi-structured schedules. Data were analysed using Thematic Analysis. Four themes were identified. Firstly, Health Check as a test of 'roadworthiness' for people. The roadworthiness metaphor resonated with some patients but it signified a passive stance toward illness. Some patients described the check as useful in the theme, Health check as revelatory. HCPs found visual aids demonstrating levels of salt/fat/sugar in everyday foods and a 'traffic light' tape measure helpful in communicating such 'revelations' with patients. Being SMART and following the protocolrevealed that few HCPs used SMART goals and few patients spoke of them. HCPs require training to understand their rationale compared with traditional advice-giving. The need for further follow-up revealed disparity in follow-ups and patients were not systematically monitored over time. HCPs' training needs to include the use and evidence of the effectiveness of SMART goals in changing health behaviours. The significance of fidelity to protocol needs to be communicated to HCPs and commissioners to ensure consistency. Monitoring and measurement of follow-up, e.g., tracking of referrals, need to be resourced to provide evidence of the success of the NHS Health Check in terms of healthier lifestyles and reduced CVD risk.

  8. Check Digit System Based on Quasigroup String Transformation

    Science.gov (United States)

    Abubakar Pindar, Zahraddeen; Jamel, Sapiee; Disina, Abdulkadir; Rahman Ghali, Abdul; Mahazer, Ku Nur Afiqah binti Ku; Mat Deris, Mustafa

    2017-08-01

    The advent of check digit methods has aided the detection of errors which are caused by human operations when information is typed wrongly. For instance, errors do often occur when numbers or characters are typed wrongly into a database and this may lead to many unwanted outcomes. Classical check digit system are usually based on basic arithmetic operations such as addition and modulo operation, and some of the classical check digit systems have been shown to be unable to detect certain types of errors. This paper proposes a check digit system based on the concept quasigroup string transformation (QTS). The error detection rate of the proposed check digit system was compared with other systems. The result of 95.56%, 57.78%, 79.67% 96% and 66.8% was obtained for ISBN, Luhn 10, UPC, Modified-UPC and Proposed Method respectively.

  9. SYNCHRONOUS CMC, WORKING MEMORY, AND L2 ORAL PROFICIENCY DEVELOPMENT

    Directory of Open Access Journals (Sweden)

    J. Scott Payne

    2005-09-01

    Full Text Available Recently a number of quasi-experimental studies have investigated the potential of a cross-modality transfer of second language competency between real-time, conversational exchange via text and speech (Abrams, 2003; Beauvious, 1998; Kost, 2004; Payne & Whitney, 2002. Payne and Whitney employed Levelt's (1989 model of language production and concepts from working memory as a rationale for a hypothesized connection between synchronous computer-mediated communication (SCMC and second language (L2 speech and as a basis for predicting the differential contributions of SCMC to the L2 oral proficiency development.This study extends the psycholinguistic framework reported in Payne and Whitney (2002 with discourse and corpus analytic techniques to explore how individual differences in working memory capacity may affect the frequency of repetition and other patterns of language use in chatroom discourse. Working memory capacity was measured by a reading span and nonword repetition test. Oral proficiency was measured with a speaking task that solicited a 5-minute speech sample and was scored based on a holistic scale. The data collected from 20 chat sessions were analyzed for occurrences of repetition and relexicalization, as well as language output measures. Findings suggest a connection between working memory and language output as measured in this study.

  10. Investigating elementary school pupils’ proficiency in mastering English vocabulary

    Directory of Open Access Journals (Sweden)

    Diana Achmad

    2014-03-01

    Full Text Available English has been taught at elementary schools as one of the local content subjects. It is necessary to study English from an early age in order to achieve good mastery in it. To master English means to master the four skills in it and also the language aspects, including vocabulary. As one of the language aspects, vocabulary plays an important role in language learning. This study reports on pupils’ proficiency in mastering English vocabulary after three years of studying in elementary school. The writer chose 55 grade-four pupils of SD Methodist Banda Aceh as a sample for this study. They were given a vocabulary test related to reading and writing skills consisting of 26 items. The test was to be done in 20 minutes. After calculating the data, it was found that the mean score (x of the pupils was 69.5, with the highest score at 92.3 and the lowest score at 26.9. More than 50% of the pupils could answer the questions correctly in less than 20 minutes. Only 4 out of the 55 pupils answered the questions less than 50% correctly and no one answered 100% correct. According to these results, this study showed that the pupils achieved good proficiency in vocabulary.

  11. Circadian differences in hemisphere-linked spelling proficiencies.

    Science.gov (United States)

    Morton, L L; Diubaldo, D

    1995-03-01

    Male and female adolescents (N = 113) were assigned randomly to spelling instruction in either morning or afternoon groups for a school year. A spelling list (100 words) was administered at the beginning of the school year to obtain a sample of error responses and estimate proficiency. Although equally proficient, subjects tested in the afternoon showed more phonetically inappropriate errors, while those tested in the morning showed more phonetically appropriate errors. This error pattern is viewed as support for a more engaged left hemisphere in the morning. There were no differences on two types of visual errors. Subjects then received instruction in spelling for nine months in either morning or afternoon settings. Time-of-day effects were not evident on the word list and there were too few errors to conduct a posttest error analysis. However, standardized test results for a subgroup revealed that subjects receiving morning instruction made greater gains on phonetically regular words compared to phonetically irregular words--an effect consistent with a circadian-linked higher level of left hemisphere engagement early in the day. The findings are of a pilot nature, but implications for education and further research are discussed.

  12. Development and Evaluation of a Logical Delta Check for Identifying Erroneous Blood Count Results in a Tertiary Care Hospital.

    Science.gov (United States)

    Miller, Ira

    2015-08-01

    Delta checks have been suggested to increase patient safety by identifying preanalytic and analytic errors, including wrong name mislabeling on the sample tube. To implement an effective and practical complete blood cell count (CBC) delta check by optimizing specificity and sensitivity using weighted deltas of multiple parameters. The mean red blood cell volume (MCV) delta (>3.0 fL) check was retrospectively assessed. The composite CBC delta (CCD) test was formulated using serial same-patient CBC data and random interpatient CBCs. The logical delta check (LDC) ignores CCD failures due to platelet change only. The effect of LDC implementation was evaluated. The MCV delta check test recognized only 3 of 6 confessed mislabeled specimens in the initial review period, whereas all were identified using the CCD. The LDC flagged 2% (205 of 13 234) of eligible results, one-third as many as the MCV delta check. The CCD and LDC checks revealed 20 presumed or confirmed mislabeling events, only half of which were caught by the MCV delta check. Thirty-four percent of LDC failures not due to transfusion reflected problematic results, including presumed or confirmed wrongly labeled patient samples (36% of flags for real problems). Implementation of the LDC, requiring immediate verbal feedback to the caregivers, was associated with more retracted erroneous results in patients' medical records. The MCV delta check test was found not to have led to correction of errors in our laboratory due to impractically low specificity and sensitivity. The LDC is a useful tool for identifying preanalytic and analytic specimen problems, including wrong name mislabeling on the sample tube.

  13. Creation of a master table for checking indication and contraindication of medicine from a knowledge base linked with a thesaurus.

    Science.gov (United States)

    Ji, Shanmei; Matsumura, Yasushi; Kuwata, Shigeki; Nakano, Hirohiko; Chen, Yufeng; Teratani, Tadamasa; Zhang, Qiyan; Mineno, Takahiro; Takeda, Hiroshi

    2004-12-01

    To develop a system for checking indication and contraindication of medicines in prescription order entry system, a master table consisting of the disease names corresponding to the medicines adopted in a hospital is needed. The creation of this table requires a considerable manpower. We developed a Web-based system for constructing a medicine/disease thesaurus and a knowledge base. By authority management of users, this system enables many specialists to create the thesaurus collaboratively without confusion. It supports the creation of a knowledge base using concept names by referring to the thesaurus, which is automatically converted to the check master table. When a disease name or medicine name was added to the thesaurus, the check table was automatically updated. We constructed a thesaurus and a knowledge base in the field of circulatory system disease. The knowledge base linked with the thesaurus proved to be efficient for making the check master table for indication/contraindication of medicines.

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

    Science.gov (United States)

    2010-01-01

    ... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Routing Number Guide to Next-Day Availability... (REGULATION CC) Pt. 229, App. A Appendix A to Part 229—Routing Number Guide to Next-Day Availability Checks and Local Checks A. Each bank is assigned a routing number by an agent of the American Bankers...

  15. The Relationship between the Critical Thinking Skills and the Academic Language Proficiency of Prospective Teachers

    Science.gov (United States)

    Grosser, M. M.; Nel, Mirna

    2013-01-01

    We report on the relationships that exist between the critical thinking skills and the academic language proficiency of a group of first-year prospective teachers at a South African university (n = 89). The results revealed the nature of the critical thinking skills as well as the academic language proficiency of the students. Significant…

  16. Effects of reading proficiency on embedded stem priming in primary school children.

    Science.gov (United States)

    Beyersmann, Elisabeth; Grainger, Jonathan; Casalis, Séverine; Ziegler, Johannes C

    2015-11-01

    Prior evidence from masked morphological priming has revealed conflicting findings regarding the acquisition of morpho-orthographic segmentation mechanisms in developing readers. Here, we examined changes in masked morphological priming across grade within a large sample of French primary school children (n = 191, Grades 2-5) and how these effects are modulated by individual differences in reading proficiency, spelling proficiency, and morphological awareness. Target words were preceded by either (a) a suffixed word prime (e.g., tristesse-TRISTE), (b) a suffixed nonword prime (e.g., tristerie-TRISTE), (c) a non-suffixed nonword prime (e.g., tristald-TRISTE), or (d) an unrelated prime (e.g., direction-TRISTE) using very short prime durations (50 ms). Moreover, a frequency manipulation was included for suffixes and non-suffixes. The results revealed robust suffixed word priming across all children independent of grade and proficiency. On the other hand, priming in the suffixed and non-suffixed nonword conditions was modulated by reading proficiency, with high-proficiency children showing facilitation and low-proficiency children showing inhibition. The effects of suffix and non-suffix frequency were modulated by grade, with decreasing effects as grade increased. None of the observed priming effects were modulated by grade, spelling proficiency, or morphological awareness. The results suggest that reading proficiency is an important predictor for embedded stem activation mechanisms in primary school children, which we discuss in the context of recent theories of morphological processing. Copyright © 2015 Elsevier Inc. All rights reserved.

  17. Strategy Use, Listening Problems, and Motivation of High- and Low-Proficiency Chinese Listeners

    Science.gov (United States)

    Lau, Kit-Ling

    2017-01-01

    Building on previous listening strategy research, the author aimed to explore the differences between Chinese high-proficiency listeners (HLs) and low-proficiency listeners (LLs) on their strategy use, problems, and motivation in native language (L1) listening. It involved 1,290 Grade 7 and 1,515 Grade 9 students. Both quantitative and qualitative…

  18. Motor proficiency profile of Grade 1 learners in the North West ...

    African Journals Online (AJOL)

    ... for developmental problems associated with inadequate motor skills and should consequently be addressed, especially during the preschool years and the initial years of the primary school phase. Key words: Motor proficiency; School beginner; Gender; Race; Bruininks-Oseretsky Test of Motor Proficiency-2 Short Form.

  19. Hi-LAB: A New Measure of Aptitude for High-Level Language Proficiency

    Science.gov (United States)

    Linck, Jared A.; Hughes, Meredith M.; Campbell, Susan G.; Silbert, Noah H.; Tare, Medha; Jackson, Scott R.; Smith, Benjamin K.; Bunting, Michael F.; Doughty, Catherine J.

    2013-01-01

    Few adult second language (L2) learners successfully attain high-level proficiency. Although decades of research on beginning to intermediate stages of L2 learning have identified a number of predictors of the rate of acquisition, little research has examined factors relevant to predicting very high levels of L2 proficiency. The current study,…

  20. Defining English Language Proficiency for Malaysian Tertiary Education: Past, Present and Future Efforts

    Science.gov (United States)

    Heng, Chan Swee

    2012-01-01

    Any attempt to define English language proficiency can never be divorced from the theories that describe the nature of language, language acquisition and human cognition. By virtue of such theories being socially constructed, the descriptions are necessarily value-laden. Thus, a definition of language proficiency can only, at best, be described as…