76 FR 23515 - Enhanced Weapons, Firearms Background Checks, and Security Event Notifications

Federal Register 2010, 2011, 2012, 2013, 2014

2011-04-27

... material and would add new event notification requirements on the theft or loss of enhanced weapons...-2011-0017] RIN 3150-AI49 Enhanced Weapons, Firearms Background Checks, and Security Event Notifications... regulations governing security event notifications. These proposed regulations are consistent with the...

78 FR 2214 - Enhanced Weapons, Firearms Background Checks, and Security Event Notifications

Federal Register 2010, 2011, 2012, 2013, 2014

2013-01-10

.... Voluntary Consensus Standards XI. Finding of No Significant Environmental Impact XII. Paperwork Reduction... ML110480470 of Nuclear Energy Institute, on the proposed ``Enhanced Weapons, Firearms Background Checks and... consensus standards. XI. Finding of No Significant Environmental Impact In the proposed rule published on...

Commentary: criminal background checks for entering medical students: history, current issues, and future considerations.

PubMed

Kleshinski, James; Case, Steven T; Davis, Dwight; Heinrich, George F; Witzburg, Robert A

2011-07-01

In this commentary, the authors aim to contextualize the history and rationale for what has become the Association of American Medical Colleges-facilitated criminal background check process for entering medical students. As the process was being considered, many issues with a standardized process were identified. There were concerns that demographic or socioeconomic factors might unfairly burden certain applicants or discourage them from applying to medical school. On the other hand, a unified, national program would minimize cost and enhance quality assurance. The authors discuss these issues. Lessons learned in the first three years of the program are also addressed, including some unexpected and favorable consequences such as the identification of accepted applicants with at-risk behaviors (e.g., substance abuse), who would have otherwise gone undetected. Several challenges remain, including the fact that the criminal background check process creates an enhanced role for prehealth advisors and encourages undergraduate institutions to establish standards and processes relating to professionalism. While this is, no doubt, an evolving program which needs continued oversight and ongoing reevaluation, the authors support the continued advancement of the criminal background check process for entering medical students.

32 CFR Appendix A to Part 86 - Criminal History Background Check Procedures

Code of Federal Regulations, 2013 CFR

2013-07-01

