Sample records for alliance program verification

  1. KSC-03PD-1084

    NASA Technical Reports Server (NTRS)

    2003-01-01

    KENNEDY SPACE CENTER, FLA. -- In the Orbiter Processing Facility, United Space Alliance employee Dave Sanborn (left) conducts a bond verification test on Thermal Protection System tiles installed on a main landing gear door of Space Shuttle orbiter Enterprise (OV-101). Sections of Enterprise were borrowed from the Smithsonian Institution's Air and Space Museum where the orbiter is being stored at the Washington Dulles International Airport. Enterprise was the first orbiter built in the Shuttle fleet and was used to conduct the Approach and Landing Test Program before the first powered Shuttle flight. After the tile installation is complete, the sections will be transferred to the Southwest Research Institute for testing requested by the Columbia Accident Investigation Board.

  2. Aligning Forces for Quality multi-stakeholder healthcare alliances: do they have a sustainable future?

    PubMed

    Alexander, Jeffrey A; Hearld, Larry R; Wolf, Laura J; Vanderbrink, Jocelyn M

    2016-08-01

    Multi-stakeholder healthcare alliances in the Robert Wood Johnson Foundation's Aligning Forces for Quality (AF4Q) program brought together diverse stakeholders to work collaboratively to improve healthcare in their local communities. This article evaluates how well the AF4Q alliances were collectively positioned to sustain themselves as AF4Q program support ended. This analysis relied on a mixed-methods design using data from a survey of more than 700 participants in 15 of the 16 AF4Q alliances (1 alliance was unable to participate because it was in the process of closing down operations at the time of survey implementation), qualitative interviews with leaders in all 16 of the alliances, and secondary sources. Qualitative analysis of interview data and secondary sources were used to develop a classification of alliance strategic directions after the AF4Q program relative to their strategies during the AF4Q initiative. Descriptive analyses of survey data were conducted in the following areas: (1) alliance priorities for sustainability, (2) alliance positioning for sustainability, and (3) alliance challenges to sustainability. The likelihood of sustainability and the strategic direction of the former AF4Q alliances are both decidedly mixed. A substantial number of alliances are at risk because of an unclear strategic direction following the AF4Q program, poor financial support, and a lack of relevant community leadership. Some have a clear plan to continue on the path they set during the program. Others appear likely to continue to operate, but they plan to do so in a form that differs from the neutral convener multi-stakeholder model emphasized during the AF4Q program as they specialize, make a major shift in focus, develop fee-for-service products, or focus on particular stakeholder groups (ie, employers and providers). In most cases, preserving the organization itself, rather than its programmatic activities from the AF4Q program era, appeared to receive the greatest emphasis in sustainability efforts. As their core strategy, most alliances will not perpetuate the original AF4Q program vision of diverse local stakeholders coming together to implement a prescribed set of aligned interventions centered on healthcare improvement.

  3. From rhetoric to reality: consumer engagement in 16 multi-stakeholder alliances.

    PubMed

    Greene, Jessica; Farley, Diane C; Christianson, Jon B; Scanlon, Dennis P; Shi, Yunfeng

    2016-08-01

    A key component of the Aligning Forces for Quality (AF4Q) program was engaging consumers in their health and healthcare. We examined the extent to which the alliances embraced 4 areas of consumer engagement: self-management, consumer friendliness of reports of healthcare provider quality, involvement of consumers in alliance governance, and the integration of consumers into quality improvement teams. We used a largely qualitative approach. The evaluation team conducted 1100 in-depth interviews with alliance stakeholders. Two authors reviewed the consumer engagement data for each alliance to assess its level of embrace in the 4 consumer engagement areas. For consumer friendliness of public reporting websites, we also assessed alliance public reports for reading level, technical language, and evaluable displays. Population-level effects were also examined for self-management and public reporting. Consumer engagement was new to most alliances, and few had staff with consumer engagement expertise or existing consumer constituencies. For each area of consumer engagement, some alliances enthusiastically embraced the work, other alliances made a concerted but limited effort to develop programs, and a third group of alliances did the minimum work required. Integrating consumers into governance was the area most often embraced, followed by making public reports consumer friendly. Two alliances strongly embraced both self-management and integrating patients into quality improvement efforts. The AF4Q program did not have greater population level effects from self-management or public reporting than were those observed in a national comparison sample. The AF4Q program sparked a few alliances to develop robust consumer engagement programming, while most alliances tried consumer engagement efforts for the first time and developed an appreciation for integrating consumer perspectives into their work.

  4. KSC-03PD-1082

    NASA Technical Reports Server (NTRS)

    2003-01-01

    KENNEDY SPACE CENTER, FLA. -- In the Orbiter Processing Facility, United Space Alliance employees (from left) Dave Sanborn, Butch Lato, and Bill Brooks conduct a bond verification test on Thermal Protection System tiles newly installed on a main landing gear door of Space Shuttle orbiter Enterprise (OV-101). Sections of Enterprise were borrowed from the Smithsonian Institution's Air and Space Museum where the orbiter is being stored at the Washington Dulles International Airport. Enterprise was the first orbiter built in the Shuttle fleet and was used to conduct the Approach and Landing Test Program before the first powered Shuttle flight. After the tile installation is complete, the sections will be transferred to the Southwest Research Institute for testing requested by the Columbia Accident Investigation Board.

  5. Space Alliance Technology Outreach Program

    NASA Technical Reports Server (NTRS)

    2005-01-01

    Space Alliance Technology Outreach Program (SATOP), will provide technical assistance to small businesses through the contribution of time and expertise from Space Alliance Partners and support the development and expansion of technology business incubation programs in Florida and New York. A summary of these accomplishments are given.

  6. Energy Efficiency and Conservation Block Grant (EECBG) - Better Buildings Neighborhood Program at Greater Cincinnati Energy Alliance: Home Performance with Energy Star® and Better Buildings Performance

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

    Holzhauser, Andy; Jones, Chris; Faust, Jeremy

    2013-12-30

    The Greater Cincinnati Energy Alliance (Energy Alliance) is a nonprofit economic development agency dedicated to helping Greater Cincinnati and Northern Kentucky communities reduce energy consumption. The Energy Alliance has launched programs to educate homeowners, commercial property owners, and nonprofit organizations about energy efficiency opportunities they can use to drive energy use reductions and financial savings, while extending significant focus to creating/retaining jobs through these programs. The mission of the Energy Alliance is based on the premise that investment in energy efficiency can lead to transformative economic development in a region. With support from seven municipalities, the Energy Alliance began operationmore » in early 2010 and has been among the fastest growing nonprofit organizations in the Greater Cincinnati/Northern Kentucky area. The Energy Alliance offers two programs endorsed by the Department of Energy: the Home Performance with ENERGY STAR® Program for homeowners and the Better Buildings Performance Program for commercial entities. Both programs couple expert guidance, project management, and education in energy efficiency best practices with incentives and innovative energy efficiency financing to help building owners effectively invest in the energy efficiency, comfort, health, longevity, and environmental impact of their residential or commercial buildings. The Energy Alliance has raised over $23 million of public and private capital to build a robust market for energy efficiency investment. Of the $23 million, $17 million was a direct grant from the Department of Energy Better Buildings Neighborhood Program (BBNP). The organization’s investments in energy efficiency projects in the residential and commercial sector have led to well over $50 million in direct economic activity and created over 375,000 hours of labor created or retained. In addition, over 250 workers have been trained through the Building Performance Training Center, a program that was developed and funded by the Energy Alliance and housed at Cincinnati State Technical and Community College. Nearly 100 residential and commercial contractors currently participate in the Energy Alliance’s two major programs, which have together served over 2,800 residential and 100 commercial customers. Additionally, the Energy Alliance established loan programs for homeowners, nonprofits and commercial businesses. The GC-HELP program was established to provide up to ten year low interest, unsecured loans to homeowners to cover the energy efficiency products they purchased through the Energy Alliance approved contractor base. To date the Energy Alliance has financed over $1 million in energy efficiency loans for homeowners, without any loans written off. The nonprofit business community is offered five year, fixed-interest rate loans through the Building Communities Loan Fund of $250,000. Additionally, the Energy Alliance has developed GC-PACE, a commercial financing tool that enables buildings owners to finance their energy upgrades through voluntary property assessments deploying low-interest extended-term capital from the bond market. The Energy Alliance and its partners are actively evaluating additional market-based financing solutions.« less

  7. Relating Therapist Characteristics to Client Engagement and the Therapeutic Alliance in an Adolescent Custodial Group Substance Misuse Treatment Program.

    PubMed

    Daniels, Rachael Anne; Holdsworth, Emma; Tramontano, Carlo

    2017-07-29

    Client engagement in substance misuse treatment programs is directly associated with positive treatment outcomes. The nature of these programs means there are often difficulties engaging and retaining clients, but authors have consistently found a strong therapeutic alliance is associated with client engagement. While research has focused on the association between the alliance and engagement, the factors that influence the therapeutic alliance have received less attention. To examine therapists' characteristics, namely therapists' stress and empathy levels, as potential predictors of client engagement and the therapeutic alliance, within an adolescent substance misuse group treatment program. The sample included 84 adolescent clients and 14 therapists from a Secure Training Centre in England. Client engagement in the treatment program was observed, while self-reporting measures assessed the therapeutic alliance (client and therapist-rated), and therapists' stress and empathy levels. Multiple regression analysis revealed that therapists' stress levels negatively influenced the therapeutic alliance and had a curvilinear relationship with client engagement, indicating that stress is not exclusively negatively related to engagement. Although stress was found to negatively impact both cognitive and affective empathy, neither cognitive nor affective empathy were significantly related to client engagement or the therapeutic alliance. This study demonstrates the importance of therapist characteristics on client engagement and the therapeutic alliance. Within practice stress can have a positive impact on clients' engagement. Nevertheless, therapists may need additional support to deal with stress effectively. Therapists' empathy may too be fundamental to client engagement, but only it if is perceived by clients.

  8. National Special Education Alliance.

    ERIC Educational Resources Information Center

    Pressman, Harvey

    1987-01-01

    The article describes the National Special Education Alliance, a network of parent-led organizations seeking to speed the delivery of computer technology to the disabled. Discussed are program origins, starting a local center, charter members of the alliance, benefits of Alliance membership, and the Alliance's relationship with Apple computer. (DB)

  9. Process Sensitivity, Performance, and Direct Verification Testing of Adhesive Locking Features

    NASA Technical Reports Server (NTRS)

    Golden, Johnny L.; Leatherwood, Michael D.; Montoya, Michael D.; Kato, Ken A.; Akers, Ed

    2012-01-01

    Phase I: The use of adhesive locking features or liquid locking compounds (LLCs) (e.g., Loctite) as a means of providing a secondary locking feature has been used on NASA programs since the Apollo program. In many cases Loctite was used as a last resort when (a) self-locking fasteners were no longer functioning per their respective drawing specification, (b) access was limited for removal & replacement, or (c) replacement could not be accomplished without severe impact to schedule. Long-term use of Loctite became inevitable in cases where removal and replacement of worn hardware was not cost effective and Loctite was assumed to be fully cured and working. The NASA Engineering & Safety Center (NESC) and United Space Alliance (USA) recognized the need for more extensive testing of Loctite grades to better understand their capabilities and limitations as a secondary locking feature. These tests, identified as Phase I, were designed to identify processing sensitivities, to determine proper cure time, the correct primer to use on aerospace nutplate, insert and bolt materials such as A286 and MP35N, and the minimum amount of Loctite that is required to achieve optimum breakaway torque values. The .1900-32 was the fastener size tested, due to wide usage in the aerospace industry. Three different grades of Loctite were tested. Results indicate that, with proper controls, adhesive locking features can be successfully used in the repair of locking features and should be considered for design. Phase II: Threaded fastening systems used in aerospace programs typically have a requirement for a redundant locking feature. The primary locking method is the fastener preload and the traditional redundant locking feature is a self-locking mechanical device that may include deformed threads, non-metallic inserts, split beam features, or other methods that impede movement between threaded members. The self-locking resistance of traditional locking features can be directly verified during assembly by measuring the dynamic prevailing torque. Adhesive locking features or LLCs are another method of providing redundant locking, but a direct verification method has not been used in aerospace applications to verify proper installation when using LLCs because of concern for damage to the adhesive bond. The reliability of LLCs has also been questioned due to failures observed during testing with coupons for process verification, although the coupon failures have often been attributed to a lack of proper procedures. It is highly desirable to have a direct method of verifying the LLC cure or bond integrity. The purpose of the Phase II test program was to determine if the torque applied during direct verification of an adhesive locking feature degrades that locking feature. This report documents the test program used to investigate the viability of such a direct verification method. Results of the Phase II testing were positive, and additional investigation of direct verification of adhesive locking features is merited.

  10. Control of Suspect/Counterfeit and Defective Items

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

    Sheriff, Marnelle L.

    2013-09-03

    This procedure implements portions of the requirements of MSC-MP-599, Quality Assurance Program Description. It establishes the Mission Support Alliance (MSA) practices for minimizing the introduction of and identifying, documenting, dispositioning, reporting, controlling, and disposing of suspect/counterfeit and defective items (S/CIs). employees whose work scope relates to Safety Systems (i.e., Safety Class [SC] or Safety Significant [SS] items), non-safety systems and other applications (i.e., General Service [GS]) where engineering has determined that their use could result in a potential safety hazard. MSA implements an effective Quality Assurance (QA) Program providing a comprehensive network of controls and verification providing defense-in-depth by preventingmore » the introduction of S/CIs through the design, procurement, construction, operation, maintenance, and modification of processes. This procedure focuses on those safety systems, and other systems, including critical load paths of lifting equipment, where the introduction of S/CIs would have the greatest potential for creating unsafe conditions.« less

  11. Sustaining the Civil Reserve Air Fleet (CRAF) Program

    DTIC Science & Technology

    2003-05-01

    means to build international networks and global marketing alliances. These arrangements have permitted alliances to exploit the regional competitive...next major phase occurred in the 1990s—the linking of networks in different countries through code sharing alliances and global marketing alliances

  12. How a Fully Automated eHealth Program Simulates Three Therapeutic Processes: A Case Study.

    PubMed

    Holter, Marianne T S; Johansen, Ayna; Brendryen, Håvar

    2016-06-28

    eHealth programs may be better understood by breaking down the components of one particular program and discussing its potential for interactivity and tailoring in regard to concepts from face-to-face counseling. In the search for the efficacious elements within eHealth programs, it is important to understand how a program using lapse management may simultaneously support working alliance, internalization of motivation, and behavior maintenance. These processes have been applied to fully automated eHealth programs individually. However, given their significance in face-to-face counseling, it may be important to simulate the processes simultaneously in interactive, tailored programs. We propose a theoretical model for how fully automated behavior change eHealth programs may be more effective by simulating a therapist's support of a working alliance, internalization of motivation, and managing lapses. We show how the model is derived from theory and its application to Endre, a fully automated smoking cessation program that engages the user in several "counseling sessions" about quitting. A descriptive case study based on tools from the intervention mapping protocol shows how each therapeutic process is simulated. The program supports the user's working alliance through alliance factors, the nonembodied relational agent Endre and computerized motivational interviewing. Computerized motivational interviewing also supports internalized motivation to quit, whereas a lapse management component responds to lapses. The description operationalizes working alliance, internalization of motivation, and managing lapses, in terms of eHealth support of smoking cessation. A program may simulate working alliance, internalization of motivation, and lapse management through interactivity and individual tailoring, potentially making fully automated eHealth behavior change programs more effective.

  13. How a Fully Automated eHealth Program Simulates Three Therapeutic Processes: A Case Study

    PubMed Central

    Johansen, Ayna; Brendryen, Håvar

    2016-01-01

    Background eHealth programs may be better understood by breaking down the components of one particular program and discussing its potential for interactivity and tailoring in regard to concepts from face-to-face counseling. In the search for the efficacious elements within eHealth programs, it is important to understand how a program using lapse management may simultaneously support working alliance, internalization of motivation, and behavior maintenance. These processes have been applied to fully automated eHealth programs individually. However, given their significance in face-to-face counseling, it may be important to simulate the processes simultaneously in interactive, tailored programs. Objective We propose a theoretical model for how fully automated behavior change eHealth programs may be more effective by simulating a therapist’s support of a working alliance, internalization of motivation, and managing lapses. Methods We show how the model is derived from theory and its application to Endre, a fully automated smoking cessation program that engages the user in several “counseling sessions” about quitting. A descriptive case study based on tools from the intervention mapping protocol shows how each therapeutic process is simulated. Results The program supports the user’s working alliance through alliance factors, the nonembodied relational agent Endre and computerized motivational interviewing. Computerized motivational interviewing also supports internalized motivation to quit, whereas a lapse management component responds to lapses. The description operationalizes working alliance, internalization of motivation, and managing lapses, in terms of eHealth support of smoking cessation. Conclusions A program may simulate working alliance, internalization of motivation, and lapse management through interactivity and individual tailoring, potentially making fully automated eHealth behavior change programs more effective. PMID:27354373

  14. Peer Mentoring through eAlliances

    NASA Astrophysics Data System (ADS)

    Blaha, Cindy; Cunningham, Beth; Cox, Anne; Ramos, Idalia; Whitten, Barbara

    2018-06-01

    Being a woman in astronomy or physics can be a very isolating experience. Peer mentoring has been shown to help combat this isolation. eAlliance, an NSF ADVANCE PLAN-D program hosted by AAPT, is seeking to establish mutual mentoring networks of women faculty within the physics and astronomy community. The eAlliance program will reduce the isolation of participating faculty members and provide support to help members achieve their personal goals and enhance their career development. Participants register at the eAlliance website (ealliance.aapt.org) and complete a personal profile which is used to match them to other registered women faculty with similar mentoring goals. So far, 95 women have registered in the eAlliance database and 22 of the participants are astronomers. Currently the project has five sponsored eAlliances (with 4-5 members each) and several more in the process of forming. As of March 2018, 4 of the 22 sponsored eAlliance members are astronomers. The mentoring cohorts are holding regular electronic meetings and using project funds to support annual face-to-face meetings at national meetings of their own choosing. The first eAlliance Summit Meeting will be held in July 2018 and will bring all the cohorts together to share their peer mentoring experiences and gather advice for future cohorts just starting out. All women faculty in astronomy and physics are invited to join the eAlliance program.

  15. The Role of Leaders’ Working Alliance in Premarital Education

    PubMed Central

    Owen, Jesse J.; Rhoades, Galena K.; Stanley, Scott M.; Markman, Howard J.

    2011-01-01

    Premarital (and general relationship) education programs, as a prevention method, have been shown to have a positive effect on marital quality and can prevent divorce. However, it is unclear whether these positive effects are consistent across leaders who conduct premarital education programs. Examining the variability in relationship outcomes attributed to the leaders of premarital education programs, and the role of general therapeutic factors such as working alliance in explaining relationship outcomes, may help increase the effectiveness of these programs. Accordingly, this study examined 31 leaders who trained 118 couples (236 attendees) in a randomized clinical trial of PREP, a research-based and empirically supported premarital education program being compared to a treatment as usual track. The results demonstrated that couples’ relationship outcomes from pre to post training varied based on the leader who provided the premarital education training. Both training in PREP and aggregated leader working alliance quality (as rated by attendees) explained variability between leaders in change in attendees’ observed negative and positive communication. Leaders’ aggregated working alliance quality also explained change in relationship satisfaction. Additionally, attendees’ ratings of their leaders’ working alliance predicted change in their relationship satisfaction and confidence, and attendees had higher positive communication when they reported better working alliance with their leader. PMID:21355646

  16. The role of leaders' working alliance in premarital education.

    PubMed

    Owen, Jesse J; Rhoades, Galena K; Stanley, Scott M; Markman, Howard J

    2011-02-01

    Premarital (and general relationship) education programs, as a prevention method, have been shown to have a positive effect on marital quality and can prevent divorce. However, it is unclear whether these positive effects are consistent across leaders who conduct premarital education programs. Examining the variability in relationship outcomes attributed to the leaders of premarital education programs, and the role of general therapeutic factors such as working alliance in explaining relationship outcomes, may help increase the effectiveness of these programs. Accordingly, this study examined 31 leaders who trained 118 couples (236 attendees) in a randomized clinical trial of the Prevention and Relationship Enhancement Program (PREP), a research-based and empirically supported premarital education program being compared with a treatment as usual track. The results demonstrated that couples' relationship outcomes from pre- to post-training varied on the basis of the leader who provided the premarital education training. Both training in PREP and aggregated leader working alliance quality (as rated by attendees) explained variability between leaders in change in attendees' observed negative and positive communication. Leaders' aggregated working alliance quality also explained change in relationship satisfaction. In addition, attendees' ratings of their leaders' working alliance predicted change in their relationship satisfaction and confidence, and attendees had higher positive communication when they reported better working alliance with their leader. PsycINFO Database Record (c) 2011 APA, all rights reserved.

  17. Alliances for Undergraduate Research in the Geosciences Through Collaborative Recruitment

    NASA Astrophysics Data System (ADS)

    Pandya, R.; Eriksson, S.; Haacker-Santos, R.; Calhoun, A.

    2006-12-01

    Undergraduate research is a key strategy for encouraging students to pursue graduate school and careers in science end engineering. In the geosciences, where participation by members of underrepresented groups is among the lowest of any science field, these programs must continue and strengthen their efforts to engage students from historically underrepresented groups. A significant limitation on our ability to engage students from historically underrepresented groups comes from the expense, in terms of time and resources, of promoting these career options to talented undergraduates considering a host of STEM careers. Another hurdle is our ability to match students with research projects tailored to their interests. Further complicating this is the challenge of matching students who have culturally motivated geographic constraints—for example, Native students who seek to serve their local community—to relevant opportunities. As a result, we believe that a number of highly qualified students never fully consider careers in the geosciences. To address these obstacles, we propose an alliance of undergraduate research programs in the geosciences. In this model, all members of the alliance would share recruiting, and students would submit a single application forwarded to all alliance members. The Alliance could offer applicants multiple research opportunities, from across the alliance, tailored to fit the applicant's needs and interests. This strategy has proven very effective in other fields; for example, the Leadership Alliance allows 32 member institutions to offer internships and fellowships through one central application process. SOARS and RESESS, programs in atmospheric science and geophysics, respectively, have done this co-recruiting for two years. There are many benefits to this type of alliance. First, it would allow programs to leverage and coordinate their recruiting investments. From our experience with SOARS and RESESS, much of the effort in recruiting involves education about careers in the geosciences. By collaborating to build awareness of the geosciences, all partnering institutions and programs would have access to a larger applicant pool, thus enabling them to select the most qualified applicants for their programs. Second, applicants could be more easily matched with programs fitting their stated research interests. Third, fewer highly qualified applicants would be overlooked and discouraged from approaching a career in geosciences. By focusing alliance activities on attracting students form underrepresented groups who have not considered geoscience careers, we could increase the number of students from underrepresented groups who pursue careers in geoscience fields. Our presentation will describe the initial SOARS/RESESS collaboration, next steps to build the alliance, and invite additional participation in the alliance.

  18. 30 CFR 250.909 - What is the Platform Verification Program?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... 30 Mineral Resources 2 2011-07-01 2011-07-01 false What is the Platform Verification Program? 250... Platforms and Structures Platform Verification Program § 250.909 What is the Platform Verification Program? The Platform Verification Program is the MMS approval process for ensuring that floating platforms...

  19. 30 CFR 250.913 - When must I resubmit Platform Verification Program plans?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... Structures Platform Verification Program § 250.913 When must I resubmit Platform Verification Program plans? (a) You must resubmit any design verification, fabrication verification, or installation verification... 30 Mineral Resources 2 2010-07-01 2010-07-01 false When must I resubmit Platform Verification...

  20. Alliance and group cohesion in relationship education.

    PubMed

    Owen, Jesse; Antle, Becky; Barbee, Anita

    2013-09-01

    Relationship education programs have been shown as an effective way to increase relationship functioning. There is less known about how process factors, such as alliance with the leader or group dynamics, affect outcomes in these interventions. We examined group cohesion and alliance with the leader in a relationship education program tailored for individuals. Specifically, we examined whether participants' ratings (n = 126) of the group cohesion and alliance with the leader were associated with changes in relationship adjustment, relationship confidence, and communication quality from pre- to postintervention. The results demonstrated that participants' perceptions of the cohesion among the members in their relationship education group, but not the leader-participant alliance, made a significant contribution to the changes in participants' relationship functioning. These results suggest that the group dynamics among the members in the group are important ingredients in relationship education. Implications for relationship programs are provided. © FPI, Inc.

  1. 30 CFR 250.909 - What is the Platform Verification Program?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... 30 Mineral Resources 2 2010-07-01 2010-07-01 false What is the Platform Verification Program? 250... Verification Program § 250.909 What is the Platform Verification Program? The Platform Verification Program is the MMS approval process for ensuring that floating platforms; platforms of a new or unique design...

  2. Oregon Alliance for Program Improvement: 1989-90 Report.

    ERIC Educational Resources Information Center

    Dunham, Daniel B.

    This annual report describes five projects of the Oregon Alliance for Program Improvement, which provides work-relevant education and training services in leadership, professional competence, and organizational effectiveness. First is an aggregated report of nearly 30 vocational education program improvement field study projects conducted between…

  3. Facilitating Economic Development through Strategic Alliances.

    ERIC Educational Resources Information Center

    Noftsinger, John B., Jr.

    2002-01-01

    Discusses how colleges and universities are becoming increasingly involved in economic development, with the formation of strategic alliances that have led to programs that benefit business and higher education. Discusses example programs from the Valley of Virginia Partnership for Education, and the outreach program of James Madison University.…

  4. PROMISE: Maryland's Alliance for Graduate Education and the Professoriate enhances recruitment and retention of underrepresented minority graduate students.

    PubMed

    Tull, Renetta G; Rutledge, Janet C; Carter, Frances D; Warnick, Jordan E

    2012-11-01

    PROMISE: Maryland's Alliance for Graduate Education and the Professoriate (AGEP), sponsored by the National Science Foundation, is a consortium that is designed to increase the numbers of underrepresented minority (URM) PhDs in science, technology, engineering, and mathematics fields who will pursue academic careers. A strength of PROMISE is its alliance infrastructure that connects URM graduate students on different campuses through centralized programming for the three research universities in Maryland: the University of Maryland Baltimore County (the lead institution in the alliance), the University of Maryland College Park, and the University of Maryland Baltimore (UMB). PROMISE initiatives cover graduate student recruitment, retention, community building, PhD completion, and transition to careers.Although it is not a fellowship, PROMISE offers professional development and skill-building programs that provide academic and personal support for URM students on all three campuses. PROMISE on UMB's campus includes the School of Medicine, which sponsors tricampus programs that promote health and wellness to accompany traditional professional development programs. PROMISE uniquely and atypically includes a medical school within its alliance. The PROMISE programs serve as interventions that reduce isolation and facilitate degree completion among diverse students on each campus. This article describes details of the PROMISE AGEP and presents suggestions for replicating professional development programs for URMs in biomedical, MD/master's, and MD/PhD programs on other campuses.

  5. National Alliance of Business Sales Techniques and Results (STAR).

    ERIC Educational Resources Information Center

    Golightly, Steven J.

    This paper presents an overview of the Sales Techniques and Results (STAR) training program developed by the National Alliance of Business in conjunction with IBM. The STAR training program can be used to help vocational directors, teachers, and counselors to be better salespersons for cooperative education or job placement programs. The paper…

  6. 30 CFR 250.913 - When must I resubmit Platform Verification Program plans?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... CONTINENTAL SHELF Platforms and Structures Platform Verification Program § 250.913 When must I resubmit Platform Verification Program plans? (a) You must resubmit any design verification, fabrication... 30 Mineral Resources 2 2011-07-01 2011-07-01 false When must I resubmit Platform Verification...

  7. 76 FR 50164 - Protocol Gas Verification Program and Minimum Competency Requirements for Air Emission Testing...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-08-12

    ...-AQ06 Protocol Gas Verification Program and Minimum Competency Requirements for Air Emission Testing... correct certain portions of the Protocol Gas Verification Program and Minimum Competency Requirements for... final rule that amends the Agency's Protocol Gas Verification Program (PGVP) and the minimum competency...

  8. Using an Evaluability Assessment To Select Methods for Evaluating State Technology Development Programs: The Case of the Georgia Research Alliance.

    ERIC Educational Resources Information Center

    Youtie, Jan; Bozeman, Barry; Shapira, Philip

    1999-01-01

    Describes an evaluability assessment of the Georgia Research Alliance (GRA), a technology development program. Presents the steps involved in conducting an evaluability assessment, including development of an understanding of the program and its stakeholders. Analyzes and compares different methods by which the GRA could be evaluated. (SLD)

  9. Education and Outreach Plans for the U.S. Drillship in IODP

    NASA Astrophysics Data System (ADS)

    White, K. S.; Reagan, M.; Klaus, A. D.

    2003-12-01

    The Integrated Ocean Drilling Program (IODP) began on October 1, 2003, following the end of operations of the 20-year Ocean Drilling Program (ODP). Education and outreach is a key component of IODP both nationally and internationally. The JOI Alliance (Joint Oceanographic Institutions, Inc., Texas A&M University, and Lamont Doherty Earth Observatory of Columbia University) will lead activities related to the U.S. drillship, coordinating these education and outreach efforts with those undertaken by the Central Management Organization, other IODP platform operators, and a U.S. Science Support Program successor. The Alliance will serve the national and assist the international scientific drilling communities by providing the results from the U.S. vessel to the public, government representatives, and scientists. The Alliance will expand upon media outreach strategies that were successful in ODP, such as issuing press releases at the conclusion of each leg and for major scientific breakthroughs; conducting tours, press conferences, and events during port calls; working with the press at major scientific meetings, and encouraging journalists to sail on expeditions. The Alliance will increase its education role by developing, coordinating, and disseminating educational materials and programs for teachers and students on the scientific themes and discoveries of IODP science. An important component of the outreach plan is using the vessel and associated laboratories and repositories as classrooms. IODP plans include multiple ship berths each year for teachers, based on the success of a pilot program conducted by ODP in 2001. This program, featuring a teacher onboard for a cruise, was accompanied by a distance-learning program and on-line curriculum models. Teachers can tour, both virtually and directly, laboratories and core repositories and participate in scheduled activities and courses. Using science conducted onboard the ship, the Alliance will develop online curriculum materials, as well as publications and fact sheets geared toward nonscientists. The Alliance will partner with existing scientific and education organizations, including programs at their universities, to widely disseminate IODP results and materials.

  10. Academic Alliances: School/College Faculty Collaboratives.

    ERIC Educational Resources Information Center

    Silber, Ellen; Moore, Terre

    1989-01-01

    Reports the results of a survey of high school and college foreign language teachers participating in 24 collaboratives around the country. Information about the effects of the alliances on the teachers' attitudes and instructional effectiveness are reported, and an update about current programs in academic alliances in foreign languages is…

  11. Feasibility Study of an Interactive Multimedia Electronic Problem Solving Treatment Program for Depression: A Preliminary Uncontrolled Trial

    PubMed Central

    Berman, Margit I.; Jr., Jay C. Buckey; Hull, Jay G.; Linardatos, Eftihia; Song, Sueyoung L.; McLellan, Robert K.; Hegel, Mark T.

    2014-01-01

    Computer-based depression interventions lacking live therapist support have difficulty engaging users. This study evaluated the usability, acceptability, credibility, therapeutic alliance and efficacy of a stand-alone multimedia, interactive, computer-based Problem Solving Treatment program (ePST™) for depression. The program simulated live treatment from an expert PST therapist, and delivered 6 ePST™ sessions over 9 weeks. Twenty-nine participants with moderate-severe symptoms received the intervention; 23 completed a mini mally adequate dose of ePST™ (at least 4 sessions). Program usability, acceptability, credibility, and therapeutic alliance were assessed at treatment midpoint and endpoint. Depressive symptoms and health-related functioning were assessed at baseline, treatment midpoint (4 weeks), and study endpoint (10 weeks). Depression outcomes and therapeutic alliance ratings were also compared to previously published research on live PST and computer-based depression therapy. Participants rated the program as highly usable, acceptable, and credible, and reported a therapeutic alliance with the program comparable to that observed in live therapy. Depressive symptoms improved significantly over time. These findings also provide preliminary evidence that ePST™ may be effective as a depression treatment. Larger clinical trials with diverse samples are indicated. PMID:24680231

  12. Alliances and Legitimacy: Walking the Operational Tightrope

    DTIC Science & Technology

    2013-05-23

    powers. In effect , this describes a dynamic whereby alliances serve the interests of both strong 111Brett Ashley Leeds, “Alliance Reliability in...comply with a collection of information if it does not display a currently valid OMB control number . PLEASE DO NOT RETURN YOUR FORM TO THE ABOVE ADDRESS...ALLIANCES AND LEGITIMACY: WALKING THE OPERATIONAL TIGHTROPE 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S

  13. FLASTAR: Florida Alliance for Saving Taxes and Energy Resources. Final Report.

    ERIC Educational Resources Information Center

    Sherwin, John R.; Parker, Danny S.

    A study of the Florida Public Building Loan Concept pilot program determined its effectiveness in helping to upgrade building energy systems. The pilot program, termed FLASTAR (Florida Alliance for Saving Taxes and Resources), involved the comprehensive metering of an elementary school to demonstrate energy savings potential after retrofitting…

  14. Bar codes and intrinsic-surface-roughness tag: Accurate and low-cost accountability for CFE. [Conventional force equipment (CFE)

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

    DeVolpi, A.; Palm, R.

    CFE poses a number of verification challenges that could be met in part by an accurate and low-cost means of aiding in accountability of treaty-limited equipment. Although the treaty as signed does not explicitly call for the use of tags, there is a provision for recording serial numbers'' and placing special marks'' on equipment subject to reduction. There are approximately 150,000 residual items to be tracked for CFE-I, about half for each alliance of state parties. These highly mobile items are subject to complex treaty limitations: deployment limits and zones, ceilings subceilings, holdings and allowances. There are controls and requirementsmore » for storage, conversion, and reduction. In addition, there are national security concerns regarding modernization and mobilization capability. As written into the treaty, a heavy reliance has been placed on human inspectors for CFE verification. Inspectors will mostly make visual observations and photographs as the means of monitoring compliance; these observations can be recorded by handwriting or keyed into a laptop computer. CFE is now less a treaty between two alliances than a treaty among 22 state parties, with inspection data an reports to be shared with each party in the official languages designated by CSCE. One of the potential roles for bar-coded tags would be to provide a universal, exchangable, computer-compatible language for tracking TLE. 10 figs.« less

  15. GHG MITIGATION TECHNOLOGY PERFORMANCE EVALUATIONS UNDERWAY AT THE GHG TECHNOLOGY VERIFICATION CENTER

    EPA Science Inventory

    The paper outlines the verification approach and activities of the Greenhouse Gas (GHG) Technology Verification Center, one of 12 independent verification entities operating under the U.S. EPA-sponsored Environmental Technology Verification (ETV) program. (NOTE: The ETV program...

  16. Developing a Tool to Assess the Capacity of Out-of-School Time Program Providers to Implement Policy, Systems, and Environmental Change.

    PubMed

    Leeman, Jennifer; Blitstein, Jonathan L; Goetz, Joshua; Moore, Alexis; Tessman, Nell; Wiecha, Jean L

    2016-08-11

    Little is known about public health practitioners' capacity to change policies, systems, or environments (PSEs), in part due to the absence of measures. To address this need, we partnered with the Alliance for a Healthier Generation (Alliance) to develop and test a theory-derived measure of the capacity of out-of-school time program providers to improve students' level of nutrition and physical activity through changes in PSEs. The measure was developed and tested through an engaged partnership with staff working on the Alliance's Healthy Out-of-School Time (HOST) Initiative. In total, approximately 2,000 sites nationwide are engaged in the HOST Initiative, which serves predominantly high-need children and youths. We partnered with the Alliance to conduct formative work that would help develop a survey that assessed attitudes/beliefs, social norms, external resources/supports, and self-efficacy. The survey was administered to providers of out-of-school time programs who were implementing the Alliance's HOST Initiative. Survey respondents were 185 out-of-school time program providers (53% response rate). Exploratory factor analysis yielded a 4-factor model that explained 44.7% of the variance. Factors pertained to perceptions of social norms (6 items) and self-efficacy to build support and engage a team (4 items) and create (5 items) and implement (3 items) an action plan. We report initial development and factor analysis of a tool that the Alliance can use to assess the capacity of after-school time program providers, which is critical to targeting capacity-building interventions and assessing their effectiveness. Study findings also will inform the development of measures to assess individual capacity to plan and implement other PSE interventions.

  17. Patterns of Classroom Quality in Head Start and Center-Based Early Childhood Education Programs. REL 2017-199

    ERIC Educational Resources Information Center

    Irwin, Clare W.; Madura, John P.; Bamat, David; McDermott, Paul A.

    2016-01-01

    Measuring classroom quality and ensuring high-quality learning experiences for young children are interests of the Early Childhood Education Research Alliance, a research alliance of Regional Educational Laboratory Northeast & Islands. This study, conducted in collaboration with the alliance, addresses these interests by examining multiple…

  18. The School and Business Alliance Blooms in Yonkers.

    ERIC Educational Resources Information Center

    Enterprise and Education, 1987

    1987-01-01

    Participants in the New York State School and Business Alliance program, which is designed to strengthen the partnership among public schools, the private sector, communities, and government are working to improve secondary education as well as the quality of the youth labor force. The Alliance Development Committee (ADC) of Yonkers, New York…

  19. Fostering change within organizational participants of multisectoral health care alliances.

    PubMed

    Hearld, Larry R; Alexander, Jeffrey A; Mittler, Jessica N

    2012-01-01

    A touted advantage of multisectoral health care alliances is their ability to coordinate diverse constituencies and pursue community health goals in ways that allow them to make greater progress than each constituency could independently. However, participating organizations may have goals that do not entirely overlap or necessarily align with the alliance's goals, which can weaken or undermine an alliance's efforts. Fostering changes within participating organizations in ways that are consistent with the alliance's goals (i.e., alliance-oriented change) may be one mechanism by which alliances can coordinate diverse activities and improve care in their local communities. We examined whether alliance-oriented change within participating organizations is associated with alliance decision-making and conflict management style, level of participation, perceptions of alliance participation benefits and costs, and awareness of alliance activities within participating organizations. The study used two rounds of survey data collected from organizational participants of 14 alliances participating in the Robert Wood Johnson Foundation's Aligning Forces for Quality program. Alliance participants generally reported low levels of alliance-oriented change within their organizations as a result of the alliance and its activities. However, participants reporting higher levels of internal change in response to alliance activities had more positive perceptions of alliance decision-making style, higher levels of participation in alliance activities, more positive perceptions of alliance participation benefits relative to costs, and greater awareness of alliance activities across multiple levels of their respective organizations. Despite relatively low levels of alliance-oriented change within participating organizations, alliances may still have the means to align the goal orientations of a diverse membership and foster change that may extend the reach of the alliance in the community.

  20. Embarking on College and Career: Interim Evaluation of Urban Alliance. Research Report

    ERIC Educational Resources Information Center

    Theodos, Brett; Pergamit, Michael R.; Hanson, Devlin; Edelstein, Sara; Daniels, Rebecca

    2016-01-01

    Urban Alliance serves at-risk youth through its high school internship program, which provides training, mentoring, and work experience to high school seniors from distressed communities. The program aims to help youth move on to higher education or employment after graduation. The Urban Institute is conducting a six-year, randomized controlled…

  1. Preparing Youth for College and Career: A Process Evaluation of Urban Alliance

    ERIC Educational Resources Information Center

    Theodos, Brett; Pergamit, Michael R.; Edelstein, Sara; George, Taz; Freiman, Lesley

    2014-01-01

    This report presents baseline and process study findings of an evaluation of the Urban Alliance high school internship program, which provides training, mentoring, and work experience to high school seniors from distressed communities in Washington, DC, Baltimore, Northern Virginia, and Chicago. The report, which focuses on the program's…

  2. The Identification of Funding Options, Problems and Issues Associated with Sino-Foreign University Alliances

    ERIC Educational Resources Information Center

    Willis, Mike

    2003-01-01

    Many Chinese universities (there are over 1,080) have various forms of alliances with foreign universities to undertake the development and delivery of courses in China, participate in exchange activities, collaborate in research projects and engage in consulting programs. It is now quite common for these alliances to offer complete undergraduate…

  3. The California State University Louis Stokes Alliance for Minority Participation (CSU-LSAMP): A Collaborative, Comprehensive Approach to Broadening Participation in STEM.

    NASA Astrophysics Data System (ADS)

    Hammersley, L. C.

    2016-12-01

    The National Science Foundation's Louis Stokes Alliances for Minority Participation (LSAMP) program supports alliances of institutions in their efforts to broaden participation in STEM and diversify the STEM workforce. There are currently 42 LSAMP alliances across the nation. Formed in 1993, the California State University LSAMP program (CSU-LSAMP) is an alliance of all 23 campuses of the CSU system and serves over 3,000 students per year. The primary goals of CSU-LSAMP are to increase persistence and graduation rates for URM participants, increase the number of STEM degrees awarded by the CSU to URM students, and increase the number of CSU-LSAMP students who advance to STEM graduate study. CSU-LSAMP activities are focused on four objectives - academic support (e.g. supplemental instruction & peer mentoring), support at transition points (e.g. first time freshmen & transfer students), research experiences (including international research experiences), and professional development (e.g. conference presentations & graduate school preparation activities). Financial support is offered in the form of textbook assistance, research stipends, and travel awards. We maintain a structure that allows campuses to tailor their programs to meet the needs of their own student populations but that also ties the Alliance together with a set of common activities, goals and policies. External evaluation of the program shows that our approach has been highly successful and can provide useful lessons for other programs focused on broadening participation. Since 1994, the number of URM students enrolled in STEM disciplines at CSU campuses has more than doubled and the number of STEM degrees to URM students has almost tripled. Persistence and graduation rates for URM students who participate in CSU-LSAMP are almost twice those of URM non-participants and equal to those of non-URM students. Of the students who participated in the past 15 years, 42 percent either earned a post-baccalaureate degree or are currently enrolled in a graduate STEM program.

  4. Alliance for Excellent Education's Focused Comments on Issues Raised in Notice of Proposed Rulemaking for Modernizing the E-Rate Program

    ERIC Educational Resources Information Center

    Alliance for Excellent Education, 2014

    2014-01-01

    In comments submitted April 7, 2014, the Alliance for Excellent Education called on the Federal Communications Commission (FCC) to modernize the federal E-rate program in order to lay the foundation for expanding the program through increased funding. These comments are in response to an E-rate Public Notice issued by the FCC on March 6, 2014…

  5. PERFORMANCE VERIFICATION OF ANIMAL WATER TREATMENT TECHNOLOGIES THROUGH EPA'S ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    The U.S. Environmental Protection Agency created the Environmental Technology Verification Program (ETV) to further environmental protection by accelerating the commercialization of new and innovative technology through independent performance verification and dissemination of in...

  6. A Program Review of a Middle School Gay-Straight Alliance Club

    ERIC Educational Resources Information Center

    Quasha, Scott; McCabe, Paul C.; Ortiz, Samuel O.

    2014-01-01

    This program review examined a middle school Gay-Straight Alliance (GSA) club within a northeastern suburban school situated in a large metropolitan area. The GSA was the first in the region to start exclusively in a standalone middle school. The review was accomplished through a staff survey comparing school climates for lesbian, gay, bisexual,…

  7. Three Lectures on Theorem-proving and Program Verification

    NASA Technical Reports Server (NTRS)

    Moore, J. S.

    1983-01-01

    Topics concerning theorem proving and program verification are discussed with particlar emphasis on the Boyer/Moore theorem prover, and approaches to program verification such as the functional and interpreter methods and the inductive assertion approach. A history of the discipline and specific program examples are included.

  8. PERFORMANCE VERIFICATION OF STORMWATER TREATMENT DEVICES UNDER EPA�S ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program was created to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The program�s goal is to further environmental protection by a...

  9. Striking a Balance: Academic Advising and the Advisory Working Alliance with Adult Master's-Level Credential Candidates at Regional Campuses

    ERIC Educational Resources Information Center

    Saunders, Cindy Franklin

    2012-01-01

    Purpose: The purpose of this study was to describe the advising approaches and the training received by academic advisors to form an advisory working alliance with adult master's-level credential candidates in educator preparation programs at regional campuses in Southern and Central California. This advisory working alliance concept includes: (a)…

  10. Using Small-Step Refinement for Algorithm Verification in Computer Science Education

    ERIC Educational Resources Information Center

    Simic, Danijela

    2015-01-01

    Stepwise program refinement techniques can be used to simplify program verification. Programs are better understood since their main properties are clearly stated, and verification of rather complex algorithms is reduced to proving simple statements connecting successive program specifications. Additionally, it is easy to analyse similar…

  11. ENVIRONMENTAL TECHNOLOGY VERIFICATION AND INDOOR AIR

    EPA Science Inventory

    The paper discusses environmental technology verification and indoor air. RTI has responsibility for a pilot program for indoor air products as part of the U.S. EPA's Environmental Technology Verification (ETV) program. The program objective is to further the development of sel...

  12. The Alliance for Innovation in Maternal Health Care: A Way Forward.

    PubMed

    Mahoney, Jeanne

    2018-06-01

    The Alliance for Innovation in Maternal Health is a program supported by the Health Services Resource Administration to reduce maternal mortality and severe maternal morbidity in the United States. This program develops bundles of evidence based action steps for birth facilities to adapt. Progress is monitored at the facility, state and national levels to foster data-driven quality improvement efforts.

  13. Business and Education Transition Alliance (BETA): Opening Doors to Career Opportunities for At-Risk Youth.

    ERIC Educational Resources Information Center

    Stroup, Phillip

    1996-01-01

    The Business and Education Transition Alliance (BETA) is a model school-to-work transition program that was developed to facilitate the school-to-work transition of at-risk youth in the Boulder Valley School District in Colorado. Among the BETA program's specific goals are the following: increase students' knowledge/understanding of demands of the…

  14. Creating value for participants in multistakeholder alliances: The shifting importance of leadership and collaborative decision-making over time.

    PubMed

    D'Aunno, Thomas; Alexander, Jeffrey A; Jiang, Lan

    Multistakeholder alliances that bring together diverse organizations to work on health-related issues are playing an increasingly prominent role in the U.S. health care system. Prior research shows that collaborative decision-making and effective leadership are related to members' perceptions of value for their participation in alliances. Yet, we know little about how collaborative decision-making and leadership might matter over time in multistakeholder alliances. The aim of this study was to advance understanding of the role of collaborative decision-making and leadership in individuals' assessments of the benefits and costs of their participation in multistakeholder alliances over time. We draw on data collected from three rounds of surveys of alliance members (2007-2012) who participated in the Robert Wood Johnson Foundation's Aligning Forces for Quality program. Results from regression analyses indicate that individuals' perceptions of value for their participation in alliances shift over time: Perceived value is higher with collaborative decision-making when alliances are first formed and higher with more effective leadership as time passes after alliance formation. Leaders of multistakeholder alliances may need to vary their behavior over time, shifting their emphasis from inclusive decision-making to task achievement.

  15. Washington: International District Housing Alliance (A Former EPA CARE Project)

    EPA Pesticide Factsheets

    The International District Housing Alliance (IDHA) is the recipient of a Level I CARE cooperative agreement. This cooperative agreement provides the opportunity to demonstrate the CARE program in an Asian and Pacific Islander community.

  16. An Investigation of the Relationship Between the Alliance Negotiation Scale and Psychotherapy Process and Outcome.

    PubMed

    Doran, Jennifer M; Safran, Jeremy D; Muran, J Christopher

    2017-04-01

    This study examines the validity of the Alliance Negotiation Scale (ANS) in a psychotherapy research program. Analyses were designed to evaluate the relationship between the ANS and psychotherapy process and outcome variables. Data were collected in a metropolitan psychotherapy research program. Participants completed 30 sessions of therapy, postsession assessments, and a battery of measures at intake and termination. Relationships were found between the ANS and session outcome, working alliance, and the presence of ruptures and their resolution. Relationships emerged between the ANS and treatment outcome on measures of psychiatric distress and interpersonal problems. The ANS demonstrated relationships with several psychotherapy process and outcome variables. The ANS was the most differentiated from the working alliance on measures of interpersonal functioning and in discriminating personality disorder pathology. These results extend previous findings on the ANS' psychometric integrity, and offer new data on the relationship between negotiation and treatment outcome. © 2016 Wiley Periodicals, Inc.

  17. Generic Verification Protocol for Verification of Online Turbidimeters

    EPA Science Inventory

    This protocol provides generic procedures for implementing a verification test for the performance of online turbidimeters. The verification tests described in this document will be conducted under the Environmental Technology Verification (ETV) Program. Verification tests will...

  18. 30 CFR 250.912 - What plans must I submit under the Platform Verification Program?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... and major members of concrete-gravity and steel-gravity structures; (2) For jacket and floating... Platforms and Structures Platform Verification Program § 250.912 What plans must I submit under the Platform Verification Program? If your platform, associated structure, or major modification meets the criteria in § 250...

  19. 30 CFR 250.912 - What plans must I submit under the Platform Verification Program?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... and major members of concrete-gravity and steel-gravity structures; (2) For jacket and floating... Platforms and Structures Platform Verification Program § 250.912 What plans must I submit under the Platform Verification Program? If your platform, associated structure, or major modification meets the criteria in § 250...

  20. 30 CFR 250.912 - What plans must I submit under the Platform Verification Program?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... and major members of concrete-gravity and steel-gravity structures; (2) For jacket and floating... Platforms and Structures Platform Verification Program § 250.912 What plans must I submit under the Platform Verification Program? If your platform, associated structure, or major modification meets the criteria in § 250...

  1. Combining service marketing and strategic alliances in health care.

    PubMed

    Lazarus, I R

    1993-11-01

    With or without federal health care reform to impact the delivery of health care services in the U.S., hospitals must commit to service marketing and strategic alliances as a fundamental business strategy. Service marketing not only differentiates the provider, but with the proper programs in place, it may actually facilitate the formation of strategic alliances. The combination of these strategies will be particularly effective in preparing for any health care policy change.

  2. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM FOR MONITORING AND CHARACTERIZATION

    EPA Science Inventory

    The Environmental Technology Verification Program is a service of the Environmental Protection Agency designed to accelerate the development and commercialization of improved environmental technology through third party verification and reporting of performance. The goal of ETV i...

  3. Formally verifying Ada programs which use real number types

    NASA Technical Reports Server (NTRS)

    Sutherland, David

    1986-01-01

    Formal verification is applied to programs which use real number arithmetic operations (mathematical programs). Formal verification of a program P consists of creating a mathematical model of F, stating the desired properties of P in a formal logical language, and proving that the mathematical model has the desired properties using a formal proof calculus. The development and verification of the mathematical model are discussed.

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION: ADD-ON NOX CONTROLS

    EPA Science Inventory

    The paper discusses the environmental technology verification (ETV) of add-on nitrogen oxide (NOx) controls. Research Triangle Institute (RTI) is EPA's cooperating partner for the Air Pollution Control Technology (APCT) Program, one of a dozen ETV pilot programs. Verification of ...

  5. 38 CFR 74.15 - What length of time may a business participate in VetBiz VIP Verification Program?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... business participate in VetBiz VIP Verification Program? 74.15 Section 74.15 Pensions, Bonuses, and Veterans' Relief DEPARTMENT OF VETERANS AFFAIRS (CONTINUED) VETERANS SMALL BUSINESS REGULATIONS Application Guidelines § 74.15 What length of time may a business participate in VetBiz VIP Verification Program? (a) A...

  6. Coalition for Global Clinical Surgical Education: The Alliance for Global Clinical Training.

    PubMed

    Graf, Jahanara; Cook, Mackenzie; Schecter, Samuel; Deveney, Karen; Hofmann, Paul; Grey, Douglas; Akoko, Larry; Mwanga, Ali; Salum, Kitembo; Schecter, William

    Assessment of the effect of the collaborative relationship between the high-income country (HIC) surgical educators of the Alliance for Global Clinical Training (Alliance) and the low-income country surgical educators at the Muhimbili University of Health and Allied Sciences/Muhimbili National Hospital (MUHAS/MNH), Dar Es Salaam, Tanzania, on the clinical global surgery training of the HIC surgical residents participating in the program. A retrospective qualitative analysis of Alliance volunteer HIC faculty and residents' reports, volunteer case lists and the reports of Alliance academic contributions to MUHAS/MNH from 2012 to 2017. In addition, a survey was circulated in late 2016 to all the residents who participated in the program since its inception. Twelve HIC surgical educators provided rotating 1-month teaching coverage at MUHAS/MNH between academic years 2012 and 2017 for a total of 21 months. During the same time period 11 HIC residents accompanied the HIC faculty for 1-month rotations. HIC surgery residents joined the MUHAS/MNH Department of Surgery, made significant teaching contributions, performed a wide spectrum of "open procedures" including hand-sewn intestinal anastomoses. Most had had either no or limited previous exposure to hand-sewn anastomoses. All of the residents commented that this was a maturing and challenging clinical rotation due to the complexity of the cases, the limited resources available and the ethical and emotional challenges of dealing with preventable complications and death in a resource constrained environment. The Alliance provides an effective clinical global surgery rotation at MUHAS/MNH for HIC Surgery Departments wishing to provide such an opportunity for their residents and faculty. Copyright © 2017 Association of Program Directors in Surgery. Published by Elsevier Inc. All rights reserved.

  7. ENVIRONMENTAL TECHNOLOGY VERIFICATION FOR INDOOR AIR PRODUCTS

    EPA Science Inventory

    The paper discusses environmental technology verification (ETV) for indoor air products. RTI is developing the framework for a verification testing program for indoor air products, as part of EPA's ETV program. RTI is establishing test protocols for products that fit into three...

  8. Use of Radio Frequency Identification (RFID) for Tracking Hazardous Waste Shipments Across International Borders -Test/QA Plan

    EPA Science Inventory

    The Environmental Technology Verification (ETV) – Environmental and Sustainable Technology Evaluations (ESTE) Program conducts third-party verification testing of commercially available technologies that may accomplish environmental program management goals. In this verification...

  9. CHEMICAL INDUCTION MIXER VERIFICATION - ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    The Wet-Weather Flow Technologies Pilot of the Environmental Technology Verification (ETV) Program, which is supported by the U.S. Environmental Protection Agency and facilitated by NSF International, has recently evaluated the performance of chemical induction mixers used for di...

  10. PERFORMANCE VERIFICATION TEST FOR FIELD-PORTABLE MEASUREMENTS OF LEAD IN DUST

    EPA Science Inventory

    The US Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) program (www.epa.jzov/etv) conducts performance verification tests of technologies used for the characterization and monitoring of contaminated media. The program exists to provide high-quali...

  11. Physicians in health care management: 9. Strategic alliances and relationships between organizations.

    PubMed Central

    Leatt, P; Barnsley, J

    1994-01-01

    Health care organizations must increasingly develop strategic alliances with other groups and organizations. A variety of interorganizational relationships are possible: shared services, joint programs, umbrella organizations, health agency networks and mergers. As governments try to control health care costs, physicians will play an important role in developing and implementing these alliances. They will be expected to advocate on behalf of patients and communities to ensure that these new organizational arrangements facilitate coordinated care. PMID:8087752

  12. 78 FR 20114 - Proposed Data Collections Submitted for Public Comment and Recommendations

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-04-03

    ... ways, including long-term health problems, emotional impacts, and links to negative health behaviors... Domestic Violence Prevention Enhancements and Leadership Through Alliances (DELTA) Program, with a focus on... (Domestic Violence Prevention Enhancement and Leadership through Alliances, Focusing on Outcomes for...

  13. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, GROUNDWATER SAMPLING TECHNOLOGIES, GEOLOG, INC., MICRO-FLO BLADDER PUMP MODEL 57400

    EPA Science Inventory

    The U.S. Environmental Protection Agency has created the Environmental Technology Verification Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ETV Program...

  14. BAGHOUSE FILTRATION PRODUCTS VERIFICATION TESTING, HOW IT BENEFITS THE BOILER BAGHOUSE OPERATOR

    EPA Science Inventory

    The paper describes the Environmental Technology Verification (ETV) Program for baghouse filtration products developed by the Air Pollution Control Technology Verification Center, one of six Centers under the ETV Program, and discusses how it benefits boiler baghouse operators. A...

  15. Governance processes and change within organizational participants of multi-sectoral community health care alliances: the mediating role of vision, mission, strategy agreement and perceived alliance value.

    PubMed

    Hearld, Larry R; Alexander, Jeffrey A

    2014-03-01

    Multi-sectoral community health care alliances are organizations that bring together individuals and organizations from different industry sectors to work collaboratively on improving the health and health care in local communities. Long-term success and sustainability of alliances are dependent on their ability to galvanize participants to take action within their 'home' organizations and institutionalize the vision, goals, and programs within participating organizations and the broader community. The purpose of this study was to investigate two mechanisms by which alliance leadership and management processes may promote such changes within organizations participating in alliances. The findings of the study suggest that, despite modest levels of change undertaken by participating organizations, more positive perceptions of alliance leadership, decision making, and conflict management were associated with a greater likelihood of participating organizations making changes as a result of their participation in the alliance, in part by promoting greater vision, mission, and strategy agreement and higher levels of perceived value. Leadership processes had a stronger relationship with change within participating organizations than decision-making style and conflict management processes. Open-ended responses by participants indicated that participating organizations most often incorporated new measures or goals into their existing portfolio of strategic plans and activities in response to alliance participation.

  16. 30 CFR 250.911 - If my platform is subject to the Platform Verification Program, what must I do?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... 30 Mineral Resources 2 2012-07-01 2012-07-01 false If my platform is subject to the Platform Verification Program, what must I do? 250.911 Section 250.911 Mineral Resources BUREAU OF SAFETY AND... CONTINENTAL SHELF Platforms and Structures Platform Verification Program § 250.911 If my platform is subject...

  17. 30 CFR 250.911 - If my platform is subject to the Platform Verification Program, what must I do?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... 30 Mineral Resources 2 2013-07-01 2013-07-01 false If my platform is subject to the Platform Verification Program, what must I do? 250.911 Section 250.911 Mineral Resources BUREAU OF SAFETY AND... CONTINENTAL SHELF Platforms and Structures Platform Verification Program § 250.911 If my platform is subject...

  18. 30 CFR 250.911 - If my platform is subject to the Platform Verification Program, what must I do?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... 30 Mineral Resources 2 2014-07-01 2014-07-01 false If my platform is subject to the Platform Verification Program, what must I do? 250.911 Section 250.911 Mineral Resources BUREAU OF SAFETY AND... CONTINENTAL SHELF Platforms and Structures Platform Verification Program § 250.911 If my platform is subject...

  19. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: BAGHOUSE FILTRATION PRODUCTS—SOUTHERN FILTER MEDIA, LLC, PE-16/M-SPES FILTER SAMPLE

    EPA Science Inventory

    The U.S. EPA has created the Environmental Technology Verification program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The program tested the performance of baghouse filtrati...

  20. ENVIRONMENTAL TECHNOLOGY VERIFICATION COATINGS AND COATING EQUIPMENT PROGRAM (ETV CCEP) HIGH TRANSFER EFFICIENCE SPRAY EQUIPMENT--GENERIC VERIFICATION PROTOCOL

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program has been established to verify the performance characteristics of innovative environmental technologies and report this objective information, thus, accelerating the entrance of these new technologies into the marketplace. V...

  1. 7 CFR 62.206 - Access to program documents and activities.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.206 Access to program documents and... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) REGULATIONS...

  2. The global alliance for transplantation.

    PubMed

    Groth, C G; Chapman, J R

    2006-03-01

    In 2002, The Transplantation Society proposed the creation of a Global Alliance for Transplantation, with the purpose of reducing the existing disparity regarding transplantation activities across the globe. This alliance should include major international scientific societies, international governmental organizations, and pharmaceutical companies. Consultations with each of these parties have taken place during the past 18 months and three Strategic Programs have been initiated: (1) the collection of information on transplantation; (2) the expansion of education in transplantation; and (3) the development of professional guidelines for organ donation and transplantation.

  3. Review of the cultivation program within the national alliance for advanced biofuels and bioproducts

    USDA-ARS?s Scientific Manuscript database

    The cultivation efforts within the National Alliance for Advanced Biofuels and Bioproducts (NAABB) were developed to provide four major goals for the consortium, which included biomass production for downstream experimentation, development of new assessment tools for cultivation, development of new ...

  4. 76 FR 44343 - Fiscal Year (FY) 2011 Funding Opportunity

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-07-25

    ... the National Action Alliance for Suicide Prevention (Action Alliance). This supplement will expand... implementation of the National Strategy for Suicide Prevention (NSSP). This 1-year funding supports the SPRC and... individuals to develop suicide prevention programs, interventions, and policies, to further the work of the...

  5. Research on the Implementation of the NASA Joint Sponsored Research Program and other Innovative Mechanism for Commercializing NASA Funded Technologies

    NASA Technical Reports Server (NTRS)

    Robbins, Karen Risa

    1997-01-01

    A goal of the ERAST Program is the commercial application of technology resulting from the work if the ERAST Alliance. This goal is sufficiently primary to be called out in the recitals section of the ERAST Joint Sponsored Research Agreement. In support of this goal, two activities described below were commenced in 1996 to assess and explore commercial applications of UAV technologies relevant to the ERAST Alliance.

  6. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM: Stormwater Source Area Treatment Device - Arkal Pressurized Stormwater Filtration System

    EPA Science Inventory

    Performance verification testing of the Arkal Pressurized Stormwater Filtration System was conducted under EPA's Environmental Technology Verification Program on a 5.5-acre parking lot and grounds of St. Mary's Hospital in Milwaukee, Wisconsin. The system consists of a water sto...

  7. Environmental Technology Verification Coatings and Coating Equipment Program (ETV CCEP) High Transfer Efficiency Spray Equipment--Generic Verification Protocol

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program has been established by the U.S. Environmental Protection Agency (EPA) to verify the performance characteristics of innovative environmental technologies across all media and report this objective information to the states, ...

  8. FROM ME TO US: THE CONSTRUCTION OF FAMILY ALLIANCE.

    PubMed

    Galdiolo, Sarah; Roskam, Isabelle

    2016-01-01

    This longitudinal prospective and multi-informant study based on a three-wave research program (pregnancy, 12 months' postpartum, and 16 months' postpartum) aimed to determine the process of construction of family alliance, as assessed by the Lausanne Trilogue Play (Fivaz-Depeursinge & Corboz-Warnery, 1999). A model using parents' individual characteristics (i.e., personality traits and attachment orientations) as distal variables, coparenting as a mediator, child's temperament as a moderator, and family alliance as outcome was tested using structural equation modeling on 62 nonreferred families. Results showed that both parents' conscientiousness was positively and mothers' avoidant attachment and fathers' anxious attachment were negatively and indirectly (via coparenting) associated with the family alliance. The discussion underlines mothers' and fathers' different roles and the importance of coparenting as a core mechanism in the development of family alliance. © 2015 Michigan Association for Infant Mental Health.

  9. Fundamentals of Successful Monitoring, Reporting, and Verification under a Cap and Trade Program

    EPA Pesticide Factsheets

    Learn about the monitoring, reporting, and verification (MRV) elements as they apply to the Acid Rain Program and the Nox Budget Trading Program, and how they can be potentially used in other programs.

  10. Environmental Technology Verification Program Fact Sheet

    EPA Science Inventory

    This is a Fact Sheet for the ETV Program. The EPA Environmental Technology Verification Program (ETV) develops test protocols and verifies the performance of innovative technologies that have the potential to improve protection of human health and the environment. The program ...

  11. Space Station automated systems testing/verification and the Galileo Orbiter fault protection design/verification

    NASA Technical Reports Server (NTRS)

    Landano, M. R.; Easter, R. W.

    1984-01-01

    Aspects of Space Station automated systems testing and verification are discussed, taking into account several program requirements. It is found that these requirements lead to a number of issues of uncertainties which require study and resolution during the Space Station definition phase. Most, if not all, of the considered uncertainties have implications for the overall testing and verification strategy adopted by the Space Station Program. A description is given of the Galileo Orbiter fault protection design/verification approach. Attention is given to a mission description, an Orbiter description, the design approach and process, the fault protection design verification approach/process, and problems of 'stress' testing.

  12. Automated verification of flight software. User's manual

    NASA Technical Reports Server (NTRS)

    Saib, S. H.

    1982-01-01

    (Automated Verification of Flight Software), a collection of tools for analyzing source programs written in FORTRAN and AED is documented. The quality and the reliability of flight software are improved by: (1) indented listings of source programs, (2) static analysis to detect inconsistencies in the use of variables and parameters, (3) automated documentation, (4) instrumentation of source code, (5) retesting guidance, (6) analysis of assertions, (7) symbolic execution, (8) generation of verification conditions, and (9) simplification of verification conditions. Use of AVFS in the verification of flight software is described.

  13. Regional Educational Laboratory Researcher-Practitioner Partnerships: Documenting the Research Alliance Experience. REL 2018-291

    ERIC Educational Resources Information Center

    Scher, Lauren; McCowan, Ronald; Castaldo-Walsh, Cynthia

    2018-01-01

    This report provides a detailed account of the Regional Educational Laboratory (REL) Program's experience establishing and supporting research-practice partnerships (called "research alliances") during its 2012-17 contract cycle. The report adds to the growing literature base on researcher-practitioner partnerships by sharing how the…

  14. The Mentor-Youth Alliance: The Role of Mentoring Relationships in Promoting Youth Competence

    ERIC Educational Resources Information Center

    Zand, Debra H.; Thomson, Nicole; Cervantes, Richard; Espiritu, Rachele; Klagholz, Donna; LaBlanc, Laura; Taylor, Andrea

    2009-01-01

    Mentoring programs hold great promise for fostering competency in disadvantaged youth. Although considerable theoretical work has been conducted to explain the role of mentoring relationships in promoting positive youth outcomes, very little empirical research has directly investigated this alliance. The present study developed and validated a…

  15. The Alliance for Achievement Network: A Report on Community Building.

    ERIC Educational Resources Information Center

    McCullough, Douglas

    1991-01-01

    Although curriculum issues still command reformers' attention, researchers recognize that academic success is tied to home and community support. Alliance for Achievement is a school-community management program that addresses the relationships among schools, homes, and communities based on locally defined and commonly held educational values. The…

  16. Iowa Distance Education Alliance. Final Evaluation Report. Abbreviated Version.

    ERIC Educational Resources Information Center

    Sorenson, Chris; And Others

    This report describes 2-year outcomes of the Iowa Distance Education Alliance (IDEA), a partnership involving educational institutions across Iowa that received funding from the federal Star Schools Program to demonstrate the use of the Iowa Communication Network's (ICN's) fiber-optic technology for K-12 instruction. First-year project activities…

  17. NOAA Office of Exploration and Research > Education > Alliance Partners

    Science.gov Websites

    Organization Guiding Documents Organizational Structure Map of Staff and Affiliate Locations Strategic Plan Evaluation Education Alliance Partners Home About OER Overview Organization Guiding Documents Organizational Structure Map of Staff and Affiliate Locations Strategic Plan 2014 Funding Opportunities Contact Us Program

  18. 7 CFR 62.209 - Reassessment.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.209 Reassessment. Approved programs are subject to periodic reassessments to ensure...

  19. Formal verification of mathematical software

    NASA Technical Reports Server (NTRS)

    Sutherland, D.

    1984-01-01

    Methods are investigated for formally specifying and verifying the correctness of mathematical software (software which uses floating point numbers and arithmetic). Previous work in the field was reviewed. A new model of floating point arithmetic called the asymptotic paradigm was developed and formalized. Two different conceptual approaches to program verification, the classical Verification Condition approach and the more recently developed Programming Logic approach, were adapted to use the asymptotic paradigm. These approaches were then used to verify several programs; the programs chosen were simplified versions of actual mathematical software.

  20. Magnetic cleanliness verification approach on tethered satellite

    NASA Technical Reports Server (NTRS)

    Messidoro, Piero; Braghin, Massimo; Grande, Maurizio

    1990-01-01

    Magnetic cleanliness testing was performed on the Tethered Satellite as the last step of an articulated verification campaign aimed at demonstrating the capability of the satellite to support its TEMAG (TEthered MAgnetometer) experiment. Tests at unit level and analytical predictions/correlations using a dedicated mathematical model (GANEW program) are also part of the verification activities. Details of the tests are presented, and the results of the verification are described together with recommendations for later programs.

  1. Cleared for Launch - Lessons Learned from the OSIRIS-REx System Requirements Verification Program

    NASA Technical Reports Server (NTRS)

    Stevens, Craig; Adams, Angela; Williams, Bradley; Goodloe, Colby

    2017-01-01

    Requirements verification of a large flight system is a challenge. It is especially challenging for engineers taking on their first role in space systems engineering. This paper describes our approach to verification of the Origins, Spectral Interpretation, Resource Identification, Security-Regolith Explorer (OSIRIS-REx) system requirements. It also captures lessons learned along the way from developing systems engineers embroiled in this process. We begin with an overview of the mission and science objectives as well as the project requirements verification program strategy. A description of the requirements flow down is presented including our implementation for managing the thousands of program and element level requirements and associated verification data. We discuss both successes and methods to improve the managing of this data across multiple organizational interfaces. Our approach to verifying system requirements at multiple levels of assembly is presented using examples from our work at instrument, spacecraft, and ground segment levels. We include a discussion of system end-to-end testing limitations and their impacts to the verification program. Finally, we describe lessons learned that are applicable to all emerging space systems engineers using our unique perspectives across multiple organizations of a large NASA program.

  2. Cost-Effective CNC Part Program Verification Development for Laboratory Instruction.

    ERIC Educational Resources Information Center

    Chen, Joseph C.; Chang, Ted C.

    2000-01-01

    Describes a computer numerical control program verification system that checks a part program before its execution. The system includes character recognition, word recognition, a fuzzy-nets system, and a tool path viewer. (SK)

  3. 7 CFR 62.207 - Official assessment.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.207 Official assessment. Official assessment of an applicant's program shall include...

  4. Regression Verification Using Impact Summaries

    NASA Technical Reports Server (NTRS)

    Backes, John; Person, Suzette J.; Rungta, Neha; Thachuk, Oksana

    2013-01-01

    Regression verification techniques are used to prove equivalence of syntactically similar programs. Checking equivalence of large programs, however, can be computationally expensive. Existing regression verification techniques rely on abstraction and decomposition techniques to reduce the computational effort of checking equivalence of the entire program. These techniques are sound but not complete. In this work, we propose a novel approach to improve scalability of regression verification by classifying the program behaviors generated during symbolic execution as either impacted or unimpacted. Our technique uses a combination of static analysis and symbolic execution to generate summaries of impacted program behaviors. The impact summaries are then checked for equivalence using an o-the-shelf decision procedure. We prove that our approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution. Our evaluation on a set of sequential C artifacts shows that reducing the size of the summaries can help reduce the cost of software equivalence checking. Various reduction, abstraction, and compositional techniques have been developed to help scale software verification techniques to industrial-sized systems. Although such techniques have greatly increased the size and complexity of systems that can be checked, analysis of large software systems remains costly. Regression analysis techniques, e.g., regression testing [16], regression model checking [22], and regression verification [19], restrict the scope of the analysis by leveraging the differences between program versions. These techniques are based on the idea that if code is checked early in development, then subsequent versions can be checked against a prior (checked) version, leveraging the results of the previous analysis to reduce analysis cost of the current version. Regression verification addresses the problem of proving equivalence of closely related program versions [19]. These techniques compare two programs with a large degree of syntactic similarity to prove that portions of one program version are equivalent to the other. Regression verification can be used for guaranteeing backward compatibility, and for showing behavioral equivalence in programs with syntactic differences, e.g., when a program is refactored to improve its performance, maintainability, or readability. Existing regression verification techniques leverage similarities between program versions by using abstraction and decomposition techniques to improve scalability of the analysis [10, 12, 19]. The abstractions and decomposition in the these techniques, e.g., summaries of unchanged code [12] or semantically equivalent methods [19], compute an over-approximation of the program behaviors. The equivalence checking results of these techniques are sound but not complete-they may characterize programs as not functionally equivalent when, in fact, they are equivalent. In this work we describe a novel approach that leverages the impact of the differences between two programs for scaling regression verification. We partition program behaviors of each version into (a) behaviors impacted by the changes and (b) behaviors not impacted (unimpacted) by the changes. Only the impacted program behaviors are used during equivalence checking. We then prove that checking equivalence of the impacted program behaviors is equivalent to checking equivalence of all program behaviors for a given depth bound. In this work we use symbolic execution to generate the program behaviors and leverage control- and data-dependence information to facilitate the partitioning of program behaviors. The impacted program behaviors are termed as impact summaries. The dependence analyses that facilitate the generation of the impact summaries, we believe, could be used in conjunction with other abstraction and decomposition based approaches, [10, 12], as a complementary reduction technique. An evaluation of our regression verification technique shows that our approach is capable of leveraging similarities between program versions to reduce the size of the queries and the time required to check for logical equivalence. The main contributions of this work are: - A regression verification technique to generate impact summaries that can be checked for functional equivalence using an off-the-shelf decision procedure. - A proof that our approach is sound and complete with respect to the depth bound of symbolic execution. - An implementation of our technique using the LLVMcompiler infrastructure, the klee Symbolic Virtual Machine [4], and a variety of Satisfiability Modulo Theory (SMT) solvers, e.g., STP [7] and Z3 [6]. - An empirical evaluation on a set of C artifacts which shows that the use of impact summaries can reduce the cost of regression verification.

  5. GENERIC VERIFICATION PROTOCOL FOR THE VERIFICATION OF PESTICIDE SPRAY DRIFT REDUCTION TECHNOLOGIES FOR ROW AND FIELD CROPS

    EPA Science Inventory

    This ETV program generic verification protocol was prepared and reviewed for the Verification of Pesticide Drift Reduction Technologies project. The protocol provides a detailed methodology for conducting and reporting results from a verification test of pesticide drift reductio...

  6. 76 FR 41186 - Salmonella Verification Sampling Program: Response to Comments on New Agency Policies and...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-07-13

    ... Service [Docket No. FSIS-2008-0008] Salmonella Verification Sampling Program: Response to Comments on New... establishments that participate in SIP. The Agency intends to conduct its own unannounced, small- set sampling to... considering publishing verification sampling results for other product classes. In the 2006 Federal Register...

  7. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM: PROTOCOL FOR THE VERIFICATION OF GROUTING MATERIALS FOR INFRASTRUCTURE REHABILITATION AT THE UNIVERSITY OF HOUSTON - CIGMAT

    EPA Science Inventory

    This protocol was developed under the Environmental Protection Agency's Environmental Technology Verification (ETV) Program, and is intended to be used as a guide in preparing laboratory test plans for the purpose of verifying the performance of grouting materials used for infra...

  8. Orbit attitude processor. STS-1 bench program verification test plan

    NASA Technical Reports Server (NTRS)

    Mcclain, C. R.

    1980-01-01

    A plan for the static verification of the STS-1 ATT PROC ORBIT software requirements is presented. The orbit version of the SAPIENS bench program is used to generate the verification data. A brief discussion of the simulation software and flight software modules is presented along with a description of the test cases.

  9. The EarthConnections San Bernardino Alliance: Addressing Diversity in the Geosciences Using a Collective Impact Model

    NASA Astrophysics Data System (ADS)

    McGill, S. F.; Benthien, M. L.; Castillo, B. A.; Fitzsimmons, J.; Foutz, A.; Keck, D.; Manduca, C. A.; Noriega, G. R.; Pandya, R. E.; Taber, J. J.; Vargas, B.

    2017-12-01

    The EarthConnections San Bernardino Alliance is one of three regional alliances supported by the national EarthConnections Collective Impact Alliance, funded by a pilot grant from the National Science Foundation INCLUDES program. All three of the regional alliances share a common vision, focused on developing a diverse geoscience workforce through connecting existing programs and institutions into regional pathways that support and guide students from engagement at an early age with Earth science linked to issues facing the local community, through the many steps and transitions to geoscience-related careers. The San Bernardino Alliance began with collaboration between one university, one community college and one high school and also includes the Southern California Earthquake Center as well as professional geologists in the region. Based on discussions at an opening round table event, the Alliance has chosen to capitalize on existing geology student clubs and deeply engaged faculty and alumni at the founding high school, community college and university members of the Alliance to plan joint field trips, service learning projects, guest speakers, and visits to dinner meetings of the local professional societies for students at participating institutions at various stages along the pathway. The underlying motivation is to connect students to their peers and to mentors at institutions that represent the next step on the pathway, as well as to expose them to careers in geology and to geoscience issues that impact the local community. A second type of intervention we are planning is to promote high quality teaching in introductory Earth science courses at the university, community college and high school levels, including the development of high school honors courses in Earth science. To this end we are hosting an NAGT traveling workshop focused on using active learning and societally relevant issues to develop engaging introductory geoscience courses. This teaching workshop will also serve as an opportunity to expand our alliance to include additional educational institutions in the region. We are also planning interviews with local community leaders to identify geoscience issues of local importance that could become a focus for joint service learning projects for students at various stages along the pathway.

  10. Putting into practice error management theory: Unlearning and learning to manage action errors in construction.

    PubMed

    Love, Peter E D; Smith, Jim; Teo, Pauline

    2018-05-01

    Error management theory is drawn upon to examine how a project-based organization, which took the form of a program alliance, was able to change its established error prevention mindset to one that enacted a learning mindfulness that provided an avenue to curtail its action errors. The program alliance was required to unlearn its existing routines and beliefs to accommodate the practices required to embrace error management. As a result of establishing an error management culture the program alliance was able to create a collective mindfulness that nurtured learning and supported innovation. The findings provide a much-needed context to demonstrate the relevance of error management theory to effectively address rework and safety problems in construction projects. The robust theoretical underpinning that is grounded in practice and presented in this paper provides a mechanism to engender learning from errors, which can be utilized by construction organizations to improve the productivity and performance of their projects. Copyright © 2018 Elsevier Ltd. All rights reserved.

  11. Defining the Community-Based Education Alliance: Outcomes, Values, Purposes, and Operating Model

    ERIC Educational Resources Information Center

    Fina, Nicholas J.

    2009-01-01

    This paper explores the stakeholder values, desired student outcomes, organizational purposes, and operating model of the Community-based Education Alliance (CBEA), a transition program operated by a partnership between the Center for Disabilities Studies of the University of Delaware, and two school districts in New Castle County, Delaware. The…

  12. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM CASE STUDIES: DEMONSTRATING PROGRAM OUTCOMES

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) Program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This bookle...

  13. ENVIRONMENTAL TECHNOLOGY VERIFICATION--TEST REPORT OF MOBILE SOURCE EMISSION CONTROL DEVICES, CUMMINS EMISSION SOLUTIONS AND CUMMINS FILTRATION DIESEL OXIDATION CATALYST AND CLOSED CRANKCASE VENTILATION SYSTEM

    EPA Science Inventory

    The U.S. EPA has created the Environmental Technology Verification (ETV) Program. ETV seeks to provide high-quality, peer-reviewed data on technology performance. The Air Pollution Control Technology (APCT) Verification Center, a center under the ETV Program, is operated by Res...

  14. Test and Verification Approach for the NASA Constellation Program

    NASA Technical Reports Server (NTRS)

    Strong, Edward

    2008-01-01

    This viewgraph presentation is a test and verification approach for the NASA Constellation Program. The contents include: 1) The Vision for Space Exploration: Foundations for Exploration; 2) Constellation Program Fleet of Vehicles; 3) Exploration Roadmap; 4) Constellation Vehicle Approximate Size Comparison; 5) Ares I Elements; 6) Orion Elements; 7) Ares V Elements; 8) Lunar Lander; 9) Map of Constellation content across NASA; 10) CxP T&V Implementation; 11) Challenges in CxP T&V Program; 12) T&V Strategic Emphasis and Key Tenets; 13) CxP T&V Mission & Vision; 14) Constellation Program Organization; 15) Test and Evaluation Organization; 16) CxP Requirements Flowdown; 17) CxP Model Based Systems Engineering Approach; 18) CxP Verification Planning Documents; 19) Environmental Testing; 20) Scope of CxP Verification; 21) CxP Verification - General Process Flow; 22) Avionics and Software Integrated Testing Approach; 23) A-3 Test Stand; 24) Space Power Facility; 25) MEIT and FEIT; 26) Flight Element Integrated Test (FEIT); 27) Multi-Element Integrated Testing (MEIT); 28) Flight Test Driving Principles; and 29) Constellation s Integrated Flight Test Strategy Low Earth Orbit Servicing Capability.

  15. Hydrologic data-verification management program plan

    USGS Publications Warehouse

    Alexander, C.W.

    1982-01-01

    Data verification refers to the performance of quality control on hydrologic data that have been retrieved from the field and are being prepared for dissemination to water-data users. Water-data users now have access to computerized data files containing unpublished, unverified hydrologic data. Therefore, it is necessary to develop techniques and systems whereby the computer can perform some data-verification functions before the data are stored in user-accessible files. Computerized data-verification routines can be developed for this purpose. A single, unified concept describing master data-verification program using multiple special-purpose subroutines, and a screen file containing verification criteria, can probably be adapted to any type and size of computer-processing system. Some traditional manual-verification procedures can be adapted for computerized verification, but new procedures can also be developed that would take advantage of the powerful statistical tools and data-handling procedures available to the computer. Prototype data-verification systems should be developed for all three data-processing environments as soon as possible. The WATSTORE system probably affords the greatest opportunity for long-range research and testing of new verification subroutines. (USGS)

  16. Environmental Technology Verification (ETV) Quality Program (Poster)

    EPA Science Inventory

    This is a poster created for the ETV Quality Program. The EPA Environmental Technology Verification Program (ETV) develops test protocols and verifies the performance of innovative technologies that have the potential to improve protection of human health and the environment. The...

  17. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM CASE STUDIES: DEMONSTRATING PROGRAM OUTCOMES, VOLUME II

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) Program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This bookle...

  18. Environmental Technology Verification Program - ETV - Case Studies: Demonstrating Program Outcomes

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) Program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This cd con...

  19. Options and Risk for Qualification of Electric Propulsion System

    NASA Technical Reports Server (NTRS)

    Bailey, Michelle; Daniel, Charles; Cook, Steve (Technical Monitor)

    2002-01-01

    Electric propulsion vehicle systems envelop a wide range of propulsion alternatives including solar and nuclear, which present unique circumstances for qualification. This paper will address the alternatives for qualification of electric propulsion spacecraft systems. The approach taken will be to address the considerations for qualification at the various levels of systems definition. Additionally, for each level of qualification the system level risk implications will be developed. Also, the paper will explore the implications of analysis verses test for various levels of systems definition, while retaining the objectives of a verification program. The limitations of terrestrial testing will be explored along with the risk and implications of orbital demonstration testing. The paper will seek to develop a template for structuring of a verification program based on cost, risk and value return. A successful verification program should establish controls and define objectives of the verification compliance program. Finally the paper will seek to address the political and programmatic factors, which may impact options for system verification.

  20. A.D.E.L.A.N.T.E. Alliance for Developing and Enhancing Latino Awareness and Needs in Teacher Education.

    ERIC Educational Resources Information Center

    Montoya, Alicia L.

    ADELANTE (Spanish for Forward), Alliance for Developing and Enhancing Latino Awareness and Needs in Teacher Education, is a program designed to enhance the cultural sensitivity and teaching skills of experienced teachers. Developed cooperatively by Harrison-Morton Middle School, Kutztown University, and the community-based organization, Casa…

  1. Effective Aspects of Reengagement and Recovery Programs in Southeastern Wisconsin High Schools

    ERIC Educational Resources Information Center

    Litzau, Christopher; Rice, Nancy

    2017-01-01

    The number of students in the United States who did not complete high school decreased by 27% from 2008 to 2012 (Alliance for Excellent Education, America's Promise Alliance, Civic Enterprises, & The Everyone Graduates Center at Johns Hopkins University, 2015). This is a positive trend. High schools can help students complete school and…

  2. Building Research Partnerships with Health Care Organizations: The Scholar Award Model in Action

    ERIC Educational Resources Information Center

    Aroian, Karen J.; Robertson, Patricia; Allred, Kelly; Andrews, Diane; Waldrop, Julee

    2012-01-01

    In the current era of limited funding, researchers need strategic alliances to launch or sustain programs of research to significantly impact the nation's health. This article presents a collaborative model, the Scholar Award Model, which is based on a strategic alliance between a College of Nursing in a research-intensive university and a…

  3. Drugs, Alcohol, and Women's Health: An Alliance of Regional Coalitions. Final Report.

    ERIC Educational Resources Information Center

    Nellis, Muriel; And Others

    The needs of women and the content of existing information programs concerned with drug and alcohol abuse and general health were investigated through a nationwide Alliance of Regional Coalitions on Drugs, Alcohol, and Women's Health sponsored by the National Institute on Drug Abuse. Results indicated that: (1) multi-substance abuse is common, but…

  4. Environmental Technology Verification Report -- Baghouse filtration products, GE Energy QG061 filtration media ( tested May 2007)

    EPA Science Inventory

    EPA has created the Environmental Technology Verification Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The Air Pollution Control Technology Verification Center, a cente...

  5. KENNEDY SPACE CENTER, FLA. -- NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (left) tours a solid rocket booster (SRB) retrieval ship at Cape Canaveral. NASA and United Space Alliance (USA) Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (left) tours a solid rocket booster (SRB) retrieval ship at Cape Canaveral. NASA and United Space Alliance (USA) Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  6. Results and current status of the NPARC alliance validation effort

    NASA Technical Reports Server (NTRS)

    Towne, Charles E.; Jones, Ralph R.

    1996-01-01

    The NPARC Alliance is a partnership between the NASA Lewis Research Center (LeRC) and the USAF Arnold Engineering Development Center (AEDC) dedicated to the establishment of a national CFD capability, centered on the NPARC Navier-Stokes computer program. The three main tasks of the Alliance are user support, code development, and validation. The present paper is a status report on the validation effort. It describes the validation approach being taken by the Alliance. Representative results are presented for laminar and turbulent flat plate boundary layers, a supersonic axisymmetric jet, and a glancing shock/turbulent boundary layer interaction. Cases scheduled to be run in the future are also listed. The archive of validation cases is described, including information on how to access it via the Internet.

  7. Distance Learning Programming.

    ERIC Educational Resources Information Center

    Lucero, Jesus Ricardo; And Others

    This resource guide for distance learning information, courses, and programming covers: (1) audiographics programming by the Pennsylvania Teleteaching Project; (2) cable programming, including the Cable Alliance for Education's Cable in the Classroom projects, Consumer News and Business Channel, Nostalgia Television, PENNARAMA Channel, Silent…

  8. Investigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers

    NASA Technical Reports Server (NTRS)

    Levitt, K. N.; Schwartz, R.; Hare, D.; Moore, J. S.; Melliar-Smith, P. M.; Shostak, R. E.; Boyer, R. S.; Green, M. W.; Elliott, W. D.

    1983-01-01

    A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic.

  9. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - PERFORMANCE VERIFICATION OF THE W.L. GORE & ASSOCIATES GORE-SORBER SCREENING SURVEY

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  10. 7 CFR 62.208 - Publication of QSVP assessment status.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.208 Publication of QSVP assessment status. Approved programs shall be posted for public reference on the ARC Branch Web site: http://www.ams.usda.gov...

  11. 7 CFR 62.208 - Publication of QSVP assessment status.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.208 Publication of QSVP assessment status. Approved programs shall be posted for public reference on the ARC Branch Web site: http://www.ams.usda.gov...

  12. 7 CFR 62.208 - Publication of QSVP assessment status.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.208 Publication of QSVP assessment status. Approved programs shall be posted for public reference on the ARC Branch Web site: http://www.ams.usda.gov...

  13. 7 CFR 62.208 - Publication of QSVP assessment status.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.208 Publication of QSVP assessment status. Approved programs shall be posted for public reference on the ARC Branch Web site: http://www.ams.usda.gov...

  14. 7 CFR 62.208 - Publication of QSVP assessment status.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.208 Publication of QSVP assessment status. Approved programs shall be posted for public reference on the ARC Branch Web site: http://www.ams.usda.gov...

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM: QUALITY AND MANAGEMENT PLAN FOR THE PILOT PERIOD (1995-2000)

    EPA Science Inventory

    Based upon the structure and specifications in ANSI/ASQC E4-1994, Specifications and Guidelines for Quality Systems for Environmental Data Collection and Environmental Technology Programs, the Environmental Technology Verification (ETV) program Quality and Management Plan (QMP) f...

  16. The History and Accomplishments of the LIVESTRONG Young Adult Alliance.

    PubMed

    Mathews-Bradshaw, Beth; Johnson, Rebecca; Kaplan, Stuart; Craddock, Kelli; Hayes-Lattin, Brandon

    2011-03-01

    This article outlines the history, background, and accomplishments of the LIVESTRONG Young Adult Alliance. The LIVESTRONG Young Adult Alliance, a program of the Lance Armstrong Foundation, was developed as a vehicle for a strategic plan designed to implement the Adolescent and Young Adult Oncology Progress Review Group (AYAO PRG) recommendations. The AYAO PRG was co-sponsored by Lance Armstrong Foundation and the National Cancer Institute (NCI); both LIVESTRONG and NCI provide strategic oversight and guidance to the Alliance. Highlights and accomplishments: The Alliance accomplishments include the publication of disease-specific retrospective analyses, funding of an AYA cohort study and biorepository proposal, publication of two position statements on guidelines for care of AYAs with cancer and training for AYA oncology health professionals, promotion of an international charter of rights for AYA cancer patients, creation and distribution of a survey to college health professionals, creation and implementation of a Cancer Centers Working Group and Institutional Review Board Toolkit, and continued growth and collaboration through an annual meeting. The growth and success of the Alliance has coincided with the growth of AYA oncology as a field. The collaborative environment of the Alliance draws together a diverse group of individuals united in the effort to increase survival rates and improve the quality of life for adolescents and young adults diagnosed with cancer.

  17. HDM/PASCAL Verification System User's Manual

    NASA Technical Reports Server (NTRS)

    Hare, D.

    1983-01-01

    The HDM/Pascal verification system is a tool for proving the correctness of programs written in PASCAL and specified in the Hierarchical Development Methodology (HDM). This document assumes an understanding of PASCAL, HDM, program verification, and the STP system. The steps toward verification which this tool provides are parsing programs and specifications, checking the static semantics, and generating verification conditions. Some support functions are provided such as maintaining a data base, status management, and editing. The system runs under the TOPS-20 and TENEX operating systems and is written in INTERLISP. However, no knowledge is assumed of these operating systems or of INTERLISP. The system requires three executable files, HDMVCG, PARSE, and STP. Optionally, the editor EMACS should be on the system in order for the editor to work. The file HDMVCG is invoked to run the system. The files PARSE and STP are used as lower forks to perform the functions of parsing and proving.

  18. Crowd Sourced Formal Verification-Augmentation (CSFV-A)

    DTIC Science & Technology

    2016-06-01

    Formal Verification (CSFV) program built games that recast FV problems into puzzles to make these problems more accessible, increasing the manpower to...construct FV proofs. This effort supported the CSFV program by hosting the games on a public website, and analyzed the gameplay for efficiency to...provide FV proofs. 15. SUBJECT TERMS Crowd Source, Software, Formal Verification, Games 16. SECURITY CLASSIFICATION OF: 17. LIMITATION OF ABSTRACT

  19. Dynamic testing for shuttle design verification

    NASA Technical Reports Server (NTRS)

    Green, C. E.; Leadbetter, S. A.; Rheinfurth, M. H.

    1972-01-01

    Space shuttle design verification requires dynamic data from full scale structural component and assembly tests. Wind tunnel and other scaled model tests are also required early in the development program to support the analytical models used in design verification. Presented is a design philosophy based on mathematical modeling of the structural system strongly supported by a comprehensive test program; some of the types of required tests are outlined.

  20. Reducing software security risk through an integrated approach research initiative model based verification of the Secure Socket Layer (SSL) Protocol

    NASA Technical Reports Server (NTRS)

    Powell, John D.

    2003-01-01

    This document discusses the verification of the Secure Socket Layer (SSL) communication protocol as a demonstration of the Model Based Verification (MBV) portion of the verification instrument set being developed under the Reducing Software Security Risk (RSSR) Trough an Integrated Approach research initiative. Code Q of the National Aeronautics and Space Administration (NASA) funds this project. The NASA Goddard Independent Verification and Validation (IV&V) facility manages this research program at the NASA agency level and the Assurance Technology Program Office (ATPO) manages the research locally at the Jet Propulsion Laboratory (California institute of Technology) where the research is being carried out.

  1. Intensive Evening Outpatient Treatment for Patients With Personality Dysfunction: Early Group Process, Change in Interpersonal Distress, and Longer-Term Social Functioning.

    PubMed

    Joyce, Anthony S; Ogrodniczuk, John S; Kealy, David

    2017-01-01

    Entrenched interpersonal difficulties are a defining feature of those with personality dysfunction. Evening treatment-a comprehensive and intensive group-oriented outpatient therapy program-offers a unique approach to delivering mental health services to patients with chronic personality dysfunction. This study assessed change in interpersonal problems as a key outcome, the relevance of such change to future social functioning, and the influence of early group processes on this change. Consecutively admitted patients (N = 75) to a group-oriented evening treatment program were recruited; the majority were diagnosed with personality disorder. Therapy outcome was represented by scores on the Inventory of Interpersonal Problems. Follow-up outcome was represented by the global score of the Social Adjustment Scale. Group climate, group cohesion, and the therapeutic alliance were examined as process variables. Patients experienced substantial reduction in distress associated with interpersonal problems; early process factors that reflected a cohesive and engaged group climate and stronger therapeutic alliance were predictive of this outcome. Improvement in interpersonal distress was predictive of global social functioning six months later. The therapeutic alliance most strongly accounted for change in interpersonal problems at posttreatment and social functioning at follow-up. A comprehensive and integrated outpatient group therapy program, offered in the evening to accommodate patients' real-life demands, can facilitate considerable improvement in interpersonal problems, which in turn influences later social functioning. The intensity and intimacy of peer interactions in the therapy groups, and a strong alliance with the program therapists, are likely interacting factors that are particularly important to facilitate such change.

  2. U.S. EPA Environmental Technology Verification Program, the Founder of the ETV Concept

    EPA Science Inventory

    The U.S. EPA Environmental Technology Verification (ETV) Program develops test protocols and verifies the performance of innovative technologies that have the potential to improve protection of human health and the environment. The program was created in 1995 to help accelerate t...

  3. The Relation between Supervisor Self-Disclosure and the Working Alliance among Social Work Students in Field Placement

    ERIC Educational Resources Information Center

    Davidson, Clare

    2011-01-01

    The author examined supervisor self-disclosure and the supervisory working alliance with the hope of adding to research-supported techniques in field work supervision. Students enrolled in an MSW program at a large urban university were asked to complete a survey on the frequency and content of their supervisor's self-disclosures and on their…

  4. DOE Zero Energy Ready Home Case Study: Alliance Green Builders, Casa Aguila

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

    Pacific Northwest National Laboratory

    Alliance Green Builders built this 3,129-ft2 home in the hills above Ramona, California, to the high-performance criteria of the DOE Zero Energy Ready Home (ZERH) program. The home should perform far better than net zero thanks to a super-efficient building shell, a wind turbine, three suntracking solar photovoltaic arrays, and solar thermal water heating.

  5. Greater Engagement among Members of Gay-Straight Alliances: Individual and Structural Contributors

    ERIC Educational Resources Information Center

    Poteat, V. Paul; Heck, Nicholas C.; Yoshikawa, Hirokazu; Calzo, Jerel P.

    2016-01-01

    Using youth program models to frame the study of Gay-Straight Alliances (GSAs), we identified individual and structural predictors of greater engagement in these settings with a cross-sectional sample of 295 youth in 33 GSAs from the 2014 Massachusetts GSA Network Survey (69% LGBQ, 68% cisgender female, 68% White, M[subscript age] =16.07).…

  6. The private partners of public health: public-private alliances for public good.

    PubMed

    McDonnell, Sharon; Bryant, Carol; Harris, Jeff; Campbell, Marci Kramish; Lobb, Ano; Hannon, Peggy A; Cross, Jeffrey L; Gray, Barbara

    2009-04-01

    We sought to convey lessons learned by the Centers for Disease Control and Prevention's (CDC's) Prevention Research Centers (PRCs) about the value and challenges of private-sector alliances resulting in innovative health promotion strategies. Several PRCs based in a variety of workplace and community settings contributed. We conducted interviews with principal investigators, a literature review, and a review of case studies of private-sector alliances in a microbusiness model, a macrobusiness model, and as multiparty partnerships supporting public health research, implementation, and human resource services. Private-sector alliances provide many advantages, particularly access to specialized skills generally beyond the expertise of public health entities. These skills include manufacturing, distribution, marketing, business planning, and development. Alliances also allow ready access to employee populations. Public health entities can offer private-sector partners funding opportunities through special grants, data gathering and analysis skills, and enhanced project credibility and trust. Challenges to successful partnerships include time and resource availability and negotiating the cultural divide between public health and the private sector. Critical to success are knowledge of organizational culture, values, mission, currency, and methods of operation; an understanding of and ability to articulate the benefits of the alliance for each partner; and the ability and time to respond to unexpected changes and opportunities. Private-public health alliances are challenging, and developing them takes time and resources, but aspects of these alliances can capitalize on partners' strengths, counteract weaknesses, and build collaborations that produce better outcomes than otherwise possible. Private partners may be necessary for program initiation or success. CDC guidelines and support materials may help nurture these alliances.

  7. KENNEDY SPACE CENTER, FLA. -- NASA and United Space Alliance (USA) Space Shuttle program managers attend a briefing, part of activities during a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC. Starting third from left are NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik, USA Vice President and Space Shuttle Program Manager Howard DeCastro, NASA Space Shuttle Program Manager William Parsons, and USA Associate Program Manager of Ground Operations Andy Allen.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- NASA and United Space Alliance (USA) Space Shuttle program managers attend a briefing, part of activities during a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC. Starting third from left are NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik, USA Vice President and Space Shuttle Program Manager Howard DeCastro, NASA Space Shuttle Program Manager William Parsons, and USA Associate Program Manager of Ground Operations Andy Allen.

  8. KENNEDY SPACE CENTER, FLA. -- From left, NASA Deputy Program Manager of the Space Shuttle Program Michael Wetmore, United Space Alliance (USA) Vice President and Space Shuttle Program Manager Howard DeCastro, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik, and a USA technician examine cold plates in Orbiter Processing Facility Bay 2. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- From left, NASA Deputy Program Manager of the Space Shuttle Program Michael Wetmore, United Space Alliance (USA) Vice President and Space Shuttle Program Manager Howard DeCastro, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik, and a USA technician examine cold plates in Orbiter Processing Facility Bay 2. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  9. Apollo experience report: Guidance and control systems. Engineering simulation program

    NASA Technical Reports Server (NTRS)

    Gilbert, D. W.

    1973-01-01

    The Apollo Program experience from early 1962 to July 1969 with respect to the engineering-simulation support and the problems encountered is summarized in this report. Engineering simulation in support of the Apollo guidance and control system is discussed in terms of design analysis and verification, certification of hardware in closed-loop operation, verification of hardware/software compatibility, and verification of both software and procedures for each mission. The magnitude, time, and cost of the engineering simulations are described with respect to hardware availability, NASA and contractor facilities (for verification of the command module, the lunar module, and the primary guidance, navigation, and control system), and scheduling and planning considerations. Recommendations are made regarding implementation of similar, large-scale simulations for future programs.

  10. CSTI Earth-to-orbit propulsion research and technology program overview

    NASA Technical Reports Server (NTRS)

    Gentz, Steven J.

    1993-01-01

    NASA supports a vigorous Earth-to-orbit (ETO) research and technology program as part of its Civil Space Technology Initiative. The purpose of this program is to provide an up-to-date technology base to support future space transportation needs for a new generation of lower cost, operationally efficient, long-lived and highly reliable ETO propulsion systems by enhancing the knowledge, understanding and design methodology applicable to advanced oxygen/hydrogen and oxygen/hydrocarbon ETO propulsion systems. Program areas of interest include analytical models, advanced component technology, instrumentation, and validation/verification testing. Organizationally, the program is divided between technology acquisition and technology verification as follows: (1) technology acquisition; and (2) technology verification.

  11. 7 CFR 62.213 - Official identification.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.213 Official identification. The following, as shown in figure 1, constitutes...

  12. 7 CFR 62.200 - Services.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Services. 62.200 Section 62.200 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

  13. KENNEDY SPACE CENTER, FLA. -- From front row left, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik and NASA Space Shuttle Program Manager William Parsons are trained on the proper use of the Emergency Life Support Apparatus (ELSA). NASA and United Space Alliance (USA) Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- From front row left, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik and NASA Space Shuttle Program Manager William Parsons are trained on the proper use of the Emergency Life Support Apparatus (ELSA). NASA and United Space Alliance (USA) Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  14. KENNEDY SPACE CENTER, FLA. -- From left, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik and NASA Space Shuttle Program Manager William Parsons each don an Emergency Life Support Apparatus (ELSA) during training on the proper use of the escape devices. NASA and United Space Alliance (USA) Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- From left, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik and NASA Space Shuttle Program Manager William Parsons each don an Emergency Life Support Apparatus (ELSA) during training on the proper use of the escape devices. NASA and United Space Alliance (USA) Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  15. KENNEDY SPACE CENTER, FLA. -- From left, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik, United Space Alliance (USA) Director of Orbiter Operations Patty Stratton, and NASA Space Shuttle Program Manager William Parsons view the underside of Shuttle Discovery in Orbiter Processing Facility Bay 3. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- From left, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik, United Space Alliance (USA) Director of Orbiter Operations Patty Stratton, and NASA Space Shuttle Program Manager William Parsons view the underside of Shuttle Discovery in Orbiter Processing Facility Bay 3. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  16. KENNEDY SPACE CENTER, FLA. -- United Space Alliance (USA) Vice President and Associate Program Manager of Florida Operations Bill Pickavance (left front) and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (right front) tour a solid rocket booster (SRB) retrieval ship at Cape Canaveral. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- United Space Alliance (USA) Vice President and Associate Program Manager of Florida Operations Bill Pickavance (left front) and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (right front) tour a solid rocket booster (SRB) retrieval ship at Cape Canaveral. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  17. Examining the relation between the therapeutic alliance, treatment adherence, and outcome of cognitive behavioral therapy for children with anxiety disorders.

    PubMed

    Liber, Juliette M; McLeod, Bryce D; Van Widenfelt, Brigit M; Goedhart, Arnold W; van der Leeden, Adelinde J M; Utens, Elisabeth M W J; Treffers, Philip D A

    2010-06-01

    Little is known about the contribution of technical and relational factors to child outcomes in cognitive behavioral therapy (CBT) for children with anxiety disorders. This study investigated the association between treatment adherence, the child-therapist alliance, and child clinical outcomes in manual-guided individual- and group-based CBT for youths diagnosed with anxiety disorders. Trained observers rated tapes of therapy sessions for treatment adherence and child-therapist alliance in a sample of 52 children (aged 8 to 12) with anxiety disorders. Self-reported child anxiety was assessed at pre-, mid-, and posttreatment; parent-reported child internalizing symptoms was assessed at pre- and posttreatment. The results showed high levels of treatment adherence and child-therapist alliance in both CBT programs. Neither treatment adherence nor child-therapist alliance predicted traditional measurements of child outcomes in the present study, but a relation between alliance and outcome was found using a more precise estimation of the true pre-post differences. Implications of these findings for expanding our understanding of how treatment processes relate to child outcome in CBT for children with anxiety disorders are discussed. 2009. Published by Elsevier Ltd.

  18. KENNEDY SPACE CENTER, FLA. -- NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (top) discusses the inner workings of Shuttle Atlantis in Orbiter Processing Facility Bay 1 with a United Space Alliance (USA) technician (bottom). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (top) discusses the inner workings of Shuttle Atlantis in Orbiter Processing Facility Bay 1 with a United Space Alliance (USA) technician (bottom). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  19. KENNEDY SPACE CENTER, FLA. -- NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (right) discusses a speed brake on Shuttle Discovery in Orbiter Processing Facility Bay 3 with a United Space Alliance (USA) technician (left). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (right) discusses a speed brake on Shuttle Discovery in Orbiter Processing Facility Bay 3 with a United Space Alliance (USA) technician (left). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  20. KENNEDY SPACE CENTER, FLA. -- NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (center) is given a tour of a solid rocket booster (SRB) retrieval ship by United Space Alliance (USA) employee Joe Chaput (right). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (center) is given a tour of a solid rocket booster (SRB) retrieval ship by United Space Alliance (USA) employee Joe Chaput (right). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  1. Opening caregiver minds: National Alliance for the Mentally Ill's (NAMI) provider education program.

    PubMed

    Mohr, W K; Lafuze, J E; Mohr, B D

    2000-10-01

    The belief that poor parenting and dysfunctional families give rise to mental illness has been perpetuated by psychodynamic and family systems theories that lack supporting scientific evidence, and interventions based on these theories have failed to produce clinical improvements. Nevertheless the National Alliance for the Mentally III (NAMI) found that many clinical training programs continue to teach these outdated theories and interventions and that the mental health system is often destructive to family systems. This article describes a new 10-week program that is designed to educate service providers that will include families in the care of their chronically ill loved one. The program is based on a competence and adaptation rather than a pathology foundation and it shifts the discourse from causes to effects of illness.

  2. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM QUARTERLY REPORT - OCTOBER 2003

    EPA Science Inventory

    The U.S. EPA Environmental Technology Verification (ETV) Program provides credible performance data for commercial-ready environmental technologies to speed their implementation for the benefit of vendors, purchasers, permitters, and the public. The ETV Quarterly Reports provide...

  3. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: GREEN BUILDING TECHNOLOGIES

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) Program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techno...

  4. Environmental Technology Verification Program (ETV) Policy Compendium

    EPA Science Inventory

    The Policy Compendium summarizes operational decisions made to date by participants in the U.S. Environmental Protection Agency's (EPA's) Environmental Technology Verification Program (ETV) to encourage consistency among the ETV centers. The policies contained herein evolved fro...

  5. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: FUEL CELLS

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) Program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techno...

  6. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: STORMWATER TECHNOLOGIES

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techn...

  7. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM; BAGHOUSE FILTRATION PRODUCTS

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) Program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techno...

  8. 7 CFR 62.211 - Appeals.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards, Inspections... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.211 Appeals. Appeals of adverse decisions under this part, may be made in writing to...

  9. 7 CFR 62.212 - Official assessment reports.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Service § 62.212 Official assessment reports. Official QSVP assessment reports shall be generated...

  10. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: WET-WEATHER FLOW/SOURCE WATER PROTECTION

    EPA Science Inventory

    This paper presents an overview of the Environmental Protection Agency's (EPA) Environmental Technology Verification (ETV) program which was established to overcome the numerous impediments to commercialization experienced by developers of innovative environmental technologies. ...

  11. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    This presentation will be given at the EPA Science Forum 2005 in Washington, DC. The Environmental Technology Verification Program (ETV) was initiated in 1995 to speed implementation of new and innovative commercial-ready environemntal technologies by providing objective, 3rd pa...

  12. Environmental Technology Verification: Pesticide Spray Drift Reduction Technologies for Row and Field Crops

    EPA Pesticide Factsheets

    The Environmental Technology Verification Program, established by the EPA, is designed to accelerate the development and commercialization of new or improved technologies through third-party verification and reporting of performance.

  13. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... software in an operational flight environment before allowing any space flight participant on board during a flight. Verification must include flight testing. ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification...

  14. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... software in an operational flight environment before allowing any space flight participant on board during a flight. Verification must include flight testing. ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification...

  15. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... software in an operational flight environment before allowing any space flight participant on board during a flight. Verification must include flight testing. ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification...

  16. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... software in an operational flight environment before allowing any space flight participant on board during a flight. Verification must include flight testing. ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification...

  17. 14 CFR 460.17 - Verification program.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... software in an operational flight environment before allowing any space flight participant on board during a flight. Verification must include flight testing. ... TRANSPORTATION LICENSING HUMAN SPACE FLIGHT REQUIREMENTS Launch and Reentry with Crew § 460.17 Verification...

  18. Leadership, Organizational Climate, and Working Alliance in a Children's Mental Health Service System

    PubMed Central

    Green, Amy E.; Albanese, Brian J.; Cafri, Guy; Aarons, Gregory A.

    2014-01-01

    The goal of this study was to examine the relationships of transformational leadership and organizational climate with working alliance, in a children's mental health service system. Using multilevel structural equation modeling, the effect of leadership on working alliance was mediated by organizational climate. These results suggest that supervisors may be able to impact quality of care through improving workplace climate. Organizational factors should be considered in efforts to improve public sector services. Understanding these issues is important for program leaders, mental health service providers, and consumers because they can affect both the way services are delivered and ultimately, clinical outcomes. PMID:24323137

  19. Leadership, organizational climate, and working alliance in a children's mental health service system.

    PubMed

    Green, Amy E; Albanese, Brian J; Cafri, Guy; Aarons, Gregory A

    2014-10-01

    The goal of this study was to examine the relationships of transformational leadership and organizational climate with working alliance, in a children's mental health service system. Using multilevel structural equation modeling, the effect of leadership on working alliance was mediated by organizational climate. These results suggest that supervisors may be able to impact quality of care through improving workplace climate. Organizational factors should be considered in efforts to improve public sector services. Understanding these issues is important for program leaders, mental health service providers, and consumers because they can affect both the way services are delivered and ultimately, clinical outcomes.

  20. Quantitative naturalistic methods for detecting change points in psychotherapy research: an illustration with alliance ruptures.

    PubMed

    Eubanks-Carter, Catherine; Gorman, Bernard S; Muran, J Christopher

    2012-01-01

    Analysis of change points in psychotherapy process could increase our understanding of mechanisms of change. In particular, naturalistic change point detection methods that identify turning points or breakpoints in time series data could enhance our ability to identify and study alliance ruptures and resolutions. This paper presents four categories of statistical methods for detecting change points in psychotherapy process: criterion-based methods, control chart methods, partitioning methods, and regression methods. Each method's utility for identifying shifts in the alliance is illustrated using a case example from the Beth Israel Psychotherapy Research program. Advantages and disadvantages of the various methods are discussed.

  1. The TPSR Alliance: Learning with a Family Who Won't Give up on You

    ERIC Educational Resources Information Center

    McCarthy, John; Ettl, Fritz I.; Altieri, Val

    2016-01-01

    The TPSR Alliance has become a vital community of practice for my graduate students and for me personally. During the past decade, I (the first author) have worked with graduate students at Boston University to provide a program for youth development through sports and fitness at a large, high-needs public high school in the Boston area. Our…

  2. Alliance for a Healthier Generation's Competitive Beverage and Food Guidelines: Do Elementary School Administrators Know about Them and Do They Report Implementing Them?

    ERIC Educational Resources Information Center

    Ohri-Vachaspati, Punam; Turner, Lindsey; Chaloupka, Frank J.

    2012-01-01

    Background: The availability of competitive foods in schools is a modifiable factor in efforts to prevent childhood obesity. The Alliance for a Healthier Generation launched the Healthy Schools Program in 2006 to encourage schools to create healthier food environments, including the adoption of nutritional guidelines for competitive beverages and…

  3. 2009 Ground Robotics Capabilities Conference and Exhibition

    DTIC Science & Technology

    2009-03-26

    adaptability to varying social cues and context – ARL via the Robotics Collaborative Technology Alliance program • Autonomy is “conditional” … largely...roadmaps, alliances and robotics organizations have been established to synchronize development efforts • Many emerging robotics capabilities can...Crossing Plan ( B2B ) 1. Target Customer 2. Compelling Reason to Buy 3. Whole Product 4. Partners & Allies 5. Distribution 6. Pricing 7. Competition 8

  4. 2018 EPA Protocol Gas Verification Program Participants

    EPA Pesticide Factsheets

    A list of participants for 2016 EPA's Protocol Gas Verification Program (PGVP) for stationary source monitoring. The list also has vendor IDs, which are production site-specific, and are the same ones used in the PGVP for ambient air monitoring.

  5. EVALUATION OF THE MART CORPORATION'S EQ-1 WASTEWATER PROCESSING SYSTEM

    EPA Science Inventory

    The USEPA has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ETV Program is to further environment...

  6. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: ETV AND ANIMAL FEEDING OPERATIONS

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techn...

  7. 7 CFR 62.201 - Availability of service.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Availability of service. 62.201 Section 62.201 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

  8. 7 CFR 62.301 - Payment of fees and other charges.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... (CONTINUED) LIVESTOCK, MEAT, AND OTHER AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs Definitions Charges for Service § 62.301 Payment of fees and other... SERVICE (Standards, Inspections, Marketing Practices), DEPARTMENT OF AGRICULTURE (CONTINUED) REGULATIONS...

  9. A verification library for multibody simulation software

    NASA Technical Reports Server (NTRS)

    Kim, Sung-Soo; Haug, Edward J.; Frisch, Harold P.

    1989-01-01

    A multibody dynamics verification library, that maintains and manages test and validation data is proposed, based on RRC Robot arm and CASE backhoe validation and a comparitive study of DADS, DISCOS, and CONTOPS that are existing public domain and commercial multibody dynamic simulation programs. Using simple representative problems, simulation results from each program are cross checked, and the validation results are presented. Functionalities of the verification library are defined, in order to automate validation procedure.

  10. Verification Testing of Air Pollution Control Technology Quality Management Plan Revision 2.3

    EPA Pesticide Factsheets

    The Air Pollution Control Technology Verification Center was established in 1995 as part of the EPA’s Environmental Technology Verification Program to accelerate the development and commercialization of improved environmental technologies’ performance.

  11. Orbital ATK CRS-7 Launch Coverage

    NASA Image and Video Library

    2017-04-18

    NASA Television conducted a live broadcast from Kennedy Space Center as Orbital ATK’s CRS-7 lifted off atop a United Launch Alliance Atlas V rocket from Space Launch Complex 41 at Cape Canaveral Air Force Station in Florida. Orbital ATK’s Cygnus spacecraft carried more than 7,600 pounds of science research, crew supplies, and hardware to the orbiting laboratory as Orbital ATK’s seventh commercial resupply services mission to the International Space Station. Launch commentary conducted by: -George Diller, NASA Communications Special guests included: -Frank DeMauro, VP & GM, Advanced Programs Division, Space Systems Group, Orbital ATK -Tori McLendon, NASA Communications -Robert Cabana, Kennedy Space Center Director -Tara Ruttley, Associate Program Scientist, International Space Station -Vern Thorp, Program Manager for Commercial Missions, United Launch Alliance

  12. ENVIRONMENTAL TECHNOLOGY VERIFICATION: CREDIBLE PERFORMANCE DATA FOR TECHNOLOGY USERS

    EPA Science Inventory

    The paper summarizes accomplishments of EPA's Environmental Technology Verification (ETV) Program, discusses lessons learned during the pilot period, briefly notes the restructuring of the pilot programs into six centers beginning in late 2000, and discusses in detail the Air Pol...

  13. 75 FR 39250 - Agency Information Collection Activities; Submission to OMB for Review and Approval; Comment...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-07-08

    ... Protocol Gas Verification Program; EPA ICR No. 2375.01, OMB Control Number 2060-NEW AGENCY: Environmental... Air Protocol Gas Verification Program. ICR numbers: EPA ICR No. 2375.01, OMB Control No. 2060-NEW. ICR...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: MICROTURBINES AND COMBINED HEAT AND POWER TECHNOLOGIES

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification(ETV) Program evaluates the performance of innovatiave air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techno...

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM - ADVANCED MONITORING SYSTEMS OUTREACH

    EPA Science Inventory

    Technology performance information must be effectively communicated if it is to be of value to prospective users. The U.S. Environmental Protection Agency has provided funding to the Environmental Technology Verification (ETV) program to provide a plan to verify the environmen...

  16. 7 CFR 62.203 - How to withdraw service.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false How to withdraw service. 62.203 Section 62.203 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

  17. 7 CFR 62.204 - Authority to request service.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false Authority to request service. 62.204 Section 62.204 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

  18. Computer program user's manual for FIREFINDER digital topographic data verification library dubbing system

    NASA Astrophysics Data System (ADS)

    Ceres, M.; Heselton, L. R., III

    1981-11-01

    This manual describes the computer programs for the FIREFINDER Digital Topographic Data Verification-Library-Dubbing System (FFDTDVLDS), and will assist in the maintenance of these programs. The manual contains detailed flow diagrams and associated descriptions for each computer program routine and subroutine. Complete computer program listings are also included. This information should be used when changes are made in the computer programs. The operating system has been designed to minimize operator intervention.

  19. Evaluation of verification and testing tools for FORTRAN programs

    NASA Technical Reports Server (NTRS)

    Smith, K. A.

    1980-01-01

    Two automated software verification and testing systems were developed for use in the analysis of computer programs. An evaluation of the static analyzer DAVE and the dynamic analyzer PET, which are used in the analysis of FORTRAN programs on Control Data (CDC) computers, are described. Both systems were found to be effective and complementary, and are recommended for use in testing FORTRAN programs.

  20. The American College of Surgeons Children's Surgery Verification and Quality Improvement Program: implications for anesthesiologists.

    PubMed

    Houck, Constance S; Deshpande, Jayant K; Flick, Randall P

    2017-06-01

    The Task Force for Children's Surgical Care, an ad-hoc multidisciplinary group of invited leaders in pediatric perioperative medicine, was assembled in May 2012 to consider approaches to optimize delivery of children's surgical care in today's competitive national healthcare environment. Over the subsequent 3 years, with support from the American College of Surgeons (ACS) and Children's Hospital Association (CHA), the group established principles regarding perioperative resource standards, quality improvement and safety processes, data collection, and verification that were used to develop an ACS-sponsored Children's Surgery Verification and Quality Improvement Program (ACS CSV). The voluntary ACS CSV was officially launched in January 2017 and more than 125 pediatric surgical programs have expressed interest in verification. ACS CSV-verified programs have specific requirements for pediatric anesthesia leadership, resources, and the availability of pediatric anesthesiologists or anesthesiologists with pediatric expertise to care for infants and young children. The present review outlines the history of the ACS CSV, key elements of the program, and the standards specific to pediatric anesthesiology. As with the pediatric trauma programs initiated more than 40 years ago, this program has the potential to significantly improve surgical care for infants and children in the United States and Canada.

  1. Overview of the oral HIV/AIDS Research Alliance Program.

    PubMed

    Shiboski, C H; Webster-Cyriaque, J Y; Ghannoum, M; Greenspan, J S; Dittmer, D

    2011-04-01

    The Oral HIV/AIDS Research Alliance is part of the AIDS Clinical Trials Group, the largest HIV clinical trial organization in the world, and it is funded by the National Institute of Dental and Craniofacial Research, in collaboration with the National Institute of Allergy and Infectious Diseases. The alliance's main objective is to investigate the oral complications associated with HIV/AIDS as the epidemic is evolving-in particular, the effects of potent antiretrovirals on the development of oral mucosal lesions and associated fungal and viral pathogens. Furthermore, oral fluids are being explored for their potential monitoring and diagnostic role with respect to HIV disease and coinfections. This article presents an overview of the alliance, its scientific agenda, and an outline of the novel interventional and noninterventional clinical studies ongoing and developing within the AIDS Clinical Trials Group infrastructure in the United States and internationally.

  2. Block 2 SRM conceptual design studies. Volume 1, Book 2: Preliminary development and verification plan

    NASA Technical Reports Server (NTRS)

    1986-01-01

    Activities that will be conducted in support of the development and verification of the Block 2 Solid Rocket Motor (SRM) are described. Development includes design, fabrication, processing, and testing activities in which the results are fed back into the project. Verification includes analytical and test activities which demonstrate SRM component/subassembly/assembly capability to perform its intended function. The management organization responsible for formulating and implementing the verification program is introduced. It also identifies the controls which will monitor and track the verification program. Integral with the design and certification of the SRM are other pieces of equipment used in transportation, handling, and testing which influence the reliability and maintainability of the SRM configuration. The certification of this equipment is also discussed.

  3. International Space Station Requirement Verification for Commercial Visiting Vehicles

    NASA Technical Reports Server (NTRS)

    Garguilo, Dan

    2017-01-01

    The COTS program demonstrated NASA could rely on commercial providers for safe, reliable, and cost-effective cargo delivery to ISS. The ISS Program has developed a streamlined process to safely integrate commercial visiting vehicles and ensure requirements are met Levy a minimum requirement set (down from 1000s to 100s) focusing on the ISS interface and safety, reducing the level of NASA oversight/insight and burden on the commercial Partner. Partners provide a detailed verification and validation plan documenting how they will show they've met NASA requirements. NASA conducts process sampling to ensure that the established verification processes is being followed. NASA participates in joint verification events and analysis for requirements that require both parties verify. Verification compliance is approved by NASA and launch readiness certified at mission readiness reviews.

  4. U.S.-MEXICO BORDER PROGRAM ARIZONA BORDER STUDY--STANDARD OPERATING PROCEDURE FOR PERFORMANCE OF COMPUTER SOFTWARE: VERIFICATION AND VALIDATION (IIT-A-2.0)

    EPA Science Inventory

    The purpose of this SOP is to define the procedures for the initial and periodic verification and validation of computer programs. The programs are used during the Arizona NHEXAS project and Border study at the Illinois Institute of Technology (IIT) site. Keywords: computers; s...

  5. Verification of MICNOISE computer program for the prediction of highway noise : part II : additional verification of MICNOISE version 5.

    DOT National Transportation Integrated Search

    1975-01-01

    This is a continuation of an earlier report in which the MICNOISE computer program for the prediction of highway noise was evaluated. The outputs of the MICNOISE program are the L50 and LI0 sound pressure levels, i.e., those levels experienced 50% an...

  6. Actualizing a provider alliance to expand health services access to a low-income urban community.

    PubMed

    Tataw, David; Bazargan-Hejazi, Shahrzad; James, Frederick W

    2011-01-01

    Social change to facilitate health care access for vulnerable populations sometimes involves model-driven innovative structures and innovative planning and implementation approaches. This paper described and analyzed the rationale, conceptual framework, program components, and implementation of the South Central Health Care Alliance (SCHCA) implemented in South Los Angeles from January 2002 to December 2004. The program development and implementation was guided by an integrated framework linking the Open Systems Theory, the Social Cognitive Theory, the Health Belief Model, and the Preventive Health Education and Medical Home Project. The performance of the SCHCA as a social system, partnership, and participatory implementation program is also presented. While the SCHCA was found to be a dynamic social system that responded well to contingencies, its performance as a partnership and participatory implementation program was wanting in many respects.

  7. KENNEDY SPACE CENTER, FLA. -- A United Space Alliance (USA) technician (center) discusses aspects of Shuttle processing performed in the Solid Rocket Booster (SRB) Assembly and Refurbishment Facility (ARF) with NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (right). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- A United Space Alliance (USA) technician (center) discusses aspects of Shuttle processing performed in the Solid Rocket Booster (SRB) Assembly and Refurbishment Facility (ARF) with NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (right). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  8. Computer Program User’s Manual for FIREFINDER Digital Topographic Data Verification Library Dubbing System. Volume II. Dubbing.

    DTIC Science & Technology

    1982-01-29

    N - Nw .VA COMPUTER PROGRAM USER’S MANUAL FOR . 0FIREFINDER DIGITAL TOPOGRAPHIC DATA VERIFICATION LIBRARY DUBBING SYSTEM VOLUME II DUBBING 29 JANUARY...Digital Topographic Data Verification Library Dubbing System, Volume II, Dubbing 6. PERFORMING ORG. REPORT NUMER 7. AUTHOR(q) S. CONTRACT OR GRANT...Software Library FIREFINDER Dubbing 20. ABSTRACT (Continue an revWee *Ide II necessary end identify by leek mauber) PThis manual describes the computer

  9. Evaluation of Education Programs Developed by the Public and Private Alliance between the Coffee Growers Committee of Caldas and the State Government of Caldas, Colombia. Final Report

    ERIC Educational Resources Information Center

    Moore, Audrey-Marie Schuh; Florez, Ana; Grajeda, Eva

    2010-01-01

    This evaluation of progress in tackling the problems of access, quality, equity and completion of primary and secondary education examines the results of an alliance between the Coffee Growers Committee of Caldas (CGC) and the Department of Caldas, Colombia. The evaluation team employed a retrospective approach to understanding the social,…

  10. Response of the Alliance 1 Proof-of-Concept Airplane Under Gust Loads

    NASA Technical Reports Server (NTRS)

    Naser, A. S.; Pototzky, A. S.; Spain, C. V.

    2001-01-01

    This report presents the work performed by Lockheed Martin's Langley Program Office in support of NASA's Environmental Research Aircraft and Sensor Technology (ERAST) program. The primary purpose of this work was to develop and demonstrate a gust analysis method which accounts for the span-wise variation of gust velocity. This is important because these unmanned aircraft having high aspect ratios and low wing loading are very flexible, and fly at low speeds. The main focus of the work was therefore to perform a two-dimensional Power Spectrum Density (PSD) analysis of the Alliance 1 Proof-of-Concept Unmanned Aircraft, As of this writing, none of the aircraft described in this report have been constructed. They are concepts represented by analytical models. The process first involved the development of suitable structural and aeroelastic Finite Element Models (FEM). This was followed by development of a one-dimensional PSD gust analysis, and then the two-dimensional (PSD) analysis of the Alliance 1. For further validation and comparison, two additional analyses were performed. A two-dimensional PSD gust analysis was performed on a simplet MSC/NASTRAN example problem. Finally a one-dimensional discrete gust analysis was performed on Alliance 1. This report describes this process, shows the relevant comparisons between analytical methods, and discusses the physical meanings of the results.

  11. Cookstove Laboratory Research - Fiscal Year 2016 Report ...

    EPA Pesticide Factsheets

    This report provides an overview of the work conducted by the EPA cookstove laboratory research team in Fiscal Year 2016. The report describes research and activities including (1) ISO standards development, (2) capacity building for international testing and knowledge centers, (3) laboratory assessments of cookstove systems, (4) journal publications, and (5) cookstove events. The U.S. Environmental Protection Agency’s (EPA’s) cookstove laboratory research program was first developed to assist the EPA-led Partnership for Clean Indoor Air and is now part of the U.S. Government’s commitment to the Global Alliance for Clean Cookstoves (the Alliance). Goals of the program are to: (1) support the development of testing protocols and standards for cookstoves through ISO (International Organization for Standardization) TC (Technical Committee) 285: Clean Cookstoves and Clean Cooking Solutions, (2) support the development of international Regional Testing and Knowledge Centers (many sponsored by the Alliance) for scientifically evaluating and certifying cookstoves to international standards, and (3) provide an independent source of data to Alliance partners. This work supports EPA’s mission to protect human health and the environment. Household air pollution, mainly from solid-fuel cookstoves in the developing world, is estimated to cause approximately 4 million premature deaths per year, and emissions of black carbon and other pollutants from cookstoves aff

  12. The impact of peer mentor communication with older adults on depressive symptoms and working alliance: A pilot study.

    PubMed

    Joo, Jin Hui; Hwang, Seungyoung; Gallo, Joseph J; Roter, Debra L

    2018-04-01

    The objective of this pilot study was to describe peer communication in meetings with depressed elders, associate their relationship with working alliance and depression and assess congruence of communication with training. Three peers with a history of depression, in recovery, received 20h of training in peer mentoring for depression as part of an 8-week pilot program for 23 depressed older adults. Each peer-client meeting was recorded; a sample of 69 recorded meetings were chosen across the program period and coded with the Roter Interaction Analysis System, a validated medical interaction analysis system. Generalized linear mixed models were used to examine peer talk during meetings in relation to working alliance and client depression. Peers used a variety of skills congruent with their training including client-centered talk, positive rapport building and emotional responsiveness that remained consistent or increased over time. Client-centered communication and positive rapport were associated with increased working alliance and decreased depressive symptoms (all p<0.001). Trained peer mentors can use communication behaviors useful to older adults with depression. Specifically, client-centered talk may be important to include in peer training. Peer mentors can be a valuable resource in providing depression counseling to older adults. Copyright © 2017 Elsevier B.V. All rights reserved.

  13. VERIFYING CLEANER TECHNOLOGIES WITH EPA'S ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    The US EPA's Office of Research and Development Environmental Technology Verification (ETV) Program completed its five-year pilot period in 2001. Now in 2002 lessons learned in the pilot period are being incorporated seamlessly into six operating ETV Centers which cover technolo...

  14. 40 CFR 86.094-13 - Light-duty exhaust durability programs.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... requirements. (5) In-use verification. The Standard Self-Approval Durability Program includes no requirement... selection methods, durability data vehicle compliance requirements, in-use verification requirements... Accumulation Carryover. Light-duty Trucks Tier 1 & Tier 0 Standard Self-Approval Carryover. Alternative Service...

  15. How Nasa's Independent Verification and Validation (IVandV) Program Builds Reliability into a Space Mission Software System (SMSS)

    NASA Technical Reports Server (NTRS)

    Fisher, Marcus S.; Northey, Jeffrey; Stanton, William

    2014-01-01

    The purpose of this presentation is to outline how the NASA Independent Verification and Validation (IVV) Program helps to build reliability into the Space Mission Software Systems (SMSSs) that its customers develop.

  16. 42 CFR 455.20 - Recipient verification procedure.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... 42 Public Health 4 2010-10-01 2010-10-01 false Recipient verification procedure. 455.20 Section 455.20 Public Health CENTERS FOR MEDICARE & MEDICAID SERVICES, DEPARTMENT OF HEALTH AND HUMAN SERVICES (CONTINUED) MEDICAL ASSISTANCE PROGRAMS PROGRAM INTEGRITY: MEDICAID Medicaid Agency Fraud Detection and...

  17. U.S. ENVIRONMENTAL PROTECTION AGENCY (EPA) ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: ARSENIC MONITORING TECHNOLOGIES

    EPA Science Inventory

    The U.S. Environmental Protection Agency Environmental Technology Verification (ETV) program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This technology ...

  18. U.S. ENVIRONMENTAL PROTECTION AGENCY (EPA) ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: ARSENIC TREATMENT TECHNOLOGIES

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techn...

  19. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - CHROMATOGRAPH/MASS SPECTOMETOR INLICON, INC. HAPSITE

    EPA Science Inventory

    The U.S. Environmental Protection Agency, through the Environmental Technology Verification Program, is working to accelerate the acceptance and use of innovative technologies that improve the way the United States manages its environmental problems. As part of this program, the...

  20. 7 CFR 62.202 - How to apply for service.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 3 2010-01-01 2010-01-01 false How to apply for service. 62.202 Section 62.202 Agriculture Regulations of the Department of Agriculture (Continued) AGRICULTURAL MARKETING SERVICE (Standards... AGRICULTURAL COMMODITIES (QUALITY SYSTEMS VERIFICATION PROGRAMS) Quality Systems Verification Programs...

  1. 20 CFR 632.77 - Participant eligibility determination.

    Code of Federal Regulations, 2011 CFR

    2011-04-01

    ... NATIVE AMERICAN EMPLOYMENT AND TRAINING PROGRAMS Program Design and Management § 632.77 Participant... maintaining a system which reasonably ensures an accurate determination and subsequent verification of... information is subject to verification and that falsification of the application shall be grounds for the...

  2. 20 CFR 632.77 - Participant eligibility determination.

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... NATIVE AMERICAN EMPLOYMENT AND TRAINING PROGRAMS Program Design and Management § 632.77 Participant... maintaining a system which reasonably ensures an accurate determination and subsequent verification of... information is subject to verification and that falsification of the application shall be grounds for the...

  3. 7 CFR 3431.16 - Certifications and verifications.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ..., EDUCATION, AND EXTENSION SERVICE, DEPARTMENT OF AGRICULTURE VETERINARY MEDICINE LOAN REPAYMENT PROGRAM Administration of the Veterinary Medicine Loan Repayment Program § 3431.16 Certifications and verifications. (a... applicant would meet the requirements of: (i) The veterinary service shortage situations as defined in the...

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, TNT DETECTION TECHNOLOGY, TEXAS INSTRUMENTS, SPREETA TM SENSOR

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ...

  5. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, GROUNDWATER SAMPLING TECHNOLOGIES, CLEAN ENVIRONMENT EQUIPMENT, SAMPLEASE BLADDER PUMP

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  6. IMPROVING AIR QUALITY THROUGH ENVIRONMENTAL TECHNOLOGY VERIFICATIONS

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) began the Environmental Technology Verification (ETV) Program in 1995 as a means of working with the private sector to establish a market-based verification process available to all environmental technologies. Under EPA's Office of R...

  7. Environmental Technology Verification Report - NATCO Group, Inc. – Paques THIOPAQ Gas Purification Technology

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ...

  8. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, GROUNDWATER SAMPLING TECHNOLOGIES, BURGE ENVIRONMENTAL INC. MULTIPROBE 100

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  9. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, ENVIRONMENTAL DECISION SUPPORT SOFTWARE, DECISION FX, INC., GROUNDWATER FX

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  10. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, ENVIRONMENTAL DECISION SUPPORT SOFTWARE, DECISION FX, INC. SAMPLING FX

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  11. VERIFICATION TESTING OF HIGH-RATE MECHANICAL INDUCTION MIXERS FOR CHEMICAL DISINFECTANTS

    EPA Science Inventory

    This paper describes the results of verification testing of mechanical induction mixers for dispersion of chemical disinfectants in wet-weather flow (WWF) conducted under the U.S. Environmental Protection Agency's Environmental Technology Verification (ETV) WWF Pilot Program. Th...

  12. KENNEDY SPACE CENTER, FLA. -- From left, a United Space Alliance (USA) technician briefs NASA Deputy Program Manager of the Space Shuttle Program Michael Wetmore, USA Vice President and Space Shuttle Program Manager Howard DeCastro, and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik on the use of cold plates in Orbiter Processing Facility Bay 2. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- From left, a United Space Alliance (USA) technician briefs NASA Deputy Program Manager of the Space Shuttle Program Michael Wetmore, USA Vice President and Space Shuttle Program Manager Howard DeCastro, and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik on the use of cold plates in Orbiter Processing Facility Bay 2. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  13. Assessing the Value of the Enviroscape Watershed Learning Module

    ERIC Educational Resources Information Center

    Edwards, Warren Patrick

    2013-01-01

    Scope and Method of Study: The researcher's evaluation of the West Atlanta Watershed Alliance's (WAWA) programs highlighted that few if any of the offered educational programs included a program evaluation, especially the most promising, the Enviroscape® Watershed learning module. The education programs that were customized and developed by the…

  14. Strategies of Supporting Chinese Students in an International Joint Degree Program

    ERIC Educational Resources Information Center

    Arshakian, Arakssi; Wang, Vivian

    2017-01-01

    The international joint degree program is one of the recent ways of international collaborations in Higher Education. Those programs involve intensive academic collaborations as well as institutional alliance.?Such programs could provide a supportive environment for international students through international partnerships. The article provides a…

  15. Uncertain Times 2012: Afterschool Programs Still Struggling in Today's Economy

    ERIC Educational Resources Information Center

    Afterschool Alliance, 2012

    2012-01-01

    "Uncertain Times 2012," conducted by the Afterschool Alliance between April 25 and June 8, 2012, assesses the impact of economic conditions on afterschool programs. While many studies have evaluated the impact of programs, "Uncertain Times" is the only research to examine the fiscal health of afterschool programs and their…

  16. Enlight: A Comprehensive Quality and Therapeutic Potential Evaluation Tool for Mobile and Web-Based eHealth Interventions.

    PubMed

    Baumel, Amit; Faber, Keren; Mathur, Nandita; Kane, John M; Muench, Fred

    2017-03-21

    Studies of criteria-based assessment tools have demonstrated the feasibility of objectively evaluating eHealth interventions independent of empirical testing. However, current tools have not included some quality constructs associated with intervention outcome, such as persuasive design, behavior change, or therapeutic alliance. In addition, the generalizability of such tools has not been explicitly examined. The aim is to introduce the development and further analysis of the Enlight suite of measures, developed to incorporate the aforementioned concepts and address generalizability aspects. As a first step, a comprehensive systematic review was performed to identify relevant quality rating criteria in line with the PRISMA statement. These criteria were then categorized to create Enlight. The second step involved testing Enlight on 42 mobile apps and 42 Web-based programs (delivery mediums) targeting modifiable behaviors related to medical illness or mental health (clinical aims). A total of 476 criteria from 99 identified sources were used to build Enlight. The rating measures were divided into two sections: quality assessments and checklists. Quality assessments included usability, visual design, user engagement, content, therapeutic persuasiveness, therapeutic alliance, and general subjective evaluation. The checklists included credibility, privacy explanation, basic security, and evidence-based program ranking. The quality constructs exhibited excellent interrater reliability (intraclass correlations=.77-.98, median .91) and internal consistency (Cronbach alphas=.83-.90, median .88), with similar results when separated into delivery mediums or clinical aims. Conditional probability analysis revealed that 100% of the programs that received a score of fair or above (≥3.0) in therapeutic persuasiveness or therapeutic alliance received the same range of scores in user engagement and content-a pattern that did not appear in the opposite direction. Preliminary concurrent validity analysis pointed to positive correlations of combined quality scores with selected variables. The combined score that did not include therapeutic persuasiveness and therapeutic alliance descriptively underperformed the other combined scores. This paper provides empirical evidence supporting the importance of persuasive design and therapeutic alliance within the context of a program's evaluation. Reliability metrics and preliminary concurrent validity analysis indicate the potential of Enlight in examining eHealth programs regardless of delivery mediums and clinical aims. ©Amit Baumel, Keren Faber, Nandita Mathur, John M Kane, Fred Muench. Originally published in the Journal of Medical Internet Research (http://www.jmir.org), 21.03.2017.

  17. Readiness to Change as a Predictor of Treatment Engagement and Outcome for Partner Violent Men.

    PubMed

    Maldonado, Ana I; Murphy, Christopher M

    2018-05-01

    Resistance to change has been long recognized as a barrier to successful intervention for partner violent individuals. Using archival data from a community-based intimate partner violence (IPV) intervention program, the current study investigated readiness to change as a predictor of treatment engagement and outcome in cognitive behavioral therapy (CBT) for IPV, and examined whether court referral status, antisocial personality characteristics, and borderline personality characteristics moderate these associations. During program intake, male IPV perpetrators ( N = 195) provided structured interview data on demographics and referral source, and self-report data on readiness to change, borderline personality traits, and antisocial personality traits. During group CBT, participants and their therapists completed measures of the working alliance, and the therapists completed ratings of compliance with behavior change homework assignments. Criminal recidivism data were gathered from public records for 2 years after scheduled completion of treatment. Readiness to change significantly predicted client ratings of the working alliance, but not therapist ratings of the working alliance, CBT homework compliance, or criminal recidivism. Court referral status moderated predictive associations between readiness to change and working alliance ratings, and borderline and antisocial characteristics moderated predictive associations between readiness to change and working alliance as well as criminal recidivism. Interestingly, readiness to change is a stronger predictor of positive treatment response for court- versus self-referred individuals and for those with either very low or very high levels of borderline and antisocial characteristics. Hence, strategies to enhance motivation to change may be particularly be important for IPV perpetrators with these characteristics.

  18. ENVIRONMENTAL TECHNOLOGY VERIFICATION: JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT FOR TREATMENT OF WASTEWATER GENERATED DURING DECONTAMINATION ACTIVITIES - ULTRASTRIP SYSTEMS, INC., MOBILE EMERGENCY FILTRATION SYSTEM (MEFS) - 04/14/WQPC-HS

    EPA Science Inventory

    Performance verification testing of the UltraStrip Systems, Inc., Mobile Emergency Filtration System (MEFS) was conducted under EPA's Environmental Technology Verification (ETV) Program at the EPA Test and Evaluation (T&E) Facility in Cincinnati, Ohio, during November, 2003, thr...

  19. Process Document, Joint Verification Protocol, and Joint Test Plan for Verification of HACH-LANGE GmbH LUMIStox 300 Bench Top Luminometer and ECLOX Handheld Luminometer for Luminescent Bacteria Test for use in Wastewater

    EPA Science Inventory

    The Danish Environmental Technology Verification program (DANETV) Water Test Centre operated by DHI, is supported by the Danish Ministry for Science, Technology and Innovation. DANETV, the United States Environmental Protection Agency Environmental Technology Verification Progra...

  20. VERIFICATION OF BALLAST WATER TREATMENT SYSTEMS UNDER EPA'S ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM

    EPA Science Inventory

    This paper presents a brief overview of the EPA's ETV program which was established in 1995 to overcome the numerous impediments to commercialization experienced by developers of innovative environmental technologies. Among those most frequently mentioned is the lack of credible ...

  1. U.S. ENVIRONMENTAL PROTECTION AGENCY (EPA) ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGRAM: MERCURY CONTINUOUS EMISSION MONITORS

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) Environmental Technology Verification (ETV) program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This techn...

  2. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - PORTABLE GAS CHROMATOGRAPH ELECTRONIC SENSOR TECHNOLOGY MODEL 4100

    EPA Science Inventory

    The U.S. Environmental Protection Agency, through the Environmental Technology Verification Program, is working to accelerate the acceptance and use of innovative technologies that improve the way the United States manages its environmental problems. As part of this program, the...

  3. PERFORMANCE VERIFICATION TESTING OF SOURCE WATER PROTECTION TECHNOLOGIES UNDER EPA'S ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM

    EPA Science Inventory

    This paper presents a brief overview of EPA's ETV program established in 1995 to overcome the numerous impediments to commercialization experienced by developers of innovative environmental technologies. Among those most frequently mentioned is the lack of credible performance da...

  4. THE U.S. EVIRONMENTAL PROTECTION AGENCY ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM—AN OVERVIEW

    EPA Science Inventory

    This is an article about monitoring technologies in the Environmental Technolgy Verification (ETV) Program which will be published in the Journal of Occupational And Environmental Hygiene. This article gives an overview of the entire ETV program with emphasis on monitoring techn...

  5. Environmental Technology Verification Report - Electric Power and Heat Production Using Renewable Biogas at Patterson Farms

    EPA Science Inventory

    The U.S. EPA operates the Environmental Technology Verification program to facilitate the deployment of innovative technologies through performance verification and information dissemination. A technology area of interest is distributed electrical power generation, particularly w...

  6. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT--BAGHOUSE FILTRATION PRODUCTS, DONALDSON COMPANY, INC., 6282 FILTRATION MEDIA

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, established by the U.S. EPA, is designed to accelerate the developmentand commercialization of new or improved technologies through third-party verification and reporting of performance. The Air Pollution Control Technology...

  7. Environmental Technology Verification: Baghouse Filtration Products--Donaldson Co., Inc., Tetratec #6255-3 Filtration Media

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  8. Circuitbot

    DTIC Science & Technology

    2016-03-01

    constraints problem. Game rules described valid moves allowing player to generate a memory graph performing improved C program verification . 15. SUBJECT...TERMS Formal Verification , Static Analysis, Abstract Interpretation, Pointer Analysis, Fixpoint Iteration 16. SECURITY CLASSIFICATION OF: 17...36 3.4.12 Example: Game Play . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 3.4.13 Verification

  9. GENERIC VERIFICATION PROTOCOL: DISTRIBUTED GENERATION AND COMBINED HEAT AND POWER FIELD TESTING PROTOCOL

    EPA Science Inventory

    This report is a generic verification protocol by which EPA’s Environmental Technology Verification program tests newly developed equipment for distributed generation of electric power, usually micro-turbine generators and internal combustion engine generators. The protocol will ...

  10. Environmental Technology Verification: Baghouse Filtration Products--TDC Filter Manufacturing, Inc., SB025 Filtration Media

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  11. VERIFICATION TESTING OF HIGH-RATE MECHANICAL INDUCTION MIXERS FOR CHEMICAL DISINFECTANTS, Oregon

    EPA Science Inventory

    This paper describes the results of verification testing of mechanical induction mixers for dispersion of chemical disinfectants in wet-weather flow (WWF) conducted under the U.S. Environmental Protection Agency's Environmental Technology Verification (ETV) WWF Pilot Program. Th...

  12. ENVIRONMENTAL TECHNOLOGY VERIFICATION--GENERIC VERIFICATION PROTOCOL FOR BIOLOGICAL AND AEROSOL TESTING OF GENERAL VENTILATION AIR CLEANERS

    EPA Science Inventory

    Under EPA's Environmental Technology Verification Program, Research Triangle Institute (RTI) will operate the Air Pollution Control Technology Center to verify the filtration efficiency and bioaerosol inactivation efficiency of heating, ventilation and air conditioning air cleane...

  13. THIRD PARTY TECHNOLOGY PERFORMANCE VERIFICATION DATA FROM A STAKEHOLD-DRIVEN TECHNOLOGY TESTING PROGRAM

    EPA Science Inventory

    The Greenhouse Gas (GHG) Technology Verification Center is one of 12 independently operated verification centers established by the U.S. Environmental Protection Agency. The Center provides third-party performance data to stakeholders interested in environmetnal technologies tha...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT; ENVIRONMENTAL DECISION SUPPORT SOFTWARE; ENVIRONMENTAL SOFTWARE SITEPRO VERSION 2.0"

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  15. Cluster man/system design requirements and verification. [for Skylab program

    NASA Technical Reports Server (NTRS)

    Watters, H. H.

    1974-01-01

    Discussion of the procedures employed for determining the man/system requirements that guided Skylab design, and review of the techniques used for implementing the man/system design verification. The foremost lesson learned from the design need anticipation and design verification experience is the necessity to allow for human capabilities of in-flight maintenance and repair. It is now known that the entire program was salvaged by a series of unplanned maintenance and repair events which were implemented in spite of poor design provisions for maintenance.

  16. Formulating face verification with semidefinite programming.

    PubMed

    Yan, Shuicheng; Liu, Jianzhuang; Tang, Xiaoou; Huang, Thomas S

    2007-11-01

    This paper presents a unified solution to three unsolved problems existing in face verification with subspace learning techniques: selection of verification threshold, automatic determination of subspace dimension, and deducing feature fusing weights. In contrast to previous algorithms which search for the projection matrix directly, our new algorithm investigates a similarity metric matrix (SMM). With a certain verification threshold, this matrix is learned by a semidefinite programming approach, along with the constraints of the kindred pairs with similarity larger than the threshold, and inhomogeneous pairs with similarity smaller than the threshold. Then, the subspace dimension and the feature fusing weights are simultaneously inferred from the singular value decomposition of the derived SMM. In addition, the weighted and tensor extensions are proposed to further improve the algorithmic effectiveness and efficiency, respectively. Essentially, the verification is conducted within an affine subspace in this new algorithm and is, hence, called the affine subspace for verification (ASV). Extensive experiments show that the ASV can achieve encouraging face verification accuracy in comparison to other subspace algorithms, even without the need to explore any parameters.

  17. U.S.-MEXICO BORDER PROGRAM ARIZONA BORDER STUDY--STANDARD OPERATING PROCEDURE FOR PERFORMANCE OF COMPUTER SOFTWARE: VERIFICATION AND VALIDATION (UA-D-2.0)

    EPA Science Inventory

    The purpose of this SOP is to define the procedures used for the initial and periodic verification and validation of computer programs used during the Arizona NHEXAS project and the Border study. Keywords: Computers; Software; QA/QC.

    The U.S.-Mexico Border Program is sponsored ...

  18. C formal verification with unix communication and concurrency

    NASA Technical Reports Server (NTRS)

    Hoover, Doug N.

    1990-01-01

    The results of a NASA SBIR project are presented in which CSP-Ariel, a verification system for C programs which use Unix system calls for concurrent programming, interprocess communication, and file input and output, was developed. This project builds on ORA's Ariel C verification system by using the system of Hoare's book, Communicating Sequential Processes, to model concurrency and communication. The system runs in ORA's Clio theorem proving environment. The use of CSP to model Unix concurrency and sketch the CSP semantics of a simple concurrent program is outlined. Plans for further development of CSP-Ariel are discussed. This paper is presented in viewgraph form.

  19. Software Model Checking Without Source Code

    NASA Technical Reports Server (NTRS)

    Chaki, Sagar; Ivers, James

    2009-01-01

    We present a framework, called AIR, for verifying safety properties of assembly language programs via software model checking. AIR extends the applicability of predicate abstraction and counterexample guided abstraction refinement to the automated verification of low-level software. By working at the assembly level, AIR allows verification of programs for which source code is unavailable-such as legacy and COTS software-and programs that use features-such as pointers, structures, and object-orientation-that are problematic for source-level software verification tools. In addition, AIR makes no assumptions about the underlying compiler technology. We have implemented a prototype of AIR and present encouraging results on several non-trivial examples.

  20. Deductive Evaluation: Formal Code Analysis With Low User Burden

    NASA Technical Reports Server (NTRS)

    Di Vito, Ben. L

    2016-01-01

    We describe a framework for symbolically evaluating iterative C code using a deductive approach that automatically discovers and proves program properties. Although verification is not performed, the method can infer detailed program behavior. Software engineering work flows could be enhanced by this type of analysis. Floyd-Hoare verification principles are applied to synthesize loop invariants, using a library of iteration-specific deductive knowledge. When needed, theorem proving is interleaved with evaluation and performed on the fly. Evaluation results take the form of inferred expressions and type constraints for values of program variables. An implementation using PVS (Prototype Verification System) is presented along with results for sample C functions.

  1. KENNEDY SPACE CENTER, FLA. -- United Space Alliance (USA) technicians demonstrate the construction of a thermal blanket used in the Shuttle's thermal protection system for USA Vice President and Space Shuttle Program Manager Howard DeCastro (second from left) and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (right). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- United Space Alliance (USA) technicians demonstrate the construction of a thermal blanket used in the Shuttle's thermal protection system for USA Vice President and Space Shuttle Program Manager Howard DeCastro (second from left) and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (right). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  2. KENNEDY SPACE CENTER, FLA. -- From left, a United Space Alliance (USA) technician discusses aspects of Shuttle processing performed in the Solid Rocket Booster (SRB) Assembly and Refurbishment Facility (ARF) with USA Vice President and Space Shuttle Program Manager Howard DeCastro and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- From left, a United Space Alliance (USA) technician discusses aspects of Shuttle processing performed in the Solid Rocket Booster (SRB) Assembly and Refurbishment Facility (ARF) with USA Vice President and Space Shuttle Program Manager Howard DeCastro and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  3. KENNEDY SPACE CENTER, FLA. -- United Space Alliance (USA) Vice President and Space Shuttle Program Manager Howard DeCastro (left) and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (center) are briefed on the use of a cold plate in Orbiter Processing Facility Bay 2 by a USA technician (right). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- United Space Alliance (USA) Vice President and Space Shuttle Program Manager Howard DeCastro (left) and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (center) are briefed on the use of a cold plate in Orbiter Processing Facility Bay 2 by a USA technician (right). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  4. KENNEDY SPACE CENTER, FLA. -- In Orbiter Processing Facility Bay 1, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (left) and United Space Alliance (USA) Vice President and Space Shuttle Program Manager Howard DeCastro (right) are briefed by a USA technician (center) on Shuttle processing in the payload bay of orbiter Atlantis. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- In Orbiter Processing Facility Bay 1, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (left) and United Space Alliance (USA) Vice President and Space Shuttle Program Manager Howard DeCastro (right) are briefed by a USA technician (center) on Shuttle processing in the payload bay of orbiter Atlantis. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  5. KENNEDY SPACE CENTER, FLA. -- United Space Alliance (USA) Vice President and Space Shuttle Program Manager Howard DeCastro (left) and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (third from left) watch as a USA technician (right) creates a tile for use in the Shuttle's Thermal Protection System (TPS). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- United Space Alliance (USA) Vice President and Space Shuttle Program Manager Howard DeCastro (left) and NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (third from left) watch as a USA technician (right) creates a tile for use in the Shuttle's Thermal Protection System (TPS). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  6. Automatic programming for critical applications

    NASA Technical Reports Server (NTRS)

    Loganantharaj, Raj L.

    1988-01-01

    The important phases of a software life cycle include verification and maintenance. Usually, the execution performance is an expected requirement in a software development process. Unfortunately, the verification and the maintenance of programs are the time consuming and the frustrating aspects of software engineering. The verification cannot be waived for the programs used for critical applications such as, military, space, and nuclear plants. As a consequence, synthesis of programs from specifications, an alternative way of developing correct programs, is becoming popular. The definition, or what is understood by automatic programming, has been changed with our expectations. At present, the goal of automatic programming is the automation of programming process. Specifically, it means the application of artificial intelligence to software engineering in order to define techniques and create environments that help in the creation of high level programs. The automatic programming process may be divided into two phases: the problem acquisition phase and the program synthesis phase. In the problem acquisition phase, an informal specification of the problem is transformed into an unambiguous specification while in the program synthesis phase such a specification is further transformed into a concrete, executable program.

  7. AYA in the USA. International Perspectives on AYAO, Part 5

    PubMed Central

    2013-01-01

    Within the past decade, the discipline of adolescent and young adult (AYA) oncology has taken root in the United States. It arose from the observation that survival improvements for 15–39-year-olds have lagged behind those of both children and older adults. Rapid progress in this new area has resulted from energetic work by researchers, clinicians, and non-profit organizations focusing on AYA-aged cancer patients and survivors. The term “AYA” is now well recognized within both pediatric and medical oncology, and AYA-specific aims are increasingly included in clinical trials and also basic and translational oncology research. The AYA oncology movement in the United States was spearheaded by the LIVESTRONG Young Adult Alliance (the Alliance), a coalition of AYA-focused non-profit organizations and academic institutions that has recently transitioned into a successor organization—Critical Mass: The Young Adult Cancer Alliance, composed of individual AYAO professionals. The work of groups such as the Alliance/Critical Mass and key collaborators—including the National Cancer Institute, National Comprehensive Cancer Network, Children's Oncology Group, and advocacy organizations—provides a useful platform for the discussion of progress in AYA oncology in the United States, including advances in (1) research and tool development; (2) public and professional education; (3) advocacy and patient support; (4) awareness; and (5) service delivery. AYA oncology programs are now burgeoning dramatically throughout the United States, and many well-established U.S. programs share distinctive features in clinical programming. The United States is now entering an era of larger-scale coordinated efforts in research, advocacy, and clinical care for AYAs with cancer. PMID:24380035

  8. AYA in the USA. International Perspectives on AYAO, Part 5.

    PubMed

    Johnson, Rebecca H

    2013-12-01

    Within the past decade, the discipline of adolescent and young adult (AYA) oncology has taken root in the United States. It arose from the observation that survival improvements for 15-39-year-olds have lagged behind those of both children and older adults. Rapid progress in this new area has resulted from energetic work by researchers, clinicians, and non-profit organizations focusing on AYA-aged cancer patients and survivors. The term "AYA" is now well recognized within both pediatric and medical oncology, and AYA-specific aims are increasingly included in clinical trials and also basic and translational oncology research. The AYA oncology movement in the United States was spearheaded by the LIVESTRONG Young Adult Alliance (the Alliance), a coalition of AYA-focused non-profit organizations and academic institutions that has recently transitioned into a successor organization-Critical Mass: The Young Adult Cancer Alliance, composed of individual AYAO professionals. The work of groups such as the Alliance/Critical Mass and key collaborators-including the National Cancer Institute, National Comprehensive Cancer Network, Children's Oncology Group, and advocacy organizations-provides a useful platform for the discussion of progress in AYA oncology in the United States, including advances in (1) research and tool development; (2) public and professional education; (3) advocacy and patient support; (4) awareness; and (5) service delivery. AYA oncology programs are now burgeoning dramatically throughout the United States, and many well-established U.S. programs share distinctive features in clinical programming. The United States is now entering an era of larger-scale coordinated efforts in research, advocacy, and clinical care for AYAs with cancer.

  9. 40 CFR 86.1823-01 - Durability demonstration procedures for exhaust emissions.

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ...) Discussion of the manufacturer's in-use verification procedures including testing performed, vehicle... performed should also be documented in the manufacturer's submission. The in-use verification program shall...), the Alternate Service Accumulation Durability Program described in § 86.094-13(e) or the Standard Self...

  10. ENVIRONMENTAL TECHNOLOGY VERIFICATION FOR AIR POLLUTION CONTROL TECHNOLOGIES

    EPA Science Inventory

    The report describes the activities and progress of the pilot Air Pollution Control Technologies (APCT) portion of the Environmental Technology Verification (ETV) Program during the period from 09/15/97 to 09/15/02. The objective of the ETV Program is to verify the performance of...

  11. KSC-2009-2935

    NASA Image and Video Library

    2009-05-05

    VANDENBERG AIR FORCE BASE, Calif. -- A United Launch Alliance Delta II rocket, on behalf of the NASA Launch Services Program, is poised on its Space Launch Complex-2 launch pad at Vandenberg AFB, Calif., ready for launch. The Delta II will carry the Missile Defense Agency's Space Tracking and Surveillance System (STSS) Advanced Technology Risk Reduction (ATRR) payload into orbit. The launch is scheduled for 1:24 p.m. PDT. Photo by Carleton Bailie, United Launch Alliance.

  12. Abstracts of Research Papers 1991, Presented at the Annual Convention of the American Alliance for Health, Physical Education, Recreation and Dance in the Research Consortium Meetings (San Francisco, California, April 3-7, 1991).

    ERIC Educational Resources Information Center

    Liemohn, Wendell, Ed.

    The research consortium program of the American Alliance for Health, Physical Education, Recreation and Dance is comprised of free papers, posters, symposia, and invited lectures. Of the approximately 450 research abstracts submitted for the 1991 research symposium, those recommended for presentation are included in this volume. The topics covered…

  13. Verification of Java Programs using Symbolic Execution and Invariant Generation

    NASA Technical Reports Server (NTRS)

    Pasareanu, Corina; Visser, Willem

    2004-01-01

    Software verification is recognized as an important and difficult problem. We present a norel framework, based on symbolic execution, for the automated verification of software. The framework uses annotations in the form of method specifications an3 loop invariants. We present a novel iterative technique that uses invariant strengthening and approximation for discovering these loop invariants automatically. The technique handles different types of data (e.g. boolean and numeric constraints, dynamically allocated structures and arrays) and it allows for checking universally quantified formulas. Our framework is built on top of the Java PathFinder model checking toolset and it was used for the verification of several non-trivial Java programs.

  14. Considerations in STS payload environmental verification

    NASA Technical Reports Server (NTRS)

    Keegan, W. B.

    1978-01-01

    Considerations regarding the Space Transportation System (STS) payload environmental verification are reviewed. It is noted that emphasis is placed on testing at the subassembly level and that the basic objective of structural dynamic payload verification is to ensure reliability in a cost-effective manner. Structural analyses consist of: (1) stress analysis for critical loading conditions, (2) model analysis for launch and orbital configurations, (3) flight loads analysis, (4) test simulation analysis to verify models, (5) kinematic analysis of deployment/retraction sequences, and (6) structural-thermal-optical program analysis. In addition to these approaches, payload verification programs are being developed in the thermal-vacuum area. These include the exposure to extreme temperatures, temperature cycling, thermal-balance testing and thermal-vacuum testing.

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION--FUELCELL ENERGY, INC.: DFC 300A MOLTEN CARBONATE FUEL CELL COMBINED HEAT AND POWER SYSTEM

    EPA Science Inventory

    The U.S. EPA operates the Environmental Technology Verification program to facilitate the deployment of innovative technologies through performance verification and information dissemination. A technology area of interest is distributed electrical power generation, particularly w...

  16. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: BAGHOUSE FILTRATION PRODUCTS--DONALDSON COMPANY, INC., TETRATEC #6255 FILTRATION MEDIA

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, established by the U.S. EPA, is designed to accelerate the development and commercialization of new or improved technologies through third-party verification and reporting of performance. The Air Pollution Control Technolog...

  17. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - GROUNDWATER SAMPLING TECHNOLOGIES - QED ENVIRONMENTAL SYSTEMS INC. WELL WIZARD DEDICATED SAMPLING SYSTEM

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the ...

  18. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: AISIN SEIKI 6.0 KW NATURAL-GAS-FIRED ENGINE COGENERATION UNIT

    EPA Science Inventory

    The U.S. EPA's Office of Research and Development operates the Environmental Technology Verification (ETV) program to facilitate the deployment of innovative technologies through performance verification and information dissemination. Congress funds ETV in response to the belief ...

  19. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, HONEYWELL POWER SYSTEMS, INC. PARALLON 75 KW TURBOGENERATOR WITH CO EMISSIONS CONTROL

    EPA Science Inventory

    The Greenhouse Gas Technology Center (GHG Center), one of six verification organizations under the Environmental Technology Verification (ETV) program, evaluated the performance of the Parallon 75 kW Turbogenerator (Turbogenerator) with carbon monoxide (CO) emissions control syst...

  20. SITE CHARACTERIZATION AND MONITORING TECHNOLOGY VERIFICATION: PROGRESS AND RESULTS

    EPA Science Inventory

    The Site Characterization and Monitoring Technology Pilot of the U.S. Environmental Protection Agency's Environmental Technology Verification Program (ETV) has been engaged in verification activities since the fall of 1994 (U.S. EPA, 1997). The purpose of the ETV is to promote th...

  1. Environmental Technology Verification: Baghouse Filtration Products--Sinoma Science & Technology Co. Ltd FT-806 Filtration Media

    EPA Science Inventory

    EPA created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. It seeks to achieve this goal by providing high-quality, peer r...

  2. Generic Verification Protocol for Determination of Emissions from Cleaner Outdoor Wood-Fired Hydronic Heaters

    EPA Science Inventory

    This protocol describes the Environmental Technology Verification Program's considerations and requirements for verification of emissions reduction provided by cleaner outdoor wood-fired hydronic heaters. Outdoor wood-burning units provide heat and hot water for homes and other b...

  3. SSME Alternate Turbopump Development Program: Design verification specification for high-pressure fuel turbopump

    NASA Technical Reports Server (NTRS)

    1989-01-01

    The design and verification requirements are defined which are appropriate to hardware at the detail, subassembly, component, and engine levels and to correlate these requirements to the development demonstrations which provides verification that design objectives are achieved. The high pressure fuel turbopump requirements verification matrix provides correlation between design requirements and the tests required to verify that the requirement have been met.

  4. KENNEDY SPACE CENTER, FLA. -- United Space Alliance (USA) Manager of the Thermal Protection System (TPS) Facility Martin Wilson (right) briefs NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (left) on the properties of a thermal blanket used in the Shuttle's TPS. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- United Space Alliance (USA) Manager of the Thermal Protection System (TPS) Facility Martin Wilson (right) briefs NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (left) on the properties of a thermal blanket used in the Shuttle's TPS. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  5. KENNEDY SPACE CENTER, FLA. -- NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (left) discusses some of the working parts inside the nose of Shuttle Discovery in Orbiter Processing Facility Bay 3 with a United Space Alliance (USA) technician (back to camera). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik (left) discusses some of the working parts inside the nose of Shuttle Discovery in Orbiter Processing Facility Bay 3 with a United Space Alliance (USA) technician (back to camera). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  6. Leadership transitions in multisectoral health care alliances: Implications for member perceptions of participation value.

    PubMed

    Hearld, Larry R; Alexander, Jeffrey A; Shi, Yunfeng

    2015-01-01

    Collaborative forms of organizations such as multisectoral health care alliances play an increasingly prominent role in the U.S. health care system. A key feature of these organizations highlighted in previous research is leadership, yet little research has examined what happens when there is a change in leadership. The aim of this study was to examine the relationship between leadership transitions in an alliance and member assessments of the benefits and costs of participation, indicators of the value that members derive from their involvement in the alliance. The study used quantitative data collected from three rounds of surveys of alliance members participating in the Robert Wood Johnson Foundation's Aligning Forces for Quality Program. Qualitative interview data supplemented this analysis by providing examples of why leadership transitions may affect participation benefits and costs. Quantitative analysis indicated that alliance members who experienced a change in leadership reported both higher and lower levels of participation benefits and costs, depending on the type of leadership change (i.e., alliance leader vs. programmatic leader). Qualitative analysis suggested that the scope of responsibilities of different types of leaders plays an important role in how members perceive changes. Likewise, interviews indicated that timing influences how disruptive a leadership transition is and whether it is perceived positively or negatively. Leadership transitions present both challenges and opportunities; whether the effects are felt positively or negatively depends on when a transition occurs and how it is handled by incoming leaders and remaining members. Furthermore, different types of members report higher levels of participation benefits and lower levels of participation costs, suggesting that efforts to maintain a sense of alliance value during times of transitions may be able to target certain types of individuals.

  7. 75 FR 16171 - Privacy Act of 1974; Notice of Modification of Existing Computer Matching Program Between the...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-03-31

    ... program for the purpose of income verifications and computer matching. DATES: Effective Date: The... additional verification to identify inappropriate (excess or insufficient) rental assistance, and perhaps... Act, the Native American Housing Assistance and Self-Determination Act of 1996, and the Quality...

  8. OVERVIEW OF SOURCE WATER PROTECTION (SWP) AND WET-WEATHER FLOW (WWF) ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PILOT PROGRAMS

    EPA Science Inventory

    The USEPA Environmental Technology Verification (ETV) Program objectives, goals and benefits were described in detail in the presentation for the ETV Package Drinking Water Treatment System pilot earlier in this session. As mentioned in the presentation, three of the twelve piul...

  9. The Evolution of Improved Baghouse Filter Media as Observed in the Environmental Technology Verification Program

    EPA Science Inventory

    The U.S. EPA implemented the Environmental Technology Verification (ETV) program in 1995 to generate independent and credible data on the performance of innovative technologies that have the potential to improve protection of public health and the environment. Results are publicl...

  10. 75 FR 4271 - Refinement of Income and Rent Determination Requirements in Public and Assisted Housing Programs...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-01-27

    ... 2501-AD48 Refinement of Income and Rent Determination Requirements in Public and Assisted Housing Programs: Implementation of the Enterprise Income Verification System; Withdrawal of Rescinded Regulatory... use of the Enterprise Income Verification (EIV) system by public housing agencies and multifamily...

  11. Formal verification and testing: An integrated approach to validating Ada programs

    NASA Technical Reports Server (NTRS)

    Cohen, Norman H.

    1986-01-01

    An integrated set of tools called a validation environment is proposed to support the validation of Ada programs by a combination of methods. A Modular Ada Validation Environment (MAVEN) is described which proposes a context in which formal verification can fit into the industrial development of Ada software.

  12. Dance for Older Adults.

    ERIC Educational Resources Information Center

    Pruett, Diane Milhan, Ed.; And Others

    1983-01-01

    Dance programs for older adults that encourage exercise and socializing are described in six articles. Program guidelines of the American Alliance Committee on Aging are explained, and other articles emphasize a movement education approach that may involve intergenerational contact. A dance program held in a worship setting is also discussed. (PP)

  13. Process Document for the joint ETV/NOWATECH verification of the Sorbisense GSW40 passive sampler

    EPA Science Inventory

    Nordic Water Technology Verification Center’s (NOWATECH) DHI Water Monitoring Center (DHI WMC), a pilot Environmental Technology Verification (ETV) program in the European Union, and the United States Environmental Protection Agency ETV (US EPA ETV) program’s Advanced Monitoring ...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT; GROUNDWATER SAMPLING TECHNOLOGIES; W.L. GORE AND ASSOCIATES, INC., GORE-SORBER WATER QUALITY MONITORING

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  15. 7 CFR 272.11 - Systematic Alien Verification for Entitlements (SAVE) Program.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 4 2013-01-01 2013-01-01 false Systematic Alien Verification for Entitlements (SAVE... FOR PARTICIPATING STATE AGENCIES § 272.11 Systematic Alien Verification for Entitlements (SAVE... and Naturalization Service (INS), in order to verify the validity of documents provided by aliens...

  16. 7 CFR 272.11 - Systematic Alien Verification for Entitlements (SAVE) Program.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 4 2012-01-01 2012-01-01 false Systematic Alien Verification for Entitlements (SAVE... FOR PARTICIPATING STATE AGENCIES § 272.11 Systematic Alien Verification for Entitlements (SAVE... and Naturalization Service (INS), in order to verify the validity of documents provided by aliens...

  17. 7 CFR 272.11 - Systematic Alien Verification for Entitlements (SAVE) Program.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... 7 Agriculture 4 2010-01-01 2010-01-01 false Systematic Alien Verification for Entitlements (SAVE... FOR PARTICIPATING STATE AGENCIES § 272.11 Systematic Alien Verification for Entitlements (SAVE... and Naturalization Service (INS), in order to verify the validity of documents provided by aliens...

  18. 7 CFR 272.11 - Systematic Alien Verification for Entitlements (SAVE) Program.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... 7 Agriculture 4 2011-01-01 2011-01-01 false Systematic Alien Verification for Entitlements (SAVE... FOR PARTICIPATING STATE AGENCIES § 272.11 Systematic Alien Verification for Entitlements (SAVE... and Naturalization Service (INS), in order to verify the validity of documents provided by aliens...

  19. 7 CFR 272.11 - Systematic Alien Verification for Entitlements (SAVE) Program.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 4 2014-01-01 2014-01-01 false Systematic Alien Verification for Entitlements (SAVE... FOR PARTICIPATING STATE AGENCIES § 272.11 Systematic Alien Verification for Entitlements (SAVE... and Naturalization Service (INS), in order to verify the validity of documents provided by aliens...

  20. Environmental Technology Verification Report: Baghouse Filtration Products, Donaldson Company, Inc. Tetratex® 6282 Filtration Media (Tested March - April 2011)

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  1. Environmental Technology Verification Report: Baghouse Filtration Products, Donaldson Company, Inc. Tetratex® 6277 Filtration Media (Tested March 2011)

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  2. Environmental Technology Verification: Baghouse filtration products--W.L. Gore & Associates L3650 filtration media (tested November--December 2009)

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  3. Environmental Technology Verification Report: Baghouse Filtration Products, Donaldson Company, Inc. Tetratex® 6262 Filtration Media (Tested March 2011)

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION, TEST REPORT OF CONTROL OF BIOAEROSOLS IN HVAC SYSTEMS, COLUMBUS INDUSTRIES HIGH EFFICIENCY MINI PLEAT

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  5. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, ENVIRONMENTAL DECISION SUPPORT SOFTWARE, UNIVERSITY OF TENNESSEE RESEARCH CORPORATION, SPATIAL ANALYSIS AND DECISION ASSISTANCE (SADA)

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification Program (ETV) to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The goal of the...

  6. 49 CFR 236.905 - Railroad Safety Program Plan (RSPP).

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... to be used in the verification and validation process, consistent with appendix C to this part. The...; and (iv) The identification of the safety assessment process. (2) Design for verification and validation. The RSPP must require the identification of verification and validation methods for the...

  7. 49 CFR 236.905 - Railroad Safety Program Plan (RSPP).

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... to be used in the verification and validation process, consistent with appendix C to this part. The...; and (iv) The identification of the safety assessment process. (2) Design for verification and validation. The RSPP must require the identification of verification and validation methods for the...

  8. 49 CFR 236.905 - Railroad Safety Program Plan (RSPP).

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... to be used in the verification and validation process, consistent with appendix C to this part. The...; and (iv) The identification of the safety assessment process. (2) Design for verification and validation. The RSPP must require the identification of verification and validation methods for the...

  9. 49 CFR 236.905 - Railroad Safety Program Plan (RSPP).

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... to be used in the verification and validation process, consistent with appendix C to this part. The...; and (iv) The identification of the safety assessment process. (2) Design for verification and validation. The RSPP must require the identification of verification and validation methods for the...

  10. Working Alliance in Online Cognitive Behavior Therapy for Anxiety Disorders in Youth: Comparison With Clinic Delivery and its Role in Predicting Outcome

    PubMed Central

    Anderson, Renee E E; Donovan, Caroline L; March, Sonja; Prosser, Samantha; Kenardy, Justin

    2012-01-01

    Background Substantial evidence exists that positive therapy outcomes are related to the therapist–client working alliance. Objectives To report two studies that examined (1) the quality of the working alliance in online cognitive behavior therapy (CBT), with minimal therapist contact, for anxiety disorders in youth, and (2) the role of working alliance and compliance in predicting treatment outcome. Methods Study 1 participants were 73 adolescents aged 12 to 18 years who met diagnostic criteria for an anxiety disorder, plus one or more of their parents. Participants were randomly assigned to clinic or online delivery of CBT, with working alliance being assessed for youth and parents after session 3. Study 2 participants were 132 children and adolescents aged 7 to 18 years who met diagnostic criteria for an anxiety disorder, plus one or more of their parents. Youths and parents participated in a minimally therapist-assisted online CBT program supported by brief, weekly emails and a single, short phone call. Results Study 1 revealed a strong working alliance for both online and clinic CBT, with no significant difference in working alliance between conditions for adolescents (F 1,73 = 0.44, P = .51, ηp 2 = 0.006, Cohen d = 0.15). Parents also reported high working alliance in both conditions, although a slight but significantly higher working alliance in clinic-based therapy (F 1,70 = 6.76, P = .01, ηp 2 = 0.09, Cohen d = 0.64). Study 2 showed a significant and substantial decrease in anxiety symptoms following online therapy (P < .001 for all outcome measures). Adolescents improved significantly more in overall functioning when working alliance (beta = .22, t 79 = 2.21, P = .03) and therapy compliance (beta = .22, t 84 = 2.22, P = .03) were higher, with working alliance also predicting compliance (beta = .38, F 1,80 = 13.10, P = .01). No such relationships were evident among younger children. Conclusions Working alliance is important in determining clinical outcome for online treatment for anxiety among adolescents, with minimal therapist assistance, although this was not the case for younger children. Trial Registration Australian New Zealand Clinical Trials Registry: ACTRN12611000900910; http://www.anzctr.org.au/trial_view.aspx?ID=343375 (Archived by WebCite at http://www.webcitation.org/674C4N3JJ) PMID:22789657

  11. The Learner Verification of Series r: The New Macmillan Reading Program; Highlights.

    ERIC Educational Resources Information Center

    National Evaluation Systems, Inc., Amherst, MA.

    National Evaluation Systems, Inc., has developed curriculum evaluation techniques, in terms of learner verification, which may be used to help the curriculum-development efforts of publishing companies, state education departments, and universities. This document includes a summary of the learner-verification approach, with data collected about a…

  12. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: MOBILE SOURCE RETROFIT AIR POLLUTION CONTROL DEVICES: CLEAN CLEAR FUEL TECHNOLOGIES, INC.’S, UNIVERSAL FUEL CELL

    EPA Science Inventory

    The U.S. EPA's Office of Research and Development operates the Environmental Technology Verification (ETV) program to facilitate the deployment of innovative technologies through performance verification and information dissemination. Congress funds ETV in response to the belief ...

  13. Test/QA Plan for Verification of Radio Frequency Identification (RFID) for Tracking Hazardous Waste Shipments across International Borders

    EPA Science Inventory

    The verification test will be conducted under the auspices of the U.S. Environmental Protection Agency (EPA) through the Environmental Technology Verification (ETV) Program. It will be performed by Battelle, which is managing the ETV Advanced Monitoring Systems (AMS) Center throu...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT; ULTRASONIC AQUEOUS CLEANING SYSTEMS, SMART SONIC CORPORATION, SMART SONIC

    EPA Science Inventory

    This report is a product of the U.S. EPA's Environmental Technoloy Verification (ETV) Program and is focused on the Smart Sonics Ultrasonic Aqueous Cleaning Systems. The verification is based on three main objectives. (1) The Smart Sonic Aqueous Cleaning Systems, Model 2000 and...

  15. GENERIC VERIFICATION PROTOCOL FOR DETERMINATION OF EMISSIONS REDUCTIONS FROM SELECTIVE CATALYTIC REDUCTIONS CONTROL TECHNOLOGIES FOR HIGHWAY, NONROAD, AND STATIONARY USE DIESEL ENGINES

    EPA Science Inventory

    The protocol describes the Environmental Technology Verification (ETV) Program's considerations and requirements for verification of emissions reduction provided by selective catalytic reduction (SCR) technologies. The basis of the ETV will be comparison of the emissions and perf...

  16. Student-Teacher Linkage Verification: Model Process and Recommendations

    ERIC Educational Resources Information Center

    Watson, Jeffery; Graham, Matthew; Thorn, Christopher A.

    2012-01-01

    As momentum grows for tracking the role of individual educators in student performance, school districts across the country are implementing projects that involve linking teachers to their students. Programs that link teachers to student outcomes require a verification process for student-teacher linkages. Linkage verification improves accuracy by…

  17. Environmental Technology Verification Program Materials Management and Remediation Center Generic Protocol for Verification of In Situ Chemical Oxidation

    EPA Science Inventory

    The protocol provides generic procedures for implementing a verification test for the performance of in situ chemical oxidation (ISCO), focused specifically to expand the application of ISCO at manufactured gas plants with polyaromatic hydrocarbon (PAH) contamination (MGP/PAH) an...

  18. Enabling Science.

    ERIC Educational Resources Information Center

    Scadden, Lawrence A.

    2001-01-01

    Introduces Program for Persons with Disabilities (PPD). Explains the next phase of the program beginning in 2002 which is an academic partnership between four- and two-year colleges called the Regional Alliances for Persons with Disabilities in Science, Mathematics, Engineering, and Technology Education (RAD). (YDS)

  19. Orbital ATK CRS-7 Post-Launch News Conference

    NASA Image and Video Library

    2016-04-18

    NASA Television held a post launch news conference from Kennedy Space Center’s Press Site recapping the successful launch of Orbital ATK’s CRS-7 atop a United Launch Alliance Atlas V rocket from Space Launch Complex 41 at Cape Canaveral Air Force Station in Florida. Orbital ATK’s Cygnus spacecraft carried more than 7,600 pounds of science research, crew supplies, and hardware to the orbiting laboratory as Orbital ATK’s seventh commercial resupply services mission to the International Space Station. Participants included: -George Diller, NASA Communications -Joel Montalbano, Deputy Manager, International Space Station Program, NASA Johnson Space Center -Frank Culbertson, President, Orbital ATK Space Systems Group -Vern Thorp, Program Manager, Commercial Missions, United Launch Alliance

  20. Orbital ATK CRS-7 Post Launch News Conference

    NASA Image and Video Library

    2017-04-18

    Members of the news media attend a press conference at NASA's Kennedy Space Center in Florida, after the launch of the Orbital ATK Cygnus pressurized cargo module atop a United Launch Alliance Atlas V rocket from Space Launch Complex 41 at Cape Canaveral Air Force Station. It was Orbital ATK's seventh commercial resupply services mission to the International Space Station. Liftoff was at 11:11 a.m. EDT. Speaking to the media are, from left, George Diller, NASA Kennedy Communications; Joel Montalbano, deputy manager, International Space Station Program, NASA Johnson Space Center in Houston; Frank Culbertson, president, Orbital ATK Space Systems Group; and Vern Thorp, program manager, commercial missions, United Launch Alliance.

  1. Orbital ATK CRS-7 Post Launch News Conference

    NASA Image and Video Library

    2017-04-18

    At the conclusion of the Orbital ATK CRS-7 post-launch press conference, moderator George Diller, second from left, NASA Kennedy Communications; shakes hands with Joel Montalbano, deputy manager, International Space Station Program, NASA Johnson Space Center in Houston. Also with them are Frank Culbertson, president, Orbital ATK Space Systems Group; and Vern Thorp, program manager, commercial missions, United Launch Alliance. A United Launch Alliance Atlas V rocket lifted off from Space Launch Complex 41 at Cape Canaveral Air Force Station in Florida, carrying Orbital ATK's Cygnus pressurized cargo module. It is Orbital ATK's seventh commercial resupply services mission to the International Space Station. Liftoff was at 11:11 a.m. EDT.

  2. Considerations in STS payload environmental verification

    NASA Technical Reports Server (NTRS)

    Keegan, W. B.

    1978-01-01

    The current philosophy of the GSFS regarding environmental verification of Shuttle payloads is reviewed. In the structures area, increased emphasis will be placed on the use of analysis for design verification, with selective testing performed as necessary. Furthermore, as a result of recent cost optimization analysis, the multitier test program will presumably give way to a comprehensive test program at the major payload subassembly level after adequate workmanship at the component level has been verified. In the thermal vacuum area, thought is being given to modifying the approaches used for conventional spacecraft.

  3. Debris control design achievements of the booster separation motors

    NASA Technical Reports Server (NTRS)

    Smith, G. W.; Chase, C. A.

    1985-01-01

    The stringent debris control requirements imposed on the design of the Space Shuttle booster separation motor are described along with the verification program implemented to ensure compliance with debris control objectives. The principal areas emphasized in the design and development of the Booster Separation Motor (BSM) relative to debris control were the propellant formulation and nozzle closures which protect the motors from aerodynamic heating and moisture. A description of the motor design requirements, the propellant formulation and verification program, and the nozzle closures design and verification are presented.

  4. Gay-Straight Alliances: Promoting Student Resilience and Safer School Climates

    ERIC Educational Resources Information Center

    Poteat, V. Paul

    2017-01-01

    Many students participate in a wide range of school or community-based extracurricular programs. Although there is strong evidence such programs promote healthy development programs that specifically serve sexual and gender minority students (e.g., lesbian, gay, bisexual, transgender, or queer/questioning [LGBTQ] students), and that address…

  5. Afterschool Alliance Backgrounder: Formal Evaluations of Afterschool Programs.

    ERIC Educational Resources Information Center

    Afterschool Alliance, Washington, DC.

    Noting that various types of evaluations of after-school programming conducted over the last several years have provided useful information to providers and to policymakers, this report summarizes the lessons learned from independent evaluations of after-school programs. The following overall findings are supported with a delineation of findings…

  6. The SeaHorn Verification Framework

    NASA Technical Reports Server (NTRS)

    Gurfinkel, Arie; Kahsai, Temesghen; Komuravelli, Anvesh; Navas, Jorge A.

    2015-01-01

    In this paper, we present SeaHorn, a software verification framework. The key distinguishing feature of SeaHorn is its modular design that separates the concerns of the syntax of the programming language, its operational semantics, and the verification semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient yet precise inter-procedural technique, (b) provides flexibility in the verification semantics to allow different levels of precision, (c) leverages the state-of-the-art in software model checking and abstract interpretation for verification, and (d) uses Horn-clauses as an intermediate language to represent verification conditions which simplifies interfacing with multiple verification tools based on Horn-clauses. SeaHorn provides users with a powerful verification tool and researchers with an extensible and customizable framework for experimenting with new software verification techniques. The effectiveness and scalability of SeaHorn are demonstrated by an extensive experimental evaluation using benchmarks from SV-COMP 2015 and real avionics code.

  7. Explaining Verification Conditions

    NASA Technical Reports Server (NTRS)

    Deney, Ewen; Fischer, Bernd

    2006-01-01

    The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs themselves. We describe a systematic extension of the Hoare rules by labels so that the calculus itself can be used to build up explanations of the VCs. The labels are maintained through the different processing steps and rendered as natural language explanations. The explanations can easily be customized and can capture different aspects of the VCs; here, we focus on their structure and purpose. The approach is fully declarative and the generated explanations are based only on an analysis of the labels rather than directly on the logical meaning of the underlying VCs or their proofs. Keywords: program verification, Hoare calculus, traceability.

  8. ENVIRONMENTAL TECHNOLOGY VERIFICATION COATINGS AND COATING EQUIPMENT PROGRAM (ETV CCEP), FINAL TECHNOLOGY APPLICATIONS GROUP TAGNITE--TESTING AND QUALITY ASSURANCE PLAN (T/QAP)

    EPA Science Inventory

    The overall objective of the Environmental Testing and Verification Coatings and Coating Equipment Program is to verify pollution prevention and performance characteristics of coating technologies and make the results of the testing available to prospective coating technology use...

  9. 76 FR 56781 - Privacy Act of 1974; Notice of a Computer Matching Program Between the Department of Housing and...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-09-14

    ... require additional verification to identify inappropriate or inaccurate rental assistance, and may provide... Affordable Housing Act, the Native American Housing Assistance and Self-Determination Act of 1996, and the... matching activities. The computer matching program will also provide for the verification of social...

  10. 30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ..., production, and pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and... are subject to the Platform Verification Program: (i) Drilling, production, and pipeline risers, and...

  11. 30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and turret-and-hull... Platform Verification Program: (i) Drilling, production, and pipeline risers, and riser tensioning systems...

  12. 30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ..., production, and pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and... are subject to the Platform Verification Program: (i) Drilling, production, and pipeline risers, and...

  13. 30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ..., production, and pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and... are subject to the Platform Verification Program: (i) Drilling, production, and pipeline risers, and...

  14. 30 CFR 250.910 - Which of my facilities are subject to the Platform Verification Program?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ..., production, and pipeline risers, and riser tensioning systems (each platform must be designed to accommodate all the loads imposed by all risers and riser does not have tensioning systems);(ii) Turrets and... are subject to the Platform Verification Program: (i) Drilling, production, and pipeline risers, and...

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION PROGRAM REPORT: PAINT OVERSPRAY ARRESTOR, ATI A-3000 5P BAG

    EPA Science Inventory

    The report gives results of March 24-25, 1999, tests of ATI's A-3000 5P Bag paint overspray arrestor (POA) as part of an evaluation of POAs by EPA's Air Pollution Control Technology (APCT) Environmental Technology Verification (ETV) Program. The basic performance factor being ver...

  16. Computer Program User’s Manual for FIREFINDER Digital Topographic Data Verification Library Dubbing System,

    DTIC Science & Technology

    1981-11-30

    COMPUTER PROGRAM USER’S MANUAL FOR FIREFINDER DIGITAL TOPOGRAPHIC DATA VERIFICATION LIBRARY DUBBING SYSTEM 30 NOVEMBER 1981 by: Marie Ceres Leslie R...Library .............................. 1-2 1.2.3 Dubbing .......................... 1-2 1.3 Library Process Overview ..................... 1-3 2 LIBRARY...RPOSE AND SCOPE This manual describes the computer programs for the FIREFINDER Digital Topographic Data Veri fication-Library- Dubbing System (FFDTDVLDS

  17. KENNEDY SPACE CENTER, FLA. -- From left, United Space Alliance (USA) Deputy Space Shuttle Program Manager of Operations Loren Shriver, USA Associate Program Manager of Ground Operations Andy Allen, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik, and USA Vice President and Space Shuttle Program Manager Howard DeCastro examine a tile used in the Shuttle's Thermal Protection System (TPS) in KSC's TPS Facility. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- From left, United Space Alliance (USA) Deputy Space Shuttle Program Manager of Operations Loren Shriver, USA Associate Program Manager of Ground Operations Andy Allen, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik, and USA Vice President and Space Shuttle Program Manager Howard DeCastro examine a tile used in the Shuttle's Thermal Protection System (TPS) in KSC's TPS Facility. NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  18. SU-F-T-494: A Multi-Institutional Study of Independent Dose Verification Using Golden Beam Data

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

    Itano, M; Yamazaki, T; Tachibana, R

    Purpose: In general, beam data of individual linac is measured for independent dose verification software program and the verification is performed as a secondary check. In this study, independent dose verification using golden beam data was compared to that using individual linac’s beam data. Methods: Six institutions were participated and three different beam data were prepared. The one was individual measured data (Original Beam Data, OBD) .The others were generated by all measurements from same linac model (Model-GBD) and all linac models (All-GBD). The three different beam data were registered to the independent verification software program for each institute. Subsequently,more » patient’s plans in eight sites (brain, head and neck, lung, esophagus, breast, abdomen, pelvis and bone) were analyzed using the verification program to compare doses calculated using the three different beam data. Results: 1116 plans were collected from six institutes. Compared to using the OBD, the results shows the variation using the Model-GBD based calculation and the All-GBD was 0.0 ± 0.3% and 0.0 ± 0.6%, respectively. The maximum variations were 1.2% and 2.3%, respectively. The plans with the variation over 1% shows the reference points were located away from the central axis with/without physical wedge. Conclusion: The confidence limit (2SD) using the Model-GBD and the All-GBD was within 0.6% and 1.2%, respectively. Thus, the use of golden beam data may be feasible for independent verification. In addition to it, the verification using golden beam data provide quality assurance of planning from the view of audit. This research is partially supported by Japan Agency for Medical Research and Development(AMED)« less

  19. Development of a Low Cost 10kW Tubular SOFC Power System

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

    Bessette, Norman; Litka, Anthony; Rawson, Jolyon

    The DOE program funded from 2003 through early 2013 has brought the Acumentrics SOFC program from an early stage R&D program to an entry level commercial product offering. The development work started as one of the main core teams under the DOE Solid State Energy Conversion Alliance (SECA) program administered by the National Energy Technology Laboratory (NETL) of the DOE. During the first phase of the program, lasting approximately 3-4 years, a 5kW machine was designed, manufactured and tested against the specification developed by NETL. This unit was also shipped to NETL for independent verification testing which validated all ofmore » the results achieved while in the laboratory at Acumentrics. The Acumentrics unit passed all criteria established from operational stability, efficiency, and cost projections. Passing of the SECA Phase I test allowed the program to move into Phase II of the program. During this phase, the overall objective was to further refine the unit meeting a higher level of performance stability as well as further cost reductions. During the first year of this new phase, the NETL SECA program was refocused towards larger size units and operation on coal gasification due to the severe rise in natural gas prices and refocus on the US supply of indigenous coal. At this point, the program was shifted to the U.S. DOE’s Energy Efficiency and Renewable Energy (EERE) division located in Golden, Colorado. With this shift, the focus remained on smaller power units operational on gaseous fuels for a variety of applications including micro combined heat and power (mCHP). To achieve this goal, further enhancements in power, life expectancy and reductions in cost were necessary. The past 5 years have achieved these goals with machines that can now achieve over 40% electrical efficiency and field units that have now operated for close to a year and a half with minimal maintenance. The following report details not only the first phase while under the SECA program and the key achievements but also the results while under EERE’s leadership and the transition to an early commercial product offering.« less

  20. Sustainability of a long term professional development program

    NASA Astrophysics Data System (ADS)

    Ries, Christine E.

    Currently, in most school districts, the main form of teacher education comes from professional development (PD) that claims to improve teaching and student achievement. School districts and teachers spend time and money trying to make sure that they are providing the best quality education for their students. Yet, educators are looking for what the most effective form of PD should look like. Utilizing the methodology of a descriptive case study a long-term PD grant, called Science Alliance was evaluated to add to the research on PD and grant program efficacy. Twelve teachers that participated in the Science Alliance grant were interviewed, observed, and given a survey to see how and to what degree they were implementing the inquiry methodology three years after the grant ended. The results were compared with previously existing data that were collected by a company that Science Alliance hired to complete external research on the effects of the PD. The findings suggest that the teachers that participated have sustained the utilization and implementation of the methodology learned during the training. School administrators and/or staff developers could utilize the findings from this study to see what effective PD may entail. Future researchers may use findings from this study when reporting about grant program evaluations and/or PD.

  1. Alliance for Computational Science Collaboration HBCU Partnership at Fisk University. Final Report 2001

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

    Collins, W. E.

    2004-08-16

    Computational Science plays a big role in research and development in mathematics, science, engineering and biomedical disciplines. The Alliance for Computational Science Collaboration (ACSC) has the goal of training African-American and other minority scientists in the computational science field for eventual employment with the Department of Energy (DOE). The involvements of Historically Black Colleges and Universities (HBCU) in the Alliance provide avenues for producing future DOE African-American scientists. Fisk University has been participating in this program through grants from the DOE. The DOE grant supported computational science activities at Fisk University. The research areas included energy related projects, distributed computing,more » visualization of scientific systems and biomedical computing. Students' involvement in computational science research included undergraduate summer research at Oak Ridge National Lab, on-campus research involving the participation of undergraduates, participation of undergraduate and faculty members in workshops, and mentoring of students. These activities enhanced research and education in computational science, thereby adding to Fisk University's spectrum of research and educational capabilities. Among the successes of the computational science activities are the acceptance of three undergraduate students to graduate schools with full scholarships beginning fall 2002 (one for master degree program and two for Doctoral degree program).« less

  2. Treatment outcomes of a combined cognitive behavior therapy and pharmacotherapy for a sample of women with and without substance abuse histories on an acute psychiatric unit: do therapeutic alliance and motivation matter?

    PubMed

    Clarke, Nickeisha; Mun, Eun-Young; Kelly, Shalonda; White, Helene R; Lynch, Katherine

    2013-01-01

    Women with comorbid psychiatric and substance abuse problems (PwSA) experience more consequences from their use and typically have the poorest prognosis and outcome, compared to those with psychiatric problems but without substance abuse problems (PwoSA). The present study examined outcomes of a combined intensive inpatient cognitive behavior therapy (CBT) and pharmacotherapy program for women with PwSA and PwoSA. Sample consisted of 117 women on a women-only acute inpatient unit (PwSA = 50, PwoSA = 67). Women in both groups made significant improvements in psychological functioning. High motivation at admission and therapeutic alliance at discharge were associated with improved psychological functioning at discharge for both groups. Findings provide preliminary support for the efficacy of a combined CBT and pharmacotherapy program for women with psychiatric diagnoses on a women-only acute inpatient unit, and for pre-treatment motivation and therapeutic alliance as important correlates of better treatment outcomes. Copyright © American Academy of Addiction Psychiatry.

  3. Teaching Counseling Microskills to Audiology Students: Recommendations from Professional Counseling Educators.

    PubMed

    Beck, Kelly; Kulzer, Jamie

    2018-02-01

    To provide the highest quality services, audiologists incorporate counseling into their professional practice. This article, written by professional counselors, highlights the distinction between services provided by professional counselors (i.e., psychotherapy) and counseling microskills used by all health and rehabilitation professionals. Effective application of counseling microskills facilitates a strong therapeutic alliance, which research shows contributes to positive therapeutic outcomes. Counseling microskills should be taught early in graduate programs, because they serve as the foundation for the therapeutic alliance and allow for more effective application of other therapeutic interventions. The four most critical counseling microskills for audiologists are active listening, nonverbal communication, silence, and empathy. These skills should be taught using experiential learning activities (i.e., classroom role-play and use of simulated patients) that incorporate practice, repetition, and feedback. Students should be evaluated on their ability to perform counseling microskills using a detailed grading rubric. Instructors should deliver feedback on these skills with care to reduce potential negative reactions. Ultimately, effectively teaching counseling microskills in graduate programs can improve students' ability to facilitate the therapeutic alliance and facilitate better health outcomes for patients.

  4. Finding the Funds for Health Resources.

    ERIC Educational Resources Information Center

    Osorio, Jenny; Marx, Eva; Bauer, Louise

    2000-01-01

    Identifying, securing, and sustaining funding are the greatest challenges to establishing and maintaining school health programs. A federal/state government alliance (the School Health Program Finance Project) provides funding information; foundations and businesses provide substantial financial support. Districts should employ resource mapping to…

  5. 78 FR 28812 - Energy Efficiency Program for Industrial Equipment: Petition of UL Verification Services Inc. for...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-05-16

    ... are engineers. UL today is comprised of five businesses, Product Safety, Verification Services, Life..., Director--Global Technical Research, UL Verification Services. Subscribed and sworn to before me this 20... (431.447(c)(4)) General Personnel Overview UL is a global independent safety science company with more...

  6. ENVIRONMENTAL TECHNOLOGY VERIFICATION--TEST REPORT OF MOBILE SOURCE EMISSION CONTROL DEVICES, FLINT HILLS RESOURCES, LP, CCD15010 DIESEL FUEL FORMULATION WITH HITEC4121 ADDITIVE

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) has created the Environmental Technology Verification (ETV) Program to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. ETV seeks to ach...

  7. 38 CFR 74.12 - What must a concern submit to apply for VetBiz VIP Verification Program?

    Code of Federal Regulations, 2012 CFR

    2012-07-01

    ... electronic documents, these manual records will provide the CVE verification examiner with sufficient... Verification applicant must submit the electronic forms and attachments CVE requires. All electronic forms are... dispatches the electronic forms, the applicant must also retain on file at the principal place of business a...

  8. 38 CFR 74.12 - What must a concern submit to apply for VetBiz VIP Verification Program?

    Code of Federal Regulations, 2013 CFR

    2013-07-01

    ... electronic documents, these manual records will provide the CVE verification examiner with sufficient... Verification applicant must submit the electronic forms and attachments CVE requires. All electronic forms are... dispatches the electronic forms, the applicant must also retain on file at the principal place of business a...

  9. 38 CFR 74.12 - What must a concern submit to apply for VetBiz VIP Verification Program?

    Code of Federal Regulations, 2011 CFR

    2011-07-01

    ... electronic documents, these manual records will provide the CVE verification examiner with sufficient... Verification applicant must submit the electronic forms and attachments CVE requires. All electronic forms are... dispatches the electronic forms, the applicant must also retain on file at the principal place of business a...

  10. 38 CFR 74.12 - What must a concern submit to apply for VetBiz VIP Verification Program?

    Code of Federal Regulations, 2014 CFR

    2014-07-01

    ... electronic documents, these manual records will provide the CVE verification examiner with sufficient... Verification applicant must submit the electronic forms and attachments CVE requires. All electronic forms are... dispatches the electronic forms, the applicant must also retain on file at the principal place of business a...

  11. Enlight: A Comprehensive Quality and Therapeutic Potential Evaluation Tool for Mobile and Web-Based eHealth Interventions

    PubMed Central

    Faber, Keren; Mathur, Nandita; Kane, John M; Muench, Fred

    2017-01-01

    Background Studies of criteria-based assessment tools have demonstrated the feasibility of objectively evaluating eHealth interventions independent of empirical testing. However, current tools have not included some quality constructs associated with intervention outcome, such as persuasive design, behavior change, or therapeutic alliance. In addition, the generalizability of such tools has not been explicitly examined. Objective The aim is to introduce the development and further analysis of the Enlight suite of measures, developed to incorporate the aforementioned concepts and address generalizability aspects. Methods As a first step, a comprehensive systematic review was performed to identify relevant quality rating criteria in line with the PRISMA statement. These criteria were then categorized to create Enlight. The second step involved testing Enlight on 42 mobile apps and 42 Web-based programs (delivery mediums) targeting modifiable behaviors related to medical illness or mental health (clinical aims). Results A total of 476 criteria from 99 identified sources were used to build Enlight. The rating measures were divided into two sections: quality assessments and checklists. Quality assessments included usability, visual design, user engagement, content, therapeutic persuasiveness, therapeutic alliance, and general subjective evaluation. The checklists included credibility, privacy explanation, basic security, and evidence-based program ranking. The quality constructs exhibited excellent interrater reliability (intraclass correlations=.77-.98, median .91) and internal consistency (Cronbach alphas=.83-.90, median .88), with similar results when separated into delivery mediums or clinical aims. Conditional probability analysis revealed that 100% of the programs that received a score of fair or above (≥3.0) in therapeutic persuasiveness or therapeutic alliance received the same range of scores in user engagement and content—a pattern that did not appear in the opposite direction. Preliminary concurrent validity analysis pointed to positive correlations of combined quality scores with selected variables. The combined score that did not include therapeutic persuasiveness and therapeutic alliance descriptively underperformed the other combined scores. Conclusions This paper provides empirical evidence supporting the importance of persuasive design and therapeutic alliance within the context of a program’s evaluation. Reliability metrics and preliminary concurrent validity analysis indicate the potential of Enlight in examining eHealth programs regardless of delivery mediums and clinical aims. PMID:28325712

  12. Orbital ATK CRS-7 Post Launch News Conference

    NASA Image and Video Library

    2017-04-18

    Members of the news media attend a press conference at NASA's Kennedy Space Center in Florida, after the launch of the Orbital ATK Cygnus pressurized cargo module atop a United Launch Alliance Atlas V rocket from Space Launch Complex 41 at Cape Canaveral Air Force Station. It was Orbital ATK's seventh commercial resupply services mission to the International Space Station. Liftoff was at 11:11 a.m. EDT. Speaking to the media is Vern Thorp, program manager, commercial missions, United Launch Alliance.

  13. Electron/proton spectrometer certification documentation analyses

    NASA Technical Reports Server (NTRS)

    Gleeson, P.

    1972-01-01

    A compilation of analyses generated during the development of the electron-proton spectrometer for the Skylab program is presented. The data documents the analyses required by the electron-proton spectrometer verification plan. The verification plan was generated to satisfy the ancillary hardware requirements of the Apollo Applications program. The certification of the spectrometer requires that various tests, inspections, and analyses be documented, approved, and accepted by reliability and quality control personnel of the spectrometer development program.

  14. The Evolution of the NASA Commercial Crew Program Mission Assurance Process

    NASA Technical Reports Server (NTRS)

    Canfield, Amy C.

    2016-01-01

    In 2010, the National Aeronautics and Space Administration (NASA) established the Commercial Crew Program (CCP) in order to provide human access to the International Space Station and low Earth orbit via the commercial (non-governmental) sector. A particular challenge to NASA has been how to determine that the Commercial Provider's transportation system complies with programmatic safety requirements. The process used in this determination is the Safety Technical Review Board which reviews and approves provider submitted hazard reports. One significant product of the review is a set of hazard control verifications. In past NASA programs, 100% of these safety critical verifications were typically confirmed by NASA. The traditional Safety and Mission Assurance (S&MA) model does not support the nature of the CCP. To that end, NASA S&MA is implementing a Risk Based Assurance process to determine which hazard control verifications require NASA authentication. Additionally, a Shared Assurance Model is also being developed to efficiently use the available resources to execute the verifications.

  15. 76 FR 20536 - Protocol Gas Verification Program and Minimum Competency Requirements for Air Emission Testing

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-04-13

    ... ENVIRONMENTAL PROTECTION AGENCY 40 CFR Part 75 [EPA-HQ-OAR-2009-0837; FRL-9280-9] RIN 2060-AQ06 Protocol Gas Verification Program and Minimum Competency Requirements for Air Emission Testing Correction In rule document 2011-6216 appearing on pages 17288-17325 in the issue of Monday, March 28, 2011...

  16. 78 FR 69602 - Foreign Supplier Verification Programs for Importers of Food for Humans and Animals; Extension of...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-11-20

    ... ``Current Good Manufacturing Practice and Hazard Analysis and Risk-Based Preventive Controls for Food for... DEPARTMENT OF HEALTH AND HUMAN SERVICES Food and Drug Administration 21 CFR Part 1 [Docket No. FDA-2011-N-0143] RIN 0910-AG64 Foreign Supplier Verification Programs for Importers of Food for Humans and...

  17. Characterizing irrigation water requirements for rice production from the Arkansas Rice Research Verification Program

    USDA-ARS?s Scientific Manuscript database

    This study investigated rice irrigation water use in the University of Arkansas Rice Research Verification Program between the years of 2003 and 2011. Irrigation water use averaged 747 mm (29.4 inches) over the nine years. A significant 40% water savings was reported for rice grown under a zero gr...

  18. Strategic Partnerships that Strengthen Extension's Community-Based Entrepreneurship Programs: An Example from Maine

    ERIC Educational Resources Information Center

    Bassano, Louis V.; McConnon, James C., Jr.

    2011-01-01

    This article explains how Extension can enhance and expand its nationwide community-based entrepreneurship programs by developing strategic partnerships with other organizations to create highly effective educational programs for rural entrepreneurs. The activities and impacts of the Down East Micro-Enterprise Network (DEMN), an alliance of three…

  19. TTIP Texas Teacher Internship Program: 1996 Curriculum Implementation Plans.

    ERIC Educational Resources Information Center

    Walenta, Brian T., Ed.

    In 1989, the Texas Alliance for Science, Technology, and Mathematics Education began placing teachers at industry sites as part of its Texas Teacher Internship Program (TTIP). TTIP is a competitive program for science, technology, and mathematics teachers who serve as summer interns at industry and university sites in order to experience…

  20. "A Unified Poet Alliance": The Personal and Social Outcomes of Youth Spoken Word Poetry Programming

    ERIC Educational Resources Information Center

    Weinstein, Susan

    2010-01-01

    This article places youth spoken word (YSW) poetry programming within the larger framework of arts education. Drawing primarily on transcripts of interviews with teen poets and adult teaching artists and program administrators, the article identifies specific benefits that participants ascribe to youth spoken word, including the development of…

  1. Fine-Tuning Summer Research Programs to Promote Underrepresented Students' Persistence in the STEM Pathway

    ERIC Educational Resources Information Center

    Ghee, Medeva; Keels, Micere; Collins, Deborah; Neal-Spence, Cynthia; Baker, Earnestine

    2016-01-01

    Although the importance of undergraduate research experiences in preparing students for graduate study and research careers is well documented, specific examination of program components is needed to assess the impact of these programs on underrepresented (UR) students. The Leadership Alliance, a consortium of leading PhD-granting and…

  2. KENNEDY SPACE CENTER, FLA. -- From left, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik and United Space Alliance (USA) Vice President and Space Shuttle Program Manager Howard DeCastro are briefed on the properties of the tile used in the Shuttle's Thermal Protection System (TPS) by USA Manager of the TPS Facility Martin Wilson (right). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

    NASA Image and Video Library

    2003-12-19

    KENNEDY SPACE CENTER, FLA. -- From left, NASA Deputy Associate Administrator for Space Station and Shuttle Programs Michael Kostelnik and United Space Alliance (USA) Vice President and Space Shuttle Program Manager Howard DeCastro are briefed on the properties of the tile used in the Shuttle's Thermal Protection System (TPS) by USA Manager of the TPS Facility Martin Wilson (right). NASA and USA Space Shuttle program management are participating in a leadership workday. The day is intended to provide management with an in-depth, hands-on look at Shuttle processing activities at KSC.

  3. More than Fiber: Distance Education in Iowa.

    ERIC Educational Resources Information Center

    Simonson, Michael; Schlosser, Charles

    1995-01-01

    Describes distance education programs in Iowa, including the Iowa Distance Education Alliance developed through the Department of Education's Star Schools Program; the use of fiber optic technology; and the Iowa Communications Network that links colleges, universities, and secondary schools with public television. (LRW)

  4. Commentary on Dinger et al.: Therapist's attachment, interpersonal problems and alliance development over time in inpatient psychotherapy.

    PubMed

    Holmes, Jeremy

    2009-09-01

    This short article is a commentary on a research study investigating therapist and client attachment styles and their relationship to alliance development in a 12-week psychodynamic psychotherapy program for nonpsychotic inpatients. The relationship is complex; unsurprisingly, securely attached therapists with less distressed clients formed the strongest alliances. A significant proportion of therapists were insecure, almost entirely in the preoccupied or hyperactivating mode. It is argued that collusive relationships between such therapists and similarly overaroused clients may be common. Therapists need both to accommodate to their client's attachment style and to confound it if positive change is to result. Therapist self-scrutiny is likely to be a precondition for such positive outcomes. (PsycINFO Database Record (c) 2010 APA, all rights reserved).

  5. General Environmental Verification Specification

    NASA Technical Reports Server (NTRS)

    Milne, J. Scott, Jr.; Kaufman, Daniel S.

    2003-01-01

    The NASA Goddard Space Flight Center s General Environmental Verification Specification (GEVS) for STS and ELV Payloads, Subsystems, and Components is currently being revised based on lessons learned from GSFC engineering and flight assurance. The GEVS has been used by Goddard flight projects for the past 17 years as a baseline from which to tailor their environmental test programs. A summary of the requirements and updates are presented along with the rationale behind the changes. The major test areas covered by the GEVS include mechanical, thermal, and EMC, as well as more general requirements for planning, tracking of the verification programs.

  6. Electric power system test and verification program

    NASA Technical Reports Server (NTRS)

    Rylicki, Daniel S.; Robinson, Frank, Jr.

    1994-01-01

    Space Station Freedom's (SSF's) electric power system (EPS) hardware and software verification is performed at all levels of integration, from components to assembly and system level tests. Careful planning is essential to ensure the EPS is tested properly on the ground prior to launch. The results of the test performed on breadboard model hardware and analyses completed to date have been evaluated and used to plan for design qualification and flight acceptance test phases. These results and plans indicate the verification program for SSF's 75-kW EPS would have been successful and completed in time to support the scheduled first element launch.

  7. Sandia National Laboratories:

    Science.gov Websites

    Governance, leadership, and management Robotics Ethics and business conduct Partnerships and alliances Military programs Pulsed Power Governance, leadership, and management Robotics Ethics and business conduct

  8. Employer Specific Training Program for Program Year 1988-89. Annual Report to the Governor and Legislature.

    ERIC Educational Resources Information Center

    New York State Education Dept., Albany.

    The Employer Specific Skills Training Program helps build the superior work force called for by the National Alliance of Business and other significant employer, union, government, and educational groups. Through a combination of state and federal funds, the New York State Department of Education has crafted a flexible and responsible program.…

  9. Direct Verification of School Meal Applications with Medicaid Data: A Pilot Evaluation of Feasibility, Effectiveness and Costs

    ERIC Educational Resources Information Center

    Logan, Christopher W.; Cole, Nancy; Kamara, Sheku G.

    2010-01-01

    Purpose/Objectives: The Direct Verification Pilot tested the feasibility, effectiveness, and costs of using Medicaid and State Children's Health Insurance Program (SCHIP) data to verify applications for free and reduced-price (FRP) school meals instead of obtaining documentation from parents and guardians. Methods: The Direct Verification Pilot…

  10. WRAP-RIB antenna technology development

    NASA Technical Reports Server (NTRS)

    Freeland, R. E.; Garcia, N. F.; Iwamoto, H.

    1985-01-01

    The wrap-rib deployable antenna concept development is based on a combination of hardware development and testing along with extensive supporting analysis. The proof-of-concept hardware models are large in size so they will address the same basic problems associated with the design fabrication, assembly and test as the full-scale systems which were selected to be 100 meters at the beginning of the program. The hardware evaluation program consists of functional performance tests, design verification tests and analytical model verification tests. Functional testing consists of kinematic deployment, mesh management and verification of mechanical packaging efficiencies. Design verification consists of rib contour precision measurement, rib cross-section variation evaluation, rib materials characterizations and manufacturing imperfections assessment. Analytical model verification and refinement include mesh stiffness measurement, rib static and dynamic testing, mass measurement, and rib cross-section characterization. This concept was considered for a number of potential applications that include mobile communications, VLBI, and aircraft surveillance. In fact, baseline system configurations were developed by JPL, using the appropriate wrap-rib antenna, for all three classes of applications.

  11. The Effect of Mystery Shopper Reports on Age Verification for Tobacco Purchases

    PubMed Central

    KREVOR, BRAD S.; PONICKI, WILLIAM R.; GRUBE, JOEL W.; DeJONG, WILLIAM

    2011-01-01

    Mystery shops (MS) involving attempted tobacco purchases by young buyers have been employed to monitor retail stores’ performance in refusing underage sales. Anecdotal evidence suggests that MS visits with immediate feedback to store personnel can improve age verification. This study investigated the impact of monthly and twice-monthly MS reports on age verification. Forty-five Walgreens stores were each visited 20 times by mystery shoppers. The stores were randomly assigned to one of three conditions. Control group stores received no feedback, whereas two treatment groups received feedback communications every visit (twice monthly) or every second visit (monthly) after baseline. Logit regression models tested whether each treatment group improved verification rates relative to the control group. Post-baseline verification rates were higher in both treatment groups than in the control group, but only the stores receiving monthly communications had a significantly greater improvement than control group stores. Verification rates increased significantly during the study period for all three groups, with delayed improvement among control group stores. Communication between managers regarding the MS program may account for the delayed age-verification improvements observed in the control group stores. Encouraging inter-store communication might extend the benefits of MS programs beyond those stores that receive this intervention. PMID:21541874

  12. The effect of mystery shopper reports on age verification for tobacco purchases.

    PubMed

    Krevor, Brad S; Ponicki, William R; Grube, Joel W; DeJong, William

    2011-09-01

    Mystery shops involving attempted tobacco purchases by young buyers have been implemented in order to monitor retail stores' performance in refusing underage sales. Anecdotal evidence suggests that mystery shop visits with immediate feedback to store personnel can improve age verification. This study investigated the effect of monthly and twice-monthly mystery shop reports on age verification. Mystery shoppers visited 45 Walgreens stores 20 times. The stores were randomly assigned to 1 of 3 conditions. Control group stores received no feedback, whereas 2 treatment groups received feedback communications on every visit (twice monthly) or on every second visit (monthly) after baseline. Logit regression models tested whether each treatment group improved verification rates relative to the control group. Postbaseline verification rates were higher in both treatment groups than in the control group, but only the stores receiving monthly communications had a significantly greater improvement compared with the control group stores. Verification rates increased significantly during the study period for all 3 groups, with delayed improvement among control group stores. Communication between managers regarding the mystery shop program may account for the delayed age-verification improvements observed in the control group stores. Encouraging interstore communication might extend the benefits of mystery shop programs beyond those stores that receive this intervention. Copyright © Taylor & Francis Group, LLC

  13. The NASA Commercial Crew Program (CCP) Mission Assurance Process

    NASA Technical Reports Server (NTRS)

    Canfield, Amy

    2016-01-01

    In 2010, NASA established the Commercial Crew Program in order to provide human access to the International Space Station and low earth orbit via the commercial (non-governmental) sector. A particular challenge to NASA has been how to determine the commercial providers transportation system complies with Programmatic safety requirements. The process used in this determination is the Safety Technical Review Board which reviews and approves provider submitted Hazard Reports. One significant product of the review is a set of hazard control verifications. In past NASA programs, 100 percent of these safety critical verifications were typically confirmed by NASA. The traditional Safety and Mission Assurance (SMA) model does not support the nature of the Commercial Crew Program. To that end, NASA SMA is implementing a Risk Based Assurance (RBA) process to determine which hazard control verifications require NASA authentication. Additionally, a Shared Assurance Model is also being developed to efficiently use the available resources to execute the verifications. This paper will describe the evolution of the CCP Mission Assurance process from the beginning of the Program to its current incarnation. Topics to be covered include a short history of the CCP; the development of the Programmatic mission assurance requirements; the current safety review process; a description of the RBA process and its products and ending with a description of the Shared Assurance Model.

  14. ChemTechLinks: Alliances for Chemical Technician Education

    NASA Astrophysics Data System (ADS)

    Nameroff, Tamara

    2003-09-01

    ChemTechLinks (CTL) is a project of the American Chemical Society (ACS) Educational and International Activities Division and funded by the National Science Foundation to support and advance chemistry-based technician education. The project aims to help improve technician education programs, foster academic-industry alliances, provide professional development opportunities for faculty, and increase student recruitment into chemical technology. The CTL Web site serves as an information clearinghouse and link to other ACS resources and programs, including a Web-based, Voluntary Industry Standards (VIS) database, the Chemistry Technician Program Approval Service, the College Chemistry Consultants Service, summer workshops for high school teachers and two-year college faculty that emphasize a technology-oriented curriculum, scholarships for two-year college faculty to attend ACS Short Courses, a self-study instructional guide for faculty to use in preparing for classroom instruction, and information and free recruitment materials about career opportunities in chemistry technology.

  15. NASA and Orbital ATK CRS-7 Prelaunch News Conference

    NASA Image and Video Library

    2017-04-17

    In the NASA Kennedy Space Center's Press Site auditorium, agency and industry leaders brief the media about the upcoming launch of Orbital ATK’s seventh commercial resupply services mission to the International Space Station. Orbital ATK has contracted with United Launch Alliance for its Atlas V rocket for the launch service which will lift off from Space Launch Complex-41 at Cape Canaveral Air Force Station in Florida. Under NASA’s first Commercial Resupply Services contract, more than 7,600 pounds of science research, crew supplies and hardware will be delivered to the orbiting laboratory in support of the crew members. Briefing participants: -George Diller, NASA Communications -Joel Montalbano, Deputy Manager, NASA International Space Station Program -Vern Thorp, Program Manager for Commercial Missions, United Launch Alliance -Frank Culbertson, President, Space Systems Group, Orbital ATK -Tara Ruttley, Associate Program Scientist, JSC -David Craft, Weather Officer, 45th Weather Squadron

  16. A Research Program in Computer Technology

    DTIC Science & Technology

    1976-07-01

    K PROGRAM VERIFICATION 12 [Shaw76b] Shaw, M., W. A. Wulf, and R. L. London, Abstraction and Verification ain Aiphard: Iteration and Generators...millisecond trame of speech: pitch, gain, and 10 k -parameters (often called reflection coefficients). The 12 parameters from each frame are encoded into...del rey, CA 90291 Program Code 3D30 & 3P1O I,%’POLLING OFFICE NAME AND ADDRESS 12 REPORT DATE Defense Advanced Research Projects Agency July 1976 1400

  17. 78 FR 67349 - Revision of a Currently Approved Collection

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-11-12

    ... submitted to the Office of Management and Budget (OMB) for clearance, a proposal for collection of... to report the progress of participants in the DOE Better Buildings programs, including the Better Buildings Challenge, Better Buildings, Better Plants program, and the Better Buildings Alliance. These...

  18. Burn Education Awareness Recognition and Support (BEARS): a community-based juvenile firesetters assessment and treatment program.

    PubMed

    Bennett, B K; Gamelli, R L; Duchene, R C; Atkocaitis, D; Plunkett, J A

    2004-01-01

    In response to the continued staggering statistics of fires set by juveniles and the devastating personal and property costs that are associated with these fires, the Burn and Shock Trauma Institute of Loyola University Medical Center, in collaboration with the State Fire Marshal's Office; the Illinois Fire Safety Alliance; and representatives from the firefighting community, law enforcement, emergency medicine and mental health, came together to create the Burn Education Awareness Recognition and Support Program. Through financial grant support from the International Association of Firefighters, the Illinois Fire Safety Alliance, and other private donations, the Burn Education Awareness Recognition and Support Program is able to provide a free resource to anyone who is concerned about a child playing with fire. Specially trained firefighters assess each child using the tool developed by the Federal Emergency Management Agency. In 2002, we assessed 42 children; 29 of those children were referred through the courts. So far, none of the children treated in our program have returned to fire-setting behaviors.

  19. Miscarriage

    MedlinePlus

    ... the death of a child) Journey Program of Seattle Children’s Hospital (resources for families after the death of a child) Lupus Research Alliance: Pregnancy and family planning Share Pregnancy & Infant Loss ...

  20. Off-line robot programming and graphical verification of path planning

    NASA Technical Reports Server (NTRS)

    Tonkay, Gregory L.

    1989-01-01

    The objective of this project was to develop or specify an integrated environment for off-line programming, graphical path verification, and debugging for robotic systems. Two alternatives were compared. The first was the integration of the ASEA Off-line Programming package with ROBSIM, a robotic simulation program. The second alternative was the purchase of the commercial product IGRIP. The needs of the RADL (Robotics Applications Development Laboratory) were explored and the alternatives were evaluated based on these needs. As a result, IGRIP was proposed as the best solution to the problem.

  1. How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations

    NASA Astrophysics Data System (ADS)

    Aananthakrishnan, Sriram; Delisi, Michael; Vakkalanka, Sarvani; Vo, Anh; Gopalakrishnan, Ganesh; Kirby, Robert M.; Thakur, Rajeev

    With the exploding scale of concurrency, presenting valuable pieces of information collected by formal verification tools intuitively and graphically can greatly enhance concurrent system debugging. Traditional MPI program debuggers present trace views of MPI program executions. Such views are redundant, often containing equivalent traces that permute independent MPI calls. In our ISP formal dynamic verifier for MPI programs, we present a collection of alternate views made possible by the use of formal dynamic verification. Some of ISP’s views help pinpoint errors, some facilitate discerning errors by eliminating redundancy, while others help understand the program better by displaying concurrent even orderings that must be respected by all MPI implementations, in the form of completes-before graphs. In this paper, we describe ISP’s graphical user interface (GUI) capabilities in all these areas which are currently supported by a portable Java based GUI, a Microsoft Visual Studio GUI, and an Eclipse based GUI whose development is in progress.

  2. 30 CFR 250.911 - If my platform is subject to the Platform Verification Program, what must I do?

    Code of Federal Regulations, 2010 CFR

    2010-07-01

    ... a project management timeline, Gantt Chart, that depicts when interim and final reports required by... 30 Mineral Resources 2 2010-07-01 2010-07-01 false If my platform is subject to the Platform Verification Program, what must I do? 250.911 Section 250.911 Mineral Resources MINERALS MANAGEMENT SERVICE...

  3. Free and Reduced-Price Meal Application and Income Verification Practices in School Nutrition Programs in the United States

    ERIC Educational Resources Information Center

    Kwon, Junehee; Lee, Yee Ming; Park, Eunhye; Wang, Yujia; Rushing, Keith

    2017-01-01

    Purpose/Objectives: This study assessed current practices and attitudes of school nutrition program (SNP) management staff regarding free and reduced-price (F-RP) meal application and verification in SNPs. Methods: Stratified, randomly selected 1,500 SNP management staff in 14 states received a link to an online questionnaire and/or a printed…

  4. Defense.gov Special Report: MoDA: Ministry of Defense Advisors Program

    Science.gov Websites

    range of international schools, the Foreign Service Institute, and a four day advisor training course alliances, new partnerships throughout the world by engaging in exercises, in training, in assistance and in . Several elements make the program unique: Extensive Training The MoDA program offers a comprehensive 7

  5. Computer simulated building energy consumption for verification of energy conservation measures in network facilities

    NASA Technical Reports Server (NTRS)

    Plankey, B.

    1981-01-01

    A computer program called ECPVER (Energy Consumption Program - Verification) was developed to simulate all energy loads for any number of buildings. The program computes simulated daily, monthly, and yearly energy consumption which can be compared with actual meter readings for the same time period. Such comparison can lead to validation of the model under a variety of conditions, which allows it to be used to predict future energy saving due to energy conservation measures. Predicted energy saving can then be compared with actual saving to verify the effectiveness of those energy conservation changes. This verification procedure is planned to be an important advancement in the Deep Space Network Energy Project, which seeks to reduce energy cost and consumption at all DSN Deep Space Stations.

  6. 25 CFR 39.413 - Can a school appeal the verification of the count?

    Code of Federal Regulations, 2010 CFR

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false Can a school appeal the verification of the count? 39.413 Section 39.413 Indians BUREAU OF INDIAN AFFAIRS, DEPARTMENT OF THE INTERIOR EDUCATION THE INDIAN SCHOOL EQUALIZATION PROGRAM Accountability § 39.413 Can a school appeal the verification of the count? Yes, a school...

  7. TEST/QA PLAN FOR THE VERIFICATION TESTING OF ALTERNATIVES OR REFORMULATED LIQUID FUELS, FUEL ADDITIVES, FUEL EMULSONS, AND LUBRICANTS FOR HIGHWAY AND NONROAD USE HEAVY DUTY DIESEL ENGINES AND LIGHT DUTY GASOLINE ENGINES AND VEHICLES

    EPA Science Inventory

    The U.S. Environmental Protection Agency established the Environmental Technology Verification Program to accelerate the development and commercialization of improved environmental technology through third party verification and reporting of product performance. Research Triangl...

  8. ENVIRONMENTAL TECHNOLOGY VERIFICATION JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT PERFORMANCE OF INDUCTION MIXERS FOR DISINFECTION OF WET WEATHER FLOWS, GAS MASTRRR SERIES 32 SUBMERSIBLE CHEMICAL INDUCTION MIXERS

    EPA Science Inventory

    The Wet-Weather Flow Technologies Pilot of the EPA's Environmental Technology Verification (ETV) Program under a partnership with NSF International has verified the performance of the GAS MASTRRR Series 32 Submersible Chemical Induction Mixers used for disinfection of wet-weather...

  9. Extremely accurate sequential verification of RELAP5-3D

    DOE PAGES

    Mesina, George L.; Aumiller, David L.; Buschman, Francis X.

    2015-11-19

    Large computer programs like RELAP5-3D solve complex systems of governing, closure and special process equations to model the underlying physics of nuclear power plants. Further, these programs incorporate many other features for physics, input, output, data management, user-interaction, and post-processing. For software quality assurance, the code must be verified and validated before being released to users. For RELAP5-3D, verification and validation are restricted to nuclear power plant applications. Verification means ensuring that the program is built right by checking that it meets its design specifications, comparing coding to algorithms and equations and comparing calculations against analytical solutions and method ofmore » manufactured solutions. Sequential verification performs these comparisons initially, but thereafter only compares code calculations between consecutive code versions to demonstrate that no unintended changes have been introduced. Recently, an automated, highly accurate sequential verification method has been developed for RELAP5-3D. The method also provides to test that no unintended consequences result from code development in the following code capabilities: repeating a timestep advancement, continuing a run from a restart file, multiple cases in a single code execution, and modes of coupled/uncoupled operation. In conclusion, mathematical analyses of the adequacy of the checks used in the comparisons are provided.« less

  10. U.S. EPA’s Computational Toxicology Program: Innovation Powered by Chemistry (Dalton State College presentation)

    EPA Science Inventory

    Invited presentation at Dalton College, Dalton, GA to the Alliance for Innovation & Sustainability, April 20, 2017. U.S. EPA’s Computational Toxicology Program: Innovation Powered by Chemistry It is estimated that tens of thousands of commercial and industrial chemicals are ...

  11. Cooperative and Concurrent Enrollment and College Retention

    ERIC Educational Resources Information Center

    Foster, Regina

    2010-01-01

    Oklahoma has a unique system of high schools, technology centers and community colleges that work together to enable students to receive education in technical areas. Given Oklahoma's shortage of technical degree recipients, the Cooperative Alliance Program (CAP) was developed to encourage additional students to begin technical programs during…

  12. 75 FR 48411 - Noise Compatibility Program Notice; Fort Worth Alliance Airport, Fort Worth, TX

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-08-10

    ... DEPARTMENT OF TRANSPORTATION Federal Aviation Administration Noise Compatibility Program Notice.... SUMMARY: The Federal Aviation Administration (FAA) announces that it is reviewing a proposed noise... et seq. (the Aviation Safety and Noise Abatement Act, hereinafter referred to as ``the Act'') and 14...

  13. The Charlotte/Mecklenburg Area Pathways to Employment Program

    ERIC Educational Resources Information Center

    Embrey, Lindsey

    2006-01-01

    This paper describes an innovative public and private strategic workforce development alliance, the Pathways to Employment Program (Pathways), developed by the Central Piedmont Community College (CPCC) in Charlotte, North Carolina. Pathways is a partnership of CPCC, the Charlotte Department of Social Services, 12 community businesses, 6 social…

  14. Evaluation of the Alliance for Climate Education's national high school edutainment program (Invited)

    NASA Astrophysics Data System (ADS)

    Lappe, M.; Flora, J.; Saphir, M.; Roser-Renouf, C.; Maibach, E.; Leiserowitz, A.

    2013-12-01

    The Alliance for Climate Education educates high school students on the science of climate change and inspires them to create effective solutions. Since 2009, ACE has reached over 1.6 million students nationwide with its multi media assembly presentation. In this paper, we evaluate the climate science knowledge, beliefs, attitudes, behavior and communication impact of the ACE Assembly program in a random sample of 49 schools (from population of 779) and a panel of 1,241 high school students. Pre and post assembly surveys composed of questions from the Global Warming Six Americas segmentation and intervention specific questions were administered in classrooms. We demonstrate that exposure to climate science in an engaging edutainment format changes youths' beliefs, involvement, and behavior positively and moves them to more climate science literate audience segments. The net impact of scaled and engaging programs for youth could be a population shift in climate science literacy and positive engagement in the issue of climate change. In addition, such programs can empower youth for deeper engagement in school programs, personal action, political and consumer advocacy.

  15. Behavioral biometrics for verification and recognition of malicious software agents

    NASA Astrophysics Data System (ADS)

    Yampolskiy, Roman V.; Govindaraju, Venu

    2008-04-01

    Homeland security requires technologies capable of positive and reliable identification of humans for law enforcement, government, and commercial applications. As artificially intelligent agents improve in their abilities and become a part of our everyday life, the possibility of using such programs for undermining homeland security increases. Virtual assistants, shopping bots, and game playing programs are used daily by millions of people. We propose applying statistical behavior modeling techniques developed by us for recognition of humans to the identification and verification of intelligent and potentially malicious software agents. Our experimental results demonstrate feasibility of such methods for both artificial agent verification and even for recognition purposes.

  16. Program Model Checking as a New Trend

    NASA Technical Reports Server (NTRS)

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

    2002-01-01

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

  17. Space transportation system payload interface verification

    NASA Technical Reports Server (NTRS)

    Everline, R. T.

    1977-01-01

    The paper considers STS payload-interface verification requirements and the capability provided by STS to support verification. The intent is to standardize as many interfaces as possible, not only through the design, development, test and evaluation (DDT and E) phase of the major payload carriers but also into the operational phase. The verification process is discussed in terms of its various elements, such as the Space Shuttle DDT and E (including the orbital flight test program) and the major payload carriers DDT and E (including the first flights). Five tools derived from the Space Shuttle DDT and E are available to support the verification process: mathematical (structural and thermal) models, the Shuttle Avionics Integration Laboratory, the Shuttle Manipulator Development Facility, and interface-verification equipment (cargo-integration test equipment).

  18. A Practitioners Perspective on Verification

    NASA Astrophysics Data System (ADS)

    Steenburgh, R. A.

    2017-12-01

    NOAAs Space Weather Prediction Center offers a wide range of products and services to meet the needs of an equally wide range of customers. A robust verification program is essential to the informed use of model guidance and other tools by both forecasters and end users alike. In this talk, we present current SWPC practices and results, and examine emerging requirements and potential approaches to satisfy them. We explore the varying verification needs of forecasters and end users, as well as the role of subjective and objective verification. Finally, we describe a vehicle used in the meteorological community to unify approaches to model verification and facilitate intercomparison.

  19. SLC-41 Water Deluge Test

    NASA Image and Video Library

    2017-11-02

    NASA, Boeing and United Launch Alliance personnel run a water deluge test on the Crew Access Tower at Space Launch Complex 41 on Cape Canaveral Air Force Station in Florida. The test gathered data on how launch site and astronaut crews would exit in the event of an emergency from the white room at the end of the crew access arm to the emergency escape system on the pad. Boeing’s Starliner will launch on a United Launch Alliance Atlas V rocket to the International Space Station as part of NASA’s Commercial Crew Program.

  20. SLC-41 Water Deluge Test

    NASA Image and Video Library

    2017-11-02

    NASA, Boeing and United Launch Alliance personnel begin a water deluge test on the Crew Access Tower at Space Launch Complex 41 on Cape Canaveral Air Force Station in Florida. The test gathered data on how launch site and astronaut crews would exit in the event of an emergency from the white room at the end of the crew access arm to the emergency escape system on the pad. Boeing’s Starliner will launch on a United Launch Alliance Atlas V rocket to the International Space Station as part of NASA’s Commercial Crew Program.

  1. Internet: An Overview of Key Technology Policy Issues Affecting Its Use and Growth

    DTIC Science & Technology

    2004-12-29

    Alliance OSS Open Source Software SSA Social Security Administration SSN Social Security Number TLD Top Level Domain UCE Unsolicited Commercial E-mail... Alliance General Types of Internet Services B2B Business-to-Business B2G Business-to-Government G2B Government-to-Business G2C Government-to-Citizen G2G...response. Such software is called “adware.” Software CRS-7 programs that include spyware can be sold or provided for free, on a disk (or other media ) or

  2. 48 CFR 22.1800 - Scope.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... APPLICATION OF LABOR LAWS TO GOVERNMENT ACQUISITIONS Employment Eligibility Verification 22.1800 Scope. This... Security (DHS), United States Citizenship and Immigration Service's employment eligibility verification program (E-Verify) as the means for verifying employment eligibility of certain employees. ...

  3. 48 CFR 22.1800 - Scope.

    Code of Federal Regulations, 2010 CFR

    2010-10-01

    ... APPLICATION OF LABOR LAWS TO GOVERNMENT ACQUISITIONS Employment Eligibility Verification 22.1800 Scope. This... Security (DHS), United States Citizenship and Immigration Service's employment eligibility verification program (E-Verify) as the means for verifying employment eligibility of certain employees. ...

  4. VERIFICATION OF GLOBAL CLIMATE CHANGE MITIGATION TECHNOLOGIES

    EPA Science Inventory

    This is a continuation of independent performance evaluations of environmental technologies under EPA's Environmental Technology Verification Program. Emissions of some greenhouse gases, most notably methane. can be controlled profitably now, even in the absence of regulations. ...

  5. Inside a Nontraditional Jobs Exploration.

    ERIC Educational Resources Information Center

    Campbell, Elizabeth H.

    1979-01-01

    Describes a Vocational Exploration Program at the military base, Fort Lewis, in Tacoma, Washington, which provided opportunities for 20 young women to sample jobs formerly reserved for men. This program is sponsored jointly by the National Alliance of Business and the AFL-CIO and funded under the Comprehensive Employment and Training Act. (MF)

  6. 75 FR 78799 - Noise Compatibility Program Notice, Fort Worth Alliance Airport, Fort Worth, TX

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-12-16

    ... military operations proposed by the Department of Defense. This revision delayed acceptance of the future... DEPARTMENT OF TRANSPORTATION Federal Aviation Administration Noise Compatibility Program Notice... Report No. 96-52 (1980). On September 7, 2006, the FAA determined that the noise exposure maps submitted...

  7. Annual Review of Adult Learning and Literacy. Volume 1. The Jossey-Bass Higher and Adult Education Series.

    ERIC Educational Resources Information Center

    Comings, John, Ed.; Garner, Barbara, Ed.; Smith, Cristine, Ed.

    This book contains eight papers on adult learning and literacy. "The Year 1998 in Review" (Fran Tracy-Mumford) examines educational legislation and policy and developments in adult education program development, program accountability, strategic alliances and partnerships, and instructional methodologies and technologies. "Lessons…

  8. The English Language Learner Program Survey for Principals. REL 2014-027

    ERIC Educational Resources Information Center

    Grady, Matthew W.; O'Dwyer, Laura M.

    2014-01-01

    REL Northeast & Islands at Education Development Center, in partnership with the English Language Learners Alliance, has developed a new survey tool--The English Language Learner Program Survey for Principals--to help state education departments collect consistent data on the education of English language learner students. Designed for school…

  9. ENVIRONMENTAL TECHNOLOGY VERIFICATION JOINT (NSF-EPA) VERIFICATION STATEMENT AND REPORT, PERFORMANCE OF INDUCTION MIXERS FOR DISINFECTION OF WET WEATHER FLOWS, US FILTER/STRANCO PRODUCTS WATER CHAMP R F SERIES CHEMICAL INDUCTION SYSTEM

    EPA Science Inventory

    The Wet-Weather Flow Technologies Pilot of the EPA's Technology Verification (ETV) Program under a partnership with NSF International has verified the performawnce of the USFilter/Stranco Products chemical induction mixer used for disinfection of wet-weather flows. The USFilter t...

  10. Comparison between In-house developed and Diamond commercial software for patient specific independent monitor unit calculation and verification with heterogeneity corrections.

    PubMed

    Kuppusamy, Vijayalakshmi; Nagarajan, Vivekanandan; Jeevanandam, Prakash; Murugan, Lavanya

    2016-02-01

    The study was aimed to compare two different monitor unit (MU) or dose verification software in volumetric modulated arc therapy (VMAT) using modified Clarkson's integration technique for 6 MV photons beams. In-house Excel Spreadsheet based monitor unit verification calculation (MUVC) program and PTW's DIAMOND secondary check software (SCS), version-6 were used as a secondary check to verify the monitor unit (MU) or dose calculated by treatment planning system (TPS). In this study 180 patients were grouped into 61 head and neck, 39 thorax and 80 pelvic sites. Verification plans are created using PTW OCTAVIUS-4D phantom and also measured using 729 detector chamber and array with isocentre as the suitable point of measurement for each field. In the analysis of 154 clinically approved VMAT plans with isocentre at a region above -350 HU, using heterogeneity corrections, In-house Spreadsheet based MUVC program and Diamond SCS showed good agreement TPS. The overall percentage average deviations for all sites were (-0.93% + 1.59%) and (1.37% + 2.72%) for In-house Excel Spreadsheet based MUVC program and Diamond SCS respectively. For 26 clinically approved VMAT plans with isocentre at a region below -350 HU showed higher variations for both In-house Spreadsheet based MUVC program and Diamond SCS. It can be concluded that for patient specific quality assurance (QA), the In-house Excel Spreadsheet based MUVC program and Diamond SCS can be used as a simple and fast accompanying to measurement based verification for plans with isocentre at a region above -350 HU. Copyright © 2016 Associazione Italiana di Fisica Medica. Published by Elsevier Ltd. All rights reserved.

  11. Man-rated flight software for the F-8 DFBW program

    NASA Technical Reports Server (NTRS)

    Bairnsfather, R. R.

    1976-01-01

    The design, implementation, and verification of the flight control software used in the F-8 DFBW program are discussed. Since the DFBW utilizes an Apollo computer and hardware, the procedures, controls, and basic management techniques employed are based on those developed for the Apollo software system. Program assembly control, simulator configuration control, erasable-memory load generation, change procedures and anomaly reporting are discussed. The primary verification tools are described, as well as the program test plans and their implementation on the various simulators. Failure effects analysis and the creation of special failure generating software for testing purposes are described.

  12. Independent Validation and Verification of automated information systems in the Department of Energy

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

    Hunteman, W.J.; Caldwell, R.

    1994-07-01

    The Department of Energy (DOE) has established an Independent Validation and Verification (IV&V) program for all classified automated information systems (AIS) operating in compartmented or multi-level modes. The IV&V program was established in DOE Order 5639.6A and described in the manual associated with the Order. This paper describes the DOE IV&V program, the IV&V process and activities, the expected benefits from an IV&V, and the criteria and methodologies used during an IV&V. The first IV&V under this program was conducted on the Integrated Computing Network (ICN) at Los Alamos National Laboratory and several lessons learned are presented. The DOE IV&Vmore » program is based on the following definitions. An IV&V is defined as the use of expertise from outside an AIS organization to conduct validation and verification studies on a classified AIS. Validation is defined as the process of applying the specialized security test and evaluation procedures, tools, and equipment needed to establish acceptance for joint usage of an AIS by one or more departments or agencies and their contractors. Verification is the process of comparing two levels of an AIS specification for proper correspondence (e.g., security policy model with top-level specifications, top-level specifications with source code, or source code with object code).« less

  13. End-to-End Verification of Information-Flow Security for C and Assembly Programs

    DTIC Science & Technology

    2016-04-01

    seL4 security verification [18] avoids this issue in the same way. In that work, the authors frame their solution as a restriction that disallows...identical: (σ, σ′1) ∈ TM ∧ (σ, σ′2) ∈ TM =⇒ Ol(σ′1) = Ol(σ′2) The successful security verifications of both seL4 and mCertiKOS provide reasonable...evidence that this restriction on specifications is not a major hindrance for usability. Unlike the seL4 verification, however, our framework runs into a

  14. Alabama Bridges: A Comprehensive Model for a Program of Care and Supervision of Older Children and Young Adolescents in Out-of-School Time. Program Manual.

    ERIC Educational Resources Information Center

    Bowles, Laura; Piggott, Gail B.

    The Employers' Child Care Alliance, a group of major employers in Lee County, Alabama, developed the "Bridges" program, an innovative program for children ages 10-14 during out-of-school time. The program focuses on the growth of the whole child, specifically in areas not traditionally focused on in school, such as creative development, cultural…

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: EXEL INDUSTRIAL AIRMIX SPRAY GUN

    EPA Science Inventory

    The Environmental Technology Verification Program has partnered with Concurrent Technologies Corp. to verify innovative coatings and coating equipment technologies for reducing air emissions. This report describes the performance of EXEL Industrial's Kremlin Airmix high transfer ...

  16. ENVIRONMENTAL TECHNOLOGY VERIFICATION FOR AIR POLLUTION CONTROL TECHNOLOGIES: FINAL REPORT

    EPA Science Inventory

    The technical objective of the Environmental Technology Verification (ETV) Program's Air Pollution Control Technology (APCT) Center is to verify environmental technology performance by obtaining objective quality-assured data, thus providing potential purchasers and permitters wi...

  17. ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) OF PAINT OVERSPRAY ARRESTORS

    EPA Science Inventory

    The paper discusses the environmental technology verification (ETV) of paint overspray arrestors undertaken as part of a program to accelerate the development and commercialization of improved environmental technologies through third-party verififcation and reporting of performan...

  18. ETV PILOT FOR SOURCE WATER PROTECTION TECHNOLOGY VERIFICATION

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, a five-year pilot, provides technology purchasers, permitters and developers with objective, quality assured performance data on new and/or improved technologies. EPA has partnered with the National Sanitation Foundation (...

  19. VERIFICATION OF HIGH-RATE DISINFECTION TECHNOLOGIES FOR WET-WEATHER FLOWS

    EPA Science Inventory

    This paper describes the critical components of the USEPA's Environmental Technology Verification Program for two specific technologies categories: ultraviolet disinfection technologies for treating combined sewer overflow (CSO) and sanitary sewer overflow (SSO), and; induction m...

  20. In-Field Performance Testing of Stormwater Treatment Devices

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program was created by EPA’s Office of Research and Development to facilitate the deployment of innovative or improved environmental technologies through performance verification and dissemination of information. The program’s goal ...

  1. Social Science of Physical Education and Sport: Reflections and Future Directions. 1986 Alliance Scholar Lecture.

    ERIC Educational Resources Information Center

    Sage, George H.

    The form and content of preservice programs for physical education teachers are in the hands of those individuals who develop curricula. Courses in sports studies--such as the sociology of sports and sport psychology--need to be an integral part of such programs. Preservice preparation programs can be reorganized to contain this important element.…

  2. Burden sharing or burden shifting Armaments cooperation within NATO

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

    Smith, R.W.

    1993-01-01

    This study has explored the nature of decision-making under conditions of conflicting political and economic imperatives. The participants want the cooperative program to succeed. They also want to bear the least burden necessary for success by shifting it to others. The concepts of burden sharing and burden shifting have been explored in the context of armaments cooperation through analysis of six armaments cooperation cases. The cases ranged from the NATO Sea Sparrow Missile System to the 155MM Autonomous Precision Guided Missile. Ideal models of burden sharing and burden shifting were developed to aid the analysis. The resultant theoretical framework ofmore » armaments cooperation within the NATO alliance has been used to explain success or lack of success in cooperative programs. Each case study addressed the categories of: Political Environment, Program Inception, Management Structure, and Results. Comparative analysis between programs was facilitated by using similar criteria for success or failure throughout. Each of the hypotheses making up the ideal models for burden sharing and burden shifting were examined considering the individual cases. An assessment of validity was made. Comparative analysis of selected case pairs facilitated isolation of factors that may have contributed to different results. These assessments were combined and formed the basis for the final conclusions on each hypothesis and their respective importance. This study adds to the theoretical understanding of alliance politics by examining in depth these concepts. It also supports future efforts to understand alliance politics by providing a framework for examining and testing deductively derived propositions against experience.« less

  3. VERIFICATION OF HIGH-RATE DISINFECTION TECHNOLOGIES FOR WET-WEATHER FLOW APPLICATIONS

    EPA Science Inventory

    This paper describes the critical components of the USEPA's Environmental Technology Verification Program for two specific technologies categories: ultraviolet disinfection technologies for treating combined sewer overflow (CSO) and sanitary sewer overflow (SSO), and; and mechani...

  4. Environmental Technology Verification (ETV) Program: Site Characterization and Monitoring Technologies Center

    EPA Pesticide Factsheets

    The ETV Site Characterization and Monitoring Technology Pilot is composed of EPA, DoD, DOE, other Federal agencies, state regulators, technology evaluation and verification entities, and potential end users of these technologies to facilitate independent..

  5. ETV - ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) - RISK MANAGEMENT

    EPA Science Inventory

    In October 1995, the Environmental Technology Verification (ETV) Program was established by EPA. The goal of ETV is to provide credible performance data for commercial-ready environmental technologies to speed their implementation for the benefit of vendors, purchasers, permitter...

  6. Simulation validation and management

    NASA Astrophysics Data System (ADS)

    Illgen, John D.

    1995-06-01

    Illgen Simulation Technologies, Inc., has been working interactive verification and validation programs for the past six years. As a result, they have evolved a methodology that has been adopted and successfully implemented by a number of different verification and validation programs. This methodology employs a unique case of computer-assisted software engineering (CASE) tools to reverse engineer source code and produce analytical outputs (flow charts and tables) that aid the engineer/analyst in the verification and validation process. We have found that the use of CASE tools saves time,which equate to improvements in both schedule and cost. This paper will describe the ISTI-developed methodology and how CASe tools are used in its support. Case studies will be discussed.

  7. International Comparison of Product Certification and Verification Methods for Appliances

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

    Zhou, Nan; Romankiewicz, John; Fridley, David

    2012-06-01

    Enforcement of appliance standards and consumer trust in appliance labeling are important foundations of growing a more energy efficient economy. Product certification and verification increase compliance rates which in turn increase both energy savings and consumer trust. This paper will serve two purposes: 1) to review international practices for product certification and verification as they relate to the enforcement of standards and labeling programs in the U.S., E.U., Australia, Japan, Canada, and China; and 2) to make recommendations for China to implement improved certification processes related to their mandatory standards and labeling program such as to increase compliance rates andmore » energy savings potential.« less

  8. Overview of the Oral HIV/AIDS Research Alliance Program

    PubMed Central

    Shiboski, C.H.; Webster-Cyriaque, J.Y.; Ghannoum, M.; Greenspan, J.S.; Dittmer, D.

    2011-01-01

    The Oral HIV/AIDS Research Alliance is part of the AIDS Clinical Trials Group, the largest HIV clinical trial organization in the world, and it is funded by the National Institute of Dental and Craniofacial Research, in collaboration with the National Institute of Allergy and Infectious Diseases. The alliance’s main objective is to investigate the oral complications associated with HIV/AIDS as the epidemic is evolving—in particular, the effects of potent antiretrovirals on the development of oral mucosal lesions and associated fungal and viral pathogens. Furthermore, oral fluids are being explored for their potential monitoring and diagnostic role with respect to HIV disease and coinfections. This article presents an overview of the alliance, its scientific agenda, and an outline of the novel interventional and noninterventional clinical studies ongoing and developing within the AIDS Clinical Trials Group infrastructure in the United States and internationally. PMID:21441477

  9. Family Caregiver Alliance

    MedlinePlus

    ... content Search form Search About FCA Mission and Values Programs and Services Overview Board and Staff Grants and Awards FCA Donors FCA History Jobs at FCA Caregiver Education Health Conditions Caregiving Issues and Strategies Fact and ...

  10. Migrant Education: The Politics of Building an Education System.

    ERIC Educational Resources Information Center

    National Education Association, Washington, DC. Div. of Instruction and Professional Development.

    Focusing on the roles of organized interest groups and cooperative alliances in constructing a migrant/mobile education system, this paper analyzes the major policy struggles encountered in building the migrant education program during its first 14 years and points out the program's direction for future growth. After a discussion of the basic…

  11. Practice Notes: Strategies in Health Education

    ERIC Educational Resources Information Center

    Health Education & Behavior, 2009

    2009-01-01

    This article features two exemplary programs in health education practice: (1) Project L.E.A.P (Learning Effective and Applicable Parenting); and (2) A program that uses a pedestrian count tool to measure environmental and health promotion efforts. Project L.E.A.P. was developed by the Atlanta Alliance on Developmental Disabilities to promote…

  12. "Allies," Alliance for Learning: Investing in the Education of Students

    ERIC Educational Resources Information Center

    Hoaglund, Amy E.; Birkenfeld, Karen J.; Stone, Amanda; Rogers, Betsy

    2016-01-01

    Samford University's Initial Teacher Education program subscribes to the philosophy of developing teacher leaders to become a part of a K-12 faculty rather than a peripheral support system. The goal of the program is to acknowledge and develop desirable teacher leader abilities. Expertise, professionalism, enthusiasm, passion, and commitment are…

  13. Decade of wildlife tracking in the Sky Islands

    Treesearch

    Jessica A. Lamberton-Moreno; Sergio Avila-Villegas

    2013-01-01

    In 2001 Sky Island Alliance developed a citizen science program that uses track and sign identification and count surveys to monitor potential wildlife corridors throughout southeastern Arizona and southwestern New Mexico. The goal of the Wildlife Linkages Program is to protect and advocate for an interconnected landscape where wildlife, based on their ecological needs...

  14. Environmental Technology Verification Report: Taconic Energy, Inc. TEA Fuel Additive

    EPA Science Inventory

    The Greenhouse Gas Technology Center (GHG Center) is one of six verification organizations operating under EPA’s ETV program. One sector of significant interest to GHG Center stakeholders is transportation - particularly technologies that result in fuel economy improvements. Taco...

  15. 7 CFR 3431.16 - Certifications and verifications.

    Code of Federal Regulations, 2014 CFR

    2014-01-01

    ... 7 Agriculture 15 2014-01-01 2014-01-01 false Certifications and verifications. 3431.16 Section 3431.16 Agriculture Regulations of the Department of Agriculture (Continued) NATIONAL INSTITUTE OF FOOD AND AGRICULTURE VETERINARY MEDICINE LOAN REPAYMENT PROGRAM Administration of the Veterinary Medicine...

  16. 7 CFR 3431.16 - Certifications and verifications.

    Code of Federal Regulations, 2012 CFR

    2012-01-01

    ... 7 Agriculture 15 2012-01-01 2012-01-01 false Certifications and verifications. 3431.16 Section 3431.16 Agriculture Regulations of the Department of Agriculture (Continued) NATIONAL INSTITUTE OF FOOD AND AGRICULTURE VETERINARY MEDICINE LOAN REPAYMENT PROGRAM Administration of the Veterinary Medicine...

  17. 7 CFR 3431.16 - Certifications and verifications.

    Code of Federal Regulations, 2013 CFR

    2013-01-01

    ... 7 Agriculture 15 2013-01-01 2013-01-01 false Certifications and verifications. 3431.16 Section 3431.16 Agriculture Regulations of the Department of Agriculture (Continued) NATIONAL INSTITUTE OF FOOD AND AGRICULTURE VETERINARY MEDICINE LOAN REPAYMENT PROGRAM Administration of the Veterinary Medicine...

  18. PROMOTING AIR QUALITY THROUGH ENVIRONMENTAL TECHNOLOGY VERIFICATION

    EPA Science Inventory

    The paper discusses the promotion of improved air quality through environmental technology verifications (ETVs). In 1995, the U.S. EPA's Office of Research and Development began the ETV Program in response to President Clinton's "Bridge to a Sustainable Future" and Vice Presiden...

  19. ENVIRONMENTAL TECHNOLOGY VERIFICATION OF BAGHOUSE FILTRATION PRODUCTS

    EPA Science Inventory

    The Environmental Technology Verification Program (ETV) was started by EPA in 1995 to generate independent credible data on the performance of innovative technologies that have potential to improve protection of public health and the environment. ETV does not approve or certify p...

  20. JPSS-1 Prelaunch News Conference

    NASA Image and Video Library

    2017-11-12

    JPSS-1 Prelaunch News Conference at Vandenberg Air Force Base hosted by Tori Mclendon, with Steve Volz, NOAA Satellite and Information Service, Greg Mandt, Director, NOAA Joint Polar Satellite Systems Program, Sandra Smalley, NASA Joint Agency Satellite Division, Omar Baez, Launch Manager, NASA Launch Services Program, Scott Messer, Program Manager for NASA Missions, United Launch Alliance, and Ross Malugani, Launch Weather Officer, VAFB 30th Space Wing.

  1. Alliance for Sequestration Training, Outreach, Research & Education

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

    Olson, Hilary

    The Sequestration Training, Outreach, Research and Education (STORE) Alliance at The University of Texas at Austin completed its activity under Department of Energy Funding (DE-FE0002254) on September 1, 2013. The program began as a partnership between the Institute for Geophysics, the Bureau of Economic Geology and the Petroleum and Geosystems Engineering Department at UT. The initial vision of the program was to promote better understanding of CO 2 utilization and storage science and engineering technology through programs and opportunities centered on training, outreach, research and technology transfer, and education. With over 8,000 hrs of formal training and education (and almostmore » 4,500 of those hours awarded as continuing education credits) to almost 1,100 people, STORE programs and activities have provided benefits to the Carbon Storage Program of the Department of Energy by helping to build a skilled workforce for the future CCS and larger energy industry, and fostering scientific public literacy needed to continue the U.S. leadership position in climate change mitigation and energy technologies and application. Now in sustaining mode, the program is housed at the Center for Petroleum and Geosystems Engineering, and benefits from partnerships with the Gulf Coast Carbon Center, TOPCORP and other programs at the university receiving industry funding.« less

  2. Association between therapeutic alliance, care satisfaction, and pharmacological adherence in bipolar disorder.

    PubMed

    Sylvia, Louisa G; Hay, Aleena; Ostacher, Michael J; Miklowitz, David J; Nierenberg, Andrew A; Thase, Michael E; Sachs, Gary S; Deckersbach, Thilo; Perlis, Roy H

    2013-06-01

    We sought to understand the association of specific aspects of care satisfaction, such as patients' perceived relationship with their psychiatrist and access to their psychiatrist and staff, and therapeutic alliance with participants' likelihood to adhere to their medication regimens among patients with bipolar disorder. We examined data from the multicenter Systematic Treatment Enhancement Program for Bipolar Disorder, an effectiveness study investigating the course and treatment of bipolar disorder. We expected that participants (n = 3037) with positive perceptions of their relationship with their psychiatrist and quality of psychopharmacologic care, as assessed by the Helping Alliance Questionnaire and Care Satisfaction Questionnaire, would be associated with better medication adherence. We utilized logistic regression models controlling for already established factors associated with poor adherence. Patients' perceptions of collaboration, empathy, and accessibility were significantly associated with adherence to treatment in individuals with bipolar disorder completing at least 1 assessment. Patients' perceptions of their psychiatrists' experience, as well as of their degree of discussing medication risks and benefits, were not associated with medication adherence. Patients' perceived therapeutic alliance and treatment environment impact their adherence to pharmacotherapy recommendations. This study may enable psychopharmacologists' practices to be structured to maximize features associated with greater medication adherence.

  3. DEVELOPING STATE POLICIES SUPPORTIVE OF BIOENERGY DEVELOPMENT

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

    Kathryn Baskin

    2004-10-31

    Working within the context of the Southern States Biobased Alliance (SSBA) and with officials in each state, the Southern States Energy Board (SSEB) is identifying bioenergy-related policies and programs within each state to determine their impact on the development, deployment or use of bioenergy. In addition, SSEB will determine which policies have impacted industry's efforts to develop, deploy or use biobased technologies or products. As a result, SSEB will work with the Southern States Biobased Alliance to determine how policy changes might address any negative impacts or enhance positive impacts. In addition to analysis of domestic policies and programs, thismore » project will include the development of a U.S.-Brazil Biodiesel Pilot Project. The purpose of this effort is to promote and facilitate the commercialization of biodiesel and bioenergy production and demand in Brazil.« less

  4. Research Experience for Undergrads with the Boulder Solar Alliance

    NASA Astrophysics Data System (ADS)

    Snow, M. A.; Raftery, C. L.

    2017-12-01

    The Research Experience for Undergraduates program operated by the Boulder Solar Alliance has just finished its eleventh year. Students from around the US come to Boulder, Colorado to work with a mentor in the field of solar and space physics. Mentors are drawn from all of the research institutes in Boulder. Students spend the first week getting acquianted with the interdisciplinary nature of the field and learning how to work collaboratively on a research project. We include several professional development activities at weekly brown bag lunches, and finally the students present their results in both oral and poster form.

  5. Integrated testing and verification system for research flight software

    NASA Technical Reports Server (NTRS)

    Taylor, R. N.

    1979-01-01

    The MUST (Multipurpose User-oriented Software Technology) program is being developed to cut the cost of producing research flight software through a system of software support tools. An integrated verification and testing capability was designed as part of MUST. Documentation, verification and test options are provided with special attention on real-time, multiprocessing issues. The needs of the entire software production cycle were considered, with effective management and reduced lifecycle costs as foremost goals.

  6. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: BAGHOUSE FILTRATION PRODUCTS--DONALDSON COMPANY, INC. 6277 FILTRATION MEDIA

    EPA Science Inventory

    The U.S. Environmental Protection Agency has created the Environmental Technology Verification Program to facilitate the deployment of innovative or improved environmental technologies through high quality, peer reviewed data on technology performance to those involved in the des...

  7. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, ANEST IWATA CORPORATION W400-LV SPRAY GUN

    EPA Science Inventory

    Under EPA’s Environmental Technology Verification program, which provides objective and scientific third party analysis of new technology that can benefit the environment, the pollution prevention capabilities of a high transfer efficiency liquid spray gun was tested. This ...

  8. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, SHARPE MANUFACTURING TITANIUM T1-CG SPRAY GUN

    EPA Science Inventory

    Under EPA’s Environmental Technology Verification program, which provides objective and scientific third party analysis of new technology that can benefit the environment, the pollution prevention capabilities of a high transfer efficiency liquid spray gun was tested. This ...

  9. 10 CFR 300.11 - Independent verification.

    Code of Federal Regulations, 2011 CFR

    2011-01-01

    ... verifiers, and has been empowered to make decisions relevant to the provision of a verification statement... methods; and (v) Risk assessment and methodologies and materiality analysis procedures outlined by other... Accreditation Board program for Environmental Management System auditors (ANSI-RAB-EMS); Board of Environmental...

  10. 10 CFR 300.11 - Independent verification.

    Code of Federal Regulations, 2010 CFR

    2010-01-01

    ... verifiers, and has been empowered to make decisions relevant to the provision of a verification statement... methods; and (v) Risk assessment and methodologies and materiality analysis procedures outlined by other... Accreditation Board program for Environmental Management System auditors (ANSI-RAB-EMS); Board of Environmental...

  11. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: ENVIROFUELS DIESEL FUEL CATALYZER FUEL ADDITIVE

    EPA Science Inventory

    EPA's Environmental Technology Verification Program has tested EnviroFuels diesel fuel additive, called the Diesel Fuel Catalyzer. EnviroFuels has stated that heavy-duty on and off road diesel engines are the intended market for the catalyzer. Preliminary tests conducted indicate...

  12. VERIFICATION OF THE PERFORMANCE OF DECONTAMINATION TECHNOLOGIES IN EPA'S SAFE BUILDINGS PROGRAM

    EPA Science Inventory

    The paper describes initial progress in identifying and testing technologies applicable for decontaminating workplaces and other buildings that may be subject to chemical or biological attack. The EPA is using the process established in its Environmental Technology Verification (...

  13. U.S. ENVIRONMENTAL PROTECTION AGENCY (EPA), ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PROGAM: RESIDENTIAL NUTRIENT REDUCTION

    EPA Science Inventory

    The U.S. Environmental Protection Agency Environmental Technology Verification (ETV) program evaluates the performance of innovative air, water, pollution prevention and monitoring technologies that have the potential to improve human health and the environment. This technology ...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - PORTABLE GAS CHROMATOGRAPH - PERKIN-ELMER PHOTOVAC, INC. VOYAGOR

    EPA Science Inventory

    The U.S Environmental Protection Agency, through the Environmental Technology Verification Program, is working to accelerate the acceptance and use of innovative technologies that improve the way the United States manages its environmental problems. Reports document the performa...

  15. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - PORTABLE GAS CHROMATOGRAPH - SENTEX SYSTEMS, INC. SCENTOGRAPH PLUS II

    EPA Science Inventory

    The U.S. Environmental Protection Agency, through the Environmental Technology Verification Program, is working to accelerate the acceptance and use of innovative technologies that improve the way the United States manages its environmental problems. This report documents demons...

  16. AN ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) PERFORMANCE TESTING OF FOUR IMMUNOASSAY TEST KITS

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, beginning as an initiative of the U.S. Environmental Protection Agency (EPA) in 1995, verifies the performance of commercially available, innovative technologies that can be used to measure environmental quality. The ETV p...

  17. PERFORMANCE VERIFICATION OF ADVANCED MONITORING SYSTEMS FOR AIR, WATER, AND SOIL

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, beginning as an initiative of the U.S. Environmental Protection Agency (EPA) in 1995, verifies the performance of commercially available, innovative technologies that can be used to assess environmental quality. The ETV p...

  18. AN ENVIRONMENTAL TECHNOLOGY VERIFICATION (ETV) TESTING OF FOUR DIOXIN EMISSION MONITORING SYSTEMS

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, beginning as an initiative of the U.S. Environmental Protection Agency (EPA) in 1995, verifies the performance of commercially available, innovative technologies that can be used to measure environmental quality. The ETV p...

  19. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: PAINT OVERSPRAY ARRESTOR, FARR COMPANY RIGA-FLO 200

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  20. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: PAINT OVERSPRAY ARRESTOR, ATI OSM 200 SYSTEM

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  1. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: PAINT OVERSPRAY ARRESTOR, COLUMBUS INDUSTRIES SL-46B

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  2. The Ohio Cross-Cultural Tobacco Control Alliance: Understanding and Eliminating Tobacco-Related Disparities Through the Integration of Science, Practice, and Policy

    PubMed Central

    Adhikari, Surendra B.; Clopton, Tracy M.; Oches, Barry; Jensen, Conrado

    2010-01-01

    Objectives. We examined the development of a process designed to eliminate tobacco-related disparities in the state of Ohio and described how a cross-cultural work group used a multicomponent community planning process to develop capacity to address such disparities. Methods. The community development model was used as a guide in the planning process. We employed a case study, focus groups, and telephone interviews to assess the process and collect data on tobacco use and awareness. We also employed the appreciative inquiry framework to create the organizational design for the Ohio Cross-Cultural Tobacco Control Alliance (CCTCA), which was formed from the cross-cultural work group and charged with addressing tobacco-related disparities in the state. Results. Data on tobacco use and awareness were collected from 13 underserved populations. At the end of the planning process, the CCTCA was initiated along with structural capacity to serve as a new program incubator highlighting tobacco use and awareness levels in these populations. Conclusions. The CCTCA appeared to be an effective way to begin mobilizing agencies serving underserved populations by providing an operational structure to address tobacco-related disparities. The alliance also successfully implemented culturally competent community-based programs and policies to help eliminate disparities. PMID:20147668

  3. Challenges of International Programs in Commercial Wireless Power Trasmission

    NASA Technical Reports Server (NTRS)

    Dickinson, Richard M.

    1993-01-01

    The proposition is offered that only by forming international alliances will econmically viable commercial wireless poer transmission (WPT) result. Radio emissions from commercial WPT will likely extend beyond the borders of a single nation.

  4. REPORT ON 2017 MnROAD CONSTRUCTION ACTIVITIES

    DOT National Transportation Integrated Search

    2018-05-01

    The National Road Research Alliance (NRRA), a multi-state pooled-fund program, exists to provide strategic implementation of pavement engineering solutions through cooperative research. NRRA is led by an Executive Committee of state DOT partners, and...

  5. GOES-R Prelaunch News Conference

    NASA Image and Video Library

    2016-11-17

    Scott Messer, program manager, NASA Missions, United Launch Alliance, speak to members of the news media during a Geostationary Operational Environmental Satellite (GOES-R) prelaunch news conference in the Kennedy Space Center's Press Site auditorium in Florida.

  6. Monitoring and verification R&D

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

    Pilat, Joseph F; Budlong - Sylvester, Kory W; Fearey, Bryan L

    2011-01-01

    The 2010 Nuclear Posture Review (NPR) report outlined the Administration's approach to promoting the agenda put forward by President Obama in Prague on April 5, 2009. The NPR calls for a national monitoring and verification R&D program to meet future challenges arising from the Administration's nonproliferation, arms control and disarmament agenda. Verification of a follow-on to New START could have to address warheads and possibly components along with delivery capabilities. Deeper cuts and disarmament would need to address all of these elements along with nuclear weapon testing, nuclear material and weapon production facilities, virtual capabilities from old weapon and existingmore » energy programs and undeclared capabilities. We only know how to address some elements of these challenges today, and the requirements may be more rigorous in the context of deeper cuts as well as disarmament. Moreover, there is a critical need for multiple options to sensitive problems and to address other challenges. There will be other verification challenges in a world of deeper cuts and disarmament, some of which we are already facing. At some point, if the reductions process is progressing, uncertainties about past nuclear materials and weapons production will have to be addressed. IAEA safeguards will need to continue to evolve to meet current and future challenges, and to take advantage of new technologies and approaches. Transparency/verification of nuclear and dual-use exports will also have to be addressed, and there will be a need to make nonproliferation measures more watertight and transparent. In this context, and recognizing we will face all of these challenges even if disarmament is not achieved, this paper will explore possible agreements and arrangements; verification challenges; gaps in monitoring and verification technologies and approaches; and the R&D required to address these gaps and other monitoring and verification challenges.« less

  7. Precision segmented reflector, figure verification sensor

    NASA Technical Reports Server (NTRS)

    Manhart, Paul K.; Macenka, Steve A.

    1989-01-01

    The Precision Segmented Reflector (PSR) program currently under way at the Jet Propulsion Laboratory is a test bed and technology demonstration program designed to develop and study the structural and material technologies required for lightweight, precision segmented reflectors. A Figure Verification Sensor (FVS) which is designed to monitor the active control system of the segments is described, a best fit surface is defined, and an image or wavefront quality of the assembled array of reflecting panels is assessed

  8. Field Verification Program (Aquatic Disposal): Comparison of Field and Laboratory Bioaccumulation of Organic and Inorganic Contaminants from Black Rock Harbor Dredged Material

    DTIC Science & Technology

    1988-05-01

    include poly- chlorinated biphenyls (PCBs) and related chlorinated pesticides of similar polarity in addition to the petroleum hydrocarbons . The...Ui It tILL (JV: FIELD VERIFICATION PROGRAM (AQUATIC DISPOSAL).’Wh TECHNICAL REPORT D-87-6 COMPARISON OF FIELD AND LABORATORY BIOACCUMULATION OF...Laboratory Bioaccumulation of Organic and Inorganic Contaminants from Black Rock Harbor Dredged Material 12 PERSONAL AUTHOR(S) Lake, James L.; Galloway

  9. The Geoscience Alliance--A National Network for Broadening Participation of Native Americans in the Geosciences

    NASA Astrophysics Data System (ADS)

    Dalbotten, D. M.; Berthelote, A. R.

    2014-12-01

    The Geoscience Alliance is a national alliance of individuals committed to broadening participation of Native Americans in the geosciences. Native Americans in this case include American Indians, Alaska Natives and people of Native Hawai'ian ancestry. Although they make up a large percentage of the resource managers in the country, they are underrepresented in degrees in the geosciences. The Geoscience Alliance (GA) members are faculty and staff from tribal colleges, universities, and research centers; native elders and community members; industry, agency, and corporate representatives; students (K12, undergraduate, and graduate); formal and informal educators; and other interested individuals. The goals of the Geoscience Alliance are to 1) create new collaborations in support of geoscience education for Native American students, 2) establish a new research agenda aimed at closing gaps in our knowledge on barriers and best practices related to Native American participation in the geosciences, 3) increase participation by Native Americans in setting the national research agenda on issues in the geosciences, and particularly those that impact Native lands, 4) provide a forum to communicate educational opportunities for Native American students in the geosciences, and 5) to understand and respect indigenous traditional knowledge. In this presentation, we look at the disparity between numbers of Native Americans involved in careers related to the geosciences and those who are receiving bachelors or graduate degrees in the geosciences. We address barriers towards degree completion in the geosciences, and look at innovative programs that are addressing those barriers.

  10. Feedback in clinical education: untying the Gordian knot.

    PubMed

    Weinstein, Debra F

    2015-05-01

    Feedback is essential to clinical education, especially in the era of competencies, milestones, and entrustable professional activities. It is, however, an area where medical educators often fall short. Although educational leaders and faculty supervisors provide feedback in a variety of clinical settings, surveys show important gaps in medical student and resident satisfaction with the feedback received, suggesting lost opportunities to identify performance problems as well as to help each learner reach his or her greatest potential.In this issue of Academic Medicine, Telio and colleagues extend the empirically validated concept of a "therapeutic alliance" to propose the "educational alliance" as a framework for enhancing feedback in medical education. They highlight the importance of source credibility, which depends on the teacher-learner relationship and alignment of values, the teacher's understanding of the learner's role and goals, the teacher's direct observation of the learner, and the learner's perception of the teacher's good intentions. The author of this Commentary suggests that the educational alliance framework should prompt medical educators to reconsider feedback and explore opportunities for optimizing it. Most medical schools and graduate medical education programs are not designed in a way that supports the education alliance model, but the Commentary author offers suggestions for cultivating educational alliances, including rethinking supervisor selection criteria. Such interventions should be combined with ongoing faculty development and efforts to improve coaching and mentoring for students, residents, and fellows. Untying the Gordian knot of effective feedback will require innovative approaches, exchange of successful strategies, and continued research.

  11. ENVIRONMENTAL TECHNOLOGY VERIFICATION OF URBAN RUNOFF MODELS

    EPA Science Inventory

    This paper will present the verification process and available results of the XP-SWMM modeling system produced by XP-Software conducted unde the USEPA's ETV Program. Wet weather flow (WWF) models are used throughout the US for the evaluation of storm and combined sewer systems. M...

  12. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, PAINT OVERSPRAY ARRESTOR, KOCH FILTER CORPORATION, DUO-PAK 650

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  13. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: ECR TECHNOLOGIES, INC., EARTHLINKED GROUND-SOURCE HEAT PUMP WATER HEATING SYSTEM

    EPA Science Inventory

    EPA has created the Environmental Technology Verification program to provide high quality, peer reviewed data on technology performance. This data is expected to accelerate the acceptance and use of improved environmental protection technologies. The Greenhouse Gas Technology C...

  14. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - PHOTOACOUSTIC SPECTROPHOTOMATER INNOVA AIR TECH INSTRUMENTS MODEL 1312 MULTI-GAS MONITOR

    EPA Science Inventory

    The U.S. Environmental Protection Agency, Through the Environmental Technology Verification Program, is working to accelerate the acceptance and use of innovative technologies that improve the way the United States manages its environmental problems. This report documents demons...

  15. Long-Term Pavement Performance Materials Characterization Program: Verification of Dynamic Test Systems with an Emphasis on Resilient Modulus

    DOT National Transportation Integrated Search

    2005-09-01

    This document describes a procedure for verifying a dynamic testing system (closed-loop servohydraulic). The procedure is divided into three general phases: (1) electronic system performance verification, (2) calibration check and overall system perf...

  16. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: NEW CONDENSATOR, INC.--THE CONDENSATOR DIESEL ENGINE RETROFIT CRANKCASE VENTILATION SYSTEM

    EPA Science Inventory

    EPA's Environmental Technology Verification Program has tested New Condensator Inc.'s Condensator Diesel Engine Retrofit Crankcase Ventilation System. Brake specific fuel consumption (BSFC), the ratio of engine fuel consumption to the engine power output, was evaluated for engine...

  17. 45 CFR 205.51 - Income and eligibility verification requirements.

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... 45 Public Welfare 2 2012-10-01 2012-10-01 false Income and eligibility verification requirements. 205.51 Section 205.51 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN...

  18. 45 CFR 205.51 - Income and eligibility verification requirements.

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... 45 Public Welfare 2 2013-10-01 2012-10-01 true Income and eligibility verification requirements. 205.51 Section 205.51 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN...

  19. 45 CFR 205.51 - Income and eligibility verification requirements.

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... 45 Public Welfare 2 2014-10-01 2012-10-01 true Income and eligibility verification requirements. 205.51 Section 205.51 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN...

  20. 45 CFR 205.51 - Income and eligibility verification requirements.

    Code of Federal Regulations, 2011 CFR

    2011-10-01

    ... 45 Public Welfare 2 2011-10-01 2011-10-01 false Income and eligibility verification requirements. 205.51 Section 205.51 Public Welfare Regulations Relating to Public Welfare OFFICE OF FAMILY ASSISTANCE (ASSISTANCE PROGRAMS), ADMINISTRATION FOR CHILDREN AND FAMILIES, DEPARTMENT OF HEALTH AND HUMAN...

  1. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - TETRATEC PTFE TECHNOLOGIES TETRATEX 8005

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  2. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - INSPEC FIBRES 5512BRF FILTER SAMPLE

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  3. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT - BAGHOUSE FILTRATION PRODUCTS - MENARDI-CRISWELL 50-504 FILTER SAMPLE

    EPA Science Inventory

    Baghouse filtration products (BFPs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the mean outlet particle concentration for the filter fabric as a function of th...

  4. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: CONSTELLATION TECHNOLOGY CORPORATION - CT-1128 PORTABLE GAS CHROMATOGRAPH-MASS SPECTROMETER

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program, beginning as an initiative of the U.S. Environmental Protection Agency (EPA) in 1995, verifies the performance of commercially available, innovative technologies that can be used to measure environmental quality. The ETV p...

  5. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, GROUNDWATER SAMPLING TECHNOLOGIES, GEOPROBE INC., PNEUMATIC BLADDER PUMP GW 1400 SERIES

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) design efficient processes for conducting has created the Environmental Technology perfofl1lance tests of innovative technologies. Verification Program (E TV) to facilitate the deployment of innovative or improved environmental techn...

  6. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT, GROUNDWATER SAMPLING TECHNOLOGIES, GEOPROBE INC, MECHANICAL BLADDER PUMP MODEL MP470

    EPA Science Inventory

    The U.S. Environmental Protection Agency (EPA) design efficient processes for conducting has created the Environmental Technology perfofl1lance tests of innovative technologies. Verification Program (E TV) to facilitate the deployment of innovative or improved environmental techn...

  7. ENVIRONMENTAL TECHNOLOGY VERIFICATION REPORT: PAINT OVERSPRAY ARRESTOR, AAF INTERNATIONAL DRI-PAK 40-45%

    EPA Science Inventory

    Paint overspray arrestors (POAs) were evaluated by the Air Pollution Control Technology (APCT) pilot of the Environmental Technology Verification (ETV) Program. The performance factor verified was the particle filtration efficiency as a function of size for particles smaller than...

  8. A Model Retention Program for Science and Engineering Students: Contributions of the Institutional Research Office.

    ERIC Educational Resources Information Center

    Andrade, Sally J.; Stigall, Sam; Kappus, Sheryl S.; Ruddock, Maryann; Oburn, Martha

    This paper asserts that the continuing decline in admissions to science and engineering graduate programs may lead to a shortage of skilled professionals that undermines the U.S. economy and to a shortage in higher education faculty. The Louis Stokes Alliance for Minority Participation (LSAMP) provides academic activities and retention services to…

  9. Comprehensive School Physical Activity Programs: Helping All Students Achieve 60 Minutes of Physical Activity Each Day

    ERIC Educational Resources Information Center

    Elliot, Eloise; Erwin, Heather; Hall, Tina; Heidorn, Brent

    2013-01-01

    The American Alliance for Health, Physical Education, Recreation and Dance recommends that all schools implement a comprehensive school physical activity program. Physical activity is important to the overall health and well-being of everyone, including all school age children. The benefits of physical activity are well documented and include the…

  10. Real Jobs for Real People. An Employer's Guide to Youth Apprenticeship.

    ERIC Educational Resources Information Center

    Byrne, Sandra; And Others

    Based on the experience of the National Alliance of Business' youth apprenticeship program (the Quality Connection Consortium), this guide offers practical advice on how employers can begin a youth apprenticeship program that will serve their labor needs. It addresses the internal support that a business must generate and gives tips on choosing an…

  11. A Case Study in Market Transformation for Residential Energy Efficiency Programs

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

    Building Technologies Office

    This case study describes how the Midwest Energy Efficiency Alliance (MEEA) partnered with gas and electric utilities in Iowa to establish the Iowa residential heating, ventilation, and air conditioning System Adjustment and Verified Efficiency (HVAC SAVE) program, taking it to scale improving the performance and energy efficiency of HVAC systems, growing businesses, and gaining consumer trust.

  12. Visions and Revisions. Annual Alliance/ACE Conference (16th, St. Pete Beach, Florida, October 3-5, 1996).

    ERIC Educational Resources Information Center

    Alliance, an Association for Alternative Degree Programs.

    These proceedings consist of 20 presentations made during 5 sessions at a conference dealing with alternative degree programs for adults. The following papers are included: "Narrative Reasoning as Assessment" (Richard M. Ashbrook); "Political and Administrative Issues in Developing a Distance Learning Based Program" (Margaret Foss, Conni R.…

  13. Minding the Gap: Realizing Our Ideal Community Writing Center

    ERIC Educational Resources Information Center

    Doggart, Julia; Tedrowe, Melissa; Viera, Kate

    2006-01-01

    What does it mean for a community writing assistance program to bridge the gap between the university and the community? What makes for a successful alliance between these two worlds usually considered distinct? Our paper addresses these questions by reflecting on the factors that have contributed to the growing success of our CWA program at the…

  14. JPL control/structure interaction test bed real-time control computer architecture

    NASA Technical Reports Server (NTRS)

    Briggs, Hugh C.

    1989-01-01

    The Control/Structure Interaction Program is a technology development program for spacecraft that exhibit interactions between the control system and structural dynamics. The program objectives include development and verification of new design concepts - such as active structure - and new tools - such as combined structure and control optimization algorithm - and their verification in ground and possibly flight test. A focus mission spacecraft was designed based upon a space interferometer and is the basis for design of the ground test article. The ground test bed objectives include verification of the spacecraft design concepts, the active structure elements and certain design tools such as the new combined structures and controls optimization tool. In anticipation of CSI technology flight experiments, the test bed control electronics must emulate the computation capacity and control architectures of space qualifiable systems as well as the command and control networks that will be used to connect investigators with the flight experiment hardware. The Test Bed facility electronics were functionally partitioned into three units: a laboratory data acquisition system for structural parameter identification and performance verification; an experiment supervisory computer to oversee the experiment, monitor the environmental parameters and perform data logging; and a multilevel real-time control computing system. The design of the Test Bed electronics is presented along with hardware and software component descriptions. The system should break new ground in experimental control electronics and is of interest to anyone working in the verification of control concepts for large structures.

  15. Deductive Evaluation: Implicit Code Verification With Low User Burden

    NASA Technical Reports Server (NTRS)

    Di Vito, Ben L.

    2016-01-01

    We describe a framework for symbolically evaluating C code using a deductive approach that discovers and proves program properties. The framework applies Floyd-Hoare verification principles in its treatment of loops, with a library of iteration schemes serving to derive loop invariants. During evaluation, theorem proving is performed on-the-fly, obviating the generation of verification conditions normally needed to establish loop properties. A PVS-based prototype is presented along with results for sample C functions.

  16. Models of Excellence: A Review of Ohio's Award-Winning Workplace Literacy Programs. Alliance for Workforce Excellence Publication #94-01.

    ERIC Educational Resources Information Center

    Proper, Len

    This report summarizes the 18 programs that have received Governor's Workforce Excellence Awards in Ohio over the past 3 years. The 18 award winning programs (based in companies employing from 75 to 16,000 employees) focus on the basic literacy, thinking, and personal skills that every Ohio worker must possess. They were selected from nearly 100…

  17. Industrial methodology for process verification in research (IMPROVER): toward systems biology verification

    PubMed Central

    Meyer, Pablo; Hoeng, Julia; Rice, J. Jeremy; Norel, Raquel; Sprengel, Jörg; Stolle, Katrin; Bonk, Thomas; Corthesy, Stephanie; Royyuru, Ajay; Peitsch, Manuel C.; Stolovitzky, Gustavo

    2012-01-01

    Motivation: Analyses and algorithmic predictions based on high-throughput data are essential for the success of systems biology in academic and industrial settings. Organizations, such as companies and academic consortia, conduct large multi-year scientific studies that entail the collection and analysis of thousands of individual experiments, often over many physical sites and with internal and outsourced components. To extract maximum value, the interested parties need to verify the accuracy and reproducibility of data and methods before the initiation of such large multi-year studies. However, systematic and well-established verification procedures do not exist for automated collection and analysis workflows in systems biology which could lead to inaccurate conclusions. Results: We present here, a review of the current state of systems biology verification and a detailed methodology to address its shortcomings. This methodology named ‘Industrial Methodology for Process Verification in Research’ or IMPROVER, consists on evaluating a research program by dividing a workflow into smaller building blocks that are individually verified. The verification of each building block can be done internally by members of the research program or externally by ‘crowd-sourcing’ to an interested community. www.sbvimprover.com Implementation: This methodology could become the preferred choice to verify systems biology research workflows that are becoming increasingly complex and sophisticated in industrial and academic settings. Contact: gustavo@us.ibm.com PMID:22423044

  18. Java PathFinder User Guide

    NASA Technical Reports Server (NTRS)

    Havelund, Klaus

    1999-01-01

    The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually reformulate a program into a different notation in order to analyze the program. The system is especially suited for analyzing multi-threaded JAVA applications, where normal testing usually falls short. The system can find deadlocks and violations of boolean assertions stated by the programmer in a special assertion language. This document explains how to Use JPF.

  19. Analysis of potential errors in real-time streamflow data and methods of data verification by digital computer

    USGS Publications Warehouse

    Lystrom, David J.

    1972-01-01

    Various methods of verifying real-time streamflow data are outlined in part II. Relatively large errors (those greater than 20-30 percent) can be detected readily by use of well-designed verification programs for a digital computer, and smaller errors can be detected only by discharge measurements and field observations. The capability to substitute a simulated discharge value for missing or erroneous data is incorporated in some of the verification routines described. The routines represent concepts ranging from basic statistical comparisons to complex watershed modeling and provide a selection from which real-time data users can choose a suitable level of verification.

  20. Verification of EPA's " Preliminary remediation goals for radionuclides" (PRG) electronic calculator

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

    Stagich, B. H.

    The U.S. Environmental Protection Agency (EPA) requested an external, independent verification study of their “Preliminary Remediation Goals for Radionuclides” (PRG) electronic calculator. The calculator provides information on establishing PRGs for radionuclides at Comprehensive Environmental Response, Compensation, and Liability Act (CERCLA) sites with radioactive contamination (Verification Study Charge, Background). These risk-based PRGs set concentration limits using carcinogenic toxicity values under specific exposure conditions (PRG User’s Guide, Section 1). The purpose of this verification study is to ascertain that the computer codes has no inherit numerical problems with obtaining solutions as well as to ensure that the equations are programmed correctly.

Some links on this page may take you to non-federal websites. Their policies may differ from this site.
Top