A Guide to the World's Training Facilities in Documentation and Information Work [Prepared by the] Central Institute for Scientific, Technical and Economic Information, Warsaw, Poland. Second Edition.

ERIC Educational Resources Information Center

Liebesny, Felix, Ed.; Ostrowska, Krystyna, Ed.

This guide presents up-dated information, on a world-wide basis, on training facilities in documentation and information work. Only data relating to the formal training of documentalists, information workers and special librarians are included, except for those countries in which only short courses or seminars are available. Forty-seven countries…

Scientific and Technical Information Output of the Langley Research Center, for calendar year 1976

NASA Technical Reports Server (NTRS)

1976-01-01

Documents listed include NASA Technical Reports, Technical Notes, Technical Memorandums, Special Publications, Contractor Reports, journal articles, and technical presentations made at Society meetings. NASA formal reports listed are those that were mailed and distributed to the ultimate user. The material presented here is listed first by Division and then under the following headings: (a) Formal Reports, (b) Contractor Reports, (c) Articles and Meeting Presentations, and (d) High Number Technical Memorandums (High TMX's). Under each heading, the material cited authors in alphabetical order. If a report has more than one author and these authors are from different Divisions, the report is listed only once, under the senior author's name.

FY 1985 scientific and technical reports, articles, papers and presentations

NASA Technical Reports Server (NTRS)

Turner, Joyce E. (Compiler)

1985-01-01

This document presents formal NASA technical reports, papers published in technical journals, and presentations by Marshal Space Flight Center (MSFC) personnel in FY 85. It also includes papers of MSFC contractors. After being announced in STAR, all of the NASA series reports may be obtained from the National Technical Information Service (NTIS), 5285 Port Royal Road, Springfield, Va. 22161.

FY 1994 scientific and technical reports, articles, papers, and presentations

NASA Technical Reports Server (NTRS)

Turner, Joyce E. (Compiler)

1994-01-01

This document presents formal NASA technical reports, papers published in technical journals, and presentations by Marshall Space Flight Center personnel in FY94. It also includes papers of MSFC contractors and author indexes. The information in this report may be of value to the scientific and engineering community in determining what information has been published and what is available.

Defining Uniform Processes for Remediation, Probation and Termination in Residency Training.

PubMed

Smith, Jessica L; Lypson, Monica; Silverberg, Mark; Weizberg, Moshe; Murano, Tiffany; Lukela, Michael; Santen, Sally A

2017-01-01

It is important that residency programs identify trainees who progress appropriately, as well as identify residents who fail to achieve educational milestones as expected so they may be remediated. The process of remediation varies greatly across training programs, due in part to the lack of standardized definitions for good standing, remediation, probation, and termination . The purpose of this educational advancement is to propose a clear remediation framework including definitions, management processes, documentation expectations and appropriate notifications. Informal remediation is initiated when a resident's performance is deficient in one or more of the outcomes-based milestones established by the Accreditation Council for Graduate Medical Education, but not significant enough to trigger formal remediation. Formal remediation occurs when deficiencies are significant enough to warrant formal documentation because informal remediation failed or because issues are substantial. The process includes documentation in the resident's file and notification of the graduate medical education office; however, the documentation is not disclosed if the resident successfully remediates. Probation is initiated when a resident is unsuccessful in meeting the terms of formal remediation or if initial problems are significant enough to warrant immediate probation. The process is similar to formal remediation but also includes documentation extending to the final verification of training and employment letters. Termination involves other stakeholders and occurs when a resident is unsuccessful in meeting the terms of probation or if initial problems are significant enough to warrant immediate termination.

Hyper-Book: A Formal Model for Electronic Books.

ERIC Educational Resources Information Center

Catenazzi, Nadia; Sommaruga, Lorenzo

1994-01-01

Presents a model for electronic books based on the paper book metaphor. Discussion includes how the book evolves under the effects of its functional components; the use and impact of the model for organizing and presenting electronic documents in the context of electronic publishing; and the possible applications of a system based on the model.…

Ensuring Cross-Cultural Equivalence in Translation of Research Consents and Clinical Documents

PubMed Central

Lee, Cheng-Chih; Li, Denise; Arai, Shoshana; Puntillo, Kathleen

2010-01-01

The aim of this article is to describe a formal process used to translate research study materials from English into traditional Chinese characters. This process may be useful for translating documents for use by both research participants and clinical patients. A modified Brislin model was used as the systematic translation process. Four bilingual translators were involved, and a Flaherty 3-point scale was used to evaluate the translated documents. The linguistic discrepancies that arise in the process of ensuring cross-cultural congruency or equivalency between the two languages are presented to promote the development of patient-accessible cross-cultural documents. PMID:18948451

Multimedia in Education: Thought Pieces.

ERIC Educational Resources Information Center

Nicol, Anne; And Others

1986-01-01

The six "thought pieces" presented in this document summarize the personal perspectives of conference participants on issues raised in formal or information discussions, but not part of the central themes of the conference or conference papers. They include: (1) "Assuming That..." (Anne Nicol, Apple Computer, Inc.); (2) "A…

18 CFR 2.1 - Initial notice; service; and information copies of formal documents.

Code of Federal Regulations, 2011 CFR

2011-04-01

...] (iii) Hydroelectric, Federal Power Act. (A) Applications for preliminary permits pursuant to section 4... 18 Conservation of Power and Water Resources 1 2011-04-01 2011-04-01 false Initial notice; service; and information copies of formal documents. 2.1 Section 2.1 Conservation of Power and Water Resources...

The 1994 Ames Research Center publications: A bibliography

NASA Technical Reports Server (NTRS)

Scarich, Shelley J. (Editor)

1995-01-01

This document is a compilation of the scientific and technical information that Ames Research Center has produced during the calendar year 1994. Included are citations for formal reports, high-number conference publications, high-number technical memorandums, contractor reports, journal articles, meeting presentation, tech briefs, patents, and translations.

Defining Uniform Processes for Remediation, Probation and Termination in Residency Training

PubMed Central

Smith, Jessica L.; Lypson, Monica; Silverberg, Mark; Weizberg, Moshe; Murano, Tiffany; Lukela, Michael; Santen, Sally A.

2017-01-01

It is important that residency programs identify trainees who progress appropriately, as well as identify residents who fail to achieve educational milestones as expected so they may be remediated. The process of remediation varies greatly across training programs, due in part to the lack of standardized definitions for good standing, remediation, probation, and termination. The purpose of this educational advancement is to propose a clear remediation framework including definitions, management processes, documentation expectations and appropriate notifications. Informal remediation is initiated when a resident’s performance is deficient in one or more of the outcomes-based milestones established by the Accreditation Council for Graduate Medical Education, but not significant enough to trigger formal remediation. Formal remediation occurs when deficiencies are significant enough to warrant formal documentation because informal remediation failed or because issues are substantial. The process includes documentation in the resident’s file and notification of the graduate medical education office; however, the documentation is not disclosed if the resident successfully remediates. Probation is initiated when a resident is unsuccessful in meeting the terms of formal remediation or if initial problems are significant enough to warrant immediate probation. The process is similar to formal remediation but also includes documentation extending to the final verification of training and employment letters. Termination involves other stakeholders and occurs when a resident is unsuccessful in meeting the terms of probation or if initial problems are significant enough to warrant immediate termination. PMID:28116019

On Logic and Standards for Structuring Documents

NASA Astrophysics Data System (ADS)

Eyers, David M.; Jones, Andrew J. I.; Kimbrough, Steven O.

The advent of XML has been widely seized upon as an opportunity to develop document representation standards that lend themselves to automated processing. This is a welcome development and much good has come of it. That said, present standardization efforts may be criticized on a number of counts. We explore two issues associated with document XML standardization efforts. We label them (i) the dynamic point and (ii) the logical point. Our dynamic point is that in many cases experience has shown that the search for a final, or even reasonably permanent, document representation standard is futile. The case is especially strong for electronic data interchange (EDI). Our logical point is that formalization into symbolic logic is materially helpful for understanding and designing dynamic document standards.

Swedish Support to Non-Formal Adult Education Programmes.

ERIC Educational Resources Information Center

Swedish International Development Authority (SIDA).

This document presents an overview of support for economic development provided by the Swedish government to a variety of nonformal adult education programs in developing nations (mostly in Africa). The four sections of the report provide details of the following: (1) scope, objectives, and methods of Swedish development cooperation; (2) the…

Case Studies of Non-Formal Education by Distance and Open Learning.

ERIC Educational Resources Information Center

Siaciwena, Richard, Ed.

This document contains seven papers from a study of the role of distance learning approaches in enhancing the contribution of nonformal education to socioeconomic development in Africa. "Introduction" (Richard Siaciwena) presents an overview of the research project and defines key terms related to nonformal education. "Ghana: The…

MASA Study of Administrator Evaluation, 1974-75.

ERIC Educational Resources Information Center

Michigan Association of School Administrators, East Lansing.

Intended primarily for Michigan administrators, this document presents a variety of information on administrator evaluation. A survey of Michigan superintendents revealed, among other things, that there is a very high interest in administrative evaluation, that 45 percent of the responding districts have no formal evaluation system, that 36…

Subtitling Television for Deaf Children. M.E.R.: No. 3.

ERIC Educational Resources Information Center

Baker, Robert

Experiments reported in this document were intended to shed light on the linguistic and presentational issues surrounding the provision of a subtitling service for deaf schoolchildren. A series of formal experiments was carried out to evaluate deaf children's appreciation of subtitled television programs. (These experiments are described in detail…

Technical Entrepreneurship: A Symposium.

ERIC Educational Resources Information Center

Cooper, Arnold C., Ed.; Komives, John L., Ed.

Contained in this document are papers presented at the Symposium on Technical Entrepreneurship at Purdue University by researchers who were then or had previously been engaged in research in the area. Because formal research in this area was in its infancy, there was a particular need to afford investigators in the field opportunities to compare…

NASA Langley Scientific and Technical Information Output: 1997

NASA Technical Reports Server (NTRS)

Stewart, Susan H. (Compiler); Machie, Harriet B. (Compiler)

1998-01-01

This document is a compilation of the scientific and technical information that the Langley Research Center has produced during the calendar year 1997. Included are citations for Formal Reports, Conference Publications, High-Numbered Technical Memorandums, Contractor Reports, Journal Articles and Book Publications, Meeting Presentations, Technical Talks, and Patents.

18 CFR 2.1 - Initial notice; service; and information copies of formal documents.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 18 Conservation of Power and Water Resources 1 2010-04-01 2010-04-01 false Initial notice; service; and information copies of formal documents. 2.1 Section 2.1 Conservation of Power and Water Resources... Order 463, 37 FR 28054, Dec. 20, 1972; 38 FR 3192, Feb. 2, 1973; 44 FR 34941, June 18, 1979; 45 FR 21224...

18 CFR 2.1 - Initial notice; service; and information copies of formal documents.

Code of Federal Regulations, 2013 CFR

2013-04-01

... 18 Conservation of Power and Water Resources 1 2013-04-01 2013-04-01 false Initial notice; service; and information copies of formal documents. 2.1 Section 2.1 Conservation of Power and Water Resources...; 38 FR 3192, Feb. 2, 1973; 44 FR 34941, June 18, 1979; 45 FR 21224, Apr. 1, 1980; Order 541, 57 FR...

18 CFR 2.1 - Initial notice; service; and information copies of formal documents.

Code of Federal Regulations, 2014 CFR

2014-04-01

... 18 Conservation of Power and Water Resources 1 2014-04-01 2014-04-01 false Initial notice; service; and information copies of formal documents. 2.1 Section 2.1 Conservation of Power and Water Resources...; 38 FR 3192, Feb. 2, 1973; 44 FR 34941, June 18, 1979; 45 FR 21224, Apr. 1, 1980; Order 541, 57 FR...

18 CFR 2.1 - Initial notice; service; and information copies of formal documents.

Code of Federal Regulations, 2012 CFR

2012-04-01

... 18 Conservation of Power and Water Resources 1 2012-04-01 2012-04-01 false Initial notice; service; and information copies of formal documents. 2.1 Section 2.1 Conservation of Power and Water Resources...; 38 FR 3192, Feb. 2, 1973; 44 FR 34941, June 18, 1979; 45 FR 21224, Apr. 1, 1980; Order 541, 57 FR...

The Nuclear Energy Density Functional Formalism

NASA Astrophysics Data System (ADS)

Duguet, T.

The present document focuses on the theoretical foundations of the nuclear energy density functional (EDF) method. As such, it does not aim at reviewing the status of the field, at covering all possible ramifications of the approach or at presenting recent achievements and applications. The objective is to provide a modern account of the nuclear EDF formalism that is at variance with traditional presentations that rely, at one point or another, on a Hamiltonian-based picture. The latter is not general enough to encompass what the nuclear EDF method represents as of today. Specifically, the traditional Hamiltonian-based picture does not allow one to grasp the difficulties associated with the fact that currently available parametrizations of the energy kernel E[g',g] at play in the method do not derive from a genuine Hamilton operator, would the latter be effective. The method is formulated from the outset through the most general multi-reference, i.e. beyond mean-field, implementation such that the single-reference, i.e. "mean-field", derives as a particular case. As such, a key point of the presentation provided here is to demonstrate that the multi-reference EDF method can indeed be formulated in a mathematically meaningful fashion even if E[g',g] does not derive from a genuine Hamilton operator. In particular, the restoration of symmetries can be entirely formulated without making any reference to a projected state, i.e. within a genuine EDF framework. However, and as is illustrated in the present document, a mathematically meaningful formulation does not guarantee that the formalism is sound from a physical standpoint. The price at which the latter can be enforced as well in the future is eventually alluded to.

The 1989 JSC bibliography of scientific and technical papers

NASA Technical Reports Server (NTRS)

Hutchins, Nancy (Compiler)

1991-01-01

This document is a compilation of Lyndon B. Johnson Space Center contributions to the scientific and technical literature in aerospace and life sciences made during calendar year 1989. Citations include NASA formal series reports, journal articles, conference and symposium presentations, papers published in proceedings or other collective works, and seminar and workshop results.

NASA Langley scientific and technical information output: 1994, volume 1

NASA Technical Reports Server (NTRS)

Phillips, Marilou S. (Compiler); Stewart, Susan H. (Compiler)

1995-01-01

This document is a compilation of the scientific and technical information that the Langley Research Center has produced during the calendar year 1994. Included are citations for Formal Reports, High-Numbered Conference Publications, High-Numbered Technical Memorandums, Contractor Reports, Journal Articles and Other Publications, Meeting Presentations, Computer Programs, Tech Briefs, and Patents.

NASA Langley Scientific and Technical Information Output: 1994. Volume 1

NASA Technical Reports Server (NTRS)

Phillips, Marilou S. (Compiler); Stewart, Susan H. (Compiler)

1995-01-01

This document is a compilation of the scientific and technical information that the Langley Research Center has produced during the calendar year 1994. Included are citations for Formal Reports, High-Numbered Conference Publications, High-Numbered Technical Memorandums, Contractor Reports, Journal Articles and Other Publications, Meeting Presentations, Computer Programs, Tech Briefs, and Patents.

Career Passports, Portfolios, and Certificates. ERIC Digest.

ERIC Educational Resources Information Center

Wonacott, Michael E.

Secondary educators are using ways other than the traditional high school diploma and transcript to communicate students' new and different sets of knowledge and skills to employers. A career passport may be characterized as a formal product or document in which students present the many marketable skills they have developed through their life…

Promoting Grassroots Change in Higher Education: The Promise of Virtual Networks

ERIC Educational Resources Information Center

Kezar, Adrianna; Lester, Jaime

2009-01-01

This article starts by presenting five scenarios, each represents a significant type of grassroots change that is occurring at colleges and universities across the country. Those who are instigating these changes have little formal authority. The authors recently conducted a study to document and better understand these kinds of changes and the…

Sex and Secrecies: An Exploration of Students' Conceptualizations of Heteronormativity

ERIC Educational Resources Information Center

Cassar, Joanne

2015-01-01

Graffiti on the female students' lavatory doors of a higher education institution in Malta, most often describing sexual and romantic desires, demonstrates how students create alternative spaces beyond formal learning environments to acquire knowledge about sex and sexual orientation. This article presents a study of the writings that document the…

NASA Langley Scientific and Technical Information Output: 1996

NASA Technical Reports Server (NTRS)

Stewart, Susan H. (Compiler); Phillips, Marilou S. (Compiler)

1997-01-01

This document is a compilation of the scientific and technical information that the Langley Research Center has produced during the calendar year 1996. Included are citations for Formal Reports, High-Numbered Conference Publications, High-Numbered Technical Memorandums, Contractor Reports, Journal Articles and Other Publications, Meeting Presentations, Technical Talks, Computer Programs, Tech Briefs, and Patents.

A Community College--University Transfer System for Arizona.

ERIC Educational Resources Information Center

Puyear, Don

The State Board of Directors for Community Colleges of Arizona is in the process of strengthening and formalizing its university transfer system. This document presents an outline of one possible community college-university transfer system based upon existing agreements and procedures in place. One of the key features of the system is an…

Documenting and Analyzing the Results of Non-Formal Adult Education: The Hungarian Experience

ERIC Educational Resources Information Center

Toth, Janos Szigeti

2007-01-01

Many valuable activities and local innovations go on in the field of non-formal adult learning. With the pressures of day-today work it is impossible to have a systematic overview of these, so that they are forgotten and are not continued, developed or passed on to others. More generally, these activities fail to be documented and analysed, even…

Dynamic Gate Product and Artifact Generation from System Models

NASA Technical Reports Server (NTRS)

Jackson, Maddalena; Delp, Christopher; Bindschadler, Duane; Sarrel, Marc; Wollaeger, Ryan; Lam, Doris

2011-01-01

Model Based Systems Engineering (MBSE) is gaining acceptance as a way to formalize systems engineering practice through the use of models. The traditional method of producing and managing a plethora of disjointed documents and presentations ("Power-Point Engineering") has proven both costly and limiting as a means to manage the complex and sophisticated specifications of modern space systems. We have developed a tool and method to produce sophisticated artifacts as views and by-products of integrated models, allowing us to minimize the practice of "Power-Point Engineering" from model-based projects and demonstrate the ability of MBSE to work within and supersede traditional engineering practices. This paper describes how we have created and successfully used model-based document generation techniques to extract paper artifacts from complex SysML and UML models in support of successful project reviews. Use of formal SysML and UML models for architecture and system design enables production of review documents, textual artifacts, and analyses that are consistent with one-another and require virtually no labor-intensive maintenance across small-scale design changes and multiple authors. This effort thus enables approaches that focus more on rigorous engineering work and less on "PowerPoint engineering" and production of paper-based documents or their "office-productivity" file equivalents.

Scientific and Technical Reports, Articles, Papers, and Presentations

NASA Technical Reports Server (NTRS)

Waits, J. E. Turner (Compiler)

2001-01-01

This document presents formal NASA technical reports, papers published in technical journals, and presentations by MSFC personnel in FY 2000. It also includes papers of MSFC contractors. After being announced in STAR, all the NASA series reports may be obtained from the National Technical Information Service, 5285 Port Royal Road, Springfield, VA 22161. The information in this report may be of value to the scientific and engineering community in determining what information has been published and what is available.

FY 1998 Scientific and Technical Reports, Articles, Papers, and Presentations

NASA Technical Reports Server (NTRS)

Waits, J. E. Turner (Compiler)

1999-01-01

This document presents formal NASA technical reports, papers published in technical journals, and presentations by MSFC (Marshall Space Flight Center) personnel in FY98. It also includes papers of MSFC contractors. After being announced in STAR, all of the NASA series reports may be obtained from the National Technical Information Service. The information in this report may be of value to the scientific and engineering community in determining what information has been published and what is available.

Scientific and Technical Reports, Articles, Papers, and Presentations

NASA Technical Reports Server (NTRS)

Turner, J. E. (Compiler)

2000-01-01

This document presents formal NASA technical reports, papers published in technical journals, and presentations by MSFC personnel in FY99. It also includes papers of MSFC contractors. All of the NASA series reports may be obtained from the NASA Center for AeroSpace Information (CASI), 7121 Standard Drive, Hanover, MD 21076-1320 The information in this report may be of value to the scientific and engineering community in determining what information has been published and what is available.

NACA Conference on Aircraft Loads, Structures, and Flutter

NASA Technical Reports Server (NTRS)

1957-01-01

This document contains reproductions of technical papers on some of the most recent research results on aircraft loads, flutter, and structures from the NACA laboratories. These papers were presented by members of the staff of the NACA laboratories at the Conference held at the Langley Aeronautical Laboratory March 5, 6, and 7, 1957. The primary purpose of this Conference was to convey to contractors of the military services and others concerned with the design of aircraft these recent research results and to provide those attending an opportunity to discuss the results. The papers in this document are in the same form in which they were presented at the Conference in order to facilitate their prompt distribution. The original presentation and this record are considered as complementary to, rather than as substitutes for, the Committee?s more complete and formal reports. Accordingly, if information from this document is utilized it is requested that this document not be listed as a reference. Individual reports dealing with most of the information presented at the Conference will subsequently be published by NACA and will therefore be suitable as reference material.

Proceedings of the first switch tube advanced technology meeting held at EG G, Salem, Massachusetts, May 23, 1990

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

Shuman, A.; Beavis, L.

Early in 1990, J. A. Wilder, Supervisor of Sandia National Laboratories (SNLA), Division 2565 requested that a meeting of the scientists and engineers responsible for developing and producing switch tubes be set up to discuss in a semi-formal way the science and technology of switch tubes. Programmatic and administrative issues were specifically exempted from the discussions. L. Beavis, Division 7471, SNL and A. Shuman, EG G, Salem were made responsible for organizing a program including the materials and processes of switch tubes. The purpose of the Switch Tube Advanced Technology meeting was to allow personnel from Allied Signal Kansas Citymore » Division (AS/KCD); EG G, Salem and Sandia National Laboratories (SNL) to discuss a variety of issues involved in the development and production of switch tubes. It was intended that the formal and informal discussions would allow a better understanding of the production problems by material and process engineers and of the materials and processes by production engineers. This program consisted of formal presentations on May 23 and informal discussions on May 24. The topics chosen for formal presentation were suggested by the people of AS/KCD, EG G, Salem, and SNL involved with the design, development and production of switch tubes. The topics selected were generic. They were not directed to any specific switch tube but rather to all switch tubes in production and development. This document includes summaries of the material presented at the formal presentation on May 23.« less

NASA Langley Scientific and Technical Information Output, 1995. Volume 1

NASA Technical Reports Server (NTRS)

Stewart, Susan H. (Compiler); Phillips, Marilou S. (Compiler)

1996-01-01

This document is a compilation of the scientific and technical information that the Langley Research Center has produced during the calendar year 1995. Included are citations for formal reports, high-numbered conference publications, high-numbered technical memorandums, contractor reports, journal articles and other publications, meeting presentations, technical talks, computer programs, tech briefs, and patents.

Scientific and technical information output of the Langley Research Center for calendar year 1986

NASA Technical Reports Server (NTRS)

1987-01-01

This document is a compilation of the scientific and technical information that the Langley Research Center has produced during the calendar year 1986. Included are citations for Formal Reports, Quick-Release Technical Memorandums, Contractor Reports, Journal Articles and Other Publications, Meeting Presentations, Techncial Talks, Computer Programs, Tech Briefs, and Patents.

The Law, Policy, and Politics of Formal Hypnosis in the Public Community College Classroom.

ERIC Educational Resources Information Center

Sachs, Steven Mark

Information from printed sources, legal documents, and interviews with community college administrators formed the basis of an investigation of the legal, policy, and political implications of the use of formal hypnosis as an instructional augmentation in the community college classroom. Study findings included the following: (1) no formal policy…

Formal proof of the AVM-1 microprocessor using the concept of generic interpreters

NASA Technical Reports Server (NTRS)

Windley, P.; Levitt, K.; Cohen, G. C.

1991-01-01

A microprocessor designated AVM-1 was designed to demonstrate the use of generic interpreters in verifying hierarchically decomposed microprocessor specifications. This report is intended to document the high-order language (HOL) code verifying AVM-1. The organization of the proof is discussed and some technical details concerning the execution of the proof scripts in HOL are presented. The proof scripts used to verify AVM-1 are also presented.

42 CFR 1007.15 - Applications, certification and recertification.

Code of Federal Regulations, 2010 CFR

2010-10-01

..., or other document sets forth the formal procedures required under § 1007.7(b), or the formal working..., and experience of all senior professional staff already employed and job descriptions, with minimum...

The FY 1992 scientific and technical reports, articles, papers, and presentations

NASA Technical Reports Server (NTRS)

Turner, Joyce E. (Compiler)

1992-01-01

This document presents formal NASA technical reports, papers published in technical journals, and presentations by MSFC personnel in FY92. It also includes papers of MSFC contractors. After being announced in STAR, all of the NASA series reports may be obtained from the National Technical Information Service, 5285 Port Royal Road, Springfield, VA 22161. The information in this report may be of value to the scientific and engineering community in determining what information has been published and what is available.

FY 1988 scientific and technical reports, articles, papers and presentations

NASA Technical Reports Server (NTRS)

Turner, Joyce E. (Compiler)

1988-01-01

This document presents formal NASA technical reports, papers published in technical journals, and presentations by MSFC personnel in FY 88. It also includes papers of MSFC contractors. After being announced in STAR, all of the NASA series reports may be obtained from the NationaL Technical Information Service, 5285 Port Royal Road, Springfield, VA 22161. The information in this report may be of value to the scientific and engineering community in determining what information has been published and what is available.

FY87 scientific and technical reports, articles, papers, and presentations

NASA Technical Reports Server (NTRS)

Turner, Joyce E. (Compiler)

1987-01-01

The document presents formal NASA technical reports, papers published in technical journals, and presentations by MSFC personnel in FY87. It also includes papers of MSFC contractors. After being announced in STAR, all of the NASA series reports may be obtained from the National Technical Information Service, 5285 Port Royal Road, Springfield, Va. 22161. The information in this report may be of value to the scientific and engineering community in determining what information has been published and what is available.

FY 1996 Scientific and Technical Reports, Articles, Papers, and Presentations. Volume 1

NASA Technical Reports Server (NTRS)

Turner-Waits, Joyce E. (Compiler)

1996-01-01

This document presents formal NASA technical reports, papers published in technical journals, and presentations by MSFC personnel in FY96. It also includes papers of MSFC contractors. After being announced in STAR, all of the NASA series reports may be obtained from the National Technical Information Service, 5285 Port Royal Road, Springfield, VA 22161. The information in this report may be of value to the scientific and engineering community in determining what information has been published and what is available.

Fiscal year 1993 scientific and technical reports, articles, papers, and presentations

NASA Technical Reports Server (NTRS)

Turner, Joyce E. (Compiler)

1993-01-01

This document presents formal NASA technical reports, papers published in technical journals, and presentations by MSFC personnel in FY93. It also includes papers of MSFC contractors. After being announced in STAR, all of the NASA series reports may be obtained from the National Technical Information Service, 5285 Port Royal Road, Springfield, VA 22161. The information in this report may be of value to the scientific and engineering community in determining what information has been published and what is available.

FY 1999 Scientific and Technical Reports, Articles, Papers, and Presentations

NASA Technical Reports Server (NTRS)

Waits, J.oyce E.Turner

2000-01-01

This document presents formal NASA technical reports, papers published in technical journals, and presentations by MSFC personnel in FY99. It also includes papers of MSFC contractors. All of the NASA series reports may be obtained from the NASA Center for AeroSpace Information (CASI), 7121 Standard Drive, Hanover, MD 21076-1320 The information in this report may be of value to the scientific and engineering community in determining what information has been published and what is available.

Information governance in NHS's NPfIT: a case for policy specification.

PubMed

Becker, Moritz Y

2007-01-01

The National Health Service's (NHS's) National Programme for Information Technology (NPfIT) in the UK with its proposed nation-wide online health record service poses serious technical challenges, especially with regard to access control and patient confidentiality. The complexity of the confidentiality requirements and their constantly evolving nature (due to changes in law, guidelines and ethical consensus) make traditional technologies such as role-based access control (RBAC) unsuitable. Furthermore, a more formal approach is also needed for debating about and communicating on information governance, as natural-language descriptions of security policies are inherently ambiguous and incomplete. Our main goal is to convince the reader of the strong benefits of employing formal policy specification in nation-wide electronic health record (EHR) projects. Many difficulties could be alleviated by specifying the requirements in a formal authorisation policy language such as Cassandra. The language is unambiguous, declarative and machine-enforceable, and is based on distributed constrained Datalog. Cassandra is interpreted within a distributed Trust Management environment, where digital credentials are used for establishing mutual trust between strangers. To demonstrate how policy specification can be applied to NPfIT, we translate a fragment of natural-language NHS specification into formal Cassandra rules. In particular, we present policy rules pertaining to the management of Clinician Sealed Envelopes, the mechanism by which clinical patient data can be concealed in the nation-wide EHR service. Our case study exposes ambiguities and incompletenesses in the informal NHS documents. We strongly recommend the use of trust management and policy specification technology for the implementation of nation-wide EHR infrastructures. Formal policies can be used for automatically enforcing confidentiality requirements, but also for specification and communication purposes. Formalising the requirements also reveals ambiguities and missing details in the currently used informal specification documents.

Guidance for Using Formal Methods in a Certification Context

NASA Technical Reports Server (NTRS)

Brown, Duncan; Delseny, Herve; Hayhurst, Kelly; Wiels, Virginie

2010-01-01

This paper discusses some of the challenges to using formal methods in a certification context and describes the effort by the Formal Methods Subgroup of RTCA SC-205/EUROCAE WG-71 to propose guidance to make the use of formal methods a recognized approach. This guidance, expected to take the form of a Formal Methods Technical Supplement to DO-178C/ED-12C, is described, including the activities that are needed when using formal methods, new or modified objectives with respect to the core DO-178C/ED-12C document, and evidence needed for meeting those objectives.

Formative evaluation of AARP's Active for Life campaign to improve walking and bicycling environments in two cities.

PubMed

Emery, James; Crump, Carolyn; Hawkins, Margaret

2007-10-01

AARP conducted a 2.5-year social-marketing campaign to improve physical activity levels among older adults in Richmond, Virginia and Madison, Wisconsin. This article presents formative evaluation findings from the campaign's policy/environmental change component. Evaluation data were abstracted from technical-assistance documentation and telephone interviews. Results include 11 policy and 14 environmental changes attained or in-process by campaign closure. Differences between the cities' results are explained through differences in program implementation (e.g., types of changes planned, formalization of partnerships). Project teams took less time deciding to pursue policy change than environmental change; however, planning the policy activities took longer than planning environmental-change activities. Recommendations for future policy/environmental change interventions focus on the selection of strategies; planning for administrative resources; formalizing partnerships to ensure sustainability of impact; ensuring training and technical assistance; and documenting progress. Similar intervention results may be attainable with a multi-year timeframe, adequate part-time coordination, and committed volunteers.

36 CFR 1206.64 - What formal notification will I receive, and will it contain other information?

Code of Federal Regulations, 2010 CFR

2010-07-01

... 36 Parks, Forests, and Public Property 3 2010-07-01 2010-07-01 false What formal notification will I receive, and will it contain other information? 1206.64 Section 1206.64 Parks, Forests, and Public... it contain other information? (a) The formal grant award document is sent to successful applicants...

Rough Journal Page Documenting Ratification and Final Page of the Treaty of Paris, 1783

ERIC Educational Resources Information Center

Potter, Lee Ann

2008-01-01

The 1783 Treaty of Paris formally ended the American Revolution and established the United States as an independent and sovereign nation. In words reminiscent of those in the resolution presented by Richard Henry Lee to Congress in June 1776, and later included in the Declaration of Independence, Article I of the treaty stated that the king now…

ENDF/B summary documentation

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

Kinsey, R.

1979-07-01

This publication provides a localized source of descriptions for the evaluations contained in the ENDF/B Library. The summary documentation presented is intended to be a more detailed description than the (File 1) comments contained in the computer readable data files, but not so detailed as the formal reports describing each ENDF/B evaluation. The summary documentations were written by the CSEWB (Cross Section Evaluation Working Group) evaluators and compiled by NNDC (National Nuclear Data Center). This edition includes documentation for materials found on ENDF/B Version V tapes 501 to 516 (General Purpose File) excluding tape 504. ENDF/B-V also includes tapes containingmore » partial evaluations for the Special Purpose Actinide (521, 522), Dosimetry (531), Activation (532), Gas Production (533), and Fission Product (541-546) files. The materials found on these tapes are documented elsewhere. Some of the evaluation descriptions in this report contain cross sections or energy level information. (RWR)« less

Utility of DNA barcoding for rapid and accurate assessment of bat diversity in Malaysia in the absence of formally described species.

PubMed

Wilson, J-J; Sing, K-W; Halim, M R A; Ramli, R; Hashim, R; Sofian-Azirun, M

2014-02-19

Bats are important flagship species for biodiversity research; however, diversity in Southeast Asia is considerably underestimated in the current checklists and field guides. Incorporation of DNA barcoding into surveys has revealed numerous species-level taxa overlooked by conventional methods. Inclusion of these taxa in inventories provides a more informative record of diversity, but is problematic as these species lack formal description. We investigated how frequently documented, but undescribed, bat taxa are encountered in Peninsular Malaysia. We discuss whether a barcode library provides a means of recognizing and recording these taxa across biodiversity inventories. Tissue was sampled from bats trapped at Pasir Raja, Dungun Terengganu, Peninsular Malaysia. The DNA was extracted and the COI barcode region amplified and sequenced. We identified 9 species-level taxa within our samples, based on analysis of the DNA barcodes. Six specimens matched to four previously documented taxa considered candidate species but currently lacking formal taxonomic status. This study confirms the high diversity of bats within Peninsular Malaysia (9 species in 13 samples) and demonstrates how DNA barcoding allows for inventory and documentation of known taxa lacking formal taxonomic status.

NACA: University Conference on Aerodynamics. A Compilation of the Papers Presented

NASA Technical Reports Server (NTRS)

1948-01-01

This document contains reproductions of the technical papers presented at the NACA - University Conference on Aerodynamics held at the Langley Aeronautical Laboratory on June 21, 22, and 23, 1948. The conference was held in recognition of the difficulties, imposed by security restrictions, in keeping abreast of the rapid advances in aerodynamics. The papers were prepared to review the status of a number of fields of interest, to summarize the more important wartime advances that are no longer classified, and to orient reference material for further study. The papers in this document are in the same form in which they were presented at the conference so that distribution of them might be prompt. The original presentation and this record are considered as complementary to, rather than as substitutes for, the Committee?s system of complete and formal reports.

LESSONS LEARNED Biosurveillance Mobile App Development Intern Competition (Summer 2013)

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

Noonan, Christine F.; Henry, Michael J.; Corley, Courtney D.

2014-01-14

The purpose of the lessons learned document for the BEOWulf Biosurveillance Mobile App Development Intern Competition is to capture the project’s lessons learned in a formal document for use by other project managers on similar future projects. This document may be used as part of new project planning for similar projects in order to determine what problems occurred and how those problems were handled and may be avoided in the future. Additionally, this document details what went well with the project and why, so that other project managers may capitalize on these actions. Project managers may also use this documentmore » to determine who the project team members were in order to solicit feedback for planning their projects in the future. This document will be formally communicated with the organization and will become a part of the organizational assets and archives.« less

An Informal History of Formal Proofs: From Vigor to Rigor?

ERIC Educational Resources Information Center

Galda, Klaus

1981-01-01

The history of formal mathematical proofs is sketched out, starting with the Greeks. Included in this document is a chronological guide to mathematics and the world, highlighting major events in the world and important mathematicians in corresponding times. (MP)

The ADVANCE project : formal evaluation of the targeted deployment. Volume 2

DOT National Transportation Integrated Search

1997-01-01

This document reports on the formal evaluation of the targeted (limited but highly focused) deployment of the Advanced Driver and Vehicle Advisory Navigation ConcEpt (ADVANCE), an in-vehicle advanced traveler information system designed to provide sh...

Battered wives--measures by the social and medical services.

PubMed Central

Bergman, B.; Brismar, B.

1990-01-01

The social files and medical records of 98 acutely battered wives who attended a surgical emergency department were studied. Although all women had been hospitalized during the decade preceding the present incident, wife battering was documented in the records in only 18%. The majority of the women (73%) were also known to the social services, but battering was documented in less than half of the cases in the social service files. The measures taken by the social services to help the battered women consisted mainly of economic support and psychotherapy. The cooperation between the medical and social services and the police in cases of wife battering was very limited or non-existent. It is concluded that support given to battered women by the formal sources of aid is insufficient. The documentation of the cases is poor, there is a lack of practical measures and the cooperation between the authorities is limited. This study indicates that the social and medical services underestimate the importance of informal help sources like women's groups or shelters which often are the most valued resources by the battered women themselves. With improved cooperation between authorities and between formal and informal sources of aid the battered wives could be helped more effectively. PMID:2349163

7 CFR 900.41 - Electronic document submission standards.

Code of Federal Regulations, 2012 CFR

2012-01-01

... 7 Agriculture 8 2012-01-01 2012-01-01 false Electronic document submission standards. 900.41... Agreements and Marketing Orders § 900.41 Electronic document submission standards. To the extent practicable.... Instructions for electronic filing shall be provided at the amendatory formal rulemaking hearing and in each...

7 CFR 900.41 - Electronic document submission standards.

Code of Federal Regulations, 2011 CFR

2011-01-01

... 7 Agriculture 8 2011-01-01 2011-01-01 false Electronic document submission standards. 900.41... Agreements and Marketing Orders § 900.41 Electronic document submission standards. To the extent practicable.... Instructions for electronic filing shall be provided at the amendatory formal rulemaking hearing and in each...

7 CFR 900.41 - Electronic document submission standards.

Code of Federal Regulations, 2014 CFR

2014-01-01

... 7 Agriculture 8 2014-01-01 2014-01-01 false Electronic document submission standards. 900.41... Agreements and Marketing Orders § 900.41 Electronic document submission standards. To the extent practicable.... Instructions for electronic filing shall be provided at the amendatory formal rulemaking hearing and in each...

7 CFR 900.41 - Electronic document submission standards.

Code of Federal Regulations, 2010 CFR

2010-01-01

... 7 Agriculture 8 2010-01-01 2010-01-01 false Electronic document submission standards. 900.41... Agreements and Marketing Orders § 900.41 Electronic document submission standards. To the extent practicable.... Instructions for electronic filing shall be provided at the amendatory formal rulemaking hearing and in each...

7 CFR 900.41 - Electronic document submission standards.

Code of Federal Regulations, 2013 CFR

2013-01-01

... 7 Agriculture 8 2013-01-01 2013-01-01 false Electronic document submission standards. 900.41... Agreements and Marketing Orders § 900.41 Electronic document submission standards. To the extent practicable.... Instructions for electronic filing shall be provided at the amendatory formal rulemaking hearing and in each...

Summary Report for ASC L2 Milestone #4782: Assess Newly Emerging Programming and Memory Models for Advanced Architectures on Integrated Codes

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

Neely, J. R.; Hornung, R.; Black, A.

This document serves as a detailed companion to the powerpoint slides presented as part of the ASC L2 milestone review for Integrated Codes milestone #4782 titled “Assess Newly Emerging Programming and Memory Models for Advanced Architectures on Integrated Codes”, due on 9/30/2014, and presented for formal program review on 9/12/2014. The program review committee is represented by Mike Zika (A Program Project Lead for Kull), Brian Pudliner (B Program Project Lead for Ares), Scott Futral (DEG Group Lead in LC), and Mike Glass (Sierra Project Lead at Sandia). This document, along with the presentation materials, and a letter of completionmore » signed by the review committee will act as proof of completion for this milestone.« less

[Formal quality assessment of informed consent documents in 9 hospitals].

PubMed

Calle-Urra, J E; Parra-Hidalgo, P; Saturno-Hernández, P J; Martínez-Martínez, M J; Navarro-Moya, F J

2013-01-01

Informed consent forms are very important in the process of medical information. The aim of this study is to design reliable formal quality criteria of these documents and their application in the evaluation of those used in the hospitals of a regional health service. Criteria have been designed from the analysis of existing regulations, previous studies and consultation with key experts. The interobserver concordance was assessed using the kappa index. Criteria evaluation was performed on 1425 documents of 9 hospitals. A total of 19 criteria used in the evaluation of the quality of informed consent forms have been obtained. Kappa values were higher than 0,60 in 17 of them and higher than 0,52 in the other 2. The average number of defects per document was 7.6, with a high-low ratio among hospitals of 1.84. More than 90% of the documents had defects in the information on consequences and contraindications, and in about 90% it did not mention the copy to the patient. More than 60% did not comply with stating the purpose of the procedure, a statement of having understood and clarified doubts, and the treatment options. A tool has been obtained to reliably assess the formal quality of the informed consent forms. The documents assessed have a wide margin for improvement related to giving a copy to the patient, and some aspects of the specific information that patients should receive. Copyright © 2012 SECA. Published by Elsevier Espana. All rights reserved.

Basins 4.0 Climate Assessment Tool (Cat): Supporting Documentation and User Manual (External Review Draft)

EPA Science Inventory

EPA has released of the draft document solely for the purpose of pre-dissemination peer review under applicable Information Quality Guidelines (IQGs). This document has not been formally disseminated by EPA. It does not represent and should not be construed to represent any Agenc...

What is the Final Verification of Engineering Requirements?

NASA Technical Reports Server (NTRS)

Poole, Eric

2010-01-01

This slide presentation reviews the process of development through the final verification of engineering requirements. The definition of the requirements is driven by basic needs, and should be reviewed by both the supplier and the customer. All involved need to agree upon a formal requirements including changes to the original requirements document. After the requirements have ben developed, the engineering team begins to design the system. The final design is reviewed by other organizations. The final operational system must satisfy the original requirements, though many verifications should be performed during the process. The verification methods that are used are test, inspection, analysis and demonstration. The plan for verification should be created once the system requirements are documented. The plan should include assurances that every requirement is formally verified, that the methods and the responsible organizations are specified, and that the plan is reviewed by all parties. The options of having the engineering team involved in all phases of the development as opposed to having some other organization continue the process once the design has been complete is discussed.

Some Trends and Reforms in the Educational Policy of Norway in the Light of the Concept of Life-Long Education.

ERIC Educational Resources Information Center

Udjus, Ingelise

An emphasis on planned and completed educational reforms in Norway which reflect the attitude that education is a lifelong process is presented in this document. A study is made of some of the trends in the development of the formal school system which have been influenced by the concept of life-long education. This study includes primary,…

WCOTP Annual Report 1978; Including the Formal Documents of the XXVII Assembly of Delegates, Jakarta, Indonesia, July 26-August 2, 1978.

ERIC Educational Resources Information Center

World Confederation of Organizations of the Teaching Profession, Morges (Switzerland).

Included in this annual report are: (1) a review of WCOTP activities presented on behalf of the executive committee; (2) resolutions passed by the XXVII Assembly of Delegates; (3) the program and budget for 1979-80; (4) WCOTP constitution and bylaws; (5) the financial statement for calendar year 1977; and (6) the WCOTP membership list. (DS)

45 CFR 73.735-806 - Documentation and publication of opinions.

Code of Federal Regulations, 2011 CFR

2011-10-01

... and accurate documentation of the formal advice and guidance given. (b) From time to time, the..., deleting, as necessary, any personal identifiers or other information which may give rise to an unwarranted...

45 CFR 73.735-806 - Documentation and publication of opinions.

Code of Federal Regulations, 2010 CFR

2010-10-01

... and accurate documentation of the formal advice and guidance given. (b) From time to time, the..., deleting, as necessary, any personal identifiers or other information which may give rise to an unwarranted...

Reactive documentation system

NASA Astrophysics Data System (ADS)

Boehnlein, Thomas R.; Kramb, Victoria

2018-04-01

Proper formal documentation of computer acquired NDE experimental data generated during research is critical to the longevity and usefulness of the data. Without documentation describing how and why the data was acquired, NDE research teams lose capability such as their ability to generate new information from previously collected data or provide adequate information so that their work can be replicated by others seeking to validate their research. Despite the critical nature of this issue, NDE data is still being generated in research labs without appropriate documentation. By generating documentation in series with data, equal priority is given to both activities during the research process. One way to achieve this is to use a reactive documentation system (RDS). RDS prompts an operator to document the data as it is generated rather than relying on the operator to decide when and what to document. This paper discusses how such a system can be implemented in a dynamic environment made up of in-house and third party NDE data acquisition systems without creating additional burden on the operator. The reactive documentation approach presented here is agnostic enough that the principles can be applied to any operator controlled, computer based, data acquisition system.

Towards the formal specification of the requirements and design of a processor interface unit

NASA Technical Reports Server (NTRS)

Fura, David A.; Windley, Phillip J.; Cohen, Gerald C.

1993-01-01

Work to formally specify the requirements and design of a Processor Interface Unit (PIU), a single-chip subsystem providing memory interface, bus interface, and additional support services for a commercial microprocessor within a fault-tolerant computer system, is described. This system, the Fault-Tolerant Embedded Processor (FTEP), is targeted towards applications in avionics and space requiring extremely high levels of mission reliability, extended maintenance free operation, or both. The approaches that were developed for modeling the PIU requirements and for composition of the PIU subcomponents at high levels of abstraction are described. These approaches were used to specify and verify a nontrivial subset of the PIU behavior. The PIU specification in Higher Order Logic (HOL) is documented in a companion NASA contractor report entitled 'Towards the Formal Specification of the Requirements and Design of a Processor Interfacs Unit - HOL Listings.' The subsequent verification approach and HOL listings are documented in NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit' and NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit - HOL Listings.'

Open Source Patient-Controlled Analgesic Pump Requirements Documentation

PubMed Central

Larson, Brian R.; Hatcliff, John; Chalin, Patrice

2014-01-01

The dynamic nature of the medical domain is driving a need for continuous innovation and improvement in techniques for developing and assuring medical devices. Unfortunately, research in academia and communication between academics, industrial engineers, and regulatory authorities is hampered by the lack of realistic non-proprietary development artifacts for medical devices. In this paper, we give an overview of a detailed requirements document for a Patient-Controlled Analgesic (PCA) pump developed under the US NSF’s Food and Drug Administration (FDA) Scholar-in-Residence (SIR) program. This 60+ page document follows the methodology outlined in the US Federal Aviation Administrations (FAA) Requirements Engineering Management Handbook (REMH) and includes a domain overview, use cases, statements of safety & security requirements, and formal top-level system architectural description. Based on previous experience with release of a requirements document for a cardiac pacemaker that spawned a number of research and pedagogical activities, we believe that the described PCA requirements document can be an important research enabler within the formal methods and software engineering communities. PMID:24931440

10 CFR 2.304 - Formal requirements for documents; signatures; acceptance for filing.

Code of Federal Regulations, 2010 CFR

2010-01-01

... documents. In addition to the requirements in this part, paper documents must be stapled or bound on the left side; typewritten, printed, or otherwise reproduced in permanent form on good unglazed paper of... not less than one inch. Text must be double-spaced, except that quotations may be single-spaced and...

Advance care planning in patients with incurable cancer: study protocol for a randomised controlled trial

PubMed Central

Clayton, Josephine; Butow, Phyllis N; Silvester, William; Detering, Karen; Hall, Jane; Kiely, Belinda E; Cebon, Jonathon; Clarke, Stephen; Bell, Melanie L; Stockler, Martin; Beale, Phillip; Tattersall, Martin H N

2016-01-01

Introduction There is limited evidence documenting the effectiveness of Advance Care Planning (ACP) in cancer care. The present randomised trial is designed to evaluate whether the administration of formal ACP improves compliance with patients' end-of-life (EOL) wishes and patient and family satisfaction with care. Methods and analysis A randomised control trial in eight oncology centres across New South Wales and Victoria, Australia, is designed to assess the efficacy of a formal ACP intervention for patients with cancer. Patients with incurable cancer and an expected survival of 3–12 months, plus a nominated family member or friend will be randomised to receive either standard care or standard care plus a formal ACP intervention. The project sample size is 210 patient–family/friend dyads. The primary outcome measure is family/friend-reported: (1) discussion with the patient about their EOL wishes and (2) perception that the patient's EOL wishes were met. Secondary outcome measures include: documentation of and compliance with patient preferences for medical intervention at the EOL; the family/friend's perception of the quality of the patient's EOL care; the impact of death on surviving family; patient–family and patient–healthcare provider communication about EOL care; patient and family/friend satisfaction with care; quality of life of patient and family/friend subsequent to trial entry, the patient's strength of preferences for quality of life and length of life; the costs of care subsequent to trial entry and place of death. Ethics and dissemination Ethical approval was received from the Sydney Local Health District (RPA Zone) Human Research Ethical Committee, Australia (Protocol number X13-0064). Study results will be submitted for publication in peer-reviewed journals and presented at national and international conferences. Trial registration number Pre-results; ACTRN12613001288718. PMID:27909034

Formal Versus Informal Interventions for Challenging Behaviour in Persons with Intellectual Disabilities

ERIC Educational Resources Information Center

Feldman, M. A.; Atkinson, L.; Foti-Gervais, L.; Condillac, R.

2004-01-01

Although effective, humane treatments exist for persons with intellectual disabilities (ID) who have challenging behaviour, little research has examined the extent to which clients receive formal, documented vs. undocumented interventions. Caregivers (of 625 persons with ID living in community and institutional residences in Ontario, Canada) were…

Development of German-English Machine Translation System.

ERIC Educational Resources Information Center

Lehmann, Winifred P.; Stachowitz, Rolf

This report documents efforts over a five-month period toward completion of a pilot system for machine translation of German scientific and technical literature into English. The report is divided into three areas: grammar formalism, programming, and linguistics. Work on grammar formalism concentrated mainly on increasing the power of the…

Education, Training and Work. Some Commonwealth Responses to Youth Unemployment.

ERIC Educational Resources Information Center

Commonwealth Secretariat, London (England).

This report documents programs linking education and work in the Commonwealth of Nations. It contains four parts: "Learning about Science and Technology Outside School: Project Review" (Keith Lewin, Roger Jones); "Education and Productive Work Linkages in the Formal and Non-Formal Educational Systems of the Commonwealth…

Protocol for a national prevalence study of advance care planning documentation and self-reported uptake in Australia

PubMed Central

Ruseckaite, Rasa; Detering, Karen M; Perera, Veronica; Walker, Lynne; Sinclair, Craig; Clayton, Josephine M; Nolte, Linda

2017-01-01

Introduction Advance care planning (ACP) is a process between a person, their family/carer(s) and healthcare providers that supports adults at any age or stage of health in understanding and sharing their personal values, life goals and preferences regarding future medical care. The Australian government funds a number of national initiatives aimed at increasing ACP uptake; however, there is currently no standardised Australian data on formal ACP documentation or self-reported uptake. This makes it difficult to evaluate the impact of ACP initiatives. This study aims to determine the Australian national prevalence of ACP and completion of Advance Care Directives (ACDs) in hospitals, aged care facilities and general practices. It will also explore people’s self-reported use of ACP and views about the process. Methods and analysis Researchers will conduct a national multicentre cross-sectional prevalence study, consisting of a record audit and surveys of people aged 65 years or more in three sectors. From 49 participating Australian organisations, 50 records will be audited (total of 2450 records). People whose records were audited, who speak English and have a decision-making capacity will also be invited to complete a survey. The primary outcome measure will be the number of people who have formal or informal ACP documentation that can be located in records within 15 min. Other outcomes will include demographics, measure of illness and functional capacity, details of ACP documentation (including type of document), location of documentation in the person’s records and whether current clinical care plans are consistent with ACP documentation. People will be surveyed, to measure self-reported interest, uptake and use of ACP/ACDs, and self-reported quality of life. Ethics and dissemination This protocol has been approved by the Austin Health Human Research Ethics Committee (reference HREC/17/Austin/83). Results will be submitted to international peer-reviewed journals and presented at international conferences. Trial registration number ACTRN12617000743369 PMID:29101142

2014 Wind Program Peer Review Report

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

none,

The Wind Program Peer Review Meeting was held March 24-28, 2014 in Arlington, VA. Principle investigators from the Energy Department, National Laboratories, academic, and industry representatives presented the progress of their DOE-funded research. This report documents the formal, rigorous evaluation process and findings of nine independent reviewers who examined the technical, scientific, and business results of Wind Program funded projects, as well as the productivity and management effectiveness of the Wind Program itself.

Formal methods and digital systems validation for airborne systems

NASA Technical Reports Server (NTRS)

Rushby, John

1993-01-01

This report has been prepared to supplement a forthcoming chapter on formal methods in the FAA Digital Systems Validation Handbook. Its purpose is as follows: to outline the technical basis for formal methods in computer science; to explain the use of formal methods in the specification and verification of software and hardware requirements, designs, and implementations; to identify the benefits, weaknesses, and difficulties in applying these methods to digital systems used on board aircraft; and to suggest factors for consideration when formal methods are offered in support of certification. These latter factors assume the context for software development and assurance described in RTCA document DO-178B, 'Software Considerations in Airborne Systems and Equipment Certification,' Dec. 1992.

External Service Providers to the National Security Technology Incubator: Formalization of Relationships

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

None

2008-04-30

This report documents the formalization of relationships with external service providers in the development of the National Security Technology Incubator (NSTI). The technology incubator is being developed as part of the National Security Preparedness Project (NSPP), funded by a Department of Energy (DOE)/National Nuclear Security Administration (NNSA) grant. This report summarizes the process in developing and formalizing relationships with those service providers and includes a sample letter of cooperation executed with each provider.

Understanding human resource management practices in Botswana's public health sector.

PubMed

Seitio-Kgokgwe, Onalenna Stannie; Gauld, Robin; Hill, Philip C; Barnett, Pauline

2016-11-21

Purpose The purpose of this paper is to assess the management of the public sector health workforce in Botswana. Using institutional frameworks it aims to document and analyse human resource management (HRM) practices, and make recommendations to improve employee and health system outcomes. Design/methodology/approach The paper draws from a large study that used a mixed methods approach to assess performance of Botswana's Ministry of Health (MOH). It uses data collected through document analysis and in-depth interviews of 54 key informants comprising policy makers, senior staff of the MOH and its stakeholder organizations. Findings Public health sector HRM in Botswana has experienced inadequate planning, poor deployment and underutilization of staff. Lack of comprehensive retention strategies and poor working conditions contributed to the failure to attract and retain skilled personnel. Relationships with both formal and informal environments affected HRM performance. Research limitations/implications While document review was a major source of data for this paper, the weaknesses in the human resource information system limited availability of data. Practical implications This paper presents an argument for the need for consideration of formal and informal environments in developing effective HRM strategies. Originality/value This research provides a rare system-wide approach to health HRM in a Sub-Saharan African country. It contributes to the literature and evidence needed to guide HRM policy decisions and practices.

IGES, a key interface specification for CAD/CAM systems integration

NASA Technical Reports Server (NTRS)

Smith, B. M.; Wellington, J.

1984-01-01

The Initial Graphics Exchange Specification (IGES) program has focused the efforts of 52 companies on the development and documentation of a means of graphics data base exchange among present day CAD/CAM systems. The project's brief history has seen the evolution of the Specification into preliminary industrial usage marked by public demonstrations of vendor capability, mandatory requests in procurement actions, and a formalization into an American National Standard in September 1981. Recent events have demonstrated intersystem data exchange among seven vendor systems with a total of 30 vendors committing to offer IGES capability. A full range of documentation supports the IGES project and the recently approved IGES Version 2.0 of the Specification.

Internment of Japanese Americans. Documents from the National Archives Series.

ERIC Educational Resources Information Center

National Archives and Records Administration, Washington, DC.

This booklet provides samples of documents relating to the internment of some 122,000 Japanese Americans during World War II by Executive Order 9066. The documents cover the time span from the Executive Order in 1942 to 1988 when the U.S. government formally acknowledged the injustice of the internment and provided restitution to the victims. The…

46 CFR 11.301 - Requirements for STCW officer endorsements.

Code of Federal Regulations, 2014 CFR

2014-10-01

... specialist. (vii) Workshop skills training: Documentation of successful completion of assessments or... engineering—as appropriate. (ii) Training ship experience: Documentation of successful completion of an approved training program involving formal training and assessment onboard a training ship. (iii) Simulator...

Non-Formal Alternatives to Schooling: A Glossary of Educational Methods.

ERIC Educational Resources Information Center

Massachusetts Univ., Amherst. Center for International Education.

This document describes activities in the field of nonformal education as an aid to educators as they develop programs to meet individual student needs. Advantages of nonformal education include that it is need-oriented, less expensive than formal systems, flexible, involves peer teaching, and does not encourage elitist feelings among students.…

Social Reproduction in Non-Formal Adult Education: The Case of Rural Mozambique

ERIC Educational Resources Information Center

Straubhaar, Rolf

2014-01-01

Using fieldnotes from the non-formal adult education classes run by a non-profit international education with ground operations in rural Mozambique, this article documents how the comments made by class facilitators and class participants in those classes reflect inherent power inequalities between non-profit staff and local participants. These…

An Ontology for State Analysis: Formalizing the Mapping to SysML

NASA Technical Reports Server (NTRS)

Wagner, David A.; Bennett, Matthew B.; Karban, Robert; Rouquette, Nicolas; Jenkins, Steven; Ingham, Michel

2012-01-01

State Analysis is a methodology developed over the last decade for architecting, designing and documenting complex control systems. Although it was originally conceived for designing robotic spacecraft, recent applications include the design of control systems for large ground-based telescopes. The European Southern Observatory (ESO) began a project to design the European Extremely Large Telescope (E-ELT), which will require coordinated control of over a thousand articulated mirror segments. The designers are using State Analysis as a methodology and the Systems Modeling Language (SysML) as a modeling and documentation language in this task. To effectively apply the State Analysis methodology in this context it became necessary to provide ontological definitions of the concepts and relations in State Analysis and greater flexibility through a mapping of State Analysis into a practical extension of SysML. The ontology provides the formal basis for verifying compliance with State Analysis semantics including architectural constraints. The SysML extension provides the practical basis for applying the State Analysis methodology with SysML tools. This paper will discuss the method used to develop these formalisms (the ontology), the formalisms themselves, the mapping to SysML and approach to using these formalisms to specify a control system and enforce architectural constraints in a SysML model.

Improving automation standards via semantic modelling: Application to ISA88.

PubMed

Dombayci, Canan; Farreres, Javier; Rodríguez, Horacio; Espuña, Antonio; Graells, Moisès

2017-03-01

Standardization is essential for automation. Extensibility, scalability, and reusability are important features for automation software that rely in the efficient modelling of the addressed systems. The work presented here is from the ongoing development of a methodology for semi-automatic ontology construction methodology from technical documents. The main aim of this work is to systematically check the consistency of technical documents and support the improvement of technical document consistency. The formalization of conceptual models and the subsequent writing of technical standards are simultaneously analyzed, and guidelines proposed for application to future technical standards. Three paradigms are discussed for the development of domain ontologies from technical documents, starting from the current state of the art, continuing with the intermediate method presented and used in this paper, and ending with the suggested paradigm for the future. The ISA88 Standard is taken as a representative case study. Linguistic techniques from the semi-automatic ontology construction methodology is applied to the ISA88 Standard and different modelling and standardization aspects that are worth sharing with the automation community is addressed. This study discusses different paradigms for developing and sharing conceptual models for the subsequent development of automation software, along with presenting the systematic consistency checking method. Copyright © 2017 ISA. Published by Elsevier Ltd. All rights reserved.

2014 Water Power Program Peer Review Report

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

none,

2014-08-18

The Water Power Peer Review Meeting was held February 24-28, 2014 in Arlington, VA. Principle investigators from the Energy Department National Laboratories, academic, and industry representatives presented the progress of their DOE-funded research. This report documents the formal, rigorous evaluation process and findings of nine independent reviewers who examined the technical, scientific, and business results of 96 projects of the Water Power Program, as well as the productivity and management effectiveness of the Water Power Program itself.

The Production Data Approach for Full Lifecycle Management

NASA Astrophysics Data System (ADS)

Schopf, J.

2012-04-01

The amount of data generated by scientists is growing exponentially, and studies have shown [Koe04] that un-archived data sets have a resource half-life that is only a fraction of those resources that are electronically archived. Most groups still lack standard approaches and procedures for data management. Arguably, however, scientists know something about building software. A recent article in Nature [Mer10] stated that 45% of research scientists spend more time now developing software than they did 5 years ago, and 38% spent at least 1/5th of their time developing software. Fox argues [Fox10] that a simple release of data is not the correct approach to data curation. In addition, just as software is used in a wide variety of ways never initially envisioned by its developers, we're seeing this even to a greater extent with data sets. In order to address the need for better data preservation and access, we propose that data sets should be managed in a similar fashion to building production quality software. These production data sets are not simply published once, but go through a cyclical process, including phases such as design, development, verification, deployment, support, analysis, and then development again, thereby supporting the full lifecycle of a data set. The process involved in academically-produced software changes over time with respect to issues such as how much it is used outside the development group, but factors in aspects such as knowing who is using the code, enabling multiple developers to contribute to code development with common procedures, formal testing and release processes, developing documentation, and licensing. When we work with data, either as a collection source, as someone tagging data, or someone re-using it, many of the lessons learned in building production software are applicable. Table 1 shows a comparison of production software elements to production data elements. Table 1: Comparison of production software and production data. Production Software Production Data End-user considerations End-user considerations Multiple Coders: Repository with check-in procedures Coding standards Multiple producers/collectors Local archive with check-in procedure Metadata Standards Formal testing Formal testing Bug tracking and fixes Bug tracking and fixes, QA/QC Documentation Documentation Formal Release Process Formal release process to external archive License Citation/usage statement The full presentation of this abstract will include a detailed discussion of these issues so that researchers can produce usable and accessible data sets as a first step toward reproducible science. By creating production-quality data sets, we extend the potential of our data, both in terms of usability and usefulness to ourselves and other researchers. The more we treat data with formal processes and release cycles, the more relevant and useful it can be to the scientific community.

Lab notebooks as scientific communication: Investigating development from undergraduate courses to graduate research

NASA Astrophysics Data System (ADS)

Stanley, Jacob T.; Lewandowski, H. J.

2016-12-01

In experimental physics, lab notebooks play an essential role in the research process. For all of the ubiquity of lab notebooks, little formal attention has been paid to addressing what is considered "best practice" for scientific documentation and how researchers come to learn these practices in experimental physics. Using interviews with practicing researchers, namely, physics graduate students, we explore the different experiences researchers had in learning how to effectively use a notebook for scientific documentation. We find that very few of those interviewed thought that their undergraduate lab classes successfully taught them the benefit of maintaining a lab notebook. Most described training in lab notebook use as either ineffective or outright missing from their undergraduate lab course experience. Furthermore, a large majority of those interviewed explained that they did not receive any formal training in maintaining a lab notebook during their graduate school experience and received little to no feedback from their advisors on these records. Many of the interviewees describe learning the purpose of, and how to maintain, these kinds of lab records only after having a period of trial and error, having already started doing research in their graduate program. Despite the central role of scientific documentation in the research enterprise, these physics graduate students did not gain skills in documentation through formal instruction, but rather through informal hands-on practice.

17 CFR 12.11 - Formalities of filing of documents with the Proceedings Clerk.

Code of Federal Regulations, 2011 CFR

2011-04-01

... must be on good quality white paper, 81/2 by 111/2 inches and bound at the top only. Documents e-mailed... copies. Unless otherwise specifically provided, or unless filed by fax or e-mail in accordance with the... Proceedings Clerk. (b) Title page. All documents filed with the Proceedings Clerk must include at the head...

17 CFR 12.11 - Formalities of filing of documents with the Proceedings Clerk.

Code of Federal Regulations, 2010 CFR

2010-04-01

... must be on good quality white paper, 81/2 by 111/2 inches and bound at the top only. Documents e-mailed... copies. Unless otherwise specifically provided, or unless filed by fax or e-mail in accordance with the... Proceedings Clerk. (b) Title page. All documents filed with the Proceedings Clerk must include at the head...

Seeking to Bridge the Divide: Linking Formal and Non-Formal Education in Uttar-Pradesh, India. IBE Collaborative Projects: Strengthening Capacities through Action

ERIC Educational Resources Information Center

Zutshi, Bupinder

2004-01-01

The new monograph series, IBE Collaborative Projects: Strengthening Capacities through Action, documents projects initiated and managed by local or national level institutions in diverse countries, which have been technically or academically assisted by UNESCO's International Bureau of Education (IBE). This first publication in the series…

Policy Review on Adult Learning: The Adult Non-Formal Education Policy of Mali, West Africa

ERIC Educational Resources Information Center

Gadio, Moussa

2011-01-01

This article focuses on the issue of policy development for adult learning in Mali, West Africa. On January 2007, the Malian government adopted the "Adult Non-formal Education Policy Document," which was intended to regulate the adult learning sector and federate the actions of policy makers, adult education providers, and adult…

Growing the Desert: Educational Pathways for Remote Indigenous People. Support Document

ERIC Educational Resources Information Center

Collier, Pam; King, Sharijn; Lawrence, Kate; Nangala, Irene; Nangala, Marilyn; Schaber, Evelyn; Young, Metta; Guenther, John; Oster, John

2007-01-01

As part of a project funded by the National Centre for Vocational Education and Research (NCVER) and the Desert Knowledge CRC (DKCRC), the "Growing the desert" research team have conducted a broad-ranging analysis of the role of formal and non-formal training opportunities that lead to employment and enterprise opportunities in the…

Software Safety Analysis of a Flight Guidance System

NASA Technical Reports Server (NTRS)

Butler, Ricky W. (Technical Monitor); Tribble, Alan C.; Miller, Steven P.; Lempia, David L.

2004-01-01

This document summarizes the safety analysis performed on a Flight Guidance System (FGS) requirements model. In particular, the safety properties desired of the FGS model are identified and the presence of the safety properties in the model is formally verified. Chapter 1 provides an introduction to the entire project, while Chapter 2 gives a brief overview of the problem domain, the nature of accidents, model based development, and the four-variable model. Chapter 3 outlines the approach. Chapter 4 presents the results of the traditional safety analysis techniques and illustrates how the hazardous conditions associated with the system trace into specific safety properties. Chapter 5 presents the results of the formal methods analysis technique model checking that was used to verify the presence of the safety properties in the requirements model. Finally, Chapter 6 summarizes the main conclusions of the study, first and foremost that model checking is a very effective verification technique to use on discrete models with reasonable state spaces. Additional supporting details are provided in the appendices.

Requirements-Based Conformance Testing of ARINC 653 Real-Time Operating Systems

NASA Astrophysics Data System (ADS)

Maksimov, Andrey

2010-08-01

Requirements-based testing is emphasized in avionics certification documents because this strategy has been found to be the most effective at revealing errors. This paper describes the unified requirements-based approach to the creation of conformance test suites for mission-critical systems. The approach uses formal machine-readable specifications of requirements and finite state machine model for test sequences generation on-the-fly. The paper also presents the test system for automated test generation for ARINC 653 services built on this approach. Possible application of the presented approach to various areas of avionics embedded systems testing is discussed.

The implementation and use of Ada on distributed systems with high reliability requirements

NASA Technical Reports Server (NTRS)

Knight, J. C.

1987-01-01

A preliminary analysis of the Ada implementation of the Advanced Transport Operating System (ATOPS), an experimental computer control system developed at NASA Langley for a modified Boeing 737 aircraft, is presented. The criteria that was determined for the evaluation of this approach is described. A preliminary version of the requirements for the ATOPS is contained. This requirements specification is not a formal document, but rather a description of certain aspects of the ATOPS system at a level of detail that best suits the needs of the research. The survey of backward error recovery techniques is also presented.

Defense Partnerships: Documenting Trends and Emerging Topics for Action

DTIC Science & Technology

2015-03-01

between the air force research lab and antelope Valley College (aVC) results in increases in number of scientists, engi- neers, and technicians from...guiding document, tool, or resource should address best prac- tices for project valuation , what types of formalized arrangements are acceptable, and

33 CFR 148.246 - When is a document considered filed and where should I file it?

Code of Federal Regulations, 2010 CFR

2010-07-01

... filed and where should I file it? 148.246 Section 148.246 Navigation and Navigable Waters COAST GUARD... Formal Hearings § 148.246 When is a document considered filed and where should I file it? (a) If a document to be filed is submitted by mail, it is considered filed on the date it is postmarked. If a...

Trials and Tribulations: Student Approaches and Difficulties with Proposing Mechanisms Using the Electron-Pushing Formalism

ERIC Educational Resources Information Center

Bhattacharyya, Gautam

2014-01-01

The skill of proposing mechanisms of reactions using the electron-pushing formalism (EPF) is not only of value to practicing organic chemists but it is also emphasized to students enrolled in organic chemistry courses at all levels. Several research studies in the past decade have documented the difficulties that undergraduate, and even graduate…

A Comparative Study of Pre-Service Education for Preschool Teachers in China and the United States

ERIC Educational Resources Information Center

Gong, Xin; Wang, Pengcheng

2017-01-01

This study provides a comparative analysis of the pre-service education system for preschool educators in China and the United States. Based on collected data and materials (literature, policy documents, and statistical data), we compare two areas of pre-service training: (1) the formal system; (2) the informal system. In the formal system, most…

Climate Change Vulnerability Assessments: Four Case Studies of Water Utility Practices (External Review Draft)

EPA Science Inventory

EPA has released this draft document solely for the purpose of pre-dissemination peer review under applicable information quality guidelines. This document has not been formally disseminated by EPA. It does not represent and should not be construed to represent any Agency policy ...

49 CFR 551.31 - Form of communications.

Code of Federal Regulations, 2010 CFR

2010-10-01

... communications. Any communication in writing relating to official business (including formal documents) shall be... 49 Transportation 6 2010-10-01 2010-10-01 false Form of communications. 551.31 Section 551.31... other documents that are attached to communications shall be folded to this size, if possible. The left...

Restraint practices in Australasian emergency departments.

PubMed

Cannon, M E; Sprivulis, P; McCarthy, J

2001-08-01

The objective of this study was to estimate the use of restraint techniques and evaluate restraint policies and training in Australasian emergency departments A survey of 116 Australasian emergency departments was conducted to determine the type, indications/contraindications, training, policies, documentation and audit requirements for restraint. The overall estimated rate of patient restraint is 3.3 episodes per 1000 presentations. The commonest indications for restraint are violence or threatened violence (52%), psychosis (32%) and acute brain syndrome (10%). Major contraindications are medical instability, risk of harm to staff in applying restraint and the availability of alternatives to restraint. Chemical restraint is used in all emergency departments surveyed. The commonest agents used are haloperidol (93%), midazolam (82%) and diazepam (59%). At least one benzodiazepine and one major tranquilliser are used in 97% of emergency departments. Manual restraint (87%) is frequently used as a prelude to chemical or, less frequently, mechanical restraint (69%). Seclusion restraint is used in 23% of Australasian emergency departments. Formal training is most commonly undertaken for chemical restraint, being used in 33% of departments surveyed. Less than half of the departments have written policies guiding the use of restraint, and only 11% audit their use of restraint. A specific form for restraint documentation is used in only one emergency department. Patient restraint is a common procedure in Australasian emergency departments. There is little formal training in, or documentation or audit of, restraint practices in Australasian emergency departments, despite the important clinical, occupational health and medical legal issues associated with the use of restraint.

A Semantic Approach for Geospatial Information Extraction from Unstructured Documents

NASA Astrophysics Data System (ADS)

Sallaberry, Christian; Gaio, Mauro; Lesbegueries, Julien; Loustau, Pierre

Local cultural heritage document collections are characterized by their content, which is strongly attached to a territory and its land history (i.e., geographical references). Our contribution aims at making the content retrieval process more efficient whenever a query includes geographic criteria. We propose a core model for a formal representation of geographic information. It takes into account characteristics of different modes of expression, such as written language, captures of drawings, maps, photographs, etc. We have developed a prototype that fully implements geographic information extraction (IE) and geographic information retrieval (IR) processes. All PIV prototype processing resources are designed as Web Services. We propose a geographic IE process based on semantic treatment as a supplement to classical IE approaches. We implement geographic IR by using intersection computing algorithms that seek out any intersection between formal geocoded representations of geographic information in a user query and similar representations in document collection indexes.

Region 4 Formal Objection to the Century Aluminum of Kentucky Title V Permit

EPA Pesticide Factsheets

This document may be of assistance in applying the Title V air operating permit regulations. This document is part of the Title V Policy and Guidance Database available at www2.epa.gov/title-v-operating-permits/title-v-operating-permit-policy-and-guidance-document-index. Some documents in the database are a scanned or retyped version of a paper photocopy of the original. Although we have taken considerable effort to quality assure the documents, some may contain typographical errors. Contact the office that issued the document if you need a copy of the original.

Structured representation for requirements and specifications

NASA Technical Reports Server (NTRS)

Cohen, Gerald C.; Fisher, Gene; Frincke, Deborah; Wolber, Dave

1991-01-01

This document was generated in support of NASA contract NAS1-18586, Design and Validation of Digital Flight Control Systems suitable for Fly-By-Wire Applications, Task Assignment 2. Task 2 is associated with a formal representation of requirements and specifications. In particular, this document contains results associated with the development of a Wide-Spectrum Requirements Specification Language (WSRSL) that can be used to express system requirements and specifications in both stylized and formal forms. Included with this development are prototype tools to support the specification language. In addition a preliminary requirements specification methodology based on the WSRSL has been developed. Lastly, the methodology has been applied to an Advanced Subsonic Civil Transport Flight Control System.

Protocol for a national prevalence study of advance care planning documentation and self-reported uptake in Australia.

PubMed

Ruseckaite, Rasa; Detering, Karen M; Evans, Sue M; Perera, Veronica; Walker, Lynne; Sinclair, Craig; Clayton, Josephine M; Nolte, Linda

2017-11-03

Advance care planning (ACP) is a process between a person, their family/carer(s) and healthcare providers that supports adults at any age or stage of health in understanding and sharing their personal values, life goals and preferences regarding future medical care. The Australian government funds a number of national initiatives aimed at increasing ACP uptake; however, there is currently no standardised Australian data on formal ACP documentation or self-reported uptake. This makes it difficult to evaluate the impact of ACP initiatives. This study aims to determine the Australian national prevalence of ACP and completion of Advance Care Directives (ACDs) in hospitals, aged care facilities and general practices. It will also explore people's self-reported use of ACP and views about the process. Researchers will conduct a national multicentre cross-sectional prevalence study, consisting of a record audit and surveys of people aged 65 years or more in three sectors. From 49 participating Australian organisations, 50 records will be audited (total of 2450 records). People whose records were audited, who speak English and have a decision-making capacity will also be invited to complete a survey. The primary outcome measure will be the number of people who have formal or informal ACP documentation that can be located in records within 15 min. Other outcomes will include demographics, measure of illness and functional capacity, details of ACP documentation (including type of document), location of documentation in the person's records and whether current clinical care plans are consistent with ACP documentation. People will be surveyed, to measure self-reported interest, uptake and use of ACP/ACDs, and self-reported quality of life. This protocol has been approved by the Austin Health Human Research Ethics Committee (reference HREC/17/Austin/83). Results will be submitted to international peer-reviewed journals and presented at international conferences. ACTRN12617000743369. © Article author(s) (or their employer(s) unless otherwise stated in the text of the article) 2017. All rights reserved. No commercial use is permitted unless otherwise expressly granted.

Warfighting Concepts to Future Weapon System Designs (WARCON)

DTIC Science & Technology

2003-09-12

34* Software design documents rise to litigation. "* A Material List "Cost information that may support, or may * Final Engineering Process Maps be...document may include design the system as derived from the engineering design, software development, SRD. MTS Technologies, Inc. 26 FOR OFFICIAL USE...document, early in the development phase. It is software engineers produce the vision of important to establish a standard, formal the design effort. As

Roadmap for the international, accelerator-based neutrino programme

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

Cao, J.; de Gouvêa, A.; Duchesneau, D.

In line with its terms of reference the ICFA Neutrino Panel has developed a roadmap for the international, accelerator-based neutrino programme. A "roadmap discussion document" was presented in May 2016 taking into account the peer-group-consultation described in the Panel's initial report. The "roadmap discussion document" was used to solicit feedback from the neutrino community---and more broadly, the particle- and astroparticle-physics communities---and the various stakeholders in the programme. The roadmap, the conclusions and recommendations presented in this document take into account the comments received following the publication of the roadmap discussion document. With its roadmap the Panel documents the approved objectivesmore » and milestones of the experiments that are presently in operation or under construction. Approval, construction and exploitation milestones are presented for experiments that are being considered for approval. The timetable proposed by the proponents is presented for experiments that are not yet being considered formally for approval. Based on this information, the evolution of the precision with which the critical parameters governinger the neutrino are known has been evaluated. Branch or decision points have been identified based on the anticipated evolution in precision. The branch or decision points have in turn been used to identify desirable timelines for the neutrino-nucleus cross section and hadro-production measurements that are required to maximise the integrated scientific output of the programme. The branch points have also been used to identify the timeline for the R&D required to take the programme beyond the horizon of the next generation of experiments. The theory and phenomenology programme, including nuclear theory, required to ensure that maximum benefit is derived from the experimental programme is also discussed.« less

Modeling Interferometric Structures with Birefringent Elements: A Linear Vector-Space Formalism

DTIC Science & Technology

2013-11-12

Annapolis, Maryland ViNceNt J. Urick FraNk BUcholtz Photonics Technology Branch Optical Sciences Division i REPORT DOCUMENTATION PAGE Form...a Linear Vector-Space Formalism Nicholas J. Frigo,1 Vincent J. Urick , and Frank Bucholtz Naval Research Laboratory, Code 5650 4555 Overlook Avenue, SW...Annapolis, MD Unclassified Unlimited Unclassified Unlimited Unclassified Unlimited Unclassified Unlimited 29 Vincent J. Urick (202) 767-9352 Coupled mode

Advance care planning in patients with incurable cancer: study protocol for a randomised controlled trial.

PubMed

Johnson, Stephanie; Clayton, Josephine; Butow, Phyllis N; Silvester, William; Detering, Karen; Hall, Jane; Kiely, Belinda E; Cebon, Jonathon; Clarke, Stephen; Bell, Melanie L; Stockler, Martin; Beale, Phillip; Tattersall, Martin H N

2016-12-01

There is limited evidence documenting the effectiveness of Advance Care Planning (ACP) in cancer care. The present randomised trial is designed to evaluate whether the administration of formal ACP improves compliance with patients' end-of-life (EOL) wishes and patient and family satisfaction with care. A randomised control trial in eight oncology centres across New South Wales and Victoria, Australia, is designed to assess the efficacy of a formal ACP intervention for patients with cancer. Patients with incurable cancer and an expected survival of 3-12 months, plus a nominated family member or friend will be randomised to receive either standard care or standard care plus a formal ACP intervention. The project sample size is 210 patient-family/friend dyads. The primary outcome measure is family/friend-reported: (1) discussion with the patient about their EOL wishes and (2) perception that the patient's EOL wishes were met. Secondary outcome measures include: documentation of and compliance with patient preferences for medical intervention at the EOL; the family/friend's perception of the quality of the patient's EOL care; the impact of death on surviving family; patient-family and patient-healthcare provider communication about EOL care; patient and family/friend satisfaction with care; quality of life of patient and family/friend subsequent to trial entry, the patient's strength of preferences for quality of life and length of life; the costs of care subsequent to trial entry and place of death. Ethical approval was received from the Sydney Local Health District (RPA Zone) Human Research Ethical Committee, Australia (Protocol number X13-0064). Study results will be submitted for publication in peer-reviewed journals and presented at national and international conferences. Pre-results; ACTRN12613001288718. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://www.bmj.com/company/products-services/rights-and-licensing/.

Orbiter Avionics Radiation Handbook

NASA Technical Reports Server (NTRS)

Reddell, Brandon D.

1999-01-01

This handbook was assembled to document he radiation environment for design of Orbiter avionics. It also maps the environment through vehicle shielding and mission usage into discrete requirements such as total dose. Some details of analytical techniques for calculating radiation effects are provided. It is anticipated that appropriate portions of this document will be added to formal program specifications.

Some Critical Reflections on Lifelong Learning Policy in Turkey

ERIC Educational Resources Information Center

Sayilan, Fevziye

2015-01-01

This paper discusses the Lifelong Learning Strategy document which was on the agenda during the European Union harmonization process of Turkey. The public policies in the document, regarding non-formal and adult education, will be analyzed. Lifelong Learning strategy became a current issue in the last stage of neoliberal transformation of…

Quantitative and qualitative analysis of study-related patient information sheets in randomised neuro-oncology phase III-trials.

PubMed

Reinert, Christiane; Kremmler, Lukas; Burock, Susen; Bogdahn, Ulrich; Wick, Wolfgang; Gleiter, Christoph H; Koller, Michael; Hau, Peter

2014-01-01

In randomised controlled trials (RCTs), patient informed consent documents are an essential cornerstone of the study flow. However, these documents are often oversized in format and content. Clinical experience suggests that study information sheets are often not used as an aid to decision-making due to their complexity. We analysed nine patient informed consent documents from clinical neuro-oncological phase III-studies running at a German Brain Tumour Centre with the objective to investigate the quality of these documents. Text length, formal layout, readability, application of ethical and legal requirements, scientific evidence and social aspects were used as rating categories. Results were assessed quantitatively by two independents investigators and were depicted using net diagrams. All patient informed consent documents were of insufficient quality in all categories except that ethical and legal requirements were fulfilled. Notably, graduate levels were required to read and understand five of nine consent documents. Quality deficits were consistent between the individual study information texts. Irrespective of formal aspects, a document that is intended to inform and motivate patients to participate in a study needs to be well-structured and understandable. We therefore strongly mandate to re-design patient informed consent documents in a patient-friendly way. Specifically, standardised components with a scientific foundation should be provided that could be retrieved at various times, adapted to the mode of treatment and the patient's knowledge, and could weigh information dependent of the stage of treatment decision. Copyright © 2013 Elsevier Ltd. All rights reserved.

Education Facing the Crisis of Values: Strategies for Strengthening Humanistic, Cultural, and International Values in Formal and Non-Formal Education.

ERIC Educational Resources Information Center

United Nations Educational, Scientific, and Cultural Organization, Paris (France).

This document was prepared on the basis of discussions at a workshop organized by UNESCO and other groups on the subject of education facing the crisis of values from the point of view of: (1) cultural identity and cultural diversity in education; (2) humanistic, ethical, and aesthetic values in education; and (3) education facing the ethical…

Applying formal methods and object-oriented analysis to existing flight software

NASA Technical Reports Server (NTRS)

Cheng, Betty H. C.; Auernheimer, Brent

1993-01-01

Correctness is paramount for safety-critical software control systems. Critical software failures in medical radiation treatment, communications, and defense are familiar to the public. The significant quantity of software malfunctions regularly reported to the software engineering community, the laws concerning liability, and a recent NRC Aeronautics and Space Engineering Board report additionally motivate the use of error-reducing and defect detection software development techniques. The benefits of formal methods in requirements driven software development ('forward engineering') is well documented. One advantage of rigorously engineering software is that formal notations are precise, verifiable, and facilitate automated processing. This paper describes the application of formal methods to reverse engineering, where formal specifications are developed for a portion of the shuttle on-orbit digital autopilot (DAP). Three objectives of the project were to: demonstrate the use of formal methods on a shuttle application, facilitate the incorporation and validation of new requirements for the system, and verify the safety-critical properties to be exhibited by the software.

Using SCR methods to analyze requirements documentation

NASA Technical Reports Server (NTRS)

Callahan, John; Morrison, Jeffery

1995-01-01

Software Cost Reduction (SCR) methods are being utilized to analyze and verify selected parts of NASA's EOS-DIS Core System (ECS) requirements documentation. SCR is being used as a spot-inspection tool. Through this formal and systematic approach of the SCR requirements methods, insights as to whether the requirements are internally inconsistent or incomplete as the scenarios of intended usage evolve in the OC (Operations Concept) documentation. Thus, by modelling the scenarios and requirements as mode charts using the SCR methods, we have been able to identify problems within and between the documents.

Learning in non-formal education: Is it "youthful" for youth in action?

NASA Astrophysics Data System (ADS)

Norqvist, Lars; Leffler, Eva

2017-04-01

This article offers insights into the practices of a non-formal education programme for youth provided by the European Union (EU). It takes a qualitative approach and is based on a case study of the European Voluntary Service (EVS). Data were collected during individual and focus group interviews with learners (the EVS volunteers), decision takers and trainers, with the aim of deriving an understanding of learning in non-formal education. The research questions concerned learning, the recognition of learning and perspectives of usefulness. The study also examined the Youthpass documentation tool as a key to understanding the recognition of learning and to determine whether the learning was useful for learners (the volunteers). The findings and analysis offer several interpretations of learning, and the recognition of learning, which take place in non-formal education. The findings also revealed that it is complicated to divide learning into formal and non- formal categories; instead, non-formal education is useful for individual learners when both formal and non-formal educational contexts are integrated. As a consequence, the division of formal and non-formal (and possibly even informal) learning creates a gap which works against the development of flexible and interconnected education with ubiquitous learning and mobility within and across formal and non-formal education. This development is not in the best interests of learners, especially when seeking useful learning and education for youth (what the authors term "youthful" for youth in action).

Report on the Desirability of Adopting an International Instrument for the Protection of Translators.

ERIC Educational Resources Information Center

United Nations Educational, Scientific, and Cultural Organization, Paris (France).

This report contains the formal documents leading to the inclusion on the provisional agenda of UNESCO's 1972 General Conference of a discussion considering the desirability of adopting an instrument for the protection of translators. Included in the document is the "Preliminary Study of the Technical and Legal Aspects of Copyright Protection for…

Sense and Sensibility in Technical Documentation: How Feminist Interpretation Strategies Can Save Lives in the Nation's Mines.

ERIC Educational Resources Information Center

Sauer, Beverly A.

This article analyzes post-accident investigation reports from a feminist perspective, showing how a feminist interpretation can change the way technical writers look at expertise and evidence. In comparing formal documentation of mine inspection reports with women's testimony about conditions in the mines, the article shows: (1) how the…

Problem Formulation for Human Health Risk Assessments of Pathogens in Land-Applied Biosolids (External Review Draft)

EPA Science Inventory

This is a draft document and as such has not been formally disseminated by the U.S. EPA; it does not represent - and should not be construed to represent - any U.S. EPA policy or determination. Under applicable information quality guidelines, the document is being released for a...

Portable Wireless LAN Device and Two-Way Radio Threat Assessment for Aircraft VHF Communication Radio Band

NASA Technical Reports Server (NTRS)

Nguyen, Truong X.; Koppen, Sandra V.; Ely, Jay J.; Williams, Reuben A.; Smith, Laura J.; Salud, Maria Theresa P.

2004-01-01

This document summarizes the safety analysis performed on a Flight Guidance System (FGS) requirements model. In particular, the safety properties desired of the FGS model are identified and the presence of the safety properties in the model is formally verified. Chapter 1 provides an introduction to the entire project, while Chapter 2 gives a brief overview of the problem domain, the nature of accidents, model based development, and the four-variable model. Chapter 3 outlines the approach. Chapter 4 presents the results of the traditional safety analysis techniques and illustrates how the hazardous conditions associated with the system trace into specific safety properties. Chapter 5 presents the results of the formal methods analysis technique model checking that was used to verify the presence of the safety properties in the requirements model. Finally, Chapter 6 summarizes the main conclusions of the study, first and foremost that model checking is a very effective verification technique to use on discrete models with reasonable state spaces. Additional supporting details are provided in the appendices.

MedSynDiKATe--design considerations for an ontology-based medical text understanding system.

PubMed Central

Hahn, U.; Romacker, M.; Schulz, S.

2000-01-01

MedSynDiKATe is a natural language processor for automatically acquiring knowledge from medical finding reports. The content of these documents is transferred to formal representation structures which constitute a corresponding text knowledge base. The general system architecture we present integrates requirements from the analysis of single sentences, as well as those of referentially linked sentences forming cohesive texts. The strong demands MedSynDiKATe poses to the availability of expressive knowledge sources are accounted for by two alternative approaches to (semi)automatic ontology engineering. PMID:11079899

Critical Characteristics of Radiation Detection System Components to be Dedicated for use in Safety Class and Safety Significant System

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

DAVIS, S.J.

2000-05-25

This document identifies critical characteristics of components to be dedicated for use in Safety Class (SC) or Safety Significant (SS) Systems, Structures, or Components (SSCs). This document identifies the requirements for the components of the common radiation area monitor alarm in the WESF pool cell. These are procured as Commercial Grade Items (CGI), with the qualification testing and formal dedication to be performed at the Waste Encapsulation Storage Facility (WESF), in safety class, safety significant systems. System modifications are to be performed in accordance with the instructions provided on ECN 658230. Components for this change are commercially available and interchangeablemore » with the existing alarm configuration This document focuses on the operational requirements for alarm, declaration of the safety classification, identification of critical characteristics, and interpretation of requirements for procurement. Critical characteristics are identified herein and must be verified, followed by formal dedication, prior to the components being used in safety related applications.« less

Advanced relativistic VLBI model for geodesy

NASA Astrophysics Data System (ADS)

Soffel, Michael; Kopeikin, Sergei; Han, Wen-Biao

2017-07-01

Our present relativistic part of the geodetic VLBI model for Earthbound antennas is a consensus model which is considered as a standard for processing high-precision VLBI observations. It was created as a compromise between a variety of relativistic VLBI models proposed by different authors as documented in the IERS Conventions 2010. The accuracy of the consensus model is in the picosecond range for the group delay but this is not sufficient for current geodetic purposes. This paper provides a fully documented derivation of a new relativistic model having an accuracy substantially higher than one picosecond and based upon a well accepted formalism of relativistic celestial mechanics, astrometry and geodesy. Our new model fully confirms the consensus model at the picosecond level and in several respects goes to a great extent beyond it. More specifically, terms related to the acceleration of the geocenter are considered and kept in the model, the gravitational time-delay due to a massive body (planet, Sun, etc.) with arbitrary mass and spin-multipole moments is derived taking into account the motion of the body, and a new formalism for the time-delay problem of radio sources located at finite distance from VLBI stations is presented. Thus, the paper presents a substantially elaborated theoretical justification of the consensus model and its significant extension that allows researchers to make concrete estimates of the magnitude of residual terms of this model for any conceivable configuration of the source of light, massive bodies, and VLBI stations. The largest terms in the relativistic time delay which can affect the current VLBI observations are from the quadrupole and the angular momentum of the gravitating bodies that are known from the literature. These terms should be included in the new geodetic VLBI model for improving its consistency.

Affordances and Limitations of Immersive Participatory Augmented Reality Simulations for Teaching and Learning

NASA Astrophysics Data System (ADS)

Dunleavy, Matt; Dede, Chris; Mitchell, Rebecca

2009-02-01

The purpose of this study was to document how teachers and students describe and comprehend the ways in which participating in an augmented reality (AR) simulation aids or hinders teaching and learning. Like the multi-user virtual environment (MUVE) interface that underlies Internet games, AR is a good medium for immersive collaborative simulation, but has different strengths and limitations than MUVEs. Within a design-based research project, the researchers conducted multiple qualitative case studies across two middle schools (6th and 7th grade) and one high school (10th grade) in the northeastern United States to document the affordances and limitations of AR simulations from the student and teacher perspective. The researchers collected data through formal and informal interviews, direct observations, web site posts, and site documents. Teachers and students reported that the technology-mediated narrative and the interactive, situated, collaborative problem solving affordances of the AR simulation were highly engaging, especially among students who had previously presented behavioral and academic challenges for the teachers. However, while the AR simulation provided potentially transformative added value, it simultaneously presented unique technological, managerial, and cognitive challenges to teaching and learning.

Security Tagged Architecture Co-Design (STACD)

DTIC Science & Technology

2015-09-01

components have access to all other system components whether they need it or not. Microkernels [8, 9, 10] seek to reduce the kernel size to improve...does not provide the fine-grained control to allow for formal verification. Microkernels reduce the size of the kernel enough to allow for a formal...verification of the kernel. Tanenbaum [14] documents many of the security virtues of microkernels and argues that the Ring 3 Ring 2 Ring 1

Formal Verification of Complex Systems based on SysML Functional Requirements

DTIC Science & Technology

2014-12-23

Formal Verification of Complex Systems based on SysML Functional Requirements Hoda Mehrpouyan1, Irem Y. Tumer2, Chris Hoyle2, Dimitra Giannakopoulou3...requirements for design of complex engineered systems. The proposed ap- proach combines a SysML modeling approach to document and structure safety requirements...methods and tools to support the integration of safety into the design solution. 2.1. SysML for Complex Engineered Systems Traditional methods and tools

Cultural diversity: blind spot in medical curriculum documents, a document analysis.

PubMed

Paternotte, Emma; Fokkema, Joanne P I; van Loon, Karsten A; van Dulmen, Sandra; Scheele, Fedde

2014-08-22

Cultural diversity among patients presents specific challenges to physicians. Therefore, cultural diversity training is needed in medical education. In cases where strategic curriculum documents form the basis of medical training it is expected that the topic of cultural diversity is included in these documents, especially if these have been recently updated. The aim of this study was to assess the current formal status of cultural diversity training in the Netherlands, which is a multi-ethnic country with recently updated medical curriculum documents. In February and March 2013, a document analysis was performed of strategic curriculum documents for undergraduate and postgraduate medical education in the Netherlands. All text phrases that referred to cultural diversity were extracted from these documents. Subsequently, these phrases were sorted into objectives, training methods or evaluation tools to assess how they contributed to adequate curriculum design. Of a total of 52 documents, 33 documents contained phrases with information about cultural diversity training. Cultural diversity aspects were more prominently described in the curriculum documents for undergraduate education than in those for postgraduate education. The most specific information about cultural diversity was found in the blueprint for undergraduate medical education. In the postgraduate curriculum documents, attention to cultural diversity differed among specialties and was mainly superficial. Cultural diversity is an underrepresented topic in the Dutch documents that form the basis for actual medical training, although the documents have been updated recently. Attention to the topic is thus unwarranted. This situation does not fit the demand of a multi-ethnic society for doctors with cultural diversity competences. Multi-ethnic countries should be critical on the content of the bases for their medical educational curricula.

Cultural diversity: blind spot in medical curriculum documents, a document analysis

PubMed Central

2014-01-01

Background Cultural diversity among patients presents specific challenges to physicians. Therefore, cultural diversity training is needed in medical education. In cases where strategic curriculum documents form the basis of medical training it is expected that the topic of cultural diversity is included in these documents, especially if these have been recently updated. The aim of this study was to assess the current formal status of cultural diversity training in the Netherlands, which is a multi-ethnic country with recently updated medical curriculum documents. Methods In February and March 2013, a document analysis was performed of strategic curriculum documents for undergraduate and postgraduate medical education in the Netherlands. All text phrases that referred to cultural diversity were extracted from these documents. Subsequently, these phrases were sorted into objectives, training methods or evaluation tools to assess how they contributed to adequate curriculum design. Results Of a total of 52 documents, 33 documents contained phrases with information about cultural diversity training. Cultural diversity aspects were more prominently described in the curriculum documents for undergraduate education than in those for postgraduate education. The most specific information about cultural diversity was found in the blueprint for undergraduate medical education. In the postgraduate curriculum documents, attention to cultural diversity differed among specialties and was mainly superficial. Conclusions Cultural diversity is an underrepresented topic in the Dutch documents that form the basis for actual medical training, although the documents have been updated recently. Attention to the topic is thus unwarranted. This situation does not fit the demand of a multi-ethnic society for doctors with cultural diversity competences. Multi-ethnic countries should be critical on the content of the bases for their medical educational curricula. PMID:25150546

Railroad system of Texas: A component of the state and national transportation infrastructure. Research report, September 1996--November 1998

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

Roop, S.S.; Warner, J.E.; Rosa, D.

1998-11-01

Railroads continue to play an important role in the Texas transportation system. This study addresses the potential for implementing a rail planning process in the Texas Department of Transportation. The study is documented in three reports, produced in coordinated and parallel efforts by the Center for Transportation Research and the Texas Transportation Institute. This report documents the work performed by TTI, whereby a rail planning framework is presented which formalizes the planning process and presents the key elements as a series of discrete and logical steps. These steps may be used to guide TxDOT in the formation of goals, identificationmore » of issues and affected parties, selection of appropriate analytical methodologies, location of data sources, and implementation of results. The report also presents an in-depth discussion of several key issues facing transportation agencies. These include rail line abandonment, intermodal service planning, and urban rail rationalization. A discussion of the Texas rail system covers the Class 1 railroads, shortline railroads, Amtrak, and the Mexican rail system.« less

NASA Construction of Facilities Validation Processes - Total Building Commissioning (TBCx)

NASA Technical Reports Server (NTRS)

Hoover, Jay C.

2004-01-01

Key Atributes include: Total Quality Management (TQM) System that looks at all phases of a project. A team process that spans boundaries. A Commissioning Authority to lead the process. Commissioning requirements in contracts. Independent design review to verify compliance with Facility Project Requirements (FPR). Formal written Commissioning Plan with Documented Results. Functional performance testing (FPT) against the requirements document.

A Screening Assessment of the Potential Impacts of Climate Change on Combined Sewer Overflow (Cso) Mitigation in the Great Lakes and New England Regions (External Review Draft)

EPA Science Inventory

EPA has released this draft document solely for the purpose of pre-dissemination peer review under applicable information quality guidelines. This document has not been formally disseminated by EPA. It does not represent and should not be construed to represent any Agency policy ...

US/UK Loan Account Project Status PMOD477

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

Stevens, Patrice A.

2012-07-12

The viewgraphs describe the status of PMOD477 for LANL. The meeting will occur at DOE-HQ with NA-11 and Military Applications personnel in attendance. Serves to repatriate material with a balance to zero by December 2012. Phase 1 -- Establish formality of operations for War Reserve (WR): Complete surrogate taskings to A90 through a Materials Channel and perform US/UK lessons learned; Complete the US/UK agreed Quality Acceptance Plan, Materials Plan, Shipping procedure, and establish the formal UK/US point of contacts. Phase 2 -- Metal Manufacture (WR): Process material and store material as electrorefined metal (ER) rings, with initial assay and isotopicmore » analysis, prior to manufacturing. Material is cast into accepted configuration and appropriate acceptance document for each aliquot will be generated. Phase 3 -- Intermediate Material Manufacture, Packaging and Shipping (WR): Continue processing of the material in accepted configuration with appropriate acceptance documentation for each aliquot. Provide an initial tasking of the material owed to UK including appropriate quality acceptance documentation. Phase 4 -- Complete Tasking (WR). Phase 5 -- Residue Processing (Non-WR): Complete processing of residue material and waste into accepted configuration with appropriate acceptance document for disposal.« less

Development and Implementation of a Formal Framework for Bottom-up Uncertainty Analysis of Input Emissions: Case Study of Residential Wood Combustion

NASA Astrophysics Data System (ADS)

Zhao, S.; Mashayekhi, R.; Saeednooran, S.; Hakami, A.; Ménard, R.; Moran, M. D.; Zhang, J.

2016-12-01

We have developed a formal framework for documentation, quantification, and propagation of uncertainties in upstream emissions inventory data at various stages leading to the generation of model-ready gridded emissions through emissions processing software such as the EPA's SMOKE (Sparse Matrix Operator Kernel Emissions) system. To illustrate this framework we present a proof-of-concept case study of a bottom-up quantitative assessment of uncertainties in emissions from residential wood combustion (RWC) in the U.S. and Canada. Uncertainties associated with key inventory parameters are characterized based on existing information sources, including the American Housing Survey (AHS) from the U.S. Census Bureau, Timber Products Output (TPO) surveys from the U.S. Forest Service, TNS Canadian Facts surveys, and the AP-42 emission factor document from the U.S. EPA. The propagation of uncertainties is based on Monte Carlo simulation code external to SMOKE. Latin Hypercube Sampling (LHS) is implemented to generate a set of random realizations of each RWC inventory parameter, for which the uncertainties are assumed to be normally distributed. Random realizations are also obtained for each RWC temporal and chemical speciation profile and spatial surrogate field external to SMOKE using the LHS approach. SMOKE outputs for primary emissions (e.g., CO, VOC) using both RWC emission inventory realizations and perturbed temporal and chemical profiles and spatial surrogates show relative uncertainties of about 30-50% across the U.S. and about 70-100% across Canada. Positive skewness values (up to 2.7) and variable kurtosis values (up to 4.8) were also found. Spatial allocation contributes significantly to the overall uncertainty, particularly in Canada. By applying this framework we are able to produce random realizations of model-ready gridded emissions that along with available meteorological ensembles can be used to propagate uncertainties through chemical transport models. The approach described here provides an effective means for formal quantification of uncertainties in estimated emissions from various source sectors and for continuous documentation, assessment, and reduction of emission uncertainties.

Lost in translation: Focused documentation improvement benefits trauma surgeons.

PubMed

Fox, Nicole; Swierczynski, Patricia; Willcutt, Rebecca; Elberfeld, Adrienne; Mazzarelli, Anthony J

2016-09-01

There is a translational gap between physicians who document in the medical record and coders, who ultimately determine which codes are submitted. This gap exists because physicians are never formally educated about documentation strategies despite the fact that the quality of physician documentation directly affects revenue, outcomes and public profiling. We evaluated the effect of a formal model of focused documentation improvement (FDI) on the trauma/critical care division. We hypothesized that FDI would improve physician documentation, resulting in revenue recovery and a shift in the case mix index (CMI) to more accurately reflect the clinical complexity of trauma patients. FDI is defined as targeted physician education followed by concurrent inpatient chart review for documentation improvement opportunities by a clinical documentation specialist (CDS). All trauma surgeons (n=9) at our Level 1 trauma center first completed three hours of mandatory training on documentation improvement. A CDS was subsequently assigned to the trauma service. They reviewed the charts of Medicare patients (n=776) from January-December 2014 to identify opportunities for documentation improvement, participated in ICU rounds and provided ongoing education. Requests to clarify documentation (queries) were posted in the electronic medical record (EMR) and physicians were required to respond within 48h. Data was collected on physician response rate, CMI and revenue recovery. 411 of 776 (57%) charts were reviewed. Opportunities for FDI were identified in 177 (43%) cases. The physician response rate to queries was 100%. The CMI for reviewed cases increased (1.80 (SD 0.15) vs. 2.11 (SD 0.19); p<0.001) after FDI. Overall revenue recovery was $1,132,581 with an average of $154,092 in revenue recovery/clinical full time equivalent. The total cost for administration of FDI was $353,265 resulting in a 220% return on investment (ROI). FDI is an effective strategy to engage physicians in documentation improvement. It provides an infrastructure to assist physicians and yields a significant ROI. Copyright © 2016 Elsevier Ltd. All rights reserved.

Lesson 6: Submission Process

EPA Pesticide Factsheets

Checklist items 8 through 12 are grouped under the Submission Process, and represent the CROMERR requirements that must be satisfied as the report or document is transferred to the system during a formal submission.

[Recommendations for the control of documents and the establishment of a documentary system].

PubMed

Vinner, E

2013-06-01

The quality management system that must be implemented in a MBL to meet the requirements of the standard NF EN ISO 15189 is based, among other things, on the creation and use by staff of a documentary system approved and updated. This documentary system is constituted by external documents (standards, suppliers' documents...) and internal documents (quality manual, procedures, instructions, technical and quality recordings...). A procedure of the documentary system control must be formalized. The documentary system should be modeled in order to identify the various procedures to be drafted and the incurred risks in the case a document would be missing in this system. Each document must be indexed in a unique way and document management must be carried out rigorously. The use of document management software is a great help to manage the life cycle of documents.

A COMPREHENSIVE TECHNICAL REVIEW OF THE DEMONSTRATION BULK VITRIFICATION SYSTEM

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

SCHAUS, P.S.

2006-09-29

In May 2006, CH2M Hill Hanford Group, Inc. chartered an Expert Review Panel (ERP) to review the current status of the Demonstration Bulk Vitrification System (DBVS). It is the consensus of the ERP that bulk vitrification is a technology that requires further development and evaluation to determine its potential for meeting the Hanford waste stabilization mission. No fatal flaws (issues that would jeopardize the overall DBVS mission that cannot be mitigated) were found, given the current state of the project. However, a number of technical issues were found that could significantly affect the project's ability to meet its overall missionmore » as stated in the project ''Justification of Mission Need'' document, if not satisfactorily resolved. The ERP recognizes that the project has changed from an accelerated schedule demonstration project to a formally chartered project that must be in full compliance with DOE 413.3 requirements. The perspective of the ERP presented herein, is measured against the formally chartered project as stated in the approved Justification of Mission Need document. A justification of Mission Need document was approved in July 2006 which defined the objectives for the DBVS Project. In this document, DOE concluded that bulk vitrification is a viable technology that requires additional development to determine its potential applicability to treatment of a portion of the Hanford low activity waste. The DBVS mission need statement now includes the following primary objectives: (1) process approximately 190,000 gallons of Tank S-109 waste into fifty 100 metric ton boxes of vitrified product; (2) store and dispose of these boxes at Hanford's Integrated Disposal Facility (IDF); (3) evaluate the waste form characteristics; (4) gather pilot plant operability data, and (5) develop the overall life cycle system performance of bulk vitrification and produce a comparison of the bulk vitrification process to building a second LAW Immobilization facility or other supplemental treatment alternatives as provided in M-62-08.« less

Environmental Education through Adult Education. A Manual for Adult Educators, Instructors, Teachers and Social Extension Workers.

ERIC Educational Resources Information Center

Rugumayo, Edward B., Comp.; Ibikunle-Johnson, Victor O., Comp.

The purpose of this manual is to make available to adult educators and field extension workers in Kenya resource material that may be used in formal and nonformal training programs for the environmental education of a wide range of target groups. The document begins with a 26-item glossary, an introduction, a section on the document's use,…

Formal Analysis of BPMN Models Using Event-B

NASA Astrophysics Data System (ADS)

Bryans, Jeremy W.; Wei, Wei

The use of business process models has gone far beyond documentation purposes. In the development of business applications, they can play the role of an artifact on which high level properties can be verified and design errors can be revealed in an effort to reduce overhead at later software development and diagnosis stages. This paper demonstrates how formal verification may add value to the specification, design and development of business process models in an industrial setting. The analysis of these models is achieved via an algorithmic translation from the de-facto standard business process modeling language BPMN to Event-B, a widely used formal language supported by the Rodin platform which offers a range of simulation and verification technologies.

78 FR 12600 - VA Homeless Providers Grant and Per Diem Program

Federal Register 2010, 2011, 2012, 2013, 2014

2013-02-25

... documentation of a formal assessment on a standardized scale of any serious symptomatology or serious impairment... involved in making life decisions that will increase self-determination. (7) The measureable objectives...

43 CFR 2804.12 - What information must I submit in my application?

Code of Federal Regulations, 2011 CFR

2011-10-01

... constructing, operating, maintaining, and terminating the project; (3) The estimated life of the project and... the formal documents creating the entity, such as articles of incorporation, and including the...

36 CFR 1206.60 - What must I provide as a formal grant application?

Code of Federal Regulations, 2010 CFR

2010-07-01

... AND RECORDS ADMINISTRATION GENERAL RULES NATIONAL HISTORICAL PUBLICATIONS AND RECORDS COMMISSION... documents you must submit are listed with each grant opportunity announcement on the NHPRC Web site. OMB...

Education in medical billing benefits both neurology trainees and academic departments.

PubMed

Waugh, Jeff L

2014-11-11

The objective of residency training is to produce physicians who can function independently within their chosen subspecialty and practice environment. Skills in the business of medicine, such as clinical billing, are widely applicable in academic and private practices but are not commonly addressed during formal medical education. Residency and fellowship training include limited exposure to medical billing, but our academic department's performance of these skills was inadequate: in 56% of trainee-generated outpatient notes, documentation was insufficient to sustain the chosen billing level. We developed a curriculum to improve the accuracy of documentation and coding and introduced practice changes to address our largest sources of error. In parallel, we developed tools that increased the speed and efficiency of documentation. Over 15 months, we progressively eliminated note devaluation, increased the mean level billed by trainees to nearly match that of attending physicians, and increased outpatient revenue by $34,313/trainee/year. Our experience suggests that inclusion of billing education topics into the formal medical curriculum benefits both academic medical centers and trainees. © 2014 American Academy of Neurology.

A Screening Assessment of the Potential Impacts of Climate ...

EPA Pesticide Factsheets

EPA has released this draft document solely for the purpose of pre-dissemination peer review under applicable information quality guidelines. This document has not been formally disseminated by EPA. It does not represent and should not be construed to represent any Agency policy or determination. EPA will consider any public comments submitted in accordance with this notice when revising the document. The report is a screening level analysis intended to determine the scope and magnitude of global change impacts rather than a detailed assessment of specific impacts and adaptation measures.

Experiment Document for 01-E077 Microgravity Investigation of Crew Reactions in 0-G (MICRO-G)

NASA Technical Reports Server (NTRS)

Newman, Dava J.

2003-01-01

The Experiment Document (ED) serves the following purposes: a) It provides a vehicle for Principal Investigators (PIS) to formally specify the requirements for performing their experiments. b) It provides a technical Statement of Work (SOW). c) It provides experiment investigators and hardware developers with a convenient source of information about Human Life Sciences (HLS) requirements for the development and/or integration of flight experiment projects. d) It is the primary source of experiment specifications for the HLS Research Program Office (RPO). Inputs from this document will be placed into a controlled database that will be used to generate other documents.

Standardized development of computer software. Part 1: Methods

NASA Technical Reports Server (NTRS)

Tausworthe, R. C.

1976-01-01

This work is a two-volume set on standards for modern software engineering methodology. This volume presents a tutorial and practical guide to the efficient development of reliable computer software, a unified and coordinated discipline for design, coding, testing, documentation, and project organization and management. The aim of the monograph is to provide formal disciplines for increasing the probability of securing software that is characterized by high degrees of initial correctness, readability, and maintainability, and to promote practices which aid in the consistent and orderly development of a total software system within schedule and budgetary constraints. These disciplines are set forth as a set of rules to be applied during software development to drastically reduce the time traditionally spent in debugging, to increase documentation quality, to foster understandability among those who must come in contact with it, and to facilitate operations and alterations of the program as requirements on the program environment change.

[FIRST: a tool for facilitating reading comprehension in high-functioning autism spectrum disorder].

PubMed

González-Navarro, Ana; Freire-Prudencio, Sandra; Gil, David; Martos-Pérez, Juan; Jordanova, Vesna; Cerga-Pashoja, Arlinda; Shishkova, Antoneta; Evans, Richard

2014-02-24

Numerous studies have been documenting during the last decades the difficulties of reading comprehension shown by people with autism spectrum disorder (ASD), including those with preserved intelligence. These difficulties can condition their educational path and directly impact on social inclusion, autonomy and access to employment. This article presents the work developed by a multidisciplinary team under the framework of a project funded by the European Union. It is an explanatory document intended to justify the needs that the population with high-functioning ASD have to access written information. The project is developing a software (Open Book) designed not only 'for' people with ASD, but 'with' people with ASD. Both the child population as well as the adult population of persons with ASD show difficulties in all formal components of written language. The tool needs to be flexible and facilitate it's personalized use in order to respond to the great heterogeneity of this population.

Ames research center publications, 1975

NASA Technical Reports Server (NTRS)

Sherwood, B. R. (Compiler)

1977-01-01

This bibliography cites 851 documents by Ames Research Center personnel and contractors which appeared in formal NASA publications, journals, books, patents, and contractor reports in 1975, or not included in previous annual bibliographies. An author index is provided.

Geographic patterns of at-risk species: A technical document supporting the USDA Forest Service Interim Update of the 2000 RPA Assessment

Treesearch

Curtis H. Flather; Michael S. Knowles; Jason McNees

2008-01-01

This technical document supports the Forest Service's requirement to assess the status of renewable natural resources as mandated by the Forest and Rangeland Renewable Resources Planning Act of 1974. It updates past reports on the trends and geographic patterns of species formally listed as threatened or endangered under the Endangered Species Act of 1973. We...

A Screening Assessment of the Potential Impacts of Climate Change on the Costs of Implementing Water Quality-Based Effluent Limits at Publicly-Owned Treatment Works (Potws) in the Great Lakes Region (External Review Draft)

EPA Science Inventory

EPA has released this draft document solely for the purpose of pre-dissemination peer review under applicable information quality guidelines. This document has not been formally disseminated by EPA. It does not represent and should not be construed to represent any Agency policy ...

Exploring molecular networks using MONET ontology.

PubMed

Silva, João Paulo Müller da; Lemke, Ney; Mombach, José Carlos; Souza, José Guilherme Camargo de; Sinigaglia, Marialva; Vieira, Renata

2006-03-31

The description of the complex molecular network responsible for cell behavior requires new tools to integrate large quantities of experimental data in the design of biological information systems. These tools could be used in the characterization of these networks and in the formulation of relevant biological hypotheses. The building of an ontology is a crucial step because it integrates in a coherent framework the concepts necessary to accomplish such a task. We present MONET (molecular network), an extensible ontology and an architecture designed to facilitate the integration of data originating from different public databases in a single- and well-documented relational database, that is compatible with MONET formal definition. We also present an example of an application that can easily be implemented using these tools.

Product-oriented Software Certification Process for Software Synthesis

NASA Technical Reports Server (NTRS)

Nelson, Stacy; Fischer, Bernd; Denney, Ewen; Schumann, Johann; Richardson, Julian; Oh, Phil

2004-01-01

The purpose of this document is to propose a product-oriented software certification process to facilitate use of software synthesis and formal methods. Why is such a process needed? Currently, software is tested until deemed bug-free rather than proving that certain software properties exist. This approach has worked well in most cases, but unfortunately, deaths still occur due to software failure. Using formal methods (techniques from logic and discrete mathematics like set theory, automata theory and formal logic as opposed to continuous mathematics like calculus) and software synthesis, it is possible to reduce this risk by proving certain software properties. Additionally, software synthesis makes it possible to automate some phases of the traditional software development life cycle resulting in a more streamlined and accurate development process.

The integration of system specifications and program coding

NASA Technical Reports Server (NTRS)

Luebke, W. R.

1970-01-01

Experience in maintaining up-to-date documentation for one module of the large-scale Medical Literature Analysis and Retrieval System 2 (MEDLARS 2) is described. Several innovative techniques were explored in the development of this system's data management environment, particularly those that use PL/I as an automatic documenter. The PL/I data description section can provide automatic documentation by means of a master description of data elements that has long and highly meaningful mnemonic names and a formalized technique for the production of descriptive commentary. The techniques discussed are practical methods that employ the computer during system development in a manner that assists system implementation, provides interim documentation for customer review, and satisfies some of the deliverable documentation requirements.

29 CFR 102.117 - Freedom of Information Act Regulations: Board materials and formal documents available for public...

Code of Federal Regulations, 2010 CFR

2010-07-01

....g., magnetic tape or disk), among others. The Agency shall honor a requester's specified preference... education, an institution of professional education, or an institution of vocational education, that...

Formal appraisal of undergraduate medical students: is it worth the effort?

PubMed

Murdoch-Eaton, Deborah G; Levene, Malcolm I

2004-02-01

Medical student stress is most often related to difficulties of adjusting to university academic standards, and work-social life balance. Faculty systems identify academically failing students for counselling, whilst the majority of students do not have opportunities for individual discussion about progress. This study reports a pilot formal appraisal process for first-year undergraduates. Preparatory material required students to reflect on their academic performance, factors contributing to their university life and satisfaction with career choice. Individual appraisal sessions were held with trained, experienced senior faculty staff, with completion of an appraisal record to document agreed outcomes. Individualized study skills advice was the commonest documented outcome on appraisal records. Students were overwhelmingly positive about the experience, reporting both enhanced perceptions of faculty and reduced anxiety about academic performance. Medical schools have responsibilities to consider ways to optimize students' performance; attainment can be related more to personal and motivational factors than academic ability.

Classroom Observations: Documenting Shifts in Instruction for Districtwide Improvement. Formative Evaluation Cycle Report for the Math in Common Initiative, Volume 2

ERIC Educational Resources Information Center

Perry, Rebecca R.; Seago, Nanette M.; Burr, Elizabeth; Broek, Marie; Finkelstein, Neal D.

2015-01-01

Math in Common® (MiC) is a five-year initiative that supports a formal network of 10 California school districts as they implement the Common Core State Standards in Mathematics (CCSS-M) across grades K-8. This research brief explores how best to select or develop and use classroom observation systems in order to document instructional shifts and…

The Stark Reality of the "White Saviour" Complex and the Need for Critical Consciousness: A Document Analysis of the Early Journals of a Freirean Educator

ERIC Educational Resources Information Center

Straubhaar, Rolf

2015-01-01

While the anglophone academic literature has long engaged in analysis of the role of privilege in the work of educators in the Global North, this article represents an initial foray into such analysis in non-formal educational settings in the Global South. Through a cultural-textual document analysis of 12?months of personal journal entries…

Development of a Software Safety Process and a Case Study of Its Use

NASA Technical Reports Server (NTRS)

Knight, J. C.

1996-01-01

Research in the year covered by this reporting period has been primarily directed toward: continued development of mock-ups of computer screens for operator of a digital reactor control system; development of a reactor simulation to permit testing of various elements of the control system; formal specification of user interfaces; fault-tree analysis including software; evaluation of formal verification techniques; and continued development of a software documentation system. Technical results relating to this grant and the remainder of the principal investigator's research program are contained in various reports and papers.

Establishing Quantitative Software Metrics in Department of the Navy Programs

DTIC Science & Technology

2016-04-01

13 Quality to Metrics Dependency Matrix...11 7. Quality characteristics to metrics dependecy matrix...In accomplishing this goal, a need exists for a formalized set of software quality metrics . This document establishes the validity of those necessary

Heightened vulnerabilities and better care for all: disability and end-of-life care.

PubMed

Stienstra, Deborah; D'Aubin, April; Derksen, Jim

2012-03-01

The purpose of this study was to assess the extent to which vulnerability was present or heightened as a result of either disability or end-of-life policies, or both, when people with disabilities face end of life. People with disabilities and policy makers from four Canadian provinces and at the federal level were interviewed or participated in focus groups to identify interactions between disability policies and end-of-life policies. Relevant policy documents in each jurisdiction were also analyzed. Key theme analysis was used on transcripts and policy documents. Fact sheets identifying five key issues were developed and shared in the four provinces with policy makers and people with disabilities. Examples of heightened vulnerability are evident in discontinuity from formal healthcare providers with knowledge of conditions and impairments, separation from informal care providers and support systems, and lack of coordination with and gaps in disability-related supports. When policies seek to increase the dignity, autonomy, and capacity of all individuals, including those who experience heightened vulnerability, they can mitigate or lessen some of the vulnerability. Specific policies addressing access to community-based palliative care, coordination between long-standing formal care providers and new care providers, and support and respect for informal care providers, can redress these heightened vulnerabilities. The interactions between disability and end-of-life policies can be used to create inclusive end-of-life policies, resulting in better end-of-life care for all people, including people with disabilities.

The TRUST Project: A Formal-Informal Teacher Education Partnership for the Promotion of Earth Science Teacher Certification

NASA Astrophysics Data System (ADS)

Sloan, H.; Miele, E.; Powell, W.; MacDonald, M.

2004-12-01

The American Museum of Natural History (AMNH) in partnership with Lehman and Brooklyn Colleges of the City University of New York (CUNY) has initiated The Teacher Renewal for Urban Science Teaching (TRUST) project. TRUST combines informal and formal teacher education in a four-year initiative to enhance professional development and masters of science education programs, grades K-8 at Brooklyn College and 7-12 at Lehman College. This NSF-funded partnership brings together the resources of AMNH, CUNY, New York City school districts, New York City Department of Education-Museum Partnerships, and the expertise of scientists and teachers with research experiences. Following an initial planning year, TRUST will recruit and sustain 90 teachers over a period of 3 years as well as engage 30 school administrators in support of Earth science instruction. Program components include two new formal Earth systems science courses, intensive informal summer institutes, and a lecture and workshop series during which participants gain new Earth science content knowledge, develop action plans, and present their work on the local and national level. In addition, participants have access to ongoing resource and material support to enhance their learning and instruction. Continuous documentation and data collection by project investigators are being used to address questions regarding the impact various aspects of the TRUST participant experience on classroom instruction and learning, the acquisition of scientific knowledge in the new courses and institutes, and to examine the nature of the Museum experience in meeting certification goals. External formative and summative evaluation of the project is addressing issues surrounding the value of the program as a model for formal-informal partnership in urban Earth science teacher education and certification, analysis of policies that facilitate partnership arrangements, and how socialization of novices with experts affects retention and renewal. Details of the program's structure and preliminary results from the first two years will be presented.

Population Health and Paid Parental Leave: What the United States Can Learn from Two Decades of Research

PubMed Central

Burtle, Adam; Bezruchka, Stephen

2016-01-01

Over the last two decades, numerous studies have suggested that dedicated time for parents to be with their children in the earliest months of life offers significant benefits to child health. The United States (US) is the only wealthy nation without a formalized policy guaranteeing workers paid time off when they become new parents. As individual US states consider enacting parental leave policies, there is a significant opportunity to decrease health inequities and build a healthier American population. This document is intended as a critical review of the present evidence for the association between paid parental leave and population health. PMID:27417618

Population Health and Paid Parental Leave: What the United States Can Learn from Two Decades of Research.

PubMed

Burtle, Adam; Bezruchka, Stephen

2016-06-01

Over the last two decades, numerous studies have suggested that dedicated time for parents to be with their children in the earliest months of life offers significant benefits to child health. The United States (US) is the only wealthy nation without a formalized policy guaranteeing workers paid time off when they become new parents. As individual US states consider enacting parental leave policies, there is a significant opportunity to decrease health inequities and build a healthier American population. This document is intended as a critical review of the present evidence for the association between paid parental leave and population health.

A new member of troglobitic Carychiidae, Koreozospeum nodongense gen. et sp. n. (Gastropoda, Eupulmonata, Ellobioidea) is described from Korea.

PubMed

Jochum, Adrienne; Prozorova, Larisa; Sharyi-Ool, Mariana; Páll-Gergely, Barna

2015-01-01

A new genus of troglobitic Carychiidae Jeffreys, 1830 is designated from Nodong Cave, North Chungcheong Province, Danyang, South Korea. This remarkable find represents a great range extension and thus, a highly distant distribution of troglobitic Carychiidae in Asia. The Zospeum-like, carychiid snails were recently included, without a formal description, in records documenting Korean malacofauna. The present paper describes Koreozospeum Jochum & Prozorova, gen. n. and illustrates the type species, Koreozospeum nodongense Lee, Prozorova & Jochum, sp. n. using novel Nano-CT images, including a video, internal shell morphology, SEM and SEM-EDX elemental compositional analysis of the shell.

Manual on the proper use of lutetium-177-labeled somatostatin analogue (Lu-177-DOTA-TATE) injectable in radionuclide therapy (2nd ed.).

PubMed

Hosono, Makoto; Ikebuchi, Hideharu; Nakamura, Yoshihide; Nakamura, Nobutaka; Yamada, Takahiro; Yanagida, Sachiko; Kitaoka, Asami; Kojima, Kiyotaka; Sugano, Hiroyasu; Kinuya, Seigo; Inoue, Tomio; Hatazawa, Jun

2018-04-01

Here we present the guideline for the treatment of neuroendocrine tumors using Lu-177-DOTA-TATE on the basis of radiation safety aspects in Japan. This guideline was prepared by a study supported by Ministry of Health, Labour, and Welfare, and approved by Japanese Society of Nuclear Medicine. Lu-177-DOTA-TATE treatment in Japan should be carried out according to this guideline. Although this guideline is applied in Japan, the issues for radiation protection shown in this guideline are considered internationally useful as well. Only the original Japanese version is the formal document.

Langley's Space Shuttle Technology: A bibliography

NASA Technical Reports Server (NTRS)

Champine, G. R.

1981-01-01

This bibliography documents most of the major publications, research reports, journal articles, presentations, and contractor reports, which have been published since the inception of the Space Shuttle Technology Task Group at the NASA Langley Reseach Center on July 11, 1969. This research work was performed in house by the Center staff or under contract, monitored by the Center staff. The report is arranged according to method of publication: (1) NASA Formal Reports; (2) Contractor Reports; and (3) Articles and Conferences. Disciplines covered are in the areas of aerothermodynamics, structures, dynamics and aeroelasticity, environmental, and materials. The publications are listed without abstracts for quick reference and planning.

Improving operating room safety

PubMed Central

2009-01-01

Despite the introduction of the Universal Protocol, patient safety in surgery remains a daily challenge in the operating room. This present study describes one community health system's efforts to improve operating room safety through human factors training and ultimately the development of a surgical checklist. Using a combination of formal training, local studies documenting operating room safety issues and peer to peer mentoring we were able to substantially change the culture of our operating room. Our efforts have prepared us for successfully implementing a standardized checklist to improve operating room safety throughout our entire system. Based on these findings we recommend a multimodal approach to improving operating room safety. PMID:19930577

XML technologies for the Omaha System: a data model, a Java tool and several case studies supporting home healthcare.

PubMed

Vittorini, Pierpaolo; Tarquinio, Antonietta; di Orio, Ferdinando

2009-03-01

The eXtensible markup language (XML) is a metalanguage which is useful to represent and exchange data between heterogeneous systems. XML may enable healthcare practitioners to document, monitor, evaluate, and archive medical information and services into distributed computer environments. Therefore, the most recent proposals on electronic health records (EHRs) are usually based on XML documents. Since none of the existing nomenclatures were specifically developed for use in automated clinical information systems, but were adapted to such use, numerous current EHRs are organized as a sequence of events, each represented through codes taken from international classification systems. In nursing, a hierarchically organized problem-solving approach is followed, which hardly couples with the sequential organization of such EHRs. Therefore, the paper presents an XML data model for the Omaha System taxonomy, which is one of the most important international nomenclatures used in the home healthcare nursing context. Such a data model represents the formal definition of EHRs specifically developed for nursing practice. Furthermore, the paper delineates a Java application prototype which is able to manage such documents, shows the possibility to transform such documents into readable web pages, and reports several case studies, one currently managed by the home care service of a Health Center in Central Italy.

Exploration of the perceptions of emergency physicians and interns regarding the medical documentation practices of interns.

PubMed

Isoardi, Jonathon; Spencer, Lyndall; Sinnott, Michael; Nicholls, Kim; O'Connor, Angela; Jones, Fleur

2013-08-01

The primary objective of the present study was to learn the factors that influence the documentation practices of ED interns. A second objective was to identify the expectations of emergency physicians (EPs) towards the medical record documentation of ED interns. A qualitative design was adopted using semi-structured interviews in convenience samples drawn from both groups. Eighteen interviews were conducted with intern volunteers and 10 with EP volunteers. One (5%) intern and two (20%) EPs had received medical documentation training. Factors that encouraged interns' documentation included: patient acuity (the more critical the condition, the more comprehensive the documentation) and the support of senior colleagues. Inhibiting factors included uncertainty about how much to write, and the shift being worked (interns indicated they wrote less at night). Factors of consequence to senior personnel included the apparent reluctance of interns to document management plans. They noted that interns frequently confine their notes to assessment, investigations and treatments, whereas EPs preferred records that demonstrated intern thought processes and included such matters as future actions to follow immediate treatment. A positive theme that emerged included the high level of support interns received from their senior colleagues. Another theme, the influence of patient acuity, held both positive and negative implications for intern writing practices. The lack of formal training is an impediment to the production of useful medical records by ED interns. One solution proposed by both interns and senior personnel was the introduction of the subject into intern education programmes. © 2013 Australasian College for Emergency Medicine and Australasian Society for Emergency Medicine.

20 CFR 702.349 - Formal hearings; filing and mailing of compensation orders; disposition of transcripts.

Code of Federal Regulations, 2010 CFR

2010-04-01

..., other documents or pleadings filed with him with respect to the claim, together with his signed... of business on the next succeeding working day, and the district director shall, on the same day as...

Summary of Resource Conservation and Recovery Act (RCRA) State Authorization Rule Checklist 3006(f)

EPA Pesticide Factsheets

This checklist is an electronic version of the original document found in the 1986 State Consolidated RCRA Authorization Manual (SCRAM). The checklist has not undergone any formal legal review since publication in the SCRAM.

Gender, Innovation and Education in Latin America.

ERIC Educational Resources Information Center

Jung, Ingrid, Ed.; King, Linda, Ed.

This document contains 19 papers on gender, innovation, and education in Latin America. The following papers are included: "Introduction" (Ingrid Jung); "Reflections on the Gender Perspective in Experiences of Non-Formal Education with Women" (Lilian Celiberti); "Gender and Innovation" (Graciela Messina);…

Beyond the Classroom...

ERIC Educational Resources Information Center

Hofmann, Kurt; And Others

1988-01-01

Describes the Student Developmental Transcript, a formal written record that documents learning useful in employment gained beyond the classroom through involvement in the cocurricular life of the institution. Describes cocurricular life as consisting of clubs, organizations, part-time employment, and other experiences outside confines of academic…

'Correction:'Peer chart audits: A tool to meet Accreditation Council on Graduate Medical Education (ACGME) competency in practice-based learning and improvement

PubMed Central

Staton, Lisa J; Kraemer, Suzanne M; Patel, Sangnya; Talente, Gregg M; Estrada, Carlos A

2007-01-01

Background The Accreditation Council on Graduate Medical Education (ACGME) supports chart audit as a method to track competency in Practice-Based Learning and Improvement. We examined whether peer chart audits performed by internal medicine residents were associated with improved documentation of foot care in patients with diabetes mellitus. Methods A retrospective electronic chart review was performed on 347 patients with diabetes mellitus cared for by internal medicine residents in a university-based continuity clinic from May 2003 to September 2004. Residents abstracted information pertaining to documentation of foot examinations (neurological, vascular, and skin) from the charts of patients followed by their physician peers. No formal feedback or education was provided. Results Significant improvement in the documentation of foot exams was observed over the course of the study. The percentage of patients receiving neurological, vascular, and skin exams increased by 20% (from 13% to 33%) (p = 0.001), 26% (from 45% to 71%) (p < 0.001), and 18% (51%–72%) (p = 0.005), respectively. Similarly, the proportion of patients receiving a well-documented exam which includes all three components – neurological, vascular and skin foot exam – increased over time (6% to 24%, p < 0.001). Conclusion Peer chart audits performed by residents in the absence of formal feedback were associated with improved documentation of the foot exam in patients with diabetes mellitus. Although this study suggests that peer chart audits may be an effective tool to improve practice-based learning and documentation of foot care in diabetic patients, evaluating the actual performance of clinical care was beyond the scope of this study and would be better addressed by a randomized controlled trial. PMID:17662124

Peer chart audits: a tool to meet Accreditation Council on Graduate Medical Education (ACGME) competency in practice-based learning and improvement.

PubMed

Staton, Lisa J; Kraemer, Suzanne M; Patel, Sangnya; Talente, Gregg M; Estrada, Carlos A

2007-07-27

The Accreditation Council on Graduate Medical Education (ACGME) supports chart audit as a method to track competency in Practice-Based Learning and Improvement. We examined whether peer chart audits performed by internal medicine residents were associated with improved documentation of foot care in patients with diabetes mellitus. A retrospective electronic chart review was performed on 347 patients with diabetes mellitus cared for by internal medicine residents in a university-based continuity clinic from May 2003 to September 2004. Residents abstracted information pertaining to documentation of foot examinations (neurological, vascular, and skin) from the charts of patients followed by their physician peers. No formal feedback or education was provided. Significant improvement in the documentation of foot exams was observed over the course of the study. The percentage of patients receiving neurological, vascular, and skin exams increased by 20% (from 13% to 33%) (p = 0.001), 26% (from 45% to 71%) (p < 0.001), and 18% (51%-72%) (p = 0.005), respectively. Similarly, the proportion of patients receiving a well-documented exam which includes all three components - neurological, vascular and skin foot exam - increased over time (6% to 24%, p < 0.001). Peer chart audits performed by residents in the absence of formal feedback were associated with improved documentation of the foot exam in patients with diabetes mellitus. Although this study suggests that peer chart audits may be an effective tool to improve practice-based learning and documentation of foot care in diabetic patients, evaluating the actual performance of clinical care was beyond the scope of this study and would be better addressed by a randomized controlled trial.

Using Ontologies to Formalize Services Specifications in Multi-Agent Systems

NASA Technical Reports Server (NTRS)

Breitman, Karin Koogan; Filho, Aluizio Haendchen; Haeusler, Edward Hermann

2004-01-01

One key issue in multi-agent systems (MAS) is their ability to interact and exchange information autonomously across applications. To secure agent interoperability, designers must rely on a communication protocol that allows software agents to exchange meaningful information. In this paper we propose using ontologies as such communication protocol. Ontologies capture the semantics of the operations and services provided by agents, allowing interoperability and information exchange in a MAS. Ontologies are a formal, machine processable, representation that allows to capture the semantics of a domain and, to derive meaningful information by way of logical inference. In our proposal we use a formal knowledge representation language (OWL) that translates into Description Logics (a subset of first order logic), thus eliminating ambiguities and providing a solid base for machine based inference. The main contribution of this approach is to make the requirements explicit, centralize the specification in a single document (the ontology itself), at the same that it provides a formal, unambiguous representation that can be processed by automated inference machines.

Planning for Future Care and the End of Life: A Qualitative Analysis of Gay, Lesbian, and Heterosexual Couples.

PubMed

Thomeer, Mieke Beth; Donnelly, Rachel; Reczek, Corinne; Umberson, Debra

2017-12-01

Two key components of end-of-life planning are (1) informal discussions about future care and other end-of-life preferences and (2) formal planning via living wills and other legal documents. We leverage previous work on the institutional aspects of marriage and on sexual-minority discrimination to theorize why and how heterosexual, gay, and lesbian married couples engage in informal and formal end-of-life planning. We analyze qualitative dyadic in-depth interviews with 45 midlife gay, lesbian, and heterosexual married couples ( N = 90 spouses). Findings suggest that same-sex spouses devote considerable attention to informal planning conversations and formal end-of-life plans, while heterosexual spouses report minimal formal or informal planning. The primary reasons same-sex spouses give for making end-of-life preparations are related to the absence of legal protections and concerns about discrimination from families. These findings raise questions about future end-of-life planning for same- and different-sex couples given a rapidly shifting legal and social landscape.

AKRSI Final Report: Phase I, 1995-2000.

ERIC Educational Resources Information Center

Hill, Frank; Kawagley, Oscar; Barnhardt, Ray

The Alaska Rural Systemic Initiative (AKRSI) implements initiatives to document the indigenous knowledge systems of Alaska Natives and develop pedagogical practices and school curricula that appropriately incorporate indigenous knowledge and ways of knowing into the formal education system. These initiatives foster interconnectivity between two…

Quality assurance software inspections at NASA Ames: Metrics for feedback and modification

NASA Technical Reports Server (NTRS)

Wenneson, G.

1985-01-01

Software inspections are a set of formal technical review procedures held at selected key points during software development in order to find defects in software documents--is described in terms of history, participants, tools, procedures, statistics, and database analysis.

46 CFR 502.320 - Service.

Code of Federal Regulations, 2010 CFR

2010-10-01

... MARITIME COMMISSION GENERAL AND ADMINISTRATIVE PROVISIONS RULES OF PRACTICE AND PROCEDURE Formal Procedure... of the administrative law judge, notices of review, and Commission decisions shall be served by the administrative law judge or the Commission. All other pleadings, documents and filings shall, when tendered to...

Student Conduct and Discipline.

ERIC Educational Resources Information Center

Oregon State Dept. of Education, Salem.

To aid Oregon's school districts in developing policies and procedures for student conduct and discipline, this document suggests guidelines for district preparation and distribution of student conduct codes, including formal and informal student assembly, dress and grooming, use of motor vehicles, search and seizure, attendance, freedom of…

Using resources for scientific-driven pharmacovigilance: from many product safety documents to one product safety master file.

PubMed

Furlan, Giovanni

2012-08-01

Current regulations require a description of the overall safety profile or the specific risks of a drug in multiple documents such as the Periodic and Development Safety Update Reports, Risk Management Plans (RMPs) and Signal Detection Reports. In a resource-constrained world, the need for preparing multiple documents reporting the same information results in shifting the focus from a thorough scientific and medical evaluation of the available data to maintaining compliance with regulatory timelines. Since the aim of drug safety is to understand and characterize product issues to take adequate risk minimization measures rather than to comply with bureaucratic requirements, there is the need to avoid redundancy. In order to identify core drug safety activities that need to be undertaken to protect patient safety and reduce the number of documents reporting the results of these activities, the author has reviewed the main topics included in the drug safety guidelines and templates. The topics and sources that need to be taken into account in the main regulatory documents have been found to greatly overlap and, in the future, as a result of the new Periodic Safety Update Report structure and requirements, in the author's opinion this overlap is likely to further increase. Many of the identified inter-document differences seemed to be substantially formal. The Development Safety Update Report, for example, requires separate presentation of the safety issues emerging from different sources followed by an overall evaluation of each safety issue. The RMP, instead, requires a detailed description of the safety issues without separate presentation of the evidence derived from each source. To some extent, however, the individual documents require an in-depth analysis of different aspects; the RMP, for example, requires an epidemiological description of the indication for which the drug is used and its risks. At the time of writing this article, this is not specifically required by other documents. The author has identified signal detection (intended not only as adverse event disproportionate reporting, but including non-clinical, laboratory, clinical analysis data and literature screening) and characterization as the basis for the preparation of all drug safety documents, which can be viewed as different ways of presenting the results of this activity. Therefore, the author proposes to merge all the aggregate reports required by current regulations into a single document - the Drug Safety Master File. This report should contain all the available information, from any source, regarding the potential and identified risks of a drug. It should be a living document updated and submitted to regulatory authorities on an ongoing basis.

Semantic Clinical Guideline Documents

PubMed Central

Eriksson, Henrik; Tu, Samson W.; Musen, Mark

2005-01-01

Decision-support systems based on clinical practice guidelines can support physicians and other health-care personnel in the process of following best practice consistently. A knowledge-based approach to represent guidelines makes it possible to encode computer-interpretable guidelines in a formal manner, perform consistency checks, and use the guidelines directly in decision-support systems. Decision-support authors and guideline users require guidelines in human-readable formats in addition to computer-interpretable ones (e.g., for guideline review and quality assurance). We propose a new document-oriented information architecture that combines knowledge-representation models with electronic and paper documents. The approach integrates decision-support modes with standard document formats to create a combined clinical-guideline model that supports on-line viewing, printing, and decision support. PMID:16779037

Documentation requirements for Applications Systems Verification and Transfer projects (ASVTs)

NASA Technical Reports Server (NTRS)

Suchy, J. T.

1977-01-01

NASA's Application Systems Verification and Transfer Projects (ASVTs) are deliberate efforts to facilitate the transfer of applications of NASA-developed space technology to users such as federal agencies, state and local governments, regional planning groups, public service institutions, and private industry. This study focused on the role of documentation in facilitating technology transfer both to primary users identified during project planning and to others with similar information needs. It was understood that documentation can be used effectively when it is combined with informal (primarily verbal) communication within each user community and with other formal techniques such as organized demonstrations and training programs. Documentation examples from eight ASVT projects and one potential project were examined to give scope to the investigation.

Survey of northern informal and formal mental health practitioners

PubMed Central

O'Neill, Linda; George, Serena; Sebok, Stefanie

2013-01-01

Background This survey is part of a multi-year research study on informal and formal mental health support in northern Canada involving the use of qualitative and quantitative data collection and analysis methods in an effort to better understand mental health in a northern context. Objective The main objective of the 3-year study was to document the situation of formal and informal helpers in providing mental health support in isolated northern communities in northern British Columbia, northern Alberta, Yukon, Northwest Territories and Nunavut. The intent of developing a survey was to include more participants in the research and access those working in small communities who would be concerned regarding confidentiality and anonymity due to their high profile within smaller populations. Design Based on the in-depth interviews from the qualitative phase of the project, the research team developed a survey that reflected the main themes found in the initial qualitative analysis. The on-line survey consisted of 26 questions, looking at basic demographic information and presenting lists of possible challenges, supports and client mental health issues for participants to prioritise. Results Thirty-two participants identified various challenges, supports and client issues relevant to their mental health support work. A vast majority of the respondents felt prepared for northern practice and had some level of formal education. Supports for longevity included team collaboration, knowledgeable supervisors, managers, leaders and more opportunities for formal education, specific training and continuity of care to support clients. Conclusion For northern-based research in small communities, the development of a survey allowed more participants to join the larger study in a way that protected their identity and confidentiality. The results from the survey emphasise the need for team collaboration, interdisciplinary practice and working with community strengths as a way to sustain mental health support workers in the North. PMID:23984276

International trends and issues

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

Curtis, C

The nineteen (19) position statements in this paper represent Mr. Curtis` best efforts to capture Greenpeace`s views on ocean disposal or dumping of wastes and other harmful substances, including offshore oil and gas platforms. These statements, though, have not been formally approved as Greenpeace policies, although a number of them have appeared in Greenpeace documents or public statements. For this document, {open_quotes}dumping{close_quotes} refers to any deliberate disposal at sea of wastes or other matter, consistent with the London Convention.

Automatic de-identification of French clinical records: comparison of rule-based and machine-learning approaches.

PubMed

Grouin, Cyril; Zweigenbaum, Pierre

2013-01-01

In this paper, we present a comparison of two approaches to automatically de-identify medical records written in French: a rule-based system and a machine-learning based system using a conditional random fields (CRF) formalism. Both systems have been designed to process nine identifiers in a corpus of medical records in cardiology. We performed two evaluations: first, on 62 documents in cardiology, and on 10 documents in foetopathology - produced by optical character recognition (OCR) - to evaluate the robustness of our systems. We achieved a 0.843 (rule-based) and 0.883 (machine-learning) exact match overall F-measure in cardiology. While the rule-based system allowed us to achieve good results on nominative (first and last names) and numerical data (dates, phone numbers, and zip codes), the machine-learning approach performed best on more complex categories (postal addresses, hospital names, medical devices, and towns). On the foetopathology corpus, although our systems have not been designed for this corpus and despite OCR character recognition errors, we obtained promising results: a 0.681 (rule-based) and 0.638 (machine-learning) exact-match overall F-measure. This demonstrates that existing tools can be applied to process new documents of lower quality.

The Paucity Problem: Where Have All the Space Reactor Experiments Gone?

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

Bess, John D.; Marshall, Margaret A.

2016-10-01

The Handbooks of the International Criticality Safety Benchmark Evaluation Project (ICSBEP) and the International Reactor Physics Experiment Evaluation Project (IRPhEP) together contain a plethora of documented and evaluated experiments essential in the validation of nuclear data, neutronics codes, and modeling of various nuclear systems. Unfortunately, only a minute selection of handbook data (twelve evaluations) are of actual experimental facilities and mockups designed specifically for space nuclear research. There is a paucity problem, such that the multitude of space nuclear experimental activities performed in the past several decades have yet to be recovered and made available in such detail that themore » international community could benefit from these valuable historical research efforts. Those experiments represent extensive investments in infrastructure, expertise, and cost, as well as constitute significantly valuable resources of data supporting past, present, and future research activities. The ICSBEP and IRPhEP were established to identify and verify comprehensive sets of benchmark data; evaluate the data, including quantification of biases and uncertainties; compile the data and calculations in a standardized format; and formally document the effort into a single source of verified benchmark data. See full abstract in attached document.« less

Response evaluation criteria for solid tumours in dogs (v1.0): a Veterinary Cooperative Oncology Group (VCOG) consensus document.

PubMed

Nguyen, S M; Thamm, D H; Vail, D M; London, C A

2015-09-01

In veterinary medical oncology, there is currently no standardized protocol for assessing response to therapy in solid tumours. The lack of such a formalized guideline makes it challenging to critically compare outcome measures across various treatment protocols. The Veterinary Cooperative Oncology Group (VCOG) membership consensus document presented here is based on the recommendations of a subcommittee of American College of Veterinary Internal Medicine (ACVIM) board-certified veterinary oncologists. This consensus paper has used the human response evaluation criteria in solid tumours (RECIST v1.1) as a framework to establish standard procedures for response assessment in canine solid tumours that is meant to be easy to use, repeatable and applicable across a variety of clinical trial structures in veterinary oncology. It is hoped that this new canine RECIST (cRECIST v1.0) will be adopted within the veterinary oncology community and thereby facilitate the comparison of current and future treatment protocols used for companion animals with cancer. © 2013 Blackwell Publishing Ltd.

Results of calendar year 1994 monitor well inspection and maintenance program, Y-12 Plant, Oak Ridge, Tennessee

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

McMaster, B.W.; Jones, S.B.; Sitzler, J.L.

1995-06-01

This document is a compendium of results of the calendar year 1994 Monitor Well Inspection and Maintenance Program at the Department of Energy Y-12 Plant in Oak Ridge, Tennessee. This report documents the work relating to well inspections and maintenance requests. Inspections are implemented in order to better assess the condition and maintenance needs of wells that are actively being monitored. Currently this approach calls for inspecting all wells on a routine (annual or triennial) basis which are: (1) in an active sampling program; (2) included in a hydrologic study; or (3) not in service, but not scheduled for pluggingmore » and abandonment. Routine inspections help to ensure that representative groundwater samples and hydrologic data are being collected, and contribute to the life expectancy of each well. This report formally presents well inspection and maintenance activities that were conducted at the Y-12 Plant during 1994. All inspections were conducted between April and December.« less

Towards the formal verification of the requirements and design of a processor interface unit

NASA Technical Reports Server (NTRS)

Fura, David A.; Windley, Phillip J.; Cohen, Gerald C.

1993-01-01

The formal verification of the design and partial requirements for a Processor Interface Unit (PIU) using the Higher Order Logic (HOL) theorem-proving system is described. The processor interface unit is a single-chip subsystem within a fault-tolerant embedded system under development within the Boeing Defense and Space Group. It provides the opportunity to investigate the specification and verification of a real-world subsystem within a commercially-developed fault-tolerant computer. An overview of the PIU verification effort is given. The actual HOL listing from the verification effort are documented in a companion NASA contractor report entitled 'Towards the Formal Verification of the Requirements and Design of a Processor Interface Unit - HOL Listings' including the general-purpose HOL theories and definitions that support the PIU verification as well as tactics used in the proofs.

Inference as Prediction

ERIC Educational Resources Information Center

Watson, Jane

2007-01-01

Inference, or decision making, is seen in curriculum documents as the final step in a statistical investigation. For a formal statistical enquiry this may be associated with sophisticated tests involving probability distributions. For young students without the mathematical background to perform such tests, it is still possible to draw informal…

5 CFR 250.203 - Agency responsibilities.

Code of Federal Regulations, 2014 CFR

2014-01-01

.... These human capital goals and objectives must address each of the human capital management systems... management on its overall mission performance. (2) Human capital accountability system. This system provides... Management Report to OPM. The human capital accountability system must: (i) Be formal and documented; (ii) Be...

5 CFR 250.203 - Agency responsibilities.

Code of Federal Regulations, 2012 CFR

2012-01-01

.... These human capital goals and objectives must address each of the human capital management systems... management on its overall mission performance. (2) Human capital accountability system. This system provides... Management Report to OPM. The human capital accountability system must: (i) Be formal and documented; (ii) Be...

5 CFR 250.203 - Agency responsibilities.

Code of Federal Regulations, 2013 CFR

2013-01-01

.... These human capital goals and objectives must address each of the human capital management systems... management on its overall mission performance. (2) Human capital accountability system. This system provides... Management Report to OPM. The human capital accountability system must: (i) Be formal and documented; (ii) Be...

Crop species diversity changes in the United States: 1978-2012

USDA-ARS?s Scientific Manuscript database

Anecdotal accounts regarding reduced US cropping system diversity have raised concerns about negative impacts of increasingly homogeneous cropping systems. However, formal analyses to document such changes are lacking. Using US Agriculture Census data, which is collected on 5-year intervals, we qua...

Strategic Planning for Management Information Systems.

ERIC Educational Resources Information Center

Ein-Dor, Phillip; Segev, Eli

1978-01-01

Two factors predominate in determining the appropriateness of strategic plans for management information systems (MIS)--explicitness (the degree to which the process is conscious, formal, and documented) and situational fit (the degree to which the MIS is compatible with the specific organization and its members). (Author/IRT)

Los Angeles congestion reduction demonstration (Metro ExpressLanes) program. National evaluation : traffic system data test plan.

DOT National Transportation Integrated Search

1997-01-01

This document reports on the formal evaluation of the targeted (limited but highly focused) deployment of the Advanced Driver and Vehicle Advisory Navigation ConcEpt (ADVANCE), an in-vehicle advanced traveler information system designed to provide sh...

Critical Characteristics of Radiation Detection System Components to be Dedicated for use in Safety Class and Safety Significant System

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

DAVIS, S.J.

2000-12-28

This document identifies critical characteristics of components to be dedicated for use in Safety Significant (SS) Systems, Structures, or Components (SSCs). This document identifies the requirements for the components of the common, radiation area, monitor alarm in the WESF pool cell. These are procured as Commercial Grade Items (CGI), with the qualification testing and formal dedication to be performed at the Waste Encapsulation Storage Facility (WESF) for use in safety significant systems. System modifications are to be performed in accordance with the approved design. Components for this change are commercially available and interchangeable with the existing alarm configuration This documentmore » focuses on the operational requirements for alarm, declaration of the safety classification, identification of critical characteristics, and interpretation of requirements for procurement. Critical characteristics are identified herein and must be verified, followed by formal dedication, prior to the components being used in safety related applications.« less

Software Safety Risk in Legacy Safety-Critical Computer Systems

NASA Technical Reports Server (NTRS)

Hill, Janice; Baggs, Rhoda

2007-01-01

Safety-critical computer systems must be engineered to meet system and software safety requirements. For legacy safety-critical computer systems, software safety requirements may not have been formally specified during development. When process-oriented software safety requirements are levied on a legacy system after the fact, where software development artifacts don't exist or are incomplete, the question becomes 'how can this be done?' The risks associated with only meeting certain software safety requirements in a legacy safety-critical computer system must be addressed should such systems be selected as candidates for reuse. This paper proposes a method for ascertaining formally, a software safety risk assessment, that provides measurements for software safety for legacy systems which may or may not have a suite of software engineering documentation that is now normally required. It relies upon the NASA Software Safety Standard, risk assessment methods based upon the Taxonomy-Based Questionnaire, and the application of reverse engineering CASE tools to produce original design documents for legacy systems.

User Interface Technology for Formal Specification Development

NASA Technical Reports Server (NTRS)

Lowry, Michael; Philpot, Andrew; Pressburger, Thomas; Underwood, Ian; Lum, Henry, Jr. (Technical Monitor)

1994-01-01

Formal specification development and modification are an essential component of the knowledge-based software life cycle. User interface technology is needed to empower end-users to create their own formal specifications. This paper describes the advanced user interface for AMPHION1 a knowledge-based software engineering system that targets scientific subroutine libraries. AMPHION is a generic, domain-independent architecture that is specialized to an application domain through a declarative domain theory. Formal specification development and reuse is made accessible to end-users through an intuitive graphical interface that provides semantic guidance in creating diagrams denoting formal specifications in an application domain. The diagrams also serve to document the specifications. Automatic deductive program synthesis ensures that end-user specifications are correctly implemented. The tables that drive AMPHION's user interface are automatically compiled from a domain theory; portions of the interface can be customized by the end-user. The user interface facilitates formal specification development by hiding syntactic details, such as logical notation. It also turns some of the barriers for end-user specification development associated with strongly typed formal languages into active sources of guidance, without restricting advanced users. The interface is especially suited for specification modification. AMPHION has been applied to the domain of solar system kinematics through the development of a declarative domain theory. Testing over six months with planetary scientists indicates that AMPHION's interactive specification acquisition paradigm enables users to develop, modify, and reuse specifications at least an order of magnitude more rapidly than manual program development.

Africa Adult Education. Chronologies in Commonwealth Countries.

ERIC Educational Resources Information Center

Draper, James A., Ed.

In this document, leading educators from 12 African Commonwealth countries trace the development of adult education in Africa and show how providers of adult education outside the formal education system (including government and nongovernment organizations, trade unions, women's groups, and religious organizations) have met the needs of their…

43 CFR 10005.18 - Project solicitation procedures.

Code of Federal Regulations, 2013 CFR

2013-10-01

... anticipated need for NEPA documentation and compliance with the ESA, the Clean Water Act, and other applicable... Section 301 of the Act, the Commission will make a formal invitation to Federal and State resource agencies, Indian tribes, and other interested parties to prepare recommendations concerning projects that...

43 CFR 10005.18 - Project solicitation procedures.

Code of Federal Regulations, 2014 CFR

2014-10-01

... anticipated need for NEPA documentation and compliance with the ESA, the Clean Water Act, and other applicable... Section 301 of the Act, the Commission will make a formal invitation to Federal and State resource agencies, Indian tribes, and other interested parties to prepare recommendations concerning projects that...

43 CFR 10005.18 - Project solicitation procedures.

Code of Federal Regulations, 2012 CFR

2012-10-01

... anticipated need for NEPA documentation and compliance with the ESA, the Clean Water Act, and other applicable... Section 301 of the Act, the Commission will make a formal invitation to Federal and State resource agencies, Indian tribes, and other interested parties to prepare recommendations concerning projects that...

43 CFR 10005.18 - Project solicitation procedures.

Code of Federal Regulations, 2011 CFR

2011-10-01

... anticipated need for NEPA documentation and compliance with the ESA, the Clean Water Act, and other applicable... Section 301 of the Act, the Commission will make a formal invitation to Federal and State resource agencies, Indian tribes, and other interested parties to prepare recommendations concerning projects that...

CUNY's Voter Registration System.

ERIC Educational Resources Information Center

Hershenson, Jay; And Others

This collection of items including public testimony by the Vice Chancellor, Jay Hershenson, a formal resolution, a press release, and brochures, documents the City University of New York's (CUNY) unique voter registration system, "CUNY Project Vote". As the press release describes it, Project Vote is the nation's largest student voter…

25 CFR 83.10 - Processing of the documented petition.

Code of Federal Regulations, 2010 CFR

2010-04-01

... proposed findings, the Assistant Secretary shall prepare a report summarizing the evidence, reasoning, and... shall provide technical advice concerning the factual basis for the proposed finding, the reasoning used... party, hold a formal meeting for the purpose of inquiring into the reasoning, analyses, and factual...

12 CFR 1102.38 - Compliance activities.

Code of Federal Regulations, 2011 CFR

2011-01-01

... of the public, communications from Federal or State agencies, examination of information by the ASC... public file for the formal investigation. The Secretary shall place in that file a memorandum naming the..., documents and materials gathered or submitted in connection with the investigation are non-public and for...

12 CFR 1102.38 - Compliance activities.

Code of Federal Regulations, 2012 CFR

2012-01-01

... of the public, communications from Federal or State agencies, examination of information by the ASC... public file for the formal investigation. The Secretary shall place in that file a memorandum naming the..., documents and materials gathered or submitted in connection with the investigation are non-public and for...

12 CFR 1102.38 - Compliance activities.

Code of Federal Regulations, 2010 CFR

2010-01-01

... of the public, communications from Federal or State agencies, examination of information by the ASC... public file for the formal investigation. The Secretary shall place in that file a memorandum naming the..., documents and materials gathered or submitted in connection with the investigation are non-public and for...

12 CFR 1102.38 - Compliance activities.

Code of Federal Regulations, 2014 CFR

2014-01-01

... of the public, communications from Federal or State agencies, examination of information by the ASC... public file for the formal investigation. The Secretary shall place in that file a memorandum naming the..., documents and materials gathered or submitted in connection with the investigation are non-public and for...

12 CFR 1102.38 - Compliance activities.

Code of Federal Regulations, 2013 CFR

2013-01-01

... of the public, communications from Federal or State agencies, examination of information by the ASC... public file for the formal investigation. The Secretary shall place in that file a memorandum naming the..., documents and materials gathered or submitted in connection with the investigation are non-public and for...

24 CFR 1720.415 - Subpoenas duces tecum.

Code of Federal Regulations, 2010 CFR

2010-04-01

... URBAN DEVELOPMENT (INTERSTATE LAND SALES REGISTRATION PROGRAM) FORMAL PROCEDURES AND RULES OF PRACTICE..., papers, books, or other physical exhibits at the taking of a deposition, or at a prehearing conference... discovery or for obtaining documents, papers, books, or other physical exhibits for use in evidence, or for...

48 CFR 1852.234-1 - Notice of Earned Value Management System.

Code of Federal Regulations, 2014 CFR

2014-10-01

... according to paragraph (a); (vi) Provide documentation describing the process and results, including..., provide a schedule of events leading up to formal validation and Government acceptance of the Contractor's...) outlines the requirements for conducting a progress assistance visit and validation compliance review. (2...

48 CFR 1852.234-1 - Notice of Earned Value Management System.

Code of Federal Regulations, 2013 CFR

2013-10-01

... according to paragraph (a); (vi) Provide documentation describing the process and results, including..., provide a schedule of events leading up to formal validation and Government acceptance of the Contractor's...) outlines the requirements for conducting a progress assistance visit and validation compliance review. (2...

48 CFR 1852.234-1 - Notice of Earned Value Management System.

Code of Federal Regulations, 2012 CFR

2012-10-01

... according to paragraph (a); (vi) Provide documentation describing the process and results, including..., provide a schedule of events leading up to formal validation and Government acceptance of the Contractor's...) outlines the requirements for conducting a progress assistance visit and validation compliance review. (2...

48 CFR 1852.234-1 - Notice of Earned Value Management System.

Code of Federal Regulations, 2011 CFR

2011-10-01

... according to paragraph (a); (vi) Provide documentation describing the process and results, including..., provide a schedule of events leading up to formal validation and Government acceptance of the Contractor's...) outlines the requirements for conducting a progress assistance visit and validation compliance review. (2...

Non-Formal Education and Agriculture: A Selected Annotated Bibliography. Annotated Bibliography #10.

ERIC Educational Resources Information Center

Sullivan, Karen Collamore; And Others

Intended for those actively engaged in nonformal education for development, this annotated bibliography contains approximately 300 references to documents that highlight issues concerning food production, distribution, and consumption. It also demonstrates education's role in enhancing developmental efforts to alleviate world hunger. Materials are…

24 CFR 3282.309 - Formal and informal presentations of views held by SAAs.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 24 Housing and Urban Development 5 2010-04-01 2010-04-01 false Formal and informal presentations of views held by SAAs. 3282.309 Section 3282.309 Housing and Urban Development Regulations Relating... held by SAAs. (a) When an SAA is the appropriate agency to hold a Formal or Informal Presentation of...

Certification of Safety-Critical Software Under DO-178C and DO-278A

NASA Technical Reports Server (NTRS)

Jacklin, Stephen A.

2012-01-01

The RTCA has recently released DO-178C and DO-278A as new certification guidance for the production of airborne and ground-based air traffic management software, respectively. Additionally, RTCA special committee SC-205 has also produced, at the same time, five other companion documents. These documents are RTCA DO-248C, DO-330, DO-331, DO- 332, and DO-333. These supplements address frequently asked questions about software certification, provide guidance on tool qualification requirements, and illustrate the modifications recommended to DO-178C when using model-based software design, object oriented programming, and formal methods. The objective of this paper is to first explain the relationship of DO-178C to the former DO-178B in order to give those familiar with DO- 178B an indication of what has been changed and what has not been changed. With this background, the relationship of DO-178C and DO-278 to the new DO-278A document for ground-based software development is shown. Last, an overview of the new guidance contained in the tool qualification document and the three new supplements to DO-178C and DO-278A is presented. For those unfamiliar with DO-178B, this paper serves to provide an entry point to this new certification guidance for airborne and ground-based CNS/ATM software certification.

A Knowledge-Based System For Analysis, Intervention Planning and Prevention of Defects in Immovable Cultural Heritage Objects and Monuments

NASA Astrophysics Data System (ADS)

Valach, J.; Cacciotti, R.; Kuneš, P.; ČerÅanský, M.; Bláha, J.

2012-04-01

The paper presents a project aiming to develop a knowledge-based system for documentation and analysis of defects of cultural heritage objects and monuments. The MONDIS information system concentrates knowledge on damage of immovable structures due to various causes, and preventive/remedial actions performed to protect/repair them, where possible. The currently built system is to provide for understanding of causal relationships between a defect, materials, external load, and environment of built object. Foundation for the knowledge-based system will be the systemized and formalized knowledge on defects and their mitigation acquired in the process of analysis of a representative set of cases documented in the past. On the basis of design comparability, used technologies, materials and the nature of the external forces and surroundings, the developed software system has the capacity to indicate the most likely risks of new defect occurrence or the extension of the existing ones. The system will also allow for a comparison of the actual failure with similar cases documented and will propose a suitable technical intervention plan. The system will provide conservationists, administrators and owners of historical objects with a toolkit for defect documentation for their objects. Also, advanced artificial intelligence methods will offer accumulated knowledge to users and will also enable them to get oriented in relevant techniques of preventive interventions and reconstructions based on similarity with their case.

Proposals for Changes in Surveying-Legal Procedures for the Needs of Cadastre in Poland

NASA Astrophysics Data System (ADS)

Mika, Monika

2016-12-01

The aim of this paper is to present the need for changes of geodetic-legal procedures for the cadastre and real estate management. This problem was analyzed both in theoretical and practical terms. In order to better present the analyzed technical and legal procedures, a study of several cases of surveying documentation was made. On their example the problems associated with the surveying services were shows and the formal and legal procedures, on the basis of which described surveying works were done were verified. The problem presented is current and valid not only for the comfort of the surveyor's work, but also from the point of view of the structure and modernization of the real estate cadastre, constituting the backbone of the real estate management. The article emphasized the need to unify the databases of state registers and the digitization of the National Geodetic and Cartographic Resources (PZDGiK). Research has shown that despite the continuous changes of legislation, there are still many shortcomings and gaps, which often complicate the surveying works. The surveyor must analyze and verify all materials he uses, including those obtained from the Centre of Geodetic and Cartographic Documentation (ODGiK). The quality of the geodetic and cartographic elaboration depends largely on the work of the Centre of Geodetic and Cartographic Documentation. The need of modernization of the Land and Buildings Registry, which acts as a cadastre in Poland, has been demonstrated. Furthermore, the unification of data used as reference systems both for plane coordinates and elevation has been proposed.

20 CFR 702.336 - Formal hearings; new issues.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 20 Employees' Benefits 3 2010-04-01 2010-04-01 false Formal hearings; new issues. 702.336 Section... Procedures Formal Hearings § 702.336 Formal hearings; new issues. (a) If, during the course of the formal hearing, the evidence presented warrants consideration of an issue or issues not previously considered...

Questioned document workflow for handwriting with automated tools

NASA Astrophysics Data System (ADS)

Das, Krishnanand; Srihari, Sargur N.; Srinivasan, Harish

2012-01-01

During the last few years many document recognition methods have been developed to determine whether a handwriting specimen can be attributed to a known writer. However, in practice, the work-flow of the document examiner continues to be manual-intensive. Before a systematic or computational, approach can be developed, an articulation of the steps involved in handwriting comparison is needed. We describe the work flow of handwritten questioned document examination, as described in a standards manual, and the steps where existing automation tools can be used. A well-known ransom note case is considered as an example, where one encounters testing for multiple writers of the same document, determining whether the writing is disguised, known writing is formal while questioned writing is informal, etc. The findings for the particular ransom note case using the tools are given. Also observations are made for developing a more fully automated approach to handwriting examination.

Youth's Engagement as Scientists and Engineers in an Afterschool Making and Tinkering Program

NASA Astrophysics Data System (ADS)

Simpson, Amber; Burris, Alexandra; Maltese, Adam

2017-11-01

Making and tinkering is currently gaining traction as an interdisciplinary approach to education. However, little is known about how these activities and explorations in formal and informal learning spaces address the content and skills common to professionals across science, technology, engineering, and mathematics. As such, the purpose of this qualitative study was to examine how youth were engaged in the eight science and engineering practices outlined within the US Next Generation Science Standards within an informal learning environment utilizing principles of tinkering within the daily activities. Findings highlight how youth and facilitators engaged and enacted in practices common to scientists and engineers. Yet, in this study, enactment of these practices "looked" differently than might be expected in a formal learning environment such as a laboratory setting. For example, in this setting, students were observed carrying out trials on their design as opposed to carrying out a formal scientific investigation. Results also highlight instances of doing science and engineering not explicitly stated within parameters of formal education documents in the USA, such as experiences with failure.

7 CFR 1940.318 - Completing environmental assessments for Class II actions.

Code of Federal Regulations, 2012 CFR

2012-01-01

..., depending upon the seriousness of the potential impacts and the need for formal documentation. Appropriate... Public Law 103-354 to adequately assess the degree of a potential impact or the need for avoidance or... this subpart or the potential environmental impact is either controversial, complex, major, or...

7 CFR 1940.318 - Completing environmental assessments for Class II actions.

Code of Federal Regulations, 2011 CFR

2011-01-01

..., depending upon the seriousness of the potential impacts and the need for formal documentation. Appropriate... Public Law 103-354 to adequately assess the degree of a potential impact or the need for avoidance or... this subpart or the potential environmental impact is either controversial, complex, major, or...

10 CFR 603.1020 - File documents.

Code of Federal Regulations, 2010 CFR

2010-01-01

... from the project supported by the TIA. If the recipient is a consortium that is not formally... led to the award of the TIA, including how DOE solicited and evaluated proposals and selected the one supported through the TIA. (c) Explains the basis for the decision that a TIA was the most appropriate...

Assessing Formal Knowledge of Math Equivalence among Algebra and Pre-Algebra Students

ERIC Educational Resources Information Center

Fyfe, Emily R.; Matthews, Percival G.; Amsel, Eric; McEldoon, Katherine L.; McNeil, Nicole M.

2018-01-01

A central understanding in mathematics is knowledge of "math equivalence," the relation indicating that 2 quantities are equal and interchangeable. Decades of research have documented elementary-school (ages 7 to 11) children's (mis)understanding of math equivalence, and recent work has developed a construct map and comprehensive…

Ways of Learning in the Pharmaceutical Sales Industry

ERIC Educational Resources Information Center

Hunter, Carrie Patricia

2010-01-01

Purpose: The purpose of this paper is to document the ways pharmaceutical representatives learn for work and report attributes of (in)formality and other characteristics of ways of learning perceived as effective and frequently used. Design/methodology/approach: A total of agents 20 from 11 pharmaceutical manufacturers across Canada participated…

Status and Power in Rural Jamaica. A Study of Educational and Political Change.

ERIC Educational Resources Information Center

Foner, Nancy

Documenting the demise of the plural society in Jamaica, this study deals with the interrelationship between local and national educational and occupational status aspirations. As the formal educational system, the nonagricultural sectors, and the political parties have developed and examined, the opportunities for educational and occupational…

Application of Number. Teaching and Learning.

ERIC Educational Resources Information Center

Bove, Francis

This basic math skills teaching and learning guide contains practical advice and resources for British vocational teachers who have little formal mathematics education training and for beginning teachers. The document has five sections on these topics dealing with numeracy instruction: (1) overview of the basic skill and its application to other…

Qualitative Analysis on Stage: Making the Research Process More Public.

ERIC Educational Resources Information Center

Anfara, Vincent A., Jr.; Brown, Kathleen M.

The increased use of qualitative research methods has spurred interest in developing formal standards for assessing its validity. These standards, however, fall short if they do not include public disclosure of methods as a criterion. The researcher must be accountable in documenting the actions associated with establishing internal validity…

Academic Computing Vulnerabilities: Another View of the Roof

ERIC Educational Resources Information Center

Cohn, Ellen R.; Klinzing, George; Frieze, Irene Hanson; Sereika, Susan M.; Stone, Clement A.; Vana, Clara M.

2004-01-01

In anticipation of Y2K, and later as a result of heightened security concerns following the events of September 11, 2001, numerous colleges and universities developed formal planning documents to guide their responses to unexpected network outages. Typically, vigilant institutional financial auditors or information technology directors initiate…

EPA's 2007 Report on the Environment: Science Report (Sab Review Draft)

EPA Science Inventory

The EPA's 2007 Report on the Environment: Science Report (SAB Review Draft), formally known as the EPA's Report on the Environment - Technical Document, was released for public review and comment prior to the Science Advisory Board's (SAB) meeting and review held in July 2007. Co...

Formal and Information Learning in a Computer Clubhouse Environment

ERIC Educational Resources Information Center

McDougall, Anne; Lowe, Jenny; Hopkins, Josie

2004-01-01

This paper outlines the establishment and running of an after-school Computer Clubhouse, describing aspects of the leadership, mentoring and learning activities undertaken there. Research data has been collected from examination of documents associated with the Clubhouse, interviews with its founders, Director, session leaders and mentors, and…

Avoiding Scandal and Headlines with Ethics and Accountability

ERIC Educational Resources Information Center

Haubold, Glen; Throneberry, Angela

2010-01-01

Procedures, financial controls and reports, and leadership are the three major components that "set the tone" for an effective, accountable, and ethical organization. Procedures must be formally documented instead of passed down verbally on the premise that "we've always done it this way." Meaningful management reports should be developed and…

22 CFR 42.54 - Order of consideration.

Code of Federal Regulations, 2012 CFR

2012-04-01

... 22 Foreign Relations 1 2012-04-01 2012-04-01 false Order of consideration. 42.54 Section 42.54 Foreign Relations DEPARTMENT OF STATE VISAS VISAS: DOCUMENTATION OF IMMIGRANTS UNDER THE IMMIGRATION AND...(b) in order to apply formally for a visa as follows: (1) In the chronological order of the priority...

22 CFR 42.54 - Order of consideration.

Code of Federal Regulations, 2014 CFR

2014-04-01

... 22 Foreign Relations 1 2014-04-01 2014-04-01 false Order of consideration. 42.54 Section 42.54 Foreign Relations DEPARTMENT OF STATE VISAS VISAS: DOCUMENTATION OF IMMIGRANTS UNDER THE IMMIGRATION AND...(b) in order to apply formally for a visa as follows: (1) In the chronological order of the priority...

22 CFR 42.54 - Order of consideration.

Code of Federal Regulations, 2010 CFR

2010-04-01

... 22 Foreign Relations 1 2010-04-01 2010-04-01 false Order of consideration. 42.54 Section 42.54 Foreign Relations DEPARTMENT OF STATE VISAS VISAS: DOCUMENTATION OF IMMIGRANTS UNDER THE IMMIGRATION AND...(b) in order to apply formally for a visa as follows: (1) In the chronological order of the priority...

22 CFR 42.54 - Order of consideration.

Code of Federal Regulations, 2011 CFR

2011-04-01

... 22 Foreign Relations 1 2011-04-01 2011-04-01 false Order of consideration. 42.54 Section 42.54 Foreign Relations DEPARTMENT OF STATE VISAS VISAS: DOCUMENTATION OF IMMIGRANTS UNDER THE IMMIGRATION AND...(b) in order to apply formally for a visa as follows: (1) In the chronological order of the priority...

22 CFR 42.54 - Order of consideration.

Code of Federal Regulations, 2013 CFR

2013-04-01

... 22 Foreign Relations 1 2013-04-01 2013-04-01 false Order of consideration. 42.54 Section 42.54 Foreign Relations DEPARTMENT OF STATE VISAS VISAS: DOCUMENTATION OF IMMIGRANTS UNDER THE IMMIGRATION AND...(b) in order to apply formally for a visa as follows: (1) In the chronological order of the priority...

Variations in Consumer Self-Determination within US Psychiatric Advance Directives

ERIC Educational Resources Information Center

Zeman, Laura Dreuth; Swanke, Jayme

2008-01-01

Advance directives are legal documents that formalize consumer psychiatric care preferences. This article examines the statutes and goals of US psychiatric advance directives within the framework of consumer self-determination, a priority in national mental health reform. It seeks to distinguish between state models based on the degree that…

Dos and Don'ts of Writing Presidential Contracts

ERIC Educational Resources Information Center

Fain, Paul

2006-01-01

In the not-so-distant past, an employment agreement between a university president and a governing board was often nothing more than a handshake. Today, formal contracts are requirements for presidents, with boards and presidents typically relying on lawyers to extensively document terms of employment, salary and benefits, and, perhaps most…

29 CFR 1690.107 - Definitions.

Code of Federal Regulations, 2010 CFR

2010-07-01

... 29 Labor 4 2010-07-01 2010-07-01 false Definitions. 1690.107 Section 1690.107 Labor Regulations... of advice and opinions on a subject occurring among the EEOC and affected agencies before formal... document by the issuing agency to the EEOC and other affected agencies for at least 15 working days from...

29 CFR 1690.107 - Definitions.

Code of Federal Regulations, 2012 CFR

2012-07-01

... 29 Labor 4 2012-07-01 2012-07-01 false Definitions. 1690.107 Section 1690.107 Labor Regulations... of advice and opinions on a subject occurring among the EEOC and affected agencies before formal... document by the issuing agency to the EEOC and other affected agencies for at least 15 working days from...

29 CFR 1690.107 - Definitions.

Code of Federal Regulations, 2014 CFR

2014-07-01

... 29 Labor 4 2014-07-01 2014-07-01 false Definitions. 1690.107 Section 1690.107 Labor Regulations... of advice and opinions on a subject occurring among the EEOC and affected agencies before formal... document by the issuing agency to the EEOC and other affected agencies for at least 15 working days from...

29 CFR 1690.107 - Definitions.

Code of Federal Regulations, 2013 CFR

2013-07-01

... 29 Labor 4 2013-07-01 2013-07-01 false Definitions. 1690.107 Section 1690.107 Labor Regulations... of advice and opinions on a subject occurring among the EEOC and affected agencies before formal... document by the issuing agency to the EEOC and other affected agencies for at least 15 working days from...

29 CFR 1690.107 - Definitions.

Code of Federal Regulations, 2011 CFR

2011-07-01

... 29 Labor 4 2011-07-01 2011-07-01 false Definitions. 1690.107 Section 1690.107 Labor Regulations... of advice and opinions on a subject occurring among the EEOC and affected agencies before formal... document by the issuing agency to the EEOC and other affected agencies for at least 15 working days from...

Matching Linguistic Training with Individual Indigenous Community's Needs

ERIC Educational Resources Information Center

Caffery, Jo

2016-01-01

Australia is rapidly losing its Indigenous multicultural and multilingual identity. This vast continent has lost 90 per cent of its Indigenous languages and cultures, without adequate documentation, and risks losing the rest by 2050 if action is not taken. There are formal, accredited linguistics courses designed specifically for Indigenous…

Identifying the Enemy: Social Categorization and National Security Policy

ERIC Educational Resources Information Center

Unsworth, Kristene

2010-01-01

This dissertation seeks to understand the interplay between informal articulations of social categories and formal instantiations of those categories in official language. Specifically, it explores the process of social categorization as it is used to identify threats to national security. The research employed a qualitative, document-based,…

Examining One High School's Restructuring Efforts within "Garbage Can" Decision Making Theory.

ERIC Educational Resources Information Center

Shindler, John V.

A study examined decision making within one large urban high school's restructuring efforts, using an emergent qualitative case-study design. Data, collected over a 2-year period, included formal and informal interviews, participant and nonparticipant observations, surveys, and documents. Results of data analysis supported matching the…

Educating Girls: Strategies To Increase Access, Persistence, and Achievement.

ERIC Educational Resources Information Center

Tietjen, Karen; Prather, Cynthia, Ed.

This document reviews the interventions, such as policies, programs, and projects, that have been implemented by governments, donors, and other institutions to increase girls' access, persistence, and achievement at the primary school level. It examines both the formal system of primary education and nontraditional, alternative approaches to reach…

Peruvian Maca: Two Scientific Names Lepidium Meyenii Walpers and Lepidium Peruvianum Chacon – Are They Phytochemically-Synonymous?

PubMed Central

Meissner, Henry O.; Mscisz, Alina; Kedzia, Bogdan; Pisulewski, Pawel; Piatkowska, Ewa

2015-01-01

Using Liquid Chromatography-Mass Spectrometry (LCMS) , profiles of the two isotypes labelled under the same common name Maca deposited in the Medicinal Plant Herbarium, in Australia and Poland, but identified under two different scientific names Lepidium meyenii Walpers (L. meyenii) and Lepidium peruvianum Chacon (L. peruvianum) are presented. The two isotypes correspond to two holotypes of Peruvian medicinal herb known under the same common name “Maca”, as originally deposited in the Herbarium of San Marcos University in Lima, Peru dated back to 1843 and 1990 respectively. The results demonstrate distinct differences in taxonomy, visual appearance, phytochemical profiles and DNA sequences of the two researched Maca isotypes, suggesting that the two Maca specimens are dissimilar and formal use of the term “synonymous” to L. meyenii and L. peruvianum may be misleading. On the basis of presented results the scientific name L. meyenii, used since 1843 up-today for cultivated Peruvian Maca by numerous reference sources worldwide, including Regulatory Bodies in the USA, EU, Australia and most lately in China, appears to be used in error and should be formally revised. It is concluded, that the isotype of cultivated Peruvian Maca labelled under its scientific name Lepidium peruvianum Chacon, provides all the characteristics peculiar to this historically-documented herb grown in Andean highlands, which may be linked to its traditional use and accepted functionality, confirmed in recent clinical study to be relevant to its present day use for expected dietary, therapeutic and health benefits.

A compliance assessment of midpoint formative assessments completed by APPE preceptors.

PubMed

Lea Bonner, C; Staton, April G; Naro, Patricia B; McCullough, Elizabeth; Lynn Stevenson, T; Williamson, Margaret; Sheffield, Melody C; Miller, Mindi; Fetterman, James W; Fan, Shirley; Momary, Kathryn M

Experiential pharmacy preceptors should provide formative and summative feedback during a learning experience. Preceptors are required to provide colleges and schools of pharmacy with assessments or evaluations of students' performance. Students and experiential programs value on-time completion of midpoint evaluations by preceptors. The objective of this study was to determine the number of on-time electronically documented formative midpoint evaluations completed by preceptors during advanced pharmacy practice experiences (APPEs). Compliance rates of on-time electronically documented formative midpoint evaluations were reviewed by the Office of Experiential Education of a five-member consortium during the two-year study period prior to the adoption of Standards 2016. Pearson chi-square test and generalized linear models were used to determine if statistically significant differences were present. Average midpoint compliance rates for the two-year research period were 40.7% and 41% respectively. No statistical significance was noted comparing compliance rates for year one versus year two. However, statistical significance was present when comparing compliance rates between schools during year two. Feedback from students and preceptors pointed to the need for brief formal midpoint evaluations that require minimal time to complete, user friendly experiential management software, and methods for documenting verbal feedback through student self-reflection. Additional education and training to both affiliate and faculty preceptors on the importance of written formative feedback at midpoint is critical to remaining in compliance with Standards 2016. Copyright © 2017 Elsevier Inc. All rights reserved.

A knowledgebase system to enhance scientific discovery: Telemakus

PubMed Central

Fuller, Sherrilynne S; Revere, Debra; Bugni, Paul F; Martin, George M

2004-01-01

Background With the rapid expansion of scientific research, the ability to effectively find or integrate new domain knowledge in the sciences is proving increasingly difficult. Efforts to improve and speed up scientific discovery are being explored on a number of fronts. However, much of this work is based on traditional search and retrieval approaches and the bibliographic citation presentation format remains unchanged. Methods Case study. Results The Telemakus KnowledgeBase System provides flexible new tools for creating knowledgebases to facilitate retrieval and review of scientific research reports. In formalizing the representation of the research methods and results of scientific reports, Telemakus offers a potential strategy to enhance the scientific discovery process. While other research has demonstrated that aggregating and analyzing research findings across domains augments knowledge discovery, the Telemakus system is unique in combining document surrogates with interactive concept maps of linked relationships across groups of research reports. Conclusion Based on how scientists conduct research and read the literature, the Telemakus KnowledgeBase System brings together three innovations in analyzing, displaying and summarizing research reports across a domain: (1) research report schema, a document surrogate of extracted research methods and findings presented in a consistent and structured schema format which mimics the research process itself and provides a high-level surrogate to facilitate searching and rapid review of retrieved documents; (2) research findings, used to index the documents, allowing searchers to request, for example, research studies which have studied the relationship between neoplasms and vitamin E; and (3) visual exploration interface of linked relationships for interactive querying of research findings across the knowledgebase and graphical displays of what is known as well as, through gaps in the map, what is yet to be tested. The rationale and system architecture are described and plans for the future are discussed. PMID:15507158

An analysis of policy success and failure in formal evaluations of Australia's national mental health strategy (1992-2012).

PubMed

Grace, Francesca C; Meurk, Carla S; Head, Brian W; Hall, Wayne D; Harris, Meredith G; Whiteford, Harvey A

2017-05-30

Heightened fiscal constraints, increases in the chronic disease burden and in consumer expectations are among several factors contributing to the global interest in evidence-informed health policy. The present article builds on previous work that explored how the Australian Federal Government applied five instruments of policy, or policy levers, to implement a series of reforms under the Australian National Mental Health Strategy (NMHS). The present article draws on theoretical insights from political science to analyse the relative successes and failures of these levers, as portrayed in formal government evaluations of the NMHS. Documentary analysis of six evaluation documents corresponding to three National Mental Health Plans was undertaken. Both the content and approach of these government-funded, independently conducted evaluations were appraised. An overall improvement was apparent in the development and application of policy levers over time. However, this finding should be interpreted with caution due to variations in evaluation approach according to Plan and policy lever. Tabulated summaries of the success and failure of each policy initiative, ordered by lever type, are provided to establish a resource that could be consulted for future policy-making. This analysis highlights the complexities of health service reform and underscores the limitations of narrowly focused empirical approaches. A theoretical framework is provided that could inform the evaluation and targeted selection of appropriate policy levers in mental health.

A novel use of the discrete templated notes within an electronic health record software to monitor resident supervision.

PubMed

Ban, Vin Shen; Madden, Christopher J; Browning, Travis; O'Connell, Ellen; Marple, Bradley F; Moran, Brett

2017-04-01

Monitoring the supervision of residents can be a challenging task. We describe our experience with the implementation of a templated note system for documenting procedures with the aim of enabling automated, discrete, and standardized capture of documentation of supervision of residents performing floor-based procedures, with minimal extra effort from the residents. Procedural note templates were designed using the standard existing template within a commercial electronic health record software. Templates for common procedures were created such that residents could document every procedure performed outside of the formal procedural areas. Automated reports were generated and letters were sent to noncompliers. A total of 27 045 inpatient non-formal procedural area procedures were recorded from August 2012 to June 2014. Compliance with NoteWriter template usage averaged 86% in the first year and increased to 94.6% in the second year ( P  = .0055). Initially, only 12.5% of residents documented supervision of any form. By the end of the first year, this was above 80%, with the gains maintained into the second year and beyond. Direct supervision was documented to have occurred where required in 62.8% in the first year and increased to 99.8% in the second year ( P  = .0001) after the addition of hard stops. Notification of attendings prior to procedures was documented 100% of the time by September 2013. Letters sent to errant residents decreased from 3.6 to 0.83 per 100 residents per week. The templated procedure note system with hard stops and integrated reporting can successfully be used to improve monitoring of resident supervision. This has potential impact on resident education and patient safety. © The Author 2016. Published by Oxford University Press on behalf of the American Medical Informatics Association. All rights reserved. For Permissions, please email: journals.permissions@oup.com

NASA's Advanced Multimission Operations System: A Case Study in Formalizing Software Architecture Evolution

NASA Technical Reports Server (NTRS)

Barnes, Jeffrey M.

2011-01-01

All software systems of significant size and longevity eventually undergo changes to their basic architectural structure. Such changes may be prompted by evolving requirements, changing technology, or other reasons. Whatever the cause, software architecture evolution is commonplace in real world software projects. Recently, software architecture researchers have begun to study this phenomenon in depth. However, this work has suffered from problems of validation; research in this area has tended to make heavy use of toy examples and hypothetical scenarios and has not been well supported by real world examples. To help address this problem, I describe an ongoing effort at the Jet Propulsion Laboratory to re-architect the Advanced Multimission Operations System (AMMOS), which is used to operate NASA's deep-space and astrophysics missions. Based on examination of project documents and interviews with project personnel, I describe the goals and approach of this evolution effort and then present models that capture some of the key architectural changes. Finally, I demonstrate how approaches and formal methods from my previous research in architecture evolution may be applied to this evolution, while using languages and tools already in place at the Jet Propulsion Laboratory.

Final Report - Regulatory Considerations for Adaptive Systems

NASA Technical Reports Server (NTRS)

Wilkinson, Chris; Lynch, Jonathan; Bharadwaj, Raj

2013-01-01

This report documents the findings of a preliminary research study into new approaches to the software design assurance of adaptive systems. We suggest a methodology to overcome the software validation and verification difficulties posed by the underlying assumption of non-adaptive software in the requirementsbased- testing verification methods in RTCA/DO-178B and C. An analysis of the relevant RTCA/DO-178B and C objectives is presented showing the reasons for the difficulties that arise in showing satisfaction of the objectives and suggested additional means by which they could be satisfied. We suggest that the software design assurance problem for adaptive systems is principally one of developing correct and complete high level requirements and system level constraints that define the necessary system functional and safety properties to assure the safe use of adaptive systems. We show how analytical techniques such as model based design, mathematical modeling and formal or formal-like methods can be used to both validate the high level functional and safety requirements, establish necessary constraints and provide the verification evidence for the satisfaction of requirements and constraints that supplements conventional testing. Finally the report identifies the follow-on research topics needed to implement this methodology.

Y-12 Groundwater Protection Program CY2012 Triennial Report Of The Monitoring Well Inspection And Maintenance Program Y-12 National Security Complex, Oak Ridge, Tennessee

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

None

2013-09-01

This document is the triennial report for the Well Inspection and Maintenance Program of the Y- 12 Groundwater Protection Program (GWPP), at the U.S. Department of Energy (DOE) Y-12 National Security Complex (Y-12). This report formally documents well inspections completed by the GWPP on active and inactive wells at Y-12 during calendar years (CY) 2010 through 2012. In addition, this report also documents well inspections performed under the Y-12 Water Resources Restoration Program, which is administered by URS|CH2M Oak Ridge (UCOR). This report documents well maintenance activities completed since the last triennial inspection event (CY 2009); and provides summary tablesmore » of well inspections and well maintenance activities during the reference time period.« less

Mental Health Nursing, Mechanical Restraint Measures and Patients’ Legal Rights

PubMed Central

Birkeland, Soren; Gildberg, Frederik A.

2016-01-01

Coercive mechanical restraint (MR) in psychiatry constitutes the perhaps most extensive exception from the common health law requirement for involving patients in health care decisions and achieving their informed consent prior to treatment. Coercive measures and particularly MR seriously collide with patient autonomy principles, pose a particular challenge to psychiatric patients’ legal rights, and put intensified demands on health professional performance. Legal rights principles require rationale for coercive measure use be thoroughly considered and rigorously documented. This article presents an in-principle Danish Psychiatric Complaint Board decision concerning MR use initiated by untrained staff. The case illustrates that, judicially, weight must be put on the patient perspective on course of happenings and especially when health professional documentation is scant, patients’ rights call for taking notice of patient evaluations. Consequently, if it comes out that psychiatric staff failed to pay appropriate consideration for the patient’s mental state, perspective, and expressions, patient response deviations are to be judicially interpreted in this light potentially rendering MR use illegitimated. While specification of law criteria might possibly improve law use and promote patients’ rights, education of psychiatry professionals must address the need for, as far as possible, paying due regard to meeting patient perspectives and participation principles as well as formal law and documentation requirements. PMID:27123152

Guidelines on Library Twinning.

ERIC Educational Resources Information Center

Doyle, Robert P., Comp.; Scarry, Patricia, Comp.

This document serves as an overview of the many forms of library twinning, or formal exchanges of materials and/or staff between two institutions. Twinning can be reciprocal, but often involves a one-way arrangement whereby a library in a developing country receives a visit from a librarian of a developed country. Either way, both institutions can…

Working with Young Adults. NIACE Lifelines in Adult Learning.

ERIC Educational Resources Information Center

Jackson, Carol

This document explains how adult educators and others in the United Kingdom can increase levels of participation and achievement in learning for young adults by providing informal learning opportunities for those young people who are least inclined to participate in formal education and training programs. The guide outlines a step-by-step approach…

The Information Bazaar; Sixth Annual National Colloquium on Information Retrieval, May 8-9, 1969, Philadelphia, Pennsylvania.

ERIC Educational Resources Information Center

Schultz, Louise, Ed.

The 31 papers in this proceedings cover social as well as technical issues, mathematical models and formal logic systems, applications descriptions, program design, cost analysis, and predictions. The papers are grouped into sessions including: privacy and information technology, describing documents, information dissemination systems, public and…

Perceptions and Uses of Digital Badges for Professional Learning Development in Higher Education

ERIC Educational Resources Information Center

Dyjur, Patti; Lindstrom, Gabrielle

2017-01-01

Few instructors in higher education have completed a formal teaching program and, therefore, rely on informal professional development opportunities to enhance their teaching practice. Micro-credentialing in the form of digital badges is one way in which instructors can document their non-credit learning and accomplishments. This mixed methods…

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

Federal Register 2010, 2011, 2012, 2013, 2014

2011-05-25

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

Class and University Education: Inter-Generational Patterns in Canada. NALL Working Paper.

ERIC Educational Resources Information Center

Livingstone, D. W.; Stowe, Susan

Young people from lower class origins continue to face major barriers to university education in Canada. This paper documents both substantial inter-generational class mobility and continuing inequalities in formal educational attainments by class origins. While Canada now has the world's higher educational attainments in its youth cohort and has…

The Evolution of SCORM to Tin Can API: Implications for Instructional Design

ERIC Educational Resources Information Center

Lindert, Lisa; Su, Bude

2016-01-01

Integrating and documenting formal and informal learning experiences is challenging using the current Shareable Content Object Reference Model (SCORM) eLearning standard, which limits the media and data that are obtained from eLearning. In response to SCORM's limitations, corporate, military, and academic institutions have collaborated to develop…

Does Preschool Education Exposure Predict Children's Academic and Behavioural Outcomes in China?

ERIC Educational Resources Information Center

Li, Yanfang; Lv, Ying; Huntsinger, Carol S.

2015-01-01

Relationships between exposure to preschool education and children's academic and social outcomes have been documented in Western countries. There is a lack of comparable research in China, where preschool education is relatively formal, but rather flexible in arrangement. We conducted research at six public kindergartens in a large Chinese city…

42 CFR 422.107 - Special needs plans and dual-eligibles: Contract with State Medicaid Agency.

Code of Federal Regulations, 2010 CFR

2010-10-01

... means a formal written agreement between an MA organization and the State Medicaid agency documenting... organizations seeking to offer a special needs plan serving beneficiaries eligible for both Medicare and Medicaid (dual-eligible) must have a contract with the State Medicaid agency. The MA organization retains...

Media Literacy and Neo-Liberal Government: Pedagogies of Freedom and Constraint

ERIC Educational Resources Information Center

Dehli, Kari

2009-01-01

This paper examines relations between media education discourses and teachers' reflections on their work with students around media. Based on a reading of curriculum documents and scholarly debates about media literacy, as well as conversations with teachers in Toronto, I ask how--and whether--formal discourses, common sense and local practices…

Impact of Non-Formal Primary Education Programs: A Case Study of Northern Ghana.

ERIC Educational Resources Information Center

Mfum-Mensah, Obed

A study assessed the impact of the Shepherd School program, a nonformal basic education program in rural northern Ghana implemented by a nongovernmental organization. Data were gathered through observation; document analysis; and interviews with 42 children, parents, community members, chiefs, school staff, NGO members, and assemblymen in 2…

Stakeholder Partnerships as Collaborative Policymaking: Evaluation Criteria Applied to Watershed Management in California and Washington

ERIC Educational Resources Information Center

Leach, William D.; Pelkey, Neil W.; Sabatier, Paul A.

2002-01-01

Public policymaking and implementation in the United States are increasingly handled through local, consensus-seeking partnerships involving most affected stakeholders. This paper formalizes the concept of a stakeholder partnership, and proposes techniques for using interviews, surveys, and documents to measure each of six evaluation criteria.…

Effective Crisis Management at the Smaller Campus.

ERIC Educational Resources Information Center

DeWitt, Robert C.

Pennsylvania State University Beaver Campus developed crisis guidelines and a formal working relationship with a local community mental health center in order to be able to deal with on-campus crises and their followup. The guidelines provide each employee with a single, easy-to-follow document that outlines the decision making process to be…

Women Art Educators II.

ERIC Educational Resources Information Center

Stankiewicz, Mary Ann, Ed.; Zimmerman, Enid, Ed.

In this monograph, the story of achievements and struggles of a number of women art educators from the past, in both formal and informal educational settings, is documented. There are two recurring themes in this collection of 14 essays: (1) a focus on individual educators in more traditional academic settings, and (2) the role of woman folk…

The Leadership Practices of the Dean of Combined Arms Academy

ERIC Educational Resources Information Center

Tafere, Matebe

2014-01-01

This study is on the leadership practices of the dean of Combined Army Academy. The research is a qualitative design. The academic staff members were the participants of the study. Formal and informal conversational interview approaches, personal observation and document analysis were the instruments of the study. Thematic analysis was used for…

Preventing Preschool Fadeout through Instructional Intervention in Kindergarten and First Grade

ERIC Educational Resources Information Center

Duncan, Greg J.; Jenkins, Jade M.; Watts, Tyler W.; Magnuson, Katherine; Clements, Douglas; Sarama, Julie; Wolfe, Christopher B.; Spitler, Mary Elaine

2015-01-01

A substantial literature documents the benefits of early childhood education and formal preschool experiences on children's school readiness, with low-income and otherwise disadvantaged children benefitting the most from these programs. However, these academic benefits often fade out as children age, and most disappear by the end of kindergarten…

On Pauli's Invention of Non-Abelian Kaluza-Klein Theory in 1953

NASA Astrophysics Data System (ADS)

Straumann, N.

2002-12-01

There are documents which show that Wolfgang Pauli developed in 1953 the first consistent generalization of the five-dimensional theory of Kaluza, Klein, Fock and others to a higher dimensional internal space. Because he saw no way to give masses to the gauge bosons, he refrained from publishing his results formally.

Third Culture Kids: Transition and Persistence When Repatriating to Attend University

ERIC Educational Resources Information Center

Jennison Smith, Virginia M

2011-01-01

Scope and Method of Study. This qualitative study used heuristic phenomenology and involved 20 interviews at 3 different sites, 2 focus groups, formal and informal observations, and the analysis of various artifacts including photos, drawings, and documents. Findings and Conclusions. Third culture kids are a diverse group of individuals who spent…

National Aeronautics and Space Administration (NASA) Education 1993-2009

ERIC Educational Resources Information Center

Ivie, Christine M.

2009-01-01

The National Aeronautics and Space Administration was established in 1958 and began operating a formal education program in 1993. The purpose of this study was to analyze the education program from 1993-2009 by examining strategic plan documents produced by the NASA education office and interviewing NASA education officials who served during that…

Explicating Practicum Program Theory: A Case Example in Human Ecology

ERIC Educational Resources Information Center

Chandler, Kathryn M. M.; Williamson, Deanna L.

2013-01-01

This study explicated the theory underpinning the Human Ecology Practicum Program offered in the Department of Human Ecology at the University of Alberta. The program has operated for 40 years but never been formally evaluated. Using a document analysis, focus group and individual interviews, and a stakeholder working group, we explored…

17 CFR 140.14 - Delegation of authority to the Secretary of the Commission.

Code of Federal Regulations, 2014 CFR

2014-04-01

... Secretary of the Commission. 140.14 Section 140.14 Commodity and Securities Exchanges COMMODITY FUTURES....14 Delegation of authority to the Secretary of the Commission. After the Commission has formally... order, and has directed that the document be issued, the Secretary of the Commission (or a person...

17 CFR 140.14 - Delegation of authority to the Secretary of the Commission.

Code of Federal Regulations, 2012 CFR

2012-04-01

... Secretary of the Commission. 140.14 Section 140.14 Commodity and Securities Exchanges COMMODITY FUTURES... of authority to the Secretary of the Commission. After the Commission has formally reached a decision... directed that the document be issued, the Secretary of the Commission (or a person designated in writing by...

17 CFR 140.14 - Delegation of authority to the Secretary of the Commission.

Code of Federal Regulations, 2013 CFR

2013-04-01

... Secretary of the Commission. 140.14 Section 140.14 Commodity and Securities Exchanges COMMODITY FUTURES... of authority to the Secretary of the Commission. After the Commission has formally reached a decision... directed that the document be issued, the Secretary of the Commission (or a person designated in writing by...

17 CFR 140.14 - Delegation of authority to the Secretary of the Commission.

Code of Federal Regulations, 2011 CFR

2011-04-01

... Secretary of the Commission. 140.14 Section 140.14 Commodity and Securities Exchanges COMMODITY FUTURES... of authority to the Secretary of the Commission. After the Commission has formally reached a decision... directed that the document be issued, the Secretary of the Commission (or a person designated in writing by...

Effect of Musical Expertise on Visuospatial Abilities: Evidence from Reaction Times and Mental Imagery

ERIC Educational Resources Information Center

Brochard, Renaud; Dufour, Andre; Despres, Olivier

2004-01-01

Recently, the relationship between music and nonmusical cognitive abilities has been highly debated. It has been documented that formal music training would improve verbal, mathematical or visuospatial performance in children. In the experiments described here, we tested if visual perception and imagery abilities were enhanced in adult musicians…

Many College Presidents Lack Written Employment Contracts

ERIC Educational Resources Information Center

Fain, Paul

2007-01-01

All college presidents technically hold employment contracts. But whether the terms of those contracts are spelled out clearly is a different story. This article reports that in a survey of 165 public universities where such documents are considered public information, one-third of public university chiefs do not have formal written agreements.…

Cooperative Agreements in Indian Education. Indian Education Legal Support Project: "Tribalizing Indian Education."

ERIC Educational Resources Information Center

McCoy, Melody

The Indian Education Legal Support Project emphasizes the legal rights of tribes to control the formal education of their members. The project's work includes developing tribal education laws and reforming state and national Indian education legislation. This document compiles 10 voluntary cooperative agreements among federal, public, and tribal…

Mixed Images and Merging Semantics in European Curricula

ERIC Educational Resources Information Center

Sivesind, Kirsten

2013-01-01

Due to European agreements and policy expectations, national authorities are revising their formal curricula in line with an evidence-oriented policy. The article explores how new trends in formulating curricula can be regarded as an outcome of experts' semantics and impact on education policy. The article reanalyses documentation from a project,…

Lehigh County Community College Substance Abuse Prevention Program. LCCC Drug Free Campus.

ERIC Educational Resources Information Center

Roth, June

Three documents illustrate the Lehigh County Community College (LCCC), Pennsylvania, drug and alcohol policy: a formal statement of policy and two educational brochures for distribution to students and employees. The policy statement details policies approved by the board of trustees governing drug and alcohol abuse including policies for students…

Forgotten History: Mexican American School Segregation in Arizona from 1900-1951

ERIC Educational Resources Information Center

Powers, Jeanne M.

2008-01-01

This article documents the efforts by Mexican Americans to challenge school segregation in Arizona in the first half of the twentieth century. As in Texas and California, although state law never formally mandated the segregation of Mexican American students, school districts in Arizona often established separate "Mexican Schools" for…

Lab Notebooks as Scientific Communication: Investigating Development from Undergraduate Courses to Graduate Research

ERIC Educational Resources Information Center

Stanley, Jacob T.; Lewandowski, H. J.

2016-01-01

In experimental physics, lab notebooks play an essential role in the research process. For all of the ubiquity of lab notebooks, little formal attention has been paid to addressing what is considered "best practice" for scientific documentation and how researchers come to learn these practices in experimental physics. Using interviews…

Wyoming Academic Libraries Resource Project: Developing a Statewide Ariel Document Delivery Network. Final Report.

ERIC Educational Resources Information Center

Lange, Karen

The Wyoming Academic Libraries Resource Project was initiated to improve cooperation and resource sharing by developing an interconnected information access and delivery system among Wyoming's academic libraries and the State Library. The goal was to formalize communication, cooperation, and resource sharing by developing an Ariel document…

Shakespeare of Hollywood: The Bard and the Beautiful.

ERIC Educational Resources Information Center

Rollin, Roger B.

This document describes seven distinct factors that affect the popularity of movies, using, as examples, the seven movies based on Shakespeare's work that have been produced since World War II. The seven factors, each of which is assigned a relative numerical weight, are formal publicity, or the money spent on accountable advertising such as that…

78 FR 13086 - Agency Information Collection Activities; Submission for OMB Review; Comment Request; Job Clubs...

Federal Register 2010, 2011, 2012, 2013, 2014

2013-02-26

... ``job clubs'' have evolved into one of several important activities used by the public workforce system... are formally run through the public workforce system--including at Department of Labor funded American... communities; (2) documenting how they differ from and are similar to the job clubs operated by publicly...

Guidelines for Tutoring Adult ESL Students.

ERIC Educational Resources Information Center

Frank, Marcella

This document is a copy of a talk regularly given to new volunteers of English in Action, a community-based organization that provides conversation practice to non-native English speakers. The volunteer tutors typically have no formal English-as-a-Second-Language (ESL) training. This packet is designed to help these volunteers be effective ESL…

77 FR 4854 - Agency Information Collection Activities: Proposed Request and Comment Request

Federal Register 2010, 2011, 2012, 2013, 2014

2012-01-31

... spousal applicant if the applicant claims a common-law marriage to the insured in a state in which such marriages are recognized, and no formal marriage documentation exists. SSA uses information we collect on... common-law marriage under state law. The respondents are applicants for spouse's Social Security benefits...

Fulbright-Hays Seminars Abroad Program 1992: Morocco and Tunisia. Final Projects.

ERIC Educational Resources Information Center

AMIDEAST, Washington, DC.

The projects described in this document were submitted by U.S. teachers who spent time in Morocco and Tunisia as part of the 1992 Fulbright-Hays Seminars Abroad Program. The following are among the titles of the projects included: "Formal Education in Rural Morocco: Problems and Constraints" (Victoria Baker); "Continuity and Change…

48 CFR 1852.245-73 - Financial reporting of NASA property in the custody of contractors.

Code of Federal Regulations, 2013 CFR

2013-10-01

... due. However, contractors' procedures must document the process for developing these estimates based... shall have formal policies and procedures, which address the validation of NF 1018 data, including data... validation is to ensure that information reported is accurate and in compliance with the NASA FAR Supplement...

48 CFR 1852.245-73 - Financial reporting of NASA property in the custody of contractors.

Code of Federal Regulations, 2012 CFR

2012-10-01

... due. However, contractors' procedures must document the process for developing these estimates based... shall have formal policies and procedures, which address the validation of NF 1018 data, including data... validation is to ensure that information reported is accurate and in compliance with the NASA FAR Supplement...

What Are Nebraska's Public Policies on Funding Postsecondary Education?

ERIC Educational Resources Information Center

Nebraska Coordinating Commission for Postsecondary Education, Lincoln.

This document explores Nebraska's current public policies and practices that impact the funding of postsecondary education. These policies and practices have developed over time in response to the needs of the state. Many of the policies are statute and have not been formally adopted, but are reflective of legislative practice, past patterns…

Third NASA Langley Formal Methods Workshop

NASA Technical Reports Server (NTRS)

Holloway, C. Michael (Compiler)

1995-01-01

This publication constitutes the proceedings of NASA Langley Research Center's third workshop on the application of formal methods to the design and verification of life-critical systems. This workshop brought together formal methods researchers, industry engineers, and academicians to discuss the potential of NASA-sponsored formal methods and to investigate new opportunities for applying these methods to industry problems. contained herein are copies of the material presented at the workshop, summaries of many of the presentations, a complete list of attendees, and a detailed summary of the Langley formal methods program. Much of this material is available electronically through the World-Wide Web via the following URL.

Formalization of the engineering science discipline - knowledge engineering

NASA Astrophysics Data System (ADS)

Peng, Xiao

Knowledge is the most precious ingredient facilitating aerospace engineering research and product development activities. Currently, the most common knowledge retention methods are paper-based documents, such as reports, books and journals. However, those media have innate weaknesses. For example, four generations of flying wing aircraft (Horten, Northrop XB-35/YB-49, Boeing BWB and many others) were mostly developed in isolation. The subsequent engineers were not aware of the previous developments, because these projects were documented such which prevented the next generation of engineers to benefit from the previous lessons learned. In this manner, inefficient knowledge retention methods have become a primary obstacle for knowledge transfer from the experienced to the next generation of engineers. In addition, the quality of knowledge itself is a vital criterion; thus, an accurate measure of the quality of 'knowledge' is required. Although qualitative knowledge evaluation criteria have been researched in other disciplines, such as the AAA criterion by Ernest Sosa stemming from the field of philosophy, a quantitative knowledge evaluation criterion needs to be developed which is capable to numerically determine the qualities of knowledge for aerospace engineering research and product development activities. To provide engineers with a high-quality knowledge management tool, the engineering science discipline Knowledge Engineering has been formalized to systematically address knowledge retention issues. This research undertaking formalizes Knowledge Engineering as follows: 1. Categorize knowledge according to its formats and representations for the first time, which serves as the foundation for the subsequent knowledge management function development. 2. Develop an efficiency evaluation criterion for knowledge management by analyzing the characteristics of both knowledge and the parties involved in the knowledge management processes. 3. Propose and develop an innovative Knowledge-Based System (KBS), AVD KBS, forming a systematic approach facilitating knowledge management. 4. Demonstrate the efficiency advantages of AVDKBS over traditional knowledge management methods via selected design case studies. This research formalizes, for the first time, Knowledge Engineering as a distinct discipline by delivering a robust and high-quality knowledge management and process tool, AVDKBS. Formalizing knowledge proves to significantly impact the effectiveness of aerospace knowledge retention and utilization.

Yucca Mountain Project Integrated Data System (IDS); Final report, October 1, 1989--December 31, 1990

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

NONE

1991-05-23

This final report for LANL Subcontract 9-XS8-2604-1 includes copies of all formal letters, memorandums, and reports provided by CAG to support the IDS effort in the LANL Test Managers Office, Las Vegas, Nevada from October 1, 1989 through the end of the contract on December 31, 1990. The material is divided into two sections; the Functional Requirements Document (FRD) and other reports, letters, and memorandums. All documents are arranged in chronological order with most recent last. Numerous draft copies of the FRD were prepared and cover sheets for all drafts are included. The complete text of only the last versionmore » supplied (July 27, 1990) is included in this document.« less

Global and regional environmental atmospheric chemistry

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

Newman, L.; Wang, Wenxing; Kiang, C.S.

1990-08-01

More than two hundred fifty scientists from eighteen different countries attended the first International Conference on Global and Regional Environmental Atmospheric Chemistry in the Science Hall of Friendship Hotel at Beijing, May 3--10, 1989. This volume documents the proceedings of this historical event. Following the meeting, some 173 papers were submitted for this publication. When follow up papers were not submitted the original abstract is presented. Also included are abstracts of the posters presented by the Chinese participants who could not be accommodated during the more formal sessions. We might add that this more informal session was particularly useful formore » the exchange of ideas and information between east and west. Indeed, the conference overall certainly provided an enthusiastic platform for interactions among scientists from around the world. It is our hope that these proceedings will serve as a vehicle to further enhance collaboration for joint studies of the changes in the global environment.« less

GATOR: Requirements capturing of telephony features

NASA Technical Reports Server (NTRS)

Dankel, Douglas D., II; Walker, Wayne; Schmalz, Mark

1992-01-01

We are developing a natural language-based, requirements gathering system called GATOR (for the GATherer Of Requirements). GATOR assists in the development of more accurate and complete specifications of new telephony features. GATOR interacts with a feature designer who describes a new feature, set of features, or capability to be implemented. The system aids this individual in the specification process by asking for clarifications when potential ambiguities are present, by identifying potential conflicts with other existing features, and by presenting its understanding of the feature to the designer. Through user interaction with a model of the existing telephony feature set, GATOR constructs a formal representation of the new, 'to be implemented' feature. Ultimately GATOR will produce a requirements document and will maintain an internal representation of this feature to aid in future design and specification. This paper consists of three sections that describe (1) the structure of GATOR, (2) POND, GATOR's internal knowledge representation language, and (3) current research issues.

The Latin American Biological Dosimetry Network (LBDNet).

PubMed

García, O; Di Giorgio, M; Radl, A; Taja, M R; Sapienza, C E; Deminge, M M; Fernández Rearte, J; Stuck Oliveira, M; Valdivia, P; Lamadrid, A I; González, J E; Romero, I; Mandina, T; Guerrero-Carbajal, C; ArceoMaldonado, C; Cortina Ramírez, G E; Espinoza, M; Martínez-López, W; Di Tomasso, M

2016-09-01

Biological Dosimetry is a necessary support for national radiation protection programmes and emergency response schemes. The Latin American Biological Dosimetry Network (LBDNet) was formally founded in 2007 to provide early biological dosimetry assistance in case of radiation emergencies in the Latin American Region. Here are presented the main topics considered in the foundational document of the network, which comprise: mission, partners, concept of operation, including the mechanism to request support for biological dosimetry assistance in the region, and the network capabilities. The process for network activation and the role of the coordinating laboratory during biological dosimetry emergency response is also presented. This information is preceded by historical remarks on biological dosimetry cooperation in Latin America. A summary of the main experimental and practical results already obtained by the LBDNet is also included. © The Author 2016. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oup.com.

Workarounds to hospital electronic prescribing systems: a qualitative study in English hospitals.

PubMed

Cresswell, Kathrin M; Mozaffar, Hajar; Lee, Lisa; Williams, Robin; Sheikh, Aziz

2017-07-01

Concerns with the usability of electronic prescribing (ePrescribing) systems can lead to the development of workarounds by users. To investigate the types of workarounds users employed, the underlying reasons offered and implications for care provision and patient safety. We collected a large qualitative data set, comprising interviews, observations and project documents, as part of an evaluation of ePrescribing systems in five English hospitals, which we conceptualised as case studies. Data were collected at up to three different time points throughout implementation and adoption. Thematic analysis involving deductive and inductive approaches was facilitated by NVivo 10. Our data set consisted of 173 interviews, 24 rounds of observation and 17 documents. Participating hospitals were at various stages of implementing a range of systems with differing functionalities. We identified two types of workarounds: informal and formal. The former were informal practices employed by users not approved by management, which were introduced because of perceived changes to professional roles, issues with system usability and performance and challenges relating to the inaccessibility of hardware. The latter were formalised practices that were promoted by management and occurred when systems posed threats to patient safety and organisational functioning. Both types of workarounds involved using paper and other software systems as intermediaries, which often created new risks relating to a lack of efficient transfer of real-time information between different users. Assessing formal and informal workarounds employed by users should be part of routine organisational implementation strategies of major health information technology initiatives. Workarounds can create new risks and present new opportunities for improvement in system design and integration. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://www.bmj.com/company/products-services/rights-and-licensing/.

Qualitative evaluation of an AIDS health education poster. A rapid assessment method for health education materials.

PubMed

Evian, C R; Ijsselmuiden, C B; Padayachee, G N; Hurwitz, H S

1990-11-03

In January 1989, the Johannesburg City Health Department developed an AIDS education poster. The poster was adapted from a cartoon in the Sowetan newspaper and was formally evaluated before its final production. As a result of this evaluation further editing and restructuring of the poster proved necessary. The methodology used in the evaluation is outlined, and some of the findings that emerged during the evaluation are discussed, since few formal evaluations of health education material seem to have been documented in South Africa. This study highlights the importance of formative evaluation of printed health educational media by a sample of the target audience before production and distribution.

An object-oriented approach for harmonization of multimedia markup languages

NASA Astrophysics Data System (ADS)

Chen, Yih-Feng; Kuo, May-Chen; Sun, Xiaoming; Kuo, C.-C. Jay

2003-12-01

An object-oriented methodology is proposed to harmonize several different markup languages in this research. First, we adopt the Unified Modelling Language (UML) as the data model to formalize the concept and the process of the harmonization process between the eXtensible Markup Language (XML) applications. Then, we design the Harmonization eXtensible Markup Language (HXML) based on the data model and formalize the transformation between the Document Type Definitions (DTDs) of the original XML applications and HXML. The transformation between instances is also discussed. We use the harmonization of SMIL and X3D as an example to demonstrate the proposed methodology. This methodology can be generalized to various application domains.

Providing solid angle formalism for skyshine calculations.

PubMed

Gossman, Michael S; Pahikkala, A Jussi; Rising, Mary B; McGinley, Patton H

2010-08-17

We detail, derive and correct the technical use of the solid angle variable identified in formal guidance that relates skyshine calculations to dose-equivalent rate. We further recommend it for use with all National Council on Radiation Protection and Measurements (NCRP), Institute of Physics and Engineering in Medicine (IPEM) and similar reports documented. In general, for beams of identical width which have different resulting areas, within ± 1.0 % maximum deviation the analytical pyramidal solution is 1.27 times greater than a misapplied analytical conical solution through all field sizes up to 40 × 40 cm². Therefore, we recommend determining the exact results with the analytical pyramidal solution for square beams and the analytical conical solution for circular beams.

The context of employment discrimination: interpreting the findings of a field experiment.

PubMed

Midtbøen, Arnfinn H

2015-03-01

Although field experiments have documented the contemporary relevance of discrimination in employment, theories developed to explain the dynamics of differential treatment cannot account for differences across organizational and institutional contexts. In this article, I address this shortcoming by presenting the main empirical findings from a multi-method research project, in which a field experiment of ethnic discrimination in the Norwegian labour market was complemented with forty-two in-depth interviews with employers who were observed in the first stage of the study. While the experimental data support earlier findings in documenting that ethnic discrimination indeed takes place, the qualitative material suggests that theorizing in the field experiment literature have been too concerned with individual and intra-psychic explanations. Discriminatory outcomes in employment processes seems to be more dependent on contextual factors such as the number of applications received, whether requirements are specified, and the degree to which recruitment procedures are formalized. I argue that different contexts of employment provide different opportunity structures for discrimination, a finding with important theoretical and methodological implications. © London School of Economics and Political Science 2014.

Moving formal methods into practice. Verifying the FTPP Scoreboard: Results, phase 1

NASA Technical Reports Server (NTRS)

Srivas, Mandayam; Bickford, Mark

1992-01-01

This report documents the Phase 1 results of an effort aimed at formally verifying a key hardware component, called Scoreboard, of a Fault-Tolerant Parallel Processor (FTPP) being built at Charles Stark Draper Laboratory (CSDL). The Scoreboard is part of the FTPP virtual bus that guarantees reliable communication between processors in the presence of Byzantine faults in the system. The Scoreboard implements a piece of control logic that approves and validates a message before it can be transmitted. The goal of Phase 1 was to lay the foundation of the Scoreboard verification. A formal specification of the functional requirements and a high-level hardware design for the Scoreboard were developed. The hardware design was based on a preliminary Scoreboard design developed at CSDL. A main correctness theorem, from which the functional requirements can be established as corollaries, was proved for the Scoreboard design. The goal of Phase 2 is to verify the final detailed design of Scoreboard. This task is being conducted as part of a NASA-sponsored effort to explore integration of formal methods in the development cycle of current fault-tolerant architectures being built in the aerospace industry.

Security, insecurity and health.

PubMed

Coupland, Robin

2007-03-01

An examination of the nexus of security, insecurity and health shows that security is a prerequisite for health. The many and varied ways that armed violence--including threats of armed violence--can affect people's health can be documented by formal studies; however, valuable data also exist in other reports, such as media reports. The health community needs to recognize that people's insecurity is a massive global health issue. The foreign policies of donor governments should incorporate recognition that documentation, analysis and publication of data describing the impact of insecurity on people's health can lead to the creation of policies to enhance people's security.

Documentation of clinical care in hospital patients' medical records: A qualitative study of medical students' perspectives on clinical documentation education.

PubMed

Rowlands, Stella; Coverdale, Steven; Callen, Joanne

2016-12-01

Clinical documentation is essential for communication between health professionals and the provision of quality care to patients. To examine medical students' perspectives of their education in documentation of clinical care in hospital patients' medical records. A qualitative design using semi-structured interviews with fourth-year medical students was undertaken at a hospital-based clinical school in an Australian university. Several themes reflecting medical students' clinical documentation education emerged from the data: formal clinical documentation education using lectures and tutorials was minimal; most education occurred on the job by junior doctors and student's expressed concerns regarding variation in education between teams and receiving limited feedback on performance. Respondents reported on the importance of feedback for their learning of disease processes and treatments. They suggested that improvements could be made in the timing of clinical documentation education and they stressed the importance of training on the job. On-the-job education with feedback in clinical documentation provides a learning opportunity for medical students and is essential in order to ensure accurate, safe, succinct and timely clinical notes. © The Author(s) 2016.

Evaluation of the Carcinogenicity of Ethylene Oxide (2006 ...

EPA Pesticide Factsheets

EPA conducted a peer review and public comment of the scientific basis supporting the human health hazard and dose-response assessment of ethylene oxide (cancer) that when finalized will appear on the Integrated Risk Information System (IRIS) database. EPA is announcing a 30-day public comment period for this document. The release of this draft document is solely for the purpose of seeking public comment and for review by the EPA Science Advisory Board (SAB) via a meeting to be held later in 2006. The time and place of the SAB meeting will be announced in a separate Federal Register notice. This document has not been formally disseminated by EPA and does not represent, and should not be construed to represent, any Agency policy or determination. EPA will consider any public comments submitted in accordance with the requirements specified in the Notice of Public Comment Period when revising this draft document.

Team X Report #1401: Exoplanet Coronagraph STDT Study 2013-06

NASA Technical Reports Server (NTRS)

Warfield, Keith

2013-01-01

This document is intended to stimulate discussion of the topic described. All technical and cost analyses are preliminary. This document is not a commitment to work, but is a precursor to a formal proposal if it generates sufficient mutual interest. The data contained in this document may not be modified in any way. Cost estimates described or summarized in this document were generated as part of a preliminary, first-order cost class identification as part of an early trade space study, are based on JPL-internal parametric cost modeling, assume a JPL in-house build, and do not constitute a commitment on the part of JPL or Caltech. JPL and Team X add cost reserves for development and operations. Unadjusted estimate totals and cost reserve allocations would be revised as needed in future more-detailed studies as appropriate for the specific cost-risks for a given mission concept.

Background on Non-Formal Education and Suggestions for the Improvement of Non-Formal Education in Developing Countries and the Dominican Republic.

ERIC Educational Resources Information Center

Jerez Gomez, Maximo J.

Divided into two areas of emphasis, this paper explores the potential of non-formal education in developing countries and non-formal education as it relates to the Dominican Republic. The first section presents background material on non-formal education and discusses types of programs being applied in a number of countries throughout the world.…

Leadership in Groups: Social Networks and Perceptions of Formal and Informal Leaders

DTIC Science & Technology

2006-03-01

LEADERSHIP IN GROUPS: SOCIAL NETWORKS AND PERCEPTIONS OF FORMAL AND INFORMAL LEADERS THESIS...01 LEADERSHIP IN GROUPS: SOCIAL NETWORKS AND PERCEPTIONS OF FORMAL AND INFORMAL LEADERS THESIS Presented to the Faculty...DISTRIBUTION UNLIMITED. AFIT/GSS/ENV/06M-01 LEADERSHIP IN GROUPS: SOCIAL NETWORKS AND PERCEPTIONS OF FORMAL AND INFORMAL LEADERS

ERIC Clearinghouse Scope of Interest Guide. ERIC Processing Manual, Appendix A.

ERIC Educational Resources Information Center

Brandhorst, Ted, Ed.; And Others

This guide identifies and describes the subject areas covered by the ERIC Clearinghouses. Each Clearinghouse scope statement is provided in the following three-part format: (1) Formal Statement--A comprehensive and detailed description of the scope areas, mainly for use by the ERIC Facility in assigning documents (on the basis of their subject…

From Research Assistant to Professional Research Assistance: Research Consulting as a Form of Research Practice

ERIC Educational Resources Information Center

Pollon, Dawn E.; Herbert, Monique; Chahine, Saad; Falenchuk, Olesya

2013-01-01

Research assistantships have long been viewed as an extension of the formal education process, a form of apprenticeship, and a pathway into the professional practice of research in institutional settings. However, there are other contexts in which researchers practice research. This self-study documents the formative role research assistantships…

Senior Surfing: Computer Use, Aging, and Formal Training

ERIC Educational Resources Information Center

Warren-Peace, Paula; Parrish, Elaine; Peace, C. Brian; Xu, Jianzhong

2008-01-01

In this article, we describe data from two case studies of seniors (one younger senior and one older senior) in learning to use computers. The study combined interviews, observations, and documents to take a close look at their experiences with computers, as well as the influences of aging and computer training on their experiences. The study…

An Instructional Program for Training Nondestructive Testing and Inspection Technicians.

ERIC Educational Resources Information Center

Stokes, Vernon L.

This document, the second portion of a two-part study, is designed to provide a guide for the formal training of technicians for nondestructive testing and inspection. Information in the guide is based on results of the industrial survey discussed in Part I. The subject matter is intended to be both flexible and comprehensive, and instructional…

Evaluation of Student Performance in the Health Professions.

ERIC Educational Resources Information Center

Hullinger, Ronald L.; And Others

The proposal in this document is based on the assumption that learning to learn is the most important outcome of professional and all formal education. It is suggested that a primary task of instruction is to assist the student to move from external motivation to internal motivation for learning and continuing to learn. It is proposed that these…

29 CFR 102.117 - Freedom of Information Act Regulations: Board materials and formal documents available for public...

Code of Federal Regulations, 2011 CFR

2011-07-01

... widespread and exceptional media interest in which there exist possible questions about the government's... media refers to any person actively gathering news for an entity that is organized and operated to... that would be of current interest to the public. Examples of news media entities include television or...

Portfolio and Certification Programs in Community Engagement as Professional Development for Graduate Students: Lessons Learned from Two Land-Grant Universities

ERIC Educational Resources Information Center

Matthews, Paul H.; Karls, Anna C.; Doberneck, Diane M.; Springer, Nicole C.

2015-01-01

Although growing numbers of graduate students nationwide express interest in developing and documenting boundary-spanning skills in community-engaged research, teaching, and outreach, formal opportunities to do so are often limited, especially at the large research institutions producing most future faculty members. This article focuses on initial…

Teaching Race: Pedagogical Challenges in Predominantly White Undergraduate Theology Classrooms

ERIC Educational Resources Information Center

Scheid, Anna Floerke; Vasko, Elisabeth T.

2014-01-01

While a number of scholars in the field of Christian theology have argued for the importance of teaching diversity and social justice in theology and religious studies classrooms, little has been done to document and assess formally the implementation of such pedagogy. In this article, the authors discuss the findings of a yearlong Scholarship of…

Scientific and technical information output of the Langley Research Center for calendar year 1980

NASA Technical Reports Server (NTRS)

1981-01-01

This document is a compilation of the scientific and technical information that the Langley Research Center has produced during the calendar year 1980. Approximately 1400 citations are given. Formal reports, quick-release technical memorandums, contractor reports, journal articles, meeting/conference papers, computer programs, tech briefs, patents, and unpublished research are included.

School Educational Project as a Criterion of School Choice: Discourses and Practices in the City of Barcelona

ERIC Educational Resources Information Center

Benito, Ricard; Alegre, Miquel Àngel; Gonzàlez, Isaac

2014-01-01

In its advancement towards an education quasi-market, Catalonia has recently been driving the development of "school educational projects" in all schools (both public and private) as a tool to facilitate school autonomy and family choices. A school educational project is a formal document in which schools identify their pedagogical…

Research Yields Tips on Crafting Better Syllabi

ERIC Educational Resources Information Center

Wasley, Paula

2008-01-01

Many professors do not give much thought to what students take away from their syllabi. Researchers who have formally pondered the question suggest a number of areas for instructors to consider when drafting a document which is described as a contract drafted with "less attention paid to the language" than any other. In a comparison of syllabi…

Perspectives and Plans for Graduate Studies. 7. Sociology 1973.

ERIC Educational Resources Information Center

Ontario Council on Graduate Studies, Toronto. Advisory Committee on Academic Planning.

This document reports on a formal planning assessment for sociology conducted by the Advisory Committee on Academic Planning of the Ontario Council on Graduate Studies. Data, reports and comments, and recommendations on a plan for graduate work in sociology in the province is set out. Recommendations are: (1) That the high rates of delay and…

The Politics of Special Education Policy in Charter School Legislation: Lessons from Pennsylvania.

ERIC Educational Resources Information Center

Dale, Richard E.

This study explored how and why special education policy issues were treated as they were in the formulation of Pennsylvania's charter school law, Act 22 of 1997. The qualitative study utilized formal and informal interviews of state policymakers, review of documents, review of archival records, and participant observation. Findings indicated a…

Exploring How Research Experiences for Teachers Changes Their Understandings of the Nature of Science and Scientific Inquiry

ERIC Educational Resources Information Center

Buxner, Sanlyn R.

2014-01-01

The nature of science is a prevalent theme across United States national science education standards and frameworks as well as other documents that guide formal and informal science education reform. To support teachers in engaging their students in authentic scientific practices and reformed teaching strategies, research experiences for teachers…

Faculty Consulting in Natural Sciences and Engineering: Between Formal and Informal Knowledge Transfer

ERIC Educational Resources Information Center

Amara, Nabil; Landry, Rejean; Halilem, Norrin

2013-01-01

Academic consulting is a form of knowledge and technology transfer largely under-documented and under-studied that raises ethical and resources allocation issues. Based on a survey of 2,590 Canadian researchers in engineering and natural sciences, this paper explores three forms of academic consulting: (1) paid consulting; (2) unpaid consulting…

"En Confianza": Co-Constructing Professional Strength and Voice with Latina Early Childhood Educators

ERIC Educational Resources Information Center

Ordonez-Jasis, Rosario; Flores, Susana Y.; Jasis, Pablo M.

2010-01-01

It is well documented in the literature that early pre-K reading experiences prepare children for the benefits of formal literacy instruction in the later grades. This is particularly true for young children from nonmainstream backgrounds. The objective of this article is to share the findings of a 4-year qualitative study investigating the…

Projects, Training, and Strategies for Generating Income: A Selected Annotated Bibliography. Annotated Bibliography #4.

ERIC Educational Resources Information Center

Michigan State Univ., East Lansing. Non-Formal Education Information Center.

A selected annotated bibliography on projects, training, and strategies for generating income, intended for persons actively engaged in non-formal education for development, reflects a growing number of projects on income generation by and for women's groups, and a reliance upon indigenous associations and group action. Documents dating from 1969…

Community-Based Efforts to Increase the Identification of the Number of Gifted Minority Children.

ERIC Educational Resources Information Center

Davis, Paul I.

The document reports on a study of community-based identification of gifted and talented Black middle-school students, as an adjunct to formal identification procedures. A developmental framework for the identification of the gifted minority child was distributed to 17 known leaders in the Black community (including ministers, youth leaders in…

Computer-Aided Discovery of Formal Specification Behavioral Requirements and Requirement to Implementation Mappings

DTIC Science & Technology

2014-01-01

the executable SRM is developed according to the specification and marketing documents. Hence, for example, the Vehicles, Car, and Truck classes in...transitions ternary relation: transitions ⊆ states x transitionIDs x states, such as <"Init", "Tr1", " stP "> • A conditions unary relation bound to

Sampling and measurement protocols for long-term silvicultural studies on the Penobscot Experimental Forest

Treesearch

Justin D. Waskiewicz; Laura S. Kenefic; Nicole S. Rogers; Joshua J. Puhlick; John C. Brissette; Richard J. Dionne

2015-01-01

The U.S. Forest Service, Northern Research Station has been conducting research on the silviculture of northern conifers on the Penobscot Experimental Forest (PEF) in Maine since 1950. Formal study plans provide guidance and specifications for the experimental treatments, but documentation is also needed to ensure consistency in data collection and sampling protocols....

Responding to Mental Health Issues in the College Classroom. Wicked Problems Forum: Mental Health Stigma

ERIC Educational Resources Information Center

Goldman, Zachary W.

2018-01-01

Concerns about the mental health of students have been documented at every level of formal education (cf., Castillo & Schwartz, 2013; Durlak & Wells, 1997; Soet & Sevig, 2006). Addressing the entirety of these concerns is beyond the scope of this forum, thus the author's comments are geared primarily toward higher education; however,…

Surrogate Parents and Children with Disabilities: State-Level Approaches. inForum

ERIC Educational Resources Information Center

Muller, Eve

2009-01-01

Based on a survey of states, this document summarizes state-level approaches to using surrogate parents in order to meet the needs of children with disabilities. Most respondents noted that their states had issued policy or formal guidance pertaining to surrogate parents and children with disabilities, and most also described efforts to ensure…

The Induction and Mentoring of New Teachers in Portugal: Contradictions, Needs and Opportunities

ERIC Educational Resources Information Center

Flores, Maria Assuncao; Ferreira, Fernando Ilidio

2009-01-01

In this article, policy and research on teacher induction in Portugal are examined. The lack of a formal induction system (despite recognition of its relevance in legal policy documents) and the mismatch between national regulations and practice are also discussed. The authors argue the need for a coherent and sustained induction and support…

10 CFR 1704.4 - Grounds on which meetings may be closed or information may be withheld.

Code of Federal Regulations, 2011 CFR

2011-01-01

... upon the classification assigned to a document by the Department of Energy or other originating agency... confidential; (e) Involve accusing any person of a crime, or formally censuring any person; (f) Disclose... privacy; (4) Disclose the identity of a confidential source and, in the case of a record compiled by a...

10 CFR 1704.4 - Grounds on which meetings may be closed or information may be withheld.

Code of Federal Regulations, 2012 CFR

2012-01-01

... upon the classification assigned to a document by the Department of Energy or other originating agency... confidential; (e) Involve accusing any person of a crime, or formally censuring any person; (f) Disclose... privacy; (4) Disclose the identity of a confidential source and, in the case of a record compiled by a...

10 CFR 1704.4 - Grounds on which meetings may be closed or information may be withheld.

Code of Federal Regulations, 2013 CFR

2013-01-01

... upon the classification assigned to a document by the Department of Energy or other originating agency... confidential; (e) Involve accusing any person of a crime, or formally censuring any person; (f) Disclose... privacy; (4) Disclose the identity of a confidential source and, in the case of a record compiled by a...

10 CFR 1704.4 - Grounds on which meetings may be closed or information may be withheld.

Code of Federal Regulations, 2014 CFR

2014-01-01

... upon the classification assigned to a document by the Department of Energy or other originating agency... confidential; (e) Involve accusing any person of a crime, or formally censuring any person; (f) Disclose... privacy; (4) Disclose the identity of a confidential source and, in the case of a record compiled by a...

MOOC & B-Learning: Students' Barriers and Satisfaction in Formal and Non-Formal Learning Environments

ERIC Educational Resources Information Center

Gutiérrez-Santiuste, Elba; Gámiz-Sánchez, Vanesa-M.; Gutiérrez-Pérez, Jose

2015-01-01

The study presents a comparative analysis of two virtual learning formats: one non-formal through a Massive Open Online Course (MOOC) and the other formal through b-learning. We compare the communication barriers and the satisfaction perceived by the students (N = 249) by developing a qualitative analysis using semi-structured questionnaires and…

"Passing It On": Beyond Formal or Informal Pedagogies

ERIC Educational Resources Information Center

Cain, Tim

2013-01-01

Informal pedagogies are a subject of debate in music education, and there is some evidence of teachers abandoning formal pedagogies in favour of informal ones. This article presents a case of one teacher's formal pedagogy and theorises it by comparing it with a case of informal pedagogy. The comparison reveals affordances of formal pedagogies…

Marine and Hydrokinetic Technology Development Risk Management Framework

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

Snowberg, David; Weber, Jochem

2015-09-01

Over the past decade, the global marine and hydrokinetic (MHK) industry has suffered a number of serious technological and commercial setbacks. To help reduce the risks of industry failures and advance the development of new technologies, the U.S. Department of Energy (DOE) and the National Renewable Energy Laboratory (NREL) developed an MHK Risk Management Framework. By addressing uncertainties, the MHK Risk Management Framework increases the likelihood of successful development of an MHK technology. It covers projects of any technical readiness level (TRL) or technical performance level (TPL) and all risk types (e.g. technological risk, regulatory risk, commercial risk) over themore » development cycle. This framework is intended for the development and deployment of a single MHK technology—not for multiple device deployments within a plant. This risk framework is intended to meet DOE’s risk management expectations for the MHK technology research and development efforts of the Water Power Program (see Appendix A). It also provides an overview of other relevant risk management tools and documentation.1 This framework emphasizes design and risk reviews as formal gates to ensure risks are managed throughout the technology development cycle. Section 1 presents the recommended technology development cycle, Sections 2 and 3 present tools to assess the TRL and TPL of the project, respectively. Section 4 presents a risk management process with design and risk reviews for actively managing risk within the project, and Section 5 presents a detailed description of a risk registry to collect the risk management information into one living document. Section 6 presents recommendations for collecting and using lessons learned throughout the development process.« less

Formal Assurance Arguments: A Solution In Search of a Problem?

NASA Technical Reports Server (NTRS)

Graydon, Patrick J.

2015-01-01

An assurance case comprises evidence and argument showing how that evidence supports assurance claims (e.g., about safety or security). It is unsurprising that some computer scientists have proposed formalizing assurance arguments: most associate formality with rigor. But while engineers can sometimes prove that source code refines a formal specification, it is not clear that formalization will improve assurance arguments or that this benefit is worth its cost. For example, formalization might reduce the benefits of argumentation by limiting the audience to people who can read formal logic. In this paper, we present (1) a systematic survey of the literature surrounding formal assurance arguments, (2) an analysis of errors that formalism can help to eliminate, (3) a discussion of existing evidence, and (4) suggestions for experimental work to definitively answer the question.

Agile Methods for Open Source Safety-Critical Software

PubMed Central

Enquobahrie, Andinet; Ibanez, Luis; Cheng, Patrick; Yaniv, Ziv; Cleary, Kevin; Kokoori, Shylaja; Muffih, Benjamin; Heidenreich, John

2011-01-01

The introduction of software technology in a life-dependent environment requires the development team to execute a process that ensures a high level of software reliability and correctness. Despite their popularity, agile methods are generally assumed to be inappropriate as a process family in these environments due to their lack of emphasis on documentation, traceability, and other formal techniques. Agile methods, notably Scrum, favor empirical process control, or small constant adjustments in a tight feedback loop. This paper challenges the assumption that agile methods are inappropriate for safety-critical software development. Agile methods are flexible enough to encourage the right amount of ceremony; therefore if safety-critical systems require greater emphasis on activities like formal specification and requirements management, then an agile process will include these as necessary activities. Furthermore, agile methods focus more on continuous process management and code-level quality than classic software engineering process models. We present our experiences on the image-guided surgical toolkit (IGSTK) project as a backdrop. IGSTK is an open source software project employing agile practices since 2004. We started with the assumption that a lighter process is better, focused on evolving code, and only adding process elements as the need arose. IGSTK has been adopted by teaching hospitals and research labs, and used for clinical trials. Agile methods have matured since the academic community suggested they are not suitable for safety-critical systems almost a decade ago, we present our experiences as a case study for renewing the discussion. PMID:21799545

Agile Methods for Open Source Safety-Critical Software.

PubMed

Gary, Kevin; Enquobahrie, Andinet; Ibanez, Luis; Cheng, Patrick; Yaniv, Ziv; Cleary, Kevin; Kokoori, Shylaja; Muffih, Benjamin; Heidenreich, John

2011-08-01

The introduction of software technology in a life-dependent environment requires the development team to execute a process that ensures a high level of software reliability and correctness. Despite their popularity, agile methods are generally assumed to be inappropriate as a process family in these environments due to their lack of emphasis on documentation, traceability, and other formal techniques. Agile methods, notably Scrum, favor empirical process control, or small constant adjustments in a tight feedback loop. This paper challenges the assumption that agile methods are inappropriate for safety-critical software development. Agile methods are flexible enough to encourage the rightamount of ceremony; therefore if safety-critical systems require greater emphasis on activities like formal specification and requirements management, then an agile process will include these as necessary activities. Furthermore, agile methods focus more on continuous process management and code-level quality than classic software engineering process models. We present our experiences on the image-guided surgical toolkit (IGSTK) project as a backdrop. IGSTK is an open source software project employing agile practices since 2004. We started with the assumption that a lighter process is better, focused on evolving code, and only adding process elements as the need arose. IGSTK has been adopted by teaching hospitals and research labs, and used for clinical trials. Agile methods have matured since the academic community suggested they are not suitable for safety-critical systems almost a decade ago, we present our experiences as a case study for renewing the discussion.

Incorporating individual health-protective decisions into disease transmission models: a mathematical framework.

PubMed

Durham, David P; Casman, Elizabeth A

2012-03-07

It is anticipated that the next generation of computational epidemic models will simulate both infectious disease transmission and dynamic human behaviour change. Individual agents within a simulation will not only infect one another, but will also have situational awareness and a decision algorithm that enables them to modify their behaviour. This paper develops such a model of behavioural response, presenting a mathematical interpretation of a well-known psychological model of individual decision making, the health belief model, suitable for incorporation within an agent-based disease-transmission model. We formalize the health belief model and demonstrate its application in modelling the prevalence of facemask use observed over the course of the 2003 Hong Kong SARS epidemic, a well-documented example of behaviour change in response to a disease outbreak.

Incorporating individual health-protective decisions into disease transmission models: a mathematical framework

PubMed Central

Durham, David P.; Casman, Elizabeth A.

2012-01-01

It is anticipated that the next generation of computational epidemic models will simulate both infectious disease transmission and dynamic human behaviour change. Individual agents within a simulation will not only infect one another, but will also have situational awareness and a decision algorithm that enables them to modify their behaviour. This paper develops such a model of behavioural response, presenting a mathematical interpretation of a well-known psychological model of individual decision making, the health belief model, suitable for incorporation within an agent-based disease-transmission model. We formalize the health belief model and demonstrate its application in modelling the prevalence of facemask use observed over the course of the 2003 Hong Kong SARS epidemic, a well-documented example of behaviour change in response to a disease outbreak. PMID:21775324

2014-2015 Partnership accomplishments report on joint activities: National Gap Analysis Program and LANDFIRE

USGS Publications Warehouse

Davidson, Anne; McKerrow, Alexa; Long, Don; Earnhardt, Todd

2015-01-01

The intended target audience for this document initially is management and project technical specialist and scientists involved in the Gap Analysis Program (GAP) and the Landscape Fire and Resource Management Planning Tools - (LANDFIRE) program to help communicate coordination activities to all involved parties. This document is also intended to give background information in other parts of the USGS and beyond, although some details given are relatively oriented to management of the respective programs. Because the Gap Analysis Program (GAP) and the Landscape Fire and Resource Management Planning Tools - LANDFIRE programs both rely on characterizations of land cover using similar scales and resolutions, the programs have been coordinating their work to improve scientific consistency and efficiency of production. Initial discussions and informal sharing of ideas and work began in 2008. Although this collaboration was fruitful, there was no formal process for reporting results, plans, or outstanding issues, nor was there any formally-defined coordinated management team that spanned the two programs. In 2012, leadership from the two programs agreed to strengthen the coordination of their respective work efforts. In 2013 the GAP and LANDFIRE programs developed an umbrella plan of objectives and components related to three mutual focus areas for the GAP and LANDFIRE collaboration for the years 2013 and 2014 (GAP/LANDFIRE 2013). The evolution of this partnership resulted in the drafting of an inter-program Memorandum of Understanding (MOU) in 2014. This MOU identified three coordination topics relevant to the two programs participating at this point in the MOU history: Vegetation mappingDisturbance classesFormal quality assessment

Pressure ulcer risk assessment and prevention: what difference does a risk scale make? A comparison between Norway and Ireland.

PubMed

Johansen, E; Moore, Z; van Etten, M; Strapp, H

2014-07-01

To explore similarities and differences in nurses' views on risk assessment practices and preventive care activities in a context where patients' risk of developing pressure ulcers is assessed using clinical judgment (Norway) and a context where patients' risk of developing pressure ulcers is assessed using a formal structured risk assessment combined with clinical judgement (Ireland). A descriptive, qualitative design was employed across two different care settings with a total of 14 health care workers, nine from Norway and five from Ireland. Regardless of whether risk assessment was undertaken using clinical judgment or formal structured risk assessment, identified risk factors, at risk patients and appropriate preventive initiatives discussed by participant were similar across care settings. Furthermore, risk assessment did not necessarily result in the planning and implementation of appropriate pressure ulcer prevention initiatives. Thus, in this instance, use of a formal risk assessment tool does not seem to make any difference to the planning, initiation and evaluation of pressure ulcer prevention strategies. Regardless of the method of risk assessment, patients at risk of developing pressure ulcers are detected, suggesting that the practice of risk assessment should be re-evaluated. Moreover, appropriate preventive interventions were described. However, the missing link between risk assessment and documented care planning is of concern and barriers to appropriate pressure ulcer documentation should be explored further. This work is partly funded by a research grant from the Norwegian Nurses Organisation (NNO) (Norsk Sykepleierforbund NSF) in 2012. The authors have no conflict of interest to declare.

SSE software test management STM capability: Using STM in the Ground Systems Development Environment (GSDE)

NASA Technical Reports Server (NTRS)

Church, Victor E.; Long, D.; Hartenstein, Ray; Perez-Davila, Alfredo

1992-01-01

This report is one of a series discussing configuration management (CM) topics for Space Station ground systems software development. It provides a description of the Software Support Environment (SSE)-developed Software Test Management (STM) capability, and discusses the possible use of this capability for management of developed software during testing performed on target platforms. This is intended to supplement the formal documentation of STM provided by the SEE Project. How STM can be used to integrate contractor CM and formal CM for software before delivery to operations is described. STM provides a level of control that is flexible enough to support integration and debugging, but sufficiently rigorous to insure the integrity of the testing process.

Formal methods technology transfer: Some lessons learned

NASA Technical Reports Server (NTRS)

Hamilton, David

1992-01-01

IBM has a long history in the application of formal methods to software development and verification. There have been many successes in the development of methods, tools and training to support formal methods. And formal methods have been very successful on several projects. However, the use of formal methods has not been as widespread as hoped. This presentation summarizes several approaches that have been taken to encourage more widespread use of formal methods, and discusses the results so far. The basic problem is one of technology transfer, which is a very difficult problem. It is even more difficult for formal methods. General problems of technology transfer, especially the transfer of formal methods technology, are also discussed. Finally, some prospects for the future are mentioned.

New Technologies and Learning Environments: A Perspective from Formal and Non-Formal Education in Baja California, Mexico

ERIC Educational Resources Information Center

Zamora, Julieta Lopez; Reynaga, Francisco Javier Arriaga

2010-01-01

This paper presents results of two research works, the first approaches non-formal education and the second addresses formal education. In both studies in-depth interview techniques were used. There were some points of convergence between them on aspects such as the implementation of learning environments and the integration of ICT. The interview…

Dressed to Present: Ratings of Classroom Presentations Vary with Attire

ERIC Educational Resources Information Center

Gurung, Regan A. R.; Kempen, Laura; Klemm, Kayla; Senn, Rebecca; Wysocki, Rosie

2014-01-01

This study investigates the effects of formality of dress on ratings of classroom presentations. Participants (N = 65, 66% women) from a Midwestern university in the United States rated three female students giving a presentation designed for a health psychology class in one of four outfits: casual, party, business casual, or business formal.…

76 FR 52572 - Rules Governing Hearings Before the Agency of Original Jurisdiction and the Board of Veterans...

Federal Register 2010, 2011, 2012, 2013, 2014

2011-08-23

...-1 Adjudication Procedures Manual, Sec. 18.17g (1991) (``A formal hearing on appeal at a regional... rule pursuant to 5 U.S.C. 553(b)(A), which excepts procedural rules from the APA's notice-and-comment... Office of the Federal Register for publication electronically as an official document of the Department...

Chapter 3: The status of the cactus ferruginous pygmy-owl in Arizona: Population surveys and habitat assessment

Treesearch

W. Scott Richardson; Jean-Luc E. Cartron; David J. Krueper; Lauren Turner; Thomas H. Skinner

2000-01-01

In 1993, the Arizona Game and Fish Department (AGFD) began formal population surveys in an attempt to document the numbers and distribution of cactus ferruginous pygmy-owls (Glaucidium brasilianum cactorum) in Arizona. Surveys were initiated to gather information on this little-known subspecies which was considered for listing at the time. Prior to...

From Scratch to Notch: Understanding Private Tutoring Metamorphosis in the Philippines from the Perspectives of Cram School and Formal School Administrators

ERIC Educational Resources Information Center

de Castro, Belinda V.; de Guzman, Allan B.

2014-01-01

Although there is considerable anecdotal evidence that the scale of private tutoring is substantial in the Philippines, attempts to document its existence is limited. Using phenomenological inquiry, this study aimed to provide a more eidetic portrait of private tutoring transformation in the Philippines from the perspectives and collective…

Modeling effects of prescribed fire on wildlife habitat: Stand structure, snag recruitment and coarse woody debris

Treesearch

Colin C. Hardy; Elizabeth D. Reinhardt

1998-01-01

The essential role of fire in sustaining ecosystems has recently been formally recognized. It is specifically addressed in several new national policy documents. In the Federal Wildland Fire Policy and Program Review's Implementation Action Plan (US Department of Interior and U.S. Department of Agriculture 1996). federal land managers expect to implement a several...

Development of the Oil Industry in Cameroon and Its Implications for Education and Training. IIEP Research Report No. 79.

ERIC Educational Resources Information Center

Sanyal, Bikas C.; And Others

A study analyzed how the oil industry in Cameroon developed and influenced the expansion, structure, and content of Cameroon's formal and nonformal education and training system. A survey of 213 employees and 8 enterprises was supplemented by a review of government reports and official published and unpublished documents. The economy of Cameroon…

Education and Identity Conflict Among Cree Indian Youth: A Preliminary Report, Annex 3.

ERIC Educational Resources Information Center

Wintrob, Ronald M.; Sindell, Peter S.

The purpose of this document is to report on the ways in which formal education of Cree Indian youths influences the development of their psychological identities. The sample for the study was comprised of 109 adolescent Cree Indians from the Mistassini and Waswanipi bands located in north central Quebec. These youths attended elementary and high…

HAL/S language specification. Version IR-542

NASA Technical Reports Server (NTRS)

1980-01-01

The formal HAL/S language specification is documented with particular referral to the essentials of HAL/S syntax and semantics. The language is intended to satisfy virtually all of the flight software requirements of NASA programs. To achieve this, HAL/S incorporates a wide range of features, including applications oriented data types and organizations, real time control mechanisms, and constructs for systems programming tasks.

Using an Action Learning Set (ALS) to Support the Nurse and Allied Health Professional Consultant Role

ERIC Educational Resources Information Center

Richardson, Janet; Ainsworth, Roberta; Allison, Rhoda; Billyard, Jo; Corley, Reine; Viner, Jane

2008-01-01

Advanced clinical practice roles are now an integral feature of many healthcare services and have been adopted in a diversity of areas. However, mentoring of these roles is not well documented in the literature and formal mechanisms of support are limited. An action learning set (ALS) was developed to provide support for consultants currently in…

Coq Tacticals and PVS Strategies: A Small Step Semantics

NASA Technical Reports Server (NTRS)

Kirchner, Florent

2003-01-01

The need for a small step semantics and more generally for a thorough documentation and understanding of Coq's tacticals and PVS's strategies arise with their growing use and the progressive uncovering of their subtleties. The purpose of the following study is to provide a simple and clear formal framework to describe their detailed semantics, and highlight their differences and similarities.

How Do Higher-Education Students Use Their Initial Understanding to Deal with Contextual Logic-Based Problems in Discrete Mathematics?

ERIC Educational Resources Information Center

Lubis, Asrin; Nasution, Andrea Arifsyah

2017-01-01

Mathematical reasoning in logical context has now received much attention in the mathematics curriculum documents of many countries, including Indonesia. In Indonesia, students start formally learning about logic when they pursue to senior-high school. Before, they previously have many experiences to deal with logic, but the earlier assignments do…

The curriculum vitae: gateway to academia.

PubMed

Christenbery, Tom L

2014-01-01

A CV serves as formal documentation of the applicant’s career path and provides necessary demographic and historical information for career change or advancement. Therefore, each section of the CV should be a thorough accounting of the applicant’s academic, work, and professional responsibilities and attainments. The guidelines in this column also are relevant for nurse educators applying for positions in schools of nursing.

Summary of Policies: What the Association Thinks To Help You Plan, Teach, Negotiate, Manage.

ERIC Educational Resources Information Center

Association for Science Education, Herts (England).

This document contains a summary of the policies adopted by the Association for Science Education (ASE). These policies are applicable to teachers of science at all levels in all formal places of learning in Great Britain. Summaries of policy statements pertaining to quality in science education, a flowchart that provides an overview of these…

Playing and Learning: An iPad Game Development & Implementation Case Study

ERIC Educational Resources Information Center

Jenson, Jennifer; de Castell, Suzanne; Muehrer, Rachel; McLaughlin-Jenkins, Erin

2016-01-01

There is a great deal of enthusiasm for the use of games in formal educational contexts; however, there is a notable and problematic lack of studies that make use of replicable study designs to empirically link games to learning (Young, et al., 2012). This paper documents the iterative design and development of an educationally focused game,…

40 CFR 1603.7 - Grounds on which meetings may be closed or information may be withheld.

Code of Federal Regulations, 2014 CFR

2014-07-01

... that this exemption applies, the Board shall rely upon the classification assigned to a document by the... privileged or confidential; (e) Involve accusing any person of a crime, or formally censuring any person; (f... personal privacy; (4) Disclose the identity of a confidential source and, in the case of a record compiled...

40 CFR 1603.7 - Grounds on which meetings may be closed or information may be withheld.

Code of Federal Regulations, 2013 CFR

2013-07-01

... that this exemption applies, the Board shall rely upon the classification assigned to a document by the... privileged or confidential; (e) Involve accusing any person of a crime, or formally censuring any person; (f... personal privacy; (4) Disclose the identity of a confidential source and, in the case of a record compiled...

40 CFR 1603.7 - Grounds on which meetings may be closed or information may be withheld.

Code of Federal Regulations, 2011 CFR

2011-07-01

... that this exemption applies, the Board shall rely upon the classification assigned to a document by the... privileged or confidential; (e) Involve accusing any person of a crime, or formally censuring any person; (f... personal privacy; (4) Disclose the identity of a confidential source and, in the case of a record compiled...

40 CFR 1603.7 - Grounds on which meetings may be closed or information may be withheld.

Code of Federal Regulations, 2012 CFR

2012-07-01

... that this exemption applies, the Board shall rely upon the classification assigned to a document by the... privileged or confidential; (e) Involve accusing any person of a crime, or formally censuring any person; (f... personal privacy; (4) Disclose the identity of a confidential source and, in the case of a record compiled...

Hanford Double-Shell Tank Extent-of-Condition Review - 15498

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

Johnson, J. M.; Baide, D. D.; Barnes, T. J.

2014-11-19

During routine visual inspections of Hanford double-shell waste tank 241-AY-102 (AY-102), anomalies were identified on the annulus floor which resulted in further evaluations. Following a formal leak assessment in October 2012, Washington River Protection Solutions, LLC (WRPS) determined that the primary tank of AY-102 was leaking. A formal leak assessment, documented in RPP-ASMT-53793, Tank 241-AY-102 Leak Assessment Report, identified first-of-a-kind construction difficulties and trial-and-error repairs as major contributing factors to tank failure.1 To determine if improvements in double-shell tank (DST) construction occurred after construction of tank AY-102, a detailed review and evaluation of historical construction records was performed for Hanford’smore » remaining twenty-seven DSTs. Review involved research of 241 boxes of historical project documentation to better understand the condition of the Hanford DST farms, noting similarities in construction difficulties/issues to tank AY-102. Information gathered provides valuable insight regarding construction difficulties, future tank operations decisions, and guidance of the current tank inspection program. Should new waste storage tanks be constructed in the future, these reviews also provide valuable lessons-learned.« less

Structuring the formal definition of Ada

NASA Technical Reports Server (NTRS)

Hansen, Kurt W.

1986-01-01

The structure of the formal definition of Ada are described. At present, a difficult subset of Ada has been defined and the experience gained so far by this work is reported. Currently, the work continues towards the formal definition of the Ada language.

MPEG-7-based description infrastructure for an audiovisual content analysis and retrieval system

NASA Astrophysics Data System (ADS)

Bailer, Werner; Schallauer, Peter; Hausenblas, Michael; Thallinger, Georg

2005-01-01

We present a case study of establishing a description infrastructure for an audiovisual content-analysis and retrieval system. The description infrastructure consists of an internal metadata model and access tool for using it. Based on an analysis of requirements, we have selected, out of a set of candidates, MPEG-7 as the basis of our metadata model. The openness and generality of MPEG-7 allow using it in broad range of applications, but increase complexity and hinder interoperability. Profiling has been proposed as a solution, with the focus on selecting and constraining description tools. Semantic constraints are currently only described in textual form. Conformance in terms of semantics can thus not be evaluated automatically and mappings between different profiles can only be defined manually. As a solution, we propose an approach to formalize the semantic constraints of an MPEG-7 profile using a formal vocabulary expressed in OWL, which allows automated processing of semantic constraints. We have defined the Detailed Audiovisual Profile as the profile to be used in our metadata model and we show how some of the semantic constraints of this profile can be formulated using ontologies. To work practically with the metadata model, we have implemented a MPEG-7 library and a client/server document access infrastructure.

Survey of Verification and Validation Techniques for Small Satellite Software Development

NASA Technical Reports Server (NTRS)

Jacklin, Stephen A.

2015-01-01

The purpose of this paper is to provide an overview of the current trends and practices in small-satellite software verification and validation. This document is not intended to promote a specific software assurance method. Rather, it seeks to present an unbiased survey of software assurance methods used to verify and validate small satellite software and to make mention of the benefits and value of each approach. These methods include simulation and testing, verification and validation with model-based design, formal methods, and fault-tolerant software design with run-time monitoring. Although the literature reveals that simulation and testing has by far the longest legacy, model-based design methods are proving to be useful for software verification and validation. Some work in formal methods, though not widely used for any satellites, may offer new ways to improve small satellite software verification and validation. These methods need to be further advanced to deal with the state explosion problem and to make them more usable by small-satellite software engineers to be regularly applied to software verification. Last, it is explained how run-time monitoring, combined with fault-tolerant software design methods, provides an important means to detect and correct software errors that escape the verification process or those errors that are produced after launch through the effects of ionizing radiation.

Differences in presenting advance directives in the chart, in the minimum data set, and through the staff's perceptions.

PubMed

Cohen-Mansfield, Jiska; Libin, Alexander; Lipson, Steven

2003-06-01

Decisions concerning end-of-life care depend on information contained in advance directives that are documented in residents' charts in the nursing home. The availability of that information depends on the quality of the chart and on the location of the information in the chart. No research was found that compared directives by the manner in which they are collected and summarized in the chart. The goal of the proposed study was to clarify how advance directives are summarized in the patient's record and to clarify how physicians perceive the same advance directives and formal orders. The study involved 122 elderly persons who reside in one large (587 beds) nursing home. The authors collected data regarding the advance directives from three sources-Minimum Data Set (MDS), the front cover of the resident's chart, and from inside the chart. The rates of documented advance directives found in this study are higher than those reported in the literature. Agreement rates between sources varied as a function of which sources were compared, as well as on the basis of which directive was examined. More specifically, the authors found higher rates of agreement between the information inside the chart and on the cover of the chart than between the MDS and the other two sources. The reasons for discrepancies may lie in the different functions and procedures pertaining to these source documents.

A High-Level Formalization of Floating-Point Number in PVS

NASA Technical Reports Server (NTRS)

Boldo, Sylvie; Munoz, Cesar

2006-01-01

We develop a formalization of floating-point numbers in PVS based on a well-known formalization in Coq. We first describe the definitions of all the needed notions, e.g., floating-point number, format, rounding modes, etc.; then, we present an application to polynomial evaluation for elementary function evaluation. The application already existed in Coq, but our formalization shows a clear improvement in the quality of the result due to the automation provided by PVS. We finally integrate our formalization into a PVS hardware-level formalization of the IEEE-854 standard previously developed at NASA.

Mending the Gap, An Effort to Aid the Transfer of Formal Methods Technology

NASA Technical Reports Server (NTRS)

Hayhurst, Kelly

2009-01-01

Formal methods can be applied to many of the development and verification activities required for civil avionics software. RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment Certification, gives a brief description of using formal methods as an alternate method of compliance with the objectives of that standard. Despite this, the avionics industry at large has been hesitant to adopt formal methods, with few developers have actually used formal methods for certification credit. Why is this so, given the volume of evidence of the benefits of formal methods? This presentation will explore some of the challenges to using formal methods in a certification context and describe the effort by the Formal Methods Subgroup of RTCA SC-205/EUROCAE WG-71 to develop guidance to make the use of formal methods a recognized approach.

Line Mixing in Parallel and Perpendicular Bands of CO2: A Further Test of the Refined Robert-Bonamy Formalism

NASA Technical Reports Server (NTRS)

Boulet, C.; Ma, Qiancheng; Tipping, R. H.

2015-01-01

Starting from the refined Robert-Bonamy formalism [Q. Ma, C. Boulet, and R. H. Tipping, J. Chem. Phys. 139, 034305 (2013)], we propose here an extension of line mixing studies to infrared absorptions of linear polyatomic molecules having stretching and bending modes. The present formalism does not neglect the internal degrees of freedom of the perturbing molecules, contrary to the energy corrected sudden (ECS) modeling, and enables one to calculate the whole relaxation matrix starting from the potential energy surface. Meanwhile, similar to the ECS modeling, the present formalism properly accounts for roles played by all the internal angular momenta in the coupling process, including the vibrational angular momentum. The formalism has been applied to the important case of CO2 broadened by N2. Applications to two kinds of vibrational bands (sigma yields sigma and sigma yields pi) have shown that the present results are in good agreement with both experimental data and results derived from the ECS model.

A Formal Approach to Domain-Oriented Software Design Environments

NASA Technical Reports Server (NTRS)

Lowry, Michael; Philpot, Andrew; Pressburger, Thomas; Underwood, Ian; Lum, Henry, Jr. (Technical Monitor)

1994-01-01

This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesis. A declarative domain theory defines the semantics of a domain-oriented specification language and its relationship to implementation-level subroutines. Formal specification development and reuse is made accessible to end-users through an intuitive graphical interface that guides them in creating diagrams denoting formal specifications. The diagrams also serve to document the specifications. Deductive program synthesis ensures that end-user specifications are correctly implemented. AMPHION has been applied to the domain of solar system kinematics through the development of a declarative domain theory, which includes an axiomatization of JPL's SPICELIB subroutine library. Testing over six months with planetary scientists indicates that AMPHION's interactive specification acquisition paradigm enables users to develop, modify, and reuse specifications at least an order of magnitude more rapidly than manual program development. Furthermore, AMPHION synthesizes one to two page programs consisting of calls to SPICELIB subroutines from these specifications in just a few minutes. Test results obtained by metering AMPHION's deductive program synthesis component are examined. AMPHION has been installed at JPL and is currently undergoing further refinement in preparation for distribution to hundreds of SPICELIB users worldwide. Current work to support end-user customization of AMPHION's specification acquisition subsystem is briefly discussed, as well as future work to enable domain-expert creation of new AMPHION applications through development of suitable domain theories.

Formalizing structured file services for the data storage and retrieval subsystem of the data management system for Spacestation Freedom

NASA Technical Reports Server (NTRS)

Jamsek, Damir A.

1993-01-01

A brief example of the use of formal methods techniques in the specification of a software system is presented. The report is part of a larger effort targeted at defining a formal methods pilot project for NASA. One possible application domain that may be used to demonstrate the effective use of formal methods techniques within the NASA environment is presented. It is not intended to provide a tutorial on either formal methods techniques or the application being addressed. It should, however, provide an indication that the application being considered is suitable for a formal methods by showing how such a task may be started. The particular system being addressed is the Structured File Services (SFS), which is a part of the Data Storage and Retrieval Subsystem (DSAR), which in turn is part of the Data Management System (DMS) onboard Spacestation Freedom. This is a software system that is currently under development for NASA. An informal mathematical development is presented. Section 3 contains the same development using Penelope (23), an Ada specification and verification system. The complete text of the English version Software Requirements Specification (SRS) is reproduced in Appendix A.

Formalizing Resources for Planning

NASA Technical Reports Server (NTRS)

Bedrax-Weiss, Tania; McGann, Conor; Ramakrishnan, Sailesh

2003-01-01

In this paper we present a classification scheme which circumscribes a large class of resources found in the real world. Building on the work of others we also define key properties of resources that allow formal expression of the proposed classification. Furthermore, operations that change the state of a resource are formalized. Together, properties and operations go a long way in formalizing the representation and reasoning aspects of resources for planning.

Challenges of implementing collaborative models of decision making with trans-identified patients.

PubMed

Dewey, Jodie M

2015-10-01

Factors health providers face during the doctor-patient encounter both impede and assist the development of collaborative models of treatment. I investigated decision making among medical and therapeutic professionals who work with trans-identified patients to understand factors that might impede or facilitate the adoption of the collaborative decision-making model in their clinical work. Following a grounded theory approach, I collected and analysed data from semi-structured interviews with 10 U.S. physicians and 10 U.S. mental health professionals. Doctors and therapists often desire collaboration with their patients but experience dilemmas in treating the trans-identified patients. Dilemmas include lack of formal education, little to no institutional support and inconsistent understanding and application of the main documents used by professionals treating trans-patients. Providers face considerable risk in providing unconventional treatments due to the lack of institutional and academic support relating to the treatment for trans-people, and the varied interpretation and application of the diagnostic and treatment documents used in treating trans-people. To address this risk, the relationship with the patient becomes crucial. However, trust, a component required for collaboration, is thwarted when the patients feel obliged to present in ways aligned with these documents in order to receive desired treatments. When trust cannot be established, medical and mental health providers can and do delay or deny treatments, resulting in the imbalance of power between patient and provider. The documents created to assist in treatment actually thwart professional desire to work collaboratively with patients. © 2013 John Wiley & Sons Ltd.

Formal verification of medical monitoring software using Z language: a representative sample.

PubMed

Babamir, Seyed Morteza; Borhani, Mehdi

2012-08-01

Medical monitoring systems are useful aids assisting physicians in keeping patients under constant surveillance; however, taking sound decision by the systems is a physician concern. As a result, verification of the systems behavior in monitoring patients is a matter of significant. The patient monitoring is undertaken by software in modern medical systems; so, software verification of modern medial systems have been noticed. Such verification can be achieved by the Formal Languages having mathematical foundations. Among others, the Z language is a suitable formal language has been used to formal verification of systems. This study aims to present a constructive method to verify a representative sample of a medical system by which the system is visually specified and formally verified against patient constraints stated in Z Language. Exploiting our past experience in formal modeling Continuous Infusion Insulin Pump (CIIP), we think of the CIIP system as a representative sample of medical systems in proposing our present study. The system is responsible for monitoring diabetic's blood sugar.

Formal Methods Case Studies for DO-333

NASA Technical Reports Server (NTRS)

Cofer, Darren; Miller, Steven P.

2014-01-01

RTCA DO-333, Formal Methods Supplement to DO-178C and DO-278A provides guidance for software developers wishing to use formal methods in the certification of airborne systems and air traffic management systems. The supplement identifies the modifications and additions to DO-178C and DO-278A objectives, activities, and software life cycle data that should be addressed when formal methods are used as part of the software development process. This report presents three case studies describing the use of different classes of formal methods to satisfy certification objectives for a common avionics example - a dual-channel Flight Guidance System. The three case studies illustrate the use of theorem proving, model checking, and abstract interpretation. The material presented is not intended to represent a complete certification effort. Rather, the purpose is to illustrate how formal methods can be used in a realistic avionics software development project, with a focus on the evidence produced that could be used to satisfy the verification objectives found in Section 6 of DO-178C.

Genomes as documents of evolutionary history: a probabilistic macrosynteny model for the reconstruction of ancestral genomes

PubMed Central

Nakatani, Yoichiro; McLysaght, Aoife

2017-01-01

Abstract Motivation: It has been argued that whole-genome duplication (WGD) exerted a profound influence on the course of evolution. For the purpose of fully understanding the impact of WGD, several formal algorithms have been developed for reconstructing pre-WGD gene order in yeast and plant. However, to the best of our knowledge, those algorithms have never been successfully applied to WGD events in teleost and vertebrate, impeded by extensive gene shuffling and gene losses. Results: Here, we present a probabilistic model of macrosynteny (i.e. conserved linkage or chromosome-scale distribution of orthologs), develop a variational Bayes algorithm for inferring the structure of pre-WGD genomes, and study estimation accuracy by simulation. Then, by applying the method to the teleost WGD, we demonstrate effectiveness of the algorithm in a situation where gene-order reconstruction algorithms perform relatively poorly due to a high rate of rearrangement and extensive gene losses. Our high-resolution reconstruction reveals previously overlooked small-scale rearrangements, necessitating a revision to previous views on genome structure evolution in teleost and vertebrate. Conclusions: We have reconstructed the structure of a pre-WGD genome by employing a variational Bayes approach that was originally developed for inferring topics from millions of text documents. Interestingly, comparison of the macrosynteny and topic model algorithms suggests that macrosynteny can be regarded as documents on ancestral genome structure. From this perspective, the present study would seem to provide a textbook example of the prevalent metaphor that genomes are documents of evolutionary history. Availability and implementation: The analysis data are available for download at http://www.gen.tcd.ie/molevol/supp_data/MacrosyntenyTGD.zip, and the software written in Java is available upon request. Contact: yoichiro.nakatani@tcd.ie or aoife.mclysaght@tcd.ie Supplementary information: Supplementary data are available at Bioinformatics online. PMID:28881993

Genomes as documents of evolutionary history: a probabilistic macrosynteny model for the reconstruction of ancestral genomes.

PubMed

Nakatani, Yoichiro; McLysaght, Aoife

2017-07-15

It has been argued that whole-genome duplication (WGD) exerted a profound influence on the course of evolution. For the purpose of fully understanding the impact of WGD, several formal algorithms have been developed for reconstructing pre-WGD gene order in yeast and plant. However, to the best of our knowledge, those algorithms have never been successfully applied to WGD events in teleost and vertebrate, impeded by extensive gene shuffling and gene losses. Here, we present a probabilistic model of macrosynteny (i.e. conserved linkage or chromosome-scale distribution of orthologs), develop a variational Bayes algorithm for inferring the structure of pre-WGD genomes, and study estimation accuracy by simulation. Then, by applying the method to the teleost WGD, we demonstrate effectiveness of the algorithm in a situation where gene-order reconstruction algorithms perform relatively poorly due to a high rate of rearrangement and extensive gene losses. Our high-resolution reconstruction reveals previously overlooked small-scale rearrangements, necessitating a revision to previous views on genome structure evolution in teleost and vertebrate. We have reconstructed the structure of a pre-WGD genome by employing a variational Bayes approach that was originally developed for inferring topics from millions of text documents. Interestingly, comparison of the macrosynteny and topic model algorithms suggests that macrosynteny can be regarded as documents on ancestral genome structure. From this perspective, the present study would seem to provide a textbook example of the prevalent metaphor that genomes are documents of evolutionary history. The analysis data are available for download at http://www.gen.tcd.ie/molevol/supp_data/MacrosyntenyTGD.zip , and the software written in Java is available upon request. yoichiro.nakatani@tcd.ie or aoife.mclysaght@tcd.ie. Supplementary data are available at Bioinformatics online. © The Author 2017. Published by Oxford University Press. All rights reserved. For Permissions, please e-mail: journals.permissions@oup.com

Deep first formal concept search.

PubMed

Zhang, Tao; Li, Hui; Hong, Wenxue; Yuan, Xiamei; Wei, Xinyu

2014-01-01

The calculation of formal concepts is a very important part in the theory of formal concept analysis (FCA); however, within the framework of FCA, computing all formal concepts is the main challenge because of its exponential complexity and difficulty in visualizing the calculating process. With the basic idea of Depth First Search, this paper presents a visualization algorithm by the attribute topology of formal context. Limited by the constraints and calculation rules, all concepts are achieved by the visualization global formal concepts searching, based on the topology degenerated with the fixed start and end points, without repetition and omission. This method makes the calculation of formal concepts precise and easy to operate and reflects the integrity of the algorithm, which enables it to be suitable for visualization analysis.

Case Studies of Selected Alternative Schools: [Alternative Schools I, II, III, Orca, Nova, Summit K-12. Report Nos. 82-10A to 82-10F].

ERIC Educational Resources Information Center

Wootten, Marian; And Others

Separate formal evaluations were conducted of the following alternative schools in the Seattle Public Schools system: Nova, Orca, Summit K-12, Alternative School 1 (AS1), Alternative Elementary School II (AES II), and Alternative Elementary School III (AES III). These six documents, combined here as one item, describe the distinctive…

Data to DecisionsTerminate, Tolerate, Transfer, or Treat

DTIC Science & Technology

2016-07-25

and patching, a risk-based cyber - security decision model that enables a pre- dictive capability to respond to impending cyber -attacks is needed...States. This sensitive data includes business proprietary information on key programs of record and infrastructure, including government documents at...leverage nationally. The Institute for Defense Analyses (IDA) assisted the DoD CIO in formalizing a proof of concept for cyber initiatives and

Defence Capability Plan 2006-2016

DTIC Science & Technology

2006-06-14

and supply chain management ; and • developing strategies focussing on critical industry capabilities and Defence’s ability to manage supply and... managers undertake pre-approval study activity and prepare the necessary departmental documentation. More formal industry solicitation would continue...Defence Management Systems Improvement Less than $10m JP 2085 Phase 1B Explosive Ordnance Warstock $150m to $200m JP 2090 Phase 1B Combined Information

From School to Cafe and Back Again: Responding to the Learning Demands of the Twenty-First Century

ERIC Educational Resources Information Center

McWilliam, Erica

2011-01-01

This paper traces the historical origins of formal and informal lifelong learning to argue that optimal twenty-first-century education can and should draw on the traditions of both the school and the coffee house or cafe. For some time now, educational policy documents and glossy school brochures have come wrapped in the mantle of lifelong…

8 CFR 100. 3 - Places where, and methods whereby, information may be secured or submittals or requests made.

Code of Federal Regulations, 2010 CFR

2010-01-01

... information relative to a matter handled by CBP, ICE or USCIS or any person desiring to make a submittal or..., ICE or USCIS as appropriate. When the submittal or request consists of a formal application for one of the documents, privileges, or other benefits provided for in the laws administered by CBP, ICE or...

8 CFR 100.3 - Places where, and methods whereby, information may be secured or submittals or requests made.

Code of Federal Regulations, 2014 CFR

2014-01-01

... information relative to a matter handled by CBP, ICE or USCIS or any person desiring to make a submittal or..., ICE or USCIS as appropriate. When the submittal or request consists of a formal application for one of the documents, privileges, or other benefits provided for in the laws administered by CBP, ICE or...

8 CFR 100.3 - Places where, and methods whereby, information may be secured or submittals or requests made.

Code of Federal Regulations, 2013 CFR

2013-01-01

... information relative to a matter handled by CBP, ICE or USCIS or any person desiring to make a submittal or..., ICE or USCIS as appropriate. When the submittal or request consists of a formal application for one of the documents, privileges, or other benefits provided for in the laws administered by CBP, ICE or...

8 CFR 100.3 - Places where, and methods whereby, information may be secured or submittals or requests made.

Code of Federal Regulations, 2012 CFR

2012-01-01

... information relative to a matter handled by CBP, ICE or USCIS or any person desiring to make a submittal or..., ICE or USCIS as appropriate. When the submittal or request consists of a formal application for one of the documents, privileges, or other benefits provided for in the laws administered by CBP, ICE or...

8 CFR 100. 3 - Places where, and methods whereby, information may be secured or submittals or requests made.

Code of Federal Regulations, 2011 CFR

2011-01-01

... information relative to a matter handled by CBP, ICE or USCIS or any person desiring to make a submittal or..., ICE or USCIS as appropriate. When the submittal or request consists of a formal application for one of the documents, privileges, or other benefits provided for in the laws administered by CBP, ICE or...

The Strategic Thinking Process: Efficient Mobilization of Human Resources for System Definition

PubMed Central

Covvey, H. D.

1987-01-01

This paper describes the application of several group management techniques to the creation of needs specifications and information systems strategic plans in health care institutions. The overall process is called the “Strategic Thinking Process”. It is a formal methodology that can reduce the time and cost of creating key documents essential for the successful implementation of health care information systems.

The realities of partnership in person-centred care: a qualitative interview study with patients and professionals.

PubMed

Wolf, Axel; Moore, Lucy; Lydahl, Doris; Naldemirci, Öncel; Elam, Mark; Britten, Nicky

2017-07-17

Although conceptual definitions of person-centred care (PCC) vary, most models value the involvement of patients through patient-professional partnerships. While this may increase patients' sense of responsibility and control, research is needed to further understand how this partnership is created and perceived. This study aims to explore the realities of partnership as perceived by patients and health professionals in everyday PCC practice. Qualitative study employing a thematic analysis of semistructured interviews with professionals and patients. Four internal medicine wards and two primary care centres in western Sweden. 16 health professionals based at hospital wards or primary care centres delivering person-centred care, and 20 patients admitted to one of the hospital wards. Our findings identified both informal and formal aspects of partnership. Informal aspects, emerging during the interaction between healthcare professionals and patients, without any prior guidelines or regulations, incorporated proximity and receptiveness of professionals and building a close connection and confidence. This epitomised a caring, respectful relationship congruent across accounts. Formal aspects, including structured ways of sustaining partnership were experienced differently. Professionals described collaborating with patients to encourage participation, capture personal goals, plan and document care. However, although patients felt listened to and informed, they were content to ask questions and felt less involved in care planning, documentation or exploring lifeworld goals. They commonly perceived participation as informed discussion and agreement, deferring to professional knowledge and expertise in the presence of an empathetic and trusting relationship. In our study, patients appear to value a process of human connectedness above and beyond formalised aspects of documenting agreed goals and care planning. PCC increases patients' confidence in professionals who are competent and able to make them feel safe and secure. Informal elements of partnership provide the conditions for communication and cooperation on which formal relations of partnership can be constructed. © Article author(s) (or their employer(s) unless otherwise stated in the text of the article) 2017. All rights reserved. No commercial use is permitted unless otherwise expressly granted.

Establishing Networks to Lever Investments in Developing Capacity for Agricultural Monitoring: A GEOGLAM Perspective

NASA Astrophysics Data System (ADS)

Whitcraft, A. K.; Becker-Reshef, I.

2016-12-01

Since 2011, the Group on Earth Observations Global Agricultural Monitoring (GEOGLAM) Initiative has been working to strengthen the international community's capacity to use Earth observation (EO) data to derive timely, accurate, and transparent information on agriculture. A key component of GEOGLAM is the development of individual and institutional capacity for EO-based agricultural monitoring at multiple scales, from national to regional to global, in low-, middle-, and high-income countries. Despite the fact that the need for enhancing capacity is frequently acknowledged, there is little formal or informal literature documenting best practices for developing and implementing comprehensive capacity development strategies around Earth observations knowledge sharing. As a result, many projects and activities develop knowledge-sharing strategies on an ad hoc basis, and may be missing out on levering lessons, techniques, and toolsets already developed. In the past year, GEOGLAM has aimed to spur relationships and collaborations with capacity development initiatives and networks, toward sharing and documenting strategies and tactical experiences in this domain. This presentation will provide some perspective on challenges and opportunities encountered so far, from the GEOGLAM perspective, with the goal of continued dialogue and coordination with other session participants.

User Manual for SAHM package for VisTrails

USGS Publications Warehouse

Talbert, C.B.; Talbert, M.K.

2012-01-01

The Software for Assisted Habitat I\\•1odeling (SAHM) has been created to both expedite habitat modeling and help maintain a record of the various input data, pre-and post-processing steps and modeling options incorporated in the construction of a species distribution model. The four main advantages to using the combined VisTrail: SAHM package for species distribution modeling are: 1. formalization and tractable recording of the entire modeling process 2. easier collaboration through a common modeling framework 3. a user-friendly graphical interface to manage file input, model runs, and output 4. extensibility to incorporate future and additional modeling routines and tools. This user manual provides detailed information on each module within the SAHM package, their input, output, common connections, optional arguments, and default settings. This information can also be accessed for individual modules by right clicking on the documentation button for any module in VisTrail or by right clicking on any input or output for a module and selecting view documentation. This user manual is intended to accompany the user guide which provides detailed instructions on how to install the SAHM package within VisTrails and then presents information on the use of the package.

Federally sponsored multidisciplinary research centers: Learning, evaluation, and vicious circles.

PubMed

Youtie, Jan; Corley, Elizabeth A

2011-02-01

Despite the increasing investment in multi-year federally funded science and technology centers in universities, there are few studies of how these centers engage in learning and change based on information submitted from various agents in the oversight and evaluation process. One challenge is how to manage and respond to this evaluative information, especially when it is conflicting. Although the center can learn and adapt in response to this information, it can also become subject to a vicious circle of continuous restructuring and production of documentation to address various and potentially inconsistent recommendations. In this paper we illustrate the effects of such a dynamic based on our experiences as external evaluators of the $25 million NSF-funded Learning in Informal and Formal Environments (LIFE) Center. The case study presents an analysis of annual reports and strategic planning documents along with other sources of evidence to illustrate the evolution of center organizational approaches in response to evaluations by external review panels, center evaluators, program managers, and other external stakeholders. We conclude with suggestions for how evaluators may help centers ease the cost of learning and reduce the likelihood of a vicious circle. 2010 Elsevier Ltd. All rights reserved.

Formal Solutions for Polarized Radiative Transfer. III. Stiffness and Instability

NASA Astrophysics Data System (ADS)

Janett, Gioele; Paganini, Alberto

2018-04-01

Efficient numerical approximation of the polarized radiative transfer equation is challenging because this system of ordinary differential equations exhibits stiff behavior, which potentially results in numerical instability. This negatively impacts the accuracy of formal solvers, and small step-sizes are often necessary to retrieve physical solutions. This work presents stability analyses of formal solvers for the radiative transfer equation of polarized light, identifies instability issues, and suggests practical remedies. In particular, the assumptions and the limitations of the stability analysis of Runge–Kutta methods play a crucial role. On this basis, a suitable and pragmatic formal solver is outlined and tested. An insightful comparison to the scalar radiative transfer equation is also presented.

Criteria Considered in Selecting Feed Items for Americium-241 Oxide Production Operations

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

Schulte, Louis D.

The analysis in this document serves the purpose of defining a number of attributes in selection of feed items to be utilized in recovery/recycle of Pu and also production operations of 241AmO 2 material intended to meet specification requirements. This document was written in response to a specific request on the part of the 2014 annual program review which took place over the dates of October 28-29, 2014. A number of feed attributes are noted including: (1) Non-interference with existing Pu recovery operations; (2) Content of sufficient 241Am to allow process efficiency in recovery operations; (3) Absence of indications thatmore » 243Am might be mixed in with the Pu/ 241Am material; (4) Absence of indications that Cm might be mixed in with the Pu/ 241Am material; (5) Absence of indications of other chemical elements that would present difficulty in chemical separation from 241Am; (6) Feed material not expected to present difficulty in dissolution; (7) Dose issues; (8) Process efficiency; (9) Size; (10) Hazard associated with items and package configuration in the vault; (11) Within existing NEPA documentation. The analysis in this document provides a baseline of attributes considered for feed materials, but does not presume to replace the need for technical expertise and judgment on the part of individuals responsible for selecting the material feed to be processed. This document is not comprehensive as regards all attributes that could prove to be important. The value of placing a formal QA hold point on accepting feed items versus more informal management of feed items is discussed in the summation of this analysis. The existing planned QA hold points on 241AmO 2 products produced and packaged may be adequate as the entire project is based on QA of the product rather than QA of the process. The probability of introduction of items that would inherently cause the 241AmO 2 products produced to be outside of specification requirements appears to be rather small.« less

A constructivist grounded theory of generalist health professionals and their mental health work.

PubMed

Brunero, Scott; Ramjan, Lucie M; Salamonson, Yenna; Nicholls, Daniel

2018-05-30

Generalist health professionals, often without formal mental health training, provide treatment and care to people with serious mental illness who present with physical health problems in general hospital settings. This article will present findings from a constructivist grounded theory study of the work delivered by generalist health staff to consumers with mental illness on the general medical/surgical wards of two metropolitan hospitals in Sydney, Australia. The results analysed included three participant observations, two focus groups, and 21 interviews and hospital policy and protocol documents. A substantive theory of mental health work in general hospital settings is illustrated which conceptualizes the following categories: (i) the experience: conflicting realities and ideals; (ii) The Context: facilitating social distancing; and (iii) the social processes: invisibility affecting confidence. The categories are understood through the theoretical lens of symbolic interactionism with the theory providing insights into how the generalist health professionals understand their sense of self or identity. © 2018 Australian College of Mental Health Nurses Inc.

Developing a predictive understanding of landscape importance to the Punan-Pelancau of East Kalimantan, Borneo.

PubMed

Cunliffe, Robert N; Lynam, Timothy J P; Sheil, Douglas; Wan, Meilinda; Salim, Agus; Basuki, Imam; Priyadi, Hari

2007-11-01

In order for local community views to be incorporated into new development initiatives, their perceptions need to be clearly understood and documented in a format that is readily accessible to planners and developers. The current study sought to develop a predictive understanding of how the Punan Pelancau community, living in a forested landscape in East Kalimantan, assigns importance to its surrounding landscapes and to present these perceptions in the form of maps. The approach entailed the iterative use of a combination of participatory community evaluation methods and more formal modeling and geographic information system techniques. Results suggest that landscape importance is largely dictated by potential benefits, such as inputs to production, health, and houses. Neither land types nor distance were good predictors of landscape importance. The grid-cell method, developed as part of the study, appears to offer a simple technique to capture and present the knowledge of local communities, even where their relationship to the land is highly complex, as was the case for this particular community.

A study and evaluation of image analysis techniques applied to remotely sensed data

NASA Technical Reports Server (NTRS)

Atkinson, R. J.; Dasarathy, B. V.; Lybanon, M.; Ramapriyan, H. K.

1976-01-01

An analysis of phenomena causing nonlinearities in the transformation from Landsat multispectral scanner coordinates to ground coordinates is presented. Experimental results comparing rms errors at ground control points indicated a slight improvement when a nonlinear (8-parameter) transformation was used instead of an affine (6-parameter) transformation. Using a preliminary ground truth map of a test site in Alabama covering the Mobile Bay area and six Landsat images of the same scene, several classification methods were assessed. A methodology was developed for automatic change detection using classification/cluster maps. A coding scheme was employed for generation of change depiction maps indicating specific types of changes. Inter- and intraseasonal data of the Mobile Bay test area were compared to illustrate the method. A beginning was made in the study of data compression by applying a Karhunen-Loeve transform technique to a small section of the test data set. The second part of the report provides a formal documentation of the several programs developed for the analysis and assessments presented.

Geometry and Formal Linguistics.

ERIC Educational Resources Information Center

Huff, George A.

This paper presents a method of encoding geometric line-drawings in a way which allows sets of such drawings to be interpreted as formal languages. A characterization of certain geometric predicates in terms of their properties as languages is obtained, and techniques usually associated with generative grammars and formal automata are then applied…

Conceptual Questions and Lack of Formal Reasoning: Are They Mutually Exclusive?

ERIC Educational Resources Information Center

Igaz, Csaba; Proksa, Miroslav

2012-01-01

Using specially designed conceptual question pairs, 9th grade students were tested on tasks (presented as experimental situations in pictorial form) that involved controlling the variables' scheme of formal reasoning. The question topics focused on these three chemical contexts: chemistry in everyday life, chemistry without formal concepts, and…

Pedagogical Basis of DAS Formalism in Engineering Education

ERIC Educational Resources Information Center

Hiltunen, J.; Heikkinen, E.-P.; Jaako, J.; Ahola, J.

2011-01-01

The paper presents a new approach for a bachelor-level curriculum structure in engineering. The approach is called DAS formalism according to its three phases: description, analysis and synthesis. Although developed specifically for process and environmental engineering, DAS formalism has a generic nature and it could also be used in other…

Does (In)Formal Learning Enhance Employability?

ERIC Educational Resources Information Center

van der Heijden, Beatrice I.J.M.; Boon, Jo; van der Klink, Marcel R.; Meys, Ely

2008-01-01

Not much is known about the actual contribution of informal learning to employability over and above formal learning activities. This paper presents findings of a research project among university staff members and is aimed to determine the contribution of formal and informal learning activities in the light of future career potential. Findings…

I, Pronoun: A Study of Formality in Online Content

ERIC Educational Resources Information Center

Thayer, Alexander; Evans, Mary B.; McBride, Alicia A.; Queen, Matt; Spyridakis, Jan H.

2010-01-01

This article presents the results of a study that investigated readers' perceptions of tone formality in online text passages. The study found that readers perceived text passages to be less formal when they contained personal pronouns, active voice verbs, informal punctuation, or verb contractions. The study reveals that professional…

Lack of evidence and standardization in care pathway documents for patients with ST-elevated myocardial infarction.

PubMed

Aeyels, Daan; Van Vugt, Stijn; Sinnaeve, Peter R; Panella, Massimiliano; Van Zelm, Ruben; Sermeus, Walter; Vanhaecht, Kris

2016-04-01

Clinical practice variation and the subsequent burden on health care quality has been documented for patients with ST-elevated myocardial infarction (STEMI). Reduction of clinical practice variation is possible by increasing guideline adherence. Care pathway documents can increase guideline adherence by implementing evidence-based key interventions and quality indicators in daily practice. This study aims to examine guideline adherence of care pathway documents for patients with STEMI. Lay-out, size and timeframe of submitted care pathways documents were analysed. Two independent reviewers used a checklist to systematically assess the guideline adherence of care pathway documents. The checklist comprised a set of key interventions and quality indicators extracted from evidence and international guidelines. The checklist distinguished the evidence level for each item and was validated by expert consensus. Results were verified by inviting participating hospitals to provide feedback. Fifteen out of 25 invited hospitals submitted care pathway documents for STEMI. The care pathway documents differed in timeframe, lay-out and size. Analysis of the care pathway documents showed important variation in formalizing adherence to evidence: between hospitals, inclusion of 24 key interventions in care pathway documents varied from 13 to 97%. Inclusion of 11 essential quality indicators varied from 0 to 40%. Care pathway documents for patients with STEMI differ considerably in lay-out, timeframe and size. This study showed variation in, and suboptimal inclusion of, evidence-based key interventions and quality indicators in care pathway documents. The use of these care pathway documents might result in suboptimal quality of care for STEMI patients. © The European Society of Cardiology 2015.

Implementation of case studies in undergraduate didactic nursing courses: a qualitative study.

PubMed

Dutra, Danette K

2013-07-04

The implementation of unfolding scenario-based case studies in the didactic classroom is associated with learner-centered education. The utilization of learner-centered pedagogies, such as case studies, removes the focus from the instructor and instead places it on the student. Learner-centered pedagogies are believed to improve students' levels of cognition. The purpose of this study was to examine how nurse educators are implementing the pedagogies of case studies in their undergraduate didactic courses. The goal was to examine, document, report, and, ultimately, implement the strategies. Purposeful sampling was utilized in this qualitative, multisite-designed study. For each of the four participants, three separate site visits were completed. Observations and post-observational interviews took place at each site visit. Transcribed data from interviews, observations, and course documents were imported into the computer program Nvivo8. Repetitive comparative analysis was utilized to complete the data coding process. The guiding research question of this study sought to investigate the implementation strategies of case studies in didactic nursing courses. The implementation of case studies by the participants reflected two primary patterns: Formal Implementation (FI) and Informal Implementation (II) of case studies. The FI of case studies was further divided into two subcategories: Formal Implementation of case studies used Inside the Classroom setting (FIIC) and Formal Implementation of cases studies used Outside of the Classroom (FIOC). Results of this investigation have led to an increased understanding of implementation strategies of unfolding scenario-based case studies in undergraduate nursing didactic courses. Data collected were rich in the description of specific methodologies for utilization of case studies and may serve as a resource for faculty in development of creative strategies to enhance the didactic classroom experience.

Implementation of case studies in undergraduate didactic nursing courses: a qualitative study

PubMed Central

2013-01-01

Background The implementation of unfolding scenario-based case studies in the didactic classroom is associated with learner-centered education. The utilization of learner-centered pedagogies, such as case studies, removes the focus from the instructor and instead places it on the student. Learner-centered pedagogies are believed to improve students’ levels of cognition. The purpose of this study was to examine how nurse educators are implementing the pedagogies of case studies in their undergraduate didactic courses. The goal was to examine, document, report, and, ultimately, implement the strategies. Methods Purposeful sampling was utilized in this qualitative, multisite-designed study. For each of the four participants, three separate site visits were completed. Observations and post-observational interviews took place at each site visit. Transcribed data from interviews, observations, and course documents were imported into the computer program Nvivo8. Repetitive comparative analysis was utilized to complete the data coding process. Results The guiding research question of this study sought to investigate the implementation strategies of case studies in didactic nursing courses. The implementation of case studies by the participants reflected two primary patterns: Formal Implementation (FI) and Informal Implementation (II) of case studies. The FI of case studies was further divided into two subcategories: Formal Implementation of case studies used Inside the Classroom setting (FIIC) and Formal Implementation of cases studies used Outside of the Classroom (FIOC). Conclusion Results of this investigation have led to an increased understanding of implementation strategies of unfolding scenario-based case studies in undergraduate nursing didactic courses. Data collected were rich in the description of specific methodologies for utilization of case studies and may serve as a resource for faculty in development of creative strategies to enhance the didactic classroom experience. PMID:23826925

Formal Techniques for Synchronized Fault-Tolerant Systems

NASA Technical Reports Server (NTRS)

DiVito, Ben L.; Butler, Ricky W.

1992-01-01

We present the formal verification of synchronizing aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the effects of transient faults. The system design has been formally specified and verified using the EHDM verification system. Our formalization is based on an extended state machine model incorporating snapshots of local processors clocks.

COSMOS: Python library for massively parallel workflows

PubMed Central

Gafni, Erik; Luquette, Lovelace J.; Lancaster, Alex K.; Hawkins, Jared B.; Jung, Jae-Yoon; Souilmi, Yassine; Wall, Dennis P.; Tonellato, Peter J.

2014-01-01

Summary: Efficient workflows to shepherd clinically generated genomic data through the multiple stages of a next-generation sequencing pipeline are of critical importance in translational biomedical science. Here we present COSMOS, a Python library for workflow management that allows formal description of pipelines and partitioning of jobs. In addition, it includes a user interface for tracking the progress of jobs, abstraction of the queuing system and fine-grained control over the workflow. Workflows can be created on traditional computing clusters as well as cloud-based services. Availability and implementation: Source code is available for academic non-commercial research purposes. Links to code and documentation are provided at http://lpm.hms.harvard.edu and http://wall-lab.stanford.edu. Contact: dpwall@stanford.edu or peter_tonellato@hms.harvard.edu. Supplementary information: Supplementary data are available at Bioinformatics online. PMID:24982428

Excitation of Continuous and Discrete Modes in Incompressible Boundary Layers

NASA Technical Reports Server (NTRS)

Ashpis, David E.; Reshotko, Eli

1998-01-01

This report documents the full details of the condensed journal article by Ashpis & Reshotko (JFM, 1990) entitled "The Vibrating Ribbon Problem Revisited." A revised formal solution of the vibrating ribbon problem of hydrodynamic stability is presented. The initial formulation of Gaster (JFM, 1965) is modified by application of the Briggs method and a careful treatment of the complex double Fourier transform inversions. Expressions are obtained in a natural way for the discrete spectrum as well as for the four branches of the continuous spectra. These correspond to discrete and branch-cut singularities in the complex wave-number plane. The solutions from the continuous spectra decay both upstream and downstream of the ribbon, with the decay in the upstream direction being much more rapid than that in the downstream direction. Comments and clarification of related prior work are made.

COSMOS: Python library for massively parallel workflows.

PubMed

Gafni, Erik; Luquette, Lovelace J; Lancaster, Alex K; Hawkins, Jared B; Jung, Jae-Yoon; Souilmi, Yassine; Wall, Dennis P; Tonellato, Peter J

2014-10-15

Efficient workflows to shepherd clinically generated genomic data through the multiple stages of a next-generation sequencing pipeline are of critical importance in translational biomedical science. Here we present COSMOS, a Python library for workflow management that allows formal description of pipelines and partitioning of jobs. In addition, it includes a user interface for tracking the progress of jobs, abstraction of the queuing system and fine-grained control over the workflow. Workflows can be created on traditional computing clusters as well as cloud-based services. Source code is available for academic non-commercial research purposes. Links to code and documentation are provided at http://lpm.hms.harvard.edu and http://wall-lab.stanford.edu. dpwall@stanford.edu or peter_tonellato@hms.harvard.edu. Supplementary data are available at Bioinformatics online. © The Author 2014. Published by Oxford University Press.

Connecting Architecture and Implementation

NASA Astrophysics Data System (ADS)

Buchgeher, Georg; Weinreich, Rainer

Software architectures are still typically defined and described independently from implementation. To avoid architectural erosion and drift, architectural representation needs to be continuously updated and synchronized with system implementation. Existing approaches for architecture representation like informal architecture documentation, UML diagrams, and Architecture Description Languages (ADLs) provide only limited support for connecting architecture descriptions and implementations. Architecture management tools like Lattix, SonarJ, and Sotoarc and UML-tools tackle this problem by extracting architecture information directly from code. This approach works for low-level architectural abstractions like classes and interfaces in object-oriented systems but fails to support architectural abstractions not found in programming languages. In this paper we present an approach for linking and continuously synchronizing a formalized architecture representation to an implementation. The approach is a synthesis of functionality provided by code-centric architecture management and UML tools and higher-level architecture analysis approaches like ADLs.

V&V framework

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

Hills, Richard G.; Maniaci, David Charles; Naughton, Jonathan W.

2015-09-01

A Verification and Validation (V&V) framework is presented for the development and execution of coordinated modeling and experimental program s to assess the predictive capability of computational models of complex systems through focused, well structured, and formal processes.The elements of the framework are based on established V&V methodology developed by various organizations including the Department of Energy, National Aeronautics and Space Administration, the American Institute of Aeronautics and Astronautics, and the American Society of Mechanical Engineers. Four main topics are addressed: 1) Program planning based on expert elicitation of the modeling physics requirements, 2) experimental design for model assessment, 3)more » uncertainty quantification for experimental observations and computational model simulations, and 4) assessment of the model predictive capability. The audience for this document includes program planners, modelers, experimentalist, V &V specialist, and customers of the modeling results.« less

Modeling of clover detector in addback mode

NASA Astrophysics Data System (ADS)

Kshetri, R.

2012-07-01

Based on absorption and scattering of gamma-rays, a formalism has been presented for modeling the clover germanium detector in addback mode and to predict its response for high energy γ-rays. In the present formalism, the operation of a bare clover detector could be described in terms of three quantities only. Considering an additional parameter, the formalism could be extended for suppressed clover. Using experimental data on relative single crystal efficiency and addback factor as input, the peak-to-total ratio has been calculated for three energies (Eγ = 3.401, 5.324 and 10.430 MeV) where direct measurement of peak-to-total ratio is impossible due to absence of a radioactive source having single monoenergetic gamma-ray of that energy. The experimental validation and consistency of the formalism have been shown considering data for TIGRESS clover detector. In a recent work (R. Kshetri, JINST 2012 7 P04008), we showed that for a given γ-ray energy, the formalism could be used to predict the peak-to-total ratio as a function of number of detector modules. In the present paper, we have shown that for a given composite detector (clover detector is considered here), the formalism could be used to predict the peak-to-total ratio as a function of γ-ray energy.

Approaches to Foster Transfer of Formal Principles: Which Route to Take?

PubMed

Schalk, Lennart; Saalbach, Henrik; Stern, Elsbeth

2016-01-01

Enabling learners to transfer knowledge about formal principles to new problems is a major aim of science and mathematics education, which, however, is notoriously difficult to reach. Previous research advocates different approaches of how to introduce principles to foster the transfer of knowledge about formal principles. One approach suggests teaching a generic formalism of the principles. Another approach suggests presenting (at least) two concrete cases instantiating the principle. A third approach suggests presenting a generic formalism accompanied by a case. As yet, though, empirical results regarding the transfer potential of these approaches are mixed and difficult to integrate as the three approaches have rarely been tested competitively. Furthermore, the approaches have been evaluated in relation to different control conditions, and they have been assessed using varying transfer measures. In the present experiment, we introduced undergraduates to the formal principles of propositional logic with the aim to systematically compare the transfer potential of the different approaches in relation to each other and to a common control condition by using various learning and transfer tasks. Results indicate that all approaches supported successful learning and transfer of the principles, but also caused systematic differences in the magnitude of transfer. Results indicate that the combination of a generic formalism with a case was surprisingly unsuccessful while learners who compared two cases outperformed the control condition. We discuss how the simultaneous assessment of the different approaches allows to more precisely capture the underlying learning mechanisms and to advance theory on how these mechanisms contribute to transfer performance.

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.

Universal calculational recipe for solvent-mediated potential: based on a combination of integral equation theory and density functional theory

NASA Astrophysics Data System (ADS)

Zhou, Shiqi

2004-07-01

A universal formalism, which enables calculation of solvent-mediated potential (SMP) between two equal or non-equal solute particles with any shape immersed in solvent reservior consisting of atomic particle and/or polymer chain or their mixture, is proposed by importing a density functional theory externally into OZ equation systems. Only if size asymmetry of the solvent bath components is moderate, the present formalism can calculate the SMP in any complex fluids at the present development stage of statistical mechanics, and therefore avoids all of limitations of previous approaches for SMP. Preliminary calculation indicates the reliability of the present formalism.

Advance care planning uptake among patients with severe lung disease: a randomised patient preference trial of a nurse-led, facilitated advance care planning intervention.

PubMed

Sinclair, Craig; Auret, Kirsten Anne; Evans, Sharon Frances; Williamson, Fiona; Dormer, Siobhan; Wilkinson, Anne; Greeve, Kim; Koay, Audrey; Price, Dot; Brims, Fraser

2017-02-24

Advance care planning (ACP) clarifies goals for future care if a patient becomes unable to communicate their own preferences. However, ACP uptake is low, with discussions often occurring late. This study assessed whether a systematic nurse-led ACP intervention increases ACP in patients with advanced respiratory disease. A multicentre open-label randomised controlled trial with preference arm. Metropolitan teaching hospital and a rural healthcare network. 149 participants with respiratory malignancy, chronic obstructive pulmonary disease or interstitial lung disease. Nurse facilitators offered facilitated ACP discussions, prompted further discussions with doctors and loved ones, and assisted participants to appoint a substitute medical decision-maker (SDM) and complete an advance directive (AD). The primary measure was formal (AD or SDM) or informal (discussion with doctor) ACP uptake assessed by self-report (6 months) and medical notes audit. Secondary measures were the factors predicting baseline readiness to undertake ACP, and factors predicting postintervention ACP uptake in the intervention arm. At 6 months, formal ACP uptake was significantly higher (p<0.001) in the intervention arm (54/106, 51%), compared with usual care (6/43, 14%). ACP discussions with doctors were also significantly higher (p<0.005) in the intervention arm (76/106, 72%) compared with usual care (20/43, 47%). Those with a strong preference for the intervention were more likely to complete formal ACP documents than those randomly allocated. Increased symptom burden and preference for the intervention predicted later ACP uptake. Social support was positively associated with ACP discussion with loved ones, but negatively associated with discussion with doctors. Nurse-led facilitated ACP is acceptable to patients with advanced respiratory disease and effective in increasing ACP discussions and completion of formal documents. Awareness of symptom burden, readiness to engage in ACP and relevant psychosocial factors may facilitate effective tailoring of ACP interventions and achieve greater uptake. ACTRN12614000255684. Published by the BMJ Publishing Group Limited. For permission to use (where not already granted under a licence) please go to http://www.bmj.com/company/products-services/rights-and-licensing/.

Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. Technical Report No. 36.

ERIC Educational Resources Information Center

Nash-Webber, Bonnie; Reiter, Raymond

This paper describes a computational approach to certain problems of anaphora in natural language and argues in favor of formal meaning representation languages (MRLs) for natural language. After presenting arguments in favor of formal meaning representation languages, appropriate MRLs are discussed. Minimal requirements include provisions for…

The Factor Structure of Concrete and Formal Operations: A Confirmation of Piaget.

ERIC Educational Resources Information Center

Gray, William M.

Piaget has hypothesized that concrete and formal operations can be described by specific logical models. The present study focused on assessing various aspects of four concrete operational groupings and two variations of two formal operational characteristics. Six hundred twenty-two 9-14 year old students participating in the Human Sciences…

An Educational Development Tool Based on Principles of Formal Ontology

ERIC Educational Resources Information Center

Guzzi, Rodolfo; Scarpanti, Stefano; Ballista, Giovanni; Di Nicolantonio, Walter

2005-01-01

Computer science provides with virtual laboratories, places where one can merge real experiments with the formalism of algorithms and mathematics and where, with the advent of multimedia, sounds and movies can also be added. In this paper we present a method, based on principles of formal ontology, allowing one to develop interactive educational…

Distance Learning and Non-Formal Education: Existing Trends and New Possibilities of Distance Learning Experiences.

ERIC Educational Resources Information Center

Romi, Shlomo

2000-01-01

Reviews the characteristics of non-formal education as expressed in various academic-theoretical definitions, presents the links in this field to distance learning, and recommends future directions for exploring distance learning in non-formal education. Discusses the use of information and communication technology and considers problems with…

A Note on Inconsistent Axioms in Rushby's Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms

NASA Technical Reports Server (NTRS)

Pike, Lee

2005-01-01

I describe some inconsistencies in John Rushby s axiomatization of time-triggered algorithms that he presents in these transactions and that he formally specifies and verifies in a mechanical theorem-prover. I also present corrections for these inconsistencies.

An Exploratory Study: Assessment of Modeled Dioxin ...

EPA Pesticide Factsheets

EPA has released an external review draft entitled, An Exploratory Study: Assessment of Modeled Dioxin Exposure in Ceramic Art Studios(External Review Draft). The public comment period and the external peer-review workshop are separate processes that provide opportunities for all interested parties to comment on the document. In addition to consideration by EPA, all public comments submitted in accordance with this notice will also be forwarded to EPA’s contractor for the external peer-review panel prior to the workshop. EPA has realeased this draft document solely for the purpose of pre-dissemination peer review under applicable information quality guidelines. This document has not been formally disseminated by EPA. It does not represent and should not be construed to represent any Agency policy or determination. The purpose of this report is to describe an exploratory investigation of potential dioxin exposures to artists/hobbyists who use ball clay to make pottery and related products.

A Generic Approach for Pen-Based User Interface Development

NASA Astrophysics Data System (ADS)

Macé, Sébastien; Anquetil, Éric

Pen-based interaction is an intuitive way to realize hand drawn structured documents, but few applications take advantage of it. Indeed, the interpretation of the user hand drawn strokes in the context of document is a complex problem. In this paper, we propose a new generic approach to develop such systems based on three independent components. The first one is a set of graphical and editing functions adapted to pen interaction. The second one is a rule-based formalism that models structured document composition and the corresponding interpretation process. The last one is a hand drawn stroke analyzer that is able to interpret strokes progressively, directly while the user is drawing. We highlight in particular the human-computer interaction induced from this progressive interpretation process. Thanks to this generic approach, three pen-based system prototypes have already been developed, for musical score editing, for graph editing, and for UML class diagram editing

High Fidelity CFD Analysis and Validation of Rotorcraft Gearbox Aerodynamics Under Operational and Oil-Out Conditions

NASA Technical Reports Server (NTRS)

Kunz, Robert F.

2014-01-01

This document represents the evolving formal documentation of the NPHASE-PSU computer code. Version 3.15 is being delivered along with the software to NASA in 2013.Significant upgrades to the NPHASE-PSU have been made since the first delivery of draft documentation to DARPA and USNRC in 2006. These include a much lighter, faster and memory efficient face based front end, support for arbitrary polyhedra in front end, flow-solver and back-end, a generalized homogeneous multiphase capability, and several two-fluid modelling and algorithmic elements. Specific capability installed for the NASA Gearbox Windage Aerodynamics NRA are included in this version: Hybrid Immersed Overset Boundary Method (HOIBM) [Noack et. al (2009)] Periodic boundary conditions for multiple frames of reference, Fully generalized immersed boundary method, Fully generalized conjugate heat transfer, Droplet deposition, bouncing, splashing models, and, Film transport and breakup.

Duke Surgery Research Central: an open-source Web application for the improvement of compliance with research regulation.

PubMed

Pietrobon, Ricardo; Shah, Anand; Kuo, Paul; Harker, Matthew; McCready, Mariana; Butler, Christeen; Martins, Henrique; Moorman, C T; Jacobs, Danny O

2006-07-27

Although regulatory compliance in academic research is enforced by law to ensure high quality and safety to participants, its implementation is frequently hindered by cost and logistical barriers. In order to decrease these barriers, we have developed a Web-based application, Duke Surgery Research Central (DSRC), to monitor and streamline the regulatory research process. The main objective of DSRC is to streamline regulatory research processes. The application was built using a combination of paper prototyping for system requirements and Java as the primary language for the application, in conjunction with the Model-View-Controller design model. The researcher interface was designed for simplicity so that it could be used by individuals with different computer literacy levels. Analogously, the administrator interface was designed with functionality as its primary goal. DSRC facilitates the exchange of regulatory documents between researchers and research administrators, allowing for tasks to be tracked and documents to be stored in a Web environment accessible from an Intranet. Usability was evaluated using formal usability tests and field observations. Formal usability results demonstrated that DSRC presented good speed, was easy to learn and use, had a functionality that was easily understandable, and a navigation that was intuitive. Additional features implemented upon request by initial users included: extensive variable categorization (in contrast with data capture using free text), searching capabilities to improve how research administrators could search an extensive number of researcher names, warning messages before critical tasks were performed (such as deleting a task), and confirmatory e-mails for critical tasks (such as completing a regulatory task). The current version of DSRC was shown to have excellent overall usability properties in handling research regulatory issues. It is hoped that its release as an open-source application will promote improved and streamlined regulatory processes for individual academic centers as well as larger research networks.

Duke Surgery Research Central: an open-source Web application for the improvement of compliance with research regulation

PubMed Central

Pietrobon, Ricardo; Shah, Anand; Kuo, Paul; Harker, Matthew; McCready, Mariana; Butler, Christeen; Martins, Henrique; Moorman, CT; Jacobs, Danny O

2006-01-01

Background Although regulatory compliance in academic research is enforced by law to ensure high quality and safety to participants, its implementation is frequently hindered by cost and logistical barriers. In order to decrease these barriers, we have developed a Web-based application, Duke Surgery Research Central (DSRC), to monitor and streamline the regulatory research process. Results The main objective of DSRC is to streamline regulatory research processes. The application was built using a combination of paper prototyping for system requirements and Java as the primary language for the application, in conjunction with the Model-View-Controller design model. The researcher interface was designed for simplicity so that it could be used by individuals with different computer literacy levels. Analogously, the administrator interface was designed with functionality as its primary goal. DSRC facilitates the exchange of regulatory documents between researchers and research administrators, allowing for tasks to be tracked and documents to be stored in a Web environment accessible from an Intranet. Usability was evaluated using formal usability tests and field observations. Formal usability results demonstrated that DSRC presented good speed, was easy to learn and use, had a functionality that was easily understandable, and a navigation that was intuitive. Additional features implemented upon request by initial users included: extensive variable categorization (in contrast with data capture using free text), searching capabilities to improve how research administrators could search an extensive number of researcher names, warning messages before critical tasks were performed (such as deleting a task), and confirmatory e-mails for critical tasks (such as completing a regulatory task). Conclusion The current version of DSRC was shown to have excellent overall usability properties in handling research regulatory issues. It is hoped that its release as an open-source application will promote improved and streamlined regulatory processes for individual academic centers as well as larger research networks. PMID:16872540

Citizenship and Nationality in Changing Europe: A Comparative Study of the Aims of Citizenship Education in Russian and Finnish National Education Policy Texts

ERIC Educational Resources Information Center

Piattoeva, Nelli

2009-01-01

The paper analyses how the formal aims of citizenship education, as declared in legislation and policy documents, have changed since the end of the 1980s in response to the transformation of the political scenery in Finland and the Russian Federation. One central question framing the analysis of Finnish citizenship education is whether…

Aeronautical Systems Division (AFSC) Program Management Resource Document.

DTIC Science & Technology

1981-09-30

assure that the detail desing adeuately satisfies the requirements contained in the Part I Development Specifications and to allow the PM to formally...disciplines. He becomes a source of integrated information concerning a particular program and an interaction point for coordinating the di- verse...consider cost, schedule, and technical factors not only individually, but also their interaction on each other (5 60). The fact that a program has

TRADOC Library and Information Network (TRALINET)

DTIC Science & Technology

1979-03-01

by the Library of Congress, Dewey materials that have beer photographically reduced Decimal , or any other classification scheme adopted in size for...sites at Forts Hood, TX; Gordon, GA; Monroe, VA; Knox, KY, and Leavenworth, KS. DTIC, formally Defense Documentation Center ( DDC ), serves as the primary...locally expanded subject schedules, whether schedules aic for Dewey , Library of Congress, etc., particularly in the are& of Military Arts and Sciences. 1 4

Cruel and Unusual: Negative Images of Arabs in American Popular Culture. Third Edition. ADC Issue Paper No. 15.

ERIC Educational Resources Information Center

Michalak, Laurence

This document addresses the negative image of Arabs among the U.S. public. While formal education has created many of the misconceptions about Arabs that abound in the west, many of the misconceptions come from the informal education of popular culture. The western image of the Arab is possibly more interesting than the reality of Arab culture.…

An Analysis of Mathematics Achievement Disparities between Black and White Students and Socioeconomically Disadvantaged and Advantaged Students across Content Strands by Elementary and Middle School Level in a Diverse Virginia School District

ERIC Educational Resources Information Center

Lewis, Benjamin L.

2013-01-01

Student achievement gaps between Black and White students, and socioeconomically disadvantaged and advantaged students, have been observed and formally documented since the National Assessment of Educational Progress (NAEP) began in the 1970s. In particular, the mathematics achievement gap between these historically disadvantaged populations has…

A Logical Approach to Multilevel Security of Probabilistic Systems

DTIC Science & Technology

1998-01-01

their usefulness in security analysis. Key Words: Formal modeling, Veri cation, Knowledge, Security, Probabilistic Systems Supported by grant HKUST 608...94E from the Hong Kong Research Grants Council. yAuthor for correspondence (syverson@itd.nrl.navy.mil). Supported by ONR. 1 Report Documentation Page...Form ApprovedOMB No. 0704-0188 Public reporting burden for the collection of information is estimated to average 1 hour per response, including the

Keldysh formalism for multiple parallel worlds

NASA Astrophysics Data System (ADS)

Ansari, M.; Nazarov, Y. V.

2016-03-01

We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

Keldysh formalism for multiple parallel worlds

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

Ansari, M.; Nazarov, Y. V., E-mail: y.v.nazarov@tudelft.nl

We present a compact and self-contained review of the recently developed Keldysh formalism for multiple parallel worlds. The formalism has been applied to consistent quantum evaluation of the flows of informational quantities, in particular, to the evaluation of Renyi and Shannon entropy flows. We start with the formulation of the standard and extended Keldysh techniques in a single world in a form convenient for our presentation. We explain the use of Keldysh contours encompassing multiple parallel worlds. In the end, we briefly summarize the concrete results obtained with the method.

Formal verification of an oral messages algorithm for interactive consistency

NASA Technical Reports Server (NTRS)

Rushby, John

1992-01-01

The formal specification and verification of an algorithm for Interactive Consistency based on the Oral Messages algorithm for Byzantine Agreement is described. We compare our treatment with that of Bevier and Young, who presented a formal specification and verification for a very similar algorithm. Unlike Bevier and Young, who observed that 'the invariant maintained in the recursive subcases of the algorithm is significantly more complicated than is suggested by the published proof' and who found its formal verification 'a fairly difficult exercise in mechanical theorem proving,' our treatment is very close to the previously published analysis of the algorithm, and our formal specification and verification are straightforward. This example illustrates how delicate choices in the formulation of the problem can have significant impact on the readability of its formal specification and on the tractability of its formal verification.

Improving Project Management Using Formal Models and Architectures

NASA Technical Reports Server (NTRS)

Kahn, Theodore; Sturken, Ian

2011-01-01

This talk discusses the advantages formal modeling and architecture brings to project management. These emerging technologies have both great potential and challenges for improving information available for decision-making. The presentation covers standards, tools and cultural issues needing consideration, and includes lessons learned from projects the presenters have worked on.

Interim Basis for PCB Sampling and Analyses

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

BANNING, D.L.

2001-01-18

This document was developed as an interim basis for sampling and analysis of polychlorinated biphenyls (PCBs) and will be used until a formal data quality objective (DQO) document is prepared and approved. On August 31, 2000, the Framework Agreement for Management of Polychlorinated Biphenyls (PCBs) in Hanford Tank Waste was signed by the US. Department of Energy (DOE), the Environmental Protection Agency (EPA), and the Washington State Department of Ecology (Ecology) (Ecology et al. 2000). This agreement outlines the management of double shell tank (DST) waste as Toxic Substance Control Act (TSCA) PCB remediation waste based on a risk-based disposalmore » approval option per Title 40 of the Code of Federal Regulations 761.61 (c). The agreement calls for ''Quantification of PCBs in DSTs, single shell tanks (SSTs), and incoming waste to ensure that the vitrification plant and other ancillary facilities PCB waste acceptance limits and the requirements of the anticipated risk-based disposal approval are met.'' Waste samples will be analyzed for PCBs to satisfy this requirement. This document describes the DQO process undertaken to assure appropriate data will be collected to support management of PCBs and is presented in a DQO format. The DQO process was implemented in accordance with the U.S. Environmental Protection Agency EPA QAlG4, Guidance for the Data Quality Objectives Process (EPA 1994) and the Data Quality Objectives for Sampling and Analyses, HNF-IP-0842, Rev. 1 A, Vol. IV, Section 4.16 (Banning 1999).« less

Interim Basis for PCB Sampling and Analyses

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

BANNING, D.L.

2001-03-20

This document was developed as an interim basis for sampling and analysis of polychlorinated biphenyls (PCBs) and will be used until a formal data quality objective (DQO) document is prepared and approved. On August 31, 2000, the Framework Agreement for Management of Polychlorinated Biphenyls (PCBs) in Hanford Tank Waste was signed by the U.S. Department of Energy (DOE), the Environmental Protection Agency (EPA), and the Washington State Department of Ecology (Ecology) (Ecology et al. 2000). This agreement outlines the management of double shell tank (DST) waste as Toxic Substance Control Act (TSCA) PCB remediation waste based on a risk-based disposalmore » approval option per Title 40 of the Code of Federal Regulations 761.61 (c). The agreement calls for ''Quantification of PCBs in DSTs, single shell tanks (SSTs), and incoming waste to ensure that the vitrification plant and other ancillary facilities PCB waste acceptance limits and the requirements of the anticipated risk-based disposal approval are met.'' Waste samples will be analyzed for PCBs to satisfy this requirement. This document describes the DQO process undertaken to assure appropriate data will be collected to support management of PCBs and is presented in a DQO format. The DQO process was implemented in accordance with the U.S. Environmental Protection Agency EPA QA/G4, Guidance for the Data Quality Objectives Process (EPA 1994) and the Data Quality Objectives for Sampling and Analyses, HNF-IP-0842, Rev. 1A, Vol. IV, Section 4.16 (Banning 1999).« less

The Mobilization of the Formal Normative Rules in an Educational Institution: A Sociological Study in Portugal

ERIC Educational Resources Information Center

Serpa, Sandro

2016-01-01

The formal dimension can greatly condition the operation of an organization. The present article aims to study the mobilization of organizations' formal structures within educational institutions. To achieve this goal, I analyze the situations between 1858 and 1913 in which the bylaws and/or regulations of the "Disadvantaged Children's…

Mapping the Rural Adolescent Girls' Participation in Residential Non-Formal Education Program--A Study in Lunkaransar Block, Rajasthan, India

ERIC Educational Resources Information Center

Sharma, Shilpa

2002-01-01

The present study, "Mapping Rural Adolescent Girl's Participation in Residential Non- Formal Education Program--A Study in Lunkaransar Block, Rajasthan", was an attempt to understand the dimensions of rural adolescent girls' participation in the "Balika Shivir" Program. It is a six month residential non-formal education program…

Promoting Democratic Citizenship through Non-Formal Adult Education: The Case of Denmark

ERIC Educational Resources Information Center

Milana, Marcella; Sorensen, Tore Bernt

2009-01-01

The article presents selected findings from in-depth case studies of two non-formal learning activities organized by the Danish Folk High Schools and Day High Schools, respectively. The purpose of the empirical study was to investigate how longstanding, non-formal, adult education institutions have worked to foster the acquisition of civic…

Ontology-Driven Search and Triage: Design of a Web-Based Visual Interface for MEDLINE.

PubMed

Demelo, Jonathan; Parsons, Paul; Sedig, Kamran

2017-02-02

Diverse users need to search health and medical literature to satisfy open-ended goals such as making evidence-based decisions and updating their knowledge. However, doing so is challenging due to at least two major difficulties: (1) articulating information needs using accurate vocabulary and (2) dealing with large document sets returned from searches. Common search interfaces such as PubMed do not provide adequate support for exploratory search tasks. Our objective was to improve support for exploratory search tasks by combining two strategies in the design of an interactive visual interface by (1) using a formal ontology to help users build domain-specific knowledge and vocabulary and (2) providing multi-stage triaging support to help mitigate the information overload problem. We developed a Web-based tool, Ontology-Driven Visual Search and Triage Interface for MEDLINE (OVERT-MED), to test our design ideas. We implemented a custom searchable index of MEDLINE, which comprises approximately 25 million document citations. We chose a popular biomedical ontology, the Human Phenotype Ontology (HPO), to test our solution to the vocabulary problem. We implemented multistage triaging support in OVERT-MED, with the aid of interactive visualization techniques, to help users deal with large document sets returned from searches. Formative evaluation suggests that the design features in OVERT-MED are helpful in addressing the two major difficulties described above. Using a formal ontology seems to help users articulate their information needs with more accurate vocabulary. In addition, multistage triaging combined with interactive visualizations shows promise in mitigating the information overload problem. Our strategies appear to be valuable in addressing the two major problems in exploratory search. Although we tested OVERT-MED with a particular ontology and document collection, we anticipate that our strategies can be transferred successfully to other contexts. ©Jonathan Demelo, Paul Parsons, Kamran Sedig. Originally published in JMIR Medical Informatics (http://medinform.jmir.org), 02.02.2017.

Ontology-Driven Search and Triage: Design of a Web-Based Visual Interface for MEDLINE

PubMed Central

2017-01-01

Background Diverse users need to search health and medical literature to satisfy open-ended goals such as making evidence-based decisions and updating their knowledge. However, doing so is challenging due to at least two major difficulties: (1) articulating information needs using accurate vocabulary and (2) dealing with large document sets returned from searches. Common search interfaces such as PubMed do not provide adequate support for exploratory search tasks. Objective Our objective was to improve support for exploratory search tasks by combining two strategies in the design of an interactive visual interface by (1) using a formal ontology to help users build domain-specific knowledge and vocabulary and (2) providing multi-stage triaging support to help mitigate the information overload problem. Methods We developed a Web-based tool, Ontology-Driven Visual Search and Triage Interface for MEDLINE (OVERT-MED), to test our design ideas. We implemented a custom searchable index of MEDLINE, which comprises approximately 25 million document citations. We chose a popular biomedical ontology, the Human Phenotype Ontology (HPO), to test our solution to the vocabulary problem. We implemented multistage triaging support in OVERT-MED, with the aid of interactive visualization techniques, to help users deal with large document sets returned from searches. Results Formative evaluation suggests that the design features in OVERT-MED are helpful in addressing the two major difficulties described above. Using a formal ontology seems to help users articulate their information needs with more accurate vocabulary. In addition, multistage triaging combined with interactive visualizations shows promise in mitigating the information overload problem. Conclusions Our strategies appear to be valuable in addressing the two major problems in exploratory search. Although we tested OVERT-MED with a particular ontology and document collection, we anticipate that our strategies can be transferred successfully to other contexts. PMID:28153818

Application of process improvement principles to increase the frequency of complete airway management documentation.

PubMed

McCarty, L Kelsey; Saddawi-Konefka, Daniel; Gargan, Lauren M; Driscoll, William D; Walsh, John L; Peterfreund, Robert A

2014-12-01

Process improvement in healthcare delivery settings can be difficult, even when there is consensus among clinicians about a clinical practice or desired outcome. Airway management is a medical intervention fundamental to the delivery of anesthesia care. Like other medical interventions, a detailed description of the management methods should be documented. Despite this expectation, airway documentation is often insufficient. The authors hypothesized that formal adoption of process improvement methods could be used to increase the rate of "complete" airway management documentation. The authors defined a set of criteria as a local practice standard of "complete" airway management documentation. The authors then employed selected process improvement methodologies over 13 months in three iterative and escalating phases to increase the percentage of records with complete documentation. The criteria were applied retrospectively to determine the baseline frequency of complete records, and prospectively to measure the impact of process improvements efforts over the three phases of implementation. Immediately before the initial intervention, a retrospective review of 23,011 general anesthesia cases over 6 months showed that 13.2% of patient records included complete documentation. At the conclusion of the 13-month improvement effort, documentation improved to a completion rate of 91.6% (P<0.0001). During the subsequent 21 months, the completion rate was sustained at an average of 90.7% (SD, 0.9%) across 82,571 general anesthetic records. Systematic application of process improvement methodologies can improve airway documentation and may be similarly effective in improving other areas of anesthesia clinical practice.

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

Yan, Yiying, E-mail: yiyingyan@sjtu.edu.cn; Lü, Zhiguo, E-mail: zglv@sjtu.edu.cn; Zheng, Hang, E-mail: hzheng@sjtu.edu.cn

We present a theoretical formalism for resonance fluorescence radiating from a two-level system (TLS) driven by any periodic driving and coupled to multiple reservoirs. The formalism is derived analytically based on the combination of Floquet theory and Born–Markov master equation. The formalism allows us to calculate the spectrum when the Floquet states and quasienergies are analytically or numerically solved for simple or complicated driving fields. We can systematically explore the spectral features by implementing the present formalism. To exemplify this theory, we apply the unified formalism to comprehensively study a generic model that a harmonically driven TLS is simultaneously coupledmore » to a radiative reservoir and a dephasing reservoir. We demonstrate that the significant features of the fluorescence spectra, the driving-induced asymmetry and the dephasing-induced asymmetry, can be attributed to the violation of detailed balance condition, and explained in terms of the driving-related transition quantities between Floquet-states and their steady populations. In addition, we find the distinguished features of the fluorescence spectra under the biharmonic and multiharmonic driving fields in contrast with that of the harmonic driving case. In the case of the biharmonic driving, we find that the spectra are significantly different from the result of the RWA under the multiple resonance conditions. By the three concrete applications, we illustrate that the present formalism provides a routine tool for comprehensively exploring the fluorescence spectrum of periodically strongly driven TLSs.« less

Approaches to Foster Transfer of Formal Principles: Which Route to Take?

PubMed Central

Schalk, Lennart; Saalbach, Henrik; Stern, Elsbeth

2016-01-01

Enabling learners to transfer knowledge about formal principles to new problems is a major aim of science and mathematics education, which, however, is notoriously difficult to reach. Previous research advocates different approaches of how to introduce principles to foster the transfer of knowledge about formal principles. One approach suggests teaching a generic formalism of the principles. Another approach suggests presenting (at least) two concrete cases instantiating the principle. A third approach suggests presenting a generic formalism accompanied by a case. As yet, though, empirical results regarding the transfer potential of these approaches are mixed and difficult to integrate as the three approaches have rarely been tested competitively. Furthermore, the approaches have been evaluated in relation to different control conditions, and they have been assessed using varying transfer measures. In the present experiment, we introduced undergraduates to the formal principles of propositional logic with the aim to systematically compare the transfer potential of the different approaches in relation to each other and to a common control condition by using various learning and transfer tasks. Results indicate that all approaches supported successful learning and transfer of the principles, but also caused systematic differences in the magnitude of transfer. Results indicate that the combination of a generic formalism with a case was surprisingly unsuccessful while learners who compared two cases outperformed the control condition. We discuss how the simultaneous assessment of the different approaches allows to more precisely capture the underlying learning mechanisms and to advance theory on how these mechanisms contribute to transfer performance. PMID:26871902

ADad 8: School Phobia and Anxiety Disorders among adolescents in a rural community population in India.

PubMed

Nair, M K C; Russell, Paul Swamidhas Sudhakar; Subramaniam, Vinod Shanmukham; Nazeema, Suma; Chembagam, Neethu; Russell, Sushila; Shankar, Satya Raj; Jakati, Praveen Kumar; Charles, Helen

2013-11-01

School Phobia (SP), although is not a formal psychiatric diagnosis, is widely prevalent debilitating phenomenon with a gamut of underlying psychiatric conditions in an overwhelming majority of cases. This study documents the prevalence, symptom presentation and the relationship between the various subtypes of Anxiety Disorders (AD) and School Phobia. In a prospective community survey of 500 adolescents, independent raters administered the Screen for Child Anxiety Related Emotional Disorders and Schedule for Affective Disorders and Schizophrenia for School-Age Children/Present and Lifetime to identify SP and subtype of AD respectively. Descriptive statistics for the prevalence and symptom presentation, Spearman's Correlation test, Independent t tests, on-way ANOVA and Chi-square tests were done to compare the prevalence and severity of School Phobia among various age groups and gender. Univariate and multivariate analyses were done for documenting the relationship between the School Phobia and Anxiety Disorders. School Phobia was noted in 4.8% of adolescents. Although age was related to SP, gender, school grade the adolescent was attending and family structure were not related to SP. Somatic symptoms were more often noted than cognitive-emotional symptoms among adolescents with SP. Panic Disorder (OR = 8.62), Social Anxiety Disorder (OR = 8.63), and Separation Anxiety Disorder (OR = 6.26), were significantly related to SP. School Phobia is noted in a significant proportion of adolescents in the community. Anxiety Disorder is a major underlying factor resulting in SP. Community and clinical intervention and service models should include anxiety alleviation methods in adolescents with School Phobia.

Applications of square-related theorems

NASA Astrophysics Data System (ADS)

Srinivasan, V. K.

2014-04-01

The square centre of a given square is the point of intersection of its two diagonals. When two squares of different side lengths share the same square centre, there are in general four diagonals that go through the same square centre. The Two Squares Theorem developed in this paper summarizes some nice theoretical conclusions that can be obtained when two squares of different side lengths share the same square centre. These results provide the theoretical basis for two of the constructions given in the book of H.S. Hall and F.H. Stevens , 'A Shorter School Geometry, Part 1, Metric Edition'. In page 134 of this book, the authors present, in exercise 4, a practical construction which leads to a verification of the Pythagorean theorem. Subsequently in Theorems 29 and 30, the authors present the standard proofs of the Pythagorean theorem and its converse. In page 140, the authors present, in exercise 15, what amounts to a geometric construction, whose verification involves a simple algebraic identity. Both the constructions are of great importance and can be replicated by using the standard equipment provided in a 'geometry toolbox' carried by students in high schools. The author hopes that the results proved in this paper, in conjunction with the two constructions from the above-mentioned book, would provide high school students an appreciation of the celebrated theorem of Pythagoras. The diagrams that accompany this document are based on the free software GeoGebra. The author formally acknowledges his indebtedness to the creators of this free software at the end of this document.

Electronic Medical Record Documentation of Driving Safety for Veterans with Diagnosed Dementia.

PubMed

Vair, Christina L; King, Paul R; Gass, Julie; Eaker, April; Kusche, Anna; Wray, Laura O

2018-01-01

Many older adults continue to drive following dementia diagnosis, with medical providers increasingly likely to be involved in addressing such safety concerns. This study examined electronic medical record (EMR) documentation of driving safety for veterans with dementia (N = 118) seen in Veterans Affairs primary care and interdisciplinary geriatrics clinics in one geographic region over a 10-year period. Qualitative directed content analysis of retrospective EMR data. Assessment of known risk factors or subjective concerns for unsafe driving were documented in fewer than half of observed cases; specific recommendations for driving safety were evident for a minority of patients, with formal driving evaluation the most frequently documented recommendation by providers. Utilizing data from actual clinical encounters provides a unique snapshot of how driving risk and safety concerns are addressed for veterans with dementia. This information provides a meaningful frame of reference for understanding potential strengths and possible gaps in how this important topic area is being addressed in the course of clinical care. The EMR is an important forum for interprofessional communication, with documentation of driving risk and safety concerns an essential element for continuity of care and ensuring consistency of information delivered to patients and caregivers.

Granular statistical mechanics - Building on the legacy of Sir Sam Edwards

NASA Astrophysics Data System (ADS)

Blumenfeld, Raphael

When Sir Sam Edwards laid down the foundations for the statistical mechanics of jammed granular materials he opened a new field in soft condensed matter and many followed. In this presentation we review briefly the Edwards formalism and some of its less discussed consequences. We point out that the formalism is useful for other classes of systems - cellular and porous materials. A certain shortcoming of the original formalism is then discussed and a modification to overcome it is proposed. Finally, a derivation of an equation of state with the new formalism is presented; the equation of state is analogous to the PVT relation for thermal gases, relating the volume, the boundary stress and measures of the structural and stress fluctuations. NUDT, Changsha, China, Imperial College London, UK, Cambridge University, UK.

Guidelines for the Treatment of Hypothyroidism: Prepared by the American Thyroid Association Task Force on Thyroid Hormone Replacement

PubMed Central

Bianco, Antonio C.; Bauer, Andrew J.; Burman, Kenneth D.; Cappola, Anne R.; Celi, Francesco S.; Cooper, David S.; Kim, Brian W.; Peeters, Robin P.; Rosenthal, M. Sara; Sawka, Anna M.

2014-01-01

Background: A number of recent advances in our understanding of thyroid physiology may shed light on why some patients feel unwell while taking levothyroxine monotherapy. The purpose of this task force was to review the goals of levothyroxine therapy, the optimal prescription of conventional levothyroxine therapy, the sources of dissatisfaction with levothyroxine therapy, the evidence on treatment alternatives, and the relevant knowledge gaps. We wished to determine whether there are sufficient new data generated by well-designed studies to provide reason to pursue such therapies and change the current standard of care. This document is intended to inform clinical decision-making on thyroid hormone replacement therapy; it is not a replacement for individualized clinical judgment. Methods: Task force members identified 24 questions relevant to the treatment of hypothyroidism. The clinical literature relating to each question was then reviewed. Clinical reviews were supplemented, when relevant, with related mechanistic and bench research literature reviews, performed by our team of translational scientists. Ethics reviews were provided, when relevant, by a bioethicist. The responses to questions were formatted, when possible, in the form of a formal clinical recommendation statement. When responses were not suitable for a formal clinical recommendation, a summary response statement without a formal clinical recommendation was developed. For clinical recommendations, the supporting evidence was appraised, and the strength of each clinical recommendation was assessed, using the American College of Physicians system. The final document was organized so that each topic is introduced with a question, followed by a formal clinical recommendation. Stakeholder input was received at a national meeting, with some subsequent refinement of the clinical questions addressed in the document. Consensus was achieved for all recommendations by the task force. Results: We reviewed the following therapeutic categories: (i) levothyroxine therapy, (ii) non–levothyroxine-based thyroid hormone therapies, and (iii) use of thyroid hormone analogs. The second category included thyroid extracts, synthetic combination therapy, triiodothyronine therapy, and compounded thyroid hormones. Conclusions: We concluded that levothyroxine should remain the standard of care for treating hypothyroidism. We found no consistently strong evidence for the superiority of alternative preparations (e.g., levothyroxine–liothyronine combination therapy, or thyroid extract therapy, or others) over monotherapy with levothyroxine, in improving health outcomes. Some examples of future research needs include the development of superior biomarkers of euthyroidism to supplement thyrotropin measurements, mechanistic research on serum triiodothyronine levels (including effects of age and disease status, relationship with tissue concentrations, as well as potential therapeutic targeting), and long-term outcome clinical trials testing combination therapy or thyroid extracts (including subgroup effects). Additional research is also needed to develop thyroid hormone analogs with a favorable benefit to risk profile. PMID:25266247