... 32 National Defense 1 2013-07-01 2013-07-01 false Criminal History Background Check Procedures A Appendix A to Part 86 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL...-190, section 1094, the Department of Defense requires that military members (except healthcare...

32 CFR Appendix A to Part 86 - Criminal History Background Check Procedures

Code of Federal Regulations, 2012 CFR

2012-07-01

... 32 National Defense 1 2012-07-01 2012-07-01 false Criminal History Background Check Procedures A Appendix A to Part 86 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL...-190, section 1094, the Department of Defense requires that military members (except healthcare...

32 CFR Appendix A to Part 86 - Criminal History Background Check Procedures

Code of Federal Regulations, 2014 CFR

2014-07-01

... 32 National Defense 1 2014-07-01 2014-07-01 false Criminal History Background Check Procedures A Appendix A to Part 86 National Defense Department of Defense OFFICE OF THE SECRETARY OF DEFENSE PERSONNEL...-190, section 1094, the Department of Defense requires that military members (except healthcare...

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

Code of Federal Regulations, 2010 CFR

2010-07-01

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

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

Code of Federal Regulations, 2011 CFR

2011-07-01

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

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

Code of Federal Regulations, 2012 CFR

2012-07-01

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

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

Code of Federal Regulations, 2013 CFR

2013-07-01

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

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

Code of Federal Regulations, 2014 CFR

2014-07-01

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

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

Code of Federal Regulations, 2010 CFR

2010-10-01

... of 1990 (Act), requires that all individuals involved with the provision of child care services to children under the age of 18 undergo a criminal background check. “Child care services” include, but are not limited to, social services, health and mental health care, child (day) care, education (whether...

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

Code of Federal Regulations, 2012 CFR

2012-10-01

... of 1990 (Act), requires that all individuals involved with the provision of child care services to children under the age of 18 undergo a criminal background check. “Child care services” include, but are not limited to, social services, health and mental health care, child (day) care, education (whether...

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

Code of Federal Regulations, 2013 CFR

2013-10-01

... of 1990 (Act), requires that all individuals involved with the provision of child care services to children under the age of 18 undergo a criminal background check. “Child care services” include, but are not limited to, social services, health and mental health care, child (day) care, education (whether...

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

Code of Federal Regulations, 2011 CFR

2011-10-01

... of 1990 (Act), requires that all individuals involved with the provision of child care services to children under the age of 18 undergo a criminal background check. “Child care services” include, but are not limited to, social services, health and mental health care, child (day) care, education (whether...

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

Code of Federal Regulations, 2014 CFR

2014-10-01

... of 1990 (Act), requires that all individuals involved with the provision of child care services to children under the age of 18 undergo a criminal background check. “Child care services” include, but are not limited to, social services, health and mental health care, child (day) care, education (whether...

Health Insurance Portability and Accountability Act (HIPAA) Privacy Rule and the National Instant Criminal Background Check System (NICS). Final rule.

PubMed

2016-01-06

The Department of Health and Human Services (HHS or "the Department'') is issuing this final rule to modify the Health Insurance Portability and Accountability Act of 1996 (HIPAA) Privacy Rule to expressly permit certain HIPAA covered entities to disclose to the National Instant Criminal Background Check System (NICS) the identities of individuals who are subject to a Federal "mental health prohibitor'' that disqualifies them from shipping, transporting, possessing, or receiving a firearm. The NICS is a national system maintained by the Federal Bureau of Investigation (FBI) to conduct background checks on persons who may be disqualified from receiving firearms based on Federally prohibited categories or State law. Among the persons subject to the Federal mental health prohibitor established under the Gun Control Act of 1968 and implementing regulations issued by the Department of Justice (DOJ) are individuals who have been involuntarily committed to a mental institution; found incompetent to stand trial or not guilty by reason of insanity; or otherwise have been determined by a court, board, commission, or other lawful authority to be a danger to themselves or others or to lack the mental capacity to contract or manage their own affairs, as a result of marked subnormal intelligence or mental illness, incompetency, condition, or disease. Under this final rule, only covered entities with lawful authority to make the adjudications or commitment decisions that make individuals subject to the Federal mental health prohibitor, or that serve as repositories of information for NICS reporting purposes, are permitted to disclose the information needed for these purposes. The disclosure is restricted to limited demographic and certain other information needed for NICS purposes. The rule specifically prohibits the disclosure of diagnostic or clinical information, from medical records or other sources, and any mental health information beyond the indication that the individual

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

Code of Federal Regulations, 2011 CFR

2011-07-01

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

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

Code of Federal Regulations, 2010 CFR

2010-07-01

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

76 FR 67182 - Agency Information Collection Activities; Proposed Collection; Comment Request; Background Checks...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-10-31

... Employees (Renewal) and Drug Testing for Contract Employees (Renewal) AGENCY: Environmental Protection...: EPA-HQ-OARM-2-11-0804, Drug Testing for Contractor Employees. Hand Delivery: EPA Docket Center... provide qualified personnel that meet the background check and drug testing requirements developed by EPA...

78 FR 23872 - HIPAA Privacy Rule and the National Instant Criminal Background Check System (NICS)

Federal Register 2010, 2011, 2012, 2013, 2014

2013-04-23

... any unintended adverse consequences for individuals seeking needed mental health services that may be... Check System (NICS) to help enforce these prohibitions.\\4\\ The NICS Index, a database administered by... to the NICS. Such an amendment might produce clarity regarding the Privacy Rule and help make it as...

10 CFR 73.28 - Security background checks for secure transfer of nuclear materials.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 10 Energy 2 2010-01-01 2010-01-01 false Security background checks for secure transfer of nuclear materials. 73.28 Section 73.28 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) PHYSICAL PROTECTION OF PLANTS AND MATERIALS Physical Protection of Special Nuclear Material in Transit § 73.28 Security...

10 CFR 73.28 - Security background checks for secure transfer of nuclear materials.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 10 Energy 2 2011-01-01 2011-01-01 false Security background checks for secure transfer of nuclear materials. 73.28 Section 73.28 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) PHYSICAL PROTECTION OF PLANTS AND MATERIALS Physical Protection of Special Nuclear Material in Transit § 73.28 Security...

10 CFR 73.28 - Security background checks for secure transfer of nuclear materials.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 10 Energy 2 2012-01-01 2012-01-01 false Security background checks for secure transfer of nuclear materials. 73.28 Section 73.28 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) PHYSICAL PROTECTION OF PLANTS AND MATERIALS Physical Protection of Special Nuclear Material in Transit § 73.28 Security...

10 CFR 73.28 - Security background checks for secure transfer of nuclear materials.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 10 Energy 2 2014-01-01 2014-01-01 false Security background checks for secure transfer of nuclear materials. 73.28 Section 73.28 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) PHYSICAL PROTECTION OF PLANTS AND MATERIALS Physical Protection of Special Nuclear Material in Transit § 73.28 Security...

10 CFR 73.28 - Security background checks for secure transfer of nuclear materials.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 10 Energy 2 2013-01-01 2013-01-01 false Security background checks for secure transfer of nuclear materials. 73.28 Section 73.28 Energy NUCLEAR REGULATORY COMMISSION (CONTINUED) PHYSICAL PROTECTION OF PLANTS AND MATERIALS Physical Protection of Special Nuclear Material in Transit § 73.28 Security...

30 CFR 75.1715 - Identification check system.

Code of Federal Regulations, 2011 CFR

2011-07-01

... system. [Statutory Provisions] Each operator of a coal mine shall establish a check-in and check-out system which will provide positive identification of every person underground, and will provide an... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Identification check system. 75.1715 Section 75...

30 CFR 75.1715 - Identification check system.

Code of Federal Regulations, 2012 CFR

2012-07-01

... system. [Statutory Provisions] Each operator of a coal mine shall establish a check-in and check-out system which will provide positive identification of every person underground, and will provide an... 30 Mineral Resources 1 2012-07-01 2012-07-01 false Identification check system. 75.1715 Section 75...

30 CFR 75.1715 - Identification check system.

Code of Federal Regulations, 2010 CFR

2010-07-01

... system. [Statutory Provisions] Each operator of a coal mine shall establish a check-in and check-out system which will provide positive identification of every person underground, and will provide an... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Identification check system. 75.1715 Section 75...

30 CFR 75.1715 - Identification check system.

Code of Federal Regulations, 2013 CFR

2013-07-01

... system. [Statutory Provisions] Each operator of a coal mine shall establish a check-in and check-out system which will provide positive identification of every person underground, and will provide an... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Identification check system. 75.1715 Section 75...

30 CFR 75.1715 - Identification check system.

Code of Federal Regulations, 2014 CFR

2014-07-01

... system. [Statutory Provisions] Each operator of a coal mine shall establish a check-in and check-out system which will provide positive identification of every person underground, and will provide an... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Identification check system. 75.1715 Section 75...

The Role of Mental Illness Identification and Screening in Firearm Background Checks

DTIC Science & Technology

2017-12-01

MONITORING AGENCY REPORT NUMBER 11. SUPPLEMENTARY NOTES The views expressed in this thesis are those of the author and do not reflect the...firearm. Mental illness, broadly speaking, is a prohibiting criterion for individuals to purchase a firearm, yet there are several examples of...individuals who have a history of mental illness and are able to legally pass a firearm background check. This thesis examines the tenuous relationship

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

Code of Federal Regulations, 2014 CFR

2014-07-01

... pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only if... ground continuity is broken. ...

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

Code of Federal Regulations, 2012 CFR

2012-07-01

... pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only if... ground continuity is broken. ...

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

Code of Federal Regulations, 2013 CFR

2013-07-01

... pilot check wires. 75.902-2 Section 75.902-2 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION... employing pilot check wires. Ground check systems not employing pilot check wires will be approved only if... ground continuity is broken. ...

T-Check in System-of-Systems Technologies: Cloud Computing

DTIC Science & Technology

2010-09-01

T-Check in System-of-Systems Technologies: Cloud Computing Harrison D. Strowd Grace A. Lewis September 2010 TECHNICAL NOTE CMU/SEI-2010... Cloud Computing 1 1.2 Types of Cloud Computing 2 1.3 Drivers and Barriers to Cloud Computing Adoption 5 2 Using the T-Check Method 7 2.1 T-Check...Hypothesis 3 25 3.4.2 Deployment View of the Solution for Testing Hypothesis 3 27 3.5 Selecting Cloud Computing Providers 30 3.6 Implementing the T-Check

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

Code of Federal Regulations, 2011 CFR

2011-07-01

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

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

Code of Federal Regulations, 2010 CFR

2010-07-01

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

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

Code of Federal Regulations, 2013 CFR

2013-07-01

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

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

Code of Federal Regulations, 2014 CFR

2014-07-01

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

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

Code of Federal Regulations, 2012 CFR

2012-07-01

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

Verifying Multi-Agent Systems via Unbounded Model Checking

NASA Technical Reports Server (NTRS)

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

2004-01-01

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

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

Code of Federal Regulations, 2011 CFR

2011-07-01

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

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

Code of Federal Regulations, 2010 CFR

2010-07-01

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

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

Code of Federal Regulations, 2012 CFR

2012-07-01

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

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

Code of Federal Regulations, 2013 CFR

2013-07-01

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

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

Code of Federal Regulations, 2014 CFR

2014-07-01

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

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

PubMed

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

Guide to Developing an Environmental Management System - Check

EPA Pesticide Factsheets

This page takes you though the basic steps (Plan, Do, Check, Act) of building an Environmental Management System (EMS) as they are outlined in the 2001 Second Edition of Environmental Management Systems: An Implementation Guide. Check section.

76 FR 30280 - Public Meeting To Discuss the Proposed Rule on Enhanced Weapons, Firearms Background Checks, and...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-05-25

... Proposed Rule on Enhanced Weapons, Firearms Background Checks, and Security Event Notifications AGENCY... the proposed enhanced weapons rule, the two draft regulatory guides, and the draft weapons safety.... No formal comments on the proposed enhanced weapons rule or the draft guidance documents will be...

Intelligent Data Visualization for Cross-Checking Spacecraft System Diagnosis

NASA Technical Reports Server (NTRS)

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

2012-01-01

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

Background Checks for all Gun Buyers and Gun Violence Restraining Orders: State Efforts to Keep Guns from High-Risk Persons.

PubMed

Vernick, Jon S; Alcorn, Ted; Horwitz, Joshua

2017-03-01

There were more than 36,000 firearm-related deaths in the U.S. in 2015. Under federal law, a background check is required only for gun purchases from licensed dealers. Research suggests that some persons prohibited from owning a gun turn to private sellers, including those identified online, to attempt to obtain a firearm. State-level approaches to make it more difficult for high-risk persons to purchase or possess firearms include universal background check (UBC) and gun violence restraining order (GVRO) laws. UBC laws, on the books in 18 states as of the end of 2016, can reduce both homicide and suicide rates. After Colorado adopted a UBC law in 2013, the number of background checks conducted by private sellers for sales occurring at places other than gun shows steadily increased. GVRO laws give law enforcement and families the authority to petition a court to temporarily remove firearms from an individual who presents a danger to himself or others during times of crisis, regardless of whether that person has been diagnosed with a mental illness. California enacted a GVRO law in 2014. Data are emerging to suggest the effectiveness of GVRO-type laws at averting suicides and providing an entryway to services.

Solar Heating Systems: Progress Checks & Tests Manual.

ERIC Educational Resources Information Center

Green, Joanne; And Others

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

Towards Symbolic Model Checking for Multi-Agent Systems via OBDDs

NASA Technical Reports Server (NTRS)

Raimondi, Franco; Lomunscio, Alessio

2004-01-01

We present an algorithm for model checking temporal-epistemic properties of multi-agent systems, expressed in the formalism of interpreted systems. We first introduce a technique for the translation of interpreted systems into boolean formulae, and then present a model-checking algorithm based on this translation. The algorithm is based on OBDD's, as they offer a compact and efficient representation for boolean formulae.

6 CFR 37.45 - Background checks for covered employees.

Code of Federal Regulations, 2012 CFR

2012-01-01

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

6 CFR 37.45 - Background checks for covered employees.

Code of Federal Regulations, 2010 CFR

2010-01-01

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

6 CFR 37.45 - Background checks for covered employees.

Code of Federal Regulations, 2013 CFR

2013-01-01

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

6 CFR 37.45 - Background checks for covered employees.

Code of Federal Regulations, 2014 CFR

2014-01-01

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

6 CFR 37.45 - Background checks for covered employees.

Code of Federal Regulations, 2011 CFR

2011-01-01

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

MOM: A meteorological data checking expert system in CLIPS

NASA Technical Reports Server (NTRS)

Odonnell, Richard

1990-01-01

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

Water system microbial check valve development

NASA Technical Reports Server (NTRS)

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

1978-01-01

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

Modeling and analysis of cell membrane systems with probabilistic model checking

PubMed Central

2011-01-01

Background Recently there has been a growing interest in the application of Probabilistic Model Checking (PMC) for the formal specification of biological systems. PMC is able to exhaustively explore all states of a stochastic model and can provide valuable insight into its behavior which are more difficult to see using only traditional methods for system analysis such as deterministic and stochastic simulation. In this work we propose a stochastic modeling for the description and analysis of sodium-potassium exchange pump. The sodium-potassium pump is a membrane transport system presents in all animal cell and capable of moving sodium and potassium ions against their concentration gradient. Results We present a quantitative formal specification of the pump mechanism in the PRISM language, taking into consideration a discrete chemistry approach and the Law of Mass Action aspects. We also present an analysis of the system using quantitative properties in order to verify the pump reversibility and understand the pump behavior using trend labels for the transition rates of the pump reactions. Conclusions Probabilistic model checking can be used along with other well established approaches such as simulation and differential equations to better understand pump behavior. Using PMC we can determine if specific events happen such as the potassium outside the cell ends in all model traces. We can also have a more detailed perspective on its behavior such as determining its reversibility and why its normal operation becomes slow over time. This knowledge can be used to direct experimental research and make it more efficient, leading to faster and more accurate scientific discoveries. PMID:22369714

Water system microbial check valve development

NASA Technical Reports Server (NTRS)

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

1978-01-01

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

Efficiency of the strong satisfiability checking procedure for reactive system specifications

NASA Astrophysics Data System (ADS)

Shimakawa, Masaya; Hagihara, Shigeki; Yonezaki, Naoki

2018-04-01

Reactive systems are those that interact with their environment. To develop reactive systems without defects, it is important to describe behavior specifications in a formal language, such as linear temporal logic, and to verify the specification. Specifically, it is important to check whether specifications satisfy the property called realizability. In previous studies, we have proposed the concept of strong satisfiability as a necessary condition for realizability. Although this property of reactive system specifications is a necessary condition, many practical unrealizable specifications are also strongly unsatisfiable. Moreover, we have previously shown the theoretical complexity of the strong satisfiability problem. In the current study, we investigate the practical efficiency of the strong satisfiability checking procedure and demonstrate that strong satisfiability can be checked more efficiently than realizability.

Model Checking for Verification of Interactive Health IT Systems

PubMed Central

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

2015-01-01

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

The method of a joint intraday security check system based on cloud computing

NASA Astrophysics Data System (ADS)

Dong, Wei; Feng, Changyou; Zhou, Caiqi; Cai, Zhi; Dan, Xu; Dai, Sai; Zhang, Chuancheng

2017-01-01

The intraday security check is the core application in the dispatching control system. The existing security check calculation only uses the dispatch center’s local model and data as the functional margin. This paper introduces the design of all-grid intraday joint security check system based on cloud computing and its implementation. To reduce the effect of subarea bad data on the all-grid security check, a new power flow algorithm basing on comparison and adjustment with inter-provincial tie-line plan is presented. And the numerical example illustrated the effectiveness and feasibility of the proposed method.

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

Code of Federal Regulations, 2010 CFR

2010-01-01

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

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

Code of Federal Regulations, 2013 CFR

2013-01-01

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

[Design and implementation of data checking system for Chinese materia medica resources survey].

PubMed

Wang, Hui; Zhang, Xiao-Bo; Ge, Xiao-Guang; Jin, Yan; Jing, Zhi-Xian; Qi, Yuan-Hua; Wang, Ling; Zhao, Yu-Ping; Wang, Wei; Guo, Lan-Ping; Huang, Lu-Qi

2017-11-01

The Chinese material medica resources (CMMR) national survey information management system has collected a large amount of data. To help dealing with data recheck, reduce the work of inside, improve the recheck of survey data from provincial and county level, National Resource Center for Chinese Materia Medical has designed a data checking system for Chinese material medica resources survey based on J2EE technology, Java language, Oracle data base in accordance with the SOA framework. It includes single data check, check score, content manage, check the survey data census data with manual checking and automatic checking about census implementation plan, key research information, general survey information, cultivation of medicinal materials information, germplasm resources information the medicine information, market research information, traditional knowledge information, specimen information of this 9 aspects 20 class 175 indicators in two aspects of the quantity and quality. The established system assists in the completion of the data consistency and accuracy, pushes the county survey team timely to complete the data entry arrangement work, so as to improve the integrity, consistency and accuracy of the survey data, and ensure effective and available data, which lay a foundation for providing accurate data support for national survey of the Chinese material medica resources (CMMR) results summary, and displaying results and sharing. Copyright© by the Chinese Pharmaceutical Association.

Probabilistic evaluation of on-line checks in fault-tolerant multiprocessor systems

NASA Technical Reports Server (NTRS)

Nair, V. S. S.; Hoskote, Yatin V.; Abraham, Jacob A.

1992-01-01

The analysis of fault-tolerant multiprocessor systems that use concurrent error detection (CED) schemes is much more difficult than the analysis of conventional fault-tolerant architectures. Various analytical techniques have been proposed to evaluate CED schemes deterministically. However, these approaches are based on worst-case assumptions related to the failure of system components. Often, the evaluation results do not reflect the actual fault tolerance capabilities of the system. A probabilistic approach to evaluate the fault detecting and locating capabilities of on-line checks in a system is developed. The various probabilities associated with the checking schemes are identified and used in the framework of the matrix-based model. Based on these probabilistic matrices, estimates for the fault tolerance capabilities of various systems are derived analytically.

Simple colonoscopy reporting system checking the detection rate of colon polyps.

PubMed

Kim, Jae Hyun; Choi, Youn Jung; Kwon, Hye Jung; Park, Seun Ja; Park, Moo In; Moon, Won; Kim, Sung Eun

2015-08-21

To present a simple colonoscopy reporting system that can be checked easily the detection rate of colon polyps. A simple colonoscopy reporting system Kosin Gastroenterology (KG quality reporting system) was developed. The polyp detection rate (PDR), adenoma detection rate (ADR), serrated polyp detection rate (SDR), and advanced adenoma detection rate (AADR) are easily calculated to use this system. In our gastroenterology center, the PDR, ADR, SDR, and AADR test results from each gastroenterologist were updated, every month. Between June 2014, when the program was started, and December 2014, the overall PDR and ADR in our center were 62.5% and 41.4%, respectively. And the overall SDR and AADR were 7.5% and 12.1%, respectively. We envision that KG quality reporting system can be applied to develop a comprehensive system to check colon polyp detection rates in other gastroenterology centers.

SU-D-BRD-01: An Automated Physics Weekly Chart Checking System Supporting ARIA

DOE Office of Scientific and Technical Information (OSTI.GOV)

Chang, X; Yang, D

Purpose: A software tool was developed in this study to perform automatic weekly physics chart check on the patient data in ARIA. The tool accesses the electronic patient data directly from ARIA server and checks the accuracy of treatment deliveries, and generates reports which summarize the delivery history and highlight the errors. Methods: The tool has four modules. 1) The database interface is designed to directly access treatment delivery data from the ARIA database before reorganizing the data into the patient chart tree (PCT). 2) PCT is a core data structure designed to store and organize the data in logicalmore » hierarchies, and to be passed among functions. 3) The treatment data check module analyzes the organized data in PCT and stores the checking results into PCT. 4) Report generation module generates reports containing the treatment delivery summary, chart checking results and plots of daily treatment setup parameters (couch table positions, shifts of image guidance). The errors that are found by the tool are highlighted with colors. Results: The weekly check tool has been implemented in MATLAB and clinically tested at two major cancer centers. Javascript, cascading style sheets (CSS) and dynamic HTML were employed to create the user-interactive reports. It takes 0.06 second to search the delivery records of one beam with PCT and compare the delivery records with beam plan. The reports, saved in the HTML files on shared network folder, can be accessed by web browser on computers and mobile devices. Conclusion: The presented weekly check tool is useful to check the electronic patient treatment data in Varian ARIA system. It could be more efficient and reliable than the manually check by physicists. The work was partially supported by a research grant from Varian Medical System.« less

Mobile Attendance Checking System on Android Platform for Kazakhstani University

NASA Astrophysics Data System (ADS)

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

2016-04-01

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

30 CFR 77.803 - Fail safe ground check circuits on high-voltage resistance grounded systems.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Fail safe ground check circuits on high-voltage... WORK AREAS OF UNDERGROUND COAL MINES Surface High-Voltage Distribution § 77.803 Fail safe ground check..., resistance grounded systems shall include a fail safe ground check circuit or other no less effective device...

30 CFR 77.803 - Fail safe ground check circuits on high-voltage resistance grounded systems.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Fail safe ground check circuits on high-voltage... WORK AREAS OF UNDERGROUND COAL MINES Surface High-Voltage Distribution § 77.803 Fail safe ground check..., resistance grounded systems shall include a fail safe ground check circuit or other no less effective device...

30 CFR 77.803 - Fail safe ground check circuits on high-voltage resistance grounded systems.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Fail safe ground check circuits on high-voltage... WORK AREAS OF UNDERGROUND COAL MINES Surface High-Voltage Distribution § 77.803 Fail safe ground check..., resistance grounded systems shall include a fail safe ground check circuit or other no less effective device...

30 CFR 77.803 - Fail safe ground check circuits on high-voltage resistance grounded systems.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Fail safe ground check circuits on high-voltage... WORK AREAS OF UNDERGROUND COAL MINES Surface High-Voltage Distribution § 77.803 Fail safe ground check..., resistance grounded systems shall include a fail safe ground check circuit or other no less effective device...

Bounded Parametric Model Checking for Elementary Net Systems

NASA Astrophysics Data System (ADS)

Knapik, Michał; Szreter, Maciej; Penczek, Wojciech

Bounded Model Checking (BMC) is an efficient verification method for reactive systems. BMC has been applied so far to verification of properties expressed in (timed) modal logics, but never to their parametric extensions. In this paper we show, for the first time that BMC can be extended to PRTECTL - a parametric extension of the existential version of CTL. To this aim we define a bounded semantics and a translation from PRTECTL to SAT. The implementation of the algorithm for Elementary Net Systems is presented, together with some experimental results.

Toward improved design of check dam systems: A case study in the Loess Plateau, China

NASA Astrophysics Data System (ADS)

Pal, Debasish; Galelli, Stefano; Tang, Honglei; Ran, Qihua

2018-04-01

Check dams are one of the most common strategies for controlling sediment transport in erosion prone areas, along with soil and water conservation measures. However, existing mathematical models that simulate sediment production and delivery are often unable to simulate how the storage capacity of check dams varies with time. To explicitly account for this process-and to support the design of check dam systems-we developed a modelling framework consisting of two components, namely (1) the spatially distributed Soil Erosion and Sediment Delivery Model (WaTEM/SEDEM), and (2) a network-based model of check dam storage dynamics. The two models are run sequentially, with the second model receiving the initial sediment input to check dams from WaTEM/SEDEM. The framework is first applied to Shejiagou catchment, a 4.26 km2 area located in the Loess Plateau, China, where we study the effect of the existing check dam system on sediment dynamics. Results show that the deployment of check dams altered significantly the sediment delivery ratio of the catchment. Furthermore, the network-based model reveals a large variability in the life expectancy of check dams and abrupt changes in their filling rates. The application of the framework to six alternative check dam deployment scenarios is then used to illustrate its usefulness for planning purposes, and to derive some insights on the effect of key decision variables, such as the number, size, and site location of check dams. Simulation results suggest that better performance-in terms of life expectancy and sediment delivery ratio-could have been achieved with an alternative deployment strategy.

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

ERIC Educational Resources Information Center

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

2015-01-01

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

Helical tomotherapy quality assurance with ArcCHECK

DOE Office of Scientific and Technical Information (OSTI.GOV)

Chapman, David; Barnett, Rob; Yartsev, Slav, E-mail: slav.yartsev@lhsc.on.ca

2014-07-01

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

32 CFR Appendix A to Part 86 - Criminal History Background Check Procedures

Code of Federal Regulations, 2010 CFR

2010-07-01

... responsibility in ensuring a safe and secure environment for children within DoD activities or private... installation level. An IRC will be completed on individuals with a DoD affiliation such as living or working on... checks through the SCHR to personnel offices working with law enforcement or investigative agencies. They...

32 CFR Appendix A to Part 86 - Criminal History Background Check Procedures

Code of Federal Regulations, 2011 CFR

2011-07-01

... residences in an employment or security application. It is deemed unnecessary to conduct checks before 18... information exists regarding residence by the individual in the United States for 1 year or more since age 18... video equipment is acceptable provided it is monitored by an individual who has successfully completed a...

Model Checking Degrees of Belief in a System of Agents

NASA Technical Reports Server (NTRS)

Raimondi, Franco; Primero, Giuseppe; Rungta, Neha

2014-01-01

Reasoning about degrees of belief has been investigated in the past by a number of authors and has a number of practical applications in real life. In this paper we present a unified framework to model and verify degrees of belief in a system of agents. In particular, we describe an extension of the temporal-epistemic logic CTLK and we introduce a semantics based on interpreted systems for this extension. In this way, degrees of beliefs do not need to be provided externally, but can be derived automatically from the possible executions of the system, thereby providing a computationally grounded formalism. We leverage the semantics to (a) construct a model checking algorithm, (b) investigate its complexity, (c) provide a Java implementation of the model checking algorithm, and (d) evaluate our approach using the standard benchmark of the dining cryptographers. Finally, we provide a detailed case study: using our framework and our implementation, we assess and verify the situational awareness of the pilot of Air France 447 flying in off-nominal conditions.

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

Code of Federal Regulations, 2010 CFR

2010-01-01

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

A Look at Constitutional Checks and Balances: Study Sheets for U.S. History.

ERIC Educational Resources Information Center

Scott, Nancy

This document is intended as a resource guide for teachers to use in helping students to understand how the United States system of government operates. It examines the background, historical application, and current debate concerning the principle of checks and balances. Ten study sheets feature various figures and episodes prominently associated…

Helical tomotherapy quality assurance with ArcCHECK.

PubMed

Chapman, David; Barnett, Rob; Yartsev, Slav

2014-01-01

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

Background Checks

ERIC Educational Resources Information Center

Fields, Cheryl

2005-01-01

In this era when many Americans seem resigned to greater encroachments on their personal privacy due to the growth and ubiquity of electronic databases with information about almost every aspect of their lives, a recent statement from the American Association of University Professors (AAUP) seems timely. The statement highlighted the issue of…

A voice-actuated wind tunnel model leak checking system

NASA Technical Reports Server (NTRS)

Larson, William E.

1989-01-01

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

31 CFR 240.3 - Electronic checks and substitute checks.

Code of Federal Regulations, 2011 CFR

2011-07-01

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

31 CFR 240.3 - Electronic checks and substitute checks.

Code of Federal Regulations, 2012 CFR

2012-07-01

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

31 CFR 240.3 - Electronic checks and substitute checks.

Code of Federal Regulations, 2010 CFR

2010-07-01

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

28 CFR 105.23 - Procedure for requesting criminal history record check.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 28 Judicial Administration 2 2010-07-01 2010-07-01 false Procedure for requesting criminal history... HISTORY BACKGROUND CHECKS Private Security Officer Employment § 105.23 Procedure for requesting criminal history record check. These procedures only apply to participating states. An authorized employer may...

28 CFR 105.23 - Procedure for requesting criminal history record check.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 28 Judicial Administration 2 2013-07-01 2013-07-01 false Procedure for requesting criminal history... HISTORY BACKGROUND CHECKS Private Security Officer Employment § 105.23 Procedure for requesting criminal history record check. These procedures only apply to participating states. An authorized employer may...

28 CFR 105.23 - Procedure for requesting criminal history record check.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 28 Judicial Administration 2 2014-07-01 2014-07-01 false Procedure for requesting criminal history... HISTORY BACKGROUND CHECKS Private Security Officer Employment § 105.23 Procedure for requesting criminal history record check. These procedures only apply to participating states. An authorized employer may...

28 CFR 105.23 - Procedure for requesting criminal history record check.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 28 Judicial Administration 2 2011-07-01 2011-07-01 false Procedure for requesting criminal history... HISTORY BACKGROUND CHECKS Private Security Officer Employment § 105.23 Procedure for requesting criminal history record check. These procedures only apply to participating states. An authorized employer may...

28 CFR 105.23 - Procedure for requesting criminal history record check.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 28 Judicial Administration 2 2012-07-01 2012-07-01 false Procedure for requesting criminal history... HISTORY BACKGROUND CHECKS Private Security Officer Employment § 105.23 Procedure for requesting criminal history record check. These procedures only apply to participating states. An authorized employer may...

Symbolic LTL Compilation for Model Checking: Extended Abstract

NASA Technical Reports Server (NTRS)

Rozier, Kristin Y.; Vardi, Moshe Y.

2007-01-01

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

The Impact of Repeated Health Checks for Adults with Intellectual Disabilities

ERIC Educational Resources Information Center

Felce, David; Baxter, Helen; Lowe, Kathy; Dunstan, Frank; Houston, Helen; Jones, Glyn; Felce, Janet; Kerr, Michael

2008-01-01

Background: An earlier study (Baxter "et al." 2006) found that a structured health check conducted in primary care identified clinically significant previously unrecognized morbidity among adults with intellectual disabilities. The aim here was to examine whether follow-up health checks would identify equally significant newly identified morbidity…

Reliability of excess-flow check-valves in turbine lubrication systems

DOE Office of Scientific and Technical Information (OSTI.GOV)

Dundas, R.E.

1996-12-31

Reliability studies on excess-flow check valves installed in a gas turbine lubrication system for prevention of spray fires subsequent to fracture or separation of lube lines were conducted. Fault-tree analyses are presented for the case of failure of a valve to close when called upon by separation of a downstream line, as well as for the case of accidental closure during normal operation, leading to interruption of lubricating oil flow to a bearing. The probabilities of either of these occurrences are evaluated. The results of a statistical analysis of accidental closure of excess-flow check valves in commercial airplanes in themore » period 1986--91 are also given, as well as a summary of reliability studies on the use of these valves in residential gas installations, conducted under the sponsorship of the Gas Research Institute.« less

A Semiautomated Journal Check-In and Binding System; or Variations on a Common Theme

PubMed Central

Livingston, Frances G.

1967-01-01

The journal check-in project described here, though based on a computerized system, uses only unit-record equipment and is designed for the medium-sized library. The frequency codes used are based on the date printed on the journal rather than on the expected date of receipt, which allows for more stability in the coding scheme. The journal's volume number and issue number, which in other systems are usually predetermined by a computer, are inserted at the time of check-in. Routine claiming of overdue issues and a systematic binding schedule have also been developed as by-products. PMID:6041836

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

PubMed

Pârvu, Ovidiu; Gilbert, David

2016-01-01

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

48 CFR 22.406-7 - Compliance checking.

Code of Federal Regulations, 2010 CFR

2010-10-01

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

A Mixed-Method Efficacy and Fidelity Study of Check and Connect

ERIC Educational Resources Information Center

Powers, Kristin; Hagans, Kristi; Linn, Megan

2017-01-01

The effectiveness of the Check and Connect dropout prevention program was examined, over the course of 2.5 years, with 54 middle school students from diverse backgrounds experiencing one or more conditions of risk for dropout. Participants were randomly assigned to receive the Check and Connect intervention or business as usual (i.e., control) in…

12 CFR 229.52 - Substitute check warranties.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Substitute check warranties. 229.52 Section 229.52 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE..., presents, or returns a substitute check (or a paper or electronic representation of a substitute check) for...

12 CFR 229.52 - Substitute check warranties.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 12 Banks and Banking 3 2011-01-01 2011-01-01 false Substitute check warranties. 229.52 Section 229.52 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL RESERVE..., presents, or returns a substitute check (or a paper or electronic representation of a substitute check) for...

49 CFR 384.228 - Examiner training and record checks.

Code of Federal Regulations, 2012 CFR

2012-10-01

... regulations, updates to administering the tests, and new safety related equipment on the vehicles. (g... criminal background check must include at least the following: (i) Any felony conviction within the last 10...

49 CFR 384.228 - Examiner training and record checks.

Code of Federal Regulations, 2013 CFR

2013-10-01

... regulations, updates to administering the tests, and new safety related equipment on the vehicles. (g... background check must include at least the following: (i) Any felony conviction within the last 10 years; or...

49 CFR 384.228 - Examiner training and record checks.

Code of Federal Regulations, 2014 CFR

2014-10-01

... regulations, updates to administering the tests, and new safety related equipment on the vehicles. (g... background check must include at least the following: (i) Any felony conviction within the last 10 years; or...

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

PubMed Central

Gilbert, David

2016-01-01

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

SimCheck: An Expressive Type System for Simulink

NASA Technical Reports Server (NTRS)

Roy, Pritam; Shankar, Natarajan

2010-01-01

MATLAB Simulink is a member of a class of visual languages that are used for modeling and simulating physical and cyber-physical systems. A Simulink model consists of blocks with input and output ports connected using links that carry signals. We extend the type system of Simulink with annotations and dimensions/units associated with ports and links. These types can capture invariants on signals as well as relations between signals. We define a type-checker that checks the wellformedness of Simulink blocks with respect to these type annotations. The type checker generates proof obligations that are solved by SRI's Yices solver for satisfiability modulo theories (SMT). This translation can be used to detect type errors, demonstrate counterexamples, generate test cases, or prove the absence of type errors. Our work is an initial step toward the symbolic analysis of MATLAB Simulink models.

First experiences with the LHC BLM sanity checks

NASA Astrophysics Data System (ADS)

Emery, J.; Dehning, B.; Effinger, E.; Nordt, A.; Sapinski, M. G.; Zamantzas, C.

2010-12-01

The reliability concerns have driven the design of the Large Hardron Collider (LHC) Beam Loss Monitoring (BLM) system from the early stage of the studies up to the present commissioning and the latest development of diagnostic tools. To protect the system against non-conformities, new ways of automatic checking have been developed and implemented. These checks are regularly and systematically executed by the LHC operation team to ensure that the system status is after each test "as good as new". The sanity checks are part of this strategy. They are testing the electrical part of the detectors (ionisation chamber or secondary emission detector), their cable connections to the front-end electronics, further connections to the back-end electronics and their ability to request a beam abort. During the installation and in the early commissioning phase, these checks have shown their ability to find also non-conformities caused by unexpected failure event scenarios. In every day operation, a non-conformity discovered by this check inhibits any further injections into the LHC until the check confirms the absence of non-conformities.

Program Model Checking: A Practitioner's Guide

NASA Technical Reports Server (NTRS)

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

2008-01-01

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

Research on registration algorithm for check seal verification

NASA Astrophysics Data System (ADS)

Wang, Shuang; Liu, Tiegen

2008-03-01

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

An audit of level two and level three checks of anaesthesia delivery systems performed at three hospitals in South Australia.

PubMed

Sweeney, N; Owen, H; Fronsko, R; Hurlow, E

2012-11-01

Anaesthetists may subject patients to unnecessary risk by not checking anaesthetic equipment thoroughly before use. Numerous adverse events have been associated with failure to check equipment. The Australian and New Zealand College of Anaesthetists and anaesthetic delivery system manufactures have made recommendations on how anaesthetic equipment should be maintained and checked before use and for the training required for staff who use such equipment. These recommendations are made to minimise the risk to patients undergoing anaesthesia. This prospective audit investigated the adherence of anaesthetic practitioners to a selection of those recommendations. Covert observations of anaesthetic practitioners were made while they were checking their designated anaesthetic machine, either at the beginning of a day's list or between cases. Structured interviews with staff who check the anaesthetic machine were carried out to determine the training they had received. The results indicated poor compliance with recommendations: significantly, the backup oxygen cylinders' pressure/contents were not checked in 45% of observations; the emergency ventilation device was not checked in 67% of observations; the breathing circuit was not tested between patients in 79% of observations; no documentation of the checks performed was done in any cases; and no assessment or accreditation of the staff who performed these checks was performed. It was concluded that the poor compliance was a system failing and that patient safety might be increased with training and accrediting staff responsible for checking equipment, documenting the checks performed, and the formulation and use of a checklist.

Progress Check Module; Basic Electricity and Electronics Individualized Learning System. Progress Check Booklet.

ERIC Educational Resources Information Center

Bureau of Naval Personnel, Washington, DC.

The Progress Check Booklet is designed to be used by the student working in the programed course to determine if he has mastered the concepts in the course booklets on: electrical current; voltage; resistance; measuring current and voltage in series circuits; relationships of current, voltage, and resistance; parellel circuits; combination…

75 FR 24970 - FBI Records Management Division National Name Check Program Section User Fees

Federal Register 2010, 2011, 2012, 2013, 2014

2010-05-06

... Division National Name Check Program Section User Fees AGENCY: Federal Bureau of Investigation (FBI), Justice. ACTION: Notice. SUMMARY: This notice establishes the user fee schedule for federal agencies... user fees for federal agencies requesting noncriminal name-based background checks of the Central...

Verification and Trust: Background Investigations Preceding Faculty Appointment

ERIC Educational Resources Information Center

Finkin, Matthew W.; Post, Robert C.; Thomson, Judith J.

2004-01-01

Many employers in the United States have responded to the terrorist attacks of September 11, 2001, by initiating or expanding policies requiring background checks of prospective employees. Their ability to perform such checks has been abetted by the growth of computerized databases and of commercial enterprises that facilitate access to personal…

Verification and Trust: Background Investigations Preceding Faculty Appointment

ERIC Educational Resources Information Center

Academe, 2004

2004-01-01

Many employers in the United States have been initiating or expanding policies requiring background checks of prospective employees. The ability to perform such checks has been abetted by the growth of computerized databases and of commercial enterprises that facilitate access to personal information. Employers now have ready access to public…

Automated survey of 8000 plan checks at eight facilities.

PubMed

Halabi, Tarek; Lu, Hsiao-Ming; Bernard, Damian A; Chu, James C H; Kirk, Michael C; Hamilton, Russell J; Lei, Yu; Driewer, Joseph

2016-09-01

To identify policy and system related weaknesses in treatment planning and plan check work-flows. The authors' web deployed plan check automation solution, PlanCheck, which works with all major planning and record and verify systems (demonstrated here for mosaiq only), allows them to compute violation rates for a large number of plan checks across many facilities without requiring the manual data entry involved with incident filings. Workflows and failure modes are heavily influenced by the type of record and verify system used. Rather than tackle multiple record and verify systems at once, the authors restricted the present survey to mosaiq facilities. Violations were investigated by sending inquiries to physicists running the program. Frequent violations included inadequate tracking in the record and verify system of total and prescription doses. Infrequent violations included incorrect setting of patient orientation in the record and verify system. Peaks in the distribution, over facilities, of violation frequencies pointed to suboptimal policies at some of these facilities. Correspondence with physicists often revealed incomplete knowledge of settings at their facility necessary to perform thorough plan checks. The survey leads to the identification of specific and important policy and system deficiencies that include: suboptimal timing of initial plan checks, lack of communication or agreement on conventions surrounding prescription definitions, and lack of automation in the transfer of some parameters.

Tractor Mechanic Check Sheets for Modules.

ERIC Educational Resources Information Center

Clemson Univ., SC. Vocational Education Media Center.

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

Crystal scintillators for use in check-light source for thermoluminescent systems

NASA Astrophysics Data System (ADS)

Nagpal, J. S.; Sabharwal, S. C.; Chougaonkar, M. P.; Godbole, S. V.

1999-08-01

Beta ( 63Ni, Emax 0.063 MeV) excited radioluminescence of indigenously grown crystal scintillators CsI(Tl), Bi 4Ge 3O 12 and CdWO 4 has been studied for its use in check-light source needed for thermoluminescence systems. Temperature coefficient of the light output over 298-323 K and the beta-induced TL of the scintillators over 298-553 K are reported.

Integration of Computer-Based Virtual Check Ride System--Pre-Trip Inspection in Commercial Driver License Training Program

ERIC Educational Resources Information Center

Makwana, Alpesh P.

2009-01-01

"Pre-Trip Inspection" of the truck and trailer is one of the components of the current Commercial Driver's License (CDL) test. This part of the CDL test checks the ability of the student to identify the important parts of the commercial vehicle and their potential defects. The "Virtual Check Ride System" (VCRS), a…

MRO Sequence Checking Tool

NASA Technical Reports Server (NTRS)

Fisher, Forest; Gladden, Roy; Khanampornpan, Teerapat

2008-01-01

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

The Effects of Check-In, Check-Up, Check-Out for Students with Moderate Intellectual Disability during On- and Off-Site Vocational Training

ERIC Educational Resources Information Center

Boden, Lauren J.; Jolivette, Kristine; Alberto, Paul A.

2018-01-01

Check-in/check-out is a secondary-tier intervention within the positive behavior interventions and supports framework. Check-in/check-out pairs the use of an adult mentor with a daily progress report to help students meet individualized behavioral goals. This study adds to the research base by examining the effects of check-in, check-up, check-out…

Software tool for physics chart checks.

PubMed

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.

Coverage Metrics for Model Checking

NASA Technical Reports Server (NTRS)

Penix, John; Visser, Willem; Norvig, Peter (Technical Monitor)

2001-01-01

When using model checking to verify programs in practice, it is not usually possible to achieve complete coverage of the system. In this position paper we describe ongoing research within the Automated Software Engineering group at NASA Ames on the use of test coverage metrics to measure partial coverage and provide heuristic guidance for program model checking. We are specifically interested in applying and developing coverage metrics for concurrent programs that might be used to support certification of next generation avionics software.

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

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

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

Evaluation of Dosimetry Check software for IMRT patient-specific quality assurance.

PubMed

Narayanasamy, Ganesh; Zalman, Travis; Ha, Chul S; Papanikolaou, Niko; Stathakis, Sotirios

2015-05-08

The purpose of this study is to evaluate the use of the Dosimetry Check system for patient-specific IMRT QA. Typical QA methods measure the dose in an array dosimeter surrounded by homogenous medium for which the treatment plan has been recomputed. With the Dosimetry Check system, fluence measurements acquired on a portal dosimeter is applied to the patient's CT scans. Instead of making dose comparisons in a plane, Dosimetry Check system produces isodose lines and dose-volume histograms based on the planning CT images. By exporting the dose distribution from the treatment planning system into the Dosimetry Check system, one is able to make a direct comparison between the calculated dose and the planned dose. The versatility of the software is evaluated with respect to the two IMRT techniques - step and shoot and volumetric arc therapy. The system analyzed measurements made using EPID, PTW seven29, and IBA MatriXX, and an intercomparison study was performed. Plans from patients previously treated at our institution with treated anatomical site on brain, head & neck, liver, lung, and prostate were analyzed using Dosimetry Check system for any anatomical site dependence. We have recommendations and possible precautions that may be necessary to ensure proper QA with the Dosimetry Check system.

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

ERIC Educational Resources Information Center

Ross, Scott W.; Sabey, Christian V.

2015-01-01

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

Starting System 1. Check and Replace the Starter Rewind Rope. Student Manual. Small Engine Repair Series. First Edition.

ERIC Educational Resources Information Center

Hill, Pamela

This student manual on checking and replacing the starter rewind rope is the second of three in an instructional package on the starting system in the Small Engine Repair Series for handicapped students. The stated purpose for the booklet is to help students learn what tools and equipment to use in checking and replacing the starter rewind rope…

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

Code of Federal Regulations, 2014 CFR

2014-01-01

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

Model Checking the Remote Agent Planner

NASA Technical Reports Server (NTRS)

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

2001-01-01

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

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

Code of Federal Regulations, 2010 CFR

2010-01-01

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

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

Code of Federal Regulations, 2012 CFR

2012-01-01

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

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

Code of Federal Regulations, 2011 CFR

2011-01-01

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

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

Code of Federal Regulations, 2013 CFR

2013-01-01

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

Fluid relief and check valve

DOEpatents

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

1986-07-17

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

Health Checks in Primary Care for Adults with Intellectual Disabilities: How Extensive Should They Be?

ERIC Educational Resources Information Center

Chauhan, U.; Kontopantelis, E.; Campbell, S.; Jarrett, H.; Lester, H.

2010-01-01

Background: Routine health checks have gained prominence as a way of detecting unmet need in primary care for adults with intellectual disabilities (ID) and general practitioners are being incentivised in the UK to carry out health checks for many conditions through an incentivisation scheme known as the Quality and Outcomes Framework (QOF).…

Slicing AADL Specifications for Model Checking

NASA Technical Reports Server (NTRS)

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

2010-01-01

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

An Adaptive Buddy Check for Observational Quality Control

NASA Technical Reports Server (NTRS)

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

2000-01-01

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

75 FR 219 - Availability of Funds and Collection of Checks

Federal Register 2010, 2011, 2012, 2013, 2014

2010-01-05

... banks in identifying local and nonlocal checks and making funds availability decisions, the Board is... restructuring of check-processing operations within the Federal Reserve System. Subsequent to these amendments, there will only be a single check- processing region for purposes of Regulation CC and there will no...

The Impact of Health Checks for People with Intellectual Disabilities: A Systematic Review of Evidence

ERIC Educational Resources Information Center

Robertson, J.; Roberts, H.; Emerson, E.; Turner, S.; Greig, R.

2011-01-01

Background: Health checks for people with intellectual disabilities (ID) have been recommended as one component of health policy responses to the poorer health of people with ID. This review summarises evidence on the impact of health checks on the health and well-being of people with ID. Methods: Electronic literature searches and email contacts…

Check valve

DOEpatents

Upton, Hubert Allen; Garcia, Pablo

1999-08-24

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

Check valve

DOEpatents

Upton, H.A.; Garcia, P.

1999-08-24

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

Model Checking Temporal Logic Formulas Using Sticker Automata

PubMed Central

Feng, Changwei; Wu, Huanmei

2017-01-01

As an important complex problem, the temporal logic model checking problem is still far from being fully resolved under the circumstance of DNA computing, especially Computation Tree Logic (CTL), Interval Temporal Logic (ITL), and Projection Temporal Logic (PTL), because there is still a lack of approaches for DNA model checking. To address this challenge, a model checking method is proposed for checking the basic formulas in the above three temporal logic types with DNA molecules. First, one-type single-stranded DNA molecules are employed to encode the Finite State Automaton (FSA) model of the given basic formula so that a sticker automaton is obtained. On the other hand, other single-stranded DNA molecules are employed to encode the given system model so that the input strings of the sticker automaton are obtained. Next, a series of biochemical reactions are conducted between the above two types of single-stranded DNA molecules. It can then be decided whether the system satisfies the formula or not. As a result, we have developed a DNA-based approach for checking all the basic formulas of CTL, ITL, and PTL. The simulated results demonstrate the effectiveness of the new method. PMID:29119114

Development of a check sheet for collecting information necessary for occupational safety and health activities and building relevant systems in overseas business places.

PubMed

Kajiki, Shigeyuki; Kobayashi, Yuichi; Uehara, Masamichi; Nakanishi, Shigemoto; Mori, Koji

2016-06-07

This study aimed to develop an information gathering check sheet to efficiently collect information necessary for Japanese companies to build global occupational safety and health management systems in overseas business places. The study group consisted of 2 researchers with occupational physician careers in a foreign-affiliated company in Japan and 3 supervising occupational physicians who were engaged in occupational safety and health activities in overseas business places. After investigating information and sources of information necessary for implementing occupational safety and health activities and building relevant systems, we conducted information acquisition using an information gathering check sheet in the field, by visiting 10 regions in 5 countries (first phase). The accuracy of the information acquired and the appropriateness of the information sources were then verified in study group meetings to improve the information gathering check sheet. Next, the improved information gathering check sheet was used in another setting (3 regions in 1 country) to confirm its efficacy (second phase), and the information gathering check sheet was thereby completed. The information gathering check sheet was composed of 9 major items (basic information on the local business place, safety and health overview, safety and health systems, safety and health staff, planning/implementation/evaluation/improvement, safety and health activities, laws and administrative organs, local medical care systems and public health, and medical support for resident personnel) and 61 medium items. We relied on the following eight information sources: the internet, company (local business place and head office in Japan), embassy/consulate, ISO certification body, university or other educational institutions, and medical institutions (aimed at Japanese people or at local workers). Through multiple study group meetings and a two-phased field survey (13 regions in 6 countries), an information

Generative electronic background music system

DOE Office of Scientific and Technical Information (OSTI.GOV)

Mazurowski, Lukasz

In this short paper-extended abstract the new approach to generation of electronic background music has been presented. The Generative Electronic Background Music System (GEBMS) has been located between other related approaches within the musical algorithm positioning framework proposed by Woller et al. The music composition process is performed by a number of mini-models parameterized by further described properties. The mini-models generate fragments of musical patterns used in output composition. Musical pattern and output generation are controlled by container for the mini-models - a host-model. General mechanism has been presented including the example of the synthesized output compositions.

Study of Background Rejection Systems for the IXO Mission.

NASA Astrophysics Data System (ADS)

Laurent, Philippe; Limousin, O.; Tatischeff, V.

2009-01-01

The scientific performances of the IXO mission will necessitate a very low detector background level. This will imply thorough background simulations, and efficient background rejection systems. It necessitates also a very good knowledge of the detectors to be shielded. In APC, Paris, and CEA, Saclay, we got experience on these activities by conceiving and optimising in parallel the high energy detector and the active and passive background rejection system of the Simbol-X mission. Considering that this work may be naturally extended to other X-ray missions, we have initiated with CNES a R&D project on the study of background rejection systems mainly in view the IXO project. We will detail this activity in the poster.

Autonomic Recovery: HyperCheck: A Hardware-Assisted Integrity Monitor

DTIC Science & Technology

2013-08-01

system (OS). HyperCheck leverages the CPU System Management Mode ( SMM ), present in x86 systems, to securely generate and transmit the full state of the...HyperCheck harnesses the CPU System Management Mode ( SMM ) which is present in all x86 commodity systems to create a snapshot view of the current state of the...protect the software above it. Our assumptions are that the attacker does not have physical access to the machine and that the SMM BIOS is locked and

78 FR 5757 - National Instant Criminal Background Check System

Federal Register 2010, 2011, 2012, 2013, 2014

2013-01-28

... NICS records to be stored by the National Archives and Records Administration (NARA) in a Federal... companies to compete with foreign-based companies in domestic and export markets. Paperwork Reduction Act of...

Implementing Model-Check for Employee and Management Satisfaction

NASA Technical Reports Server (NTRS)

Jones, Corey; LaPha, Steven

2013-01-01

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

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

NASA Astrophysics Data System (ADS)

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

2016-08-01

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

Correct calibration procedure for the Q-switched ruby laser and checking the treatment irradiation pattern

PubMed Central

Ohshiro, Takafumi; Sasaki, Katsumi; Takenouchi, Kiyofumi; Kozuma, Mituaki; Ohshiro, Naoyuki; Kageyama, Yuichi

2013-01-01

Background and aims: There are many Q-switched lasers. The Q-switched ruby laser is the one most popularly used in dermatology, aesthetic surgery and plastic surgery, to remove pigmented lesions or tattoos. Correct and regular calibration of such a system is essential. However, some clinics fail to perform this with the excuse of having no measuring instrument (MI) in their offices or treatment rooms in some of their hospitals or clinics, or even the case of well-known medical universities in Japan. The present article explains the precise calibration procedure and beam pattern checking for the Q-switched ruby systems in the first author's clinic. Rationale: In the case of treatment with a medical laser, the calibration and the irradiated pattern (IP) check of the laser being used for treatment are the most important factors for treatment efficacy and safety. If these factors change, the treatment result could be different from that expected. Such kind of data are not acceptable as scientific information for a presentation or published paper. With such unreliable results and incorrect beam pattern, replicating such a study would be impossible Regular calibration check: In our clinic, we have 2 Q-switched ruby laser systems. On a daily basis, the beam patterns, both the optical axis of the beam and its treatment footprint, are checked on dedicated printed sheets and footprint paper, respectively, at the beginning of the day and after the last procedure. Every two weeks we calibrate our systems in-house using a precise MI. Every six months we calibrate the systems in-house with the MI, and then we send the systems back to the manufacturers for calibration. Once every year, we have our MI calibrated by an accredited facility in Japan. In this way, we are not only ensuring accurate and safe treatment for our patients, but we are also producing accurate system and treatment data which can be replicated by others, the basis of evidence-based medicine. PMID:24204090

Double checking: a second look

PubMed Central

Chreim, Samia; Forster, Alan

2015-01-01

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

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

Code of Federal Regulations, 2011 CFR

2011-01-01

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

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

Code of Federal Regulations, 2010 CFR

2010-01-01

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

Re-engineering pre-employment check-up systems: a model for improving health services.

PubMed

Rateb, Said Abdel Hakim; El Nouman, Azza Abdel Razek; Rateb, Moshira Abdel Hakim; Asar, Mohamed Naguib; El Amin, Ayman Mohammed; Gad, Saad abdel Aziz; Mohamed, Mohamed Salah Eldin

2011-01-01

The purpose of this paper is to develop a model for improving health services provided by the pre-employment medical fitness check-up system affiliated to Egypt's Health Insurance Organization (HIO). Operations research, notably system re-engineering, is used in six randomly selected centers and findings before and after re-engineering are compared. The re-engineering model follows a systems approach, focusing on three areas: structure, process and outcome. The model is based on six main components: electronic booking, standardized check-up processes, protected medical documents, advanced archiving through an electronic content management (ECM) system, infrastructure development, and capacity building. The model originates mainly from customer needs and expectations. The centers' monthly customer flow increased significantly after re-engineering. The mean time spent per customer cycle improved after re-engineering--18.3 +/- 5.5 minutes as compared to 48.8 +/- 14.5 minutes before. Appointment delay was also significantly decreased from an average 18 to 6.2 days. Both beneficiaries and service providers were significantly more satisfied with the services after re-engineering. The model proves that re-engineering program costs are exceeded by increased revenue. Re-engineering in this study involved multiple structure and process elements. The literature review did not reveal similar re-engineering healthcare packages. Therefore, each element was compared separately. This model is highly recommended for improving service effectiveness and efficiency. This research is the first in Egypt to apply the re-engineering approach to public health systems. Developing user-friendly models for service improvement is an added value.

Temperature-controlled electrothermal atomization-atomic absorption spectrometry using a pyrometric feedback system in conjunction with a background monitoring device

NASA Astrophysics Data System (ADS)

Van Deijck, W.; Roelofsen, A. M.; Pieters, H. J.; Herber, R. F. M.

The construction of a temperature-controlled feedback system for electrothermal atomization-atomic absorption spectrometry (ETA-AAS) using an optical pyrometer applied to the atomization stage is described. The system was used in conjunction with a fast-response background monitoring device. The heating rate of the furnace amounted to 1400° s -1 with a reproducibility better than 1%. The precision of the temperature control at a steady state temperature of 2000°C was 0.1%. The analytical improvements offered by the present system have been demonstrated by the determination of cadmium and lead in blood and finally by the determination of lead in serum. Both the sensitivity and the precision of the method have been improved. The accuracy of the method was checked by determining the lead content for a number of scrum samples both by ETA-AAS and differential pulse anodic stripping voltametry (DPASV) and proved to be satisfactory.

Low-density parity-check codes for volume holographic memory systems.

PubMed

Pishro-Nik, Hossein; Rahnavard, Nazanin; Ha, Jeongseok; Fekri, Faramarz; Adibi, Ali

2003-02-10

We investigate the application of low-density parity-check (LDPC) codes in volume holographic memory (VHM) systems. We show that a carefully designed irregular LDPC code has a very good performance in VHM systems. We optimize high-rate LDPC codes for the nonuniform error pattern in holographic memories to reduce the bit error rate extensively. The prior knowledge of noise distribution is used for designing as well as decoding the LDPC codes. We show that these codes have a superior performance to that of Reed-Solomon (RS) codes and regular LDPC counterparts. Our simulation shows that we can increase the maximum storage capacity of holographic memories by more than 50 percent if we use irregular LDPC codes with soft-decision decoding instead of conventionally employed RS codes with hard-decision decoding. The performance of these LDPC codes is close to the information theoretic capacity.

Concrete Model Checking with Abstract Matching and Refinement

NASA Technical Reports Server (NTRS)

Pasareanu Corina S.; Peianek Radek; Visser, Willem

2005-01-01

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

Model Checking a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems

NASA Technical Reports Server (NTRS)

Malekpour, Mahyar R.

2007-01-01

This report presents the mechanical verification of a simplified model of a rapid Byzantine-fault-tolerant self-stabilizing protocol for distributed clock synchronization systems. This protocol does not rely on any assumptions about the initial state of the system. This protocol tolerates bursts of transient failures, and deterministically converges within a time bound that is a linear function of the self-stabilization period. A simplified model of the protocol is verified using the Symbolic Model Verifier (SMV) [SMV]. The system under study consists of 4 nodes, where at most one of the nodes is assumed to be Byzantine faulty. The model checking effort is focused on verifying correctness of the simplified model of the protocol in the presence of a permanent Byzantine fault as well as confirmation of claims of determinism and linear convergence with respect to the self-stabilization period. Although model checking results of the simplified model of the protocol confirm the theoretical predictions, these results do not necessarily confirm that the protocol solves the general case of this problem. Modeling challenges of the protocol and the system are addressed. A number of abstractions are utilized in order to reduce the state space. Also, additional innovative state space reduction techniques are introduced that can be used in future verification efforts applied to this and other protocols.

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

Code of Federal Regulations, 2011 CFR

2011-01-01

... who is qualified to conduct flight checks in an aircraft, in a flight simulator, or in a flight... to conduct flight checks, but only in a flight simulator, in a flight training device, or both, for a... the 12-month preceding the performance of any check airman duty in a flight simulator; or (2...

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

Code of Federal Regulations, 2014 CFR

2014-01-01

... who is qualified to conduct flight checks in an aircraft, in a flight simulator, or in a flight... to conduct flight checks, but only in a flight simulator, in a flight training device, or both, for a... the 12-month preceding the performance of any check airman duty in a flight simulator; or (2...

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

Code of Federal Regulations, 2012 CFR

2012-01-01

... who is qualified to conduct flight checks in an aircraft, in a flight simulator, or in a flight... to conduct flight checks, but only in a flight simulator, in a flight training device, or both, for a... the 12-month preceding the performance of any check airman duty in a flight simulator; or (2...

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

Code of Federal Regulations, 2013 CFR

2013-01-01

... who is qualified to conduct flight checks in an aircraft, in a flight simulator, or in a flight... to conduct flight checks, but only in a flight simulator, in a flight training device, or both, for a... the 12-month preceding the performance of any check airman duty in a flight simulator; or (2...

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

Code of Federal Regulations, 2012 CFR

2012-01-01

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

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

Code of Federal Regulations, 2011 CFR

2011-01-01

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

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

Code of Federal Regulations, 2010 CFR

2010-01-01

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

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

Code of Federal Regulations, 2013 CFR

2013-01-01

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

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

Code of Federal Regulations, 2014 CFR

2014-01-01

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

The role of healthcare system in dental check-ups in 27 European countries: multilevel analysis.

PubMed

Kino, Shiho; Bernabé, Eduardo; Sabbah, Wael

2017-06-01

To examine whether public expenditure on health and Euro Health Consumer Index (EHCI) are associated with dental check-ups in European countries. Individual data were from Eurobarometer 72.3, 2009 a cross-national survey of 27 European countries. Eligible participants were those aged 18 years and older in 27 European countries. Dental check-ups reflected dental visits for oral examination and getting advice on oral health in the last 12 months. Individual factors included age, gender, marital status, urbanisation, education, subjective social status, and difficulty in paying bills. Public expenditure on health as a percentage of gross domestic product (GDP) and EHCI were used as contextual factors. A set of multilevel logistic regression models was used to examine the relationship between dental check-ups and each of healthcare expenditure and EHCI adjusting for demographic factors, GDP per capita and socioeconomic indicators. Total number included in the analysis was 23,842. Participants in countries with greater healthcare expenditure and higher score of EHCI were significantly 1.17 (95% CI: 1.03, 1.32) and 1.30 times (95% CI: 1.04, 1.64) more likely to report dental check-ups within the past 12 months after accounting for demographic characteristics, GDP per capita, and all socioeconomic indicators. The findings suggest that greater governmental support for the healthcare and better characteristics of healthcare system are positively associated with routine dental attendance. © 2017 American Association of Public Health Dentistry.

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

Code of Federal Regulations, 2010 CFR

2010-07-01

... during testing, perform the following: (1) Leak check the pressure side of the system (see § 86.328). If the option described in § 86.328(b)(2) is used, a pressure leak check is not required. (2) Calibrate... need be checked only every 90 days. (d) At least once every 90 days during testing check the water...

Current Use of Underage Alcohol Compliance Checks by Enforcement Agencies in the U.S.

PubMed Central

Erickson, Darin J.; Lenk, Kathleen M.; Sanem, Julia R.; Nelson, Toben F.; Jones-Webb, Rhonda; Toomey, Traci L.

2014-01-01

Background Compliance checks conducted by law enforcement agents can significantly reduce the likelihood of illegal alcohol sales to underage individuals, but these checks need to be conducted using optimal methods to maintain effectiveness. Materials and Methods We conducted a national survey of local and state enforcement agencies in 2010–2011 to assess: (1) how many agencies are currently conducting underage alcohol compliance checks, (2) how many agencies that conduct compliance checks use optimal methods—including checking all establishments in the jurisdiction, conducting checks at least 3–4 times per year, conducting follow-up checks within 3 months, and penalizing the licensee (not only the server/clerk) for failing a compliance check, and (3) characteristics of the agencies that conduct compliance checks. Results Just over one third of local law enforcement agencies and over two thirds of state agencies reported conducting compliance checks. However, only a small percentage of the agencies (4–6%) reported using all of the optimal methods to maximize effectiveness of these compliance checks. Local law enforcement agencies with an alcohol-related division, those with at least one full-time officer assigned to work on alcohol, and those in larger communities were significantly more likely to conduct compliance checks. State agencies with more full-time agents and those located in states where the state agency or both state and local enforcement agencies have primary responsibility (vs. only the local law agency) for enforcing alcohol retail laws were also more likely to conduct compliance checks; however, these agency characteristics did not remain statistically significant in the multivariate analyses. Conclusions Continued effort is needed to increase the number of local and state agencies conducting compliance checks using optimal methods to reduce youth access to alcohol. PMID:24716443

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

MedlinePlus

... Halloween Prom Tips Spring Break Valentine Tips Winter Holiday Tips 12 Ways Holiday Song Healthy Living Check-Ups are Important Check- ... Test Wash Hands Stay Warm Have a Healthy Holiday Don’t Drink and Drive Widgets Healthy People ...

10 CFR 34.75 - Records of alarm system and entrance control checks at permanent radiographic installations.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 10 Energy 1 2012-01-01 2012-01-01 false Records of alarm system and entrance control checks at permanent radiographic installations. 34.75 Section 34.75 Energy NUCLEAR REGULATORY COMMISSION LICENSES FOR INDUSTRIAL RADIOGRAPHY AND RADIATION SAFETY REQUIREMENTS FOR INDUSTRIAL RADIOGRAPHIC OPERATIONS Recordkeeping...

10 CFR 34.75 - Records of alarm system and entrance control checks at permanent radiographic installations.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 10 Energy 1 2014-01-01 2014-01-01 false Records of alarm system and entrance control checks at permanent radiographic installations. 34.75 Section 34.75 Energy NUCLEAR REGULATORY COMMISSION LICENSES FOR INDUSTRIAL RADIOGRAPHY AND RADIATION SAFETY REQUIREMENTS FOR INDUSTRIAL RADIOGRAPHIC OPERATIONS Recordkeeping...

10 CFR 34.75 - Records of alarm system and entrance control checks at permanent radiographic installations.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 10 Energy 1 2011-01-01 2011-01-01 false Records of alarm system and entrance control checks at permanent radiographic installations. 34.75 Section 34.75 Energy NUCLEAR REGULATORY COMMISSION LICENSES FOR INDUSTRIAL RADIOGRAPHY AND RADIATION SAFETY REQUIREMENTS FOR INDUSTRIAL RADIOGRAPHIC OPERATIONS Recordkeeping...

10 CFR 34.75 - Records of alarm system and entrance control checks at permanent radiographic installations.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 10 Energy 1 2010-01-01 2010-01-01 false Records of alarm system and entrance control checks at permanent radiographic installations. 34.75 Section 34.75 Energy NUCLEAR REGULATORY COMMISSION LICENSES FOR INDUSTRIAL RADIOGRAPHY AND RADIATION SAFETY REQUIREMENTS FOR INDUSTRIAL RADIOGRAPHIC OPERATIONS Recordkeeping...

10 CFR 34.75 - Records of alarm system and entrance control checks at permanent radiographic installations.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 10 Energy 1 2013-01-01 2013-01-01 false Records of alarm system and entrance control checks at permanent radiographic installations. 34.75 Section 34.75 Energy NUCLEAR REGULATORY COMMISSION LICENSES FOR INDUSTRIAL RADIOGRAPHY AND RADIATION SAFETY REQUIREMENTS FOR INDUSTRIAL RADIOGRAPHIC OPERATIONS Recordkeeping...

Interface Circuits for Self-Checking Microprocessors

NASA Technical Reports Server (NTRS)

Rennels, D. A.; Chandramouli, R.

1986-01-01

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

Bar code-based pre-transfusion check in pre-operative autologous blood donation.

PubMed

Ohsaka, Akimichi; Furuta, Yoshiaki; Ohsawa, Toshiya; Kobayashi, Mitsue; Abe, Katsumi; Inada, Eiichi

2010-10-01

The objective of this study was to demonstrate the feasibility of a bar code-based identification system for the pre-transfusion check at the bedside in the setting of pre-operative autologous blood donation (PABD). Between July 2003 and December 2008 we determined the compliance rate and causes of failure of electronic bedside checking for PABD transfusion. A total of 5627 (9% of all transfusions) PABD units were administered without a single mistransfusion. The overall rate of compliance with electronic checking was 99%. The bar code-based identification system was applicable to the pre-transfusion check for PABD transfusion. Copyright © 2010 Elsevier Ltd. All rights reserved.

12 CFR 229.36 - Presentment and issuance of checks.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Presentment and issuance of checks. 229.36 Section 229.36 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF THE FEDERAL... bank is identified on the check by name without address; or (4) At a branch, head office, or other...

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

Code of Federal Regulations, 2012 CFR

2012-07-01

... documentation, if not completed in any previous investigation; a check of Bureau of Vital Statistics records when any discrepancy is found to exist. (5) Local Agency Checks: As a minimum, all investigations will...

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

Code of Federal Regulations, 2011 CFR

2011-07-01

... documentation, if not completed in any previous investigation; a check of Bureau of Vital Statistics records when any discrepancy is found to exist. (5) Local Agency Checks: As a minimum, all investigations will...

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

Code of Federal Regulations, 2010 CFR

2010-07-01

... documentation, if not completed in any previous investigation; a check of Bureau of Vital Statistics records when any discrepancy is found to exist. (5) Local Agency Checks: As a minimum, all investigations will...

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

Code of Federal Regulations, 2014 CFR

2014-07-01

... documentation, if not completed in any previous investigation; a check of Bureau of Vital Statistics records when any discrepancy is found to exist. (5) Local Agency Checks: As a minimum, all investigations will...

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

Code of Federal Regulations, 2013 CFR

2013-07-01

... documentation, if not completed in any previous investigation; a check of Bureau of Vital Statistics records when any discrepancy is found to exist. (5) Local Agency Checks: As a minimum, all investigations will...

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

NASA Technical Reports Server (NTRS)

Some, Raphael; Rennels, David

2004-01-01

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

Who uses NHS health checks? Investigating the impact of ethnicity and gender and method of invitation on uptake of NHS health checks.

PubMed

Cook, Erica J; Sharp, Chloe; Randhawa, Gurch; Guppy, Andy; Gangotra, Raj; Cox, Jonathon

2016-01-20

NHS Health Checks is a national risk assessment prevention programme for all individuals aged 40-74 that reside in England. Through the systematic assessment of an individual's ten year disease risk, this programme aims to provide early identification and subsequent management of this risk. However, there is limited evidence on how socio-demographic factors impact on uptake and what influence the invitation method has on uptake to this programme. NHS Health Check data from April 2013 to March 2014 was analysed (N = 50,485) for all 30 GP Practices in Luton, a culturally diverse town in England, UK. Data was collected for age, ethnicity, uptake (attendance and non attendance) and invitation method (letter written, verbal face-to-face, telephone). Actual usage of NHS Health Checks was determined for each ethnic group of the population and compared using Chi-square analysis. The overall uptake rate for Luton was 44 %, markedly lower that the set target of 50-75 %. The findings revealed a variation of uptake in relation to age, gender, level of deprivation. Ethnicity and gender variations were also found, with 'White British' 'Black Caribbean' and 'Indian' patients most likely to take up a NHS Health Check. However, patients from 'Any Other White Background' and 'Black African' were significantly less likely to uptake an NHS Health Check compared to all other ethnic groups. Ethnicity and gender differences were also noted in relation to invitation method. The findings revealed that different invitation methods were effective for different ethnic and gender groups. Therefore, it is suggested that established protocols of invitation are specifically designed for maximizing the response rate for each population group. Future research should now focus on uncovering the barriers to uptake in particular culturally diverse population groups to determine how public health teams can better engage with these communities.

An Envelope Based Feedback Control System for Earthquake Early Warning: Reality Check Algorithm

NASA Astrophysics Data System (ADS)

Heaton, T. H.; Karakus, G.; Beck, J. L.

2016-12-01

Earthquake early warning systems are, in general, designed to be open loop control systems in such a way that the output, i.e., the warning messages, only depend on the input, i.e., recorded ground motions, up to the moment when the message is issued in real-time. We propose an algorithm, which is called Reality Check Algorithm (RCA), which would assess the accuracy of issued warning messages, and then feed the outcome of the assessment back into the system. Then, the system would modify its messages if necessary. That is, we are proposing to convert earthquake early warning systems into feedback control systems by integrating them with RCA. RCA works by continuously monitoring and comparing the observed ground motions' envelopes to the predicted envelopes of Virtual Seismologist (Cua 2005). Accuracy of magnitude and location (both spatial and temporal) estimations of the system are assessed separately by probabilistic classification models, which are trained by a Sparse Bayesian Learning technique called Automatic Relevance Determination prior.

30 CFR 75.803 - Fail safe ground check circuits on high-voltage resistance grounded systems.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Fail safe ground check circuits on high-voltage... High-Voltage Distribution § 75.803 Fail safe ground check circuits on high-voltage resistance grounded... shall include a fail safe ground check circuit to monitor continuously the grounding circuit to assure...

30 CFR 75.803 - Fail safe ground check circuits on high-voltage resistance grounded systems.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 30 Mineral Resources 1 2013-07-01 2013-07-01 false Fail safe ground check circuits on high-voltage... High-Voltage Distribution § 75.803 Fail safe ground check circuits on high-voltage resistance grounded... shall include a fail safe ground check circuit to monitor continuously the grounding circuit to assure...

30 CFR 75.803 - Fail safe ground check circuits on high-voltage resistance grounded systems.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Fail safe ground check circuits on high-voltage... High-Voltage Distribution § 75.803 Fail safe ground check circuits on high-voltage resistance grounded... shall include a fail safe ground check circuit to monitor continuously the grounding circuit to assure...

30 CFR 75.803 - Fail safe ground check circuits on high-voltage resistance grounded systems.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 30 Mineral Resources 1 2014-07-01 2014-07-01 false Fail safe ground check circuits on high-voltage... High-Voltage Distribution § 75.803 Fail safe ground check circuits on high-voltage resistance grounded... shall include a fail safe ground check circuit to monitor continuously the grounding circuit to assure...

SU-E-T-117: Analysis of the ArcCHECK Dosimetry Gamma Failure Using the 3DVH System

DOE Office of Scientific and Technical Information (OSTI.GOV)

Cho, S; Choi, W; Lee, H

2015-06-15

Purpose: To evaluate gamma analysis failure for the VMAT patient specific QA using ArcCHECK cylindrical phantom. The 3DVH system(Sun Nuclear, FL) was used to analyze the dose difference statistic between measured dose and treatment planning system calculated dose. Methods: Four case of gamma analysis failure were selected retrospectively. Our institution gamma analysis indexes were absolute dose, 3%/3mm and 90%pass rate in the ArcCHECK dosimetry. The collapsed cone convolution superposition (CCCS) dose calculation algorithm for VMAT was used. Dose delivery was performed with Elekta Agility. The A1SL(standard imaging, WI) and cavity plug were used for point dose measurement. Delivery QA plansmore » and images were used for 3DVH Reference data instead of patient plan and image. The measured data of ‘.txt’ file was used for comparison at diodes to acquire a global dose level. The,.acml’ file was used for AC-PDP and to calculated point dose. Results: The global dose of 3DVH was calculated as 1.10 Gy, 1.13, 1.01 and 0.2 Gy respectively. The global dose of 0.2 Gy case was induced by distance discrepancy. The TPS calculated point dose of was 2.33 Gy to 2.77 Gy and 3DVH calculated dose was 2.33 Gy to 2.68 Gy. The maximum dose differences were −2.83% and −3.1% for TPS vs. measured dose and TPS vs. 3DVH calculated respectively in the same case. The difference between measured and 3DVH was 0.1% in that case. The 3DVH gamma pass rate was 98% to 99.7%. Conclusion: We found the TPS calculation error by 3DVH calculation using ArcCHECK measured dose. It seemed that our CCCS algorithm RTP system over estimated at the central region and underestimated scattering at the peripheral diode detector point. The relative gamma analysis and point dose measurement would be recommended for VMAT DQA in the gamma failure case of ArcCHECK dosimetry.« less

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

PubMed

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

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

Code of Federal Regulations, 2010 CFR

2010-01-01

... satisfactorily completed the training phases for the aircraft, including recurrent training, that are required to... under this part; (2) Has satisfactorily completed the appropriate training phases for the aircraft... ON BOARD SUCH AIRCRAFT Training § 135.337 Qualifications: Check airmen (aircraft) and check airmen...

Liquid blocking check valve

DOEpatents

Merrill, John T.

1984-01-01

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

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

ERIC Educational Resources Information Center

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

2016-01-01

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

Microbial Check Valve for Shuttle

NASA Technical Reports Server (NTRS)

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

1978-01-01

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

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

Code of Federal Regulations, 2013 CFR

2013-01-01

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

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

Code of Federal Regulations, 2014 CFR

2014-01-01

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

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

Code of Federal Regulations, 2012 CFR

2012-01-01

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

The Priority Inversion Problem and Real-Time Symbolic Model Checking

DTIC Science & Technology

1993-04-23

real time systems unpredictable in subtle ways. This makes it more difficult to implement and debug such systems. Our work discusses this problem and presents one possible solution. The solution is formalized and verified using temporal logic model checking techniques. In order to perform the verification, the BDD-based symbolic model checking algorithm given in previous works was extended to handle real-time properties using the bounded until operator. We believe that this algorithm, which is based on discrete time, is able to handle many real-time properties

Automated quality checks on repeat prescribing.

PubMed Central

Rogers, Jeremy E; Wroe, Christopher J; Roberts, Angus; Swallow, Angela; Stables, David; Cantrill, Judith A; Rector, Alan L

2003-01-01

BACKGROUND: Good clinical practice in primary care includes periodic review of repeat prescriptions. Markers of prescriptions that may need review have been described, but manually checking all repeat prescriptions against the markers would be impractical. AIM: To investigate the feasibility of computerising the application of repeat prescribing quality checks to electronic patient records in United Kingdom (UK) primary care. DESIGN OF STUDY: Software performance test against benchmark manual analysis of cross-sectional convenience sample of prescribing documentation. SETTING: Three general practices in Greater Manchester, in the north west of England, during a 4-month period in 2001. METHOD: A machine-readable drug information resource, based on the British National Formulary (BNF) as the 'gold standard' for valid drug indications, was installed in three practices. Software raised alerts for each repeat prescribed item where the electronic patient record contained no valid indication for the medication. Alerts raised by the software in two practices were analysed manually. Clinical reaction to the software was assessed by semi-structured interviews in three practices. RESULTS: There was no valid indication in the electronic medical records for 14.8% of repeat prescribed items. Sixty-two per cent of all alerts generated were incorrect. Forty-three per cent of all incorrect alerts were as a result of errors in the drug information resource, 44% to locally idiosyncratic clinical coding, 8% to the use of the BNF without adaptation as a gold standard, and 5% to the inability of the system to infer diagnoses that, although unrecorded, would be 'obvious' to a clinical reading the record. The interviewed clinicians supported the goals of the software. CONCLUSION: Using electronic records for secondary decision support purposes will benefit from (and may require) both more consistent electronic clinical data collection across multiple sites, and reconciling clinicians

Model Checking - My 27-Year Quest to Overcome the State Explosion Problem

NASA Technical Reports Server (NTRS)

Clarke, Ed

2009-01-01

Model Checking is an automatic verification technique for state-transition systems that are finite=state or that have finite-state abstractions. In the early 1980 s in a series of joint papers with my graduate students E.A. Emerson and A.P. Sistla, we proposed that Model Checking could be used for verifying concurrent systems and gave algorithms for this purpose. At roughly the same time, Joseph Sifakis and his student J.P. Queille at the University of Grenoble independently developed a similar technique. Model Checking has been used successfully to reason about computer hardware and communication protocols and is beginning to be used for verifying computer software. Specifications are written in temporal logic, which is particularly valuable for expressing concurrency properties. An intelligent, exhaustive search is used to determine if the specification is true or not. If the specification is not true, the Model Checker will produce a counterexample execution trace that shows why the specification does not hold. This feature is extremely useful for finding obscure errors in complex systems. The main disadvantage of Model Checking is the state-explosion problem, which can occur if the system under verification has many processes or complex data structures. Although the state-explosion problem is inevitable in worst case, over the past 27 years considerable progress has been made on the problem for certain classes of state-transition systems that occur often in practice. In this talk, I will describe what Model Checking is, how it works, and the main techniques that have been developed for combating the state explosion problem.

Property Differencing for Incremental Checking

NASA Technical Reports Server (NTRS)

Yang, Guowei; Khurshid, Sarfraz; Person, Suzette; Rungta, Neha

2014-01-01

This paper introduces iProperty, a novel approach that facilitates incremental checking of programs based on a property di erencing technique. Speci cally, iProperty aims to reduce the cost of checking properties as they are initially developed and as they co-evolve with the program. The key novelty of iProperty is to compute the di erences between the new and old versions of expected properties to reduce the number and size of the properties that need to be checked during the initial development of the properties. Furthermore, property di erencing is used in synergy with program behavior di erencing techniques to optimize common regression scenarios, such as detecting regression errors or checking feature additions for conformance to new expected properties. Experimental results in the context of symbolic execution of Java programs annotated with properties written as assertions show the e ectiveness of iProperty in utilizing change information to enable more ecient checking.

Judicial Checks and Balances

ERIC Educational Resources Information Center

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

2004-01-01

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

A rigorous approach to self-checking programming

NASA Technical Reports Server (NTRS)

Hua, Kien A.; Abraham, Jacob A.

1986-01-01

Self-checking programming is shown to be an effective concurrent error detection technique. The reliability of a self-checking program however relies on the quality of its assertion statements. A self-checking program written without formal guidelines could provide a poor coverage of the errors. A constructive technique for self-checking programming is presented. A Structured Program Design Language (SPDL) suitable for self-checking software development is defined. A set of formal rules, was also developed, that allows the transfromation of SPDL designs into self-checking designs to be done in a systematic manner.

Lubrication System 1. Check and Change the Engine Oil. Student Manual. Small Engine Repair Series. First Edition.

ERIC Educational Resources Information Center

Hill, Pamela

This student manual on checking and changing the engine oil is the second of three in an instructional package on the lubrication system in the Small Engine Repair Series for handicapped students. The stated purpose for the booklet is to help students learn what tools and equipment to use and all the steps of the job. Informative material and…

12 CFR 229.31 - Returning bank's responsibility for return of checks.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 12 Banks and Banking 3 2010-01-01 2010-01-01 false Returning bank's responsibility for return of checks. 229.31 Section 229.31 Banks and Banking FEDERAL RESERVE SYSTEM (CONTINUED) BOARD OF GOVERNORS OF... following the banking day on which the check was presented to the paying bank if the paying bank is located...

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

ERIC Educational Resources Information Center

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

2016-01-01

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

Prediction Interval Development for Wind-Tunnel Balance Check-Loading

NASA Technical Reports Server (NTRS)

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.

Reduction of background clutter in structured lighting systems

DOEpatents

Carlson, Jeffrey J.; Giles, Michael K.; Padilla, Denise D.; Davidson, Jr., Patrick A.; Novick, David K.; Wilson, Christopher W.

2010-06-22

Methods for segmenting the reflected light of an illumination source having a characteristic wavelength from background illumination (i.e. clutter) in structured lighting systems can comprise pulsing the light source used to illuminate a scene, pulsing the light source synchronously with the opening of a shutter in an imaging device, estimating the contribution of background clutter by interpolation of images of the scene collected at multiple spectral bands not including the characteristic wavelength and subtracting the estimated background contribution from an image of the scene comprising the wavelength of the light source and, placing a polarizing filter between the imaging device and the scene, where the illumination source can be polarized in the same orientation as the polarizing filter. Apparatus for segmenting the light of an illumination source from background illumination can comprise an illuminator, an image receiver for receiving images of multiple spectral bands, a processor for calculations and interpolations, and a polarizing filter.

Background staining of visualization systems in immunohistochemistry: comparison of the Avidin-Biotin Complex system and the EnVision+ system.

PubMed

Vosse, Bettine A H; Seelentag, Walter; Bachmann, Astrid; Bosman, Fred T; Yan, Pu

2007-03-01

The aim of this study was to evaluate specific immunostaining and background staining in formalin-fixed, paraffin-embedded human tissues with the 2 most frequently used immunohistochemical detection systems, Avidin-Biotin-Peroxidase (ABC) and EnVision+. A series of fixed tissues, including breast, colon, kidney, larynx, liver, lung, ovary, pancreas, prostate, stomach, and tonsil, was used in the study. Three monoclonal antibodies, 1 against a nuclear antigen (Ki-67), 1 against a cytoplasmic antigen (cytokeratin), and 1 against a cytoplasmic and membrane-associated antigen and a polyclonal antibody against a nuclear and cytoplasmic antigen (S-100) were selected for these studies. When the ABC system was applied, immunostaining was performed with and without blocking of endogenous avidin-binding activity. The intensity of specific immunostaining and the percentage of stained cells were comparable for the 2 detection systems. The use of ABC caused widespread cytoplasmic and rare nuclear background staining in a variety of normal and tumor cells. A very strong background staining was observed in colon, gastric mucosa, liver, and kidney. Blocking avidin-binding capacity reduced background staining, but complete blocking was difficult to attain. With the EnVision+ system no background staining occurred. Given the efficiency of the detection, equal for both systems or higher with EnVision+, and the significant background problem with ABC, we advocate the routine use of the EnVision+ system.

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

PubMed

Masui, T; Ikemi, A; Murayama, S

1983-06-01

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

28 CFR 25.3 - System information.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 28 Judicial Administration 1 2013-07-01 2013-07-01 false System information. 25.3 Section 25.3 Judicial Administration DEPARTMENT OF JUSTICE DEPARTMENT OF JUSTICE INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.3 System information. (a) There is established at the FBI a...

28 CFR 25.3 - System information.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 28 Judicial Administration 1 2011-07-01 2011-07-01 false System information. 25.3 Section 25.3 Judicial Administration DEPARTMENT OF JUSTICE DEPARTMENT OF JUSTICE INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.3 System information. (a) There is established at the FBI a...

28 CFR 25.3 - System information.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 28 Judicial Administration 1 2014-07-01 2014-07-01 false System information. 25.3 Section 25.3 Judicial Administration DEPARTMENT OF JUSTICE DEPARTMENT OF JUSTICE INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.3 System information. (a) There is established at the FBI a...

28 CFR 25.3 - System information.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 28 Judicial Administration 1 2012-07-01 2012-07-01 false System information. 25.3 Section 25.3 Judicial Administration DEPARTMENT OF JUSTICE DEPARTMENT OF JUSTICE INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.3 System information. (a) There is established at the FBI a...

28 CFR 25.3 - System information.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 28 Judicial Administration 1 2010-07-01 2010-07-01 false System information. 25.3 Section 25.3 Judicial Administration DEPARTMENT OF JUSTICE DEPARTMENT OF JUSTICE INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.3 System information. (a) There is established at the FBI a...

Simple Check Valves for Microfluidic Devices

NASA Technical Reports Server (NTRS)

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

2010-01-01

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

MPST Software: grl_pef_check

NASA Technical Reports Server (NTRS)

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

2013-01-01

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

Regular Check-Ups Are Important

MedlinePlus

... Halloween Prom Tips Spring Break Valentine Tips Winter Holiday Tips 12 Ways Holiday Song Healthy Living Check-Ups are Important Check- ... Test Wash Hands Stay Warm Have a Healthy Holiday Don’t Drink and Drive Widgets Healthy People ...

Body checking behaviors in men.

PubMed

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

2009-06-01

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

NASA-6 atmospheric measuring station. [calibration, functional checks, and operation of measuring instruments

NASA Technical Reports Server (NTRS)

1973-01-01

Information required to calibrate, functionally check, and operate the Instrumentation Branch equipment on the NASA-6 aircraft is provided. All procedures required for preflight checks and in-flight operation of the NASA-6 atmospheric measuring station are given. The calibration section is intended for only that portion of the system maintained and calibrated by IN-MSD-12 Systems Operation contractor personnel. Maintenance is not included.

25 CFR 11.421 - Bad checks.

Code of Federal Regulations, 2010 CFR

2010-04-01

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

The use of self checks and voting in software error detection - An empirical study

NASA Technical Reports Server (NTRS)

Leveson, Nancy G.; Cha, Stephen S.; Knight, John C.; Shimeall, Timothy J.

1990-01-01

The results of an empirical study of software error detection using self checks and N-version voting are presented. Working independently, each of 24 programmers first prepared a set of self checks using just the requirements specification of an aerospace application, and then each added self checks to an existing implementation of that specification. The modified programs were executed to measure the error-detection performance of the checks and to compare this with error detection using simple voting among multiple versions. The analysis of the checks revealed that there are great differences in the ability of individual programmers to design effective checks. It was found that some checks that might have been effective failed to detect an error because they were badly placed, and there were numerous instances of checks signaling nonexistent errors. In general, specification-based checks alone were not as effective as specification-based checks combined with code-based checks. Self checks made it possible to identify faults that had not been detected previously by voting 28 versions of the program over a million randomly generated inputs. This appeared to result from the fact that the self checks could examine the internal state of the executing program, whereas voting examines only final results of computations. If internal states had to be identical in N-version voting systems, then there would be no reason to write multiple versions.

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

NASA Technical Reports Server (NTRS)

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.

38 CFR 3.1003 - Returned and canceled checks.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 38 Pensions, Bonuses, and Veterans' Relief 1 2010-07-01 2010-07-01 false Returned and canceled... canceled checks. Where the payee of a check for benefits has died prior to negotiating the check, the check shall be returned to the issuing office and canceled. (a) The amount represented by the returned check...

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

ERIC Educational Resources Information Center

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

2012-01-01

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

An analysis of the ArcCHECK-MR diode array's performance for ViewRay quality assurance.

PubMed

Ellefson, Steven T; Culberson, Wesley S; Bednarz, Bryan P; DeWerd, Larry A; Bayouth, John E

2017-07-01

The ArcCHECK-MR diode array utilizes a correction system with a virtual inclinometer to correct the angular response dependencies of the diodes. However, this correction system cannot be applied to measurements on the ViewRay MR-IGRT system due to the virtual inclinometer's incompatibility with the ViewRay's multiple simultaneous beams. Additionally, the ArcCHECK's current correction factors were determined without magnetic field effects taken into account. In the course of performing ViewRay IMRT quality assurance with the ArcCHECK, measurements were observed to be consistently higher than the ViewRay TPS predictions. The goals of this study were to quantify the observed discrepancies and test whether applying the current factors improves the ArcCHECK's accuracy for measurements on the ViewRay. Gamma and frequency analysis were performed on 19 ViewRay patient plans. Ion chamber measurements were performed at a subset of diode locations using a PMMA phantom with the same dimensions as the ArcCHECK. A new method for applying directionally dependent factors utilizing beam information from the ViewRay TPS was developed in order to analyze the current ArcCHECK correction factors. To test the current factors, nine ViewRay plans were altered to be delivered with only a single simultaneous beam and were measured with the ArcCHECK. The current correction factors were applied using both the new and current methods. The new method was also used to apply corrections to the original 19 ViewRay plans. It was found the ArcCHECK systematically reports doses higher than those actually delivered by the ViewRay. Application of the current correction factors by either method did not consistently improve measurement accuracy. As dose deposition and diode response have both been shown to change under the influence of a magnetic field, it can be concluded the current ArcCHECK correction factors are invalid and/or inadequate to correct measurements on the ViewRay system. © 2017 The

Implementation of a GPS-RO data processing system for the KIAPS-LETKF data assimilation system

NASA Astrophysics Data System (ADS)

Kwon, H.; Kang, J.-S.; Jo, Y.; Kang, J. H.

2014-11-01

The Korea Institute of Atmospheric Prediction Systems (KIAPS) has been developing a new global numerical weather prediction model and an advanced data assimilation system. As part of the KIAPS Package for Observation Processing (KPOP) system for data assimilation, preprocessing and quality control modules for bending angle measurements of global positioning system radio occultation (GPS-RO) data have been implemented and examined. GPS-RO data processing system is composed of several steps for checking observation locations, missing values, physical values for Earth radius of curvature, and geoid undulation. An observation-minus-background check is implemented by use of a one-dimensional observational bending angle operator and tangent point drift is also considered in the quality control process. We have tested GPS-RO observations utilized by the Korean Meteorological Administration (KMA) within KPOP, based on both the KMA global model and the National Center for Atmospheric Research (NCAR) Community Atmosphere Model-Spectral Element (CAM-SE) as a model background. Background fields from the CAM-SE model are incorporated for the preparation of assimilation experiments with the KIAPS-LETKF data assimilation system, which has been successfully implemented to a cubed-sphere model with fully unstructured quadrilateral meshes. As a result of data processing, the bending angle departure statistics between observation and background shows significant improvement. Also, the first experiment in assimilating GPS-RO bending angle resulting from KPOP within KIAPS-LETKF shows encouraging results.

Energy reduction through voltage scaling and lightweight checking

NASA Astrophysics Data System (ADS)

Kadric, Edin

As the semiconductor roadmap reaches smaller feature sizes and the end of Dennard Scaling, design goals change, and managing the power envelope often dominates delay minimization. Voltage scaling remains a powerful tool to reduce energy. We find that it results in about 60% geomean energy reduction on top of other common low-energy optimizations with 22nm CMOS technology. However, when voltage is reduced, it becomes easier for noise and particle strikes to upset a node, potentially causing Silent Data Corruption (SDC). The 60% energy reduction, therefore, comes with a significant drop in reliability. Duplication with checking and triple-modular redundancy are traditional approaches used to combat transient errors, but spending 2--3x the energy for redundant computation can diminish or reverse the benefits of voltage scaling. As an alternative, we explore the opportunity to use checking operations that are cheaper than the base computation they are guarding. We devise a classification system for applications and their lightweight checking characteristics. In particular, we identify and evaluate the effectiveness of lightweight checks in a broad set of common tasks in scientific computing and signal processing. We find that the lightweight checks cost only a fraction of the base computation (0-25%) and allow us to recover the reliability losses from voltage scaling. Overall, we show about 50% net energy reduction without compromising reliability compared to operation at the nominal voltage. We use FPGAs (Field-Programmable Gate Arrays) in our work, although the same ideas can be applied to different systems. On top of voltage scaling, we explore other common low-energy techniques for FPGAs: transmission gates, gate boosting, power gating, low-leakage (high-Vth) processes, and dual-V dd architectures. We do not scale voltage for memories, so lower voltages help us reduce logic and interconnect energy, but not memory energy. At lower voltages, memories become dominant

Two-year experience with the commercial Gamma Knife Check software.

PubMed

Xu, Andy Yuanguang; Bhatnagar, Jagdish; Bednarz, Greg; Novotny, Josef; Flickinger, John; Lunsford, L Dade; Huq, M Saiful

2016-07-08

The Gamma Knife Check software is an FDA approved second check system for dose calculations in Gamma Knife radiosurgery. The purpose of this study was to evaluate the accuracy and the stability of the commercial software package as a tool for independent dose verification. The Gamma Knife Check software version 8.4 was commissioned for a Leksell Gamma Knife Perfexion and a 4C unit at the University of Pittsburgh Medical Center in May 2012. Independent dose verifications were performed using this software for 319 radiosurgery cases on the Perfexion and 283 radiosurgery cases on the 4C units. The cases on each machine were divided into groups according to their diagnoses, and an averaged absolute percent dose difference for each group was calculated. The percentage dose difference for each treatment target was obtained as the relative difference between the Gamma Knife Check dose and the dose from the tissue maximum ratio algorithm (TMR 10) from the GammaPlan software version 10 at the reference point. For treatment plans with imaging skull definition, results obtained from the Gamma Knife Check software using the measurement-based skull definition method are used for comparison. The collected dose difference data were also analyzed in terms of the distance from the treatment target to the skull, the number of treatment shots used for the target, and the gamma angles of the treatment shots. The averaged percent dose differences between the Gamma Knife Check software and the GammaPlan treatment planning system are 0.3%, 0.89%, 1.24%, 1.09%, 0.83%, 0.55%, 0.33%, and 1.49% for the trigeminal neuralgia, acoustic neuroma, arteriovenous malformation (AVM), meningioma, pituitary adenoma, glioma, functional disorders, and metastasis cases on the Perfexion unit. The corresponding averaged percent dose differences for the 4C unit are 0.33%, 1.2%, 2.78% 1.99%, 1.4%, 1.92%, 0.62%, and 1.51%, respectively. The dose difference is, in general, larger for treatment targets in the

Two‐year experience with the commercial Gamma Knife Check software

PubMed Central

Bhatnagar, Jagdish; Bednarz, Greg; Novotny, Josef; Flickinger, John; Lunsford, L. Dade; Huq, M. Saiful

2016-01-01

The Gamma Knife Check software is an FDA approved second check system for dose calculations in Gamma Knife radiosurgery. The purpose of this study was to evaluate the accuracy and the stability of the commercial software package as a tool for independent dose verification. The Gamma Knife Check software version 8.4 was commissioned for a Leksell Gamma Knife Perfexion and a 4C unit at the University of Pittsburgh Medical Center in May 2012. Independent dose verifications were performed using this software for 319 radiosurgery cases on the Perfexion and 283 radiosurgery cases on the 4C units. The cases on each machine were divided into groups according to their diagnoses, and an averaged absolute percent dose difference for each group was calculated. The percentage dose difference for each treatment target was obtained as the relative difference between the Gamma Knife Check dose and the dose from the tissue maximum ratio algorithm (TMR 10) from the GammaPlan software version 10 at the reference point. For treatment plans with imaging skull definition, results obtained from the Gamma Knife Check software using the measurement‐based skull definition method are used for comparison. The collected dose difference data were also analyzed in terms of the distance from the treatment target to the skull, the number of treatment shots used for the target, and the gamma angles of the treatment shots. The averaged percent dose differences between the Gamma Knife Check software and the GammaPlan treatment planning system are 0.3%, 0.89%, 1.24%, 1.09%, 0.83%, 0.55%, 0.33%, and 1.49% for the trigeminal neuralgia, acoustic neuroma, arteriovenous malformation (AVM), meningioma, pituitary adenoma, glioma, functional disorders, and metastasis cases on the Perfexion unit. The corresponding averaged percent dose differences for the 4C unit are 0.33%, 1.2%, 2.78% 1.99%, 1.4%, 1.92%, 0.62%, and 1.51%, respectively. The dose difference is, in general, larger for treatment targets in the

Cost Estimation of a Health-Check Intervention for Adults with Intellectual Disabilities in the UK

ERIC Educational Resources Information Center

Romeo, R.; Knapp, M.; Morrison, J.; Melville, C.; Allan, L.; Finlayson, J.; Cooper, S.-A.

2009-01-01

Background: High rates of health needs among adults with intellectual disabilities flag the need for information about the economic consequences of strategies to identify and address unmet needs. Health-check interventions are one such strategy, and have been demonstrated to effect health gains over the following 12-month period. However, little…

Reporting Items for Updated Clinical Guidelines: Checklist for the Reporting of Updated Guidelines (CheckUp)

PubMed Central

Vernooij, Robin W. M.; Alonso-Coello, Pablo; Brouwers, Melissa

2017-01-01

Background Scientific knowledge is in constant development. Consequently, regular review to assure the trustworthiness of clinical guidelines is required. However, there is still a lack of preferred reporting items of the updating process in updated clinical guidelines. The present article describes the development process of the Checklist for the Reporting of Updated Guidelines (CheckUp). Methods and Findings We developed an initial list of items based on an overview of research evidence on clinical guideline updating, the Appraisal of Guidelines for Research and Evaluation (AGREE) II Instrument, and the advice of the CheckUp panel (n = 33 professionals). A multistep process was used to refine this list, including an assessment of ten existing updated clinical guidelines, interviews with key informants (response rate: 54.2%; 13/24), a three-round Delphi consensus survey with the CheckUp panel (33 participants), and an external review with clinical guideline methodologists (response rate: 90%; 53/59) and users (response rate: 55.6%; 10/18). CheckUp includes 16 items that address (1) the presentation of an updated guideline, (2) editorial independence, and (3) the methodology of the updating process. In this article, we present the methodology to develop CheckUp and include as a supplementary file an explanation and elaboration document. Conclusions CheckUp can be used to evaluate the completeness of reporting in updated guidelines and as a tool to inform guideline developers about reporting requirements. Editors may request its completion from guideline authors when submitting updated guidelines for publication. Adherence to CheckUp will likely enhance the comprehensiveness and transparency of clinical guideline updating for the benefit of patients and the public, health care professionals, and other relevant stakeholders. PMID:28072838

A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process

NASA Technical Reports Server (NTRS)

Wang, Yi; Tamai, Tetsuo

2009-01-01

Since the complexity of software systems continues to grow, most engineers face two serious problems: the state space explosion problem and the problem of how to debug systems. In this paper, we propose a game-theoretic approach to full branching time model checking on three-valued semantics. The three-valued models and logics provide successful abstraction that overcomes the state space explosion problem. The game style model checking that generates counter-examples can guide refinement or identify validated formulas, which solves the system debugging problem. Furthermore, output of our game style method will give significant information to engineers in detecting where errors have occurred and what the causes of the errors are.

Preliminary Retrospective Analysis of Daily Tomotherapy Output Constancy Checks Using Statistical Process Control.

PubMed

Mezzenga, Emilio; D'Errico, Vincenzo; Sarnelli, Anna; Strigari, Lidia; Menghi, Enrico; Marcocci, Francesco; Bianchini, David; Benassi, Marcello

2016-01-01

The purpose of this study was to retrospectively evaluate the results from a Helical TomoTherapy Hi-Art treatment system relating to quality controls based on daily static and dynamic output checks using statistical process control methods. Individual value X-charts, exponentially weighted moving average charts, and process capability and acceptability indices were used to monitor the treatment system performance. Daily output values measured from January 2014 to January 2015 were considered. The results obtained showed that, although the process was in control, there was an out-of-control situation in the principal maintenance intervention for the treatment system. In particular, process capability indices showed a decreasing percentage of points in control which was, however, acceptable according to AAPM TG148 guidelines. Our findings underline the importance of restricting the acceptable range of daily output checks and suggest a future line of investigation for a detailed process control of daily output checks for the Helical TomoTherapy Hi-Art treatment system.

Temporal Precedence Checking for Switched Models and its Application to a Parallel Landing Protocol

NASA Technical Reports Server (NTRS)

Duggirala, Parasara Sridhar; Wang, Le; Mitra, Sayan; Viswanathan, Mahesh; Munoz, Cesar A.

2014-01-01

This paper presents an algorithm for checking temporal precedence properties of nonlinear switched systems. This class of properties subsume bounded safety and capture requirements about visiting a sequence of predicates within given time intervals. The algorithm handles nonlinear predicates that arise from dynamics-based predictions used in alerting protocols for state-of-the-art transportation systems. It is sound and complete for nonlinear switch systems that robustly satisfy the given property. The algorithm is implemented in the Compare Execute Check Engine (C2E2) using validated simulations. As a case study, a simplified model of an alerting system for closely spaced parallel runways is considered. The proposed approach is applied to this model to check safety properties of the alerting logic for different operating conditions such as initial velocities, bank angles, aircraft longitudinal separation, and runway separation.

Low-background gamma-ray spectrometry for the international monitoring system

DOE PAGES

Greenwood, L. R.; Cantaloub, M. G.; Burnett, J. L.; ...

2016-12-28

PNNL has developed two low-background gamma-ray spectrometers in a new shallow underground laboratory, thereby significantly improving its ability to detect low levels of gamma-ray emitting fission or activation products in airborne particulate in samples from the IMS (International Monitoring System). Furthermore, the combination of cosmic veto panels, dry nitrogen gas to reduce radon and low background shielding results in a reduction of the background count rate by about a factor of 100 compared to detectors operating above ground at our laboratory.

Generalized Symbolic Execution for Model Checking and Testing

NASA Technical Reports Server (NTRS)

Khurshid, Sarfraz; Pasareanu, Corina; Visser, Willem; Kofmeyer, David (Technical Monitor)

2003-01-01

Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches: one, we define a program instrumentation, which enables standard model checkers to perform symbolic execution; two, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity of lists), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore program heap configurations (using a systematic treatment of aliasing) and manipulate logical formulae on program data values (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker.

Check Calibration of the NASA Glenn 10- by 10-Foot Supersonic Wind Tunnel (2014 Test Entry)

NASA Technical Reports Server (NTRS)

Johnson, Aaron; Pastor-Barsi, Christine; Arrington, E. Allen

2016-01-01

A check calibration of the 10- by 10-Foot Supersonic Wind Tunnel (SWT) was conducted in May/June 2014 using an array of five supersonic wedge probes to verify the 1999 Calibration. This check calibration was necessary following a control systems upgrade and an integrated systems test (IST). This check calibration was required to verify the tunnel flow quality was unchanged by the control systems upgrade prior to the next test customer beginning their test entry. The previous check calibration of the tunnel occurred in 2007, prior to the Mars Science Laboratory test program. Secondary objectives of this test entry included the validation of the new Cobra data acquisition system (DAS) against the current Escort DAS and the creation of statistical process control (SPC) charts through the collection of series of repeated test points at certain predetermined tunnel parameters. The SPC charts secondary objective was not completed due to schedule constraints. It is hoped that this effort will be readdressed and completed in the near future.

Aerospell Supplemental Spell Check File

NASA Technical Reports Server (NTRS)

2000-01-01

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

31 CFR 248.6 - Recovery of original check.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Recovery of original check. 248.6... § 248.6 Recovery of original check. (a) If the claimant recovers an original check after he has... or agency concerned regarding the negotiability of such original check. (b) In the event the...

CMM Interim Check (U)

DOE Office of Scientific and Technical Information (OSTI.GOV)

Montano, Joshua Daniel

2015-03-23

Coordinate Measuring Machines (CMM) are widely used in industry, throughout the Nuclear Weapons Complex and at Los Alamos National Laboratory (LANL) to verify part conformance to design definition. Calibration cycles for CMMs at LANL are predominantly one year in length. Unfortunately, several nonconformance reports have been generated to document the discovery of a certified machine found out of tolerance during a calibration closeout. In an effort to reduce risk to product quality two solutions were proposed – shorten the calibration cycle which could be costly, or perform an interim check to monitor the machine’s performance between cycles. The CMM interimmore » 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.« less

42 CFR 455.436 - Federal database checks.

Code of Federal Regulations, 2012 CFR

2012-10-01

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

42 CFR 455.436 - Federal database checks.

Code of Federal Regulations, 2011 CFR

2011-10-01

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

42 CFR 455.436 - Federal database checks.

Code of Federal Regulations, 2014 CFR

2014-10-01

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

42 CFR 455.436 - Federal database checks.

Code of Federal Regulations, 2013 CFR

2013-10-01

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

Environmental Reality Check.

ERIC Educational Resources Information Center

Manicone, Santo

2001-01-01

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

Implementation of a GPS-RO data processing system for the KIAPS-LETKF data assimilation system

NASA Astrophysics Data System (ADS)

Kwon, H.; Kang, J.-S.; Jo, Y.; Kang, J. H.

2015-03-01

The Korea Institute of Atmospheric Prediction Systems (KIAPS) has been developing a new global numerical weather prediction model and an advanced data assimilation system. As part of the KIAPS package for observation processing (KPOP) system for data assimilation, preprocessing, and quality control modules for bending-angle measurements of global positioning system radio occultation (GPS-RO) data have been implemented and examined. The GPS-RO data processing system is composed of several steps for checking observation locations, missing values, physical values for Earth radius of curvature, and geoid undulation. An observation-minus-background check is implemented by use of a one-dimensional observational bending-angle operator, and tangent point drift is also considered in the quality control process. We have tested GPS-RO observations utilized by the Korean Meteorological Administration (KMA) within KPOP, based on both the KMA global model and the National Center for Atmospheric Research Community Atmosphere Model with Spectral Element dynamical core (CAM-SE) as a model background. Background fields from the CAM-SE model are incorporated for the preparation of assimilation experiments with the KIAPS local ensemble transform Kalman filter (LETKF) data assimilation system, which has been successfully implemented to a cubed-sphere model with unstructured quadrilateral meshes. As a result of data processing, the bending-angle departure statistics between observation and background show significant improvement. Also, the first experiment in assimilating GPS-RO bending angle from KPOP within KIAPS-LETKF shows encouraging results.

7 CFR 1944.540 - Requesting TSA checks.

Code of Federal Regulations, 2010 CFR

2010-01-01

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

Advanced software development workstation: Effectiveness of constraint-checking. [spaceflight simulation and planning

NASA Technical Reports Server (NTRS)

Izygon, Michel

1992-01-01

This report summarizes the findings and lessons learned from the development of an intelligent user interface for a space flight planning simulation program, in the specific area related to constraint-checking. The different functionalities of the Graphical User Interface part and of the rule-based part of the system have been identified. Their respective domain of applicability for error prevention and error checking have been specified.

31 CFR 240.12 - Processing of checks.

Code of Federal Regulations, 2011 CFR

2011-07-01

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

31 CFR 240.12 - Processing of checks.

Code of Federal Regulations, 2013 CFR

2013-07-01

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

31 CFR 240.12 - Processing of checks.

Code of Federal Regulations, 2010 CFR

2010-07-01

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

31 CFR 240.12 - Processing of checks.

Code of Federal Regulations, 2014 CFR

2014-07-01

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

31 CFR 240.12 - Processing of checks.

Code of Federal Regulations, 2012 CFR

2012-07-01

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

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

Code of Federal Regulations, 2013 CFR

2013-01-01

... 10 Energy 1 2013-01-01 2013-01-01 false Records of periodic spot-checks for gamma stereotactic... MATERIAL Records § 35.2645 Records of periodic spot-checks for gamma stereotactic radiosurgery units. (a) A... and intercom systems, timer termination, treatment table retraction mechanism, and stereotactic frames...

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

Code of Federal Regulations, 2014 CFR

2014-01-01

... 10 Energy 1 2014-01-01 2014-01-01 false Records of periodic spot-checks for gamma stereotactic... MATERIAL Records § 35.2645 Records of periodic spot-checks for gamma stereotactic radiosurgery units. (a) A... and intercom systems, timer termination, treatment table retraction mechanism, and stereotactic frames...

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

Code of Federal Regulations, 2012 CFR

2012-01-01

... 10 Energy 1 2012-01-01 2012-01-01 false Records of periodic spot-checks for gamma stereotactic... MATERIAL Records § 35.2645 Records of periodic spot-checks for gamma stereotactic radiosurgery units. (a) A... and intercom systems, timer termination, treatment table retraction mechanism, and stereotactic frames...

Looking for something new? Check out background results of potential new cultivars for California

USDA-ARS?s Scientific Manuscript database

This report compiles basic background information on the scion and rootstock varieties most recently released or scheduled for release by the CCPP. Cultivars are organized by type and in the same order as the CCPP budwood order form, and then by Variety index (VI) number with the earliest ones on th...

28 CFR 25.7 - Querying records in the system.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 28 Judicial Administration 1 2010-07-01 2010-07-01 false Querying records in the system. 25.7 Section 25.7 Judicial Administration DEPARTMENT OF JUSTICE DEPARTMENT OF JUSTICE INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.7 Querying records in the system. (a) The following...

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

ERIC Educational Resources Information Center

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

2014-01-01

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

Addressing Dynamic Issues of Program Model Checking

NASA Technical Reports Server (NTRS)

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.

27 CFR 70.101 - Bad checks.

Code of Federal Regulations, 2010 CFR

2010-04-01

... paid as a penalty by the person who tendered such check, upon notice and demand, in the same manner as... is less than $500, the penalty under this section shall be $5 or the amount of such check, whichever...

27 CFR 70.101 - Bad checks.

Code of Federal Regulations, 2011 CFR

2011-04-01

... paid as a penalty by the person who tendered such check, upon notice and demand, in the same manner as... is less than $500, the penalty under this section shall be $5 or the amount of such check, whichever...

Automated software system for checking the structure and format of ACM SIG documents

NASA Astrophysics Data System (ADS)

Mirza, Arsalan Rahman; Sah, Melike

2017-04-01

Microsoft (MS) Office Word is one of the most commonly used software tools for creating documents. MS Word 2007 and above uses XML to represent the structure of MS Word documents. Metadata about the documents are automatically created using Office Open XML (OOXML) syntax. We develop a new framework, which is called ADFCS (Automated Document Format Checking System) that takes the advantage of the OOXML metadata, in order to extract semantic information from MS Office Word documents. In particular, we develop a new ontology for Association for Computing Machinery (ACM) Special Interested Group (SIG) documents for representing the structure and format of these documents by using OWL (Web Ontology Language). Then, the metadata is extracted automatically in RDF (Resource Description Framework) according to this ontology using the developed software. Finally, we generate extensive rules in order to infer whether the documents are formatted according to ACM SIG standards. This paper, introduces ACM SIG ontology, metadata extraction process, inference engine, ADFCS online user interface, system evaluation and user study evaluations.

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

Code of Federal Regulations, 2011 CFR

2011-01-01

... an aircraft, in a flight simulator, or in a flight training device. This paragraph applies after... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for check airmen (simulator) must include the...

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

Code of Federal Regulations, 2010 CFR

2010-01-01

... an aircraft, in a flight simulator, or in a flight training device. This paragraph applies after... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for check airmen (simulator) must include the...

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

Code of Federal Regulations, 2014 CFR

2014-01-01

... an aircraft, in a flight simulator, or in a flight training device. This paragraph applies after... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for check airmen (simulator) must include the...

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

Code of Federal Regulations, 2013 CFR

2013-01-01

... an aircraft, in a flight simulator, or in a flight training device. This paragraph applies after... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for check airmen (simulator) must include the...

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

Code of Federal Regulations, 2012 CFR

2012-01-01

... an aircraft, in a flight simulator, or in a flight training device. This paragraph applies after... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for check airmen (simulator) must include the...

Checking Questionable Entry of Personally Identifiable Information Encrypted by One-Way Hash Transformation

PubMed Central

Chen, Xianlai; Fann, Yang C; McAuliffe, Matthew; Vismer, David

2017-01-01

Background As one of the several effective solutions for personal privacy protection, a global unique identifier (GUID) is linked with hash codes that are generated from combinations of personally identifiable information (PII) by a one-way hash algorithm. On the GUID server, no PII is permitted to be stored, and only GUID and hash codes are allowed. The quality of PII entry is critical to the GUID system. Objective The goal of our study was to explore a method of checking questionable entry of PII in this context without using or sending any portion of PII while registering a subject. Methods According to the principle of GUID system, all possible combination patterns of PII fields were analyzed and used to generate hash codes, which were stored on the GUID server. Based on the matching rules of the GUID system, an error-checking algorithm was developed using set theory to check PII entry errors. We selected 200,000 simulated individuals with randomly-planted errors to evaluate the proposed algorithm. These errors were placed in the required PII fields or optional PII fields. The performance of the proposed algorithm was also tested in the registering system of study subjects. Results There are 127,700 error-planted subjects, of which 114,464 (89.64%) can still be identified as the previous one and remaining 13,236 (10.36%, 13,236/127,700) are discriminated as new subjects. As expected, 100% of nonidentified subjects had errors within the required PII fields. The possibility that a subject is identified is related to the count and the type of incorrect PII field. For all identified subjects, their errors can be found by the proposed algorithm. The scope of questionable PII fields is also associated with the count and the type of the incorrect PII field. The best situation is to precisely find the exact incorrect PII fields, and the worst situation is to shrink the questionable scope only to a set of 13 PII fields. In the application, the proposed algorithm can

Space shuttle prototype check valve development

NASA Technical Reports Server (NTRS)

Tellier, G. F.

1976-01-01

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

Computational Fact Checking from Knowledge Networks

PubMed Central

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

2015-01-01

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

The instant sequencing task: Toward constraint-checking a complex spacecraft command sequence interactively

NASA Technical Reports Server (NTRS)

Horvath, Joan C.; Alkalaj, Leon J.; Schneider, Karl M.; Amador, Arthur V.; Spitale, Joseph N.

1993-01-01

Robotic spacecraft are controlled by sets of commands called 'sequences.' These sequences must be checked against mission constraints. Making our existing constraint checking program faster would enable new capabilities in our uplink process. Therefore, we are rewriting this program to run on a parallel computer. To do so, we had to determine how to run constraint-checking algorithms in parallel and create a new method of specifying spacecraft models and constraints. This new specification gives us a means of representing flight systems and their predicted response to commands which could be used in a variety of applications throughout the command process, particularly during anomaly or high-activity operations. This commonality could reduce operations cost and risk for future complex missions. Lessons learned in applying some parts of this system to the TOPEX/Poseidon mission will be described.

Socioeconomic status, family background and other key factors influence the management of head lice in Norway.

PubMed

Rukke, Bjørn Arne; Soleng, Arnulf; Lindstedt, Heidi Heggen; Ottesen, Preben; Birkemoe, Tone

2014-05-01

How head lice infestations are managed by households is an important but generally neglected issue in head lice research. In the present study, we investigate actions taken against head lice by Norwegian households in association with socioeconomic status, family background, school-related variables and other key factors. Repeat questionnaires distributed to caretakers of the same elementary school children during a 2-year period enabled us to study both previous head lice management and any changes in this management through time. Households from 12 schools spanning the main socioeconomic variation found in Norway participated in the study. All students with active head lice infestation were treated in the four investigated periods. Most caretakers used a thorough head lice checking technique and informed others of own infestation. Checking frequency was low as most children were inspected less than monthly. The best determinant of increased checking frequency and thoroughness was personal experience with head lice. The increased awareness, however, seemed to be somewhat short-lived, as there was a decrease in checking frequency and thoroughness within 1 year after infestation. Personal experience with head lice also increased general knowledge related to the parasite. Parents born in developing countries checked their children for head lice more frequently, although less thoroughly, informed fewer contacts when infested, used pediculicides preventively more often and knew less about head lice than parents born in developed countries. Households with highly educated mothers had a lower checking frequency, but their knowledge and willingness to inform others was high. Single parents were more concerned about economic costs and kept children home from school longer while infested than other parents. As head lice management varied among socioeconomic groups and with parental background, differentiated advice should be considered in the control of head lice. The

The thermal background determines how the infrared and visual systems interact in pit vipers.

PubMed

Chen, Qin; Liu, Yang; Brauth, Steven E; Fang, Guangzhan; Tang, Yezhong

2017-09-01

The thermal infrared (IR) sensing system of pit vipers is believed to complement vision and provide a substitute imaging system in dark environments. Theoretically, the IR system would best image a scene consisting of a homothermal target in cold surroundings as a bright spot on a dark background. To test this hypothesis, we evaluated how the pit viper ( Gloydius brevicaudus ) discriminates and strikes prey when the background temperature is either higher or lower than that of the prey (approximately 32-33°C) in different parts of the scene. Snakes were tested in a modified predation cage in which background temperatures were set to 26°C on one side and either 33 or 40°C on the opposite side when the eyes, the pit organs or neither sensory system was occluded. When the eyes were blocked, snakes preferred to strike prey on the 26°C side rather than on the 33°C side but showed no bias in the other conditions. Snakes showed no preference for 26 versus 40°C background temperature, although more missed strikes occurred when the eyes were occluded. The results thus revealed that the pit viper IR system can accomplish a 'brightness constancy' computation reflecting the difference between the target and background temperatures, much as the visual system compares the luminance of a figure and the background. Furthermore, the results show that the IR system performs less well for locating prey when the background is warmer than the target. © 2017. Published by The Company of Biologists Ltd.

42 CFR 493.1254 - Standard: Maintenance and function checks.

Code of Federal Regulations, 2010 CFR

2010-10-01

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

31 CFR 245.8 - Receipt or recovery of original check.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Receipt or recovery of original check... CHECKS § 245.8 Receipt or recovery of original check. (a) If the original check is received or recovered... of instructions with respect to the negotiability of such check. (b) If the original check is...

36 CFR 504.12 - Items to be checked.

Code of Federal Regulations, 2010 CFR

2010-07-01

... Section 504.12 Parks, Forests, and Public Property SMITHSONIAN INSTITUTION RULES AND REGULATIONS GOVERNING SMITHSONIAN INSTITUTION BUILDINGS AND GROUNDS § 504.12 Items to be checked. Umbrellas, canes (not needed to... to be checked in buildings where checking facilities are provided. ...

Annual Check-up

MedlinePlus

... Guides Quizzes Parents About Us Donate General Health Sexual Health Medical Conditions Nutrition & Fitness Emotional Health Annual Check- ... re under the age of 18. Issues about sexual health, HIV, and STIs will be kept confidential. How ...

An Artificially Intelligent Physical Model-Checking Approach to Detect Switching-Related Attacks on Power Systems

DOE Office of Scientific and Technical Information (OSTI.GOV)

El Hariri, Mohamad; Faddel, Samy; Mohammed, Osama

Decentralized and hierarchical microgrid control strategies have lain the groundwork for shaping the future smart grid. Such control approaches require the cooperation between microgrid operators in control centers, intelligent microcontrollers, and remote terminal units via secure and reliable communication networks. In order to enhance the security and complement the work of network intrusion detection systems, this paper presents an artificially intelligent physical model-checking that detects tampered-with circuit breaker switching control commands whether, due to a cyber-attack or human error. In this technique, distributed agents, which are monitoring sectionalized areas of a given microgrid, will be trained and continuously adapted tomore » verify that incoming control commands do not violate the physical system operational standards and do not put the microgrid in an insecure state. The potential of this approach has been tested by deploying agents that monitor circuit breakers status commands on a 14-bus IEEE benchmark system. The results showed the accuracy of the proposed framework in characterizing the power system and successfully detecting malicious and/or erroneous control commands.« less

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

Code of Federal Regulations, 2012 CFR

2012-01-01

... accomplished in part or in full in an airplane, in a flight simulator, or in a flight training device. This... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for check airmen (simulator) must include the...

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

Code of Federal Regulations, 2013 CFR

2013-01-01

... accomplished in part or in full in an airplane, in a flight simulator, or in a flight training device. This... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for check airmen (simulator) must include the...

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

Code of Federal Regulations, 2010 CFR

2010-01-01

... accomplished in part or in full in an airplane, in a flight simulator, or in a flight training device. This... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for check airmen (simulator) must include the...

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

Code of Federal Regulations, 2011 CFR

2011-01-01

... accomplished in part or in full in an airplane, in a flight simulator, or in a flight training device. This... accomplished in full or in part in flight, in a flight simulator, or in a flight training device, as appropriate. (g) The initial and transition flight training for check airmen (simulator) must include the...

Pump, and earth-testable spacecraft capillary heat transport loop using augmentation pump and check valves

NASA Technical Reports Server (NTRS)

Baker, David (Inventor)

1998-01-01

A spacecraft includes heat-generating payload equipment, and a heat transport system with a cold plate thermally coupled to the equipment and a capillary-wick evaporator, for evaporating coolant liquid to cool the equipment. The coolant vapor is coupled to a condenser and in a loop back to the evaporator. A heated coolant reservoir is coupled to the loop for pressure control. If the wick is not wetted, heat transfer will not begin or continue. A pair of check valves are coupled in the loop, and the heater is cycled for augmentation pumping of coolant to and from the reservoir. This augmentation pumping, in conjunction with the check valves, wets the wick. The wick liquid storage capacity allows the augmentation pump to provide continuous pulsed liquid flow to assure continuous vapor transport and a continuously operating heat transport system. The check valves are of the ball type to assure maximum reliability. However, any type of check valve can be used, including designs which are preloaded in the closed position. The check valve may use any ball or poppet material which resists corrosion. For optimum performance during testing on Earth, the ball or poppet would have neutral buoyancy or be configured in a closed position when the heat transport system is not operating. The ball may be porous to allow passage of coolant vapor.

32 CFR 635.6 - Name checks.

Code of Federal Regulations, 2012 CFR

2012-07-01

... with AR 340-21. (b) Checks will be accomplished by a review of the COPS MPRS. Information will be... agencies for counterintelligence purposes. (d) COPS MPRS is a database, which will contain all military police reports filed worldwide. Authorized users of COPS MPRS can conduct name checks for criminal...

32 CFR 635.6 - Name checks.

Code of Federal Regulations, 2014 CFR

2014-07-01

... with AR 340-21. (b) Checks will be accomplished by a review of the COPS MPRS. Information will be... agencies for counterintelligence purposes. (d) COPS MPRS is a database, which will contain all military police reports filed worldwide. Authorized users of COPS MPRS can conduct name checks for criminal...

32 CFR 635.6 - Name checks.

Code of Federal Regulations, 2013 CFR

2013-07-01

... with AR 340-21. (b) Checks will be accomplished by a review of the COPS MPRS. Information will be... agencies for counterintelligence purposes. (d) COPS MPRS is a database, which will contain all military police reports filed worldwide. Authorized users of COPS MPRS can conduct name checks for criminal...

46 CFR 10.214 - Security Check.

Code of Federal Regulations, 2011 CFR

2011-10-01

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

46 CFR 10.214 - Security Check.

Code of Federal Regulations, 2010 CFR

2010-10-01

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

Genetic background effects in quantitative genetics: gene-by-system interactions.

PubMed

Sardi, Maria; Gasch, Audrey P

2018-04-11

Proper cell function depends on networks of proteins that interact physically and functionally to carry out physiological processes. Thus, it seems logical that the impact of sequence variation in one protein could be significantly influenced by genetic variants at other loci in a genome. Nonetheless, the importance of such genetic interactions, known as epistasis, in explaining phenotypic variation remains a matter of debate in genetics. Recent work from our lab revealed that genes implicated from an association study of toxin tolerance in Saccharomyces cerevisiae show extensive interactions with the genetic background: most implicated genes, regardless of allele, are important for toxin tolerance in only one of two tested strains. The prevalence of background effects in our study adds to other reports of widespread genetic-background interactions in model organisms. We suggest that these effects represent many-way interactions with myriad features of the cellular system that vary across classes of individuals. Such gene-by-system interactions may influence diverse traits and require new modeling approaches to accurately represent genotype-phenotype relationships across individuals.

Found Poems, Member Checking and Crises of Representation

ERIC Educational Resources Information Center

Reilly, Rosemary C.

2013-01-01

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

14 CFR 121.441 - Proficiency checks.

Code of Federal Regulations, 2010 CFR

2010-01-01

... certificate holder may use any person nor may any person serve as a required pilot flight crewmember unless that person has satisfactorily completed either a proficiency check, or an approved simulator course of... check or the simulator training. (2) For all other pilots— (i) Within the preceding 24 calendar months...

14 CFR 121.441 - Proficiency checks.

Code of Federal Regulations, 2012 CFR

2012-01-01

... certificate holder may use any person nor may any person serve as a required pilot flight crewmember unless that person has satisfactorily completed either a proficiency check, or an approved simulator course of... check or the simulator training. (2) For all other pilots— (i) Within the preceding 24 calendar months...

7 CFR 58.243 - Checking quality.

Code of Federal Regulations, 2010 CFR

2010-01-01

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

Evidence for gravitational lensing of the cosmic microwave background polarization from cross-correlation with the cosmic infrared background.

PubMed

Ade, P A R; Akiba, Y; Anthony, A E; Arnold, K; Atlas, M; Barron, D; Boettger, D; Borrill, J; Borys, C; Chapman, S; Chinone, Y; Dobbs, M; Elleflot, T; Errard, J; Fabbian, G; Feng, C; Flanigan, D; Gilbert, A; Grainger, W; Halverson, N W; Hasegawa, M; Hattori, K; Hazumi, M; Holzapfel, W L; Hori, Y; Howard, J; Hyland, P; Inoue, Y; Jaehnig, G C; Jaffe, A; Keating, B; Kermish, Z; Keskitalo, R; Kisner, T; Le Jeune, M; Lee, A T; Leitch, E M; Linder, E; Lungu, M; Matsuda, F; Matsumura, T; Meng, X; Miller, N J; Morii, H; Moyerman, S; Myers, M J; Navaroli, M; Nishino, H; Paar, H; Peloton, J; Poletti, D; Quealy, E; Rebeiz, G; Reichardt, C L; Richards, P L; Ross, C; Rotermund, K; Schanning, I; Schenck, D E; Sherwin, B D; Shimizu, A; Shimmin, C; Shimon, M; Siritanasak, P; Smecher, G; Spieler, H; Stebor, N; Steinbach, B; Stompor, R; Suzuki, A; Takakura, S; Tikhomirov, A; Tomaru, T; Wilson, B; Yadav, A; Zahn, O

2014-04-04

We reconstruct the gravitational lensing convergence signal from cosmic microwave background (CMB) polarization data taken by the Polarbear experiment and cross-correlate it with cosmic infrared background maps from the Herschel satellite. From the cross spectra, we obtain evidence for gravitational lensing of the CMB polarization at a statistical significance of 4.0σ and indication of the presence of a lensing B-mode signal at a significance of 2.3σ. We demonstrate that our results are not biased by instrumental and astrophysical systematic errors by performing null tests, checks with simulated and real data, and analytical calculations. This measurement of polarization lensing, made via the robust cross-correlation channel, not only reinforces POLARBEAR auto-correlation measurements, but also represents one of the early steps towards establishing CMB polarization lensing as a powerful new probe of cosmology and astrophysics.

Testing Intelligently Includes Double-Checking Wechsler IQ Scores

ERIC Educational Resources Information Center

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

2011-01-01

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

Ammunition Background Check Act of 2013

THOMAS, 113th Congress

Sen. Blumenthal, Richard [D-CT

2013-01-29

Senate - 02/12/2013 Committee on the Judiciary Senate Subcommittee on Constitution, Civil Rights and Human Rights. Hearings held. With printed Hearing: S.Hrg. 113-870. (All Actions) Tracker: This bill has the status IntroducedHere are the steps for Status of Legislation:

Strengthening Background Checks Act of 2013

THOMAS, 113th Congress

Rep. Fitzpatrick, Michael G. [R-PA-8

2013-01-22

House - 02/28/2013 Referred to the Subcommittee on Crime, Terrorism, Homeland Security, And Investigations. (All Actions) Tracker: This bill has the status IntroducedHere are the steps for Status of Legislation:

48 CFR 428.204-2 - Certified or cashier's checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 48 Federal Acquisition Regulations System 4 2012-10-01 2012-10-01 false Certified or cashier's checks, bank drafts, money orders, or currency. 428.204-2 Section 428.204-2 Federal Acquisition... Other Security for Bonds 428.204-2 Certified or cashier's checks, bank drafts, money orders, or currency...

48 CFR 428.204-2 - Certified or cashier's checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 48 Federal Acquisition Regulations System 4 2011-10-01 2011-10-01 false Certified or cashier's checks, bank drafts, money orders, or currency. 428.204-2 Section 428.204-2 Federal Acquisition... Other Security for Bonds 428.204-2 Certified or cashier's checks, bank drafts, money orders, or currency...

48 CFR 428.204-2 - Certified or cashier's checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 48 Federal Acquisition Regulations System 4 2010-10-01 2010-10-01 false Certified or cashier's checks, bank drafts, money orders, or currency. 428.204-2 Section 428.204-2 Federal Acquisition... Other Security for Bonds 428.204-2 Certified or cashier's checks, bank drafts, money orders, or currency...

48 CFR 428.204-2 - Certified or cashier's checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 48 Federal Acquisition Regulations System 4 2013-10-01 2013-10-01 false Certified or cashier's checks, bank drafts, money orders, or currency. 428.204-2 Section 428.204-2 Federal Acquisition... Other Security for Bonds 428.204-2 Certified or cashier's checks, bank drafts, money orders, or currency...

48 CFR 428.204-2 - Certified or cashier's checks, bank drafts, money orders, or currency.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 48 Federal Acquisition Regulations System 4 2014-10-01 2014-10-01 false Certified or cashier's checks, bank drafts, money orders, or currency. 428.204-2 Section 428.204-2 Federal Acquisition... Other Security for Bonds 428.204-2 Certified or cashier's checks, bank drafts, money orders, or currency...

Electronic Life Safety and Security Systems Federal Background Check Act of 2013

THOMAS, 113th Congress

Rep. Luetkemeyer, Blaine [R-MO-3

2013-04-09

House - 04/30/2013 Referred to the Subcommittee on Crime, Terrorism, Homeland Security, and Investigations. (All Actions) Tracker: This bill has the status IntroducedHere are the steps for Status of Legislation:

7 CFR 1421.11 - Spot checks.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 10 2010-01-01 2010-01-01 false Spot checks. 1421.11 Section 1421.11 Agriculture... ASSISTANCE LOANS AND LOAN DEFICIENCY PAYMENTS FOR 2008 THROUGH 2012 General § 1421.11 Spot checks. (a) CCC... CCC access to the farm and storage facility as necessary to conduct collateral inspections, or “spot...

31 CFR 240.16 - Checks issued to minor payees.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 31 Money and Finance:Treasury 2 2011-07-01 2011-07-01 false Checks issued to minor payees. 240.16... ON THE UNITED STATES TREASURY Indorsement of Checks § 240.16 Checks issued to minor payees. (a) Checks in payment of principal and/or interest on U.S. securities that are issued to minors may be...

31 CFR 240.16 - Checks issued to minor payees.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 31 Money and Finance: Treasury 2 2010-07-01 2010-07-01 false Checks issued to minor payees. 240.16... ON THE UNITED STATES TREASURY Indorsement of Checks § 240.16 Checks issued to minor payees. (a) Checks in payment of principal and/or interest on U.S. securities that are issued to minors may be...

Background and Data Configuration Process of a Nationwide Population-Based Study Using the Korean National Health Insurance System

PubMed Central

Song, Sun Ok; Jung, Chang Hee; Song, Young Duk; Park, Cheol-Young; Kwon, Hyuk-Sang; Cha, Bong Soo; Park, Joong-Yeol; Lee, Ki-Up

2014-01-01

Background The National Health Insurance Service (NHIS) recently signed an agreement to provide limited open access to the databases within the Korean Diabetes Association for the benefit of Korean subjects with diabetes. Here, we present the history, structure, contents, and way to use data procurement in the Korean National Health Insurance (NHI) system for the benefit of Korean researchers. Methods The NHIS in Korea is a single-payer program and is mandatory for all residents in Korea. The three main healthcare programs of the NHI, Medical Aid, and long-term care insurance (LTCI) provide 100% coverage for the Korean population. The NHIS in Korea has adopted a fee-for-service system to pay health providers. Researchers can obtain health information from the four databases of the insured that contain data on health insurance claims, health check-ups and LTCI. Results Metabolic disease as chronic disease is increasing with aging society. NHIS data is based on mandatory, serial population data, so, this might show the time course of disease and predict some disease progress, and also be used in primary and secondary prevention of disease after data mining. Conclusion The NHIS database represents the entire Korean population and can be used as a population-based database. The integrated information technology of the NHIS database makes it a world-leading population-based epidemiology and disease research platform. PMID:25349827

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

ERIC Educational Resources Information Center

McDaniel, Sara C.; Bruhn, Allison L.

2016-01-01

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

What do we know about who does and does not attend general health checks? Findings from a narrative scoping review

PubMed Central

2012-01-01

Background General and preventive health checks are a key feature of contemporary policies of anticipatory care. Ensuring high and equitable uptake of such general health checks is essential to ensuring health gain and preventing health inequalities. This literature review explores the socio-demographic, clinical and social cognitive characteristics of those who do and do not engage with general health checks or preventive health checks for cardiovascular disease. Methods An exploratory scoping study approach was employed. Databases searched included the British Nursing Index and Archive, Cumulative Index to Nursing and Allied Health Literature (CINAHL), Cochrane Database of Systematic Reviews (CDSR) and Database of Abstracts of Reviews of Effects (DARE), EMBASE, MEDLINE, PsycINFO and the Social Sciences Citation Index (SSCI). Titles and abstracts of 17463 papers were screened; 1171 papers were then independently assessed by two researchers. A review of full text was carried out by two of the authors resulting in 39 being included in the final review. Results Those least likely to attend health checks were men on low incomes, low socio-economic status, unemployed or less well educated. In general, attenders were older than non-attenders. An individual’s marital status was found to affect attendance rates with non-attenders more likely to be single. In general, white individuals were more likely to engage with services than individuals from other ethnic backgrounds. Non-attenders had a greater proportion of cardiovascular risk factors than attenders, and smokers were less likely to attend than non-smokers. The relationship between health beliefs and health behaviours appeared complex. Non-attenders were shown to value health less strongly, have low self-efficacy, feel less in control of their health and be less likely to believe in the efficacy of health checks. Conclusion Routine health check-ups appear to be taken up inequitably, with gender, age, socio

Checking for Ketones

MedlinePlus

... doctor about them as well as record-keeping methods he or she recommends. Most include either packages of strips or foil-wrapped strips (which store longer). Urine tests are simple, but to get good results you have to follow directions carefully. Check ...

Coleman performs VO2 Max PFS Software Calibrations and Instrument Check

NASA Image and Video Library

2011-02-24

ISS026-E-029180 (24 Feb. 2011) --- NASA astronaut Catherine (Cady) Coleman, Expedition 26 flight engineer, performs VO2max portable Pulmonary Function System (PFS) software calibrations and instrument check while using the Cycle Ergometer with Vibration Isolation System (CEVIS) in the Destiny laboratory of the International Space Station.

Check & Connect: A Comprehensive Student Engagement Intervention Manual

ERIC Educational Resources Information Center

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

2008-01-01

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

Astronaut McDivitt - Blood Pressure Check - Preflight Examination - Merritt Island, FL

NASA Image and Video Library

1965-06-01

S65-19524 (1 June 1965) --- Dr. Charles A. Berry, chief of Center Medical Programs, MSC, Houston, Texas, prepares to check the blood pressure of astronaut James A. McDivitt, command pilot for the Gemini-Titan 4 spaceflight. McDivitt is on the tilt table at the Aero Medical Area, MSC, Merritt Island, where he and astronaut Edward H. White II (out of frame), GT-4 pilot, underwent preflight physicals in preparation for the four-day, 62-revolution spaceflight. The two astronauts were declared in top physical condition. In the background is Dr. Gordon Benson, NASA physician at Cape Kennedy.

Inkjet 3D printed check microvalve

NASA Astrophysics Data System (ADS)

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

2017-04-01

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

Mask induction despite circuit obstruction: an unrecognized hazard of relying on automated machine check technology.

PubMed

Yang, Kamie K; Lewis, Ian H

2014-06-15

Various equipment malfunctions of anesthesia gas delivery systems have been previously reported. Our profession increasingly uses technology as a means to prevent these errors. We report a case of a near-total anesthesia circuit obstruction that went undetected before the induction of anesthesia despite the use of automated machine check technology. This case highlights that automated machine check modules can fail to detect severe equipment failure and demonstrates how, even in this era of expanding technology, manual checks still remain essential components of safe care.

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

ERIC Educational Resources Information Center

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

2015-01-01

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

UTP and Temporal Logic Model Checking

NASA Astrophysics Data System (ADS)

Anderson, Hugh; Ciobanu, Gabriel; Freitas, Leo

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

CMM Interim Check Design of Experiments (U)

DOE Office of Scientific and Technical Information (OSTI.GOV)

Montano, Joshua Daniel

2015-07-29

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

[Raman spectroscopy fluorescence background correction and its application in clustering analysis of medicines].

PubMed

Chen, Shan; Li, Xiao-ning; Liang, Yi-zeng; Zhang, Zhi-min; Liu, Zhao-xia; Zhang, Qi-ming; Ding, Li-xia; Ye, Fei

2010-08-01

During Raman spectroscopy analysis, the organic molecules and contaminations will obscure or swamp Raman signals. The present study starts from Raman spectra of prednisone acetate tablets and glibenclamide tables, which are acquired from the BWTek i-Raman spectrometer. The background is corrected by R package baselineWavelet. Then principle component analysis and random forests are used to perform clustering analysis. Through analyzing the Raman spectra of two medicines, the accurate and validity of this background-correction algorithm is checked and the influences of fluorescence background on Raman spectra clustering analysis is discussed. Thus, it is concluded that it is important to correct fluorescence background for further analysis, and an effective background correction solution is provided for clustering or other analysis.

Do alcohol compliance checks decrease underage sales at neighboring establishments?

PubMed

Erickson, Darin J; Smolenski, Derek J; Toomey, Traci L; Carlin, Bradley P; Wagenaar, Alexander C

2013-11-01

Underage alcohol compliance checks conducted by law enforcement agencies can reduce the likelihood of illegal alcohol sales at checked alcohol establishments, and theory suggests that an alcohol establishment that is checked may warn nearby establishments that compliance checks are being conducted in the area. In this study, we examined whether the effects of compliance checks diffuse to neighboring establishments. We used data from the Complying with the Minimum Drinking Age trial, which included more than 2,000 compliance checks conducted at more than 900 alcohol establishments. The primary outcome was the sale of alcohol to a pseudo-underage buyer without the need for age identification. A multilevel logistic regression was used to model the effect of a compliance check at each establishment as well as the effect of compliance checks at neighboring establishments within 500 m (stratified into four equal-radius concentric rings), after buyer, license, establishment, and community-level variables were controlled for. We observed a decrease in the likelihood of establishments selling alcohol to underage youth after they had been checked by law enforcement, but these effects quickly decayed over time. Establishments that had a close neighbor (within 125 m) checked in the past 90 days were also less likely to sell alcohol to young-appearing buyers. The spatial effect of compliance checks on other establishments decayed rapidly with increasing distance. Results confirm the hypothesis that the effects of police compliance checks do spill over to neighboring establishments. These findings have implications for the development of an optimal schedule of police compliance checks.

Timing analysis by model checking

NASA Technical Reports Server (NTRS)

Naydich, Dimitri; Guaspari, David

2000-01-01

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

26 CFR 301.6657-1 - Bad checks.

Code of Federal Regulations, 2010 CFR

2010-04-01

... money order is less than $500, the penalty shall be $5 or the amount of the check or money order... notice and demand therefor. (b) Reasonable cause. If payment is refused upon presentment of any check or...

26 CFR 301.6657-1 - Bad checks.

Code of Federal Regulations, 2011 CFR

2011-04-01

... money order is less than $500, the penalty shall be $5 or the amount of the check or money order... notice and demand therefor. (b) Reasonable cause. If payment is refused upon presentment of any check or...

Checking and Balancing: Banking and Budgeting.

ERIC Educational Resources Information Center

Thypin, Marilyn; Glasner, Lynne

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

ExoMars Raman Laser Spectrometer scientific required performances check with a Breadboard

NASA Astrophysics Data System (ADS)

Moral, A.; Díaz, E.; Ramos, G.; Rodríguez Prieto, J. A.; Pérez Canora, C.; Díaz, C.; Canchal, R.; Gallego, P.; Santamaría, P.; Colombo, M.

2013-09-01

The Raman Laser Spectrometer (RLS) is one of the Pasteur Payload instruments, within the ESA's Aurora Exploration Program, ExoMars mission. For being able to verify the achievement of the scientific objectives of the instrument, a Breadboard campaign was developed, for achieving instrument TRL5. Within the Instrument TRL5 Plan, it was required to every unit to develop its own Unit Breadboard, to check their own TRL5 and then to deliver it to System Team to be integrated and tested for finally checks Instrument performances.

Fluid check valve has fail-safe feature

NASA Technical Reports Server (NTRS)

Gaul, L. C.

1965-01-01

Check valve ensures unidirectional fluid flow and, in case of failure, vents the downstream fluid to the atmosphere and gives a positive indication of malfunction. This dual valve consists of a master check valve and a fail-safe valve.

V and V of Lexical, Syntactic and Semantic Properties for Interactive Systems Through Model Checking of Formal Description of Dialog

NASA Technical Reports Server (NTRS)

Brat, Guillaume P.; Martinie, Celia; Palanque, Philippe

2013-01-01

During early phases of the development of an interactive system, future system properties are identified (through interaction with end users in the brainstorming and prototyping phase of the application, or by other stakehold-ers) imposing requirements on the final system. They can be specific to the application under development or generic to all applications such as usability principles. Instances of specific properties include visibility of the aircraft altitude, speed… in the cockpit and the continuous possibility of disengaging the autopilot in whatever state the aircraft is. Instances of generic properties include availability of undo (for undoable functions) and availability of a progression bar for functions lasting more than four seconds. While behavioral models of interactive systems using formal description techniques provide complete and unambiguous descriptions of states and state changes, it does not provide explicit representation of the absence or presence of properties. Assessing that the system that has been built is the right system remains a challenge usually met through extensive use and acceptance tests. By the explicit representation of properties and the availability of tools to support checking these properties, it becomes possible to provide developers with means for systematic exploration of the behavioral models and assessment of the presence or absence of these properties. This paper proposes the synergistic use two tools for checking both generic and specific properties of interactive applications: Petshop and Java PathFinder. Petshop is dedicated to the description of interactive system behavior. Java PathFinder is dedicated to the runtime verification of Java applications and as an extension dedicated to User Interfaces. This approach is exemplified on a safety critical application in the area of interactive cockpits for large civil aircrafts.

Background concentrations for high resolution satellite observing systems of methane

NASA Astrophysics Data System (ADS)

Benmergui, J. S.; Propp, A. M.; Turner, A. J.; Wofsy, S. C.

2017-12-01

Emerging satellite technologies promise to measure total column dry-air mole fractions of methane (XCH4) at resolutions on the order of a kilometer. XCH4 is linearly related to regional methane emissions through enhancements in the mixed layer, giving these satellites the ability to constrain emissions at unprecedented resolution. However, XCH4 is also sensitive to variability in transport of upwind concentrations (the "background concentration"). Variations in the background concentration are caused by synoptic scale transport in both the free troposphere and the stratosphere, as well as the rate of methane oxidation. Misspecification of the background concentration is aliased onto retrieved emissions as bias. This work explores several methods of specifying the background concentration for high resolution satellite observations of XCH4. We conduct observing system simulation experiments (OSSEs) that simulate the retrieval of emissions in the Barnett Shale using observations from a 1.33 km resolution XCH4 imaging satellite. We test background concentrations defined (1) from an external continental-scale model, (2) using pixels along the edge of the image as a boundary value, (3) using differences between adjacent pixels, and (4) using differences between the same pixel separated by one hour in time. We measure success using the accuracy of the retrieval, the potential for bias induced by misspecification of the background, and the computational expedience of the method. Pathological scenarios are given to each method.

The Coordinate Orthogonality Check (corthog)

NASA Astrophysics Data System (ADS)

Avitabile, P.; Pechinsky, F.

1998-05-01

A new technique referred to as the coordinate orthogonality check (CORTHOG) helps to identify how each physical degree of freedom contributes to the overall orthogonality relationship between analytical and experimental modal vectors on a mass-weighted basis. Using the CORTHOG technique together with the pseudo-orthogonality check (POC) clarifies where potential discrepancies exist between the analytical and experimental modal vectors. CORTHOG improves the understanding of the correlation (or lack of correlation) that exists between modal vectors. The CORTHOG theory is presented along with the evaluation of several cases to show the use of the technique.

Model-Checking with Edge-Valued Decision Diagrams

NASA Technical Reports Server (NTRS)

Roux, Pierre; Siminiceanu, Radu I.

2010-01-01

We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library along with state-of-the-art algorithms for building the transition relation and the state space of discrete state systems. We provide efficient algorithms for manipulating EVMDDs and give upper bounds of the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time complexity of the generic recursive algorithm for applying a binary operator on EVMDDs is no worse than that of Multi-Terminal Decision Diagrams. We have implemented a new symbolic model checker with the intention to represent in one formalism the best techniques available at the moment across a spectrum of existing tools: EVMDDs for encoding arithmetic expressions, identity-reduced MDDs for representing the transition relation, and the saturation algorithm for reachability analysis. We compare our new symbolic model checking EVMDD library with the widely used CUDD package and show that, in many cases, our tool is several orders of magnitude faster than CUDD.

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

ERIC Educational Resources Information Center

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

2014-01-01

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

Uptake of the NHS Health Checks programme in a deprived, culturally diverse setting: cross-sectional study.

PubMed

Dalton, Andrew R H; Bottle, Alex; Okoro, Cyprian; Majeed, Azeem; Millett, Christopher

2011-09-01

The UK is embarking on a national cardiovascular risk assessment programme called NHS Health Checks; in order to be effective, high and equitable uptake is paramount. A cross-sectional study, using data extracted from electronic medical records of persons aged 35-74 years estimated to be at a high risk of developing cardiovascular disease, to examine the uptake of the Health Checks using logistic regression and statin prescribing. A total of 44.8% of high risk patients invited for a Health Check attended. Uptake was lower among younger men but higher among patients from south Asian (AOR = 1.71 [1.29-2.27] compared with white) or mixed ethnic backgrounds (AOR = 2.42 [1.50-3.89]), and patients registered with smaller practices (AOR = 2.53 [1.09-5.84] <3000 patients compared with 3000-5999). The percentage of patients confirmed to be at high risk of CVD prescribed a statin increased from 24.7 to 44.8%. Uptake of cardiovascular risk assessment and prescribing of statins in high risk patients was considerably lower than projected in the first year of NHS Health Checks programme. Targeting efforts to increase uptake and adherence to interventions in high risk populations and reinvesting resources into population wide strategies to reduce obesity, smoking and salt intake may prove more cost-effective in reducing the burden of cardiovascular disease in the UK.

Creation of a master table for checking indication and contraindication of medicine from a knowledge base linked with a thesaurus.

PubMed

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.

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

PubMed

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.

Automated Environment Generation for Software Model Checking

NASA Technical Reports Server (NTRS)

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

2003-01-01

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

Assessment of check-dam groundwater recharge with water-balance calculations

NASA Astrophysics Data System (ADS)

Djuma, Hakan; Bruggeman, Adriana; Camera, Corrado; Eliades, Marinos

2017-04-01

Studies on the enhancement of groundwater recharge by check-dams in arid and semi-arid environments mainly focus on deriving water infiltration rates from the check-dam ponding areas. This is usually achieved by applying simple water balance models, more advanced models (e.g., two dimensional groundwater models) and field tests (e.g., infiltrometer test or soil pit tests). Recharge behind the check-dam can be affected by the built-up of sediment as a result of erosion in the upstream watershed area. This natural process can increase the uncertainty in the estimates of the recharged water volume, especially for water balance calculations. Few water balance field studies of individual check-dams have been presented in the literature and none of them presented associated uncertainties of their estimates. The objectives of this study are i) to assess the effect of a check-dam on groundwater recharge from an ephemeral river; and ii) to assess annual sedimentation at the check-dam during a 4-year period. The study was conducted on a check-dam in the semi-arid island of Cyprus. Field campaigns were carried out to measure water flow, water depth and check-dam topography in order to establish check-dam water height, volume, evaporation, outflow and recharge relations. Topographic surveys were repeated at the end of consecutive hydrological years to estimate the sediment built up in the reservoir area of the check dam. Also, sediment samples were collected from the check-dam reservoir area for bulk-density analyses. To quantify the groundwater recharge, a water balance model was applied at two locations: at the check-dam and corresponding reservoir area, and at a 4-km stretch of the river bed without check-dam. Results showed that a check-dam with a storage capacity of 25,000 m3 was able to recharge to the aquifer, in four years, a total of 12 million m3 out of the 42 million m3 of measured (or modelled) streamflow. Recharge from the analyzed 4-km long river section without

Terrestrial Background Reduction in RPM Systems by Direct Internal Shielding

DOE Office of Scientific and Technical Information (OSTI.GOV)

Robinson, Sean M.; Ashbaker, Eric D.; Schweppe, John E.

2008-11-19

Gamma-ray detection systems that are close to the earth or other sources of background radiation often require shielding, especially when trying to detect a relatively weak source. One particular case of interest that we address in this paper is that encountered by the Radiation Portal Monitors (RPMs) systems placed at border-crossing Ports of Entry (POE). These RPM systems are used to screen for illicit radiological materials, and they are often placed in situations where terrestrial background is large. In such environments, it is desirable to consider simple physical modifications that could be implemented to reduce the effects from background radiationmore » without affecting the flow of traffic and the normal operation of the portal. Simple modifications include adding additional shielding to the environment, either inside or outside the apparatus. Previous work [2] has shown the utility of some of these shielding configurations for increasing the Signal to Noise Ratio (SNR) of gross-counting RPMs. Because the total cost for purchasing and installing RPM systems can be quite expensive, in the range of hundreds of thousands of dollars for each cargo-screening installation, these shielding variations may offer increases in detection capability for relatively small cost. Several modifications are considered here in regard to their real-world applicability, and are meant to give a general idea of the effectiveness of the schemes used to reduce background for both gross-counting and spectroscopic detectors. These scenarios are modeled via the Monte-Carlo N-Particle (MCNP) code package [1] for ease of altering shielding configurations, as well as enacting unusual scenarios prior to prototyping in the field. The objective of this paper is to provide results representative of real modifications that could enhance the sensitivity of this, as well as the next generation of radiation detectors. The models used in this work were designed to provide the most general

OntoCheck: verifying ontology naming conventions and metadata completeness in Protégé 4

PubMed Central

2012-01-01

Background Although policy providers have outlined minimal metadata guidelines and naming conventions, ontologies of today still display inter- and intra-ontology heterogeneities in class labelling schemes and metadata completeness. This fact is at least partially due to missing or inappropriate tools. Software support can ease this situation and contribute to overall ontology consistency and quality by helping to enforce such conventions. Objective We provide a plugin for the Protégé Ontology editor to allow for easy checks on compliance towards ontology naming conventions and metadata completeness, as well as curation in case of found violations. Implementation In a requirement analysis, derived from a prior standardization approach carried out within the OBO Foundry, we investigate the needed capabilities for software tools to check, curate and maintain class naming conventions. A Protégé tab plugin was implemented accordingly using the Protégé 4.1 libraries. The plugin was tested on six different ontologies. Based on these test results, the plugin could be refined, also by the integration of new functionalities. Results The new Protégé plugin, OntoCheck, allows for ontology tests to be carried out on OWL ontologies. In particular the OntoCheck plugin helps to clean up an ontology with regard to lexical heterogeneity, i.e. enforcing naming conventions and metadata completeness, meeting most of the requirements outlined for such a tool. Found test violations can be corrected to foster consistency in entity naming and meta-annotation within an artefact. Once specified, check constraints like name patterns can be stored and exchanged for later re-use. Here we describe a first version of the software, illustrate its capabilities and use within running ontology development efforts and briefly outline improvements resulting from its application. Further, we discuss OntoChecks capabilities in the context of related tools and highlight potential future

Astronaut James A. McDivitt has blood pressure checked during preflight exam.

NASA Technical Reports Server (NTRS)

1965-01-01

S65-19524 (1 June 1965) --- Dr. Charles A. Berry, Chief of Center Medical Programs, Manned Spacecraft Center (MSC), Houston, prepares to check the blood pressure of astronaut James A. McDivitt, command pilot for the Gemini-Titan 4 space flight. McDivitt is on the tilt table at the Aero Medical Area, Merritt Island, where he and Astronaut Edward H. White II, GT-4 pilot, underwent pre-flight physicals in preparation for the 4-day, 62 revolution space flight. The two astronauts were declared in top physical condition. In the background is Dr. Gordon Benson, NASA physician at Cape Kennedy.

40 CFR 86.884-11 - Instrument checks.

Code of Federal Regulations, 2010 CFR

2010-07-01

... collection equipment response of zero; (3) Calibrated neutral density filters having approximately 10, 20, and 40 percent opacity shall be employed to check the linearity of the instrument. The filter(s) shall.... Filters with exposed filtering media should be checked for opacity every six months; all other filters...

40 CFR 86.884-11 - Instrument checks.

Code of Federal Regulations, 2012 CFR

2012-07-01

... collection equipment response of zero; (3) Calibrated neutral density filters having approximately 10, 20, and 40 percent opacity shall be employed to check the linearity of the instrument. The filter(s) shall.... Filters with exposed filtering media should be checked for opacity every six months; all other filters...

40 CFR 86.884-11 - Instrument checks.

Code of Federal Regulations, 2011 CFR

2011-07-01

... collection equipment response of zero; (3) Calibrated neutral density filters having approximately 10, 20, and 40 percent opacity shall be employed to check the linearity of the instrument. The filter(s) shall.... Filters with exposed filtering media should be checked for opacity every six months; all other filters...

40 CFR 86.884-11 - Instrument checks.

Code of Federal Regulations, 2013 CFR

2013-07-01

... collection equipment response of zero; (3) Calibrated neutral density filters having approximately 10, 20, and 40 percent opacity shall be employed to check the linearity of the instrument. The filter(s) shall.... Filters with exposed filtering media should be checked for opacity every six months; all other filters...

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

Code of Federal Regulations, 2010 CFR

2010-07-01

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

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

Code of Federal Regulations, 2011 CFR

2011-07-01

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

Microspheres as resistive elements in a check valve for low pressure and low flow rate conditions.

PubMed

Ou, Kevin; Jackson, John; Burt, Helen; Chiao, Mu

2012-11-07

In this paper we describe a microsphere-based check valve integrated with a micropump. The check valve uses Ø20 μm polystyrene microspheres to rectify flow in low pressure and low flow rate applications (Re < 1). The microspheres form a porous medium in the check valve increasing fluidic resistance based on the direction of flow. Three check valve designs were fabricated and characterized to study the microspheres' effectiveness as resistive elements. A maximum diodicity (ratio of flow in the forward and reverse direction) of 18 was achieved. The pumping system can deliver a minimum flow volume of 0.25 μL and a maximum flow volume of 1.26 μL under an applied pressure of 0.2 kPa and 1 kPa, respectively. A proof-of-concept study was conducted using a pharmaceutical agent, docetaxel (DTX), as a sample drug showing the microsphere check valve's ability to limit diffusion from the micropump. The proposed check valve and pumping concept shows strong potential for implantable drug delivery applications with low flow rate requirements.

Program Model Checking as a New Trend

NASA Technical Reports Server (NTRS)

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

2002-01-01

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

28 CFR 25.5 - Validation and data integrity of records in the system.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 28 Judicial Administration 1 2011-07-01 2011-07-01 false Validation and data integrity of records in the system. 25.5 Section 25.5 Judicial Administration DEPARTMENT OF JUSTICE DEPARTMENT OF JUSTICE INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.5 Validation and data integrity...

28 CFR 25.5 - Validation and data integrity of records in the system.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 28 Judicial Administration 1 2013-07-01 2013-07-01 false Validation and data integrity of records in the system. 25.5 Section 25.5 Judicial Administration DEPARTMENT OF JUSTICE DEPARTMENT OF JUSTICE INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.5 Validation and data integrity...

28 CFR 25.5 - Validation and data integrity of records in the system.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 28 Judicial Administration 1 2012-07-01 2012-07-01 false Validation and data integrity of records in the system. 25.5 Section 25.5 Judicial Administration DEPARTMENT OF JUSTICE DEPARTMENT OF JUSTICE INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.5 Validation and data integrity...

28 CFR 25.5 - Validation and data integrity of records in the system.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 28 Judicial Administration 1 2014-07-01 2014-07-01 false Validation and data integrity of records in the system. 25.5 Section 25.5 Judicial Administration DEPARTMENT OF JUSTICE DEPARTMENT OF JUSTICE INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.5 Validation and data integrity...

Performance of Low-Density Parity-Check Coded Modulation

NASA Astrophysics Data System (ADS)

Hamkins, J.

2011-02-01

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

[Memory Checking Tests].

ERIC Educational Resources Information Center

Hart, Joseph T.

Two basic tests for checking memory skills are included in these appendices. The first, the General Information Test, uses the same 150 items for each of its two versions. One version is a completion-type test which measures recall by requiring the examinee to supply a specific response. The other version supplements each of the 150 items with…

Check Sample Abstracts.

PubMed

Alter, David; Grenache, David G; Bosler, David S; Karcher, Raymond E; Nichols, James; Rajadhyaksha, Aparna; Camelo-Piragua, Sandra; Rauch, Carol; Huddleston, Brent J; Frank, Elizabeth L; Sluss, Patrick M; Lewandrowski, Kent; Eichhorn, John H; Hall, Janet E; Rahman, Saud S; McPherson, Richard A; Kiechle, Frederick L; Hammett-Stabler, Catherine; Pierce, Kristin A; Kloehn, Erica A; Thomas, Patricia A; Walts, Ann E; Madan, Rashna; Schlesinger, Kathie; Nawgiri, Ranjana; Bhutani, Manoop; Kanber, Yonca; Abati, Andrea; Atkins, Kristen A; Farrar, Robert; Gopez, Evelyn Valencerina; Jhala, Darshana; Griffin, Sonya; Jhala, Khushboo; Jhala, Nirag; Bentz, Joel S; Emerson, Lyska; Chadwick, Barbara E; Barroeta, Julieta E; Baloch, Zubair W; Collins, Brian T; Middleton, Owen L; Davis, Gregory G; Haden-Pinneri, Kathryn; Chu, Albert Y; Keylock, Joren B; Ramoso, Robert; Thoene, Cynthia A; Stewart, Donna; Pierce, Arand; Barry, Michelle; Aljinovic, Nika; Gardner, David L; Barry, Michelle; Shields, Lisa B E; Arnold, Jack; Stewart, Donna; Martin, Erica L; Rakow, Rex J; Paddock, Christopher; Zaki, Sherif R; Prahlow, Joseph A; Stewart, Donna; Shields, Lisa B E; Rolf, Cristin M; Falzon, Andrew L; Hudacki, Rachel; Mazzella, Fermina M; Bethel, Melissa; Zarrin-Khameh, Neda; Gresik, M Vicky; Gill, Ryan; Karlon, William; Etzell, Joan; Deftos, Michael; Karlon, William J; Etzell, Joan E; Wang, Endi; Lu, Chuanyi M; Manion, Elizabeth; Rosenthal, Nancy; Wang, Endi; Lu, Chuanyi M; Tang, Patrick; Petric, Martin; Schade, Andrew E; Hall, Geraldine S; Oethinger, Margret; Hall, Geraldine; Picton, Avis R; Hoang, Linda; Imperial, Miguel Ranoa; Kibsey, Pamela; Waites, Ken; Duffy, Lynn; Hall, Geraldine S; Salangsang, Jo-Anne M; Bravo, Lulette Tricia C; Oethinger, Margaret D; Veras, Emanuela; Silva, Elvia; Vicens, Jimena; Silva, Elvio; Keylock, Joren; Hempel, James; Rushing, Elizabeth; Posligua, Lorena E; Deavers, Michael T; Nash, Jason W; Basturk, Olca; Perle, Mary Ann; Greco, Alba; Lee, Peng; Maru, Dipen; Weydert, Jamie Allen; Stevens, Todd M; Brownlee, Noel A; Kemper, April E; Williams, H James; Oliverio, Brock J; Al-Agha, Osama M; Eskue, Kyle L; Newlands, Shawn D; Eltorky, Mahmoud A; Puri, Puja K; Royer, Michael C; Rush, Walter L; Tavora, Fabio; Galvin, Jeffrey R; Franks, Teri J; Carter, James Elliot; Kahn, Andrea Graciela; Lozada Muñoz, Luis R; Houghton, Dan; Land, Kevin J; Nester, Theresa; Gildea, Jacob; Lefkowitz, Jerry; Lacount, Rachel A; Thompson, Hannis W; Refaai, Majed A; Quillen, Karen; Lopez, Ana Ortega; Goldfinger, Dennis; Muram, Talia; Thompson, Hannis

2009-02-01

The following abstracts are compiled from Check Sample exercises published in 2008. These peer-reviewed case studies assist laboratory professionals with continuing medical education and are developed in the areas of clinical chemistry, cytopathology, forensic pathology, hematology, microbiology, surgical pathology, and transfusion medicine. Abstracts for all exercises published in the program will appear annually in AJCP.

Background Selection in Partially Selfing Populations

PubMed Central

Roze, Denis

2016-01-01

Self-fertilizing species often present lower levels of neutral polymorphism than their outcrossing relatives. Indeed, selfing automatically increases the rate of coalescence per generation, but also enhances the effects of background selection and genetic hitchhiking by reducing the efficiency of recombination. Approximations for the effect of background selection in partially selfing populations have been derived previously, assuming tight linkage between deleterious alleles and neutral loci. However, loosely linked deleterious mutations may have important effects on neutral diversity in highly selfing populations. In this article, I use a general method based on multilocus population genetics theory to express the effect of a deleterious allele on diversity at a linked neutral locus in terms of moments of genetic associations between loci. Expressions for these genetic moments at equilibrium are then computed for arbitrary rates of selfing and recombination. An extrapolation of the results to the case where deleterious alleles segregate at multiple loci is checked using individual-based simulations. At high selfing rates, the tight linkage approximation underestimates the effect of background selection in genomes with moderate to high map length; however, another simple approximation can be obtained for this situation and provides accurate predictions as long as the deleterious mutation rate is not too high. PMID:27075726

Computational Fact Checking by Mining Knowledge Graphs

ERIC Educational Resources Information Center

Shiralkar, Prashant

2017-01-01

Misinformation and rumors have become rampant on online social platforms with adverse consequences for the real world. Fact-checking efforts are needed to mitigate the risks associated with the spread of digital misinformation. However, the pace at which information is generated online limits the capacity to fact-check claims at the same rate…

Saturn V Instrument Unit Being Checked At MSFC

NASA Technical Reports Server (NTRS)

1967-01-01

A technician checks the systems of the Saturn V instrument unit in a test facility in Huntsville. This instrument unit was flown aboard Apollo 4 on November 7, 1967, which was the first test flight of the Saturn V. The towering 363-foot Saturn V was a multi-stage, multi-engine launch vehicle standing taller than the Statue of Liberty. Altogether, the Saturn V engines produced as much power as 85 Hoover Dams.

Protecting quantum memories using coherent parity check codes

NASA Astrophysics Data System (ADS)

Roffe, Joschka; Headley, David; Chancellor, Nicholas; Horsman, Dominic; Kendon, Viv

2018-07-01

Coherent parity check (CPC) codes are a new framework for the construction of quantum error correction codes that encode multiple qubits per logical block. CPC codes have a canonical structure involving successive rounds of bit and phase parity checks, supplemented by cross-checks to fix the code distance. In this paper, we provide a detailed introduction to CPC codes using conventional quantum circuit notation. We demonstrate the implementation of a CPC code on real hardware, by designing a [[4, 2, 2

Vertical pump with free floating check valve

DOEpatents

Lindsay, Malcolm

1980-01-01

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

Model Checking Satellite Operational Procedures

NASA Astrophysics Data System (ADS)

Cavaliere, Federico; Mari, Federico; Melatti, Igor; Minei, Giovanni; Salvo, Ivano; Tronci, Enrico; Verzino, Giovanni; Yushtein, Yuri

2011-08-01

We present a model checking approach for the automatic verification of satellite operational procedures (OPs). Building a model for a complex system as a satellite is a hard task. We overcome this obstruction by using a suitable simulator (SIMSAT) for the satellite. Our approach aims at improving OP quality assurance by automatic exhaustive exploration of all possible simulation scenarios. Moreover, our solution decreases OP verification costs by using a model checker (CMurphi) to automatically drive the simulator. We model OPs as user-executed programs observing the simulator telemetries and sending telecommands to the simulator. In order to assess feasibility of our approach we present experimental results on a simple meaningful scenario. Our results show that we can save up to 90% of verification time.

40 CFR 53.52 - Leak check test.

Code of Federal Regulations, 2013 CFR

2013-07-01

... be verified at the highest and lowest pressures and temperatures used in the tests and shall be... 40 Protection of Environment 6 2013-07-01 2013-07-01 false Leak check test. 53.52 Section 53.52... Leak check test. (a) Overview. In section 7.4.6 of 40 CFR part 50, appendix L, the sampler is required...

Microscopic analysis and simulation of check-mark stain on the galvanized steel strip

NASA Astrophysics Data System (ADS)

So, Hongyun; Yoon, Hyun Gi; Chung, Myung Kyoon

2010-11-01

When galvanized steel strip is produced through a continuous hot-dip galvanizing process, the thickness of adhered zinc film is controlled by plane impinging air gas jet referred to as "air-knife system". In such a gas-jet wiping process, stain of check-mark or sag line shape frequently appears. The check-mark defect is caused by non-uniform zinc coating and the oblique patterns such as "W", "V" or "X" on the coated surface. The present paper presents a cause and analysis of the check-mark formation and a numerical simulation of sag lines by using the numerical data produced by Large Eddy Simulation (LES) of the three-dimensional compressible turbulent flow field around the air-knife system. It was found that there is alternating plane-wise vortices near the impinging stagnation region and such alternating vortices move almost periodically to the right and to the left sides on the stagnation line due to the jet flow instability. Meanwhile, in order to simulate the check-mark formation, a novel perturbation model has been developed to predict the variation of coating thickness along the transverse direction. Finally, the three-dimensional zinc coating surface was obtained by the present perturbation model. It was found that the sag line formation is determined by the combination of the instantaneous coating thickness distribution along the transverse direction near the stagnation line and the feed speed of the steel strip.

Use of a remote computer terminal during field checking of Landsat digital maps

USGS Publications Warehouse

Robinove, Charles J.; Hutchinson, C.F.

1978-01-01

Field checking of small-scale land classification maps made digitally from Landsat data is facilitated by use of a remote portable teletypewriter terminal linked by teleplume to the IDIMS (Interactive Digital Image Manipulation System) at the EDC (EROS Data Center), Sioux Falls, S. Dak. When field checking of maps 20 miles northeast of Baker, Calif., during the day showed that changes in classification were needed, the terminal was used at night to combine image statistical files, remap portions of images, and produce new alphanumeric maps for field checking during the next day. The alphanumeric maps can be used without serious difficulty in location in the field even though the scale is distorted, and statistical files created during the field check can be used for full image classification and map output at the EDC. This process makes field checking faster than normal, provides interaction with the statistical data while in the field, and reduces to a minimum the number of trips needed to work interactively with the IDIMS at the EDC, thus saving significant amounts of time and money. The only significant problem is using telephone lines which at times create spurious characters in the printout or prevent the line feed (paper advance) signal from reaching the terminal, thus overprinting lines which should be sequential. We recommend that maps for field checking be made with more spectral classes than are expected because in the field it is much easier to group classes than to reclassify or separate classes when only the remote terminal is available for display.

Tablet-Based Well-Being Check for the Elderly: Development and Evaluation of Usability and Acceptability

PubMed Central

Ariani, Arni; Kapadia, Vasvi

2017-01-01

Background Many elderly people prefer to live at home independently. One of the major concerns raised by the family members is the safety and well-being of their elderly family members when living independently in a home environment. To address this issue, assistive technology solutions have been available in the market. Despite their availability and proliferation, these types of solutions are not popular with the elderly due to their intrusive nature, privacy-related issues, social stigma, and fear of losing human interaction. This study shares the experience in the development of a digital photo frame system that helps family members to check the well-being of the elderly, exploiting their desire to remain socially connected. Objectives The aim of this study was to iteratively design, implement, and assess the usability, user friendliness, and acceptability of a tablet-based system to check the well-being of the elderly. Methods Our study methodology comprises three separate stages: initial system development, contextual assessment, and comparative case study evaluation. Results In the first stage, requirements were elicited from the elderly to design a well-being check prototype. In the second stage, areas for improvements (eg, privacy features) were identified. Also, additional features (such as medication prompts or food reminders) were suggested to help aged and health care service providers with effective but subtle monitoring of the elderly. These would lower their operating cost by reducing visits by care providers to the homes of the elderly. In the third stage, the results highlighted the difference (between users in India and Australia) in the levels of familiarity of the elderly with this technology. Some elderly participants at the Kalyani Institute for Study, Planning and Action for Rural Change, India latched onto this technology quickly while a few refused to use the system. However, in all cases, the support of family members was crucial for

FPL official Laseter presents Center Director Bridges with a rebate check at KSC

NASA Technical Reports Server (NTRS)

1997-01-01

Larry Laseter (left), vice president of Sales and Marketing for the Florida Power & Light (FPL) Company, presents Kennedy Space Center (KSC) Director Roy Bridges Jr., with a rebate check for $195,000, recognizing KSC's commitment to reducing overall energy consumption and costs now and in the future. The energy savings realized by KSC come as a direct result of installing new chilled water systems hardware in the KSC Industrial Area Chiller Plant. KSC has received FPL rebates for its energy-saving efforts since 1993, but this check is the largest single-project rebate to date.

The impact of gender on the assessment of body checking behavior.

PubMed

Alfano, Lauren; Hildebrandt, Tom; Bannon, Katie; Walker, Catherine; Walton, Kate E

2011-01-01

Body checking includes any behavior aimed at global or specific evaluations of appearance characteristics. Men and women are believed to express these behaviors differently, possibly reflecting different socialization. However, there has been no empirical test of the impact of gender on body checking. A total of 1024 male and female college students completed two measures of body checking, the Body Checking Questionnaire and the Male Body Checking Questionnaire. Using multiple group confirmatory factor analysis, differential item functioning (DIF) was explored in a composite of these measures. Two global latent factors were identified (female and male body checking severity), and there were expected gender differences in these factors even after controlling for DIF. Ten items were found to be unbiased by gender and provide a suitable brief measure of body checking for mixed gender research. Practical applications for body checking assessment and theoretical implications are discussed. Copyright © 2010 Elsevier Ltd. All rights reserved.

Checking-up of optical graduated rules by laser interferometry

NASA Astrophysics Data System (ADS)

Miron, Nicolae P.; Sporea, Dan G.

1996-05-01

The main aspects related to the operating principle, design, and implementation of high-productivity equipment for checking-up the graduation accuracy of optical graduated rules used as a length reference in optical measuring instruments for precision machine tools are presented. The graduation error checking-up is done with a Michelson interferometer as a length transducer. The instrument operation is managed by a computer, which controls the equipment, data acquisition, and processing. The evaluation is performed for rule lengths from 100 to 3000 mm, with a checking-up error less than 2 micrometers/m. The checking-up time is about 15 min for a 1000-mm rule, with averaging over four measurements.

Cycle time reduction by Html report in mask checking flow

NASA Astrophysics Data System (ADS)

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.

49 CFR 1544.203 - Acceptance and screening of checked baggage.

Code of Federal Regulations, 2010 CFR

2010-10-01

... 49 Transportation 9 2010-10-01 2010-10-01 false Acceptance and screening of checked baggage. 1544... SECURITY: AIR CARRIERS AND COMMERCIAL OPERATORS Operations § 1544.203 Acceptance and screening of checked... its authorized aircraft operator representative. (c) Screening of checked baggage. Except as provided...

30 CFR 75.902-1 - Maximum voltage ground check circuits.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Maximum voltage ground check circuits. 75.902-1... Alternating Current Circuits § 75.902-1 Maximum voltage ground check circuits. The maximum voltage used for such ground check circuits shall not exceed 40 volts. ...

30 CFR 75.902-1 - Maximum voltage ground check circuits.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Maximum voltage ground check circuits. 75.902-1... Alternating Current Circuits § 75.902-1 Maximum voltage ground check circuits. The maximum voltage used for such ground check circuits shall not exceed 40 volts. ...

Construct validity and reliability of the Single Checking Administration of Medications Scale.

PubMed

O'Connell, Beverly; Hawkins, Mary; Ockerby, Cherene

2013-06-01

Research indicates that single checking of medications is as safe as double checking; however, many nurses are averse to independently checking medications. To assist with the introduction and use of single checking, a measure of nurses' attitudes, the thirteen-item Single Checking Administration of Medications Scale (SCAMS) was developed. We examined the psychometric properties of the SCAMS. Secondary analyses were conducted on data collected from 503 nurses across a large Australian health-care service. Analyses using exploratory and confirmatory factor analyses supported by structural equation modelling resulted in a valid twelve-item SCAMS containing two reliable subscales, the nine-item Attitudes towards single checking and three-item Advantages of single checking subscales. The SCAMS is recommended as a valid and reliable measure for monitoring nurses' attitudes to single checking prior to introducing single checking medications and after its implementation. © 2013 Wiley Publishing Asia Pty Ltd.

47 CFR 80.293 - Check bearings by authorized ship personnel.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 47 Telecommunication 5 2011-10-01 2011-10-01 false Check bearings by authorized ship personnel. 80... RADIO SERVICES STATIONS IN THE MARITIME SERVICES Equipment Authorization for Compulsory Ships § 80.293 Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if...

47 CFR 80.293 - Check bearings by authorized ship personnel.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 47 Telecommunication 5 2013-10-01 2013-10-01 false Check bearings by authorized ship personnel. 80... RADIO SERVICES STATIONS IN THE MARITIME SERVICES Equipment Authorization for Compulsory Ships § 80.293 Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if...

47 CFR 80.293 - Check bearings by authorized ship personnel.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 47 Telecommunication 5 2014-10-01 2014-10-01 false Check bearings by authorized ship personnel. 80... RADIO SERVICES STATIONS IN THE MARITIME SERVICES Equipment Authorization for Compulsory Ships § 80.293 Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if...

47 CFR 80.293 - Check bearings by authorized ship personnel.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 47 Telecommunication 5 2012-10-01 2012-10-01 false Check bearings by authorized ship personnel. 80... RADIO SERVICES STATIONS IN THE MARITIME SERVICES Equipment Authorization for Compulsory Ships § 80.293 Check bearings by authorized ship personnel. The requirement for calibration by check bearings is met if...

Quality control quantification (QCQ): a tool to measure the value of quality control checks in radiation oncology.

PubMed

Ford, Eric C; Terezakis, Stephanie; Souranis, Annette; Harris, Kendra; Gay, Hiram; Mutic, Sasa

2012-11-01

To quantify the error-detection effectiveness of commonly used quality control (QC) measures. We analyzed incidents from 2007-2010 logged into a voluntary in-house, electronic incident learning systems at 2 academic radiation oncology clinics. None of the incidents resulted in patient harm. Each incident was graded for potential severity using the French Nuclear Safety Authority scoring scale; high potential severity incidents (score >3) were considered, along with a subset of 30 randomly chosen low severity incidents. Each report was evaluated to identify which of 15 common QC checks could have detected it. The effectiveness was calculated, defined as the percentage of incidents that each QC measure could detect, both for individual QC checks and for combinations of checks. In total, 4407 incidents were reported, 292 of which had high-potential severity. High- and low-severity incidents were detectable by 4.0 ± 2.3 (mean ± SD) and 2.6 ± 1.4 QC checks, respectively (P<.001). All individual checks were less than 50% sensitive with the exception of pretreatment plan review by a physicist (63%). An effectiveness of 97% was achieved with 7 checks used in combination and was not further improved with more checks. The combination of checks with the highest effectiveness includes physics plan review, physician plan review, Electronic Portal Imaging Device-based in vivo portal dosimetry, radiation therapist timeout, weekly physics chart check, the use of checklists, port films, and source-to-skin distance checks. Some commonly used QC checks such as pretreatment intensity modulated radiation therapy QA do not substantially add to the ability to detect errors in these data. The effectiveness of QC measures in radiation oncology depends sensitively on which checks are used and in which combinations. A small percentage of errors cannot be detected by any of the standard formal QC checks currently in broad use, suggesting that further improvements are needed. These data

Incremental checking of Master Data Management model based on contextual graphs

NASA Astrophysics Data System (ADS)

Lamolle, Myriam; Menet, Ludovic; Le Duc, Chan

2015-10-01

The validation of models is a crucial step in distributed heterogeneous systems. In this paper, an incremental validation method is proposed in the scope of a Model Driven Engineering (MDE) approach, which is used to develop a Master Data Management (MDM) field represented by XML Schema models. The MDE approach presented in this paper is based on the definition of an abstraction layer using UML class diagrams. The validation method aims to minimise the model errors and to optimisethe process of model checking. Therefore, the notion of validation contexts is introduced allowing the verification of data model views. Description logics specify constraints that the models have to check. An experimentation of the approach is presented through an application developed in ArgoUML IDE.

Communication Satellite Payload Special Check out Equipment (SCOE) for Satellite Testing

NASA Astrophysics Data System (ADS)

Subhani, Noman

2016-07-01

This paper presents Payload Special Check out Equipment (SCOE) for the test and measurement of communication satellite Payload at subsystem and system level. The main emphasis of this paper is to demonstrate the principle test equipment, instruments and the payload test matrix for an automatic test control. Electrical Ground Support Equipment (EGSE)/ Special Check out Equipment (SCOE) requirements, functions and architecture for C-band and Ku-band payloads are presented in details along with their interface with satellite during different phases of satellite testing. It provides test setup, in a single rack cabinet that can easily be moved from payload assembly and integration environment to thermal vacuum chamber all the way to launch site (for pre-launch test and verification).

42 CFR 35.47 - Disposition of Government checks.

Code of Federal Regulations, 2012 CFR

2012-10-01

... 42 Public Health 1 2012-10-01 2012-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing such...

42 CFR 35.47 - Disposition of Government checks.

Code of Federal Regulations, 2013 CFR

2013-10-01

... 42 Public Health 1 2013-10-01 2013-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing such...

42 CFR 35.47 - Disposition of Government checks.

Code of Federal Regulations, 2014 CFR

2014-10-01

... 42 Public Health 1 2014-10-01 2014-10-01 false Disposition of Government checks. 35.47 Section 35... Disposition of Government checks. Notwithstanding any other provisions of this subpart, immediately upon... to the department, agency, or establishment of the Government of the United States issuing such...

42 CFR 35.47 - Disposition of Government checks.

Code of Federal Regulations, 2011 CFR

2011-10-01

... 42 Public Health 1 2011-10-01 2011-10-01 false Disposition of Government checks. 35.47 Section 35... 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...

Query Language for Location-Based Services: A Model Checking Approach

NASA Astrophysics Data System (ADS)

Hoareau, Christian; Satoh, Ichiro

We present a model checking approach to the rationale, implementation, and applications of a query language for location-based services. Such query mechanisms are necessary so that users, objects, and/or services can effectively benefit from the location-awareness of their surrounding environment. The underlying data model is founded on a symbolic model of space organized in a tree structure. Once extended to a semantic model for modal logic, we regard location query processing as a model checking problem, and thus define location queries as hybrid logicbased formulas. Our approach is unique to existing research because it explores the connection between location models and query processing in ubiquitous computing systems, relies on a sound theoretical basis, and provides modal logic-based query mechanisms for expressive searches over a decentralized data structure. A prototype implementation is also presented and will be discussed.

Background characterization of an ultra-low background liquid scintillation counter

DOE PAGES

Erchinger, J. L.; Orrell, John L.; Aalseth, C. E.; ...

2017-01-26

The Ultra-Low Background Liquid Scintillation Counter developed by Pacific Northwest National Laboratory will expand the application of liquid scintillation counting by enabling lower detection limits and smaller sample volumes. By reducing the overall count rate of the background environment approximately 2 orders of magnitude below that of commercially available systems, backgrounds on the order of tens of counts per day over an energy range of ~3–3600 keV can be realized. Finally, initial test results of the ULB LSC show promising results for ultra-low background detection with liquid scintillation counting.

Performance of Compiler-Assisted Memory Safety Checking

DTIC Science & Technology

2014-08-01

software developer has in mind a particular object to which the pointer should point, the intended referent. A memory access error occurs when an ac...Performance of Compiler-Assisted Memory Safety Checking David Keaton Robert C. Seacord August 2014 TECHNICAL NOTE CMU/SEI-2014-TN...based memory safety checking tool and the performance that can be achieved with two such tools whose source code is freely available. The note then

31 CFR 211.1 - Withholding delivery of checks.

Code of Federal Regulations, 2010 CFR

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

31 CFR 515.531 - Payment of certain checks and drafts.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 31 Money and Finance:Treasury 3 2013-07-01 2013-07-01 false Payment of certain checks and drafts... Licenses, Authorizations, and Statements of Licensing Policy § 515.531 Payment of certain checks and drafts... blocked accounts with such banking institution: (1) Of checks and drafts drawn or issued prior to the...

31 CFR 535.531 - Payment of certain checks and drafts.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 31 Money and Finance:Treasury 3 2011-07-01 2011-07-01 false Payment of certain checks and drafts... Licenses, Authorizations and Statements of Licensing Policy § 535.531 Payment of certain checks and drafts... from blocked accounts with such banking institution of checks and drafts drawn or issued prior to the...

31 CFR 535.531 - Payment of certain checks and drafts.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 31 Money and Finance:Treasury 3 2013-07-01 2013-07-01 false Payment of certain checks and drafts... Licenses, Authorizations and Statements of Licensing Policy § 535.531 Payment of certain checks and drafts... from blocked accounts with such banking institution of checks and drafts drawn or issued prior to the...

31 CFR 515.531 - Payment of certain checks and drafts.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance:Treasury 3 2012-07-01 2012-07-01 false Payment of certain checks and drafts... Licenses, Authorizations, and Statements of Licensing Policy § 515.531 Payment of certain checks and drafts... blocked accounts with such banking institution: (1) Of checks and drafts drawn or issued prior to the...

31 CFR 515.531 - Payment of certain checks and drafts.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 31 Money and Finance:Treasury 3 2014-07-01 2014-07-01 false Payment of certain checks and drafts... Licenses, Authorizations, and Statements of Licensing Policy § 515.531 Payment of certain checks and drafts... blocked accounts with such banking institution: (1) Of checks and drafts drawn or issued prior to the...

31 CFR 535.531 - Payment of certain checks and drafts.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 31 Money and Finance:Treasury 3 2014-07-01 2014-07-01 false Payment of certain checks and drafts... Licenses, Authorizations and Statements of Licensing Policy § 535.531 Payment of certain checks and drafts... from blocked accounts with such banking institution of checks and drafts drawn or issued prior to the...

31 CFR 535.531 - Payment of certain checks and drafts.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance:Treasury 3 2012-07-01 2012-07-01 false Payment of certain checks and drafts... Licenses, Authorizations and Statements of Licensing Policy § 535.531 Payment of certain checks and drafts... from blocked accounts with such banking institution of checks and drafts drawn or issued prior to the...

31 CFR 515.531 - Payment of certain checks and drafts.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 31 Money and Finance:Treasury 3 2011-07-01 2011-07-01 false Payment of certain checks and drafts... Licenses, Authorizations, and Statements of Licensing Policy § 515.531 Payment of certain checks and drafts... blocked accounts with such banking institution: (1) Of checks and drafts drawn or issued prior to the...

30 CFR 75.803-1 - Maximum voltage ground check circuits.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 30 Mineral Resources 1 2011-07-01 2011-07-01 false Maximum voltage ground check circuits. 75.803-1 Section 75.803-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE... § 75.803-1 Maximum voltage ground check circuits. The maximum voltage used for ground check circuits...

30 CFR 75.803-1 - Maximum voltage ground check circuits.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 30 Mineral Resources 1 2010-07-01 2010-07-01 false Maximum voltage ground check circuits. 75.803-1 Section 75.803-1 Mineral Resources MINE SAFETY AND HEALTH ADMINISTRATION, DEPARTMENT OF LABOR COAL MINE... § 75.803-1 Maximum voltage ground check circuits. The maximum voltage used for ground check circuits...

28 CFR 25.5 - Validation and data integrity of records in the system.

Code of Federal Regulations, 2010 CFR

2010-07-01

... INFORMATION SYSTEMS The National Instant Criminal Background Check System § 25.5 Validation and data integrity... 28 Judicial Administration 1 2010-07-01 2010-07-01 false Validation and data integrity of records... verify that the information provided to the NICS Index remains valid and correct. (b) Each data source...

Delivery quality assurance with ArcCHECK

DOE Office of Scientific and Technical Information (OSTI.GOV)

Neilson, Christopher; Klein, Michael; Barnett, Rob

2013-04-01

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

SpermCheck: a simplified screening assay for immunological infertility.

PubMed

McClure, R D; Tom, R A; Watkins, M; Murthy, S

1989-10-01

SpermCheck (Bio-Rad Laboratories, Hercules, CA), a new screening test for regional surface antibodies on motile sperm, uses monodispersed latex microspheres of uniform size as a vehicle to link rabbit antihuman immunoglobulins (IgA, IgG, IgM) and provides both negative and positive control sera, as well as sufficient buffer for sperm preparation in ambient CO2 atmosphere. When compared with reference data available for the immunobead test (IBT), the direct protocol (semen) for SpermCheck yielded 94.4% sensitivity with 100% specificity; the indirect protocol (serum) provided a sensitivity of 100% with 94.7% specificity. The microspheres of SpermCheck maintain a nearly uniform concentration per volume, with none to negligible clumping. The greater difference between the optical densities of latex and cytoplasm allows use of a light microscope for the rapid assessment of the percent of regional binding rather than the phase-contrast microscope required for the IBT. SpermCheck eliminates many difficulties encountered with the IBT, making SpermCheck a convenient screening assay for use in the physician's office.

Method of Error Floor Mitigation in Low-Density Parity-Check Codes

NASA Technical Reports Server (NTRS)

Hamkins, Jon (Inventor)

2014-01-01

A digital communication decoding method for low-density parity-check coded messages. The decoding method decodes the low-density parity-check coded messages within a bipartite graph having check nodes and variable nodes. Messages from check nodes are partially hard limited, so that every message which would otherwise have a magnitude at or above a certain level is re-assigned to a maximum magnitude.

Transforming hemoglobin measurement in trauma patients: noninvasive spot check hemoglobin.

PubMed

Joseph, Bellal; Pandit, Viraj; Aziz, Hassan; Kulvatunyou, Narong; Zangbar, Bardiya; Tang, Andrew; O' Keeffe, Terence; Jehangir, Qasim; Snyder, Kara; Rhee, Peter

2015-01-01

Technological advances now allow for noninvasive Hbg measurements. Previous studies have reported on the efficacy of continuous noninvasive Hgb devices. Recently, a new device, Pronto-7, a spot check pulse CO-oximeter has become available. The aim of our study was to assess noninvasive Hgb measurement in trauma patients. We performed a prospective cohort analysis of all trauma patients presenting to our Level I trauma center. Invasive Hgb and spot check Hgb measurements were obtained simultaneously at presentation. Spot check was measured 2 times with each invasive Hgb value. Normal Hgb was defined as >8 mg/dL. Spearman correlation and Bland-Altman analysis was performed. A total of 525 patients had attempted spot check Hgb measurements with a success rate of 86% (n = 450). A total of 450 invasive and 1,350 spot check Hgb measurements were obtained. Mean ± SD age was 41 ± 21 years, 74% were male, and mean Injury Severity Score was 21 ± 13. Thirty-eight percent (n = 173) of patients had Hgb ≤8 mg/dL at presentation. Mean invasive Hgb was 11.5 ± 4.36 g/dL, mean spot check Hgb 11.1 ± 3.60 g/dL, and mean difference was 0.3 ± 1.3 g/dL. Spot check Hgb values had strong correlation with invasive Hgb measurements (R(2) = 0.77; R = 0.86; p = 0.04) with 76% accuracy and 95.4% sensitivity. Spot check Hgb monitoring had excellent correlation with invasive Hgb measurements. Application of spot check has more clinical use as compared with previous continuous Hgb monitoring. This novel technology allows immediate and accurate Hgb measurements in trauma patients. Copyright © 2015 American College of Surgeons. Published by Elsevier Inc. All rights reserved.

42 CFR 455.434 - Criminal background checks.

Code of Federal Regulations, 2012 CFR

2012-10-01

... that each such provider or person submit fingerprints. (2) The State Medicaid agency must require a... submit a set of fingerprints, in a form and manner to be determined by the State Medicaid agency, within...

42 CFR 455.434 - Criminal background checks.

Code of Federal Regulations, 2013 CFR

2013-10-01

... that each such provider or person submit fingerprints. (2) The State Medicaid agency must require a... submit a set of fingerprints, in a form and manner to be determined by the State Medicaid agency, within...

42 CFR 455.434 - Criminal background checks.

Code of Federal Regulations, 2014 CFR

2014-10-01

... that each such provider or person submit fingerprints. (2) The State Medicaid agency must require a... submit a set of fingerprints, in a form and manner to be determined by the State Medicaid agency, within...

42 CFR 455.434 - Criminal background checks.

Code of Federal Regulations, 2011 CFR

2011-10-01

... that each such provider or person submit fingerprints. (2) The State Medicaid agency must require a... submit a set of fingerprints, in a form and manner to be determined by the State Medicaid agency, within...

Visplause: Visual Data Quality Assessment of Many Time Series Using Plausibility Checks.

PubMed

Arbesser, Clemens; Spechtenhauser, Florian; Muhlbacher, Thomas; Piringer, Harald

2017-01-01

Trends like decentralized energy production lead to an exploding number of time series from sensors and other sources that need to be assessed regarding their data quality (DQ). While the identification of DQ problems for such routinely collected data is typically based on existing automated plausibility checks, an efficient inspection and validation of check results for hundreds or thousands of time series is challenging. The main contribution of this paper is the validated design of Visplause, a system to support an efficient inspection of DQ problems for many time series. The key idea of Visplause is to utilize meta-information concerning the semantics of both the time series and the plausibility checks for structuring and summarizing results of DQ checks in a flexible way. Linked views enable users to inspect anomalies in detail and to generate hypotheses about possible causes. The design of Visplause was guided by goals derived from a comprehensive task analysis with domain experts in the energy sector. We reflect on the design process by discussing design decisions at four stages and we identify lessons learned. We also report feedback from domain experts after using Visplause for a period of one month. This feedback suggests significant efficiency gains for DQ assessment, increased confidence in the DQ, and the applicability of Visplause to summarize indicators also outside the context of DQ.

Double checking medicines: defence against error or contributory factor?

PubMed

Armitage, Gerry

2008-08-01

The double checking of medicines in health care is a contestable procedure. It occupies an obvious position in health care practice and is understood to be an effective defence against medication error but the process is variable and the outcomes have not been exposed to testing. This paper presents an appraisal of the process using data from part of a larger study on the contributory factors in medication errors and their reporting. Previous research studies are reviewed; data are analysed from a review of 991 drug error reports and a subsequent series of 40 in-depth interviews with health professionals in an acute hospital in northern England. The incident reports showed that errors occurred despite double checking but that action taken did not appear to investigate the checking process. Most interview participants (34) talked extensively about double checking but believed the process to be inconsistent. Four key categories were apparent: deference to authority, reduction of responsibility, automatic processing and lack of time. Solutions to the problems were also offered, which are discussed with several recommendations. Double checking medicines should be a selective and systematic procedure informed by key principles and encompassing certain behaviours. Psychological research may be instructive in reducing checking errors but the aviation industry may also have a part to play in increasing error wisdom and reducing risk.

Final Checks of Aquarius Instrument

NASA Image and Video Library

2011-04-29

Less than two months before launch, team members conduct their final checks of NASA Aquarius instrument at Vandenberg Air Force Base, Calif. Subsequent final instrument tests will be conducted on the launch pad.

31 CFR 10.31 - Negotiation of taxpayer checks.

Code of Federal Regulations, 2011 CFR

2011-07-01

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

31 CFR 10.31 - Negotiation of taxpayer checks.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 31 Money and Finance: Treasury 1 2012-07-01 2012-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...

31 CFR 10.31 - Negotiation of taxpayer checks.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 31 Money and Finance: Treasury 1 2013-07-01 2013-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...

31 CFR 10.31 - Negotiation of taxpayer checks.

Code of Federal Regulations, 2010 CFR

2010-07-01

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

31 CFR 10.31 - Negotiation of taxpayer checks.

Code of Federal Regulations, 2014 CFR

2014-07-01

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

Online Health Check for Reducing Alcohol Intake among Employees: A Feasibility Study in Six Workplaces across England

PubMed Central

Khadjesari, Zarnie; Newbury-Birch, Dorothy; Murray, Elizabeth; Shenker, Don; Marston, Louise; Kaner, Eileen

2015-01-01

Background Most hazardous and harmful drinkers are of working age and do not seek help with their drinking. Occupational health services are uniquely placed to universally screen employees across the range of socioeconomic and ethnic groups. The aim was to explore the feasibility and acceptability of offering electronic screening and brief intervention for alcohol misuse in the context of a health check in six different workplace settings. Methods and Findings Employees were recruited from six workplaces across England, including three local authorities, one university, one hospital and one petro-chemical company. A total of 1,254 (8%) employees completed the health check and received personalised feedback on their alcohol intake, alongside feedback on smoking, fruit and vegetable consumption and physical activity. Most participants were female (65%) and of ‘White British’ ethnicity (94%), with a mean age of 43 years (SD 11). Participants were mostly in Intermediate occupations (58%), followed by Higher managerial / professional (39%) and Routine and manual occupations (2%). A quarter of participants (25%) were drinking at hazardous levels (33% male, 21% female), which decreased with age. Sixty-four percent (n=797) of participants completed online follow-up at three months. Most participants were supportive of workplaces offering employees an online health check (95%), their preferred format was online (91%) and many were confident of the confidentiality of their responses (60%). Whilst the feedback reminded most participants of things they already knew (75%), some were reportedly motivated to change their behaviour (13%). Conclusions Online health screening and personalised feedback appears feasible and acceptable, but challenges include low participation rates, potentially attracting ‘worried well’ employees rather than those at greatest health risk, and less acceptance of the approach among older employees and those from ethnic minority backgrounds and

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

Code of Federal Regulations, 2010 CFR

2010-04-01

... 25 Indians 1 2010-04-01 2010-04-01 false May we accept for deposit into a trust account retirement checks/payments or pension fund checks/payments even though those funds are not specified in § 115.702? 115.704 Section 115.704 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR FINANCIAL ACTIVITIES TRUST FUNDS FOR TRIBES AND INDIVIDUAL...

An Algorithm for Automatic Checking of Exercises in a Dynamic Geometry System: iGeom

ERIC Educational Resources Information Center

Isotani, Seiji; de Oliveira Brandao, Leonidas

2008-01-01

One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of tools supporting the authoring and automatic checking of exercises for specifics topics (e.g., geometry) drastically reduces advantages in the use of e-learning environments on a larger scale, as usually happens in Brazil.…

Technical note: A 3D-printed phantom for routine accuracy check of Gamma Knife Icon HDMM system.

PubMed

Wu, Chuan; Radevic, Marlyn B; Glass, Jennifer S; Skubic, Stan E

2018-05-23

To report a novel 3D-printed device ("SH phantom") that is designed for routine accuracy check of the Gamma Knife Icon High Definition Motion Management (HDMM) system. SH phantom was designed using tinkerCAD software and printed on a commercial 3D printer. We evaluated the SH phantom on our Gamma Knife Icon unit regarding its usability and accuracy for routine HDMM QA. Single-axis and multiple-axis measurements validated the SH phantom design and implementation. An HDMM QA accuracy of 0.22 mm or better along single axis was found using SH phantom. The SH phantom proved to be a quick and simple tool to use to perform the HDMM system QA. The SH phantom was tested successfully and adopted by us as part of monthly QA for the Gamma Knife Icon. © 2018 The Authors. Journal of Applied Clinical Medical Physics published by Wiley Periodicals, Inc. on behalf of American Association of Physicists in Medicine.

Studies of the Low-energy Gamma Background

NASA Astrophysics Data System (ADS)

Bikit, K.; Mrđa, D.; Bikit, I.; Slivka, J.; Veskovic, M.; Knezevic, D.

The investigations of contribution to the low-energy part of background gamma spectrum (below 100 keV) and knowing detection efficiency for this region are important for both, a fundamental, as well as for applied research. In this work, the components contributing to the low-energy region of background gamma spectrum for shielded detector are analyzed, including the production and spectral distribution of muon-induced continuous low-energy radiation in the vicinity of high-purity germanium detector.In addition, the detection efficiency for low energy gamma region is determined using the GEANT 4 simulation package. This technique offers excellent opportunity to predict the detection response in mentioned region. Unfortunately, the frequently weakly known dead layer thickness on the surface of the extended-range detector, as well as some processes which are not incorporated in simulation (e.g. charge collection from detector active volume) may limit the reliability of simulation technique. Thus, the 14, 17, 21, 26, 33, 59.5 keV transitions in the calibrated 241Am point source were used to check the simulated efficiencies.

Neural dynamic optimization for control systems. I. Background.

PubMed

Seong, C Y; Widrow, B

2001-01-01

The paper presents neural dynamic optimization (NDO) as a method of optimal feedback control for nonlinear multi-input-multi-output (MIMO) systems. The main feature of NDO is that it enables neural networks to approximate the optimal feedback solution whose existence dynamic programming (DP) justifies, thereby reducing the complexities of computation and storage problems of the classical methods such as DP. This paper mainly describes the background and motivations for the development of NDO, while the two other subsequent papers of this topic present the theory of NDO and demonstrate the method with several applications including control of autonomous vehicles and of a robot arm, respectively.

42 CFR 433.40 - Treatment of uncashed or cancelled (voided) Medicaid checks.

Code of Federal Regulations, 2010 CFR

2010-10-01

...) Medicaid checks. 433.40 Section 433.40 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT...) Medicaid checks. (a) Purpose. This section provides the rules to ensure that States refund the Federal...— Cancelled (voided) check means a Medicaid check issued by a State or fiscal agent which prior to its being...

Astronaut Sherwood Spring on RMS checks joints on the ACCESS device

NASA Image and Video Library

1985-11-27

Astronaut Sherwood C. Spring, anchored to the foot restraint on the remote manipulator system (RMS) arm, checks joints on the tower-like Assembly Concept for Construction of Erectable Space Structures (ACCESS) device extending from the payload bay as the Atlantis flies over white clouds and blue ocean waters. The Gulf of Mexico waters form the backdrop for the scene.

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

ERIC Educational Resources Information Center

Spignesi, B.

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

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

ERIC Educational Resources Information Center

Craig, Robert J.

2005-01-01

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

Astronaut Alan B. Shepard has his blood pressure and temperature checked

NASA Technical Reports Server (NTRS)

1961-01-01

Astronaut Alan B. Shepard has a thermometer in his mouth to check his temperature checked prior to his Mercury-Redstone 3 (MR-3) mission, the first American manned suborbital space flight (02739); Shepard has his heart rate checked. The attending physician is Dr. William K. Douglas (02740).

Spot-checks to measure general hygiene practice.

PubMed

Sonego, Ina L; Mosler, Hans-Joachim

2016-01-01

A variety of hygiene behaviors are fundamental to the prevention of diarrhea. We used spot-checks in a survey of 761 households in Burundi to examine whether something we could call general hygiene practice is responsible for more specific hygiene behaviors, ranging from handwashing to sweeping the floor. Using structural equation modeling, we showed that clusters of hygiene behavior, such as primary caregivers' cleanliness and household cleanliness, explained the spot-check findings well. Within our model, general hygiene practice as overall concept explained the more specific clusters of hygiene behavior well. Furthermore, the higher general hygiene practice, the more likely children were to be categorized healthy (r = 0.46). General hygiene practice was correlated with commitment to hygiene (r = 0.52), indicating a strong association to psychosocial determinants. The results show that different hygiene behaviors co-occur regularly. Using spot-checks, the general hygiene practice of a household can be rated quickly and easily.

Breathers and solitons on two different backgrounds in a generalized coupled Hirota system with four wave mixing

NASA Astrophysics Data System (ADS)

Xu, Han-Xiang; Yang, Zhan-Ying; Zhao, Li-Chen; Duan, Liang; Yang, Wen-Li

2018-07-01

We study breathers and solitons on different backgrounds in optical fiber system, which is governed by generalized coupled Hirota equations with four wave mixing effect. On plane wave background, a transformation between different types of solitons is discovered. Then, on periodic wave background, we find breather-like nonlinear localized waves of which formation mechanism are related to the energy conversion between two components. The energy conversion results from four wave mixing. Furthermore, we prove that this energy conversion is controlled by amplitude and period of backgrounds. Finally, solitons on periodic wave background are also exhibited. These results would enrich our knowledge of nonlinear localized waves' excitation in coupled system with four wave mixing effect.

Comparison of online reporting systems and their compatibility check with respective adverse drug reaction reporting forms.

PubMed

Maharshi, Vikas; Nagar, Pravesh

2017-01-01

Different forms and online tools are available in different countries for spontaneous reporting, one of the most widely used methods of pharmacovigilance. Capturing sufficient information and adequate compatibility of online systems with respective reporting form is highly desirable for appropriate reporting of adverse drug reactions (ADRs). This study was aimed to compare three major online reporting systems (US, UK, and WHO) of the world and also to check their compatibility with the respective ADR reporting form. A total of 89 data elements to provide relevant information were found out from above three online reporting systems. All three online systems were compared regarding magnitude of information captured by each of them and scoring was done by providing a score of "1" to each element. Compatibility of ADR reporting forms of India (Red form), US (Form 3500), and UK (Yellow card form) was assessed by comparing the information gathered by them with that can be entered into their respective online reporting systems, namely, "VigiFlow," "US online reporting," and "Yellow card online reporting." Each unmatching item was given a score of "-1". VigiFlow scored "74" points, whereas online reporting systems of the US and UK scored "56" and "49," respectively, regarding magnitude of the information gathered by them. Compatibility score was found to be "0," "-9," and "-26" in case of ADR reporting systems of US, UK, and India, respectively. Our study reveals that "VigiFlow" is capable of capturing the maximum amount of information but "Form 3500" and "Online reporting system of US" are maximally compatible to each other among ADR reporting systems of all three countries.

CrossCheck plagiarism screening : Experience of the Journal of Epidemiology

NASA Astrophysics Data System (ADS)

Hashimoto, Katsumi

Due to technological advances in the past two decades, researchers now have unprecedented access to a tremendous amount of useful information. However, because of the extreme pressure to publish, this abundance of information can sometimes tempt researchers to commit scientific misconduct. A serious form of such misconduct is plagiarism. Editors are always concerned about the possibility of publishing plagiarized manuscripts. The plagiarism detection tool CrossCheck allows editors to scan and analyze manuscripts effectively. The Journal of Epidemiology took part in a trial of CrossCheck, and this article discusses the concerns journal editors might have regarding the use of CrossCheck and its analysis. In addition, potential problems identified by CrossCheck, including self-plagiarism, are introduced.

Drug checking: a potential solution to the opioid overdose epidemic?

PubMed

Bardwell, Geoff; Kerr, Thomas

2018-05-25

North America is experiencing an overdose epidemic driven in part by the proliferation of illicitly-manufactured fentanyl and related analogues. In response, communities are scaling up novel overdose prevention interventions. Included are drug checking technologies. Drug checking technologies aim to identify the contents of illicit drugs. These technologies vary considerably in terms of cost, accuracy, and usability, and while efforts are now underway to implement drug checking programs for people who inject drugs, there remains a lack of rigorous evaluation of their impacts. Given the ongoing overdose crisis and the urgent need for effective responses, research on drug checking should be prioritized. However, while such research should be supported, it should be completed before these technologies are widely implemented.

Strategy optimization for mask rule check in wafer fab

NASA Astrophysics Data System (ADS)

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

2015-07-01

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

Redundancy checking algorithms based on parallel novel extension rule

NASA Astrophysics Data System (ADS)

Liu, Lei; Yang, Yang; Li, Guangli; Wang, Qi; Lü, Shuai

2017-05-01

Redundancy checking (RC) is a key knowledge reduction technology. Extension rule (ER) is a new reasoning method, first presented in 2003 and well received by experts at home and abroad. Novel extension rule (NER) is an improved ER-based reasoning method, presented in 2009. In this paper, we first analyse the characteristics of the extension rule, and then present a simple algorithm for redundancy checking based on extension rule (RCER). In addition, we introduce MIMF, a type of heuristic strategy. Using the aforementioned rule and strategy, we design and implement RCHER algorithm, which relies on MIMF. Next we design and implement an RCNER (redundancy checking based on NER) algorithm based on NER. Parallel computing greatly accelerates the NER algorithm, which has weak dependence among tasks when executed. Considering this, we present PNER (parallel NER) and apply it to redundancy checking and necessity checking. Furthermore, we design and implement the RCPNER (redundancy checking based on PNER) and NCPPNER (necessary clause partition based on PNER) algorithms as well. The experimental results show that MIMF significantly influences the acceleration of algorithm RCER in formulae on a large scale and high redundancy. Comparing PNER with NER and RCPNER with RCNER, the average speedup can reach up to the number of task decompositions when executed. Comparing NCPNER with the RCNER-based algorithm on separating redundant formulae, speedup increases steadily as the scale of the formulae is incrementing. Finally, we describe the challenges that the extension rule will be faced with and suggest possible solutions.

ETR HEAT EXCHANGER BUILDING, TRA644. WORKERS CHECK INTERIOR OF ONE ...

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

ETR HEAT EXCHANGER BUILDING, TRA-644. WORKERS CHECK INTERIOR OF ONE OF THE TWELVE HEAT EXCHANGER UNITS. COOLANT FROM ETR WILL ENTER EXCHANGERS AT TEMPERATURE OF 137.5 DEGREES F. AND LEAVE THE SYSTEM AT 110 DEGREES F. SECONDARY WATER WILL ENTER AT 78 DEGREES F. AND LEAVE SYSTEM AT 110 DEGREES F. INL NEGATIVE NO. 56-3712. R.G. Larsen, Photographer, 11/13/1956 - Idaho National Engineering Laboratory, Test Reactor Area, Materials & Engineering Test Reactors, Scoville, Butte County, ID

Model checking for linear temporal logic: An efficient implementation

NASA Technical Reports Server (NTRS)

Sherman, Rivi; Pnueli, Amir

1990-01-01

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

Masking potency and whiteness of noise at various noise check sizes.

PubMed

Kukkonen, H; Rovamo, J; Näsänen, R

1995-02-01

The masking effect of spatial noise can be increased by increasing either the rms contrast or check size of noise. In this study, the authors investigated the largest noise check size that still mimics the effect of white noise in grating detection and how it depends on the bandwidth and spatial frequency of a grating. The authors measured contrast energy thresholds, E, for vertical cosine gratings at various spatial frequencies and bandwidths. Gratings were embedded in two-dimensional spatial noise. The side length of the square noise checks was varied in the experiments. The spectral density, N(0,0), of white spatial noise at zero frequency was calculated by multiplying the noise check area by the rms contrast of noise squared. The physical signal-to-noise ratio at threshold [E/N(0,0)]0.5 was initially constant but then started to decrease. The largest noise check that still produced a constant physical signal-to-noise ratio at threshold was directly proportional to the spatial frequency. When expressed as a fraction of grating cycle, the largest noise check size depended only on stimulus bandwidth. The smallest number of noise checks per grating cycle needed to mimic the effect of white noise decreased from 4.2 to 2.6 when the number of grating cycles increased from 1 to 64. Spatial noise can be regarded as white in grating detection if there are at least four square noise checks per grating cycle at all spatial frequencies.

Research on high-speed railway's vibration analysis checking based on intelligent mobile terminal

NASA Astrophysics Data System (ADS)

Li, Peigang; Xie, Shulin; Zhao, Xuefeng

2017-04-01

Recently, the development of high-speed railway meets the requirement of society booming and it has gradually become the first choice for long-length journey. Since ensuring the safety and stable operation are of great importance to high-speed trains owing to its unique features, vibration analysis checking is one of main means to be adopted. Due to the popularization of Smartphone, in this research, a novel public-participating method to achieve high-speed railway's vibration analysis checking based on smartphone and an inspection application of high-speed railway line built in the intelligent mobile terminal were proposed. Utilizing the accelerometer, gyroscope, GPS and other high-performance sensors which were integrated in smartphone, the application can obtain multiple parameters like acceleration, angle, etc and pinpoint the location. Therefore, through analyzing the acceleration data in time domain and frequency domain using fast Fourier transform, the research compared much of data from monitoring tests under different measure conditions and measuring points. Furthermore, an idea of establishing a system about analysis checking was outlined in paper. It has been validated that the smartphone-based high-speed railway line inspection system is reliable and feasible on the high-speed railway lines. And it has more advantages, such as convenience, low cost and being widely used. Obviously, the research has important practical significance and broad application prospects.

Geometric facial comparisons in speed-check photographs.

PubMed

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

2011-11-01

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

Cryocooled terahertz photoconductive detector system with background-limited performance in 1.5-4 THz frequency range.

PubMed

Aoki, Makoto; Hiromoto, Norihisa

2015-10-01

We describe a 4-K-cryocooled dual-band terahertz (THz) photoconductive detector system with background-limited performance. The detector system comprises two THz photoconductive detectors covering a response in a wide frequency range from 1.5 to 4 THz, low noise amplifiers, optical low-pass filters to eliminate input radiation of higher frequencies, and a mechanical 4 K Gifford-McMahon refrigerator that provides practical and convenient operation without a liquid He container. The electrical and optical performances of the THz detector system were evaluated at a detector temperature of 4 K under 300 K background radiation. We proved that the detector system can achieve background-limited noise-equivalent-power on the order of 10(-14) W/Hz(1/2) in the frequency range from 1.5 to 4 THz even if the vibration noise of the mechanical refrigerator is present.

10 CFR 35.643 - Periodic spot-checks for remote afterloader units.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 10 Energy 1 2010-01-01 2010-01-01 false Periodic spot-checks for remote afterloader units. 35.643... spot-checks for remote afterloader units. (a) A licensee authorized to use a remote afterloader unit for medical use shall perform spot-checks of each remote afterloader facility and on each unit— (1...

Background considerations in the analysis of PIXE spectra by Artificial Neural Systems.

NASA Astrophysics Data System (ADS)

Correa, R.; Morales, J. R.; Requena, I.; Miranda, J.; Barrera, V. A.

2016-05-01

In order to study the importance of background in PIXE spectra to determine elemental concentrations in atmospheric aerosols using artificial neural systems ANS, two independently trained ANS were constructed, one which considered as input the net number of counts in the peak, and another which included the background. In the training and validation phases thirty eight spectra of aerosols collected in Santiago, Chile, were used. In both cases the elemental concentration values were similar. This fact was due to the intrinsic characteristic of ANS operating with normalized values of the net and total number of counts under the peaks, something that was verified in the analysis of 172 spectra obtained from aerosols collected in Mexico city. Therefore, networks operating under the mode which include background can reduce time and cost when dealing with large number of samples.

Sediment trapping efficiency of adjustable check dam in laboratory and field experiment

NASA Astrophysics Data System (ADS)

Wang, Chiang; Chen, Su-Chin; Lu, Sheng-Jui

2014-05-01

Check dam has been constructed at mountain area to block debris flow, but has been filled after several events and lose its function of trapping. For the reason, the main facilities of our research is the adjustable steel slit check dam, which with the advantages of fast building, easy to remove or adjust it function. When we can remove transverse beams to drain sediments off and keep the channel continuity. We constructed adjustable steel slit check dam on the Landow torrent, Huisun Experiment Forest station as the prototype to compare with model in laboratory. In laboratory experiments, the Froude number similarity was used to design the dam model. The main comparisons focused on types of sediment trapping and removing, sediment discharge, and trapping rate of slit check dam. In different types of removing transverse beam showed different kind of sediment removal and differences on rate of sediment removing, removing rate, and particle size distribution. The sediment discharge in check dam with beams is about 40%~80% of check dam without beams. Furthermore, the spacing of beams is considerable factor to the sediment discharge. In field experiment, this research uses time-lapse photography to record the adjustable steel slit check dam on the Landow torrent. The typhoon Soulik made rainfall amounts of 600 mm in eight hours and induced debris flow in Landow torrent. Image data of time-lapse photography demonstrated that after several sediment transport event the adjustable steel slit check dam was buried by debris flow. The result of lab and field experiments: (1)Adjustable check dam could trap boulders and stop woody debris flow and flush out fine sediment to supply the need of downstream river. (2)The efficiency of sediment trapping in adjustable check dam with transverse beams was significantly improved. (3)The check dam without transverse beams can remove the sediment and keep the ecosystem continuity.

Retrospective checking of compliance with practice guidelines for acute stroke care: a novel experiment using openEHR’s Guideline Definition Language

PubMed Central

2014-01-01

Background Providing scalable clinical decision support (CDS) across institutions that use different electronic health record (EHR) systems has been a challenge for medical informatics researchers. The lack of commonly shared EHR models and terminology bindings has been recognised as a major barrier to sharing CDS content among different organisations. The openEHR Guideline Definition Language (GDL) expresses CDS content based on openEHR archetypes and can support any clinical terminologies or natural languages. Our aim was to explore in an experimental setting the practicability of GDL and its underlying archetype formalism. A further aim was to report on the artefacts produced by this new technological approach in this particular experiment. We modelled and automatically executed compliance checking rules from clinical practice guidelines for acute stroke care. Methods We extracted rules from the European clinical practice guidelines as well as from treatment contraindications for acute stroke care and represented them using GDL. Then we executed the rules retrospectively on 49 mock patient cases to check the cases’ compliance with the guidelines, and manually validated the execution results. We used openEHR archetypes, GDL rules, the openEHR reference information model, reference terminologies and the Data Archetype Definition Language. We utilised the open-sourced GDL Editor for authoring GDL rules, the international archetype repository for reusing archetypes, the open-sourced Ocean Archetype Editor for authoring or modifying archetypes and the CDS Workbench for executing GDL rules on patient data. Results We successfully represented clinical rules about 14 out of 19 contraindications for thrombolysis and other aspects of acute stroke care with 80 GDL rules. These rules are based on 14 reused international archetypes (one of which was modified), 2 newly created archetypes and 51 terminology bindings (to three terminologies). Our manual compliance checks for