Sample records for program abstracts

  1. Youth Studies Abstracts. Vol. 4 No. 3.

    ERIC Educational Resources Information Center

    Youth Studies Abstracts, 1985

    1985-01-01

    This volume contains 169 abstracts of documents dealing with youth and educational programs for youth. Included in the volume are 97 abstracts of documents dealing with social and educational developments; 56 abstracts of program reports, reviews, and evaluations; and 16 abstracts of program materials. Abstracts are grouped according to the…

  2. Title I, Higher Education Act Program Abstracts.

    ERIC Educational Resources Information Center

    Miller, Lorna M., Ed.

    The 1979 edition of the Title I, Higher Education Act Program Abstracts is presented. Directed toward state Title I, HEA administrators, the program abstracts are made available in order to encourage nationwide program replication of those tested and evaluated programs that have been conducted with Title I support by institutions of higher…

  3. Ecological Research Division Theoretical Ecology Program. [Contains abstracts

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

    Not Available

    1990-10-01

    This report presents the goals of the Theoretical Ecology Program and abstracts of research in progress. Abstracts cover both theoretical research that began as part of the terrestrial ecology core program and new projects funded by the theoretical program begun in 1988. Projects have been clustered into four major categories: Ecosystem dynamics; landscape/scaling dynamics; population dynamics; and experiment/sample design.

  4. Innovations in Teaching 1973. Abstracts of the Hilroy Fellowship Program.

    ERIC Educational Resources Information Center

    Canadian Teachers' Federation, Ottawa (Ontario).

    This booklet contains abstracts of projects undertaken through the Hilroy Fellowship Program in Canada for the year 1973. The stated aim of the program is to encourage and reward classroom teachers who are developing new ideas for the improvement of teaching practices. The booklet contains 22 abstracts which cover projects dealing with educational…

  5. Foundations of the Bandera Abstraction Tools

    NASA Technical Reports Server (NTRS)

    Hatcliff, John; Dwyer, Matthew B.; Pasareanu, Corina S.; Robby

    2003-01-01

    Current research is demonstrating that model-checking and other forms of automated finite-state verification can be effective for checking properties of software systems. Due to the exponential costs associated with model-checking, multiple forms of abstraction are often necessary to obtain system models that are tractable for automated checking. The Bandera Tool Set provides multiple forms of automated support for compiling concurrent Java software systems to models that can be supplied to several different model-checking tools. In this paper, we describe the foundations of Bandera's data abstraction mechanism which is used to reduce the cardinality (and the program's state-space) of data domains in software to be model-checked. From a technical standpoint, the form of data abstraction used in Bandera is simple, and it is based on classical presentations of abstract interpretation. We describe the mechanisms that Bandera provides for declaring abstractions, for attaching abstractions to programs, and for generating abstracted programs and properties. The contributions of this work are the design and implementation of various forms of tool support required for effective application of data abstraction to software components written in a programming language like Java which has a rich set of linguistic features.

  6. 6th international conference on biophysics and synchrotron radiation. Program/Abstracts

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

    Pittroff, Connie; Strasser, Susan Barr

    1999-08-03

    This STI product consists of the Program/Abstracts book that was prepared for the participants in the Sixth International Conference on Biophysics and Synchrotron Radiation that was held August 4-8, 1998, at the Advanced Photon Source, Argonne National Laboratory. This book contains the full conference program and abstracts of the scientific presentations.

  7. Apparatuses and Methods for Producing Runtime Architectures of Computer Program Modules

    NASA Technical Reports Server (NTRS)

    Abi-Antoun, Marwan Elia (Inventor); Aldrich, Jonathan Erik (Inventor)

    2013-01-01

    Apparatuses and methods for producing run-time architectures of computer program modules. One embodiment includes creating an abstract graph from the computer program module and from containment information corresponding to the computer program module, wherein the abstract graph has nodes including types and objects, and wherein the abstract graph relates an object to a type, and wherein for a specific object the abstract graph relates the specific object to a type containing the specific object; and creating a runtime graph from the abstract graph, wherein the runtime graph is a representation of the true runtime object graph, wherein the runtime graph represents containment information such that, for a specific object, the runtime graph relates the specific object to another object that contains the specific object.

  8. International symposium on in vivo body composition studies: Program and abstracts

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

    Not Available

    1986-01-01

    This booklet contains the program and individual abstracts for papers presented at the International symposium on in vivo body composition studies. The presentations were divided into five sessions. Individual abstracts were indexed for the Energy Data Base. (DT)

  9. National Workplace Literacy Program. 1993 Abstracts.

    ERIC Educational Resources Information Center

    Office of Vocational and Adult Education (ED), Washington, DC. National Workplace Literacy Program.

    This publication presents the abstracts of the 57 National Workplace Literacy Program 1993 projects. Each abstract provides the following information: project title; award number; project director; awardee; address; telephone and fax numbers; funds by fiscal year (federal and nonfederal); award period; federal project officer; objectives;…

  10. Automated Data Abstraction of Cardiopulmonary Resuscitation Process Measures for Complete Episodes of Cardiac Arrest Resuscitation.

    PubMed

    Lin, Steve; Turgulov, Anuar; Taher, Ahmed; Buick, Jason E; Byers, Adam; Drennan, Ian R; Hu, Samantha; J Morrison, Laurie

    2016-10-01

    Cardiopulmonary resuscitation (CPR) process measures research and quality assurance has traditionally been limited to the first 5 minutes of resuscitation due to significant costs in time, resources, and personnel from manual data abstraction. CPR performance may change over time during prolonged resuscitations, which represents a significant knowledge gap. Moreover, currently available commercial software output of CPR process measures are difficult to analyze. The objective was to develop and validate a software program to help automate the abstraction and transfer of CPR process measures data from electronic defibrillators for complete episodes of cardiac arrest resuscitation. We developed a software program to facilitate and help automate CPR data abstraction and transfer from electronic defibrillators for entire resuscitation episodes. Using an intermediary Extensible Markup Language export file, the automated software transfers CPR process measures data (electrocardiogram [ECG] number, CPR start time, number of ventilations, number of chest compressions, compression rate per minute, compression depth per minute, compression fraction, and end-tidal CO 2 per minute). We performed an internal validation of the software program on 50 randomly selected cardiac arrest cases with resuscitation durations between 15 and 60 minutes. CPR process measures were manually abstracted and transferred independently by two trained data abstractors and by the automated software program, followed by manual interpretation of raw ECG tracings, treatment interventions, and patient events. Error rates and the time needed for data abstraction, transfer, and interpretation were measured for both manual and automated methods, compared to an additional independent reviewer. A total of 9,826 data points were each abstracted by the two abstractors and by the software program. Manual data abstraction resulted in a total of six errors (0.06%) compared to zero errors by the software program. The mean ± SD time measured per case for manual data abstraction was 20.3 ± 2.7 minutes compared to 5.3 ± 1.4 minutes using the software program (p = 0.003). We developed and validated an automated software program that efficiently abstracts and transfers CPR process measures data from electronic defibrillators for complete cardiac arrest episodes. This software will enable future cardiac arrest studies and quality assurance programs to evaluate the impact of CPR process measures during prolonged resuscitations. © 2016 by the Society for Academic Emergency Medicine.

  11. Bilingual/Bicultural Education: Titles and Abstracts of Doctoral Dissertations, Volume II.

    ERIC Educational Resources Information Center

    California State Univ., Los Angeles. Evaluation, Dissemination and Assessment Center.

    This collection of dissertation abstracts on the subjects of bilingual and bicultural education originally published by "Dissertation Abstracts International" contains items in the following areas: bilingual education program management, assessment, language, curriculum, and the affective domain. The section on program management covers scope,…

  12. Graduate Studies in Education. Volume 1, Number 3.

    ERIC Educational Resources Information Center

    Courtney, E. Wayne, Comp.; Heineke, William F., Comp.

    As one part of a volume of abstracts of studies of the last decade primarily in the vocational and technical field, this report includes 213 abstracts in the categories of administration, curriculum, and evaluation. Abstracts in administration treat building programs, certification and qualification requirements, cooperative programs, cost…

  13. Designing Studies of Extension Program Results: A Resource for Program Leaders and Specialists. Volume II--Abstracts.

    ERIC Educational Resources Information Center

    Rivera, William M., Ed.; And Others

    These abstracts of 42 studies of extension program results, which make up the second volume of a two-volume resource, are intended to advise state administrative program leaders and others with program evaluation responsibilities of how to design studies of cooperative extension programs. Designed to support volume I, which refers to these…

  14. Defense Small Business Innovation Research Program (SBIR). Volume 4. Defense Agencies Abstracts of Phase 1 Awards. 1990

    DTIC Science & Technology

    1990-01-01

    RI 02871 Program Manager: T. DEEGAN Contract #: Title: LF DETECTION OF AIRCRAFT Topic #: DARPA90-049 Office: ID #: 50506 TECHNICAL ABSTRACT - COMBAT...INNOVATION RESEARCH PROGRAM - PHASE I SDIO Solicitation 90.1 TORRANCE, CA 90505 Program Manager: JAMES E CRAIG Contract #: Title: NONINTRUSIVE OPTICAL

  15. Overview of the biomedical and environmental programs at the Oak Ridge National Laboratory. [Lead abstract

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

    Pfuderer, H.A.; Moody, J.B.

    Separate abstracts were prepared for each of the 6 chapters presented by the six divisions involved in the Biomedical and Environmental Sciences Program at Oak Ridge National Laboratory. The introduction is not covered by an abstract and deals with the environmental, health and safety considerations of energy technology decisions, the major initiatives now being taken by these 6 divisions, and recent major accomplishments in the biomedical and environmental science program. (KRM)

  16. Data Abstraction in GLISP.

    ERIC Educational Resources Information Center

    Novak, Gordon S., Jr.

    GLISP is a high-level computer language (based on Lisp and including Lisp as a sublanguage) which is compiled into Lisp. GLISP programs are compiled relative to a knowledge base of object descriptions, a form of abstract datatypes. A primary goal of the use of abstract datatypes in GLISP is to allow program code to be written in terms of objects,…

  17. Abstracts of State Legislated Hospital Cost-Containment Programs

    PubMed Central

    Esposito, Alfonso; Hupfer, Michael; Mason, Cynthia; Rogler, Diane

    1982-01-01

    This report summarizes State legislated efforts to control rising hospital costs and the status of these efforts in May 1982. The abstract for each of 17 State programs summarizes key legislative features and operating aspects. The States included in this report are: Arizona, California, Connecticut, Florida, Illinois, Maine, Maryland, Massachusetts, Minnesota, New Jersey, New York, Oregon, Rhode Island, Virginia, Washington, West Virginia, and Wisconsin. The abstracts focus on programs requiring the disclosure, review, or legislation of hospital rates and budgets. PMID:10309910

  18. Reports of accomplishments of planetology programs, 1975 - 1976

    NASA Technical Reports Server (NTRS)

    1976-01-01

    Abstracts of reports which summarize work conducted by Planetology Program Principal Investigators are presented. Full reports of selected abstracts were presented to the annual meeting of Planetology Program Principal Investigators at the Center for Astrogeology, U.S. Geological Survey, Flagstaff, Arizona, March 8, 9, 19, 1976.

  19. Generalized Abstract Symbolic Summaries

    NASA Technical Reports Server (NTRS)

    Person, Suzette; Dwyer, Matthew B.

    2009-01-01

    Current techniques for validating and verifying program changes often consider the entire program, even for small changes, leading to enormous V&V costs over a program s lifetime. This is due, in large part, to the use of syntactic program techniques which are necessarily imprecise. Building on recent advances in symbolic execution of heap manipulating programs, in this paper, we develop techniques for performing abstract semantic differencing of program behaviors that offer the potential for improved precision.

  20. Energy and Environment Division annual report, 1978

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

    Camp, J.A.

    1978-01-01

    Research activities of this Division are reported under nine separate programs, namely: Energy Analysis; Solar Energy; Energy-Efficient Buildings; Chemical Process Research and Development; Environmental Research; Atmospheric Aerosol Research; Oil Shale Research; Instrumentation Development; and Combustion Research. A separate abstract was prepared for each of the nine programs, each of which contained several individual research summaries, with responsible researchers listed. All of the abstracts will appear in Energy Research Abstracts (ERA), and five will appear in Energy Abstracts for Policy Analysis (EAPA).

  1. Presentations - Delaney, P.R. and others, 2008 | Alaska Division of

    Science.gov Websites

    , northeastern Alaska (poster): AAPG Abstracts with Programs, San Antonio, Texas Authors: Delaney, P.R., Loveland thrust belt, Kavik River area, northeastern Alaska (poster): AAPG Abstracts with Programs, San Antonio

  2. Developing Computer Programming Concepts and Skills via Technology-Enriched Language-Art Projects: A Case Study

    ERIC Educational Resources Information Center

    Lee, Young-Jin

    2010-01-01

    Teaching computer programming to young children has been considered difficult because of its abstract and complex nature. The objectives of this study are (1) to investigate whether an innovative educational technology tool called Scratch could enable young children to learn abstract knowledge of computer programming while creating multimedia…

  3. Real Estate: Homeowners Assistance Program

    DTIC Science & Technology

    1992-06-12

    Army Regulation 405–16 Real Estate Homeowners Assistance Program Headquarters Department of the Army Washington, DC 12 June 1992 UNCLASSIFIED Report...Classification of Abstract unclassified Limitation of Abstract UU Number of Pages 23 SUMMARY of CHANGE AR 405–16 Homeowners Assistance Program This...properties acquired under the Homeowners Assistance Program (HAP) (para 7). o Delegates to Chief of Engineers, with the power to redelegate, execution of deeds

  4. Abstracts of contributed papers

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

    Not Available

    1994-08-01

    This volume contains 571 abstracts of contributed papers to be presented during the Twelfth US National Congress of Applied Mechanics. Abstracts are arranged in the order in which they fall in the program -- the main sessions are listed chronologically in the Table of Contents. The Author Index is in alphabetical order and lists each paper number (matching the schedule in the Final Program) with its corresponding page number in the book.

  5. ARI Basic Research Program FY 1999-2000

    DTIC Science & Technology

    1999-06-01

    visual cues, reinforcement, and instruction concerning abstract , general rules. In our future research, we plan to examine the learning of novel...Watch, • Graduate student apprenticeship program - Consortium Research Fellows Program- with the Consortium of Metropolitan Washington Universities...do learn complex rules involving different levels of abstraction when given sufficient specific examples but that they also benefit from explicit

  6. Reading Instruction: Preschool and Elementary: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," October through December 1977 (Vol. 38 Nos. 4 through 6).

    ERIC Educational Resources Information Center

    ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.

    This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 19 titles deal with a variety of topics, including the following: the effects on self concept and reading achievement of an art program and an activity-based reading program; children's selection of trade books; two approaches…

  7. Teacher Characteristics and Teacher Education in Reading and English Language Arts Instruction: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," July through December 1982 (Vol. 43 Nos. 1 through 6).

    ERIC Educational Resources Information Center

    ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.

    This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 12 titles deal with the following topics: (1) the knowledge and skills of elementary school principals relevant to the development of reading programs; (2) the effects of a communication skills training program for elementary…

  8. From print to digital (1985-2015): APA's evolving role in psychological publishing.

    PubMed

    VandenBos, Gary R

    2017-11-01

    Knowledge dissemination plays an important role in all scientific fields. The American Psychological Association's (APA) journal publication program was established in 1927. During the 1960s, the Psychological Abstracts publication was computerized. In the mid-1980s, a reenergizing of APA Publishing began, with the establishment of the APA Books Program, as well as the movement of abstracts to CD-ROMs. This article describes the 30-year program of expansion of APA Publishing, covering the period from 1985 through 2015. This period saw the journals program grow from 15 journals to 89 journals, the abstract program grow into an Internet-based delivery system, the creation of the APA's own PsycNET delivery platform, the creation of 6 addition databases, and the establishment of dictionaries and handbooks of psychology. (PsycINFO Database Record (c) 2017 APA, all rights reserved).

  9. ABSTRACTS OF RESEARCH REPORTS.

    DTIC Science & Technology

    DENTISTRY, ABSTRACTS), TEETH, DISEASES, MOUTH, TRANSPLANTATION, HYGIENE, STERILIZATION, FLUORIDES, HISTOLOGY, SURGICAL IMPLANTATION, OXYTETRACYCLINE , GELATINS, CELLULOSE, CASTING, PROGRAMMED INSTRUCTION, TRAINING DEVICES

  10. Programming languages for circuit design.

    PubMed

    Pedersen, Michael; Yordanov, Boyan

    2015-01-01

    This chapter provides an overview of a programming language for Genetic Engineering of Cells (GEC). A GEC program specifies a genetic circuit at a high level of abstraction through constraints on otherwise unspecified DNA parts. The GEC compiler then selects parts which satisfy the constraints from a given parts database. GEC further provides more conventional programming language constructs for abstraction, e.g., through modularity. The GEC language and compiler is available through a Web tool which also provides functionality, e.g., for simulation of designed circuits.

  11. Selected abstracts on aviation weather hazard research

    DOT National Transportation Integrated Search

    1996-01-01

    This paper consists of bibliographic information and abstracts for literature on the topics of weather-related aviation hazards. These abstracts were selected from reports written for the ASR-9, ITWS, TDWR programs, sponsored by the Federal Aviation ...

  12. Alternate Learning Center. Abstracts of Inservice Training Programs.

    ERIC Educational Resources Information Center

    Rhode Island State Dept. of Education, Providence. Div. of Development and Operations.

    This booklet is a collection of abstracts describing the 18 programs offered at the Alternate Learning Center of the Rhode Island Teacher Center which has as its Primary function school based inservice training for local teachers and administrators. Each project is described in detail, including course goals, specific objectives, training…

  13. Comprehensive School Health Education National Programs. Abstracts of the 1989 Awards and Key Contact Directory. Presented at the National Conference (1st, December 10-12, Washington, D.C., 1989).

    ERIC Educational Resources Information Center

    Musick, Cindy, Ed.

    This collection of abstracts describes in broad terms the scope and objectives of the 1989 Fund for the Improvement and Reform of Schools and Teaching (FIRST) Program in Comprehensive School Health Education and includes names and addresses of recipients. Key groups conducting these innovative programs include five state agencies, seven…

  14. Implementation of a hospital-based quality assessment program for rectal cancer.

    PubMed

    Hendren, Samantha; McKeown, Ellen; Morris, Arden M; Wong, Sandra L; Oerline, Mary; Poe, Lyndia; Campbell, Darrell A; Birkmeyer, Nancy J

    2014-05-01

    Quality improvement programs in Europe have had a markedly beneficial effect on the processes and outcomes of rectal cancer care. The quality of rectal cancer care in the United States is not as well understood, and scalable quality improvement programs have not been developed. The purpose of this article is to describe the implementation of a hospital-based quality assessment program for rectal cancer, targeting both community and academic hospitals. We recruited 10 hospitals from a surgical quality improvement organization. Nurse reviewers were trained to abstract rectal cancer data from hospital medical records, and abstracts were assessed for accuracy. We conducted two surveys to assess the training program and limitations of the data abstraction. We validated data completeness and accuracy by comparing hospital medical record and tumor registry data. Nine of 10 hospitals successfully performed abstractions with ≥ 90% accuracy. Experienced nurse reviewers were challenged by the technical details in operative and pathology reports. Although most variables had less than 10% missing data, outpatient testing information was lacking from some hospitals' inpatient records. This implementation project yielded a final quality assessment program consisting of 20 medical records variables and 11 tumor registry variables. An innovative program linking tumor registry data to quality-improvement data for rectal cancer quality assessment was successfully implemented in 10 hospitals. This data platform and training program can serve as a template for other organizations that are interested in assessing and improving the quality of rectal cancer care. Copyright © 2014 by American Society of Clinical Oncology.

  15. Management, Planning, and Monitoring Population Education Programmes. Abstract-Bibliography Series 8.

    ERIC Educational Resources Information Center

    United Nations Educational, Scientific, and Cultural Organization, Bangkok (Thailand). Regional Office for Education in Asia and the Pacific.

    This document abstracts and reviews 32 publications that describe population education programs developed for Asia and the Pacific region. The documents are grouped under three sections: (1) management; (2) planning; and (3) monitoring/evaluation. Section 1 consists of 12 selected titles that deal with management of population education programs.…

  16. Evaluation Report: ESEA Program of Compensatory Education (Including Abstract and Appendix).

    ERIC Educational Resources Information Center

    Badal, Alden W.

    This document is an evaluation of 1967-68 compensatory education programs in Oakland, California, funded by the Elementary and Secondary Education Act, Title I. It consists of three parts: (1) the evaluation report; (2) an appendix containing tables, questionnaire summaries, sample forms, etc.; and (3) an abstract of the total document. Reported…

  17. Energy Conservation: Policies, Programs, and General Studies. 1979-July, 1980 (Citations from the NTIS Data Base).

    ERIC Educational Resources Information Center

    Hundemann, Audrey S.

    The 135 abstracts presented pertain to national policies, programs, and general strategies for conserving energy. In addition to the abstract, each citation lists the title, author, sponsoring agency, subject categories, number of pages, date, descriptors, identifiers, and ordering information for each document. Topics covered in this compilation…

  18. Fast ion transport in solids: electrolytes and electrodes. Program and abstracts. [Lake Geneva, Wisconsin, May 21-25, 1979

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

    None

    1979-01-01

    Abstracts for the 47 invited papers and 111 contributed papers (presented in poster sessions) are given in this publication, along with the program schedule. Papers deal with both basic research and applications, the most important of the latter being electric batteries. (RWR)

  19. The Abstraction-First Approach to Data Abstraction and Algorithms.

    ERIC Educational Resources Information Center

    Machanick, Philip

    1998-01-01

    Based on a computer-science course, this article outlines an alternative ordering of programming concepts that aims to develop a reuse habit before other styles of programming are developed. Although the discussion is based on transition from Modula-2 to C++, the issues raised apply to transition from any procedural to any object-oriented…

  20. Abstract-Reasoning Software for Coordinating Multiple Agents

    NASA Technical Reports Server (NTRS)

    Clement, Bradley; Barrett, Anthony; Rabideau, Gregg; Knight, Russell

    2003-01-01

    A computer program for scheduling the activities of multiple agents that share limited resources has been incorporated into the Automated Scheduling and Planning Environment (ASPEN) software system, aspects of which have been reported in several previous NASA Tech Briefs articles. In the original intended application, the agents would be multiple spacecraft and/or robotic vehicles engaged in scientific exploration of distant planets. The program could also be used on Earth in such diverse settings as production lines and military maneuvers. This program includes a planning/scheduling subprogram of the iterative repair type that reasons about the activities of multiple agents at abstract levels in order to greatly improve the scheduling of their use of shared resources. The program summarizes the information about the constraints on, and resource requirements of, abstract activities on the basis of the constraints and requirements that pertain to their potential refinements (decomposition into less-abstract and ultimately to primitive activities). The advantage of reasoning about summary information is that time needed to find consistent schedules is exponentially smaller than the time that would be needed for reasoning about the same tasks at the primitive level.

  1. Understanding and Evolving the ML Module System

    DTIC Science & Technology

    2005-05-01

    kinds Abstract The ML module system stands as a high-water mark of programming language support for data abstraction. Nevertheless, it is not in a... language of part (3) using the framework of Harper and Stone, in which the meanings of “external” ML programs are interpreted by translation into an...researcher has been influenced to a large degree by their rigorous approach to programming language research and their profound sense of aesthetics. I

  2. Interplanetary Small Satellite Conference 2017 Program

    NASA Technical Reports Server (NTRS)

    Dalle, Derek Jordan

    2017-01-01

    The Interplanetary Small Satellite Conference will be held at San Jose State University on May 1 and 2, 2017. The program attached here contains logistical information for attendees, the agenda, and abstracts of the conference presentations. All abstracts were reviewed by their authors' home institute and approved for public release prior to inclusion in the program booklet. The ISSC explores mission concepts, emerging technologies, and fosters outside the box thinking critical to future interplanetary small satellite missions.

  3. Program and Abstracts of the Society for Research on Biological Rhythms (2nd) Held in Jacksonville, Florida on 9-13 May 1990

    DTIC Science & Technology

    1991-07-15

    4 Tram Schedule ................................................. 5 Amelia Island.................................................. 6 Program... Schedule .................................................. 7 Scientific Program.................................................. 8 Abstracts...and 5 4 -4- TRAM SCHEDULE 6" I Th)e Ameha Isand Tra-s 5 1 p taior, around teP I da-ly basis f~cn 6 1 5 a -MARSHSIDE Ia m Tra-T Stc-,S a’e -.E TRAM I

  4. First Author Research Productivity of United States Radiation Oncology Residents: 2002-2007

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

    Morgan, Peter B.; Sopka, Dennis M.; Kathpal, Madeera

    2009-08-01

    Purpose: Participation in investigative research is a required element of radiation oncology residency in the United States. Our purpose was to quantify the first author research productivity of recent U.S. radiation oncology residents during their residency training. Methods and Materials: We performed a computer-based search of PubMed and a manual review of the proceedings of the annual meetings of the American Society for Therapeutic Radiology and Oncology to identify all publications and presented abstracts with a radiation oncology resident as the first author between 2002 and 2007. Results: Of 1,098 residents trained at 81 programs, 50% published {>=}1 article (range,more » 0-9), and 53% presented {>=}1 abstract (range, 0-3) at an American Society for Therapeutic Radiology and Oncology annual meeting. The national average was 1.01 articles published and 1.09 abstracts presented per resident during 4 years of training. Of 678 articles published, 82% represented original research and 18% were review articles. Residents contributed 15% of all abstracts at American Society for Therapeutic Radiology and Oncology annual meetings, and the resident contribution to orally presented abstracts increased from 12% to 21% during the study period. Individuals training at programs with >6 residents produced roughly twice as many articles and abstracts. Holman Research Pathway residents produced double the national average of articles and abstracts. Conclusion: Although variability exists among individuals and among training programs, U.S. radiation oncology residents routinely participate in investigative research suitable for publication or presentation at a scientific meeting. These data provide national research benchmarks that can assist current and future radiation oncology residents and training programs in their self-assessment and research planning.« less

  5. Reports of planetary geology program, 1976 - 1977. [abstracts

    NASA Technical Reports Server (NTRS)

    Arvidson, R. (Compiler); Wahmann, R. (Compiler); Howard, J. H., III

    1977-01-01

    One hundred seventeen investigations undertaken in the NASA Planetary Geology Program in 1976-1977 are reported in abstract form. Topics discussed include solar system formation; planetary interiors; planetary evolution; asteroids, comets and moons; cratering; volcanic, eolian, fluvial and mass wasting processes; volatiles and the Martian regolith; mapping; and instrument development and techniques. An author index is provided.

  6. Leading Contributors to the Research Consortium's Annual Program, 1992-2011: High-Visibility Institutions, Researchers, and Topics

    ERIC Educational Resources Information Center

    Cardinal, Bradley J.; Lee, Hyo

    2013-01-01

    Between 1992-2011, peer-reviewed research on the Research Consortium's annual program has been published in abstract form in the "Research Quarterly for Exercise and Sport". On the basis of frequency, high-visibility institutions, researchers, and sub-disciplinary categories were identified. Data were extracted from each abstract (N =…

  7. Abstracts of Research, July 1973 through June 1974.

    ERIC Educational Resources Information Center

    Ohio State Univ., Columbus. Computer and Information Science Research Center.

    Abstracts of research papers in the fields of computer and information science are given; 72 papers are abstracted in the areas of information storage and retrieval, information processing, linguistic analysis, artificial intelligence, mathematical techniques, systems programing, and computer networks. In addition, the Ohio State University…

  8. Meeting Abstracts - AMCP Managed Care & Specialty Pharmacy Annual Meeting 2018.

    PubMed

    2018-04-01

    The AMCP Managed Care & Specialty Pharmacy Annual Meeting 2018 in Boston, Massachusetts, is expected to attract more than 3,800 managed care pharmacists and other health care professionals who manage and evaluate drug therapies, develop and manage networks, and work with medical managers and information specialists to improve the care of all individuals enrolled in managed care programs. The AMCP Abstracts program provides a forum through which authors can share their insights and outcomes of advanced managed care practice. Abstracts are presented as posters on Wednesday, April 25, from 12:30 pm to 2:30 pm. Posters will also be displayed on Tuesday, April 24, from 5:45 pm to 7:30 pm, and on Thursday, April 26, from 9:30 am to 11:00 am. Podium presentations for the Platinum award-winning abstracts are Thursday, April 26, from 8:00 am to 9:15 am. Professional abstracts that have been reviewed are published in the Journal of Managed Care & Specialty Pharmacy's Meeting Abstracts supplement.

  9. The effects of in-service education to promote emergent literacy in child care centers: a feasibility study.

    PubMed

    Girolametto, Luigi; Weitzman, Elaine; Lefebvre, Pascal; Greenberg, Janice

    2007-01-01

    The purpose of this study was to determine the feasibility of a 2-day in-service education program for (a) promoting the use of two emergent literacy strategies by early childhood educators and (b) increasing children's responses to these strategies. Sixteen early childhood educators were randomly assigned to an experimental and a control group. The experimental in-service program sought to increase educators' use of abstract utterances and print references. Educators were videotaped with small groups of preschoolers during storybook reading and a post-story craft activity. Pretest and posttest videotapes were coded to yield rates of abstract language, verbal print references, and children's responses. In comparison to the control group, educators in the experimental program used more abstract utterances that elicited talk about emotions and children's past experiences during storybook reading. They also used significantly more print references during a post-story craft activity. In addition, children in the experimental group responded more often with appropriate responses to abstract utterances and print references in comparison to children in the control group. A 2-day in-service education program resulted in short-term behavioral changes in educators' use of abstract language and print references. Suggestions for improving instruction include providing opportunities for classroom practice with feedback, modeling the use of strategies in classroom routines, and long-term mentoring of educators to promote retention of gains.

  10. What is "Object-Oriented Programming"?

    NASA Astrophysics Data System (ADS)

    Stroustrup, Bjarne

    "Object-Oriented Programming" and "Data Abstraction" have become very common terms. Unfortunately, few people agree on what they mean. I will offer informal definitions that appear to make sense in the context of languages like Ada, C++, Modula-2, Simula67, and Smalltalk. The general idea is to equate "support for data abstraction" with the ability to define and use new types and equate "support for object-oriented programming" with the ability to express type hierarchies. Features necessary to support these programming styles in a general purpose programming language will be discussed. The presentation centers around C++ but is not limited to facilities provided by that language.

  11. Connections: A Compendium of Integration Ideas. Illinois Tech Prep Innovators. 1992 Compendium. Integrative Teaching Ideas from Illinois Teachers.

    ERIC Educational Resources Information Center

    Illinois State Board of Education, Springfield. Dept. of Adult, Vocational and Technical Education.

    This report contains 51 one-page abstracts of innovative Illinois tech prep programs that integrate academic and vocational education. Each abstract includes the following: curriculum areas, grade level, types of students for whom the program is appropriate, materials needed, suggested resources, a contact person with address and telephone number,…

  12. Human genome program report. Part 2, 1996 research abstracts

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

    NONE

    This report contains Part 2 of a two-part report to reflect research and progress in the US Department of Energy Human Genome Program from 1994 through 1996, with specified updates made just before publication. Part 2 consists of 1996 research abstracts. Attention is focused on the following: sequencing; mapping; informatics; ethical, legal, and social issues; infrastructure; and small business innovation research.

  13. Human Genome Program Report. Part 2, 1996 Research Abstracts

    DOE R&D Accomplishments Database

    1997-11-01

    This report contains Part 2 of a two-part report to reflect research and progress in the US Department of Energy Human Genome Program from 1994 through 1996, with specified updates made just before publication. Part 2 consists of 1996 research abstracts. Attention is focused on the following: sequencing; mapping; informatics; ethical, legal, and social issues; infrastructure; and small business innovation research.

  14. SharP

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

    Venkata, Manjunath Gorentla; Aderholdt, William F

    The pre-exascale systems are expected to have a significant amount of hierarchical and heterogeneous on-node memory, and this trend of system architecture in extreme-scale systems is expected to continue into the exascale era. along with hierarchical-heterogeneous memory, the system typically has a high-performing network ad a compute accelerator. This system architecture is not only effective for running traditional High Performance Computing (HPC) applications (Big-Compute), but also for running data-intensive HPC applications and Big-Data applications. As a consequence, there is a growing desire to have a single system serve the needs of both Big-Compute and Big-Data applications. Though the system architecturemore » supports the convergence of the Big-Compute and Big-Data, the programming models and software layer have yet to evolve to support either hierarchical-heterogeneous memory systems or the convergence. A programming abstraction to address this problem. The programming abstraction is implemented as a software library and runs on pre-exascale and exascale systems supporting current and emerging system architecture. Using distributed data-structures as a central concept, it provides (1) a simple, usable, and portable abstraction for hierarchical-heterogeneous memory and (2) a unified programming abstraction for Big-Compute and Big-Data applications.« less

  15. Retrofitting the AutoBayes Program Synthesis System with Concrete Syntax

    NASA Technical Reports Server (NTRS)

    Fischer, Bernd; Visser, Eelco

    2004-01-01

    AutoBayes is a fully automatic, schema-based program synthesis system for statistical data analysis applications. Its core component is a schema library. i.e., a collection of generic code templates with associated applicability constraints which are instantiated in a problem-specific way during synthesis. Currently, AutoBayes is implemented in Prolog; the schemas thus use abstract syntax (i.e., Prolog terms) to formulate the templates. However, the conceptual distance between this abstract representation and the concrete syntax of the generated programs makes the schemas hard to create and maintain. In this paper we describe how AutoBayes is retrofitted with concrete syntax. We show how it is integrated into Prolog and describe how the seamless interaction of concrete syntax fragments with AutoBayes's remaining legacy meta-programming kernel based on abstract syntax is achieved. We apply the approach to gradually mitigate individual schemas without forcing a disruptive migration of the entire system to a different First experiences show that a smooth migration can be achieved. Moreover, it can result in a considerable reduction of the code size and improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments.

  16. Innovation Abstracts; Volume XIV, 1992.

    ERIC Educational Resources Information Center

    Roueche, Suanne D., Ed.

    1992-01-01

    This series of 30 one- to two-page abstracts covering 1992 highlights a variety of innovative approaches to teaching and learning in the community college. Topics covered in the abstracts include: (1) faculty recognition and orientation; (2) the Amado M. Pena, Jr., Scholarship Program; (3) innovative teaching techniques, with individual abstracts…

  17. Mercury and Air Pollution: A Bibliography With Abstracts.

    ERIC Educational Resources Information Center

    Environmental Protection Agency, Research Triangle Park, NC. Office of Air Programs.

    The Air Pollution Technical Information Center (APTIC) of the Office of Air Programs has selected and compiled this bibliography of abstracts on mercury and air pollution. The abstracted documents are considered representative of available literature, although not all-inclusive. They are grouped into eleven categories: (1) Emission Sources, (2)…

  18. Economic Education Projects: Abstracts from the 1980-81 Competition.

    ERIC Educational Resources Information Center

    Palmer, George E., Ed.

    Abstracts of innovative and imaginative economics units are provided in this annotated listing of economic education projects submitted to the 1980-81 National Awards Program for Teaching Economics. Over 200 abstracts are contained in separate sections covering materials for primary grades, intermediate grades, junior high schools, senior high…

  19. Check Sample Abstracts.

    PubMed

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

    2009-02-01

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

  20. "What's New In Camping Research?" Abstracts of the Proceedings of the American Camping Association National Convention (San Diego, California, February 27-March 3, 1984).

    ERIC Educational Resources Information Center

    Henderson, Karla A., Comp.; Bialeschki, M. Deborah, Comp.

    Twenty abstracts represent papers on: an agenda for camping research, use of alternative learning environments in an outdoor setting for emotionally disturbed children and youth, effects of specialized camping program on coronary heart disease risk factors in children, efficacy of physical activity programs for overweight pre-adults at specialized…

  1. The National Shipbuilding Reseaerch Program, Proceedings of the IREAPS Technical Symposium, Paper No. 8: Modern Ship Repair Technology Applied to Naval Vessels (The National Shipbuilding Research Program)

    DTIC Science & Technology

    1982-09-01

    ABSTRACT 15. SUBJECT TERMS 16. SECURITY CLASSIFICATION OF: 17. LIMITATION OF ABSTRACT SAR 18. NUMBER OF PAGES 20 19a. NAME OF RESPONSIBLE...progressed; and, on netowrks of a higher level. This feature enables the user to reschedule work as the situation changes. Moreover, impact of late

  2. Medical students' change in learning styles during the course of the undergraduate program: from 'thinking and watching' to 'thinking and doing'.

    PubMed

    Bitran, Marcela; Zúñiga, Denisse; Pedrals, Nuria; Padilla, Oslando; Mena, Beltrán

    2012-01-01

    Most students admitted to medical school are abstract-passive learners. However, as they progress through the program, active learning and concrete interpersonal interactions become crucial for the acquisition of professional competencies. The purpose of this study was to determine if and how medical students' learning styles change during the course of their undergraduate program. All students admitted to the Pontificia Universidad Católica de Chile (PUC) medical school between 2000 and 2011 (n = 1,290) took the Kolb's Learning Style Inventory at school entrance. Two years later 627 students took it again, and in the seventh and last year of the program 104 students took it for a third time. The distribution of styles at years 1, 3 and 7, and the mobility of students between styles were analyzed with Bayesian models. Most freshmen (54%) were classified as assimilators (abstract-passive learners); convergers (abstract-active) followed with 26%, whereas divergers (concrete-passive) and accommodators (concrete-active) accounted for 11% and 9%, respectively. By year 3, the styles' distribution remained unchanged but in year 7 convergers outnumbered assimilators (49% vs. 33%). In general, there were no gender-related differences. Medical students change their preferred way of learning: they evolve from an abstract-reflexive style to an abstract-active one. This change might represent an adaptation to the curriculum, which evolves from a lecture-based teacher-centered to a problem-based student-centered model.

  3. Medical students’ change in learning styles during the course of the undergraduate program: from ‘thinking and watching’ to ‘thinking and doing’

    PubMed Central

    Bitran, Marcela; Zúñiga, Denisse; Pedrals, Nuria; Padilla, Oslando; Mena, Beltrán

    2012-01-01

    Background Most students admitted to medical school are abstract-passive learners. However, as they progress through the program, active learning and concrete interpersonal interactions become crucial for the acquisition of professional competencies. The purpose of this study was to determine if and how medical students’ learning styles change during the course of their undergraduate program. Methods All students admitted to the Pontificia Universidad Católica de Chile (PUC) medical school between 2000 and 2011 (n = 1,290) took the Kolb’s Learning Style Inventory at school entrance. Two years later 627 students took it again, and in the seventh and last year of the program 104 students took it for a third time. The distribution of styles at years 1, 3 and 7, and the mobility of students between styles were analyzed with Bayesian models. Results Most freshmen (54%) were classified as assimilators (abstract-passive learners); convergers (abstract-active) followed with 26%, whereas divergers (concrete-passive) and accommodators (concrete-active) accounted for 11% and 9%, respectively. By year 3, the styles’ distribution remained unchanged but in year 7 convergers outnumbered assimilators (49% vs. 33%). In general, there were no gender-related differences. Discussion Medical students change their preferred way of learning: they evolve from an abstract-reflexive style to an abstract-active one. This change might represent an adaptation to the curriculum, which evolves from a lecture-based teacher-centered to a problem-based student–centered model. PMID:26451190

  4. A Compendium of Air Force Institute of Technology Thesis Abstracts Related to Acquisition Management

    DTIC Science & Technology

    1990-09-01

    SHOULD PROGRAM DIRECTORS BE GRANTED CONTRACTING AUTHORITY? Champlain, George F. Sep 89 AD-A216 357 ABSTRACT: In Air Force Systems Command (AFSC...COMPETITIVE PRICES IN THE ACQUISITION OF WEAPON SYSTEM REPLENISHMENT SPARE PARTS. Brost , Edward J, Sep 82 AD-A122 962 ABSTRACT: Competition is the

  5. Geothermal Program Review IV: proceedings

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

    Not Available

    1985-01-01

    The research and development program of DOE's Geothermal Technology Division is reviewed in separate presentations according to program area. Separate abstracts have been prepared for the individual papers. (ACR)

  6. Mentoring Programs for Underrepresented Minority Faculty in Academic Medical Centers: A Systematic Review of the Literature

    PubMed Central

    Beech, Bettina M.; Calles-Escandon, Jorge; Hairston, Kristen G.; Langdon, Sarah E.; Latham-Sadler, Brenda A.; Bell, Ronny A.

    2013-01-01

    Purpose Mentoring is critical for career advancement in academic medicine. However, underrepresented minority (URM) faculty often receive less mentoring than their nonminority peers. The authors conducted a comprehensive review of published mentoring programs designed for URM faculty to identify “promising practices.” Method Databases (PubMed, PsycINFO, ERIC, PsychLit, Google Scholar, Dissertations Abstracts International, CINHAL, Sociological Abstracts) were searched for articles describing URM faculty mentoring programs. The RE-AIM framework (Reach, Effectiveness, Adoption, Implementation, and Maintenance) formed the model for analyzing programs. Results The search identified 73 citations. Abstract reviews led to retrieval of 38 full-text articles for assessment; 18 articles describing 13 programs were selected for review. The reach of these programs ranged from 7 to 128 participants. Most evaluated programs on the basis of the number of grant applications and manuscripts produced or satisfaction with program content. Programs offered a variety of training experiences, and adoption was relatively high, with minor changes made for implementing the intended content. Barriers included time-restricted funding, inadequate evaluation due to few participants, significant time commitments required from mentors, and difficulty in addressing institutional challenges faced by URM faculty. Program sustainability was a concern because programs were supported through external funds, with minimal institutional support. Conclusions Mentoring is an important part of academic medicine, particularly for URM faculty who often experience unique career challenges. Despite this need, relatively few publications exist to document mentoring programs for this population. Institutionally supported mentoring programs for URM faculty are needed, along with detailed plans for program sustainability. PMID:23425989

  7. NASA SBIR abstracts of 1991 phase 1 projects

    NASA Technical Reports Server (NTRS)

    Schwenk, F. Carl; Gilman, J. A.; Paige, J. B.

    1992-01-01

    The objectives of 301 projects placed under contract by the Small Business Innovation Research (SBIR) program of the National Aeronautics and Space Administration (NASA) are described. These projects were selected competitively from among proposals submitted to NASA in response to the 1991 SBIR Program Solicitation. The basic document consists of edited, non-proprietary abstracts of the winning proposals submitted by small businesses. The abstracts are presented under the 15 technical topics within which Phase 1 proposals were solicited. Each project was assigned a sequential identifying number from 001 to 301, in order of its appearance in the body of the report. Appendixes to provide additional information about the SBIR program and permit cross-reference of the 1991 Phase 1 projects by company name, location by state, principal investigator, NASA Field Center responsible for management of each project, and NASA contract number are included.

  8. NASA SBIR abstracts of 1992, phase 1 projects

    NASA Technical Reports Server (NTRS)

    Schwenk, F. C.; Gilman, J. A.; Paige, J. B.; Sacknoff, S. M.

    1993-01-01

    The objectives of 346 projects placed under contract by the Small Business Innovation Research (SBIR) program of the National Aeronautics and Space Administration (NASA) are described. These projects were selected competitively from among proposals submitted to NASA in response to the 1992 SBIR Program Solicitation. The basic document consists of edited, non-proprietary abstracts of the winning proposals submitted by small businesses. The abstracts are presented under the 15 technical topics within which Phase 1 proposals were solicited. Each project was assigned a sequential identifying number from 001 to 346, in order of its appearance in the body of the report. Appendixes to provide additional information about the SBIR program and permit cross-reference of the 1992 Phase 1 projects by company name, location by state, principal investigator, NASA Field Center responsible for management of each project, and NASA contract number are included.

  9. NASA SBIR abstracts of 1990 phase 1 projects

    NASA Technical Reports Server (NTRS)

    Schwenk, F. C.; Gilman, J. A.; Paige, J. B.

    1991-01-01

    The research objectives of the 280 projects placed under contract in the National Aeronautics and Space Administration (NASA) 1990 Small Business Innovation Research (SBIR) Phase 1 program are described. The basic document consists of edited, non-proprietary abstracts of the winning proposals submitted by small businesses in response to NASA's 1990 SBIR Phase 1 Program Solicitation. The abstracts are presented under the 15 technical topics within which Phase 1 proposals were solicited. Each project was assigned a sequential identifying number from 001 to 280, in order of its appearance in the body of the report. The document also includes Appendixes to provide additional information about the SBIR program and permit cross-reference in the 1990 Phase 1 projects by company name, location by state, principal investigator, NASA field center responsible for management of each project, and NASA contract number.

  10. Model Checking Abstract PLEXIL Programs with SMART

    NASA Technical Reports Server (NTRS)

    Siminiceanu, Radu I.

    2007-01-01

    We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation.

  11. Using OpenMP vs. Threading Building Blocks for Medical Imaging on Multi-cores

    NASA Astrophysics Data System (ADS)

    Kegel, Philipp; Schellmann, Maraike; Gorlatch, Sergei

    We compare two parallel programming approaches for multi-core systems: the well-known OpenMP and the recently introduced Threading Building Blocks (TBB) library by Intel®. The comparison is made using the parallelization of a real-world numerical algorithm for medical imaging. We develop several parallel implementations, and compare them w.r.t. programming effort, programming style and abstraction, and runtime performance. We show that TBB requires a considerable program re-design, whereas with OpenMP simple compiler directives are sufficient. While TBB appears to be less appropriate for parallelizing existing implementations, it fosters a good programming style and higher abstraction level for newly developed parallel programs. Our experimental measurements on a dual quad-core system demonstrate that OpenMP slightly outperforms TBB in our implementation.

  12. The Bioelectromagnetic Society Thirteenth Annual Meeting 1991: Program and abstracts

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

    Not Available

    1992-12-31

    This volume contains author abstracts representing oral and poster presentations made at the Thirteenth Annual Meeting of The Bioelectromagnetic Society held in Salt Lake City, Utah June 23--27, 1991.

  13. Completed Research in Health, Physical Education, Recreation & Dance, Including International Sources. Volume 32-1990 Edition.

    ERIC Educational Resources Information Center

    Chamberlin, Craig, Ed.

    This compilation provides 256 abstracts of research completed in the areas of health, physical education, recreation, dance, and allied areas during 1989. Master's theses and doctoral dissertations are abstracted from institutions offering graduate programs in those fields. The volume includes an index to the abstracts in which references are…

  14. DOE/solar export opportunities workshop

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

    None

    1979-04-01

    The workshop was conducted to bring together persons from government agencies and the US solar industry to initiate dialogue needed to create and implement programs facilitating the export of US solar technology, hardware, and services. A separate abstract was prepared for 23 individual presentations, all of which will appear in Energy Research abstracts (ERA) and Energy Abstracts for Policy Analysis (EAPA).

  15. Transportation Energy Efficiency Program (TEEP) Report Abstracts

    DOT National Transportation Integrated Search

    1977-04-15

    This bibliography summarizes the published research accomplished for the Department of Transportation's Transportation Energy Efficiency Program and its predecessor, the Automotive Energy Efficiency Program. The reports are indexed by corporate autho...

  16. Eighteenth symposium on biotechnology for fuels and chemicals: Program and abstracts

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

    NONE

    1996-12-31

    This volume provides the proceedings for the Eighteenth Symposium on Biotechnology for Fuels and Chemicals held May 5-9, 1996 in Gatlinburg, Tennessee. The proceedings contains abstracts for oral and poster presentations.

  17. Ames Research Center publications: A continuing bibliography, 1980

    NASA Technical Reports Server (NTRS)

    1981-01-01

    This bibliography lists formal NASA publications, journal articles, books, chapters of books, patents, contractor reports, and computer programs that were issued by Ames Research Center and indexed by Scientific and Technical Aerospace Reports, Limited Scientific and Technical Aerospace Reports, International Aerospace Abstracts, and Computer Program Abstracts in 1980. Citations are arranged by directorate, type of publication, and NASA accession numbers. Subject, personal author, corporate source, contract number, and report/accession number indexes are provided.

  18. Copy Hiding Application Interface

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

    Jones, Holger; Poliakoff, David; Robinson, Peter

    2016-10-06

    CHAI is a light-weight framework which abstracts the automated movement of data (e.g. to/from Host/Device) via RAJA like performance portability programming model constructs. It can be viewed as a utility framework and an adjunct to FAJA (A Performance Portability Framework). Performance Portability is a technique that abstracts the complexities of modern Heterogeneous Architectures while allowing the original program to undergo incremental minimally invasive code changes in order to adapt to the newer architectures.

  19. Space-time programming.

    PubMed

    Beal, Jacob; Viroli, Mirko

    2015-07-28

    Computation increasingly takes place not on an individual device, but distributed throughout a material or environment, whether it be a silicon surface, a network of wireless devices, a collection of biological cells or a programmable material. Emerging programming models embrace this reality and provide abstractions inspired by physics, such as computational fields, that allow such systems to be programmed holistically, rather than in terms of individual devices. This paper aims to provide a unified approach for the investigation and engineering of computations programmed with the aid of space-time abstractions, by bringing together a number of recent results, as well as to identify critical open problems. © 2015 The Author(s) Published by the Royal Society. All rights reserved.

  20. Writing Abstracts for MLIS Research Proposals Using Worked Examples: An Innovative Approach to Teaching the Elements of Research Design

    ERIC Educational Resources Information Center

    Ondrusek, Anita L.; Thiele, Harold E.; Yang, Changwoo

    2014-01-01

    The authors examined abstracts written by graduate students for their research proposals as a requirement for a course in research methods in a distance learning MLIS program. The students learned under three instructional conditions that involved varying levels of access to worked examples created from abstracts representing research in the LIS…

  1. Metagram Software - A New Perspective on the Art of Computation.

    DTIC Science & Technology

    1981-10-01

    numober) Computer Programming Information and Analysis Metagramming Philosophy Intelligence Information Systefs Abstraction & Metasystems Metagranmming...control would also serve well in the analysis of military and political intelligence, and in other areas where highly abstract methods of thought serve...needed in intelligence because several levels of abstraction are involved in a political or military system, because analysis entails a complex interplay

  2. The Advantages of Abstract Control Knowledge in Expert System Design. Technical Report #7.

    ERIC Educational Resources Information Center

    Clancey, William J.

    This paper argues that an important design principle for building expert systems is to represent all control knowledge abstractly and separately from the domain knowledge upon which it operates. Abstract control knowledge is defined as the specifications of when and how a program is to carry out its operations, such as pursuing a goal, focusing,…

  3. NASA Geodynamics Program

    NASA Technical Reports Server (NTRS)

    1984-01-01

    Activities and achievements for the period of May 1983 to May 1984 for the NASA geodynamics program are summarized. Abstracts of papers presented at the Conference are inlcuded. Current publications associated with the NASA Geodynamics Program are listed.

  4. Saul: Towards Declarative Learning Based Programming

    PubMed Central

    Kordjamshidi, Parisa; Roth, Dan; Wu, Hao

    2015-01-01

    We present Saul, a new probabilistic programming language designed to address some of the shortcomings of programming languages that aim at advancing and simplifying the development of AI systems. Such languages need to interact with messy, naturally occurring data, to allow a programmer to specify what needs to be done at an appropriate level of abstraction rather than at the data level, to be developed on a solid theory that supports moving to and reasoning at this level of abstraction and, finally, to support flexible integration of these learning and inference models within an application program. Saul is an object-functional programming language written in Scala that facilitates these by (1) allowing a programmer to learn, name and manipulate named abstractions over relational data; (2) supporting seamless incorporation of trainable (probabilistic or discriminative) components into the program, and (3) providing a level of inference over trainable models to support composition and make decisions that respect domain and application constraints. Saul is developed over a declaratively defined relational data model, can use piecewise learned factor graphs with declaratively specified learning and inference objectives, and it supports inference over probabilistic models augmented with declarative knowledge-based constraints. We describe the key constructs of Saul and exemplify its use in developing applications that require relational feature engineering and structured output prediction. PMID:26635465

  5. Saul: Towards Declarative Learning Based Programming.

    PubMed

    Kordjamshidi, Parisa; Roth, Dan; Wu, Hao

    2015-07-01

    We present Saul , a new probabilistic programming language designed to address some of the shortcomings of programming languages that aim at advancing and simplifying the development of AI systems. Such languages need to interact with messy, naturally occurring data, to allow a programmer to specify what needs to be done at an appropriate level of abstraction rather than at the data level, to be developed on a solid theory that supports moving to and reasoning at this level of abstraction and, finally, to support flexible integration of these learning and inference models within an application program. Saul is an object-functional programming language written in Scala that facilitates these by (1) allowing a programmer to learn, name and manipulate named abstractions over relational data; (2) supporting seamless incorporation of trainable (probabilistic or discriminative) components into the program, and (3) providing a level of inference over trainable models to support composition and make decisions that respect domain and application constraints. Saul is developed over a declaratively defined relational data model, can use piecewise learned factor graphs with declaratively specified learning and inference objectives, and it supports inference over probabilistic models augmented with declarative knowledge-based constraints. We describe the key constructs of Saul and exemplify its use in developing applications that require relational feature engineering and structured output prediction.

  6. Java Programming Language

    NASA Technical Reports Server (NTRS)

    Shaykhian, Gholam Ali

    2007-01-01

    The Java seminar covers the fundamentals of Java programming language. No prior programming experience is required for participation in the seminar. The first part of the seminar covers introductory concepts in Java programming including data types (integer, character, ..), operators, functions and constants, casts, input, output, control flow, scope, conditional statements, and arrays. Furthermore, introduction to Object-Oriented programming in Java, relationships between classes, using packages, constructors, private data and methods, final instance fields, static fields and methods, and overloading are explained. The second part of the seminar covers extending classes, inheritance hierarchies, polymorphism, dynamic binding, abstract classes, protected access. The seminar conclude by introducing interfaces, properties of interfaces, interfaces and abstract classes, interfaces and cailbacks, basics of event handling, user interface components with swing, applet basics, converting applications to applets, the applet HTML tags and attributes, exceptions and debugging.

  7. Bibliography of marine radiation ecology prepared for the Seabed Program

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

    Schultz, V.S.

    1980-02-01

    References on the effects of ionizing radiation on aquatic organisms have been obtained from a number of sources. Many were obtained from reviews and other publications. Although the primary purpose of preparing this bibliography was to obtain information related to the nuclear wastes Seabed Disposal Biology Program of Sandia Laboratories, freshwater organisms are included as a matter of convenience and also with the belief that such a bibliography would be of interest to a wider audience than that restricted to the Seabed Program. While compilation of a list in an area broad in scope is often somewhat arbitrary, an attemptmore » was made to reference publications that were related to field or laboratory studies of wild species of plants and animals with respect to radiation effects. Complete information concerning each reference are provided without excessive library search. Since one often finds references listed in the literature that are incompletely cited, it was not always possible to locate the reference for verification or completion of the citation. Such references are included where they appeared to be of possible value. When known, a reference is followed with its Nuclear Science Abstract designation, or rarely other abstract sources. Those desiring additional information should check Nuclear Science Abstracts utilizing the abstract number presented or other abstracting sources. In addition, the language of the article, other than English, is given when it is known to me.« less

  8. Teaching Translational Research to Medical Students: The New York University School of Medicine's Master's of Science in Clinical Investigation Dual‐Degree Program

    PubMed Central

    Pillinger, Michael; Plottel, Claudia S.; Galeano, Claudia; Maddalo, Scott; Hochman, Judith S.; Cronstein, Bruce N.; Gold‐von Simson, Gabrielle

    2015-01-01

    Abstract To develop the next generation of translational investigators, New York University School of Medicine (NYUSOM) and the NYU‐NYC Health and Hospitals Corporation Clinical and Translational Science Institute (NYU‐HHC CTSI) developed the Master's of Science in Clinical Investigation dual‐degree (MD/MSCI) program. This 5‐year program dedicates 1 year to coursework and biomedical research, followed by a medical school/research overlap year, to prepare students for academic research careers. This paper details the MD/MSCI program's curriculum and approach to mentorship, describes the research/professional interests of students, and reports student productivity. In the first 4 years of the program (2010–2014) 20 students were matriculated; 7 (35%) were women, and 12 (60%) research projects were in surgical specialties. To date, 14 students have applied to residency, and half pursued surgical residency programs. Our students have produced 68 accepted abstracts, 15 abstracts in submission, 38 accepted papers, and 24 papers in submission. Despite the time‐limited nature of this program, additional training in research design and implementation has promoted a high level of productivity. We conclude that dual‐degree training in medicine and translational research is feasible for medical students and allows for meaningful participation in valuable projects. Follow‐up is warranted to evaluate the academic trajectory of these students. PMID:26365704

  9. OpenCL: A Parallel Programming Standard for Heterogeneous Computing Systems.

    PubMed

    Stone, John E; Gohara, David; Shi, Guochun

    2010-05-01

    We provide an overview of the key architectural features of recent microprocessor designs and describe the programming model and abstractions provided by OpenCL, a new parallel programming standard targeting these architectures.

  10. Peer Reviewed Cancer Research Program Fiscal Year 2012 Report to Congress

    DTIC Science & Technology

    2012-02-21

    ABSTRACT Same as Report (SAR) 18 . NUMBER OF PAGES 24 19a. NAME OF RESPONSIBLE PERSON a. REPORT unclassified b. ABSTRACT unclassified c. THIS...PAGE unclassified Standard Form 298 (Rev. 8-98) Prescribed by ANSI Std Z39- 18 Peer Reviewed Cancer Research Program Fiscal Year 2012 Report to...Epidemiol Biomarkers Prev 18 :1740-1745 10. Ajene A, Bohnker B, Malakooti MA, Riegodedios A, and Sack DM. 2004. Neoplasms in the Navy, 1998-2000

  11. Cultural Voucher Program; Program Abstract.

    ERIC Educational Resources Information Center

    Museums Collaborative, Inc., New York, NY.

    A description of the Museums Collaborative Voucher Program, a system through which cultural institutions conduct programs with large, heterogeneous, adult populations in New York City is provided in this paper. The program began with two goals: to broaden the audience served by New York City's cultural institutions and to provide the institutions…

  12. Interpersonal, Nonverbal, and Small Group Communication: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," July through December 1979 (Vol. 40 Nos. 1 through 6).

    ERIC Educational Resources Information Center

    ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.

    This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 24 titles deal with a variety of topics, including the following: a social skills training program; facial kinesic correlates of terminal cancer patients; the relationships among indices of social cognition, motivation, and…

  13. Written Language and Writing Abilities: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," July 1979 through June 1980 (Vol. 40 Nos. 1 through 12).

    ERIC Educational Resources Information Center

    ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.

    This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 21 titles deal with the following topics: (1) the adolescent writer's developing sense of audience; (2) the entry skills, methods, and attitudes of intermediate composition students in postsecondary composition programs; (3)…

  14. Reading Instruction: Secondary: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," March through December 1977 (Vol. 37 No. 9 through Vol. 38, No. 6).

    ERIC Educational Resources Information Center

    ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.

    This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 11 titles deal with the following topics: secondary school principals' attitudes toward characteristics of an ideal reading program; the effects of rock music on the reading comprehension of eighth grade students; objectives for…

  15. Accelerated vehicle retirement for fuel economy : "Cash for Clunkers"

    DOT National Transportation Integrated Search

    2009-08-10

    Abstract from author: This report outlines the key provisions of the CARS program, discusses the initial impact of the program and some of the concerns raised by Senators. It also summarizes similar programs in other countries.

  16. OpenCL: A Parallel Programming Standard for Heterogeneous Computing Systems

    PubMed Central

    Stone, John E.; Gohara, David; Shi, Guochun

    2010-01-01

    We provide an overview of the key architectural features of recent microprocessor designs and describe the programming model and abstractions provided by OpenCL, a new parallel programming standard targeting these architectures. PMID:21037981

  17. Nineteenth annual actinide separations conference: Conference program and abstracts

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

    Bronson, M.

    This report contains the abstracts from the conference presentations. Sessions were divided into the following topics: Waste treatment; Spent fuel treatment; Issues and responses to Defense Nuclear Facility Safety Board 94-1; Pyrochemical technologies; Disposition technologies; and Aqueous separation technologies.

  18. Composing Interfering Abstract Protocols

    DTIC Science & Technology

    2016-04-01

    Tecnologia , Universidade Nova de Lisboa, Caparica, Portugal. This document is a companion technical report of the paper, “Composing Interfering Abstract...a Ciência e Tecnologia (Portuguese Foundation for Science and Technology) through the Carnegie Mellon Portugal Program under grant SFRH / BD / 33765

  19. Abstracts of Review Articles and Educational Materials in Physiology

    ERIC Educational Resources Information Center

    Physiology Teacher, 1977

    1977-01-01

    Contained are 99 abstracts of review articles, texts, books, manuals, learning programs, and audiovisual material used in teaching physiology. Specific fields include cell physiology, circulation, comparative physiology, development and aging, endocrinology and metabolism, environmental and exercise physiology, gastrointestinal physiology, muscle…

  20. Paper and Symposia Abstracts, 1972 Annual Meeting.

    ERIC Educational Resources Information Center

    Cunningham, Donald J., Ed.

    This compendium contains abstracts of approximately 700 papers which are classified under administration, curriculum and objectives, instruction and learning, measurement and research methodology, counseling and human development, history and historiography, social context of education, school evaluation and program development, or special…

  1. Software Model Checking Without Source Code

    NASA Technical Reports Server (NTRS)

    Chaki, Sagar; Ivers, James

    2009-01-01

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

  2. Engaging Teenagers in Astronomy Using the Lens of Next Generation Science Standards and Common Core State Standards (Abstract)

    NASA Astrophysics Data System (ADS)

    Gillette, S.; Wolf, D.; Harrison, J.

    2017-12-01

    (Abstract only) The Vanguard Double Star Workshop has been developed to teach eighth graders the technique of measuring position angle and separation of double stars. Through this program, the students follow in the footsteps of a professional scientist by researching the topic, performing the experiment, writing a scientific article, publishing a scientific article, and finally presenting the material to peers. An examination of current educational standards grounds this program in educational practice and philosophy.

  3. Defense Small Business Innovation Research Program (SBIR) Abstracts of Phase 2 Awards: Fiscal Year 1987 (ARMY)

    DTIC Science & Technology

    1987-01-01

    Program, this report presents the abstracts of those proposals which have resulted in contract awards. Further, the name and address of each firm...CONDITIONS; AND, PRODUCE A FINAL REPORT AND A FINAL DESIGN PACKAGE THAT CAN BE USED IN THE PRODUCTION OF THE UNIT. BY THE END OF PHASE II THE ARMY CAN...NUMBER: DAAD07-87-C-107 ROGER W ANDERSON TITLE: AUTOMATED WEATHER FACTOR ANALYSIS AND DISPLAY TOPIC# 71 OFFICE: LABCOM/ASL IDENT#: 16015 SMALL BUSINESS

  4. Research in advanced formal theorem-proving techniques

    NASA Technical Reports Server (NTRS)

    Rulifson, J. F.

    1971-01-01

    The present status is summarized of a continuing research program aimed at the design and implementation of a language for expressing problem-solving procedures in several areas of artificial intelligence, including program synthesis, robot planning, and theorem proving. Notations, concepts, and procedures common to the representation and solution of many of these problems were abstracted and incorporated as features into the language. The areas of research covered are described, and abstracts of six papers that contain extensive description and technical detail of the work are presented.

  5. APS Conference on Understanding the Biological Clock: From Genetics to Physiology

    NASA Technical Reports Server (NTRS)

    Frank, Martin

    1996-01-01

    The Conference was designed to take advantage of the fusion of two intellectually dominant but heretofore separate lines of clock research, vertebrate physiology and invertebrate and microbial genetics. The APS Conference attracted 251 scientists, 68 of whom were students. In addition to the excellent speaker program organized by Dunlap and Loros, the attendees also submitted 93 volunteer abstracts that were programmed in poster sessions. Thirty-four percent of the submitted abstracts were first authorized by a female student or scientist.

  6. 75 FR 45694 - Agency Information Collection Activity Under OMB Review

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-08-03

    ... approved information collection: 49 U.S.C. Sections 5310 and 5311--Capital Assistance Program for Elderly... Assistance Program for Elderly Persons and Persons with Disabilities and Nonurbanized Area Formula Program (OMB Number 2132-0500) Abstract: The Capital Assistance Program for Elderly Persons and Persons with...

  7. Competency-Based Adult Education Research and Innovation Catalog.

    ERIC Educational Resources Information Center

    Bureau of Occupational and Adult Education (DHEW/OE), Washington, DC. Div. of Adult Education.

    This document contains abstracts describing competency-based programs related to the Adult Performance Level (APL) project and adult education. The catalog is divided into two sections: state program implementation and local program implementation. The first section describes programs and research projects currently active in Alabama, California,…

  8. Hubble Space Telescope: The GO and GTO Observing Programs. Version 1.0

    NASA Technical Reports Server (NTRS)

    Saha, Abhijit

    1990-01-01

    Selected information from the current Hubble Space Telescope (HST) science programs for the Guaranteed Time Observers (GTO's) and General Observers (GO's) is presented. Included are program abstracts, detailed listings of specific targets, and exposure information.

  9. 78 FR 44331 - Semiannual Regulatory Agenda

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-07-23

    ... Business Mentor- 3245-AG24 Protege Programs. 254 Small Business HUBZone 3245-AG38 Program. 255 Agent... Mentor-Protege Programs Legal Authority: Pub. L. 111-240; sec 1347; 15 U.S.C. 657r Abstract: SBA currently has a mentor-protege program for the 8(a) Business Development Program that is intended to enhance...

  10. Celebrating the 200th Anniversary of the Emigration of Joseph Priestley. Abstracts and Program for the Biennial Conference on Chemical Education (13th, Lewisburg, PA, July 31-August 4, 1994).

    ERIC Educational Resources Information Center

    American Chemical Society, Easton, PA. Div. of Chemical Education.

    Included in this proceedings are: (1) letters to conferees; (2) conference chairpersons; (3) symposia listing; (4) chemical demonstrations, listing and abstracts; (5) "birds-of-a-feather" sessions, listing and abstracts (informal sessions providing an opportunities for people with similar interests to meet); (6) workshop listings; (7)…

  11. Moving Forward with Modern Vocational Education Programs. Abstracts for Vocational Education Exemplary and Innovative Project Grants 1987-88, 1988-89.

    ERIC Educational Resources Information Center

    North Carolina State Dept. of Public Instruction, Raleigh. Div. of Vocational Education Services.

    This volume provides a one-page abstract for each of the vocational exemplary and innovative projects in the state of North Carolina that were funded in 1987-88 and 1988-89 as authorized by the 1984 Carl D. Perkins Act. Each abstract provides the following information: title of project; local education authority; project coordinator; address;…

  12. Remedial and Compensatory Reading Instruction: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," January through June 1984, (Vol. 44 Nos. 7 through 12).

    ERIC Educational Resources Information Center

    ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.

    This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 17 titles deal with a variety of topics, including the following: (1) the effects of an experimental program for reluctant readers on reading ability, writing ability, and self-concept; (2) the effects of a cross-age tutoring…

  13. Reading and Study Skills and Instruction--College and Adult: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," July through December 1984 (Vol. 45 Nos. 1 through 6).

    ERIC Educational Resources Information Center

    ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.

    This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 13 titles deal with the following topics: (1) the development, implementation, and evaluation of a reading improvement program for business and industry; (2) how instruction in a college rapid reading course meets individual…

  14. Journalism and Journalism Education: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," January through June 1982 (Vol. 42 Nos. 7 through 12).

    ERIC Educational Resources Information Center

    ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.

    This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 10 titles deal with the following topics: (1) press bias in Northern Ireland; (2) the nature of news media selection; (3) the agenda-setting function of the press; (4) a training program for newsroom supervisors using video taped…

  15. Abstracts and research accomplishments of university coal research projects

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

    Not Available

    1991-06-01

    The Principal Investigators of the grants supported by the University Coal Research Program were requested to submit abstracts and highlight accomplishments of their projects in time for distribution at a grantees conference. This book is a compilation of the material received in response to the request. Abstracts discuss the following area: coal science, coal surface science, reaction chemistry, advanced process concepts, engineering fundamentals and thermodynamics, environmental science.

  16. THE EFFECT OF FARMLAND PRESERVATION PROGRAMS ON FARMLAND PRICES. (R825309)

    EPA Science Inventory

    The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

  17. Abstracts of Research, July 1975-June 1976.

    ERIC Educational Resources Information Center

    Ohio State Univ., Columbus. Computer and Information Science Research Center.

    Abstracts of research papers in computer and information science are given for 62 papers in the areas of information storage and retrieval; computer facilities; information analysis; linguistics analysis; artificial intelligence; information processes in physical, biological, and social systems; mathematical technigues; systems programming;…

  18. Abstracts

    ERIC Educational Resources Information Center

    American Biology Teacher, 1976

    1976-01-01

    Presents abstracts of 63 papers to be presented at the 1976 Convention of the National Association of Biology Teachers, October 14-17, 1976, Denver, Colorado. Papers cover a wide range of biology and science education topics with the majority concentrating upon the convention's main program, "Ecosystems: 1776-1976-?". (SL)

  19. Leadership Abstracts, 2001.

    ERIC Educational Resources Information Center

    Wilson, Cynthia, Ed.

    2001-01-01

    This is volume 14 of Leadership Abstracts, a newsletter published by the League for Innovation (California). Issue 1 of February 2001, "Developmental Education: A Policy Primer," discusses developmental programs in the community college. According to the article, community college trustees and presidents would serve their constituents well by…

  20. Colloquy and workshops: regional implications of the engineering manpower requirements of the National Energy Program

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

    Segool, H. D.

    1979-05-01

    The crucial interrelationships of engineering manpower, technological innovation, productivity and capital re-formaton were keynoted. Near-term, a study has indicated a much larger New England energy demand-reduction/economic/market potential, with a probably larger engineering manpower requirement, for energy-conservation measures characterized by technological innovation and cost-effective capital services than for alternative energy-supply measures. Federal, regional, and state energy program responsibilities described a wide-ranging panorama of activities among many possible energy options which conveyed much endeavor without identifiable engineering manpower demand coefficients. Similarly, engineering manpower assessment data was described as uneven and unfocused to the energy program at the national level, disaggregated data asmore » non-existent at the regional/state levels, although some qualitative inferences were drawn. A separate abstract was prepared for each of the 16 individual presentations for the DOE Energy Data Base (EDB); 14 of these were selected for Energy Abstracts for Policy Analysis (EAPA) and 2 for Energy Research Abstracts (ERA).« less

  1. Nuclear facility decommissioning and site remedial actions: a selected bibliography

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

    Owen, P.T.; Knox, N.P.; Fielden, J.M.

    This bibliography contains 693 references with abstracts on the subject of nuclear facility decommissioning, uranium mill tailings management, and site remedial actions. Foreign, as well as domestic, literature of all types - technical reports, progress reports, journal articles, conference papers, symposium proceedings, theses, books, patents, legislation, and research project descriptions - has been included in this publication. The bibliography contains scientific (basic research as well as applied technology), economic, regulatory, and legal literature pertinent to the US Department of Energy's Remedial Action Program. Major chapters are Surplus Facilities Management Program, Nuclear Facilities Decommissioning, Formerly Utilized Sites Remedial Action Program, Uraniummore » Mill Tailings Remedial Action Program, Grand Junction Remedial Action Program, and Uranium Mill Tailings Management. Chapter sections for chapters 1 and 2 include: Design, Planning, and Regulations; Site Surveys; Decontamination Studies; Dismantlement and Demolition; Land Decontamination and Reclamation; Waste Disposal; and General Studies. The references within each chapter are arranged alphabetically by leading author. References having no individual author are arranged by corporate author or by title. Indexes are provided for (1) author; (2) corporate affiliation; (3) title; (4) publication description; (5) geographic location; and (6) keywords. An appendix of 202 bibliographic references without abstracts or indexes has been included in this bibliography. This appendix represents literature identified but not abstracted due to time constraints.« less

  2. Small Business Administration Semiannual Regulatory Agenda

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-04-26

    ...: 3245-AF99 Private Loan Disaster Program 284 Women's Business Center Program 3245-AG02 285 Interest Rate...: 202 205-7728 Email: [email protected] RIN: 3245-AF99 284. WOMEN'S BUSINESS CENTER PROGRAM Legal Authority: 15 USC 656 Abstract: SBA plans to issue regulations for the Women's Business Center (WBC) Program...

  3. 76 FR 53113 - Guidelines for Designating Biobased Products for Federal Procurement

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-08-25

    .... Information regarding the Federal biobased preferred procurement program (one part of the BioPreferred Program... Request: Extension of a currently approved information collection. Abstract: The USDA BioPreferred Program... that then permit USDA to designate items for preferred procurement under the BioPreferred Program. Once...

  4. 78 FR 41943 - Agency Information Collection Activities; Trusted Traveler Programs

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-07-12

    ...: Trusted Traveler Programs (Global Entry, SENTRI and FAST). OMB Number: 1651-0121. Form Numbers: 823S (SENTRI) and 823F (FAST). Abstract: This collection of information is for CBP's Trusted Traveler Programs... entry at specified southwest land border ports of entry; the Free and Secure Trade Program (FAST), which...

  5. Reports of planetary geology and geophysics program, 1989

    NASA Technical Reports Server (NTRS)

    Holt, Henry (Editor)

    1990-01-01

    Abstracts of reports from Principal Investigators of NASA's Planetary Geology and Geophysics Program are compiled. The research conducted under this program during 1989 is summarized. Each report includes significant accomplishments in the area of the author's funded grant or contract.

  6. INDUSTRY SELF-REGULATION WITHOUT SANCTIONS: THE CHEMICAL INDUSTRY'S RESPONSIBLE CARE PROGRAM. (R827918)

    EPA Science Inventory

    The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

  7. Leadership Abstracts, 1993.

    ERIC Educational Resources Information Center

    Doucette, Don, Ed.

    1993-01-01

    This document includes 10 issues of Leadership Abstracts (volume 6, 1993), a newsletter published by the League for Innovation in the Community College (California). The featured articles are: (1) "Reinventing Government" by David T. Osborne; (2) "Community College Workforce Training Programs: Expanding the Mission to Meet Critical Needs" by…

  8. ADULT ENVIRONMENTAL KNOWLEDGE AND CONFIDENCE: IMPACTS OF A WATERSHED EDUCATION PROGRAM (R823466)

    EPA Science Inventory

    The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

  9. SOIL ORGANIC MATTER RECOVERY ON CONSERVATION RESERVE PROGRAM FIELDS IN SOUTHEASTERN WYOMING. (R824993)

    EPA Science Inventory

    The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

  10. Earth Science Syllabus, 1970 Edition.

    ERIC Educational Resources Information Center

    New York State Education Dept., Albany. Bureau of Secondary Curriculum Development.

    This syllabus outlines a year earth science program designed to be activity oriented, investigatory in approach, and interdisciplinary in content. Each topic section contains a topic abstract and topic outline, major understandings, and information to teachers. The topic abstract lists behavioral objectives and general information about the topic…

  11. Adding Concrete Syntax to a Prolog-Based Program Synthesis System

    NASA Technical Reports Server (NTRS)

    Fischer, Bernd; Visser, Eelco

    2003-01-01

    Program generation and transformation systems manipulate large, pa- rameterized object language fragments. Support for user-definable concrete syntax makes this easier but is typically restricted to certain object and meta languages. We show how Prolog can be retrofitted with concrete syntax and describe how a seamless interaction of concrete syntax fragments with an existing legacy meta-programming system based on abstract syntax is achieved. We apply the approach to gradually migrate the schemas of the AUTOBAYES program synthesis system to concrete syntax. Fit experiences show that this can result in a considerable reduction of the code size and an improved readability of the code. In particular, abstracting out fresh-variable generation and second-order term construction allows the formulation of larger continuous fragments and improves the locality in the schemas.

  12. Summer Research Program (1992). Summer Faculty Research Program (SFRP) Reports. Volume 5A. Wright Laboratory

    DTIC Science & Technology

    1992-12-01

    1992 6-~1 SOME RESULTS IN MACIIINE- LEARNING Mike Breen Assistant Professor Department of Mathematics Tennessee Technological Universitv Abstract The...Research Laboratory; Wilford Hall Medical Center 12 High School Apprenticeship Program Reports: Armstrong Laboratory 13 High School Apprenticeship ...Program Reports: Phillips Laboratory 14 High School Apprenticeship Program Reports: Rome Laboratory 15 High School Apprenticeship Program Reports

  13. Defense Small Business Innovation Research Program (SBIR). Volume 2. Navy Abstracts of Phase 1 Awards 1991

    DTIC Science & Technology

    1991-01-01

    NAVY ABSTRACTS OF SBIR PHASE I AWARDS mmhancemegs to be added. Advanced processor architeturs which u- new technology hardware and software for...Adaptive Compensation System for Performance Improvenent of piezoelectric Hydropbones Abstract: Hydopbone output level is, in gena, insly proportional to die...growth rate is proportional to the mode frequency and under optimal conditions, the cavity mode TMI 10 exponcntiates in only 10 oscillation periods. In

  14. Teacher Characteristics and Teacher Education in Reading and English Language Arts Instruction: Abstracts of Doctoral Dissertations Published in "Dissertation Abstracts International," January through June 1983 (Vol. 43 Nos. 7 through 12).

    ERIC Educational Resources Information Center

    ERIC Clearinghouse on Reading and Communication Skills, Urbana, IL.

    This collection of abstracts is part of a continuing series providing information on recent doctoral dissertations. The 16 titles deal with a variety of topics, including the following: (1) the relationship between selected teacher personality traits and the teaching behaviors of remedial reading teachers; (2) reading program problems of beginning…

  15. Tools & Services - SEER Registrars

    Cancer.gov

    View glossary for registrars. Access ICD conversion programs, SEER Abstracting Tool, SEER Data Viewer, SEER interactive drug database for coding oncology drugs, data documentation, variable recodes, and SEER Application Programming Interface for developers.

  16. Runtime Verification of C Programs

    NASA Technical Reports Server (NTRS)

    Havelund, Klaus

    2008-01-01

    We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from the program. The state machine language has been inspired by a graphical state machine language RCAT recently developed at the Jet Propulsion Laboratory, as an alternative to using Linear Temporal Logic (LTL) for requirements capture. Transitions between states are labeled with abstract event names and Boolean expressions over such. The abstract events are connected to code fragments using an aspect-oriented pointcut language similar to ASPECTJ's or ASPECTC's pointcut language. The system is implemented in the C analysis and transformation package CIL, and is programmed in OCAML, the implementation language of CIL. The work is closely related to the notion of stateful aspects within aspect-oriented programming, where pointcut languages are extended with temporal assertions over the execution trace.

  17. Abstracts: Energy Sciences programs, January--December 1978

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

    None

    This report presents abstracts of all publications in the Energy Sciences programs of the Department of Energy and Environment from January 1, 1978 through December 31, 1978. It is a companion report to Annual Highlights of Programs in Energy Sciences - (December 1978, BNL 50973). Together, they present scientific and/or technical highlights of the Energy Sciences programs for the past calendar year, detailed descriptions of all the programs, and the publication issuing from the work performed. The following are some of the topics included: porphyrin chemistry; chemistry of energetic compounds; combustion; coal utilization; metal hydrides; cyclic separations process research; tracemore » element analysis; materials properties and structures; radiation damage; superconducting materials; materials of construction for geothermal applications; repair of deteriorated concrete; development of glass--polymer composite sewer pipe; flash hydropyrolysis of coal; desulfurization of high-temperature combustion and fuel gases; and synthetic fuels development. (RWR)« less

  18. Summer Student Research Presentations

    NASA Technical Reports Server (NTRS)

    Casey, Carol (Editor)

    2005-01-01

    In 2005, over 150 undergraduate students and first-year graduate students participated in a variety of research programs coordinated by the Jet Propulsion Laboratory Education Office in conjunction with the Caltech Student- Faculty Programs Office. The programs give students the opportunity to conduct research under the guidance of an experienced mentor for a 10-week period. Students gain valuable experience while contributing to the ongoing goals of JPL. Students are required to submit progress reports and an abstract, and to give an oral presentation of their projects to an audience of JPL staff and other students. This set of abstracts provides brief descriptions of the projects that were conducted by these students and their mentors. A schedule of student talks is also included.

  19. Small business innovation research: Abstracts of 1984. Phase 1 awards

    NASA Technical Reports Server (NTRS)

    1985-01-01

    On September 27, 1984, the National Aeronautics and Space Administration announced the selection of Phase I projects for the Small Business Innovation Research Program. These awards resulted from the evaluation of proposals submitted in response to the 1984 Program Solicitation, SBIR 84-1. In order to make available information on the technical content of the Phase I projects supported by the NASA SBIR Program, the abstracts of those proposals which resulted in awards of contracts are given. In addition, the name and address of the firm performing the work are given for those who may desired additional information about the project. Propulsion, aerodynamics, computer techniques, exobiology and composite materials are among the areas covered.

  20. 75 FR 8190 - Proposed Collection; Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-02-23

    ... soliciting comments concerning the Financial Education and Counseling (FEC) Pilot Program Application. DATES... Education and Counseling Pilot Program Application. OMB Number: 1559-0034. Abstract: The purpose of the FEC... financial education and counseling services to prospective homebuyers. The FEC Pilot Program was authorized...

  1. FARM PROGRAMS, ENVIRONMENT, AND LAND USE DECISIONS IN THE GREAT PLAINS, 1969-1992. (R824993)

    EPA Science Inventory

    The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

  2. GOVERNMENT AGRICULTURAL PROGRAMS, ENVIRONMENT, AND LAND USE DECISIONS IN THE GREAT PLAINS, 1969-1992. (R824993)

    EPA Science Inventory

    The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

  3. Seer 2008 Session III Discussant Remarks

    ERIC Educational Resources Information Center

    Medina, Jacquie

    2009-01-01

    Three research abstracts dealt with program outcomes and the factors that affect them. Morgan (2008) dealt with the potential influence of sensation-seeking personality traits on perceived risk and perceived competence in adventure experiences. Two abstracts by Bobilya, Akey, and Mitchell, Jr. (2008) and Austin, Martin, Mittelstaedt, Schanning,…

  4. Automated Verification of Specifications with Typestates and Access Permissions

    NASA Technical Reports Server (NTRS)

    Siminiceanu, Radu I.; Catano, Nestor

    2011-01-01

    We propose an approach to formally verify Plural specifications based on access permissions and typestates, by model-checking automatically generated abstract state-machines. Our exhaustive approach captures all the possible behaviors of abstract concurrent programs implementing the specification. We describe the formal methodology employed by our technique and provide an example as proof of concept for the state-machine construction rules. The implementation of a fully automated algorithm to generate and verify models, currently underway, provides model checking support for the Plural tool, which currently supports only program verification via data flow analysis (DFA).

  5. Thunderstorm Program General Overview

    DTIC Science & Technology

    2014-12-19

    DISTRIBUTION A. APPROVED FOR PUBLIC RELEASE; DISTRIBUTION IS UNLIMITED. Thunderstorm Program General Overview Report Documentation Page Form...COVERED - 4. TITLE AND SUBTITLE Thunderstorm Program General Overview 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6...original document contains color images. 14. ABSTRACT Thunderstorm provides OSD, interagency partners, Combatant Commanders, Services, academia

  6. 01010000 01001100 01000001 01011001: Play Elements in Computer Programming

    ERIC Educational Resources Information Center

    Breslin, Samantha

    2013-01-01

    This article explores the role of play in human interaction with computers in the context of computer programming. The author considers many facets of programming including the literary practice of coding, the abstract design of programs, and more mundane activities such as testing, debugging, and hacking. She discusses how these incorporate the…

  7. Reports of planetary geology program, 1980. [Bibliography

    NASA Technical Reports Server (NTRS)

    Holt, H. E. (Compiler); Kosters, E. C. (Compiler)

    1980-01-01

    This is a compilation of abstracts of reports which summarize work conducted in the Planetary Geology Program. Each report reflects significant accomplishments within the area of the author's funded grant or contract.

  8. 77 FR 4399 - Submission for OMB Review; Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-01-27

    ... currently approved collection. Title: Application for Voluntary Classification Settlement Program. Form: 8952. Abstract: Form 8952 was created by the IRS in conjunction with a new program developed to permit... similar relief to that obtained in the current Classification Settlement Program. To participate in the...

  9. CREASE 6.0 Catalog of Resources for Education in Ada and Software Engineering

    DTIC Science & Technology

    1992-02-01

    Programming Software Engineering Strong Typing Tasking Audene . Computer Scientists Terbook(s): Barnes, J. Programming in Ada, 3rd ed. Addison-Wesley...Ada. Concept: Abstract Data Types Management Overview Package Real-Time Programming Tasking Audene Computer Scientists Textbook(s): Barnes, J

  10. Tailoring Software Inspections for Aspect-Oriented Programming

    ERIC Educational Resources Information Center

    Watkins, Charlette Ward

    2009-01-01

    Aspect-Oriented Software Development (AOSD) is a new approach that addresses limitations inherent in conventional programming, especially the principle of separation of concerns by emphasizing the encapsulation and modularization of crosscutting concerns through a new abstraction, the "aspect." Aspect-oriented programming is an emerging AOSD…

  11. 78 FR 17209 - Agency Information Collection Activities; Proposed Collection; Public Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-03-20

    ... reference. Information Collection Request Title: WHAM: Women's Health and Mindfulness Program. Abstract: The Women's Health and Mindfulness (WHAM) program, developed in San Francisco, aims to test interventions... innovative group support program that combines mindfulness-based stress reduction, nutrition, and physical...

  12. Children and Computers Abstracts.

    ERIC Educational Resources Information Center

    Rothenberg, Dianne, Ed.

    1992-01-01

    Abstracts of reports of eight research studies on computer uses in children's education are presented. Topics covered include (1) LOGO computer language; (2) computer graphics for art instruction; (3) animation; (4) problem solving; (5) children's use of symbols; (6) an evaluation of a Chapter 1 program involving children's computer use; (7) peer…

  13. Columbia Basin Fish and Wildlife Authority Project Abstracts; May 25-27, Portland, Oregon, 1997 Annual Review.

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

    Allee, Brian J.

    1997-06-26

    Abstracts are presented from the 1997 Columbia Basin Fish and Wildlife Program Review of Projects. The purpose was to provide information and education on the approximate 127 million dollars in Northwest electric ratepayer fish and wildlife mitigation projects funded annually.

  14. In Vivo Testing of Chemopreventive Agents Using the Dog Model of Spontaneous Prostate Carcinogenesis

    DTIC Science & Technology

    2001-03-01

    SECURITY CLASSIFICATION 18. SECURITY CLASSIFICATION 19. SECURITY CLASSIFICATION 20. LIMITATION OF ABSTRACT OF REPORT OF THIS PAGE OF ABSTRACT...retarded tate Cancer Research Program (PC-970492, awarded to population. J Gerontol 1969;24:395-411. 19. Hayflick LH. How and why we age. Exp Gerontol

  15. Economic Education Projects: Abstracts from the 1979-80 Competition.

    ERIC Educational Resources Information Center

    Palmer, George E., Ed.

    Over 175 economics education projects submitted to the 1979-1980 National Awards Program for Teaching Economics are abstracted. The aim of this annual competition is to discover outstanding classroom teaching practices while encouraging teachers to include and improve economics instruction in the classroom. Citations are contained in separate…

  16. Current research on aviation weather (bibliography)

    NASA Technical Reports Server (NTRS)

    Durham, D. E.; Frost, W.

    1978-01-01

    This bibliography of 326 readily usable references of basic and applied research programs related to the various areas of aviation meteorology was assembled. A literature search was conducted which surveyed the major abstract publications such as the International Aerospace Abstracts, the Meteorological and Geoastrophysical Abstracts, and the Scientific and Technical Aerospace Reports. In addition, NASA and DOT computer literature searches were run; and NASA, NOAA, and FAA research project managers were requested to provide writeups on their ongoing research.

  17. Program and Abstracts, Boron Americas IX Final Report

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

    Feakes, Debra A.

    The Scientific and Technical Information (STI) submitted includes the final report and a collection of abstracts for the Ninth Boron in the Americas Conference which was held May 19-22, 2004, in San Marcos, Texas. The topics covered in the abstracts include: Application in Medicine, Application in Organic Synthesis and Catalysis, Boranes and Carboranes, Materials and Polymers, Metallaboranes and Metallacarboranes, Organoboron Compounds, Synthesis and Catalysis, and Theoretical Studies. Attendees represented researchers from government, industry, and academia.

  18. Concrete Model Checking with Abstract Matching and Refinement

    NASA Technical Reports Server (NTRS)

    Pasareanu Corina S.; Peianek Radek; Visser, Willem

    2005-01-01

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

  19. 76 FR 30186 - Proposed Information Collection; Migratory Birds and Wetlands Conservation Grant Programs

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-05-24

    ... 7C] Proposed Information Collection; Migratory Birds and Wetlands Conservation Grant Programs AGENCY...). SUPPLEMENTARY INFORMATION: I. Abstract The Division of Bird Habitat Conservation administers grant programs... Migratory Bird Conservation Act (NMBCA), Public Law 106-247. Currently, information that we collect for...

  20. 75 FR 24732 - Agency Information Collection Activities: Submission for OMB Review; Comment Request, OMB No...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-05-05

    ...; Hazard Mitigation Grant Program Application and Reporting AGENCY: Federal Emergency Management [email protected] . SUPPLEMENTARY INFORMATION: Collection of Information Title: Hazard Mitigation Grant... Titles and Numbers: No Form. Abstract: The Hazard Mitigation Grant Program is a post-disaster program...

  1. Abstract quantum computing machines and quantum computational logics

    NASA Astrophysics Data System (ADS)

    Chiara, Maria Luisa Dalla; Giuntini, Roberto; Sergioli, Giuseppe; Leporini, Roberto

    2016-06-01

    Classical and quantum parallelism are deeply different, although it is sometimes claimed that quantum Turing machines are nothing but special examples of classical probabilistic machines. We introduce the concepts of deterministic state machine, classical probabilistic state machine and quantum state machine. On this basis, we discuss the question: To what extent can quantum state machines be simulated by classical probabilistic state machines? Each state machine is devoted to a single task determined by its program. Real computers, however, behave differently, being able to solve different kinds of problems. This capacity can be modeled, in the quantum case, by the mathematical notion of abstract quantum computing machine, whose different programs determine different quantum state machines. The computations of abstract quantum computing machines can be linguistically described by the formulas of a particular form of quantum logic, termed quantum computational logic.

  2. Programming with models: modularity and abstraction provide powerful capabilities for systems biology

    PubMed Central

    Mallavarapu, Aneil; Thomson, Matthew; Ullian, Benjamin; Gunawardena, Jeremy

    2008-01-01

    Mathematical models are increasingly used to understand how phenotypes emerge from systems of molecular interactions. However, their current construction as monolithic sets of equations presents a fundamental barrier to progress. Overcoming this requires modularity, enabling sub-systems to be specified independently and combined incrementally, and abstraction, enabling generic properties of biological processes to be specified independently of specific instances. These, in turn, require models to be represented as programs rather than as datatypes. Programmable modularity and abstraction enables libraries of modules to be created, which can be instantiated and reused repeatedly in different contexts with different components. We have developed a computational infrastructure that accomplishes this. We show here why such capabilities are needed, what is required to implement them and what can be accomplished with them that could not be done previously. PMID:18647734

  3. Programming with models: modularity and abstraction provide powerful capabilities for systems biology.

    PubMed

    Mallavarapu, Aneil; Thomson, Matthew; Ullian, Benjamin; Gunawardena, Jeremy

    2009-03-06

    Mathematical models are increasingly used to understand how phenotypes emerge from systems of molecular interactions. However, their current construction as monolithic sets of equations presents a fundamental barrier to progress. Overcoming this requires modularity, enabling sub-systems to be specified independently and combined incrementally, and abstraction, enabling generic properties of biological processes to be specified independently of specific instances. These, in turn, require models to be represented as programs rather than as datatypes. Programmable modularity and abstraction enables libraries of modules to be created, which can be instantiated and reused repeatedly in different contexts with different components. We have developed a computational infrastructure that accomplishes this. We show here why such capabilities are needed, what is required to implement them and what can be accomplished with them that could not be done previously.

  4. Small Business Innovation Research. Abstracts of Phase I awards, 1999

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

    None

    1999-12-01

    This booklet presents technical abstracts of Phase I awards made in Fiscal Year (FY) 1999 under the DOE Small Business Innovation Research (SBIR) program. SBIR research explores innovative concepts in important technological and scientific areas that can lead to valuable new technology and products. The work described in the abstracts is novel, high-risk research, but the benefits will also be potentially high if the objectives are met. Brief comments on the potential applications, as described by the awardee, are given after each abstract. Individuals and organizations, including venture capital and larger industrial firms, with an interest in the research describedmore » in any of the abstracts are encouraged to contact the appropriate small business directly.« less

  5. Hot Idea or Hot Air: A Systematic Review of Evidence for Two Widely Marketed Youth Suicide Prevention Programs and Recommendations for Implementation

    PubMed Central

    Wei, Yifeng; Kutcher, Stan; LeBlanc, John C.

    2015-01-01

    Introduction: Youth suicide is highly related to mental disorders. While communities and schools are marketed to with a plethora of suicide prevention programs, they often lack the capacity to choose evidence-based programs. Methods: We conducted a systematic review of two youth suicide prevention programs to help determine if the quality of evidence available justifies their wide spread dissemination. We searched Medline, PsycINFO, EMBASE, CINAHL, the Cochrane Library, Campbell Collaboration SPECTR database, SocIndex, Sociological Abstracts, Social Services Abstracts, ERIC, Social Work Abstracts, Research Library, and Web of Science, for relevant studies. We included studies/systematic reviews/meta-analysis that evaluated the effectiveness, cost-effectiveness, and/or safety of Signs of Suicide (SOS) and Yellow Ribbon (YR) suicide prevention programs that target adolescents. We applied the Office of Justice Program What Works Repository (OJP-R) to evaluate the quality of the included studies as effective, effective with reservation, promising, inconclusive evidence, insufficient evidence, and ineffective. Two SOS studies were ranked as “inconclusive evidence” based on the OJP-R. One SOS study was ranked as having “insufficient evidence” on OJP-R. The YR study was ranked as “ineffective” using OJP-R. We only included studies in peer-reviewed journals in English and therefore may have missed reports in grey literature or non-English publications. Results: We cannot recommend that schools and communities implement either the SOS or YR suicide prevention programs. Purchasers of these programs should be aware that there is no evidence that their use prevents suicide. Conclusions: Academics and organizations should not overstate the positive impacts of suicide prevention interventions when the evidence is lacking. PMID:26336375

  6. Planning for Life. A Compendium of Nationally Recognized Career Planning Programs.

    ERIC Educational Resources Information Center

    National Consortium of State Career Guidance Supervisors, Columbus, OH.

    This compendium, which is designed to provide readers with a variety of career planning (CP) program ideas, contains abstracts summarizing 10 elementary, middle, and high school CP programs identified as exemplary by a national review team. Explained in chapter 1 are the primary objectives of the Planning for Life program, which is jointly…

  7. Active Participation of Integrated Development Environments in the Teaching of Object-Oriented Programming

    ERIC Educational Resources Information Center

    Depradine, Colin; Gay, Glenda

    2004-01-01

    With the strong link between programming and the underlying technology, the incorporation of computer technology into the teaching of a programming language course should be a natural progression. However, the abstract nature of programming can make such integration a difficult prospect to achieve. As a result, the main development tool, the…

  8. Automated Program Recognition by Graph Parsing

    DTIC Science & Technology

    1992-07-01

    structures (cliches) in a program can help an experienced programmer understand the program. Based on the known relationships between the clichis, a...Graph Parsing Linda Mary Wills Abstract The recognition of standard computational structures (cliches) in a program can help an experienced programmer...3.4.1 Structure -Sharing ....... ............................ 76 3.4.2 Aggregation ....................................... 80 2 3.5 Chart Parsing Flow

  9. BigDataScript: a scripting language for data pipelines.

    PubMed

    Cingolani, Pablo; Sladek, Rob; Blanchette, Mathieu

    2015-01-01

    The analysis of large biological datasets often requires complex processing pipelines that run for a long time on large computational infrastructures. We designed and implemented a simple script-like programming language with a clean and minimalist syntax to develop and manage pipeline execution and provide robustness to various types of software and hardware failures as well as portability. We introduce the BigDataScript (BDS) programming language for data processing pipelines, which improves abstraction from hardware resources and assists with robustness. Hardware abstraction allows BDS pipelines to run without modification on a wide range of computer architectures, from a small laptop to multi-core servers, server farms, clusters and clouds. BDS achieves robustness by incorporating the concepts of absolute serialization and lazy processing, thus allowing pipelines to recover from errors. By abstracting pipeline concepts at programming language level, BDS simplifies implementation, execution and management of complex bioinformatics pipelines, resulting in reduced development and debugging cycles as well as cleaner code. BigDataScript is available under open-source license at http://pcingola.github.io/BigDataScript. © The Author 2014. Published by Oxford University Press.

  10. BigDataScript: a scripting language for data pipelines

    PubMed Central

    Cingolani, Pablo; Sladek, Rob; Blanchette, Mathieu

    2015-01-01

    Motivation: The analysis of large biological datasets often requires complex processing pipelines that run for a long time on large computational infrastructures. We designed and implemented a simple script-like programming language with a clean and minimalist syntax to develop and manage pipeline execution and provide robustness to various types of software and hardware failures as well as portability. Results: We introduce the BigDataScript (BDS) programming language for data processing pipelines, which improves abstraction from hardware resources and assists with robustness. Hardware abstraction allows BDS pipelines to run without modification on a wide range of computer architectures, from a small laptop to multi-core servers, server farms, clusters and clouds. BDS achieves robustness by incorporating the concepts of absolute serialization and lazy processing, thus allowing pipelines to recover from errors. By abstracting pipeline concepts at programming language level, BDS simplifies implementation, execution and management of complex bioinformatics pipelines, resulting in reduced development and debugging cycles as well as cleaner code. Availability and implementation: BigDataScript is available under open-source license at http://pcingola.github.io/BigDataScript. Contact: pablo.e.cingolani@gmail.com PMID:25189778

  11. Improving Strategies via SMT Solving

    NASA Astrophysics Data System (ADS)

    Gawlitza, Thomas Martin; Monniaux, David

    We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widening operators for enforcing convergence within a finite number of iterations (ii) the use of merge operations (often, convex hulls) at the merge points of the control flow graph. It instead computes the least inductive invariant expressible in the domain at a restricted set of program points, and analyzes the rest of the code en bloc. We emphasize that we compute this inductive invariant precisely. For that we extend the strategy improvement algorithm of Gawlitza and Seidl [17]. If we applied their method directly, we would have to solve an exponentially sized system of abstract semantic equations, resulting in memory exhaustion. Instead, we keep the system implicit and discover strategy improvements using SAT modulo real linear arithmetic (SMT). For evaluating strategies we use linear programming. Our algorithm has low polynomial space complexity and performs for contrived examples in the worst case exponentially many strategy improvement steps; this is unsurprising, since we show that the associated abstract reachability problem is Π2 P -complete.

  12. Defense Small Business Innovation Research Program (SBIR). Volume 4. ARPA, DNA, BMDO, and SOC0M Abstracts of Phase 1 Awards 1993

    DTIC Science & Technology

    1993-01-01

    C-R248 Phone: (619) 455-9741 PI: DAVID ANDING Title: Method for Incorporating High -Fidelity Engineering Models Into Distributed Simulations Abstract...Ferroelectric Capacitors for Pulse Power Electronics Abstract: High -density energy storage and fast discharge will be critical in a variety of high ...to meet the design objectives of High Energy Density Capacitors (HEDC) for energy storage in pulsed power systems (15 to 45 mJ/kg). In the proposed

  13. Developing great abstracts and posters: how to use the tools of science communication.

    PubMed

    Bingham, Raymond; O'Neal, Daniel

    2013-01-01

    All nurses, clinicians and researchers are encouraged to share information on the programs they develop or the studies they conduct. This communication serves to advance the knowledge and clinical wisdom of the nursing and other health care professions. One way to do this is to submit an abstract or poster to a conference, where you can present your findings to other health care professionals. This article gives useful tips for developing successful abstracts and posters. © 2013 AWHONN.

  14. 78 FR 42950 - Agency Information Collection Activities; Submission to OMB for Review and Approval; Public...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-07-18

    ...: Women's Health and Mindfulness Program. Abstract: The Women's Health and Mindfulness (WHAM) program... mindfulness-based stress reduction, nutrition, and physical activity that will be evaluated for its...

  15. 77 FR 14726 - Information Collection Request; Economic Assessment of Conservation Reserve Program Lands for...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-03-13

    ... improve CRP selection criteria and program implementation. Having information on recreation-related jobs... Hunting. OMB Control Number: 0560-NEW. Type of Request: New. Abstract: As specified in the Food...

  16. Discovering and Analyzing Network Function and Structure

    DTIC Science & Technology

    2015-07-08

    Program Manager currently assigned to the award James Lawton Reporting Period Start Date 04/01/2012 Reporting Period End Date 03/31/2015 Abstract This award...any): Change in AFOSR Program Manager, if any: The program manager is now James Lawton . When this award began, it was Robert Bonneau. Extensions

  17. 78 FR 77136 - Agency Information Collection Activities: Proposed Collection: Public Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-12-20

    .... Information Collection Request Title: NURSE Corps Loan Repayment Program OMB No. 0915-0140--Revision Abstract: The NURSE Corps Loan Repayment Program (NURSE Corps LRP), formerly known as the Nursing Education Loan Repayment Program (NELRP), assists in the recruitment and retention of professional Registered Nurses (RNs...

  18. 78 FR 46597 - Agency Information Collection Activities: State Water Resources Research Institute Program Annual...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-08-01

    ... Activities: State Water Resources Research Institute Program Annual Application and Reporting AGENCY: U.S....gov . SUPPLEMENTARY INFORMATION: Title: State Water Resources Research Institute Program Annual.... Abstract The Water Resources Research Act of 1984, as amended (42 U.S.C. 10301 et seq.), authorizes a water...

  19. Information Processing Techniques Program. Volume II. Communications- Adaptive Internetting

    DTIC Science & Technology

    1977-09-30

    LABORATORY INFORMATION PROCESSING TECHNIQUES PROGRAM VOLUME II: COMMUNICATIONS-ADAPTIVE INTERNETTING I SEMIANNUAL TECHNICAL SUMMARY REPORT TO THE...MASSACHUSETTS ABSTRACT This repori describes work performed on the Communications-Adaptive Internetting program sponsored by the Information ... information processing techniques network speech terminal communicatlons-adaptive internetting 04 links digital voice communications time-varying

  20. Beacon- and Schema-Based Method for Recognizing Algorithms from Students' Source Code

    ERIC Educational Resources Information Center

    Taherkhani, Ahmad; Malmi, Lauri

    2013-01-01

    In this paper, we present a method for recognizing algorithms from students programming submissions coded in Java. The method is based on the concept of "programming schemas" and "beacons". Schemas are high-level programming knowledge with detailed knowledge abstracted out, and beacons are statements that imply specific…

  1. Catalog of Promising Educational Programs and Practices 1972-1973.

    ERIC Educational Resources Information Center

    Phillips, Jarvis S.; Chappelle, William D.

    The abstracts in this collection describe selected programs operating in public schools during 1972-73. Locally devised and implemented, these programs for grades kindergarten through twelve were selected for their probable general interest and use. The subject areas included are administrative services, art, business, language arts, general…

  2. Computer Programs in Marine Science: Key to Oceanographic Records Documentation No. 5.

    ERIC Educational Resources Information Center

    Firestone, Mary A.

    Presented are abstracts of 700 computer programs in marine science. The programs listed are categorized under a wide range of headings which include physical oceanography, chemistry, coastal and estuarine processes, biology, pollution, air-sea interaction and heat budget, navigation and charting, curve fitting, and applied mathematics. The…

  3. Computer-Assisted Instruction Guide.

    ERIC Educational Resources Information Center

    Entelek, Inc., Newburyport, MA.

    Provided is a compilation of abstracts of currently available computer-assisted instructional (CAI) programs. The guide contains the specifications of all operational CAI programs that have come under the surveillance of ENTELEK's CAI Information Exchange since its establishment in 1965. A total of 226 CAI programs by 160 authors at 38 CAI centers…

  4. 78 FR 77418 - Notice of Request for Revision of a Currently Approved Information Collection

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-12-23

    ... to a currently approved information collection for the Advanced Biofuel Payment Program. DATES... INFORMATION: Title: Advanced Biofuel Payment Program. OMB Number: OMB No. 0570-0063. Expiration Date of... collection. Abstract: The Advanced Biofuel Payment Program was authorized under section 9005 of Title IX of...

  5. A system for diagnosis, referral, and rehabilitation of persons convicted of driving while intoxicated : a special rehabilitation program for multiple offenders

    DOT National Transportation Integrated Search

    1977-11-01

    A rehabilitation program is presented for multiple DWI offenders. The program includes education related to alcohol use and abuse and therapeutic activities to help a client learn new techniques for living and alternatives to alcohol abuse. /Abstract...

  6. Scalable and Precise Abstraction of Programs for Trustworthy Software

    DTIC Science & Technology

    2017-01-01

    calculus for core Java. • 14 months: A systematic abstraction of core Java. • 18 months: A security auditor for core Java. • 24 months: A contract... auditor for full Java. • 42 months: A web-deployed service for security auditing. Approved for Public Release; Distribution Unlimited 4 4.0 RESULTS

  7. LIS Dissertation Titles and Abstracts (1930-2009): Where Have All the Librar* Gone?

    ERIC Educational Resources Information Center

    Finlay, Craig S.; Sugimoto, Cassidy R.; Li, Daifeng; Russell, Terrell G.

    2012-01-01

    This article examines the topicality of Library and Information Science (LIS) dissertations written between 1930 and 2009 at schools with American Library Association (ALA)--accredited university programs in North America. Dissertation titles and abstracts were examined for the presence of library-related keywords drawn from the core curricula of…

  8. Secretarial Science. Curriculum Guides for Two-Year Postsecondary Programs. Volume II.

    ERIC Educational Resources Information Center

    North Carolina State Dept. of Community Colleges, Raleigh.

    The second of three volumes in a postsecondary secretarial science curriculum, this manual contains course syllabi and abstracts of twenty-three courses included in the curriculum. Business and related courses abstracted include Introduction to Business, Business Mathematics, Business Law 1, Economics 1, and Survey of Data Processing Systems.…

  9. Alcohol and Drug Research in California 1987.

    ERIC Educational Resources Information Center

    Lowe, Lois L., Comp.

    Abstracts of 130 research projects in alcohol and drug programs in California are presented in this document. The projects described in this directory show the extent and diversity of current alcohol and drug research within the state. Each abstract lists the principal investigator with his or her title, institution, and address; co-principal…

  10. Leadership Abstracts, Volume 2, Numbers 1-21, 1989.

    ERIC Educational Resources Information Center

    Doucette, Don, Ed.

    This series of abstracts from the League for Innovation in the Community College and the Community College Leadership Program is published approximately bimonthly and distributed to the chief executive officer of every two-year college in the United States and Canada. Addressing a variety of topics of interest to community college administrators,…

  11. Reports of planetary geology program, 1977-1978

    NASA Technical Reports Server (NTRS)

    Strom, R. (Compiler); Boyce, J. (Compiler); Boss, A. P.; Peale, S. J.; Alfven, H.; Cameron, A. G. W.; Sonett, C. P.; Shoemaker, E. M.; Helin, E. F.; Carusi, A.

    1978-01-01

    A compilation of abstracts of reports which summarizes work conducted by Planetary Geology Principal Investigators and their associates is presented. Full reports of these abstracts were presented to the annual meeting of Planetary Geology Principal Investigators and their associates at the Universtiy of Arizona, Tucson, Arizona, May 31, June 1 and 2, 1978.

  12. Leadership Abstracts, Volume 3, Numbers 1-20, 1990.

    ERIC Educational Resources Information Center

    Doucette, Don, Ed.

    This series of abstracts from the League for Innovation in the Community College and the Community College Leadership Program is published approximately bimonthly and distributed to the chief executive officer of every two-year college in the United States and Canada. Addressing a variety of topics of interest to community college administrators,…

  13. Urban children and nature: a summary of research on camping and outdoor education

    Treesearch

    William R., Jr. Burch

    1977-01-01

    This paper reports the preliminary findings of an extensive bibliographic search that identified studies or urban children in camp and outdoor education programs. These studies were systematically abstracted and classified qualitative or quantitative. Twenty-five percent of the abstracted studies were quantitative. The major findings, techniques of study, and policy...

  14. Department of Defense / General Services Administration / National...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-12-20

    ... ADMINISTRATION (FAR) Final Rule Stage 492. FAR CASE 2006-005, HUBZONE PROGRAM REVISIONS Legal Authority: 40 USC 121(c); 10 USC ch 137; 42 USC 2473(c) Abstract: The Civilian Agency Acquisition Council and the... REPORTING PROCEDURES Legal Authority: 40 USC 121(c); 10 USC ch 137; 42 USC 2473(c) Abstract: The Civilian...

  15. THE U.S. ENVIRONMENTAL PROTECTION AGENCY PARTICULATE MATTER HEALTH EFFECTS RESEARCH CENTERS PROGRAM: A MIDCOURSE REPORT OF STATUS, PROGRESS, AND PLANS. (R827351)

    EPA Science Inventory

    The perspectives, information and conclusions conveyed in research project abstracts, progress reports, final reports, journal abstracts and journal publications convey the viewpoints of the principal investigator and may not represent the views and policies of ORD and EPA. Concl...

  16. Concepts of Concurrent Programming

    DTIC Science & Technology

    1990-04-01

    to the material presented. Carriero89 Carriero, N., and Gelernter, D. " How to Write Parallel Programs : A Guide to the Perplexed." ACM...between the architectures on which programs can be executed and the application domains from which problems are drawn. Our goal is to show how programs ...Sept. 1989), 251-510. Abstract: There are four papers: 1. Programming Languages for Distributed Computing Systems (52); 2. How to Write Parallel

  17. A perspective of preconception health activities in the United States.

    PubMed

    Boulet, Sheree L; Johnson, Kay; Parker, Christopher; Posner, Samuel F; Atrash, Hani

    2006-09-01

    Information regarding the type and scope of preconception care programs in the United States is scant. We evaluated State Title V measurement and indicator data and abstracts presented at the National Summit on Preconception Care (June 2005) in order to identify existing programs and innovative strategies for preconception health promotion. We used the web-based Title V Information System to identify state Performance Measures and Priority Needs pertaining to preconception health as reported for the 2005-2010 Needs Assessment Cycle. We also present a detailed summary of the abstracts presented at the National Summit on Preconception Care. A total of 23 states reported a Priority Need that focused on preconception health and health care. Forty-two states and jurisdictions identified a Performance Measure associated with preconception health or a related indicator (e.g., folic acid, birth spacing, family planning, unintended pregnancy, and healthy weight). Nearly 60 abstracts pertaining to preconception care were presented at the National Summit and included topics such as research, programs, patient or provider toolkits, clinical practice strategies, and public policy. Strategies for improving preconception health have been incorporated into numerous programs throughout the United States. Widespread recognition of the benefits of preconception health promotion is evidenced by the number of states identifying related indicators.

  18. UFO (UnFold Operator) computer program abstract

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

    Kissel, L.; Biggs, F.

    UFO (UnFold Operator) is an interactive user-oriented computer program designed to solve a wide range of problems commonly encountered in physical measurements. This document provides a summary of the capabilities of version 3A of UFO.

  19. Reports of Planetary Geology and Geophysics Program, 1990

    NASA Technical Reports Server (NTRS)

    1991-01-01

    Abstracts of reports from NASA's Planetary Geology and Geophysics Program are presented. Research is documented in summary form of the work conducted. Each report reflects significant accomplishments within the area of the author's funded grant or contract.

  20. Review of the literature and programs for pedestrian and bicyclist conspicuity

    DOT National Transportation Integrated Search

    1984-04-01

    Author's abstract: This report reviews literature bearing upon the problem of pedestrian and bicyclist conspicuity, and discusses the activities and accomplishments of various programs conducted to enhance the conspicuity of pedestrians and bicyclist...

  1. Automated Environment Generation for Software Model Checking

    NASA Technical Reports Server (NTRS)

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

    2003-01-01

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

  2. From Petascale to Exascale: Eight Focus Areas of R&D Challenges for HPC Simulation Environments

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

    Springmeyer, R; Still, C; Schulz, M

    2011-03-17

    Programming models bridge the gap between the underlying hardware architecture and the supporting layers of software available to applications. Programming models are different from both programming languages and application programming interfaces (APIs). Specifically, a programming model is an abstraction of the underlying computer system that allows for the expression of both algorithms and data structures. In comparison, languages and APIs provide implementations of these abstractions and allow the algorithms and data structures to be put into practice - a programming model exists independently of the choice of both the programming language and the supporting APIs. Programming models are typically focusedmore » on achieving increased developer productivity, performance, and portability to other system designs. The rapidly changing nature of processor architectures and the complexity of designing an exascale platform provide significant challenges for these goals. Several other factors are likely to impact the design of future programming models. In particular, the representation and management of increasing levels of parallelism, concurrency and memory hierarchies, combined with the ability to maintain a progressive level of interoperability with today's applications are of significant concern. Overall the design of a programming model is inherently tied not only to the underlying hardware architecture, but also to the requirements of applications and libraries including data analysis, visualization, and uncertainty quantification. Furthermore, the successful implementation of a programming model is dependent on exposed features of the runtime software layers and features of the operating system. Successful use of a programming model also requires effective presentation to the software developer within the context of traditional and new software development tools. Consideration must also be given to the impact of programming models on both languages and the associated compiler infrastructure. Exascale programming models must reflect several, often competing, design goals. These design goals include desirable features such as abstraction and separation of concerns. However, some aspects are unique to large-scale computing. For example, interoperability and composability with existing implementations will prove critical. In particular, performance is the essential underlying goal for large-scale systems. A key evaluation metric for exascale models will be the extent to which they support these goals rather than merely enable them.« less

  3. Understanding Computational Thinking before Programming: Developing Guidelines for the Design of Games to Learn Introductory Programming through Game-Play

    ERIC Educational Resources Information Center

    Kazimoglu, Cagin; Kiernan, Mary; Bacon, Liz; MacKinnon, Lachlan

    2011-01-01

    This paper outlines an innovative game-based approach to learning introductory programming that is grounded in the development of computational thinking at an abstract conceptual level, but also provides a direct contextual relationship between game-play and learning traditional introductory programming. The paper proposes a possible model for,…

  4. Distinguishing Man from Molecules: The Distinctiveness of Medical Concepts at Different Levels of Description

    PubMed Central

    Cole, William G.; Michael, Patricia; Blois, Marsden S.

    1987-01-01

    A computer program was created to use information about the statistical distribution of words in journal abstracts to make probabilistic judgments about the level of description (e.g. molecular, cell, organ) of medical text. Statistical analysis of 7,409 journal abstracts taken from three medical journals representing distinct levels of description revealed that many medical words seem to be highly specific to one or another level of description. For example, the word adrenoreceptors occurred only in the American Journal of Physiology, never in Journal of Biological Chemistry or in Journal of American Medical Association. Such highly specific words occured so frequently that the automatic classification program was able to classify correctly 45 out of 45 test abstracts, with 100% confidence. These findings are interpreted in terms of both a theory of the structure of medical knowledge and the pragmatics of automatic classification.

  5. Reports of planetary geology and geophysics program, 1988

    NASA Technical Reports Server (NTRS)

    Holt, Henry E. (Editor)

    1989-01-01

    This is a compilation of abstracts of reports from Principal Investigators of NASA's Planetary Geology and Geophysics Program, Office of Space Science and Applications. The purpose is to document in summary form research work conducted in this program during 1988. Each report reflects significant accomplishments within the area of the author's funded grant or contract.

  6. 78 FR 11857 - Agency Information Collection Activities; Comment Request; William D. Ford Federal Direct Loan...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-02-20

    ...; Comment Request; William D. Ford Federal Direct Loan Program (DL) Regulations AGENCY: Department of... in response to this notice will be considered public records. Title of Collection: William D. Ford.... Abstract: The William D. Ford Federal Direct Loan Program regulations cover areas of program administration...

  7. Visualizing the Complex Process for Deep Learning with an Authentic Programming Project

    ERIC Educational Resources Information Center

    Peng, Jun; Wang, Minhong; Sampson, Demetrios

    2017-01-01

    Project-based learning (PjBL) has been increasingly used to connect abstract knowledge and authentic tasks in educational practice, including computer programming education. Despite its promising effects on improving learning in multiple aspects, PjBL remains a struggle due to its complexity. Completing an authentic programming project involves a…

  8. 75 FR 25025 - 60-Day Notice of Proposed Information Collection: Exchange Programs Alumni Web Site Registration...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-05-06

    ...: Exchange Programs Alumni Web Site Registration, DS-7006 ACTION: Notice of request for public comments... the Paperwork Reduction Act of 1995. Title of Information Collection: Exchange Programs Alumni Web... techniques or other forms of technology. Abstract of proposed collection: The State Alumni Web site requires...

  9. 77 FR 24488 - Agency Information Collection Activities; Submission to OMB for Review and Approval; Comment...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-04-24

    ... Activities; Submission to OMB for Review and Approval; Comment Request; Landfill Methane Outreach Program... the electronic docket, go to www.regulations.gov . Title: Landfill Methane Outreach Program (Renewal... consolidated in 40 CFR part 9. Abstract: The Landfill Methane Outreach Program (LMOP), created by EPA as part...

  10. Impact of Augmented Reality on Programming Language Learning: Efficiency and Perception

    ERIC Educational Resources Information Center

    Teng, Chin-Hung; Chen, Jr-Yi; Chen, Zhi-Hong

    2018-01-01

    Although the learning of programming language is critical in science and technology education, it might be difficult for some students, especially novices. One possible reason might be the fact that programming language, especially for three-dimensional (3D) applications, is too complex and abstract for these students to understand. Programming…

  11. Feasibility study of an Integrated Program for Aerospace vehicle Design (IPAD). Volume 5: Catalog of IPAD technical program elements

    NASA Technical Reports Server (NTRS)

    Gillette, W. B. (Editor); Southall, J. W. (Editor)

    1973-01-01

    The catalog is presented of technical program elements which are required to support the design activities for a subsonic and supersonic commercial transport. Information for each element consists of usage and storage information, ownership, status and an abstract describing the purpose of the element.

  12. Reports of Planetary Geology and Geophysics Program, 1986

    NASA Technical Reports Server (NTRS)

    1987-01-01

    Abstracts compiled from reports from Principal Investigators of the NASA Planetary Geology and Geophysics Program, Office of Space Science and Applications are presented. The purpose is to document in summary form work conducted in this program during 1986. Each report reflects significant accomplishments within the area of the author's funded grant or contract.

  13. 75 FR 42762 - Agency Information Collection Activities: Proposed Collection; Comment Request, OMB No. 1660-0015...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-07-22

    ... Amendments to National Flood Insurance Program Maps (Spanish). SUMMARY: The Federal Emergency Management... Insurance Program Maps (Spanish). Abstract: This collection of information allows owners of structures that... National Flood Insurance Program Maps (Spanish)/ FEMA Form 086-0-22A. Subtotal 18,775 18,775 22,530 659,228...

  14. 75 FR 24723 - Agency Information Collection Activities: Proposed Collection; Comment Request, 1660-0037...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-05-05

    ... Insurance Program Maps (Spanish). SUMMARY: The Federal Emergency Management Agency, as part of its... Flood Insurance Program Maps (Spanish). Abstract: FEMA Forms 086-0-22 and 086-0-22A are designed to...,389 Single Residential Lot or Structure Amendments to National Flood Insurance Program Maps (Spanish...

  15. Reports of planetary geology and geophysics program, 1987

    NASA Technical Reports Server (NTRS)

    1988-01-01

    This is a compilation of abstracts of reports from Principal Investigators of NASA's PLanetary Geology and Geophysics program, Office of Space Science and Applications. The purpose is to document in summary form research work conducted in this program during 1987. Each report reflects significant accomplishments in the area of the author's funded grant or contract.

  16. ENVIRONMENTAL HELATH INDICATORS-DIVERSE PROGRAMS, COMMON METHODOLOGICAL CHALLENGES

    EPA Science Inventory

    Abstract: Environmental Health Indicators are quantitative measures of important environmental health factors that can be used to identify specific areas and populations for intervention and prevention efforts and to evaluate the outcomes of implemented policies or programs for ...

  17. Ames Research Center Publications: A Continuing Bibliography

    NASA Technical Reports Server (NTRS)

    1981-01-01

    The Ames Research Center Publications: A Continuing Bibliography contains the research output of the Center indexed during 1981 in Scientific and Technical Aerospace Reports (STAR), Limited Scientific and Technical Aerospace Reports (LSTAR), International Aerospace Abstracts (IAA), and Computer Program Abstracts (CPA). This bibliography is published annually in an attempt to effect greater awareness and distribution of the Center's research output.

  18. Biennial Conference on Chemical Education, Abstracts (11th, Atlanta, Georgia, August 5-9, 1990).

    ERIC Educational Resources Information Center

    Mellon, E. K.; Pulliam, E. J.

    This publication includes more than 470 abstracts of papers scheduled to be presented at a chemical education conference. Topics of the papers include: (1) human impact on the environment; (2) technology; (3) forensic science; (4) paper chemistry; (5) computer interfacing, software, videodisc and graphics; (6) faculty enhancement programs; (7)…

  19. Teaching with Concrete and Abstract Visual Representations: Effects on Students' Problem Solving, Problem Representations, and Learning Perceptions

    ERIC Educational Resources Information Center

    Moreno, Roxana; Ozogul, Gamze; Reisslein, Martin

    2011-01-01

    In 3 experiments, we examined the effects of using concrete and/or abstract visual problem representations during instruction on students' problem-solving practice, near transfer, problem representations, and learning perceptions. In Experiments 1 and 2, novice students learned about electrical circuit analysis with an instructional program that…

  20. Solid Waste Management: Abstracts and Excerpts From the Literature. Volumes 1 and 2.

    ERIC Educational Resources Information Center

    Golueke, C. G.

    The collection presented in this report represents a summary of literature gathered over a period of more than 15 years by the Sanitary Engineering Research Laboratory of the University of California and abstracted as the first step in a program of definitive research in the planning, systems, economic, health, and technological aspects of…

  1. Technology and the Polity. Harvard University Program on Technology and Society; Research Review Number Four.

    ERIC Educational Resources Information Center

    Taviss, Irene, Ed.; Burbank, Judith, Ed.

    A small number of selected books and articles which deal with the impact of technological advancement on the American political structure have been abstracted for this document. Materials were chosen for abstracting which presented a significant analysis of issues, a useful compilation of data, or which are representative of different outlooks and…

  2. Maternal and Child Health Research Program. Completed Projects 1989, 1990, and 1991.

    ERIC Educational Resources Information Center

    National Center for Education in Maternal and Child Health, Arlington, VA.

    This publication describes 33 research projects supported by the federal Maternal and Child Health Bureau and completed in 1989, 1990, and 1991. It is the third edition in a series of collected abstracts of completed maternal and child health research projects. Each project abstract contains the name of the grantee, name and address of the…

  3. SERS internship fall 1995 abstracts and research papers

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

    Davis, Beverly

    1996-05-01

    This report is a compilation of twenty abstracts and their corresponding full papers of research projects done under the US Department of Energy Science and Engineering Research Semester (SERS) program. Papers cover a broad range of topics, for example, environmental transport, supercomputers, databases, biology. Selected papers were indexed separately for inclusion the the Energy Science and Technology Database.

  4. Dissertation Research in School Psychology: Changes in Topics and Methodology over the Past 25 Years

    ERIC Educational Resources Information Center

    Lekwa, Adam; Ysseldyke, Jim

    2010-01-01

    Eighty school psychology programs offering training at the doctoral level were contacted with a request for lists of authors, titles, and abstracts of dissertations completed between the years 2000 and 2007. Titles and abstracts from 1119 dissertations were reviewed to assess the interests and experiences of new researchers and practitioners in…

  5. Analysis and synthesis of abstract data types through generalization from examples

    NASA Technical Reports Server (NTRS)

    Wild, Christian

    1987-01-01

    The discovery of general patterns of behavior from a set of input/output examples can be a useful technique in the automated analysis and synthesis of software systems. These generalized descriptions of the behavior form a set of assertions which can be used for validation, program synthesis, program testing and run-time monitoring. Describing the behavior is characterized as a learning process in which general patterns can be easily characterized. The learning algorithm must choose a transform function and define a subset of the transform space which is related to equivalence classes of behavior in the original domain. An algorithm for analyzing the behavior of abstract data types is presented and several examples are given. The use of the analysis for purposes of program synthesis is also discussed.

  6. International Conference on Hypertonic Resuscitation (6th) (SALT 6), Held in Teton Village, Wyoming on 2-3 Jun 1994. Program and Abstracts

    DTIC Science & Technology

    1994-10-01

    Furthermore, a systemic -wide incrL ase in capillary permeability raises the interstitial colloid osmotic pressure ([’i) and reverses the [’p-H’i gradient in...1:40 Mayuki Aibiki, Medical University of South Carolina Abstract #1 Role of Autonomic Nervous System in Acute Pressor Effects Induced by 3.5...YOUNES 33,36 Zwischenberger 21 Zwissler 35 SALT 6 Teton Village, Wyoming Abstract 1 ROLE OF AUTONOMIC NERVOUS SYSTEM IN ACUTE PRESSOR EFFECTS INDUCED BY

  7. Subsequent publication of oral and maxillofacial surgery meeting abstracts.

    PubMed

    Rodriguez, Joseph L; Laskin, Daniel M

    2012-05-01

    Previous studies in various medical specialties have shown that fewer than 50% of abstracts presented at meetings are subsequently published. The purpose of the present study was to determine the publication rate of abstracts presented at the annual meetings of the American Association of Oral and Maxillofacial Surgeons. The titles and authors of the abstracts from all oral abstract session presentations and posters by American contributors were collected from the Final Programs of the American Association of Oral and Maxillofacial Surgeons annual meetings for 2006 to 2009. A PubMed search for published articles through December 2010 was then performed using the authors' names, abstract titles, and key words. A total of 311 abstract presentations were done at the 4 annual meetings. Of these, only 85 (24%) were subsequently published. No difference was found between abstracts from oral or poster presentations. Most of the articles were published in the Journal of Oral and Maxillofacial Surgery. Because of deficiencies that can occur in abstracts and the need to disseminate the information they contain, it is important to take the appropriate measures to ensure that full articles are subsequently published. Copyright © 2012 American Association of Oral and Maxillofacial Surgeons. Published by Elsevier Inc. All rights reserved.

  8. Status Survey of Secondary School Home Economics Programs in the State of Wisconsin, 1972; Abstract of Status Survey.

    ERIC Educational Resources Information Center

    Monts, Elizabeth A.; And Others

    A survey of the middle and senior high school home economics teachers and principals in Wisconsin was conducted to identify the present status of the home economics program which would serve as a basis for future program development and staff education. To obtain an accurate description of the home economics program, questionnaires were developed…

  9. 75 FR 14124 - Information Collection Activity; Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-03-24

    ... DEPARTMENT OF AGRICULTURE Rural Utilities Service Information Collection Activity; Comment Request.... Title: Servicing of Water Programs Loans and Grants. OMB Control Number: 0572-0137. Type of Request: Extension of a currently approved information collection. Abstract: RUS' Water and Environmental Programs...

  10. A Strategy for Urban Astronomical Observatory Site Preservation: The Southern Arizona Example (Abstract)

    NASA Astrophysics Data System (ADS)

    Craine, E. R.; Craine, B. L.; Craine, P. R.; Craine, E. M.; Fouts, S.

    2014-12-01

    (Abstract only) Urbanized observatories are under financial pressures for numerous and complex reasons, including concerns that increasing sky brightness will continue to erode their scientific viability. The history of urbanized observatories is one of steady decline and divestiture. We argue that light at night (LAN) impacts of urban growth are inadequately understood, that current measurement techniques are incomplete in scope, and that both limit the effectiveness of mitigation programs. We give examples of these factors for Pima County, Arizona, and propose techniques and a program that could provide focus and power to mitigation efforts, and could extend the longevity of southern Arizona observatories.

  11. Energy sources for the future. Proceedings of a conference held July 7--25, 1975, in Oak Ridge, Tennessee

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

    Duggan, J.L.; Cloutier, R.J.

    For several summers the Special Training Division of Oak Ridge Associated Universities has conducted a three-week program on Energy Sources for the Future. Sponsored by the U. S. Energy Research and Development Administration, the program is designed for college professors teaching or planning to teach energy courses. Participants have represented most branches of science. The invited lecturers have also represented most scientific disciplines. Although expert in specific fields, the speakers have endeavored to present their topics in a manner comprehensible to scientists and educators unacquainted with the speaker's disciplines. In doing this, the speakers distributed numerous handouts, graphs, charts, etc.,more » that have already found their way into many lectures. Since the first summer energy program, participants have encouraged the course coordinators to compile the material for wider distribution. Although this volume represents only about half of the material presented during the July 1975 symposium, it will provide the reader with useful facts and respected opinions about this nation's energy status. (from Preface). Separate abstracts are included for all seventeen lectures for ERDA Energy Research Abstracts (ERA), and fourteen are included for Energy Abstracts for Policy Analysis (EAPA). (MCW)« less

  12. Physical principles for DNA tile self-assembly.

    PubMed

    Evans, Constantine G; Winfree, Erik

    2017-06-19

    DNA tiles provide a promising technique for assembling structures with nanoscale resolution through self-assembly by basic interactions rather than top-down assembly of individual structures. Tile systems can be programmed to grow based on logical rules, allowing for a small number of tile types to assemble large, complex assemblies that can retain nanoscale resolution. Such algorithmic systems can even assemble different structures using the same tiles, based on inputs that seed the growth. While programming and theoretical analysis of tile self-assembly often makes use of abstract logical models of growth, experimentally implemented systems are governed by nanoscale physical processes that can lead to very different behavior, more accurately modeled by taking into account the thermodynamics and kinetics of tile attachment and detachment in solution. This review discusses the relationships between more abstract and more physically realistic tile assembly models. A central concern is how consideration of model differences enables the design of tile systems that robustly exhibit the desired abstract behavior in realistic physical models and in experimental implementations. Conversely, we identify situations where self-assembly in abstract models can not be well-approximated by physically realistic models, putting constraints on physical relevance of the abstract models. To facilitate the discussion, we introduce a unified model of tile self-assembly that clarifies the relationships between several well-studied models in the literature. Throughout, we highlight open questions regarding the physical principles for DNA tile self-assembly.

  13. Abstraction and Assume-Guarantee Reasoning for Automated Software Verification

    NASA Technical Reports Server (NTRS)

    Chaki, S.; Clarke, E.; Giannakopoulou, D.; Pasareanu, C. S.

    2004-01-01

    Compositional verification and abstraction are the key techniques to address the state explosion problem associated with model checking of concurrent software. A promising compositional approach is to prove properties of a system by checking properties of its components in an assume-guarantee style. This article proposes a framework for performing abstraction and assume-guarantee reasoning of concurrent C code in an incremental and fully automated fashion. The framework uses predicate abstraction to extract and refine finite state models of software and it uses an automata learning algorithm to incrementally construct assumptions for the compositional verification of the abstract models. The framework can be instantiated with different assume-guarantee rules. We have implemented our approach in the COMFORT reasoning framework and we show how COMFORT out-performs several previous software model checking approaches when checking safety properties of non-trivial concurrent programs.

  14. ASSIST - THE ABSTRACT SEMI-MARKOV SPECIFICATION INTERFACE TO THE SURE TOOL PROGRAM (SUN VERSION)

    NASA Technical Reports Server (NTRS)

    Johnson, S. C.

    1994-01-01

    ASSIST, the Abstract Semi-Markov Specification Interface to the SURE Tool program, is an interface that will enable reliability engineers to accurately design large semi-Markov models. The user describes the failure behavior of a fault-tolerant computer system in an abstract, high-level language. The ASSIST program then automatically generates a corresponding semi-Markov model. The abstract language allows efficient description of large, complex systems; a one-page ASSIST-language description may result in a semi-Markov model with thousands of states and transitions. The ASSIST program also includes model-reduction techniques to facilitate efficient modeling of large systems. Instead of listing the individual states of the Markov model, reliability engineers can specify the rules governing the behavior of a system, and these are used to automatically generate the model. ASSIST reads an input file describing the failure behavior of a system in an abstract language and generates a Markov model in the format needed for input to SURE, the semi-Markov Unreliability Range Evaluator program, and PAWS/STEM, the Pade Approximation with Scaling program and Scaled Taylor Exponential Matrix. A Markov model consists of a number of system states and transitions between them. Each state in the model represents a possible state of the system in terms of which components have failed, which ones have been removed, etc. Within ASSIST, each state is defined by a state vector, where each element of the vector takes on an integer value within a defined range. An element can represent any meaningful characteristic, such as the number of working components of one type in the system, or the number of faulty components of another type in use. Statements representing transitions between states in the model have three parts: a condition expression, a destination expression, and a rate expression. The first expression is a Boolean expression describing the state space variable values of states for which the transition is valid. The second expression defines the destination state for the transition in terms of state space variable values. The third expression defines the distribution of elapsed time for the transition. The mathematical approach chosen to solve a reliability problem may vary with the size and nature of the problem. Although different solution techniques are utilized on different programs, it is possible to have a common input language. The Systems Validation Methods group at NASA Langley Research Center has created a set of programs that form the basis for a reliability analysis workstation. The set of programs are: SURE reliability analysis program (COSMIC program LAR-13789, LAR-14921); the ASSIST specification interface program (LAR-14193, LAR-14923), PAWS/STEM reliability analysis programs (LAR-14165, LAR-14920); and the FTC fault tree tool (LAR-14586, LAR-14922). FTC is used to calculate the top-event probability for a fault tree. PAWS/STEM and SURE are programs which interpret the same SURE language, but utilize different solution methods. ASSIST is a preprocessor that generates SURE language from a more abstract definition. SURE, ASSIST, and PAWS/STEM are also offered as a bundle. Please see the abstract for COS-10039/COS-10041, SARA - SURE/ASSIST Reliability Analysis Workstation, for pricing details. ASSIST was originally developed for DEC VAX series computers running VMS and was later ported for use on Sun computers running SunOS. The VMS version (LAR14193) is written in C-language and can be compiled with the VAX C compiler. The standard distribution medium for the VMS version of ASSIST is a 9-track 1600 BPI magnetic tape in VMSINSTAL format. It is also available on a TK50 tape cartridge in VMSINSTAL format. Executables are included. The Sun version (LAR14923) is written in ANSI C-language. An ANSI compliant C compiler is required in order to compile this package. The standard distribution medium for the Sun version of ASSIST is a .25 inch streaming magnetic tape cartridge in UNIX tar format. Both Sun3 and Sun4 executables are included. Electronic copies of the documentation in PostScript, TeX, and DVI formats are provided on the distribution medium. (The VMS distribution lacks the .DVI format files, however.) ASSIST was developed in 1986 and last updated in 1992. DEC, VAX, VMS, and TK50 are trademarks of Digital Equipment Corporation. SunOS, Sun3, and Sun4 are trademarks of Sun Microsystems, Inc. UNIX is a registered trademark of AT&T Bell Laboratories.

  15. ASSIST - THE ABSTRACT SEMI-MARKOV SPECIFICATION INTERFACE TO THE SURE TOOL PROGRAM (VAX VMS VERSION)

    NASA Technical Reports Server (NTRS)

    Johnson, S. C.

    1994-01-01

    ASSIST, the Abstract Semi-Markov Specification Interface to the SURE Tool program, is an interface that will enable reliability engineers to accurately design large semi-Markov models. The user describes the failure behavior of a fault-tolerant computer system in an abstract, high-level language. The ASSIST program then automatically generates a corresponding semi-Markov model. The abstract language allows efficient description of large, complex systems; a one-page ASSIST-language description may result in a semi-Markov model with thousands of states and transitions. The ASSIST program also includes model-reduction techniques to facilitate efficient modeling of large systems. Instead of listing the individual states of the Markov model, reliability engineers can specify the rules governing the behavior of a system, and these are used to automatically generate the model. ASSIST reads an input file describing the failure behavior of a system in an abstract language and generates a Markov model in the format needed for input to SURE, the semi-Markov Unreliability Range Evaluator program, and PAWS/STEM, the Pade Approximation with Scaling program and Scaled Taylor Exponential Matrix. A Markov model consists of a number of system states and transitions between them. Each state in the model represents a possible state of the system in terms of which components have failed, which ones have been removed, etc. Within ASSIST, each state is defined by a state vector, where each element of the vector takes on an integer value within a defined range. An element can represent any meaningful characteristic, such as the number of working components of one type in the system, or the number of faulty components of another type in use. Statements representing transitions between states in the model have three parts: a condition expression, a destination expression, and a rate expression. The first expression is a Boolean expression describing the state space variable values of states for which the transition is valid. The second expression defines the destination state for the transition in terms of state space variable values. The third expression defines the distribution of elapsed time for the transition. The mathematical approach chosen to solve a reliability problem may vary with the size and nature of the problem. Although different solution techniques are utilized on different programs, it is possible to have a common input language. The Systems Validation Methods group at NASA Langley Research Center has created a set of programs that form the basis for a reliability analysis workstation. The set of programs are: SURE reliability analysis program (COSMIC program LAR-13789, LAR-14921); the ASSIST specification interface program (LAR-14193, LAR-14923), PAWS/STEM reliability analysis programs (LAR-14165, LAR-14920); and the FTC fault tree tool (LAR-14586, LAR-14922). FTC is used to calculate the top-event probability for a fault tree. PAWS/STEM and SURE are programs which interpret the same SURE language, but utilize different solution methods. ASSIST is a preprocessor that generates SURE language from a more abstract definition. SURE, ASSIST, and PAWS/STEM are also offered as a bundle. Please see the abstract for COS-10039/COS-10041, SARA - SURE/ASSIST Reliability Analysis Workstation, for pricing details. ASSIST was originally developed for DEC VAX series computers running VMS and was later ported for use on Sun computers running SunOS. The VMS version (LAR14193) is written in C-language and can be compiled with the VAX C compiler. The standard distribution medium for the VMS version of ASSIST is a 9-track 1600 BPI magnetic tape in VMSINSTAL format. It is also available on a TK50 tape cartridge in VMSINSTAL format. Executables are included. The Sun version (LAR14923) is written in ANSI C-language. An ANSI compliant C compiler is required in order to compile this package. The standard distribution medium for the Sun version of ASSIST is a .25 inch streaming magnetic tape cartridge in UNIX tar format. Both Sun3 and Sun4 executables are included. Electronic copies of the documentation in PostScript, TeX, and DVI formats are provided on the distribution medium. (The VMS distribution lacks the .DVI format files, however.) ASSIST was developed in 1986 and last updated in 1992. DEC, VAX, VMS, and TK50 are trademarks of Digital Equipment Corporation. SunOS, Sun3, and Sun4 are trademarks of Sun Microsystems, Inc. UNIX is a registered trademark of AT&T Bell Laboratories.

  16. Programmed cell death

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

    NONE

    The purpose of this conference to provide a multidisciplinary forum for exchange of state-of-the-art information on the role programmed cell death plays in normal development and homeostasis of many organisms. This volume contains abstracts of papers in the following areas: invertebrate development; immunology/neurology; bcl-2 family; biochemistry; programmed cell death in viruses; oncogenesis; vertebrate development; and diseases.

  17. Visualization of Concurrent Program Executions

    NASA Technical Reports Server (NTRS)

    Artho, Cyrille; Havelund, Klaus; Honiden, Shinichi

    2007-01-01

    Various program analysis techniques are efficient at discovering failures and properties. However, it is often difficult to evaluate results, such as program traces. This calls for abstraction and visualization tools. We propose an approach based on UML sequence diagrams, addressing shortcomings of such diagrams for concurrency. The resulting visualization is expressive and provides all the necessary information at a glance.

  18. The chapter breeding program of the American Chestnut Foundation

    Treesearch

    Sara Fitzsimmons; Kendra Gurney; William White; Katy McCune

    2012-01-01

    A unique feature of the American Chestnut Foundation breeding program is the use of volunteers to conduct most of the regional breeding that will help increase genetic diversity and preserve local adaptation in the products of our program. This effort is coordinated by the four authors of this abstract, who are employees of the Foundation. The Foundation has...

  19. Design and Development of an Interactive Multimedia Simulation for Augmenting the Teaching and Learning of Programming Concepts

    ERIC Educational Resources Information Center

    Baloyi, Leonah L.; Ojo, Sunday O.; Van Wyk, Etienne A.

    2017-01-01

    Teaching and learning programming has presented many challenges in institutions of higher learning worldwide. Teaching and learning programming require cognitive reasoning, mainly due to the fundamental reality that the underlying concepts are complex and abstract. As a result, many institutions of higher learning are faced with low success rates…

  20. Pyro: A Python-Based Versatile Programming Environment for Teaching Robotics

    ERIC Educational Resources Information Center

    Blank, Douglas; Kumar, Deepak; Meeden, Lisa; Yanco, Holly

    2004-01-01

    In this article we describe a programming framework called Pyro, which provides a set of abstractions that allows students to write platform-independent robot programs. This project is unique because of its focus on the pedagogical implications of teaching mobile robotics via a top-down approach. We describe the background of the project, its…

  1. Patient Outcomes in Varying Length Post Traumatic Stress Disorder Programs at the Denver VA Medical Center

    DTIC Science & Technology

    1998-06-16

    Post Traumatic Stress Disorder ( PTSD ...Outcomes 2 Abstract The Department of Veterans Affairs (DVA) has provided a number of treatment programs for Post Traumatic Stress Disorder ( PTSD ) including...D.C. Department of Veterans Affairs (1991). A Program Evaluation of the Department of Veterans Affairs Post Traumatic Stress Disorder ( PTSD )

  2. National Program for Solar Heating and Cooling of Buildings. Project Data Summaries. Vol. II: Demonstration Support.

    ERIC Educational Resources Information Center

    Energy Research and Development Administration, Washington, DC. Div. of Solar Energy.

    Brief abstracts of projects funded by the Energy Research and Development Administration (ERDA) and conducted under the National Program for Solar Heating and Cooling of Buildings are presented in three volumes. This, the second volume, identifies the major efforts currently underway in support of the national program. The National Aeronautics and…

  3. Harvard University Program on Technology and Society 1964-1972. A Final Review.

    ERIC Educational Resources Information Center

    Harvard Univ., Cambridge, MA. Program on Technology and Society.

    Eight years of research by the Harvard University's Program on Technology and Society are summarized. Lengthy abstracts of the 29 books and 164 articles that resulted from the Program, as well as interim accounts of projects not yet completed are presented. The report is divided into four parts; institutions (including business, education, and…

  4. 77 FR 70748 - Information Collection Request Submitted to OMB for Review and Approval; Comment Request; Acid...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-11-27

    ... Submitted to OMB for Review and Approval; Comment Request; Acid Rain Program Under Title IV of the Clean Air... Environmental Protection Agency has submitted an information collection request (ICR), Acid Rain Program under... http://www.epa.gov/dockets . Abstract: The Acid Rain Program was established under Title IV of the 1990...

  5. National Program for Solar Heating and Cooling of Buildings. Project Date Summaries. Vol. I: Commercial and Residential Demonstrations.

    ERIC Educational Resources Information Center

    Energy Research and Development Administration, Washington, DC. Div. of Solar Energy.

    Three volumes present brief abstracts of projects funded by the Energy Research and Development Administration (ERDA) and conducted under the National Program for Solar Heating and Cooling of Buildings through July 1976. The overall federal program includes demonstrations of heating and/or combined cooling for residential and commercial buildings…

  6. In Situ Resource Utilization (ISRU 3) Technical Interchange Meeting: Abstracts

    NASA Technical Reports Server (NTRS)

    1999-01-01

    This volume contains abstracts that have been accepted for presentation at the In Situ Resource Utilization (ISRU III) Technical Interchange Meeting, February 11-12, 1999, hosted by the Lockheed Martin Astronautics Waterton Facility, Denver, Colorado. Administration and publication support for this meeting were provided by the staff of the Publications and Program Services Department at the Lunar and Planetary Institute.

  7. Planning for Recovery. Proceedings of the Society for College and University Planning: Mid-Atlantic Region Annual Conference (Baltimore, Maryland, April 14-16, 1993).

    ERIC Educational Resources Information Center

    Society for Coll. and Univ. Planning, Ann Arbor, MI.

    This conference proceedings contains an abbreviated conference program schedule, session abstracts, the plenary address and four selected papers addressing planning issues for institutions of higher education, and a final panel discussion. Abstracts are provided for all 17 sessions. The plenary session was given by Stephen J. Tractenberg, the…

  8. ALT-C 95: Changing Education, Changing Technology. Conference Abstracts of the Association for Learning Technology Conference (2nd, Milton Keynes, England, United Kingdom, September 11-13, 1995).

    ERIC Educational Resources Information Center

    Hawkridge, David, Ed.

    This program for the 1995 Association for Learning Technology Conference summarizes the presentations of the discussions, demonstrations, workshops, and poster sessions. Abstracts of the following papers presented at the conference are included: "New Structures for Learning" (Patrick Allen & Kate Sankey); "Multiple System…

  9. Adult Education for the Homeless. FY 89 Project Abstracts. Twenty-Eight Programs that Can Help the Homeless.

    ERIC Educational Resources Information Center

    Office of Vocational and Adult Education (ED), Washington, DC. Clearinghouse on Adult Education and Literacy.

    In the first portion of this document, abstracts are given for 30 projects that were designed to provide basic skills and literacy training to homeless adults in fiscal year 1989. The following information is provided for each project: state; grant award number; grantee; project title; project director, telephone number, and address; and…

  10. Fifth SIAM conference on geometric design 97: Final program and abstracts. Final technical report

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

    NONE

    1997-12-31

    The meeting was divided into the following sessions: (1) CAD/CAM; (2) Curve/Surface Design; (3) Geometric Algorithms; (4) Multiresolution Methods; (5) Robotics; (6) Solid Modeling; and (7) Visualization. This report contains the abstracts of papers presented at the meeting. Proceding the conference there was a short course entitled ``Wavelets for Geometric Modeling and Computer Graphics``.

  11. Enabling Active Learning. Conference Programme and Abstracts of the Association for Learning Technology Conference (1st, Hull, England, United Kingdom, September 19-21, 1994).

    ERIC Educational Resources Information Center

    Heath, Simon, Ed.

    This program for the 1994 Association for Learning Technology Conference provides a conference schedule and summarizes the presentations of the discussion workshops, hands-on workshops, live demonstrations, and poster sessions. Abstracts of the following papers presented at the conference are included: "The Conceptualisation Cycle" (J.…

  12. Consolidated Academic and Research Exposition: A Pilot Study of an Innovative Education Method to Increase Residents' Research Involvement

    PubMed Central

    Basu Ray, Indranill; Henry, Tracey L.; Davis, William; Alam, Jawed; Amedee, Ronald G.; Pinsky, William W.

    2012-01-01

    Background Internal medicine residents at the Ochsner Clinic Foundation stay engaged with clinical work and have difficulty initiating and completing research and publishing their scholarly activities. Commonly cited barriers include lack of knowledge about institutional research programs, lack of confidence regarding medical writing skills, lack of time, and failure to understand the value of research. The residency directors at Ochsner initiated the Consolidated Academic and Research Exposition (CARE) program to teach basic research skills and encourage residents' interest and productivity in research. Methods The CARE program includes 4 core components: house staff mentoring and the Resident Career Development Program, a journal club, medical writing instruction, and research engagement. Particular emphasis is given to projects that could be completed within a 1-month period and result in publication, enabling residents to use a 1-month elective rotation during their first postgraduate year. The sessions are mandatory for residents, except for those on specified rotations, including the critical care service and the night float rotation and those who are postcall. Results In 2010-2011, 6 residents submitted abstracts to the Louisiana Chapter of the American College of Physicians Associates meeting; 2 abstracts were accepted for presentation. In 2011-2012, there were 14 submissions, 4 of which were accepted for presentation. In 2010-2011, there were 4 submissions to the Southern Hospitalist Conference, which increased to 7 submissions in 2011-2012. The second best presentation award at the Southern Hospitalist Conference was also earned by a resident of this institution. The program saw a 110% total increase in scholarly activity from 2010-2011 to 2011-2012. Discussion The CARE program has been in existence for approximately 1 year. Preliminary results were tabulated based on research proposals, posters, abstracts, case reports, and presentations submitted and/or accepted at leading medical conferences over the past year as compared to the same period 1 year ago. Residents, based on the Accreditation Council for Graduate Medical Education Resident Survey responses, were more satisfied with the opportunities provided to them to participate in research or scholarly activities. Our preliminary results suggest that an organized, structured research curriculum in internal medicine residency programs is critical to promoting, initiating, and completing scholarly activity during a residency program. Conclusion Ochsner's CARE program has appreciably enhanced internal medicine residents' interest in research-related activity, resulting in a significant increase in resident-authored research papers, abstracts, posters, and case reports being accepted at leading national medical conferences. PMID:23267266

  13. Checkmate: Capturing Gifted Students' Logical Thinking Using Chess.

    ERIC Educational Resources Information Center

    Rifner, Philip J.; Feldhusen, John F.

    1997-01-01

    Describes the use of chess instruction to develop abstract thinking skills and problem solving among gifted students. Offers suggestions for starting school chess programs, teaching and evaluating chess skills, and measuring the success of both student-players and the program in general. (PB)

  14. Program Office Guide to Ada. Edition 1

    DTIC Science & Technology

    1986-09-17

    publication. MARK V. ZIEMBA , 2Lt, USAF Project Officer, Software Engineering Tools & Methods ARTHUR G. DECELLES, Capt, USAF Program Manager, Computer...UNLIMITED G3 SAME AS RPT D DTIC USERS 21 ABSTRACT SECURITY CLASSIFICATION UNCLASSIFIED 22a. NAME OF RESPONSIBLE INDIVIDUAL M.V. Ziemba

  15. F14A System Safety Program Plan

    DTIC Science & Technology

    1981-09-03

    by block number) Electromagnetic Pulse (EMP) Safety Plans Test Program EMP Testing F14 Aircraft Plans 20 ABSTRACT (Continue on reverse side if...compromising completion of the required experimental tasks. This document addresses the safety aspect of performing an Electromagnetic Pulse (EMP) test

  16. Evaluation of the New York State 21 enforcement program

    DOT National Transportation Integrated Search

    1989-11-01

    Author's abstract: The 21 Enforcement Program was initiated by the New York State Liquor Authority (SLA) to encourage increased enforcement of the 21-year-old alcohol purchase age law. Under this law, a person providing an alcoholic beverage to an un...

  17. The NASA Airborne Astronomy Program: A perspective on its contributions to science, technology, and education

    NASA Technical Reports Server (NTRS)

    Larson, Harold P.

    1995-01-01

    The scientific, educational, and instrumental contributions from NASA's airborne observatories are deduced from the program's publication record (789 citations, excluding abstracts, involving 580 authors at 128 institutions in the United States and abroad between 1967-1990).

  18. 78 FR 18619 - Extension of Agency Information Collection Activity Under OMB Review: National Explosives...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-03-27

    ... DEPARTMENT OF HOMELAND SECURITY Transportation Security Administration Extension of Agency Information Collection Activity Under OMB Review: National Explosives Detection Canine Team Program (NEDCTP... Explosives Detection Canine Team Program (NEDCTP) canine handlers. Abstract: The FAMS/CTES Explosives...

  19. Regression Verification Using Impact Summaries

    NASA Technical Reports Server (NTRS)

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

    2013-01-01

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

  20. Roswell Park Cancer Institute / Howard University Prostate Cancer Scholars Program

    DTIC Science & Technology

    2015-10-01

    1 AWARD NUMBER: W81XWH-14-1-0531 TITLE: Roswell Park Cancer Institute / Howard University Prostate Cancer Scholars Program PRINCIPAL...TITLE AND SUBTITLE Roswell Park Cancer Institute/Howard University Prostate Cancer 5a. CONTRACT NUMBER W81XWH-14-1-0531 Cancer Scholars Program 5b...ABSTRACT The Roswell Park/Howard University Prostate Cancer Scholars Program is designed to encourage students from under-represented minority groups

  1. Commercial programs' online weight loss claims as compared to results from randomized controlled trials

    PubMed Central

    Vakil, Rachit M.; Chaudhry, Zoobia W.; Doshi, Ruchi S.; Clark, Jeanne M.; Gudzune, Kimberly A.

    2017-01-01

    Objective To characterize weight-loss claims and disclaimers present on websites for commercial weight-loss programs and compare them to results from published randomized controlled trials (RCT). Methods We performed a content analysis of all homepages and testimonials available on the websites of 24 randomly selected programs. Two team members independently reviewed each page and abstracted information from text and images to capture relevant content including demographics, weight loss, and disclaimers. We performed a systematic review to evaluate the efficacy of these programs by searching MEDLINE and Cochrane Database of Systematic Reviews, and abstracted mean weight change from each included RCT. Results Overall, the amount of weight loss portrayed in the testimonials was extreme across all programs examined (range median weight loss 10.7 to 49.5 kg). Only 10 out of the 24 programs had eligible RCTs. Median weight losses reported in testimonials exceeded that achieved by trial participants. Most programs with RCTs (78%) provided disclaimers stating that the testimonial's results were non-typical and/or giving a range of typical weight loss. Conclusion Weight loss claims within testimonials were higher than results from RCTs. Future studies should examine whether commercial programs' advertising practices influence patients' expectations or satisfaction with modest weight loss results. PMID:28865085

  2. Finding Feasible Abstract Counter-Examples

    NASA Technical Reports Server (NTRS)

    Pasareanu, Corina S.; Dwyer, Matthew B.; Visser, Willem; Clancy, Daniel (Technical Monitor)

    2002-01-01

    A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.

  3. Automatic Classification of Medical Text: The Influence of Publication Form1

    PubMed Central

    Cole, William G.; Michael, Patricia A.; Stewart, James G.; Blois, Marsden S.

    1988-01-01

    Previous research has shown that within the domain of medical journal abstracts the statistical distribution of words is neither random nor uniform, but is highly characteristic. Many words are used mainly or solely by one medical specialty or when writing about one particular level of description. Due to this regularity of usage, automatic classification within journal abstracts has proved quite successful. The present research asks two further questions. It investigates whether this statistical regularity and automatic classification success can also be achieved in medical textbook chapters. It then goes on to see whether the statistical distribution found in textbooks is sufficiently similar to that found in abstracts to permit accurate classification of abstracts based solely on previous knowledge of textbooks. 14 textbook chapters and 45 MEDLINE abstracts were submitted to an automatic classification program that had been trained only on chapters drawn from a standard textbook series. Statistical analysis of the properties of abstracts vs. chapters revealed important differences in word use. Automatic classification performance was good for chapters, but poor for abstracts.

  4. Modelling Metamorphism by Abstract Interpretation

    NASA Astrophysics Data System (ADS)

    Dalla Preda, Mila; Giacobazzi, Roberto; Debray, Saumya; Coogan, Kevin; Townsend, Gregg M.

    Metamorphic malware apply semantics-preserving transformations to their own code in order to foil detection systems based on signature matching. In this paper we consider the problem of automatically extract metamorphic signatures from these malware. We introduce a semantics for self-modifying code, later called phase semantics, and prove its correctness by showing that it is an abstract interpretation of the standard trace semantics. Phase semantics precisely models the metamorphic code behavior by providing a set of traces of programs which correspond to the possible evolutions of the metamorphic code during execution. We show that metamorphic signatures can be automatically extracted by abstract interpretation of the phase semantics, and that regular metamorphism can be modelled as finite state automata abstraction of the phase semantics.

  5. Information Leakage Analysis by Abstract Interpretation

    NASA Astrophysics Data System (ADS)

    Zanioli, Matteo; Cortesi, Agostino

    Protecting the confidentiality of information stored in a computer system or transmitted over a public network is a relevant problem in computer security. The approach of information flow analysis involves performing a static analysis of the program with the aim of proving that there will not be leaks of sensitive information. In this paper we propose a new domain that combines variable dependency analysis, based on propositional formulas, and variables' value analysis, based on polyhedra. The resulting analysis is strictly more accurate than the state of the art abstract interpretation based analyses for information leakage detection. Its modular construction allows to deal with the tradeoff between efficiency and accuracy by tuning the granularity of the abstraction and the complexity of the abstract operators.

  6. Programming paradigms and mind metaphors: convergence and cross-fertilization in the study of cognition.

    PubMed

    Cosmelli, Diego; Soto-Andrade, Jorge; Tanter, Eric

    2007-01-01

    This paper describes a notable convergence between biological organization and programming language abstractions. Our aim is to explore possibilities of cross-fertilization, at both conceptual and empirical levels, towards the understanding of what cognition and cognitive systems might be.

  7. Software Engineering Laboratory (SEL) compendium of tools, revision 1

    NASA Technical Reports Server (NTRS)

    1982-01-01

    A set of programs used to aid software product development is listed. Known as software tools, such programs include requirements analyzers, design languages, precompilers, code auditors, code analyzers, and software librarians. Abstracts, resource requirements, documentation, processing summaries, and availability are indicated for most tools.

  8. Using Technology To Bring Abstract Concepts into Focus: A Programming Case Study.

    ERIC Educational Resources Information Center

    Crews, Thad; Butterfield, Jeff

    2002-01-01

    Discusses the three-step implementation of an instructional technology tool and associated pedagogy to support teaching and learning computer programming concepts. The Flowchart Interpreter (FLINT) was proven through experiments to support novice programmers better than the traditional textbook approach. (EV)

  9. STRATEGIES TO REDUCE OR REPLACE THE USE OF ANIMALS IN THE ENDOCRINE SCREENING AND TESTING PROGRAM.

    EPA Science Inventory

    Abstract: The US Environmental Protection Agency (EPA) is developing a screening and testing program for endocrine disrupting chemicals (EDCs) to detect alterations of hypothalamic-pituitary-gonadal (HPG) function, estrogen, androgen and thyroid hormone synthesis and androgen (AR...

  10. 76 FR 5354 - Notice of Submission for OMB Review

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-01-31

    ... Collection: Federal Perkins Loan Program and General Provision Regulations. OMB Control Number: 1845-0019... Burden Hours: 133,520. Abstract: Under the Federal Perkins Loan Program regulations, the information... servicing of Perkins Loans. If the Department did not require the collection, recordation, and/or disclosure...

  11. The 1982 ASEE-NASA Faculty Fellowship program (Aeronautics and Research)

    NASA Technical Reports Server (NTRS)

    Fan, D. N.; Hodge, J. R.; Emadi, F. P.

    1982-01-01

    The NASA/ASEE Summer Faculty Fellowship Program (Aeronautics and Research) conducted at the NASA Goddard Space Flight Center during the summer of 1982 is described. Abstracts of the Final Reports submitted by the Fellows detailing the results of their research are also presented.

  12. Effect of a Dedicated Pharmacy Student Summer Research Program on Publication Rate

    PubMed Central

    Adler, David; Kelly, Carolyn; Taylor, Palmer; Best, Brookie M.

    2017-01-01

    Objectives. This study investigated the impact of an optional 12-week summer research program on the publication outcomes and satisfaction with the required research projects of doctor of pharmacy (PharmD) students at the Skaggs School of Pharmacy and Pharmaceutical Sciences (SSPPS) at the University of California San Diego. Methods. PubMed and Google searches provided student publications, and satisfaction surveys submitted by students provided their perceptions of the research project value. Results. Of the studied cohort, the 130 students who fulfilled the requirement through the optional summer research program provided 61 full-text manuscripts and 113 abstracts. The 305 students who chose the standard pathway provided 35 full-text manuscripts and 34 abstracts. Students in both pathways agreed or strongly agreed that the research project was a valuable experience. Conclusions. The 12-week intensive summer research program improved the publication rate of pharmacy students and provided a high overall satisfaction with this independent learning experience. PMID:28496268

  13. Nuclear facility decommissioning and site remedial actions: A selected bibliography, Volume 18. Part 1B: Citations with abstracts, sections 10 through 16

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

    NONE

    1997-09-01

    This bibliography contains 3,638 citations with abstracts of documents relevant to environmental restoration, nuclear facility decontamination and decommissioning (D and D), uranium mill tailings management, and site remedial actions. The bibliography contains scientific, technical, financial, and regulatory information that pertains to DOE environmental restoration programs. The citations are separated by topic into 16 sections, including (1) DOE Environmental Restoration Program; (2) DOE D and D Program; (3) Nuclear Facilities Decommissioning; (4) DOE Formerly Utilized sites Remedial Action Program; (5) NORM-Contaminated Site Restoration; (6) DOE Uranium Mill Tailings Remedial Action Project; (7) Uranium Mill Tailings Management; (8) DOE Site-Wide Remedial Actions;more » (9) DOE Onsite Remedial Action Projects; (10) Contaminated Site Remedial Actions; (11) DOE Underground Storage Tank Remediation; (12) DOE Technology Development, Demonstration, and Evaluation; (13) Soil Remediation; (14) Groundwater Remediation; (15) Environmental Measurements, Analysis, and Decision-Making; and (16) Environmental Management Issues.« less

  14. Effect of a Dedicated Pharmacy Student Summer Research Program on Publication Rate.

    PubMed

    Brandl, Katharina; Adler, David; Kelly, Carolyn; Taylor, Palmer; Best, Brookie M

    2017-04-01

    Objectives. This study investigated the impact of an optional 12-week summer research program on the publication outcomes and satisfaction with the required research projects of doctor of pharmacy (PharmD) students at the Skaggs School of Pharmacy and Pharmaceutical Sciences (SSPPS) at the University of California San Diego. Methods. PubMed and Google searches provided student publications, and satisfaction surveys submitted by students provided their perceptions of the research project value. Results. Of the studied cohort, the 130 students who fulfilled the requirement through the optional summer research program provided 61 full-text manuscripts and 113 abstracts. The 305 students who chose the standard pathway provided 35 full-text manuscripts and 34 abstracts. Students in both pathways agreed or strongly agreed that the research project was a valuable experience. Conclusions. The 12-week intensive summer research program improved the publication rate of pharmacy students and provided a high overall satisfaction with this independent learning experience.

  15. Abstract Interpreters for Free

    NASA Astrophysics Data System (ADS)

    Might, Matthew

    In small-step abstract interpretations, the concrete and abstract semantics bear an uncanny resemblance. In this work, we present an analysis-design methodology that both explains and exploits that resemblance. Specifically, we present a two-step method to convert a small-step concrete semantics into a family of sound, computable abstract interpretations. The first step re-factors the concrete state-space to eliminate recursive structure; this refactoring of the state-space simultaneously determines a store-passing-style transformation on the underlying concrete semantics. The second step uses inference rules to generate an abstract state-space and a Galois connection simultaneously. The Galois connection allows the calculation of the "optimal" abstract interpretation. The two-step process is unambiguous, but nondeterministic: at each step, analysis designers face choices. Some of these choices ultimately influence properties such as flow-, field- and context-sensitivity. Thus, under the method, we can give the emergence of these properties a graph-theoretic characterization. To illustrate the method, we systematically abstract the continuation-passing style lambda calculus to arrive at two distinct families of analyses. The first is the well-known k-CFA family of analyses. The second consists of novel "environment-centric" abstract interpretations, none of which appear in the literature on static analysis of higher-order programs.

  16. Lessons Learned from the Development and Implementation of a Knowledge Management Program for the Naval Sea Systems Command

    DTIC Science & Technology

    2017-03-01

    ABSTRACT (maximum 200 words) This study applied knowledge management (KM) theories and principles to develop and implement a KM program for the... principles to develop and implement a KM program for the Naval Sea Systems Command (NAVSEA) that strengthens the workforce’s understanding of the...23 C. EXECUTION AND SUSTAINMENT .............................................. 24 1. Marketing

  17. Is Pair Programming More Effective than Solo Programming for Secondary Education Novice Programmers? A Case Study

    ERIC Educational Resources Information Center

    Papadakis, Stamatios

    2018-01-01

    The teaching and learning of programming are often considered a difficult topic for both teachers and students, due to its complexity and abstract nature. The traditional teaching approaches are unable to contribute substantially to the development of the necessary cognitive models by the students, producing high rates of failure and dropout in…

  18. ALT-C 96: Integrating Technology into the Curriculum. Conference Programme and Abstracts of the Association for Learning Technology Conference (3rd, Glasgow, Scotland, September 16-18, 1996).

    ERIC Educational Resources Information Center

    Cameron, Shona, Ed.

    This program for the 1996 Association for Learning Technology Conference summarizes the poster sessions, discussions, workshops, and software demonstrations, and provides abstracts of the 38 papers presented. Topics covered by the papers include: hand-held technology for mathematics; modeling global warming; computer-mediated communications; Java;…

  19. Linguistic Society of America Annual Meeting (44th, San Francisco, California, December 29-31, 1969). Meeting Handbook.

    ERIC Educational Resources Information Center

    Grognet, Allene Guss, Ed.

    This handbook was compiled for the 44th Linguistic Society of America Meeting in San Francisco, December 29-31, 1969. It consists of the official program for the meeting, abstracts of the 78 papers presented there, and advertisements. The abstracts are arranged in alphabetical order by author, and in some cases are accompanied by handouts. (DO)

  20. An Exploratory Study of Alpha Contracting: Antecedents, Processes, Issues, Success Factors and Consequences

    DTIC Science & Technology

    2009-09-01

    ABSTRACT (maximum 200 words) Alpha contracting is a collaborative effort between a buyer and supplier during contract formation to maximize efficiency...experienced Alpha contracting teams, to include contracting officers, DCAA, DCMA, end users/ customers , program managers and acquisition directors to better...PROCESSES, ISSUES, SUCCESS FACTORS AND CONSEQUENCES ABSTRACT Alpha contracting is a collaborative effort between a buyer and supplier

  1. Advanced Fuel Properties; A Computer Program for Estimating Property Values

    DTIC Science & Technology

    1993-05-01

    security considerations, contractual obligations, or notice on a specific document. REPORT DOCUMENTATION PAGE Fogu Approwd I OMB No. 0704-01=5 Ps NP...found in fuels. 14. SUBJECT TERMS 15. NUMBEROF PAGES 175 Fuel properties, Physical Propertie, Thermodynamnics, Predictions 16. PRICE CODE 17. SECURITY ...CLASSIFICATION is. SECURrrY CLASSIFICATION 19. SECURITY CLASSIFICATION 20. LIMITFATION OF ABSTRACT OF REPORT OF THIS PAGE OF ABSTRACT Unclassified

  2. Abstracts of Innovative/Exemplary Activities in Industrial Teacher Education in the State of Michigan (MCITE Report-G Rev. 1976).

    ERIC Educational Resources Information Center

    Nee, Johm G., Comp.; Matson, Johm H., Comp.

    This report is composed of a series of abstracts describing innovative/exemplary activities in industrial education in Michigan. The activities included (1) projects which invent a creative solution to a problem; (2) projects which demonstrate an exemplary program suitable for widespread use or a model to emulate; and (3) adoption of an exemplary…

  3. SEER*Educate: Use of Abstracting Quality Index Scores to Monitor Improvement of All Employees.

    PubMed

    Potts, Mary S; Scott, Tim; Hafterson, Jennifer L

    2016-01-01

    Integral parts of the Seattle-Puget Sound's Cancer Surveillance System registry's continuous improvement model include the incorporation of SEER*Educate into its training program for all staff and analyzing assessment results using the Abstracting Quality Index (AQI). The AQI offers a comprehensive measure of overall performance in SEER*Educate, which is a Web-based application used to personalize learning and diagnostically pinpoint each staff member's place on the AQI continuum. The assessment results are tallied from 6 abstracting standards within 2 domains: incidence reporting and coding accuracy. More than 100 data items are aligned to 1 or more of the 6 standards to build an aggregated score that is placed on a continuum for continuous improvement. The AQI score accurately identifies those individuals who have a good understanding of how to apply the 6 abstracting standards to reliably generate high quality abstracts.

  4. 75 FR 54086 - Global Intellectual Property Academy Program Survey

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-09-03

    ... Survey ACTION: Proposed collection; comment request. SUMMARY: The United States Patent and Trademark... Global Intellectual Property Academy Program Survey comment'' in the subject line of the message. Fax... INFORMATION I. Abstract The U.S. Patent and Trademark Office plans to survey participants of the Global...

  5. 78 FR 51811 - Agency Information Collection Activity Under OMB Review

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-08-21

    ... support public transit agencies in making capital investments that would assist in the reduction of energy... collection: Transit Investments in Greenhouse Gas and Energy Reduction (TIGGER) Program. The information... Investments in Greenhouse Gas and Energy Reduction (TIGGER) Program (OMB Number: 2132-0566). Abstract: The...

  6. Factors Affecting Training Effectiveness in Synchronous, Dispersed Virtual Environments

    DTIC Science & Technology

    2014-06-01

    technology to its technical training programs. Specifically, a distance learning model with instruction provided through 3-D virtual worlds could...ABSTRACT The U.S. Navy is investigating the feasibility of incorporating distance learning technology to its technical training programs. Specifically...15 A. TECHNOLOGY ACCEPTANCE MODEL

  7. Fourth technical contractors' conference on peat

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

    Not Available

    1981-01-01

    This conference reported the status of the US Department of Energy Peat Program. The papers presented dealt with peat dewatering, international peat programs, environmental and socio-economic factors, peat gasification, peat harvesting, and the state peat surveys for 14 states. Separate abstracts were prepared for the individual papers. (CKK)

  8. Request-Based Mediated Execution

    ERIC Educational Resources Information Center

    Sundresh, Sameer

    2009-01-01

    How do you dynamically customize the programming language available in a context within an existing system, without changing the underlying system? This dissertation introduces a language design approach that addresses this problem. The basic idea is to structure programs as systems of multiple interacting levels of abstraction, where all of the…

  9. 75 FR 71423 - Notice of Proposed Information Collection Requests

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-11-23

    ... Review: Revision. Title of Collection: Federal Perkins Loan Program and General Provision Regulations... Estimated Number of Annual Burden Hours: 133,520. Abstract: Under the Federal Perkins Loan Program... provide for the making and servicing of Perkins Loans. If the Department did not require the collection...

  10. Career Education Programs That Work.

    ERIC Educational Resources Information Center

    Interinstitutional Consortium for Career Education, Salem, OR.

    This handbook contains thirty abstracts of career education programs that summarize techniques, processes, activities, and materials that have been used by students and teachers. The handbook, which was designed for use after the planning stages, includes items for kindergarten through grade twelve that can be related to various subject matter…

  11. Cognitive and Neural Sciences Division, 1991 Programs.

    ERIC Educational Resources Information Center

    Vaughan, Willard S., Ed.

    This report documents research and development performed under the sponsorship of the Cognitive and Neural Sciences Division of the Office of Naval Research in fiscal year 1991. It provides abstracts (title, principal investigator, project code, objective, approach, progress, and related reports) of projects of three program divisions (cognitive…

  12. Curriculum Development in Population Education. Abstract-Bibliography, Series 6.

    ERIC Educational Resources Information Center

    United Nations Educational, Scientific, and Cultural Organization, Bangkok (Thailand). Regional Office for Education in Asia and the Pacific.

    Part of a series of annotated bibliographies dealing with issues and problems raised by educators involved with population education programs, this publication addresses curriculum development in population education. Curriculum development is the most important component of a population education program, for it is through curriculum materials…

  13. 77 FR 41883 - Submission for OMB Review; Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-07-16

    ...-0030. Type of Review: Extension without change of a currently approved collection. Title: Anti-Money Laundering Programs for Dealers in Precious Metals, Precious Stones, or Jewels. Abstract: Desires in precious metals, stones, or jewels are required to establish and maintain a written anti-money laundering program...

  14. An introduction to using the FORTRAN programs provided with Computational Nuclear Physics 1 Nuclear Structure

    NASA Technical Reports Server (NTRS)

    Boytos, Matthew A.; Norbury, John W.

    1992-01-01

    The authors of this paper have provided a set of ready-to-run FORTRAN programs that should be useful in the field of theoretical nuclear physics. The purpose of this document is to provide a simple synopsis of the programs and their use. A separate section is devoted to each program set and includes: abstract; files; compiling, linking, and running; obtaining results; and a tutorial.

  15. PCAL: Language Support for Proof-Carrying Authorization Systems

    DTIC Science & Technology

    2009-10-16

    behavior of a compiled program is the same as that of the source program (Theorem 4.1) and that successfully compiled programs cannot fail due to access...semantics, formalize our compilation procedure and show that it preserves the behavior of programs. For simplicity of presentation, we abstract various...H;L ` s (6) if γ :: H;L ` s then H;L ` s↘ γ′ for some γ′. We can now show that compilation preserves the behavior of programs. More precisely, if

  16. United States Air Force High School Apprenticeship Program. 1990 Program Management Report. Volume 4

    DTIC Science & Technology

    1991-04-18

    NOTES I I& OISThIJTION I AVAILAMJTY STATEMENT 121L ODSTRIIUTION Coal UNLIMITED 11. ABSTRACT (Meuwu 200 WOvMJ >The Air Force High School Apprenticeship ...Program’s purpose is to place outstanding high school students whose interests are in the areas of mathematics , engineering, and science to work in a...Faculty Research Program an Air Force High School Apprenticeship was initiated. This program’s purpose is to place outstanding high school students

  17. Analysis and synthesis of abstract data types through generalization from examples

    NASA Technical Reports Server (NTRS)

    Wild, Christian

    1987-01-01

    The discovery of general patterns of behavior from a set of input/output examples can be a useful technique in the automated analysis and synthesis of software systems. These generalized descriptions of the behavior form a set of assertions which can be used for validation, program synthesis, program testing, and run-time monitoring. Describing the behavior is characterized as a learning process in which the set of inputs is mapped into an appropriate transform space such that general patterns can be easily characterized. The learning algorithm must chose a transform function and define a subset of the transform space which is related to equivalence classes of behavior in the original domain. An algorithm for analyzing the behavior of abstract data types is presented and several examples are given. The use of the analysis for purposes of program synthesis is also discussed.

  18. Do Clinical Standards for Diabetes Care Address Excess Risk for Hypoglycemia in Vulnerable Patients? A Systematic Review

    PubMed Central

    Berkowitz, Seth A; Aragon, Katherine; Hines, Jonas; Seligman, Hilary; Lee, Sei; Sarkar, Urmimala

    2013-01-01

    Objective To determine whether diabetes clinical standards consider increased hypoglycemia risk in vulnerable patients. Data Sources MEDLINE, the National Guidelines Clearinghouse, the National Quality Measures Clearinghouse, and supplemental sources. Study Design Systematic review of clinical standards (guidelines, quality metrics, or pay-for-performance programs) for glycemic control in adult diabetes patients. The primary outcome was discussion of increased risk for hypoglycemia in vulnerable populations. Data Collection/Extraction Methods Manuscripts identified were abstracted by two independent reviewers using prespecified inclusion/exclusion criteria and a standardized abstraction form. Principal Findings We screened 1,166 titles, and reviewed 220 manuscripts in full text. Forty-four guidelines, 17 quality metrics, and 8 pay-for-performance programs were included. Five (11 percent) guidelines and no quality metrics or pay-for-performance programs met the primary outcome. Conclusions Clinical standards do not substantively incorporate evidence about increased risk for hypoglycemia in vulnerable populations. PMID:23445498

  19. Do clinical standards for diabetes care address excess risk for hypoglycemia in vulnerable patients? A systematic review.

    PubMed

    Berkowitz, Seth A; Aragon, Katherine; Hines, Jonas; Seligman, Hilary; Lee, Sei; Sarkar, Urmimala

    2013-08-01

    To determine whether diabetes clinical standards consider increased hypoglycemia risk in vulnerable patients. MEDLINE, the National Guidelines Clearinghouse, the National Quality Measures Clearinghouse, and supplemental sources. Systematic review of clinical standards (guidelines, quality metrics, or pay-for-performance programs) for glycemic control in adult diabetes patients. The primary outcome was discussion of increased risk for hypoglycemia in vulnerable populations. Manuscripts identified were abstracted by two independent reviewers using prespecified inclusion/exclusion criteria and a standardized abstraction form. We screened 1,166 titles, and reviewed 220 manuscripts in full text. Forty-four guidelines, 17 quality metrics, and 8 pay-for-performance programs were included. Five (11 percent) guidelines and no quality metrics or pay-for-performance programs met the primary outcome. Clinical standards do not substantively incorporate evidence about increased risk for hypoglycemia in vulnerable populations. © Health Research and Educational Trust.

  20. American Society for Engineering Education/NASA Summer Faculty Fellowship Program 1982

    NASA Technical Reports Server (NTRS)

    Spencer, J. H. (Compiler)

    1983-01-01

    A program of summer faculty fellowships for engineering and science educators is described. The program involves participation in cooperative research and study. Results of the program evaluation are summarized. The research fellows indicated satisfaction with the program. Benefits of the program cited include: (1) enhancement of professional abilities; (2) contact with professionals in a chosen area of research; (3) familiarity with research facilities; and (4) development of new research techniques and their adaptation to an academic setting. Abstracts of each of the research projects undertaken are presented.

  1. An Interactive Simulator-Based Pedagogical (ISP) Approach for Teaching Microcontrollers in Engineering Programs

    ERIC Educational Resources Information Center

    Tang, Shensheng

    2014-01-01

    Microcontrollers is a required course in most Electrical, Computer, and Mechanic Engineering (Technology) programs at U.S. universities. Most engineering courses (e.g., microcontrollers), by nature, introduce abstract concepts, definitions, and models, and use primarily lectures and readings (words, symbols) to transmit information. This…

  2. 77 FR 5615 - Information Collection Activity; Request for Comments

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-02-03

    ...) 366-1930. SUPPLEMENTARY INFORMATION: Title: U.S. Department of Transportation Mentor- Prot[eacute]g[eacute] Pilot Program Evaluation Form; and U.S. Department of Transportation Mentor Prot[eacute]g[eacute] Pilot Program Annual Report. Abstract: DOT will use the data captured in the Mentor- Prot[eacute]g...

  3. A Computer Program for Preliminary Data Analysis

    Treesearch

    Dennis L. Schweitzer

    1967-01-01

    ABSTRACT. -- A computer program written in FORTRAN has been designed to summarize data. Class frequencies, means, and standard deviations are printed for as many as 100 independent variables. Cross-classifications of an observed dependent variable and of a dependent variable predicted by a multiple regression equation can also be generated.

  4. Discovering and Analyzing Network Function and Structure

    DTIC Science & Technology

    2015-07-08

    currently assigned to the award James Lawton Reporting Period Start Date 04/01/2012 Reporting Period End Date 03/31/2015 Abstract This award has supported...AFOSR Program Manager, if any: The program manager is now James Lawton . When this award began, it was Robert Bonneau. Extensions granted or

  5. Teaching Beginners to Program: Some Cognitive Considerations.

    ERIC Educational Resources Information Center

    Rogers, Jean B.

    Learning to program involves developing an understanding of two hierarchies of concepts. One hierarchy consists of data and extends from very literal data (which represents only itself) to very abstract data incorporating variable values in complex interrelationships. The other hierarchy consists of the operations performed on the data and extends…

  6. 78 FR 69697 - Agency Information Collection Activities: Proposed Collection: Public Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-11-20

    .... Information Collection Request Title: Nurse Faculty Loan Program, Annual Performance Report Financial Data Form OMB No. 0915-0314--REVISION Abstract: This clearance request is for approval of the revised Nurse... previously titled as the Nurse Faculty Loan Program, Annual Operating Report (NFLP-AOR). Need and Proposed...

  7. Screen Miniatures as Icons for Backward Navigation in Content-Based Software.

    ERIC Educational Resources Information Center

    Boling, Elizabeth; Ma, Guoping; Tao, Chia-Wen; Askun, Cengiz; Green, Tim; Frick, Theodore; Schaumburg, Heike

    Users of content-based software programs, including hypertexts and instructional multimedia, rely on the navigation functions provided by the designers of those program. Typical navigation schemes use abstract symbols (arrows) to label basic navigational functions like moving forward or backward through screen displays. In a previous study, the…

  8. The 1982 NASA/ASEE summer faculty fellowship research program

    NASA Technical Reports Server (NTRS)

    1982-01-01

    Aht NASA/ASEE Summer Faculty Fellowship Research Program conducted at the Marshall Space Flight Center by the University of Alabama at Huntsville, Ala. during the summer of 1982 is described. Abstracts of the Final Reports submitted by the Fellows detailing the results of their research are also presented.

  9. 76 FR 14396 - Agency Information Collection Request; 60-Day Public Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-03-16

    ... within 60-days. Proposed Project: Evaluation of Adolescent Pregnancy Prevention Approaches (PPA) and the Impact Evaluation of the Teen Pregnancy Prevention Program Grantees: First Follow-up Data Collection--OMB No. OS-0990--NEW--Office of Adolescent Pregnancy Programs. Abstract: The Office of Adolescent Health...

  10. Microworlds for Learning Object-Oriented Programming: Considerations from Research to Practice

    ERIC Educational Resources Information Center

    Djelil, Fahima; Albouy-Kissi, Adelaide; Albouy-Kissi, Benjamin; Sanchez, Eric; Lavest, Jean-Marc

    2016-01-01

    Object-Oriented paradigm is a common paradigm for introductory programming courses. However, many teachers find that transitioning to teaching this paradigm is a difficult task. To overcome this complexity, many experienced teachers use microworlds to give beginner students an intuitive and rapid understanding of fundamental abstract concepts of…

  11. State Appalachian Development Plans and Investment Programs for Fiscal Year 1979. Abstracts.

    ERIC Educational Resources Information Center

    1979

    One component of the Appalachian Regional Commission's regional plan process is the annual review and approval of individual state development policies. The state summaries of proposed programs for fiscal year 1979 (for Alabama, Georgia, Kentucky, Maryland, Mississippi, New York, North Carolina, Ohio, Pennsylvania, South Carolina, Tennessee,…

  12. 76 FR 33760 - Agency Information Collection Request. 60-Day Public Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-06-09

    ... Collection--OMB No. OS-0990- NEW--Office of Adolescent Health and the Administration for Children, Youth and Families. Abstract: The Office of Adolescent Health (OAH) and the Administration for Children, Youth and... students, parents of teens) and content (e.g., youth development programs or sex education programs...

  13. 78 FR 67183 - Proposed Information Collection; Migratory Bird Harvest Information Program and Migratory Bird...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-11-08

    ...-91200 FF09M26000] Proposed Information Collection; Migratory Bird Harvest Information Program and Migratory Bird Surveys AGENCY: Fish and Wildlife Service, Interior. ACTION: Notice; request for comments...) or 703- 358-2482 (telephone). SUPPLEMENTARY INFORMATION: I. Abstract The Migratory Bird Treaty Act...

  14. Defense Small Business Innovation Research Program (SBIR). Abstracts of Phase 2 Awards, 1984.

    DTIC Science & Technology

    165 proposals for funding in Phase II of the Small Business Innovation Research (SBIR) Program. These proposals were selected from those submitted by... small research and development firms awarded Phase I contracts from the FY 1984 solicitation. In order to make information available on the technical

  15. 75 FR 41572 - Office of Financial Stability; Proposed Collection; Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-07-16

    ...: 1505-0209. Title: Troubled Asset Relief Program--Conflicts of Interest. Abstract: Authorized under the... Troubled Asset Relief Program (TARP) by codifying section 108 of EESA. Title 31 CFR part 31, TARP Conflict of Interest, sets forth the process for reviewing and addressing actual or potential conflicts of...

  16. 77 FR 33194 - Proposed Information Collection; Comment Request; Bay Watershed Education and Training Program...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-06-05

    ... Collection; Comment Request; Bay Watershed Education and Training Program National Evaluation System AGENCY... to Bronwen Rice, NOAA Office of Education, (202) 482-6797 or [email protected] . SUPPLEMENTARY INFORMATION: I. Abstract This request is for a new information collection. The NOAA Office of Education's Bay...

  17. 75 FR 71794 - Proposed Collection; Comment Request for Form 1099-Q

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-11-24

    ... 1099-Q AGENCY: Internal Revenue Service (IRS), Treasury. ACTION: Notice and request for comments... Form 1099-Q, Payments From Qualified Education Programs (Under Sections 529 and 530). DATES: Written... Programs (Under Sections 529 and 530). OMB Number: 1545-1760. Form Number: 1099-Q. Abstract: Form 1099-Q is...

  18. Stochastic Semidefinite Programming: Applications and Algorithms

    DTIC Science & Technology

    2012-03-03

    doi: 2011/09/07 13:38:21 13 TOTAL: 1 Number of Papers published in non peer-reviewed journals: Baha M. Alzalg and K. A. Ariyawansa, Stochastic...symmetric programming over integers. International Conference on Scientific Computing, Las Vegas, Nevada, July 18--21, 2011. Baha M. Alzalg. On recent...Proceeding publications (other than abstracts): PaperReceived Baha M. Alzalg, K. A. Ariyawansa. Stochastic mixed integer second-order cone programming

  19. USAF Summer Research Program - 1993 High School Apprenticeship Program Final Reports, Volume 12, Armstrong Laboratory

    DTIC Science & Technology

    1993-12-01

    on Panasonic TLD . Panasonic Industrial Company; Secaucus, New Jersey. 5. Thurlow, Ronald M. "Neutron Dosimetry Using a Panasonic Thermoluminescent...Radiation Dosimetry Branch Brooks Air Force Base San Antonio, Texas 78235 Final Report for: AFOSR Summer Research Program Armstrong Laboratory Sponsored...Associate Radiation Dosimetry Branch Armstrong Laboratory Abstract In an attempt to improve personnel monitoring for neutron emissions, Panasonic has

  20. An Assessment of Previous Archaeological Surveys at Fort Campbell, Kentucky/Tennessee

    DTIC Science & Technology

    2006-04-01

    Krejsa Public Service Archaeology Program Department of Anthropology University of Illinois Urbana , IL 61801 Michael L. Hargrave Construction...ii Abstract: From September 2003 through June 2004 the Public Service Archaeology Program (PSAP) of the University of Illinois at Urbana ...of this work was done by Dr. Paul Krejsa, Public Service Archaeological Program, University of Illinois at Urbana - Champaign, under contract DACA42-00

  1. NASA Space Biology Program. Eighth annual symposium's program and abstracts

    NASA Technical Reports Server (NTRS)

    Halstead, T. W. (Editor)

    1984-01-01

    The activities included five half days of presentations by space biology principal investigators, an evening of poster session presentations by research associates, and an afternoon session devoted to the Flight Experiments Program. Areas of discussion included the following: gravity receptor mechanisms; physiological effects of gravity, structural mass; fluid dynamics and metabolism; mechanisms of plant response; and the role of gravity in development.

  2. Navy Program Guide 2011

    DTIC Science & Technology

    2011-01-01

    no person shall be subject to a penalty for failing to comply with a collection of information if it does not display a currently valid OMB control...ABSTRACT Same as Report (SAR) 18. NUMBER OF PAGES 180 19a. NAME OF RESPONSIBLE PERSON a . REPORT unclassified b. ABSTRACT unclassified c. THIS...demonstrating the speed, agility, and flexibility required by a nation with global interests in a time of increasing unpredictability. On any given

  3. Apprenticeship Learning for Robotic Control

    DTIC Science & Technology

    2015-10-09

    Lawton     Reporting  Period:  2012/7/1  –  2015/6/30     Abstract:     Our...portfolio.    Ultimately  Dr.  James   Lawton  became  the  new  program  officer,  and  still   currently  is...James Lawton Reporting Period Start Date 07/01/2012 Reporting Period End Date 06/30/2015 Abstract Our research had three main thrusts:

  4. Mechanics of Multiscale Energy Dissipation in Topologically Interlocked Materials-11.1 STIR

    DTIC Science & Technology

    2013-09-01

    modelling of impact damage in brittle materials, International Journal of Solids and Structures, 33 (1996) 2899- 2938 . [38] C . Denoual, F. Hild, Dynamic...Siegmund Purdue University Sponosored Program Services 155 S Grant Street West Lafayette, IN 47907 -2114 REPORT DOCUMENTATION PAGE b. ABSTRACT UU c . THIS...2013, Northwestern University, Evanston, IL, USA, Abstract #371. ( c ) Presentations Number of Presentations: 2.00 Non Peer-Reviewed Conference

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

    Jarocki, John Charles; Zage, David John; Fisher, Andrew N.

    LinkShop is a software tool for applying the method of Linkography to the analysis time-sequence data. LinkShop provides command line, web, and application programming interfaces (API) for input and processing of time-sequence data, abstraction models, and ontologies. The software creates graph representations of the abstraction model, ontology, and derived linkograph. Finally, the tool allows the user to perform statistical measurements of the linkograph and refine the ontology through direct manipulation of the linkograph.

  6. Adult Basic Education: Research, Demonstration, Staff Development and Dissemination. Proceedings of the 1978 Virgina ABE Dissemination Conference (Ingleside Resort Hotel, Staunton, Virginia, July 31-August 2, 1978).

    ERIC Educational Resources Information Center

    Virginia State Dept. of Education, Richmond. Adult Education Service.

    This conference proceedings report contains abstracts of seven 1977-78 Virginia Adult Basic Education (ABE) projects presented at a dissemination conference for ABE administrators and teachers. The abstracts vary in length (two to seven pages) and format and focus on program objectives, procedures or strategies, expected results, findings,…

  7. Defense Small Business Innovation Research Program (SBIR). Volume 1. Army Abstracts of Phase 1 Awards 1993

    DTIC Science & Technology

    1993-01-01

    glass phase transformations, will identify characteristic signatures associated with film formation. Phase I technical objectives include the analysis...Fast, Highly Sensitive, Rugged, Miniature Spectroradiometer Based on a TeO2 Acousto-optic Tunable Filter (AOTF) Abstract: Brimrose proposes to research...this problem. The use of poltruded glass fiber reinforcing elements containing recycled plastic in their matrices will also be examined as this will

  8. Unit Testing and Analysis

    DTIC Science & Technology

    1989-04-01

    Suzanne Woolf performed the library searches, and Dana Textbooks 14 Hausman spent many hours typing abstracts and annota- tions. Suggested Schedules 14...SE-1, 2 (June 1975), 156-173. Reprinted in [Miller8l a]. Gerhart76 Abstract: This paper examines the theoretical ard Gerhart, Susan L., and Lawrence ...of the Summer School on Corn- Englewood Cliffs, N. J.: Prentice-Hall, 1981. puter Program Testing Held at SOGESTA, Urbino, This book delves deeply

  9. Implications of the Budgeting Process on State-of-the-Art (SOA) Extensions.

    DTIC Science & Technology

    1987-12-01

    CLASSIFICATION AUTHORITY 3 DISTRIBUTION /AVAILABILITY OF REPORT Approved for public release; Zb DECLASSiFICATION1DOWNGRADING SCHEDULE Distribution is...PROGRAM PROJECT TASK WORK UNIT ELEMENT NO. NO NO ACCESSION NO 11. TITLE (Include Security Classification ) IMPLICATIONS OF THE BUDGETING PROCESS ON STATE...20 DISTRIBUTIONAVAILABILITY OF ABSTRACT 21 ABSTRACT SECURITY CLASSIFICATION 0 UNCLASSIFIED,UNLIMI"ED 0 SAME AS RPT QJ DTIC USERS UNCLASSIFIED 22a

  10. Tied Mixtures in the Lincoln Robust CSR

    DTIC Science & Technology

    1989-01-01

    reporting burden for the collection of information is estimated to average 1 hour per response , including the time for reviewing instructions, searching...TITLE AND SUBTITLE Tied Mixtures in the Lincoln Robust CSR 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d...ABSTRACT 18. NUMBER OF PAGES 10 19a. NAME OF RESPONSIBLE PERSON a. REPORT unclassified b. ABSTRACT unclassified c. THIS PAGE unclassified

  11. Practitioner review: Effective ingredients of prevention programs for youth at risk of persistent juvenile delinquency--recommendations for clinical practice.

    PubMed

    de Vries, Sanne L A; Hoeve, Machteld; Assink, Mark; Stams, Geert Jan J M; Asscher, Jessica J

    2015-02-01

    There is a lack of knowledge about specific effective ingredients of prevention programs for youth at risk for persistent delinquent behavior. The present study combines findings of previous studies by examining the effectiveness of programs in preventing persistent juvenile delinquency and by studying which particular program, sample, and study characteristics contribute to the effects. Information on effective ingredients offers specific indications of how programs may be improved in clinical practice. A literature search in PsychINFO, ERIC, PubMed, Sociological Abstracts, Criminal Justice Abstracts, and Google Scholar was performed. Only (quasi)experimental studies and studies that focused on adolescents at risk for (persistent) delinquent behavior were included. Multilevel meta-analysis was conducted on 39 studies (N = 9,084). Participants' ages ranged from 6 to 20 years (M = 14 years, SD = 2.45). The overall effect size was significant and small in magnitude (d = 0.24, p < .001). Behavioral-oriented programs, focusing on parenting skills training, behavioral modeling, or behavioral contracting yielded the largest effects. Multimodal programs and programs carried out in the family context proved to be more beneficial than individual and group-based programs. Less intensive programs yielded larger effects. Prevention programs have positive effects on preventing persistent juvenile delinquency. In order to improve program effectiveness, interventions should be behavioral-oriented, delivered in a family or multimodal format, and the intensity of the program should be matched to the level of risk of the juvenile. © 2014 Association for Child and Adolescent Mental Health.

  12. U.S. Geological Survey National Computer Technology Meeting; Program and abstracts, May 7-11, 1990

    USGS Publications Warehouse

    Balthrop, B. H.; Baker, E.G.

    1990-01-01

    Computer-related information from all Divisions of the U.S. Geological Survey are discussed in this compilation of abstracts. Some of the topics addressed are system administration; distributed information systems and data bases, both current (1990) and proposed; hydrologic applications; national water information systems; geographic information systems applications and techniques. The report contains some of the abstracts that were presented at the National Computer Technology Meeting that was held in May 1990. The meeting was sponsored by the Water Resources Division and was attended by more than 200 technical and managerial personnel representing all the Divisions of the U.S. Geological Survey. (USGS)

  13. A systematic review of integrative oncology programs

    PubMed Central

    Seely, D.M.; Weeks, L.C.; Young, S.

    2012-01-01

    Objective This systematic review set out to summarize the research literature describing integrative oncology programs. Methods Searches were conducted of 9 electronic databases, relevant journals (hand searched), and conference abstracts, and experts were contacted. Two investigators independently screened titles and abstracts for reports describing examples of programs that combine complementary and conventional cancer care. English-, French-, and German-language articles were included, with no date restriction. From the articles located, descriptive data were extracted according to 6 concepts: description of article, description of clinic, components of care, administrative structure, process of care, and measurable outcomes used. Results Of the 29 programs included, most were situated in the United States (n = 12, 41%) and England (n = 10, 34%). More than half (n = 16, 55%) operate within a hospital, and 7 (24%) are community-based. Clients come through patient self-referral (n = 15, 52%) and by referral from conventional health care providers (n = 9, 31%) and from cancer agencies (n = 7, 24%). In 12 programs (41%), conventional care is provided onsite; 7 programs (24%) collaborate with conventional centres to provide integrative care. Programs are supported financially through donations (n = 10, 34%), cancer agencies or hospitals (n = 7, 24%), private foundations (n = 6, 21%), and public funds (n = 3, 10%). Nearly two thirds of the programs maintain a research (n = 18, 62%) or evaluation (n = 15, 52%) program. Conclusions The research literature documents a growing number of integrative oncology programs. These programs share a common vision to provide whole-person, patient-centred care, but each program is unique in terms of its structure and operational model. PMID:23300368

  14. The SPIRIT Telescope Initiative: Six Years On (Abstract)

    NASA Astrophysics Data System (ADS)

    Luckas, P.

    2017-12-01

    (Abstract only) Now in its sixth year of operation, the SPIRIT initiative remains unique in Australia, as a robust web-enabled robotic telescope initiative funded for education and outreach. With multiple modes of operation catering for a variety of usage scenarios and a fully supported education program, SPIRIT provides free access to contemporary astronomical tools for students and educators in Western Australia and beyond. The technical solution itself provides an excellent model for low cost robotic telescope installations, and the education program has evolved over time to include a broad range of student experiences - from engagement activities to authentic science. This paper details the robotic telescope solution, student interface, and educational philosophy, summarizes achievements and lessons learned, and examines the possibilities for future enhancement including spectroscopy.

  15. USGS research on mineral resources, 1985 program and abstracts

    USGS Publications Warehouse

    Krafft, Kathleen

    1985-01-01

    The extended abstracts in this volume are summaries of the papers presented orally and as posters in the first V.E. McKelvey Forum on Mineral and Energy Resources, entitled "USGS Research on Mineral Resources-1985." The Forum has been established to improve communication between the USGS and the earth science community by presenting the results of current USGS research on nonrenewable resources in a timely fashion and by providing an opportunity for individuals from other organizations to meet informally with USGS scientists and managers. It is our hope that the McKelvey Forum will help to make USGS programs more responsive to the needs of the earth science community, particularly the mining and petroleum industries, and will foster closer cooperation between organizations and individuals.

  16. Formal specification and mechanical verification of SIFT - A fault-tolerant flight control system

    NASA Technical Reports Server (NTRS)

    Melliar-Smith, P. M.; Schwartz, R. L.

    1982-01-01

    The paper describes the methodology being employed to demonstrate rigorously that the SIFT (software-implemented fault-tolerant) computer meets its requirements. The methodology uses a hierarchy of design specifications, expressed in the mathematical domain of multisorted first-order predicate calculus. The most abstract of these, from which almost all details of mechanization have been removed, represents the requirements on the system for reliability and intended functionality. Successive specifications in the hierarchy add design and implementation detail until the PASCAL programs implementing the SIFT executive are reached. A formal proof that a SIFT system in a 'safe' state operates correctly despite the presence of arbitrary faults has been completed all the way from the most abstract specifications to the PASCAL program.

  17. Use of Aqueous Foam to Reduce Shoulder-Launched Rocket Noise Level: Feasibility Investigation.

    DTIC Science & Technology

    1981-07-01

    1 tj~ * UNCLASSIFIED SECUflITY CLASSIFICATION OF THIS PAGE (**en Dese Entered) REPORT DOCUMENTATION PAGE BEFORE COOTRUTIONS I. REPORT NUMBER 2. GOVT...necessar and identify by block number) Military Operations in Urban Terrain (MOUT) Program noise signature reduction aqueous foam 20. ABSTRACT...Military Operations in Urban Terrain (MOUT) Program, a U.S. Marine Corps exploratory development effort under Naval Materiel Command Program Element

  18. HVEPS Scramjet-Driven MHD Power Demonstration Test Results (Preprint)

    DTIC Science & Technology

    2007-06-01

    an outer annulus which provides the flow passage for the liquid NaK. Final fabrication and assembly of the seeding system was completed at UTRC as...ABSTRACT The Air Force sponsored Hypersonic Vehicle Electric Power System (HVEPS) program was a research program to develop scramjet driven...magnetohydrodynamic (MHD) power for an advanced high power, airborne electric power system . This program has been active for the past five years with various

  19. The Impact of a Patient Safety Program on Medical Error Reporting

    DTIC Science & Technology

    2005-05-01

    307 The Impact of a Patient Safety Program on Medical Error Reporting Donald R. Woolever Abstract Background: In response to the occurrence of...a sentinel event—a medical error with serious consequences—Eglin U.S. Air Force (USAF) Regional Hospital developed and implemented a patient safety...communication, teamwork, and reporting. Objective: To determine the impact of a patient safety program on patterns of medical error reporting. Methods: This

  20. Software Library: A Reusable Software Issue.

    DTIC Science & Technology

    1984-06-01

    On reverse aide it neceeary aid Identify by block number) Software Library; Program Library; Reusability; Generator 20 ABSTRACT (Cmlnue on revere... Software Library. A particular example of the Software Library, the Program Library, is described as a prototype of a reusable library. A hierarchical... programming libraries are described. Finally, non code products in the Software Library are discussed. Accesson Fo NTIS R~jS DrrC TA Availability Codes 0

  1. State of South Carolina Cooperative Aquatic Plant Control Program.

    DTIC Science & Technology

    1980-11-01

    Carolina Water Resources Commission. Abstract: The proposed program provides for a comprehensive plan to control noxious aquatic plants within the state...public water bodies in South Carolina to a more natural condition by controlling the excessive growth of aquatic vegetation in the interest of...Herbicides Proposed for Use in the Aquatic Plant Management Program D Cost Estimate E EPA Established Tolerances for Selected Herbicides in Potable Water F

  2. American Chemical Society. 23rd Great Lakes Regional Meeting. Program and abstracts

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

    Not Available

    1990-01-01

    The technical program includes some 250 papers in 38 sessions, featuring 16 symposia with 99 invited speakers. Program highlights include a plenary lecture, The Origin and Consequences of Scientific Illiteracy, by Jon D. Miller. Sessions for general technical papers are scheduled in the following categories: analytical chemistry; biochemistry; inorganic chemistry; organic chemistry; and physical chemistry. Papers have been processed for inclusion on the data base.

  3. Connectomic Reconstruction of the Inner Plexiform Layer in the Mouse Retina

    DTIC Science & Technology

    2013-08-08

    PROGRAM ELEMENT NUMBER 611103 6.AUTHORS Sd. PROJECT NUMBER Moritz Helmstaedter, Kevin L. Briggman, Srinivas C . Tw-aga, Viren Jain, H. Sebastian...LIMITATION OF a. REPORT b . ABSTRACT c . THIS PAGE ABSTRACT uu uu uu uu Models, Biological* New-opillphysiology 1S . NUMBER OF PAGES .. 19a. NAME...mouse retina Moritz Helmstaedter1{, Kevin L. Briggman1{, Srinivas C . Turaga2{, Viren Jain2{, H. Sebastian Seung2 & Winfried Denk1 Comprehensivehigh

  4. Patent Abstract Digest. Volume I.

    DTIC Science & Technology

    1979-04-30

    compact. self -contained transducer unit for 151) Field of Stucek............... 73/71 5 US, 67.5 R. electromagnetic generation and detection of...BSTRACT SPONSORED PROGRAMS FROM THE AIR FORCE SYSTEMS COMMAND United States Patent 1191 (111 4,115,616 Heitz et &1. (45 Sep. 19, 1978 154) SELF -SEALING...ioseph E. Rutz; Wiliam J.O’Brien (221 Filed: F . (57 ABSTRACT A self -sealing multi-laminated fuel line composite mate. rial composed of (a) a plastic

  5. A Tamper-Resistant Programming Language System

    DTIC Science & Technology

    2006-06-02

    www.cs.ucsb.edu/~vigna/listpub.html). [15] Gassend, B ., D. Clarke, M. van Dijk, S. Devadas , and E. Suh, “Caches and Merkle Trees for Efficient Memory...CLASSIFICATION OF: 17. LIMITATION OF ABSTRACT 18. NUMBER OF PAGES 23 19a. NAME OF RESPONSIBLE PERSON a. REPORT unclassified b . ABSTRACT...winhec/papers03.mspx). [3] Barak, B ., O. Goldreich, R. Impagliazzo, S. Rudich, A. Sahai, S. Vadhan, and K.Yang, “On the (Im)possibility of Obfuscating

  6. The Development of Ada (Trademark) Software for Secure Environments

    DTIC Science & Technology

    1986-05-23

    Telecommunications environment, This paper discusses software socurity and seeks to demostrate how the Ada programming language can be utilizec as a tool...complexity 4 . We use abstraction in our lives every day to control complexity; the principles of abstraction for software engineering are ro different...systems. These features directly sup,) )-t t.ie m odernp software engineering principles d1 s I , , 1 t, thne previous section. This is not surprising

  7. Fundamental Studies on Phase Transformations and Mechanical Properties of Fusion Welds in Advanced Naval Steels

    DTIC Science & Technology

    2017-07-31

    Studies on Phase Transformations and Mechanical Properties of Fusion Welds in Advanced Naval Steels Sb. GRANT NUMBER N00014-12-1-0475 Sc. PROGRAM...naval and structural applications. However, prior to this research project, a fundamental understanding of the phase transformation behavior under the...Steel, Phase Transformations 16. SECURITY CLASSIFICATION OF: 17. LIMITATION OF 18. NUMBER a. REPORT b.ABSTRACT c. THIS PAGE ABSTRACT OF PAGES u u

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

    ERIC Educational Resources Information Center

    Liemohn, Wendell, Ed.

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

  9. Proceedings of the Annual Meeting of the Mid-South Educational Research Association: Containing the Abstracts of Discussion Sessions, Display Sessions, Symposia, and Training Sessions (17th, Louisville, Kentucky, November 9-11, 1988).

    ERIC Educational Resources Information Center

    Petry, John R., Ed.; Guth, Lorraine J., Ed.

    Abstracts of papers presented during discussion and display sessions, symposia, and training sessions at the Mid-South Educational Research Association (MSERA) Annual Meeting in 1988 are presented. Papers presented during the display sessions discuss the following topics: the use of data maps for displaying/analyzing statistical data; programs for…

  10. Program and Abstracts for Clay Minerals Society 28th Annual Meeting

    NASA Technical Reports Server (NTRS)

    1991-01-01

    This volume contains abstracts that were accepted for presentation at the annual meeting. Some of the main topics covered include: (1) fundamental properties of minerals and methods of mineral analysis; (2) surface chemistry; (3) extraterrestrial clay minerals; (4) geothermometers and geochronometers; (5) smectite, vermiculite, illite, and related reactions; (6) soils and clays in environmental research; (7) kaolinite, halloysite, iron oxides, and mineral transformations; and (8) clays in lakes, basins, and reservoirs.

  11. Research on computer systems benchmarking

    NASA Technical Reports Server (NTRS)

    Smith, Alan Jay (Principal Investigator)

    1996-01-01

    This grant addresses the topic of research on computer systems benchmarking and is more generally concerned with performance issues in computer systems. This report reviews work in those areas during the period of NASA support under this grant. The bulk of the work performed concerned benchmarking and analysis of CPUs, compilers, caches, and benchmark programs. The first part of this work concerned the issue of benchmark performance prediction. A new approach to benchmarking and machine characterization was reported, using a machine characterizer that measures the performance of a given system in terms of a Fortran abstract machine. Another report focused on analyzing compiler performance. The performance impact of optimization in the context of our methodology for CPU performance characterization was based on the abstract machine model. Benchmark programs are analyzed in another paper. A machine-independent model of program execution was developed to characterize both machine performance and program execution. By merging these machine and program characterizations, execution time can be estimated for arbitrary machine/program combinations. The work was continued into the domain of parallel and vector machines, including the issue of caches in vector processors and multiprocessors. All of the afore-mentioned accomplishments are more specifically summarized in this report, as well as those smaller in magnitude supported by this grant.

  12. The Development of a Physician Vitality Program: A Brief Report.

    PubMed

    Hernandez, Barbara Couden; Thomas, Tamara L

    2015-10-01

    We describe the development of an innovative program to support physician vitality. We provide the context and process of program delivery which includes a number of experimental support programs. We discuss a model for intervention and methods used to enhance physician resilience, support work-life balance, and change the culture to one that explicitly addresses the physician's biopsychosocial-spiritual needs. Recommendations are given for marriage and family therapists (MFTs) who wish to develop similar support programs for healthcare providers. Video Abstract. © 2014 American Association for Marriage and Family Therapy.

  13. Human genome. 1993 Program report

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

    Not Available

    1994-03-01

    The purpose of this report is to update the Human Genome 1991-92 Program Report and provide new information on the DOE genome program to researchers, program managers, other government agencies, and the interested public. This FY 1993 supplement includes abstracts of 60 new or renewed projects and listings of 112 continuing and 28 completed projects. These two reports, taken together, present the most complete published view of the DOE Human Genome Program through FY 1993. Research is progressing rapidly toward 15-year goals of mapping and sequencing the DNA of each of the 24 different human chromosomes.

  14. 77 FR 5498 - Notice of Proposed Information Collection Requests

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-02-03

    ...: 249. Abstract: The Vocational Rehabilitation (VR) Program provides a wide range of services to help... can benefit from VR services for employment, and who require VR services. If a State is unable to... Administration (RSA) to State VR agencies to receive funding from the basic Title I formula grant program. The...

  15. 76 FR 67558 - Proposed Information Collection (Request for Change of Program or Place of Training) Activity...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-11-01

    ... information needed to determine a claimant's eligibility for continued educational assistance when he or she... use of other forms of information technology. Title: Request for Change of Program or Place of... collection. Abstract: Claimants receiving educational benefits complete VA Form 22-1995 to request a change...

  16. 78 FR 12293 - Proposed Information Collection; Comment Request; Survey of Income and Program Participation...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-02-22

    ... from January to April of 2017. The SIPP is a household-based survey designed as a continuous series of... DEPARTMENT OF COMMERCE U.S. Census Bureau Proposed Information Collection; Comment Request; Survey... INFORMATION: I. Abstract The Census Bureau plans to conduct the Survey of Income and Program Participation...

  17. Static Analysis of Programming Exercises: Fairness, Usefulness and a Method for Application

    ERIC Educational Resources Information Center

    Nutbrown, Stephen; Higgins, Colin

    2016-01-01

    This article explores the suitability of static analysis techniques based on the abstract syntax tree (AST) for the automated assessment of early/mid degree level programming. Focus is on fairness, timeliness and consistency of grades and feedback. Following investigation into manual marking practises, including a survey of markers, the assessment…

  18. 78 FR 62629 - Proposed Information Collection Request; Comment Request; Clean Water Act Section 404 State...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-10-22

    ... comments to OMB. Abstract: Section 404(g) of the Clean Water Act authorizes States [and Tribes] to assume... States/Tribes requesting assumption of the Clean Water Act section 404 permit program; States/ [[Page... Collection Request; Comment Request; Clean Water Act Section 404 State-Assumed Programs (Renewal) AGENCY...

  19. Fostering Innovation Through Robotics Exploration

    DTIC Science & Technology

    2015-06-01

    16 Jan 09. 13. SUPPLEMENTARY NOTES 14. ABSTRACT This effort enhanced Robotics STEM activities by incorporating Cognitive tutors at key points to...make important mathematical decision or implement critical calculations. Program utilized Cognitive Tutor Authoring tools for designing problem...activities by incorporating cognitive tutors at key points to make important mathematical decision or implement critical calculations. The program

  20. A native plant development program for the Colorado Plateau

    Treesearch

    Stephen B. Monsen

    2008-01-01

    (Please note, this is an abstract only) Revegetation programs instigated in the Intermountain West have relied on the use of introduced perennial grasses, with attention focused upon improving the agronomic and forage attributes of these species. Currently, a wide number of site adapted native species are required to restore the extensive disturbances throughout the...

  1. 76 FR 71119 - Agency Information Collection Activity Under OMB Review

    Federal Register 2010, 2011, 2012, 2013, 2014

    2011-11-16

    .... Abstract: 49 U.S.C. 5330 requires States to designate a State Safety Oversight (SSO) agency to oversee the... 5330, SSO agencies must develop program standards which meet FTA's minimum requirements. In the Program Standard, which must be approved by FTA, each SSO agency must require each rail transit agency in the State...

  2. 78 FR 23288 - Proposed Information Collection: State Water Resources Research Institute Program; Annual...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-04-18

    ...: State Water Resources Research Institute Program; Annual Application and Reporting AGENCY: United States... INFORMATION: I. Abstract The Water Resources Research Act of 1984, as amended (42 U.S.C. 10301 et seq.), authorizes a research institute water resources or center in each of the 50 states, the District of Columbia...

  3. 49 CFR Appendix B to Part 242 - Procedures for Submission and Approval of Conductor Certification Programs

    Code of Federal Regulations, 2014 CFR

    2014-10-01

    ... are voluntary or mandatory. Time and circumstances have the capacity to diminish both abstract knowledge and the proper application of that knowledge to discrete events. Time and circumstances also have.... In formulating how it will use the discretion being afforded, each railroad must design its program...

  4. 49 CFR Appendix B to Part 242 - Procedures for Submission and Approval of Conductor Certification Programs

    Code of Federal Regulations, 2012 CFR

    2012-10-01

    ... are voluntary or mandatory. Time and circumstances have the capacity to diminish both abstract knowledge and the proper application of that knowledge to discrete events. Time and circumstances also have.... In formulating how it will use the discretion being afforded, each railroad must design its program...

  5. 49 CFR Appendix B to Part 242 - Procedures for Submission and Approval of Conductor Certification Programs

    Code of Federal Regulations, 2013 CFR

    2013-10-01

    ... are voluntary or mandatory. Time and circumstances have the capacity to diminish both abstract knowledge and the proper application of that knowledge to discrete events. Time and circumstances also have.... In formulating how it will use the discretion being afforded, each railroad must design its program...

  6. Data-Driven Hint Generation in Vast Solution Spaces: A Self-Improving Python Programming Tutor

    ERIC Educational Resources Information Center

    Rivers, Kelly; Koedinger, Kenneth R.

    2017-01-01

    To provide personalized help to students who are working on code-writing problems, we introduce a data-driven tutoring system, ITAP (Intelligent Teaching Assistant for Programming). ITAP uses state abstraction, path construction, and state reification to automatically generate personalized hints for students, even when given states that have not…

  7. The Emotional and Ethical Development of College Students with Acknowledgement to Piaget and Other Theorists.

    ERIC Educational Resources Information Center

    Williams, Vernon

    The paper describes an experimental program for college freshmen which applies Piaget's theory of human development to students' academic and social experiences. The program, Accenting Development of Abstract Processes of Thought (ADAPT), was designed to facilitate movement of students from concrete operational thought patterns to more formal…

  8. Perspectives on Technology Assessment

    DTIC Science & Technology

    1991-01-01

    middle and high school students . They typically have strong social needs which are not always met in distance learning ...given distance learning program impacted student achievement and subsequent ability to use (transfer) the knowledge acquired outside of the instructional ...1980). An analysis of the effects of learning to program on student math performance and attitude toward school . Dissertation Abstract

  9. National Forum on New Students with Disabilities. Program & Proceedings (Columbia, South Carolina, February 18, 1994).

    ERIC Educational Resources Information Center

    South Carolina Univ., Columbia. National Resource Center for the Freshman Year Experience.

    This document presents the program and proceedings of a national forum on new students with disabilities and includes abstracts of presentations by 22 institutions as well as specific conference information. The following institutions are represented: (1) Algonquin College (Ontario, Canada), (2) Austin Peay State University (Tennessee), (3)…

  10. Integrated Geologic, Hydrologic, and Geophysical Investigations of the Chesapeake Bay Impact Structure, Virginia, USA: A Multi-Agency Program

    NASA Technical Reports Server (NTRS)

    Gohn, G. S.; Bruce, T. S.; Catchings, R. D.; Emry, S. R.; Johnson, G. H.; Levine, J. S.; McFarland, E. R.; Poag, C. W.; Powars, D. S.

    2001-01-01

    The Chesapeake Bay impact structure is the focus of an ongoing federal-state-local research program. Recent core drilling and geophysical surveys address the formative processes and hydrogeologic properties of this major "wet-target" impact. Additional information is contained in the original extended abstract.

  11. 75 FR 14455 - Agency Information Collection Activities: E-Verify Data Collection Survey; New Information...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2010-03-25

    ... program as intended, and to evaluate positive and negative impacts of the program in a mandatory.... in the subject box. Written comments and suggestions from the public and affected agencies should... Services. (4) Affected public who will be asked or required to respond, as well as a brief abstract...

  12. COMPUTATIONAL TOXICOLOGY: FRAMEWORK, PARTNERSHIPS, AND PROGRAM DEVELOPMENT. SEPTEMBER 29-30, 2003, RESEARCH TRIANGLE PARK, NORTH CAROLINA

    EPA Science Inventory

    Abstract

    The EPA sponsored a workshop held September 29-30, 2003 at the EPA in RTP that was focused on a proposal entitled "A Framework for a Computational Toxicology Research Program in ORD" (www.epa.gov/computox). Computational toxicology is a new research ini...

  13. Getting Real: A General Chemistry Laboratory Program Focusing on "Real World" Substances.

    ERIC Educational Resources Information Center

    Kerber, Robert C.; Akhtar, Mohammad J.

    1996-01-01

    Describes a freshman laboratory program designed to interface between the substances that surround students in their ordinary lives and abstract principles presented in chemistry classrooms. Course organization is based on the nature of the materials themselves, which include household chemicals such as hydrogen peroxide, food and beverages, pills…

  14. 1984 Winners of the Cost Reduction Incentive Awards. NACUBO/USSF.

    ERIC Educational Resources Information Center

    National Association of College and University Business Officers, Washington, DC.

    Abstracts of college projects that were winners of the ninth annual Cost Reduction Incentive Awards Program are presented, including 47 programs that received monetary awards and 11 that received honorable mentions. One of the three top winners was Indiana University-Purdue University at Indianapolis, which used an ultrasound device to detect…

  15. Aspect-Oriented Programming

    NASA Technical Reports Server (NTRS)

    Elrad, Tzilla (Editor); Filman, Robert E. (Editor); Bader, Atef (Editor)

    2001-01-01

    Computer science has experienced an evolution in programming languages and systems from the crude assembly and machine codes of the earliest computers through concepts such as formula translation, procedural programming, structured programming, functional programming, logic programming, and programming with abstract data types. Each of these steps in programming technology has advanced our ability to achieve clear separation of concerns at the source code level. Currently, the dominant programming paradigm is object-oriented programming - the idea that one builds a software system by decomposing a problem into objects and then writing the code of those objects. Such objects abstract together behavior and data into a single conceptual and physical entity. Object-orientation is reflected in the entire spectrum of current software development methodologies and tools - we have OO methodologies, analysis and design tools, and OO programming languages. Writing complex applications such as graphical user interfaces, operating systems, and distributed applications while maintaining comprehensible source code has been made possible with OOP. Success at developing simpler systems leads to aspirations for greater complexity. Object orientation is a clever idea, but has certain limitations. We are now seeing that many requirements do not decompose neatly into behavior centered on a single locus. Object technology has difficulty localizing concerns invoking global constraints and pandemic behaviors, appropriately segregating concerns, and applying domain-specific knowledge. Post-object programming (POP) mechanisms that look to increase the expressiveness of the OO paradigm are a fertile arena for current research. Examples of POP technologies include domain-specific languages, generative programming, generic programming, constraint languages, reflection and metaprogramming, feature-oriented development, views/viewpoints, and asynchronous message brokering. (Czarneclu and Eisenecker s book includes a good survey of many of these technologies).

  16. United States Air Force Graduate Student Summer Support Program (1987). Program Technical Report. Volume 1.

    DTIC Science & Technology

    1987-12-01

    developed for a large percentage of the participants in the Summer Faculty Research Program in 1979-1983 period through an AFOSR Minigrant Program . On 1...Analysis of a Bimodal Nuclear Rocket Core by Dav,, C. Carpenter ABSTRACT The framework for a general purpose finite element analysis code was developed ...to study the 2-D temperature distribution in a hot-channel S hexagonal fuel element in the core of a bimodal nuclear’ rocket. Prelim- inary thermal

  17. Research and technology operating plan summary: Fiscal year 1975 research and technology program. [space programs, energy technology, and aerospace sciences

    NASA Technical Reports Server (NTRS)

    1975-01-01

    Summaries are presented of Research and Technology Operating Plans currently in progress throughout NASA. Citations and abstracts of the operating plans are presented along with a subject index, technical monitor index, and responsible NASA organization index. Research programs presented include those carried out in the Office of Aeronautics and Space Technology, Office of Energy Programs, Office of Applications, Office of Space Sciences, Office of Tracking and Data Acquisition, and the Office of Manned Space Flight.

  18. Current Abstracts Nuclear Reactors and Technology

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

    Bales, J.D.; Hicks, S.C.

    1993-01-01

    This publication Nuclear Reactors and Technology (NRT) announces on a monthly basis the current worldwide information available from the open literature on nuclear reactors and technology, including all aspects of power reactors, components and accessories, fuel elements, control systems, and materials. This publication contains the abstracts of DOE reports, journal articles, conference papers, patents, theses, and monographs added to the Energy Science and Technology Database during the past month. Also included are US information obtained through acquisition programs or interagency agreements and international information obtained through acquisition programs or interagency agreements and international information obtained through the International Energy Agency`smore » Energy Technology Data Exchange or government-to-government agreements. The digests in NRT and other citations to information on nuclear reactors back to 1948 are available for online searching and retrieval on the Energy Science and Technology Database and Nuclear Science Abstracts (NSA) database. Current information, added daily to the Energy Science and Technology Database, is available to DOE and its contractors through the DOE Integrated Technical Information System. Customized profiles can be developed to provide current information to meet each user`s needs.« less

  19. Teaching Translational Research to Medical Students: The New York University School of Medicine's Master's of Science in Clinical Investigation Dual-Degree Program.

    PubMed

    Gillman, Jennifer; Pillinger, Michael; Plottel, Claudia S; Galeano, Claudia; Maddalo, Scott; Hochman, Judith S; Cronstein, Bruce N; Gold-von Simson, Gabrielle

    2015-12-01

    To develop the next generation of translational investigators, New York University School of Medicine (NYUSOM) and the NYU-NYC Health and Hospitals Corporation Clinical and Translational Science Institute (NYU-HHC CTSI) developed the Master's of Science in Clinical Investigation dual-degree (MD/MSCI) program. This 5-year program dedicates 1 year to coursework and biomedical research, followed by a medical school/research overlap year, to prepare students for academic research careers. This paper details the MD/MSCI program's curriculum and approach to mentorship, describes the research/professional interests of students, and reports student productivity. In the first 4 years of the program (2010-2014) 20 students were matriculated; 7 (35%) were women, and 12 (60%) research projects were in surgical specialties. To date, 14 students have applied to residency, and half pursued surgical residency programs. Our students have produced 68 accepted abstracts, 15 abstracts in submission, 38 accepted papers, and 24 papers in submission. Despite the time-limited nature of this program, additional training in research design and implementation has promoted a high level of productivity. We conclude that dual-degree training in medicine and translational research is feasible for medical students and allows for meaningful participation in valuable projects. Follow-up is warranted to evaluate the academic trajectory of these students. © 2015 Wiley Periodicals, Inc.

  20. Systematic review of qualitative evaluations of reentry programs addressing problematic drug use and mental health disorders amongst people transitioning from prison to communities.

    PubMed

    Kendall, Sacha; Redshaw, Sarah; Ward, Stephen; Wayland, Sarah; Sullivan, Elizabeth

    2018-03-02

    The paper presents a systematic review and metasynthesis of findings from qualitative evaluations of community reentry programs. The programs sought to engage recently released adult prison inmates with either problematic drug use or a mental health disorder. Seven biomedical and social science databases, Cinahl, Pubmed, Scopus, Proquest, Medline, Sociological abstracts and Web of Science and publisher database Taylor and Francis were searched in 2016 resulting in 2373 potential papers. Abstract reviews left 140 papers of which 8 were included after detailed review. Major themes and subthemes were identified through grounded theory inductive analysis of results from the eight papers. Of the final eight papers the majority (6) were from the United States. In total, the papers covered 405 interviews and included 121 (30%) females and 284 (70%) males. Findings suggest that the interpersonal skills of case workers; access to social support and housing; and continuity of case worker relationships throughout the pre-release and post-release period are key social and structural factors in program success. Evaluation of community reentry programs requires qualitative data to contextualize statistical findings and identify social and structural factors that impact on reducing incarceration and improving participant health. These aspects of program efficacy have implications for reentry program development and staff training and broader social and health policy and services.

  1. SEER Bibliography

    Cancer.gov

    Search this database of articles and other publications produced by cancer registry staff and Surveillance Research Program staff. Search by author, title, date, and organization. Provides links to PubMed and abstracts.

  2. High Performance Object-Oriented Scientific Programming in Fortran 90

    NASA Technical Reports Server (NTRS)

    Norton, Charles D.; Decyk, Viktor K.; Szymanski, Boleslaw K.

    1997-01-01

    We illustrate how Fortran 90 supports object-oriented concepts by example of plasma particle computations on the IBM SP. Our experience shows that Fortran 90 and object-oriented methodology give high performance while providing a bridge from Fortran 77 legacy codes to modern programming principles. All of our object-oriented Fortran 90 codes execute more quickly thatn the equeivalent C++ versions, yet the abstraction modelling capabilities used for scentific programming are comparably powereful.

  3. USSR and Eastern Europe Scientific Abstracts, Geophysics, Astronomy and Space, Number 403

    DTIC Science & Technology

    1977-08-17

    34Akademik Kurchatov" Departs for " Polimode " Ocean Experiment.... 11 Scientists Perform Oceanic Studies Near Wrangel Island 11 Abstracts of...stratosphere. [198] 10 III. OCEANOGRAPHY News "AKADEMIK KURCHATOV" DEPARTS FOR " POLIMODE " OCEAN EXPERIMENT Moscow PRAVDA in Russian 30 Jun 77 p 6 [Article...studies under the POLIMODE program. The head of the expedition, Professor V. Kort, commented on the pur- poses and tasks of the experiment: "Several

  4. Defense Small Business Innovation Research Program (SBIR). Volume 3. Air Force Abstracts of Phase 1 Awards 1992

    DTIC Science & Technology

    1992-01-01

    boost plenum which houses the camshaft . The compressed mixture is metered by a throttle to intake valves of the engine. The engine is constructed from...difficulties associated with a time-tagged fault tree . In particular, recent work indicates that the multi-layer perception architecture can give good fdi...Abstract: In the past decade, wastepaper recycling has gained a wider acceptance. Depletion of tree stocks, waste water treatment demands and

  5. Weight Measurements and Standards for Soldiers, Phase 2

    DTIC Science & Technology

    2016-10-01

    SUPPLEMENTARY NOTES 14. ABSTRACT The specific aims of the study are to: 1) examine body weight and fat changes associated with participation in a...maintenance of changes in body weight, body fat , and fitness after discontinuation of the promotion associated with the H.E.A.L.T.H. program. The study is a...physical fitness, health, weight, body fat 16. SECURITY CLASSIFICATION OF: 17. LIMITATION OF ABSTRACT 18. NUMBER OF PAGES 26 19a. NAME OF

  6. Research and Technology Operating Plan Summary: Fiscal Year 1973 Research and Technology Program

    NASA Technical Reports Server (NTRS)

    1972-01-01

    Abstracts are presented of each of the Research and Technology Operating Plans (RTOP) used for management review and control of research currently in progress throughout NASA. This RTOP Summary is designed to facilitate communication and coordination among concerned technical personnel in government, industry, and universities. The summary is arranged in five sections consisting of citations and abstracts of the RTOPs and subject, technical monitor, responsible NASA organization, and RTOP number indexes.

  7. In Situ Resource Utilization (ISRU) Technical Interchange Meeting

    NASA Technical Reports Server (NTRS)

    1997-01-01

    This volume contains abstracts that have been accepted for presentation at the In Situ Resource Utilization (ISRU) Technical Interchange Meeting, February 4-5, 1997, at the Lunar and Planetary Institute, Houston, Texas. Abstracts are arranged in order of presentation at the meetings, with corresponding page numbers shown in the enclosed agenda. Logistics, administration, and publication support for this meeting were provided by the staff of the Publications and Program Services Department at the Lunar and Planetary Institute.

  8. Flowfield Characteristics on a Retreating Rotor Blade

    DTIC Science & Technology

    2015-12-03

    dimensional airfoil aerodynamics. This project used stereo particle image velocimetry on a 2-bladed rotor at advance ratios of 0.7, 0.85 and 1.0...ABSTRACT 2. REPORT TYPE 17. LIMITATION OF ABSTRACT 15. NUMBER OF PAGES 5d. PROJECT NUMBER 5e. TASK NUMBER 5f. WORK UNIT NUMBER 5c. PROGRAM...attempted to make yaw corrections to 2- dimensional airfoil aerodynamics. This project used stereo particle image velocimetry on a 2-bladed rotor at advance

  9. U.S. Geological Survey national computer technology meeting; program and abstracts, New Orleans, Louisiana, April 10-15, 1994

    USGS Publications Warehouse

    Balthrop, B. H.; Baker, E.G.

    1994-01-01

    This report contains some of the abstracts of papers that were presented at the National Computer Technology Meeting that was held in April 1994. This meeting was sponsored by the Water Resources Division of the U.S. Geological Survey, and was attended by more than 200 technical and managerial personnel representing all the Divisions of the U.S. Geological Survey. Computer-related information from all Divisions of the U.S. Geological Survey are discussed in this compilation of abstracts. Some of the topics addressed are data transfer, data-base management, hydrologic applications, national water information systems, and geographic information systems applications and techniques.

  10. 78 FR 24736 - Agency Information Collection Activities; Submission to the Office of Management and Budget for...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-04-26

    ...; Submission to the Office of Management and Budget for Review and Approval; Comment Request; William D. Ford... in response to this notice will be considered public records. Title of Collection: William D. Ford...: 535,998. Abstract: The William D. Ford Federal Direct Loan Program regulations cover areas of program...

  11. Computer Assisted Instruction. Papers Presented at the Association for Educational Data Systems Annual Convention (Phoenix, Arizona, May 3-7, 1976).

    ERIC Educational Resources Information Center

    Association for Educational Data Systems, Washington, DC.

    Two abstracts and seventeen articles on computer assisted instruction (CAI) presented at the 1976 Association for Educational Data Systems (AEDS) convention are included here. Four new computer programs are described: Author System for Education and Training (ASET); GNOSIS, a Swedish/English CAI package; Statistical Interactive Programming System…

  12. Framework for a National Testing and Evaluation Program Based Upon the National Stormwater Testing and Evaluation for Products and Practices (STEPP) Initiative (WERF Report INFR2R14)

    EPA Science Inventory

    Abstract:The National STEPP Program seeks to improve water quality by accelerating the effective implementation and adoption of innovative stormwater management technologies. Itwill attempt to accomplish this by establishing practices through highly reliable, and cost-effective S...

  13. User's Guide to Biome Information from the United States International Biological Program (IBP). First Edition.

    ERIC Educational Resources Information Center

    Hinckley, A. Dexter; Haug, Peter T.

    This publication is a guide to the biome research conducted under the International Biological Program. The guide lists biome researchers by interest and by biome as well as a central list. A site list, map, information sources section reporting abstracts, bibliographies, journals, books, evaluations, and data books are also included. Three…

  14. Reflections from a Computer Simulations Program on Cell Division in Selected Kenyan Secondary Schools

    ERIC Educational Resources Information Center

    Ndirangu, Mwangi; Kiboss, Joel K.; Wekesa, Eric W.

    2005-01-01

    The application of computer technology in education is a relatively new approach that is trying to justify inclusion in the Kenyan school curriculum. Being abstract, with a dynamic nature that does not manifest itself visibly, the process of cell division has posed difficulties for teachers. Consequently, a computer simulation program, using…

  15. 78 FR 48437 - Agency Information Collection Activities; Submission to OMB for Review and Approval; Public...

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-08-08

    ...: Application for waiver of the two year foreign residence requirement of the Exchange Visitor Program. OMB No.: 0990-0001 Abstract: The HHS program deals with both research and clinical care waivers. Applicant institutions apply to this Department to request a waiver on behalf of research scientists or foreign medical...

  16. A Computer Program To Increase Comprehension of the Cartesian Rectangular Coordinate System in High School Pre-Algebra Students.

    ERIC Educational Resources Information Center

    Exley, I. Sheck

    The high percentage of high school pre-algebra students having difficulty learning the abstract concept of graphing ordered pairs on the Cartesian rectangular coordinate system was addressed by the creation and implementation of a computer-managed instructional program. Modules consisted of a pretest, instruction, two practice sessions, and a…

  17. The Effect of Software Reusability on Information Theory Based Software Metrics

    DTIC Science & Technology

    1990-01-01

    of plans across programming languages and application areas, only a brief abstract treatment of non-contiguous "program parts" is mentioned in the...info->num = linenum; CA6 if(*info->text) W. if(find(linenum)) C.8 patchup(linenum, 1); /*fix up old line numbers*/ 107 C.9 if(*info->text) C-10 start

  18. Program: A Record of the First 40 Years of Electronic Library and Information Systems

    ERIC Educational Resources Information Center

    Tedd, Lucy A.

    2006-01-01

    Purpose: To provide a broad overview of the history of the journal Program: electronic library and information systems and its contents over its first 40 years. Design/methodology/approach: Analysis of content from the original published material, as well as from abstracting and indexing publications and from minutes of Editorial Board meetings.…

  19. DARPA Antibody Technology Program Standardized Test Bed for Antibody Characterization: Characterization of an MS2 ScFv Antibody

    DTIC Science & Technology

    2016-03-01

    performance in an enzyme-linked immunosorbent assay ( ELISA ), with little regard for quantification of the full spectrum of variables affecting antibody...Program (ATP) Quality MS2 coat protein (MS2CP) Enzyme-linked immunosorbent assay ( ELISA ) 16. SECURITY CLASSIFICATION OF: 17. LIMITATION OF ABSTRACT...5 2.7 ELISA ................................................................................................................5

  20. 78 FR 17995 - Agency Information Collection Activity Under OMB Review

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-03-25

    ... collections: 49 U.S.C. Section 5337--State of Good Repair Program 49 U.S.C. Section 5339--Bus and Bus... on a quarterly basis. The information submitted ensures FTA's compliance with applicable federal laws. Title: 49 U.S.C. Section 5339--Bus and Bus Facilities Program. Abstract: 49 U.S.C. 5339--Bus and Bus...

  1. Learning to Walk the Talk: Designing a Teacher Leadership EdD Program as a Laboratory of Practice

    ERIC Educational Resources Information Center

    Sawyer, Richard D.

    2013-01-01

    This article tries to "put a face" on the complex and abstract process of program change in relation to key principles from the Carnegie Project on the Education Doctorate (CPED). We examine the principles of the "scholarship of practice," "laboratory of practice," and "signature pedagogy" within a…

  2. APPLICATION OF THE SPERM CHROMATIN STRUCTURE ASSAY TO THE TEPLICE PROGRAM SEMEN STUDIES: A NEW METHOD FOR EVALUATING SPERM NUCLEAR CHROMATIN DAMAGE

    EPA Science Inventory

    ABSTRACT
    A measure of sperm chromatin integrity was added to the routine semen end points evaluated in the Teplice Program male reproductive health studies. To address the hypothesis that exposure to periods of elevated air pollution may be associated with abnormalities in sp...

  3. An Investigation of Possible Discriminating Earned Value Variables in Department of Defense Major Acquisition Program Cancellation

    DTIC Science & Technology

    2013-06-01

    distribution is unlimited 12b. DISTRIBUTION CODE A 13. ABSTRACT (maximum 200 words) Some major defense acquisition programs (MDAPs) are cancelled...68 VI. PRACTICAL IMPLICATIONS FOR DEFENSE ACQUISITION .....................73 A . OVERVIEW...Contract Performance Report C /SCSC Cost/Schedule Control Systems Criteria CV Cost Variance CV % Cost Variance Percentage DAE Defense Acquisition

  4. Qualitative Assessment of a 3D Simulation Program: Faculty, Students, and Bio-Organic Reaction Animations

    ERIC Educational Resources Information Center

    Günersel, Adalet B.; Fleming, Steven A.

    2013-01-01

    Research shows that computer-based simulations and animations are especially helpful in fields such as chemistry where concepts are abstract and cannot be directly observed. Bio-Organic Reaction Animations (BioORA) is a freely available 3D visualization software program developed to help students understand the chemistry of biomolecular events.…

  5. New associations of phoretic mites on Pityokteines curvidens (Coleoptera, Curculionidae, Scolytinae)

    Treesearch

    Milan Pernek; Stefan Wirth; Stacy R. Blomquist; Dimitrios N. Avtzis; John C. Moser

    2012-01-01

    Abstract: The species composition and abundance of phoretic mites of the bark beetle Pityokteines curvidens caught in pheromone traps were investigated in Croatia. The P. curvidens trapping programs have been in an experimental phase in Croatia since 2004 as a possible monitoring and control system. The trapping program also permits the opportunity to sample phoretic...

  6. 6. Monitoring and the Northwest Forest Plan

    Treesearch

    Leslie M. Reid

    1994-01-01

    Abstract - Monitoring will ensure that the Northwest Forest Plan is implemented as intended, determine whether the plan is achieving its intended objectives, and provide information needed to improve the plan. The credibility of the Forest Plan rests on the credibility of its monitoring program. If the monitoring program is to succeed, it must focus on well-defined...

  7. Programma srednej skoly. Nacal'nye klassy (Primary School Draft Program).

    ERIC Educational Resources Information Center

    Academy of Pedagogical Sciences of the USSR, Moscow.

    This document is an English-language abstract (approximately 1,500 words) of the draft of new elementary school programs in Russian language, arithmetic, and natural history. Elementary Russian courses are regarded as an organic part of the entire course at the eight-year school. Such courses as phonetics and morphology figure in the draft program…

  8. Impact 3: The Title VI Program in the State of Oregon, June-August 1969.

    ERIC Educational Resources Information Center

    Browning, Philip L.; And Others

    The report of the Title VI Program in Oregon presents an overview of the summer 1969 activities which consisted of 24 projects designed for the areas of trainable and educable mentally handicapped, speech handicapped, deaf, visually handicapped, deaf-blind, and emotionally disturbed. The bulk of the text presents summary abstracts of each project…

  9. 15. international conference on plant growth substances: Program -- Abstracts

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

    NONE

    Since the 14th Conference in Amsterdam in 1991, progress in plant hormone research and developmental plant biology has been truly astonishing. The five ``classical`` plant hormones, auxin, gibberellin, cytokinin, ethylene, and abscisic acid, have been joined by a number of new signal molecules, e.g., systemin, jasmonic acid, salicylic acid, whose biosynthesis and functions are being understood in ever greater detail. Molecular genetics has opened new vistas in an understanding of transduction pathways that regulate developmental processes in response to hormonal and environmental signals. The program of the 15th Conference includes accounts of this progress and brings together scientists whose workmore » focuses on physiological, biochemical, and chemical aspects of plant growth regulation. This volume contains the abstracts of papers presented at this conference.« less

  10. Sixth Microgravity Fluid Physics and Transport Phenomena Conference Abstracts

    NASA Technical Reports Server (NTRS)

    Singh, Bhim (Compiler)

    2002-01-01

    The Sixth Microgravity Fluid Physics and Transport Phenomena Conference provides the scientific community the opportunity to view the current scope of the Microgravity Fluid Physics and Transport Phenomena Program, current research opportunities, and plans for the near future. The conference focuses not only on fundamental research but also on applications of this knowledge towards enabling future space exploration missions. A whole session dedicated to biological fluid physics shows increased emphasis that the program has placed on interdisciplinary research. The conference includes invited plenary talks, technical paper presentations, poster presentations, and exhibits. This TM is a compilation of abstracts of the papers and the posters presented at the conference. Web-based proceedings, including the charts used by the presenters, will be posted on the web shortly after the conference.

  11. Fate of abstracts presented at a National Turkish Orthopedics and Traumatology Congress: publication rates and consistency of abstracts compared with their subsequent full-text publications.

    PubMed

    Yalçınkaya, Merter; Bagatur, Erdem

    2013-01-01

    The aim of this study was to evaluate the publication rates of full-text articles after presentation of abstracts at a Turkish National Orthopaedics and Traumatology Congress, determine the time lag from the congress date to publication of full-text articles and assess the consistency between abstracts and the subsequent publications. All abstracts from the scientific program of the 20th Turkish National Orthopaedics and Traumatology Congress (2007) were identified and computerized PubMed searches were conducted to determine whether an abstract had been followed by publication of a full-text article and key features were compared to evaluate their consistency. The time lag to publication and the impact factors of the journals where the articles were published were noted. Of the 770 abstracts (264 oral, 506 poster presentations), 227 (29.5%) were followed by a full-text and 116 (44%) of the 264 oral and 111 (22%) of the 506 poster presentations were published. The mean time to publication was 14.9±16.075 (range: 33 to 55) months. Thirty-three (14.5%) were published prior to the presentation at the congress. The likelihood of publication decreased after the third year (26 of 227, 11.5%). A total of 182 (80.2%) articles showed inconsistencies with the abstract; 74 (32.6%) minor, 14 (6.2%) major, and 94 (41.4%) minor and major inconsistencies. The mean impact factor of the journals was 1.152±0.858. The vast majority of abstracts presented at this congress were not followed by publication of a full-text article. Additionally, frequent inconsistencies between the final published article and the original abstract indicated the inadequacy of quality of reporting in abstracts.

  12. 78 FR 17469 - Submission for OMB Review; Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-03-21

    ...: Terrorism Risk Insurance Program Rebuttal of Controlling Influence Submission. Abstract: Title 31 CFR 50.8... regulatory presumption of ``controlling influence'' over another insurer under the Terrorism Risk Insurance...

  13. Computer programs for computing particle-size statistics of fluvial sediments

    USGS Publications Warehouse

    Stevens, H.H.; Hubbell, D.W.

    1986-01-01

    Two versions of computer programs for inputing data and computing particle-size statistics of fluvial sediments are presented. The FORTRAN 77 language versions are for use on the Prime computer, and the BASIC language versions are for use on microcomputers. The size-statistics program compute Inman, Trask , and Folk statistical parameters from phi values and sizes determined for 10 specified percent-finer values from inputed size and percent-finer data. The program also determines the percentage gravel, sand, silt, and clay, and the Meyer-Peter effective diameter. Documentation and listings for both versions of the programs are included. (Author 's abstract)

  14. Developing focused wellness programs: using concept analysis to increase business value.

    PubMed

    Byczek, Lance; Kalina, Christine M; Levin, Pamela F

    2003-09-01

    Concept analysis is a useful tool in providing clarity to an abstract idea as well as an objective basis for developing wellness program products, goals, and outcomes. To plan for and develop successful wellness programs, it is critical for occupational health nurses to clearly understand a program concept as applied to a particular community or population. Occupational health nurses can use the outcome measures resulting from the concept analysis process to help demonstrate the business value of their wellness programs. This concept analysis demonstrates a predominance of the performance related attributes of fitness in the scientific literature.

  15. Linear programming computational experience with onyx

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

    Atrek, E.

    1994-12-31

    ONYX is a linear programming software package based on an efficient variation of the gradient projection method. When fully configured, it is intended for application to industrial size problems. While the computational experience is limited at the time of this abstract, the technique is found to be robust and competitive with existing methodology in terms of both accuracy and speed. An overview of the approach is presented together with a description of program capabilities, followed by a discussion of up-to-date computational experience with the program. Conclusions include advantages of the approach and envisioned future developments.

  16. Graduate engineering research participation in aeronautics

    NASA Technical Reports Server (NTRS)

    Roberts, A. S., Jr.

    1986-01-01

    The Aeronautics Graduate Research Program commenced in 1971, with the primary goal of engaging students who qualified for regular admission to the Graduate School of Engineering at Old Dominion University in a graduate engineering research and study program in collaboration with NASA Langley Research Center, Hampton, Virginia. The format and purposes of this program are discussed. Student selection and program statistics are summarized. Abstracts are presented in the folowing areas: aircraft design, aerodynamics, lift/drag characteristics; avionics; fluid mechanics; solid mechanics; instrumentation and measurement techniques; thermophysical properties experiments; large space structures; earth orbital dynamics; and environmental engineering.

  17. MetaJC++: A flexible and automatic program transformation technique using meta framework

    NASA Astrophysics Data System (ADS)

    Beevi, Nadera S.; Reghu, M.; Chitraprasad, D.; Vinodchandra, S. S.

    2014-09-01

    Compiler is a tool to translate abstract code containing natural language terms to machine code. Meta compilers are available to compile more than one languages. We have developed a meta framework intends to combine two dissimilar programming languages, namely C++ and Java to provide a flexible object oriented programming platform for the user. Suitable constructs from both the languages have been combined, thereby forming a new and stronger Meta-Language. The framework is developed using the compiler writing tools, Flex and Yacc to design the front end of the compiler. The lexer and parser have been developed to accommodate the complete keyword set and syntax set of both the languages. Two intermediate representations have been used in between the translation of the source program to machine code. Abstract Syntax Tree has been used as a high level intermediate representation that preserves the hierarchical properties of the source program. A new machine-independent stack-based byte-code has also been devised to act as a low level intermediate representation. The byte-code is essentially organised into an output class file that can be used to produce an interpreted output. The results especially in the spheres of providing C++ concepts in Java have given an insight regarding the potential strong features of the resultant meta-language.

  18. Trends in chemical ecology revealed with a personal computer program for searching data bases of scientific references and abstracts.

    PubMed

    Byers, J A

    1992-09-01

    A compiled program, JCE-REFS.EXE (coded in the QuickBASIC language), for use on IBM-compatible personal computers is described. The program converts a DOS text file of current B-I-T-S (BIOSIS Information Transfer System) or BIOSIS Previews references into a DOS file of citations, including abstracts, in a general style used by scientific journals. The latter file can be imported directly into a word processor or the program can convert the file into a random access data base of the references. The program can search the data base for up to 40 text strings with Boolean logic. Selected references in the data base can be exported as a DOS text file of citations. Using the search facility, articles in theJournal of Chemical Ecology from 1975 to 1991 were searched for certain key words in regard to semiochemicals, taxa, methods, chemical classes, and biological terms to determine trends in usage over the period. Positive trends were statistically significant in the use of the words: semiochemical, allomone, allelochemic, deterrent, repellent, plants, angiosperms, dicots, wind tunnel, olfactometer, electrophysiology, mass spectrometry, ketone, evolution, physiology, herbivore, defense, and receptor. Significant negative trends were found for: pheromone, vertebrates, mammals, Coleoptera, Scolytidae,Dendroctonus, lactone, isomer, and calling.

  19. Global Arrays

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

    Krishnamoorthy, Sriram; Daily, Jeffrey A.; Vishnu, Abhinav

    2015-11-01

    Global Arrays (GA) is a distributed-memory programming model that allows for shared-memory-style programming combined with one-sided communication, to create a set of tools that combine high performance with ease-of-use. GA exposes a relatively straightforward programming abstraction, while supporting fully-distributed data structures, locality of reference, and high-performance communication. GA was originally formulated in the early 1990’s to provide a communication layer for the Northwest Chemistry (NWChem) suite of chemistry modeling codes that was being developed concurrently.

  20. Causality-Preserving Timestamps in Distributed Programs

    DTIC Science & Technology

    1993-06-01

    monitoring,deh!bigging. tac-hvon,catisaIi tvý Abstract A tachyon is an improperly ordered event in a distributed program. Tachvonis are most often...that tachyons do in fact. occur commonly in distributed pro- grams on our Ethernet at Carnegie Mellon University. and we disc’ss some ways of...before it is sent) is called a tach yon. (’learly it is very disconcerting to try to debug a parallel program that contains tachyons . Of course, in "real

  1. A Recommendation for the Heavy Division Command Group

    DTIC Science & Technology

    1994-06-03

    Numbers. To include contract from the Standard Distribution for and grant numbers; may include program Unclassified Scientific and Technical element...blank. C - Contract PR - Project G - Grant TA -Task PE - Program WU - Work Unit Block 13. Abstract, Include a brief (Maximum Element Accession No. 200...Ronald E. McConnell, M.B.A., M.A. Accepted this 3rd day of June 1994 by. A •" Director, Graduate Degree Philip Brooes, Ph.D. Program The opinions and

  2. A Research Program in Computer Technology

    DTIC Science & Technology

    1976-07-01

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

  3. Nuclear Technology Division annual progress report for period ending June 30, 1972

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

    None

    1972-10-01

    This document is a report of progress on technical programs of the Nuclear Technology,Division of Aerojet Nuclear Company for FY 72 ending June 30, 1972. It contains abstracts or expansions of abstracts of papers which have been published within the year. In these cases, preprints or reprints of the articles available. Results of work in progress are also reported; since this work is of a preliminary nature, the authors should be contacted before including any reference to these works in other publications.

  4. Simulation Analysis of Data Sharing in Shared Memory Multiprocessors

    DTIC Science & Technology

    1989-02-24

    LIMITATION OF ABSTRACT Same as Report (SAR) 18. NUMBER OF PAGES 178 19a. NAME OF RESPONSIBLE PERSON a. REPORT unclassified b . ABSTRACT unclassified...work. Andrea Casotto (CELL), Steve McGrogan (SPICE), Srinivas Devadas (TOPOP1) and Hi-Keung Tony Ma (VERIFY) donated the parallel programs and a con...Effect of Block Size on B us Utilization 120 5-14 Ratio of Sharing Bus Cyc les to Total Bus Cycles 120 5-15 Oassification of Bus Cyc les for

  5. Advancement and Application of Multi-Phase CFD Modeling to High Speed Supercavitating Flows

    DTIC Science & Technology

    2013-08-13

    5a. CONTRACT NUMBER 5b. GRANT NUMBER N00014-09-1-0042 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) Jules W. Lindau and Michael P. Kinzel 5d. PROJECT...REPORT U b. ABSTRACT U c. THIS PAGE U 17. LIMITATION OF ABSTRACT U 18. NUMBER OF PAGES 29 19a. NAME OF RESPONSIBLE PERSON Jules W. Lindau...Application of Multi-Phase CFD Modeling to High Speed Supercavitating Flows Michael P. Kinzel Jules W. Lindau Penn State University Applied Research

  6. A Socio-Technical Analysis of Computer Application within the Fourth Marine Aircraft Wing.

    DTIC Science & Technology

    1987-03-01

    IDENTIFICATION NUMBER ORGANIZATION j I applicable) SC ADDRE SS (City, State, and ZIP Code) 10 SOURCE OF FUNDING NUMBERS PROGRAM IPROjECT ITASK WORK .jNIr... currently being- used is not sufficient to meet all the needs of 14tii MAW , Z0 11YR’UTiON /AVAILABILITY Of ABSTRACT 21 ABSTRACT SECURITY...implementation process currently being used is not sufficient to meet all the needs of 4th MAW units. This study identifies alternatives necessary to

  7. Developing Breast Cancer Program at Xavier: Genomic and Proteomic Analysis of Signaling Pathways Involved in Xenohormone and MEK5 Regulation of Breast Cancer

    DTIC Science & Technology

    2005-05-01

    purification of intermediates to antibiotic medicines Hangzhou First Pharmaceutical Company Hangzhou, P. R. China Research chemist September 1987...NAME OF RESPONSIBLE PERSON OF ABSTRACT OF PAGES a. REPORT b. ABSTRACT c . THIS PAGE LTU 19b. TELEPHONE NUMBER (include area U U U 32 code) Standard Form...used as the second-dimension system c . BioRad PROTEAN® d. VersaDocTM Imaging Systems with PDQUEST software Preliminary results Using the newly installed

  8. Solving the AI Planning Plus Scheduling Problem Using Model Checking via Automatic Translation from the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL)

    NASA Technical Reports Server (NTRS)

    Butler, Ricky W.; Munoz, Cesar A.; Siminiceanu, Radu I.

    2007-01-01

    This paper describes a translator from a new planning language named the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL) model checker. This translator has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats (SAVH) project sponsored by the Exploration Technology Development Program, which is seeking to mature autonomy technology for the vehicles and operations centers of Project Constellation.

  9. Consumable Guide Electroslag Welding of 4 to 24 Inch Thick Carbon Steel Castings (The National Shipbuilding Research Program)

    DTIC Science & Technology

    1986-08-01

    aware that notwithstanding any other provision of law, no person shall be subject to a penalty for failing to comply with a collection of information if...SECURITY CLASSIFICATION OF: 17. LIMITATION OF ABSTRACT SAR 18. NUMBER OF PAGES 168 19a. NAME OF RESPONSIBLE PERSON a. REPORT unclassified b. ABSTRACT...States, nor the Maritime Administration, nor any person acting on behalf of the Maritime Administration (A) makes any warranty or representation, expressed

  10. Critical Analyses and Development of Training Mechanisms: Cholinergic Crisis and Pediatric/Neonatal Intubation

    DTIC Science & Technology

    2013-12-01

    194-195. 9. Akierman A, Daya K , McPhail K , Singhal N, Steinke C, Thomson B . A comparison of three neonatal intubation training programs in calgary...1995;10(4):251-258. 226. Ruetzler K , Roessler B , Potura L, et al. Performance and skill retention of intubation by paramedics using seven different...LIMITATION OF ABSTRACT 18. NUMBER OF PAGES 19a. NAME OF RESPONSIBLE PERSON USAMRMC a. REPORT U b . ABSTRACT U c. THIS PAGE U UU

  11. Relating Life-Span Research to the Development of Gifted and Talented Children. Abstracts of Selected Papers [from] The Annual Esther Katz Rosen Symposium on the Psychological Development of Gifted Children (3rd, Lawrence, Kansas, February 19-20, 1993).

    ERIC Educational Resources Information Center

    Kansas Univ., Lawrence.

    This monograph presents abstracts of 29 papers that relate life-span research to the development of gifted and talented children. Sample topics include: attitudes about rural schools and programs for the gifted; social competence, self-esteem, and parent-child time and interaction in an advantaged subculture; helping families of gifted children…

  12. Concluding Analysis of IR Measurements of Microbreaking and Whitecaps

    DTIC Science & Technology

    2004-09-30

    Microbreaking and Whitecaps 5b. GRANT NUMBER N00014-02-1-0523 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d. PROJECT NUMBER Andrew T. Jessup 5e. TASK NUMBER...LIMITATION OF 18. NUMBER 19a. NAME OF RESPONSIBLE PERSON a. REPORT b. ABSTRACT c. THIS PAGE ABSTRACT OF Andrew Jessup PAGES Unclassified Unclassified...N00014-02-0523 Concluding Analysis of IR Measurements of Microbreaking and Whitecaps 04 Apr 2002 through 30 Sep 2004 Andrew T. Jessup Applied Physics

  13. Global planning of several plants

    NASA Technical Reports Server (NTRS)

    Bescos, Sylvie

    1992-01-01

    This paper discusses an attempt to solve the problem of planning several pharmaceutical plants at a global level. The interest in planning at this level is to increase the global control over the production process, to improve its overall efficiency, and to reduce the need for interaction between production plants. In order to reduce the complexity of this problem and to make it tractable, some abstractions were made. Based on these abstractions, a prototype is being developed within the framework of the EUREKA project PROTOS, using Constraint Logic Programming techniques.

  14. A Framework for Architecture-Based Planning and Assessment to Support Modeling and Simulation of Network-Centric Command and Control

    DTIC Science & Technology

    2006-02-17

    included system-unique specifications derived to counter these threats. But the international security environment has changed --- and it will continue... Netowrk -Centric Command and Control 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d. PROJECT NUMBER 5e. TASK...contains color images. 14. ABSTRACT 15. SUBJECT TERMS 16. SECURITY CLASSIFICATION OF: 17. LIMITATION OF ABSTRACT 18. NUMBER OF PAGES 20 19a. NAME

  15. United States Naval Hospital Ship Program: History, Evolution, and Configuration Management.

    DTIC Science & Technology

    1987-12-01

    named the CARLOS CHAGAS and was built in Rio de Janeiro in 1984. The basic ship configuration characteristics are as follows: dimension, in ’ feet: 154.2...of 2,500 cubic feet. The ship’s medical missions include trips to countries in the Caribbean Basin and the Amazon River in Brazil . In contrast to...20 D;S’RIBUTION , AVAILABILITY OF ABSTRACT 2’ ABSTRACT SE RITY CASSIFICATION CXNCLASSIVIEDUNLMFi’ED - SAME AS RPT - Z)TIC USERS UNCL 22a NAME O

  16. A Request for the Conference and Symposia Grant from COMP Division of American Chemical Society

    DTIC Science & Technology

    2015-03-02

    John Kattirtzi, Joost VandeVondele, Jun Cheng. 4:45 pm 130 Oxidation stability and decomposition reactions of battery electrolytes and additives in bulk...CA Abstracts2View™: http://abstracts.acs.org/chem/248nm/program/divisionindex.php?act=pre... 3 of 5 8/26/2014 8:19 PM 11:10 am 420 DME decomposition ...Nature of electro-osmosis in hydrated polymer electrolyte membranes Yoong-Kee Choe 5:25 pm Concluding Remarks COMP Emilio Esposito, Scott Wildman

  17. Statistical Inference on Memory Structure of Processes and Its Applications to Information Theory

    DTIC Science & Technology

    2016-05-12

    ABSTRACT 2. REPORT TYPE 17. LIMITATION OF ABSTRACT 15. NUMBER OF PAGES 5d. PROJECT NUMBER 5e. TASK NUMBER 5f. WORK UNIT NUMBER 5c. PROGRAM ELEMENT...published that acknowledge ARO support from the start of the project to the date of this printing. List the papers, including journal references, in the...Patents Submitted Patents Awarded Awards Graduate Students Hee Sun Kim, a doctoral student, inducted in to Mu Sigma Rho, the National Statistics

  18. National Comprehensive Cancer Network

    MedlinePlus

    ... Session - Call for Abstracts NCCN Academy for Excellence & Leadership in Oncology™ NCCN 2018 Nursing Program: Advancing Oncology ... Congress: Hematologic Malignancies™ NCCN Global Academy for Excellence & Leadership in Oncology™ NCCN Corporate Council Next Meeting, March ...

  19. Comets: Gases, ices, grains and plasma

    NASA Technical Reports Server (NTRS)

    Wilkening, L. L.

    1981-01-01

    The program and abstracts of the 97 papers delivered at the colloquium are presented. Cometary nuclei, comet dust, the coma, ion tails, several comet missions, and cometary origin and evolution were discussed.

  20. 78 FR 23634 - Submission for OMB Review; Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2013-04-19

    ... approval of continuing professional education programs and the renewal of the enrollment status for those... Accounting Under Section 448(d)(5). Abstract: Final regulations provide four safe harbor nonaccrual...

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

    Strout, Michelle

    Programming parallel machines is fraught with difficulties: the obfuscation of algorithms due to implementation details such as communication and synchronization, the need for transparency between language constructs and performance, the difficulty of performing program analysis to enable automatic parallelization techniques, and the existence of important "dusty deck" codes. The SAIMI project developed abstractions that enable the orthogonal specification of algorithms and implementation details within the context of existing DOE applications. The main idea is to enable the injection of small programming models such as expressions involving transcendental functions, polyhedral iteration spaces with sparse constraints, and task graphs into full programsmore » through the use of pragmas. These smaller, more restricted programming models enable orthogonal specification of many implementation details such as how to map the computation on to parallel processors, how to schedule the computation, and how to allocation storage for the computation. At the same time, these small programming models enable the expression of the most computationally intense and communication heavy portions in many scientific simulations. The ability to orthogonally manipulate the implementation for such computations will significantly ease performance programming efforts and expose transformation possibilities and parameter to automated approaches such as autotuning. At Colorado State University, the SAIMI project was supported through DOE grant DE-SC3956 from April 2010 through August 2015. The SAIMI project has contributed a number of important results to programming abstractions that enable the orthogonal specification of implementation details in scientific codes. This final report summarizes the research that was funded by the SAIMI project.« less

  2. Vertical Root Fracture Detection Using Limited-FOV Cone-Beam Computed Tomography

    DTIC Science & Technology

    2012-06-01

    A thesis submitted to the Faculty of the Endodontics Graduate Program Naval Postgraduate Dental School Uniformed Services...Dental Program Navy Medicine Professional Development Center Terry D. Webb, DDS, MS CAPT, DC, USN Chairman, Endodontics Dept. Glen M. Imamura, S...Computed Tomography Geoffrey McMurray, DDS, MS ABSTRACT Introduction: Vertical root fractures (VRF) often occur in endodontically treated teeth

  3. U.S. Army’s Ground Vehicle Energy Storage R&D Programs & Goals

    DTIC Science & Technology

    2010-11-10

    STATEMENT Approved for public release; distribution unlimited 13. SUPPLEMENTARY NOTES Briefing to ARPA-E BEEST Meeting 14. ABSTRACT NA 15...Program Collaboration & DOD Customers DOE Material Developers Battery Developers ANL USABC National Labs Universities Industrial Developers...qualification for military lead acid batteries; 6 water baths, 31 circuits, 1 thermal chamber • Electrochemical Research & Analysis Lab (EARL

  4. Project Application Guidelines for Alcohol and Other Drug Abuse Program Funding. Student Services, Prevention, and Wellness Team. Bulletin No. 95202.

    ERIC Educational Resources Information Center

    Wisconsin State Dept. of Public Instruction, Madison. Bureau for Pupil Services.

    This publication provides information and application forms for alcohol and other drug abuse (AODA) funding. The contents include the following: Framework for Student Services, Prevention and Wellness; Abstracts of AODA Grants; Timetable for Grants; Criteria Applicable to all State AODA Grants; Criteria Specific to Aoda Program Grant; AODA…

  5. Infrared Semiconductor Metamaterials

    DTIC Science & Technology

    2016-09-01

    Approved for public release. 13. SUPPLEMENTARY NOTES 14. ABSTRACT The central objective of this program is to create a new class of programmable ...this program is to create a new class of programmable infrared optic that can steer or focus beams and is reconfigurable at electronic time...element of a programmable infrared optic that can steer or focus beams and is reconfigurable at electronic time-scales. B. Major

  6. Evaluating the Generality and Limits of Blind Return-Oriented Programming Attacks

    DTIC Science & Technology

    2015-12-01

    consider a recently proposed information disclosure vulnerability called blind return-oriented programming (BROP). Under certain conditions, this...implementation disclosure attacks 15. NUMBER OF PAGES 75 16. PRICE CODE 17. SECURITY CLASSIFICATION OF REPORT Unclassified 18. SECURITY CLASSIFICATION OF...Science iii THIS PAGE INTENTIONALLY LEFT BLANK iv ABSTRACT We consider a recently proposed information disclosure vulnerability called blind return

  7. The Pilot Mentor-Protege Program: A Viable Program for Government Procurement

    DTIC Science & Technology

    1993-06-01

    Protege, Small Disadvantaged Business, Government Contracting 19 Abstract (continue on reverse if necessaryj and identif by block number) The Pilot Mentor...developmental assistance to Small Disadvantaged Businesses (SDBs). The developmental assistance provided should enhance the capabilities of SD)Bs to perform...as subcontractfors and suppliers under Government and commercial contracts and increase Small Disadvantaged Business participation in Department of

  8. Strengthening the Gluteus Medius Using Various Bodyweight and Resistance Exercises

    PubMed Central

    Tufano, James J.; Golas, Artur; Petr, Miroslav

    2016-01-01

    ABSTRACT THE GLUTEUS MEDIUS (Gmed) IS AN IMPORTANT MUSCLE AND, IF WEAK, CAN CAUSE KNEE, HIP, OR LOWER-BACK PATHOLOGIES. THIS ARTICLE REVIEWS METHODS OF Gmed STRENGTH ASSESSMENT, PROVIDES EXERCISES THAT TARGET THE Gmed BASED ON ELECTROMYOGRAPHY, PRESENTS HOW TO IMPLEMENT Gmed STRENGTHENING IN HEAVY RESISTANCE TRAINING PROGRAMS, AND EXPLAINS THE IMPORTANCE OF INCLUDING THESE EXERCISES IN THESE PROGRAMS. PMID:27340373

  9. Quantitative reactive modeling and verification.

    PubMed

    Henzinger, Thomas A

    Formal verification aims to improve the quality of software by detecting errors before they do harm. At the basis of formal verification is the logical notion of correctness , which purports to capture whether or not a program behaves as desired. We suggest that the boolean partition of software into correct and incorrect programs falls short of the practical need to assess the behavior of software in a more nuanced fashion against multiple criteria. We therefore propose to introduce quantitative fitness measures for programs, specifically for measuring the function, performance, and robustness of reactive programs such as concurrent processes. This article describes the goals of the ERC Advanced Investigator Project QUAREM. The project aims to build and evaluate a theory of quantitative fitness measures for reactive models. Such a theory must strive to obtain quantitative generalizations of the paradigms that have been success stories in qualitative reactive modeling, such as compositionality, property-preserving abstraction and abstraction refinement, model checking, and synthesis. The theory will be evaluated not only in the context of software and hardware engineering, but also in the context of systems biology. In particular, we will use the quantitative reactive models and fitness measures developed in this project for testing hypotheses about the mechanisms behind data from biological experiments.

  10. Second topical conference on high-temperature plasma diagnostics

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

    Jahoda, F.C.; Freese, K.B.

    1978-02-01

    This report contains the program and abstracts of papers presented at the Second American Physical Society Topical Conference on High Temperature Plasma Diagnostics, March 1-3, 1978, Santa Fe, New Mexico.

  11. Hydrogen Energy: A bibliography with abstracts

    NASA Technical Reports Server (NTRS)

    1976-01-01

    Bibliographic series cites documents relating to use of hydrogen as energy carrier. In addition to cumulative volume, annual supplement is available for 1974, and quarterly update program serves 1975 and current calendar year.

  12. An Abstract Plan Preparation Language

    NASA Technical Reports Server (NTRS)

    Butler, Ricky W.; Munoz, Cesar A.

    2006-01-01

    This paper presents a new planning language that is more abstract than most existing planning languages such as the Planning Domain Definition Language (PDDL) or the New Domain Description Language (NDDL). The goal of this language is to simplify the formal analysis and specification of planning problems that are intended for safety-critical applications such as power management or automated rendezvous in future manned spacecraft. The new language has been named the Abstract Plan Preparation Language (APPL). A translator from APPL to NDDL has been developed in support of the Spacecraft Autonomy for Vehicles and Habitats Project (SAVH) sponsored by the Explorations Technology Development Program, which is seeking to mature autonomy technology for application to the new Crew Exploration Vehicle (CEV) that will replace the Space Shuttle.

  13. Full-text publication of abstracts presented at European Orthodontic Society congresses.

    PubMed

    Livas, Christos; Pandis, Nikolaos; Ren, Yijin

    2014-10-01

    Empirical evidence has indicated that only a subsample of studies conducted reach full-text publication and this phenomenon has become known as publication bias. A form of publication bias is the selectively delayed full publication of conference abstracts. The objective of this article was to examine the publication status of oral abstracts and poster-presentation abstracts, included in the scientific program of the 82nd and 83rd European Orthodontic Society (EOS) congresses, held in 2006 and 2007, and to identify factors associated with full-length publication. A systematic search of PubMed and Google Scholar databases was performed in April 2013 using author names and keywords from the abstract title to locate abstract and full-article publications. Information regarding mode of presentation, type of affiliation, geographical origin, statistical results, and publication details were collected and analyzed using univariable and multivariable logistic regression. Approximately 51 per cent of the EOS 2006 and 55 per cent of the EOS 2007 abstracts appeared in print more than 5 years post congress. A mean period of 1.32 years elapsed between conference and publication date. Mode of presentation (oral or poster), use of statistical analysis, and research subject area were significant predictors for publication success. Inherent discrepancies of abstract reporting, mainly related to presentation of preliminary results and incomplete description of methods, may be considered in analogous studies. On average 52.2 per cent of the abstracts presented at the two EOS conferences reached full publication. Abstracts presented orally, including statistical analysis, were more likely to get published. © The Author 2013. Published by Oxford University Press on behalf of the European Orthodontic Society. All rights reserved. For permissions, please email: journals.permissions@oup.com.

  14. Temporal abstraction and inductive logic programming for arrhythmia recognition from electrocardiograms.

    PubMed

    Carrault, G; Cordier, M-O; Quiniou, R; Wang, F

    2003-07-01

    This paper proposes a novel approach to cardiac arrhythmia recognition from electrocardiograms (ECGs). ECGs record the electrical activity of the heart and are used to diagnose many heart disorders. The numerical ECG is first temporally abstracted into series of time-stamped events. Temporal abstraction makes use of artificial neural networks to extract interesting waves and their features from the input signals. A temporal reasoner called a chronicle recogniser processes such series in order to discover temporal patterns called chronicles which can be related to cardiac arrhythmias. Generally, it is difficult to elicit an accurate set of chronicles from a doctor. Thus, we propose to learn automatically from symbolic ECG examples the chronicles discriminating the arrhythmias belonging to some specific subset. Since temporal relationships are of major importance, inductive logic programming (ILP) is the tool of choice as it enables first-order relational learning. The approach has been evaluated on real ECGs taken from the MIT-BIH database. The performance of the different modules as well as the efficiency of the whole system is presented. The results are rather good and demonstrate that integrating numerical techniques for low level perception and symbolic techniques for high level classification is very valuable.

  15. Publications of the Volcano Hazards Program 2014

    USGS Publications Warehouse

    Nathenson, Manuel

    2016-04-08

    Only published papers and maps are included here; abstracts presented at scientific meetings are omitted. Publication dates are based on year of issue, with no attempt to assign them to a fiscal year.

  16. Publications of the Volcano Hazards Program 2013

    USGS Publications Warehouse

    Nathenson, Manuel

    2015-01-01

    Only published papers and maps are included here; abstracts presented at scientific meetings are omitted. Publication dates are based on year of issue, with no attempt to assign them to a fiscal year.

  17. Announcements

    NASA Astrophysics Data System (ADS)

    1997-10-01

    NSF-Course and Curriculum Development Program Call for Award Nominations Gordon Conference- Innocations in College Chemistry Teaching Summer Opportunity for Students High School Chemistry Day ACS Satellite TV Seminars Wanted - Newletter Editor ACS Abstract Deadline Call for Award Nominations

  18. 77 FR 55524 - Submission for OMB Review; Comment Request

    Federal Register 2010, 2011, 2012, 2013, 2014

    2012-09-10

    ... Institutions (CDFI) Fund OMB Number: 1559-NEW. Type of Review: New collection. Title: Capital Magnet Fund Reporting. Abstract: The purpose of the Capital Magnet Fund (CMF) program is to competitively award grants...

  19. ASSIST user manual

    NASA Technical Reports Server (NTRS)

    Johnson, Sally C.; Boerschlein, David P.

    1995-01-01

    Semi-Markov models can be used to analyze the reliability of virtually any fault-tolerant system. However, the process of delineating all the states and transitions in a complex system model can be devastatingly tedious and error prone. The Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST) computer program allows the user to describe the semi-Markov model in a high-level language. Instead of listing the individual model states, the user specifies the rules governing the behavior of the system, and these are used to generate the model automatically. A few statements in the abstract language can describe a very large, complex model. Because no assumptions are made about the system being modeled, ASSIST can be used to generate models describing the behavior of any system. The ASSIST program and its input language are described and illustrated by examples.

  20. Towards a Property-Based Testing Environment With Applications to Security-Critical Software

    DTIC Science & Technology

    1994-01-01

    4 is a slice of the MINIX [Tan87] login program with respect to the setuid system call. The original program contains 337 lines, the slice only 20...demonstrat- ing the e ectiveness of slicing in this case5. The mapping of the abstract concept of au- thentication to source code in the MINIX login...Slice of MINIX login with respect to setuid(). occurs. If no incorrect execution occurs, slices of the program are examined for their data ow coverage

  1. General 3D Airborne Antenna Radiation Pattern Code Users Manual.

    DTIC Science & Technology

    1983-02-01

    AD-A 30 359 GENERAL 3D AIRBORNEANTENNA RADIATION PATTERN CODE USERS MANUA (U) OHIO STATE UNIV COLUMBUS ELECTROSCIENCE LAB H HCHUNGET AL FEB 83 RADC...F30602-79-C-0068 9. PERFORMING ORGANIZATION NAME AND ADDRESS 10. PROGRAM ELEMENT. PROJECT. TASKAREA A WORK UNIT NUMEEfRS The Ohio State University...Computer Program 20, ABSTRACT (Coaffivme on reverse side it ntecessar a" 141etifIr &V block mUbef) This report describes a computer program and how it may

  2. Coherent Risk-Adjusted Decisions Over Time: a Bilevel Programming Approach

    DTIC Science & Technology

    2015-03-23

    AFRL-AFOSR-VA-TR-2015-0310 Coherent Risk-Adjusted Decisions Over Time: a Bilevel Programming Approach Jonathan Eckstein RUTGERS THE STATE UNIVERSITY...FA9550-11-1-0164 5b. GRANT NUMBER FA9550-11-1-0164 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) Eckstein, Jonathan Ruszczynski, Andrzej 5d. PROJECT... Jonathan Eckstein a. REPORT U b. ABSTRACT U c. THIS PAGE U 19b. TELEPHONE NUMBER (Include area code) 848-445-0510 Standard Form 298 (Rev. 8/98

  3. Comprehensive Monitoring Program: Air Quality Data Assessment Report for FY90. Volume 2. Version 3.1

    DTIC Science & Technology

    1991-09-01

    91311R01 If VERSION 3.10) VOLUME II Comm 2ND COPY COMPREHENSIVE MONITORING PROGRAM Contract Number DAAAI5-87-0095 AIR QUALITY DATA ASSESSMENT REPORT...MONITORING PROGRAM. FINAL AIR QUALITY DATA ASSESSMENT REPORT FOR FY90, VERSION 3.1 NONE 6. AUTHOR(S) 7. PERFORMING ORGANIZATION NAME(S) AND ADDRES.S(S) 8...RELEASE; DISTRIBUTION IS UNLIMITED 13. ABSTRACT (Maximum 200 words) THE OBJECTIVE OF THIS CMP IS TO: VERIFY AND EVALUATE POTENTIAL AIR QUALITY HEALTH

  4. Advancing Translational Research Through the NHLBI Gene Therapy Resource Program (GTRP)

    PubMed Central

    Benson, Janet; Cornetta, Kenneth; Diggins, Margaret; Johnston, Julie C.; Sepelak, Susan; Wang, Gensheng; Wilson, James M.; Wright, J. Fraser; Skarlatos, Sonia I.

    2013-01-01

    Abstract Translational research is a lengthy, complex, and necessary endeavor in order to bring basic science discoveries to clinical fruition. The NIH offers several programs to support translational research including an important resource established specifically for gene therapy researchers—the National Heart, Lung, and Blood Institute (NHLBI) Gene Therapy Resource Program (GTRP). This paper reviews the core components of the GTRP and describes how the GTRP provides researchers with resources that are critical to advancing investigational gene therapy products into clinical testing. PMID:23692378

  5. U.S. Geological Survey National Computer Technology Meeting: Program and Abstracts, Norfolk, Virginia, May 17-22, 1992

    DTIC Science & Technology

    1992-05-01

    formats, and character formats that can easily integrate graphics and text into one document. FrameMaker is one of few ERP software programs that has...easier and faster using ERP software. The DIS-II ERP software program is FrameMaker by Frame Technology, Incorporated. FrameMaker uses the X window...functions, calculus, relations, and other complicated math applications. FrameMaker permits the user to define formats for master pages, reference pages

  6. Interactive Implementation of the Optimal Systems Control Design Program (OPTSYSX) on the IBM 3033.

    DTIC Science & Technology

    1984-03-01

    DAS A44 159 INTERACTIVE IMPLEMENTATION OF THE OPTIMAL SYSTEMS I CONTROL DESIGN PROGRAM (OPTSYSX) ON THE 1DM 3033(U NAVAL POSTGRADUATE SCHOOL MONTEREY...noesear end idswtif’r b block number) Optimal Systems Control Systems Control Control Systems 10.; ABSTRACT (Continu an reveree side ff Roe684v ad Id yI...34 by block number) .- This thesis discusses the modification of an existing Optimal Systems Control FORTRAN program (OPTSYS) originally obtained from

  7. Abstracts of Presentations at Workshop on Unsteady and Two-Phase-Flows, Held in London, England on June 28-29, 1990

    DTIC Science & Technology

    1990-06-29

    has been found to be a modification of the STAN’ program from Crawford and Kays2. An important characteristic of any boundary layer prediction program...function of freestream turbulence intensity, helped in predicting heat transfer rates between the hot gases and the b’arie surface. a Professor...be a modulator of transition to turbulence and the boundary layer prediction programs currently available have a poor performance in such flows

  8. Abstract shapes of RNA.

    PubMed

    Giegerich, Robert; Voss, Björn; Rehmsmeier, Marc

    2004-01-01

    The function of a non-protein-coding RNA is often determined by its structure. Since experimental determination of RNA structure is time-consuming and expensive, its computational prediction is of great interest, and efficient solutions based on thermodynamic parameters are known. Frequently, however, the predicted minimum free energy structures are not the native ones, leading to the necessity of generating suboptimal solutions. While this can be accomplished by a number of programs, the user is often confronted with large outputs of similar structures, although he or she is interested in structures with more fundamental differences, or, in other words, with different abstract shapes. Here, we formalize the concept of abstract shapes and introduce their efficient computation. Each shape of an RNA molecule comprises a class of similar structures and has a representative structure of minimal free energy within the class. Shape analysis is implemented in the program RNAshapes. We applied RNAshapes to the prediction of optimal and suboptimal abstract shapes of several RNAs. For a given energy range, the number of shapes is considerably smaller than the number of structures, and in all cases, the native structures were among the top shape representatives. This demonstrates that the researcher can quickly focus on the structures of interest, without processing up to thousands of near-optimal solutions. We complement this study with a large-scale analysis of the growth behaviour of structure and shape spaces. RNAshapes is available for download and as an online version on the Bielefeld Bioinformatics Server.

  9. PCC Framework for Program-Generators

    NASA Technical Reports Server (NTRS)

    Kong, Soonho; Choi, Wontae; Yi, Kwangkeun

    2009-01-01

    In this paper, we propose a proof-carrying code framework for program-generators. The enabling technique is abstract parsing, a static string analysis technique, which is used as a component for generating and validating certificates. Our framework provides an efficient solution for certifying program-generators whose safety properties are expressed in terms of the grammar representing the generated program. The fixed-point solution of the analysis is generated and attached with the program-generator on the code producer side. The consumer receives the code with a fixed-point solution and validates that the received fixed point is indeed a fixed point of the received code. This validation can be done in a single pass.

  10. Two-step web-mining approach to study geology/geophysics-related open-source software projects

    NASA Astrophysics Data System (ADS)

    Behrends, Knut; Conze, Ronald

    2013-04-01

    Geology/geophysics is a highly interdisciplinary science, overlapping with, for instance, physics, biology and chemistry. In today's software-intensive work environments, geoscientists often encounter new open-source software from scientific fields that are only remotely related to the own field of expertise. We show how web-mining techniques can help to carry out systematic discovery and evaluation of such software. In a first step, we downloaded ~500 abstracts (each consisting of ~1 kb UTF-8 text) from agu-fm12.abstractcentral.com. This web site hosts the abstracts of all publications presented at AGU Fall Meeting 2012, the world's largest annual geology/geophysics conference. All abstracts belonged to the category "Earth and Space Science Informatics", an interdisciplinary label cross-cutting many disciplines such as "deep biosphere", "atmospheric research", and "mineral physics". Each publication was represented by a highly structured record with ~20 short data attributes, the largest authorship-record being the unstructured "abstract" field. We processed texts of the abstracts with the statistics software "R" to calculate a corpus and a term-document matrix. Using R package "tm", we applied text-mining techniques to filter data and develop hypotheses about software-development activities happening in various geology/geophysics fields. Analyzing the term-document matrix with basic techniques (e.g., word frequencies, co-occurences, weighting) as well as more complex methods (clustering, classification) several key pieces of information were extracted. For example, text-mining can be used to identify scientists who are also developers of open-source scientific software, and the names of their programming projects and codes can also be identified. In a second step, based on the intermediate results found by processing the conference-abstracts, any new hypotheses can be tested in another webmining subproject: by merging the dataset with open data from github.com and stackoverflow.com. These popular, developer-centric websites have powerful application-programmer interfaces, and follow an open-data policy. In this regard, these sites offer a web-accessible reservoir of information that can be tapped to study questions such as: which open source software projects are eminent in the various geoscience fields? What are the most popular programming languages? How are they trending? Are there any interesting temporal patterns in committer activities? How large are programming teams and how do they change over time? What free software packages exist in the vast realms of related fields? Does the software from these fields have capabilities that might still be useful to me as a researcher, or can help me perform my work better? Are there any open-source projects that might be commercially interesting? This evaluation strategy reveals programming projects that tend to be new. As many important legacy codes are not hosted on open-source code-repositories, the presented search method might overlook some older projects.

  11. Mall Walking Program Environments, Features, and Participants: A Scoping Review.

    PubMed

    Farren, Laura; Belza, Basia; Allen, Peg; Brolliar, Sarah; Brown, David R; Cormier, Marc L; Janicek, Sarah; Jones, Dina L; King, Diane K; Marquez, David X; Rosenberg, Dori E

    2015-08-13

    Walking is a preferred and recommended physical activity for middle-aged and older adults, but many barriers exist, including concerns about safety (ie, personal security), falling, and inclement weather. Mall walking programs may overcome these barriers. The purpose of this study was to summarize the evidence on the health-related value of mall walking and mall walking programs. We conducted a scoping review of the literature to determine the features, environments, and benefits of mall walking programs using the RE-AIM framework (reach, effectiveness, adoption, implementation, and maintenance). The inclusion criteria were articles that involved adults aged 45 years or older who walked in indoor or outdoor shopping malls. Exclusion criteria were articles that used malls as laboratory settings or focused on the mechanics of walking. We included published research studies, dissertations, theses, conference abstracts, syntheses, nonresearch articles, theoretical papers, editorials, reports, policy briefs, standards and guidelines, and nonresearch conference abstracts and proposals. Websites and articles written in a language other than English were excluded. We located 254 articles on mall walking; 32 articles met our inclusion criteria. We found that malls provided safe, accessible, and affordable exercise environments for middle-aged and older adults. Programmatic features such as program leaders, blood pressure checks, and warm-up exercises facilitated participation. Individual benefits of mall walking programs included improvements in physical, social, and emotional well-being. Limited transportation to the mall was a barrier to participation. We found the potential for mall walking programs to be implemented in various communities as a health promotion measure. However, the research on mall walking programs is limited and has weak study designs. More rigorous research is needed to define best practices for mall walking programs' reach, effectiveness, adoption, implementation, and maintenance.

  12. G STL: the geostatistical template library in C++

    NASA Astrophysics Data System (ADS)

    Remy, Nicolas; Shtuka, Arben; Levy, Bruno; Caers, Jef

    2002-10-01

    The development of geostatistics has been mostly accomplished by application-oriented engineers in the past 20 years. The focus on concrete applications gave birth to many algorithms and computer programs designed to address different issues, such as estimating or simulating a variable while possibly accounting for secondary information such as seismic data, or integrating geological and geometrical data. At the core of any geostatistical data integration methodology is a well-designed algorithm. Yet, despite their obvious differences, all these algorithms share many commonalities on which to build a geostatistics programming library, lest the resulting library is poorly reusable and difficult to expand. Building on this observation, we design a comprehensive, yet flexible and easily reusable library of geostatistics algorithms in C++. The recent advent of the generic programming paradigm allows us elegantly to express the commonalities of the geostatistical algorithms into computer code. Generic programming, also referred to as "programming with concepts", provides a high level of abstraction without loss of efficiency. This last point is a major gain over object-oriented programming which often trades efficiency for abstraction. It is not enough for a numerical library to be reusable, it also has to be fast. Because generic programming is "programming with concepts", the essential step in the library design is the careful identification and thorough definition of these concepts shared by most geostatistical algorithms. Building on these definitions, a generic and expandable code can be developed. To show the advantages of such a generic library, we use G STL to build two sequential simulation programs working on two different types of grids—a surface with faults and an unstructured grid—without requiring any change to the G STL code.

  13. The Shipbuilding Technology Transfer Program, Program Summary Report

    DTIC Science & Technology

    1981-08-31

    Davis Highway, Suite 1204, Arlington VA 22202-4302. Respondents should be aware that notwithstanding any other provision of law, no person shall be...NAME OF RESPONSIBLE PERSON a. REPORT unclassified b. ABSTRACT unclassified c. THIS PAGE unclassified Standard Form 298 (Rev. 8-98) Prescribed...Information for this study was derived from source documentation sup- plied by IHI, information obtained directly from IHI consulting person - nel

  14. Information Technology Division’s Technical Paper Abstracts

    DTIC Science & Technology

    1994-07-05

    antenna systems. 86 Title: An Electromagnetic Interference Study of Potential Transmitter Sites for the HF Active Auroral Research Program ( HAARP ...examined a number of potential sites for the location of the proposed High Frequency Active Auroral Research Program ( HAARP ) transmitter facility. The...proposed HAARP facility will consist of a large planar array of antennas excited by phased high power transmitters operating in the lower portion of the

  15. (abstract) Ulysses Solar Wind Ion Temperatures: Radial, Latitudinal, and Dynamical Dependencies

    NASA Technical Reports Server (NTRS)

    Goldstein, B. E.; Smith, E. J.; Gosling, J. T.; McComas, D. J.; Balogh, A.

    1996-01-01

    Observations of the Ulysses SWOOPS plasma experiment are used to determine the dependencies of solar wind ion temperatures upon radial distance, speed, and other parameters, and to estimate solar wind heating. Comparisons with three dimensional temperature estimates determined from the ion spectra by a least squares fitting program will be provided (only small samples of data have been reduced with this program).

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

    DTIC Science & Technology

    2016-06-01

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

  17. Numerical Hydrodynamic Study of Hypothetical Levee Setback Scenarios

    DTIC Science & Technology

    2018-01-01

    ER D C /C HL T R- 18 -1 Flood and Coastal Systems Research and Development Program Numerical Hydrodynamic Study of Hypothetical Levee...default. Flood and Coastal Systems Research and Development Program ERDC/CHL TR-18-1 January 2018 Numerical Hydrodynamic Study of Hypothetical...Reduction” ERDC/CHL TR-18-1 ii Abstract A numerical hydrodynamic study was conducted to compare multiple levee setback alternatives to the base

  18. 1986 fuel cell seminar: Program and abstracts

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

    None

    1986-10-01

    Ninety nine brief papers are arranged under the following session headings: gas industry's 40 kw program, solid oxide fuel cell technology, phosphoric acid fuel cell technology, molten carbonate fuel cell technology, phosphoric acid fuel cell systems, power plants technology, fuel cell power plant designs, unconventional fuels, fuel cell application and economic assessments, and plans for commerical development. The papers are processed separately for the data base. (DLC)

  19. Results of an Experimental Program to Provide Low Cost Computer Searches of the NASA Information File to University Graduate Students in the Southeast. Final Report.

    ERIC Educational Resources Information Center

    Smetana, Frederick O.; Phillips, Dennis M.

    In an effort to increase dissemination of scientific and technological information, a program was undertaken whereby graduate students in science and engineering could request a computer-produced bibliography and/or abstracts of documents identified by the computer. The principal resource was the National Aeronautics and Space Administration…

  20. Program Translation via Abstraction and Reimplementation.

    DTIC Science & Technology

    1986-12-01

    fromn particular datai flow and control flow constructs. In add non , the analysis is narrow in scope. aiming onlx to gather enoiugh intoination to...NUMSIERS 545 Technology Square U) Cambridge, MA 02139 00 CONTROLLING OFFICE NAME AND ADDRESS 12. REPORT DATE Advanced Research Projects Agency December... designed which generates extremely efficient PDP-II object code for Pascal programs. Currently, work is proceeding toward the implementation of a

  1. Data Mining the Corporate Dental System of USA DENTAC Fort Bragg

    DTIC Science & Technology

    2016-06-10

    Data Mining the Corporate Dental System of USA DENTAC Fort Bragg FREDWIN HOLOMON, D.D.S. B.S. University of...AEGD Program Director ABSTRACT Statement of the problem: Dental wellness has not reached optimum levels at Fort Bragg after implementation of...the Go First Class Program. Purpose: To examine the Go First Class Program’s influence upon dental wellness and readiness. Materials and Methods

  2. Multidisciplinary research in space sciences and engineering with emphasis on theoretical chemistry

    NASA Technical Reports Server (NTRS)

    Hirschfelder, J. O.; Curtiss, C. F.

    1974-01-01

    A broad program is reported of research in theoretical chemistry, particularly in molecular quantum and statistical mechanics, directed toward determination of the physical and chemical properties of materials, relation of these macroscopic properties to properties of individual molecules, and determination of the structure and properties of the individual molecules. Abstracts are presented for each research project conducted during the course of the program.

  3. Methods for Evaluating Mammography Imaging Techniques

    DTIC Science & Technology

    1999-06-01

    Distribution Unlimited 12b. DIS5TRIBUTION CODE 13. ABSTRACT (Maximum 200 words) This Department of Defense Breast Cancer Research Program Career...Development Award is enabling Dr. Rütter to develop bio’statistical methods for breast cancer research. Dr. Rutter is focusing on methods for...evaluating the accuracy of breast cancer screening. This four year program includes advanced training in the epidemiology of breast cancer , training in

  4. Documents of the JPL Photovoltaics Program Analysis and Integration Center: An annotated bibliography

    NASA Technical Reports Server (NTRS)

    Pearson, A. M.

    1985-01-01

    A bibliography of internal and external documents produced by the Jet Propulsion Laboratory, based on the work performed by the Photovoltaics Program Analysis and Integration Center, is presented with annotations. As shown in the Table of Contents, the bibliography is divided into three subject areas: (1) Assessments, (2) Methdological Studies, and (3) Supporting Studies. Annotated abstracts are presented for 20 papers.

  5. TARDEC Update for TTCP

    DTIC Science & Technology

    2009-04-01

    09 COL Kevin Peterson Principal Deputy Program Manager Joint MRAP Vehicle Program 17 MRAP Variant Overview FP COUGAR CAT I (FPII CAT I) MaxxPro BAE...distribution unlimited 13. SUPPLEMENTARY NOTES Presented at the TTCP LND TP3 Annual Meeting and Task Workshop Manned and Unmanned Ground Vehicle Systems, 23...28 April 2009, Suffield, Alberta, Canada, The original document contains color images. 14. ABSTRACT 15. SUBJECT TERMS 16. SECURITY

  6. Army Industrial Fund Rate Stabilization Program.

    DTIC Science & Technology

    1986-11-01

    orders. Most cost reimbursable orders fall outside of the four exclusions authorized by the revised DA policy on fixed rate orders. Of the cost reimbur ... reimbursable programs. , . 20 DISTRIBUTION/AVAILABILITY OF ABSTRArT 21 ABSTRACT SECURITY CLASSIFICATION M UNCLASSIFIED/UNLIMITED 0 SAME AS RPT - DTIC USERS...customers who reimburse the fund. Industrial funds are intended to be self-sustaining. Department of Defense (DOD) policy as enumerated in DOD

  7. Identification of an Adaptable Computer Program Design for Analyzing a Modular Organizational Assessment Instrument.

    DTIC Science & Technology

    1981-09-01

    ber) Survey-guided development Organizational effectiveness Computer program Organizational diagnosis Management 20. ABSTRACT (Continue an reverse...Army. Doctoral dissertation, Purdue University, December 1977. (DTIC AD-A059-542) Bowers, D. G. Organizational diagnosis : A review and a proposed method...G. E. Compara- tive issues and methods in organizational diagnosis . Ann Arbor MI: Institute for Social Research, University of Michigan, November 1977

  8. Knowledge Based Consultation for Finite Element Structural Analysis.

    DTIC Science & Technology

    1980-05-01

    Intelligence Finite Element Program Tutorial 20 ABSTRACT (Continue. on rees side If necessary and ide.n’ty b,’ bit,, k nionh.) In recent years, techniques of...involved in Artificial Intelligence at Stanford University developed the program MYCIN F2], for clinical consultation of diseases that require...and Rules The basic backward chaining logic, characteristic to Artificial Intelligence . approaching 1he problem of knowledge representation was

  9. Efficient Strategies for Active Interface-Level Network Topology Discovery

    DTIC Science & Technology

    2013-09-01

    Network Information Centre API Application Programming Interface APNIC Asia-Pacific Network Information Centre ARIN American Registry for Internet Numbers...very convenient Application Programming Interface ( API ) for easy primitive implementation. Ark’s API facilitates easy development and rapid...prototyping – important attributes as the char- acteristics of our primitives evolve. The API allows a high-level of abstraction, which in turn leads to rapid

  10. SMART Optimization of a Parenting Program for Active Duty Families

    DTIC Science & Technology

    2017-10-01

    study will conduct a randomized trial of individual cognitive behavioral therapy (CBT) intervention and a social-learning family therapy condition for...STATEMENT Approved for Public Release; Distribution Unlimited 13. SUPPLEMENTARY NOTES 14. ABSTRACT The objective of this study is to provide ways...that it benefits service members, their partners, and their children . The program appears to improve parents’ sense of control, or feelings of

  11. The 1984 NASA/ASEE summer faculty fellowship program

    NASA Technical Reports Server (NTRS)

    Mcinnis, B. C.; Duke, M. B.; Crow, B.

    1984-01-01

    An overview is given of the program management and activities. Participants and research advisors are listed. Abstracts give describe and present results of research assignments performed by 31 fellows either at the Johnson Space Center, at the White Sands test Facility, or at the California Space Institute in La Jolla. Disciplines studied include engineering; biology/life sciences; Earth sciences; chemistry; mathematics/statistics/computer sciences; and physics/astronomy.

  12. Economic Evaluation of Combined Diet and Physical Activity Promotion Programs to Prevent Type 2 Diabetes Among Persons at Increased Risk: A Systematic Review for the Community Preventive Services Task Force

    PubMed Central

    Li, Rui; Qu, Shuli; Zhang, Ping; Chattopadhyay, Sajal; Gregg, Edward W.; Albright, Ann; Hopkins, David; Pronk, Nicolaas P.

    2016-01-01

    Background Diabetes is a highly prevalent and costly disease. Studies indicate that combined diet and physical activity promotion programs can prevent type 2 diabetes among persons at increased risk. Purpose To systematically evaluate the evidence on cost, cost-effectiveness, and cost-benefit estimates of diet and physical activity promotion programs. Data Sources Cochrane Library, EMBASE, MEDLINE, PsycINFO, Sociological Abstracts, Web of Science, EconLit, and CINAHL through 7 April 2015. Study Selection English-language studies from high-income countries that provided data on cost, cost-effectiveness, or cost-benefit ratios of diet and physical activity promotion programs with at least 2 sessions over at least 3 months delivered to persons at increased risk for type 2 diabetes. Data Extraction Dual abstraction and assessment of relevant study details. Data Synthesis Twenty-eight studies were included. Costs were expressed in 2013 U.S. dollars. The median program cost per participant was $653. Costs were lower for group-based programs (median, $417) and programs implemented in community or primary care settings (median, $424) than for the U.S. DPP (Diabetes Prevention Program) trial and the DPP Outcomes Study ($5881). Twenty-two studies assessed the incremental cost-effectiveness ratios (ICERs) of the programs. From a health system perspective, 16 studies reported a median ICER of $13 761 per quality-adjusted life-year (QALY) saved. Group-based programs were more cost-effective (median, $1819 per QALY) than those that used individual sessions (median, $15 846 per QALY). No cost-benefit studies were identified. Limitation Information on recruitment costs and cost-effectiveness of translational programs implemented in community and primary care settings was limited. Conclusion Diet and physical activity promotion programs to prevent type 2 diabetes are cost-effective among persons at increased risk. Costs are lower when programs are delivered to groups in community or primary care settings. Primary Funding Source None. PMID:26167962

  13. ARSENIC RESEARCH AT GWERD

    EPA Science Inventory

    Abstract - The presentation will summarize the arsenic research program at the Ground Water & Ecosystems Restoration Division of the National Risk Management Research Laboratory of USEPA. Topics include use of permeable reactive barriers for in situ arsenic remediation in ground...

  14. Enlisting health departments in highway safety programs

    DOT National Transportation Integrated Search

    1983-02-01

    Author's abstract: This report documents the manner and degree of health agency involvement in motor vehicle injury prevention activities. It describes not only the existing cooperative activities between state highway safety and health agencies, but...

  15. Alcohol/safety public information materials catalog. Number 5

    DOT National Transportation Integrated Search

    1981-06-01

    Author's abstract: The Alcohol/Safety Public Information Materials Catalog is designed for use by persons developing public information programs on alcohol and highway safety. It lists materials produced for campaigns along with journal articles and ...

  16. AMBIENT AMMONIA MONITORING TECHNOLOGIES

    EPA Science Inventory

    The Environmental Technology Verification (ETV) Program develops testing protocols and verifies the performance of innovative technologies that have the potential to improve the protection of human health and the environment. This abstract and poster describe the process by whic...

  17. Evaluation of the TEAM Train-the-Trainer program

    DOT National Transportation Integrated Search

    1992-05-22

    Author's abstract: The objective of this study was to evaluate the effectiveness of Techniques for Effective Alcohol Management (TEAM) Train-the-Trainer workshops. Effectiveness was measured in terms of the success facility representatives had, after...

  18. National Ridesharing Demonstration Program : Employer-Based Rideshare Promotion in Atlanta, Ga.

    DOT National Transportation Integrated Search

    1985-05-01

    Abstract: : The Atlanta Ridesharing Demonstration represented an expansion of existing ridesharing promotion activity in the metropolitan Atlanta region. The demonstration used federal funds from several sources, including the National Ridesharing De...

  19. Abstract Reasoning Ability as a Predictor of Vocational Success of Adult Retardates

    ERIC Educational Resources Information Center

    Bolton, Brian; Sugent, Elaine

    1974-01-01

    Validity of the Attitudes Toward Work and Money Questionnaire as a predictor of vocational adjustment for mentally retarded adults who were clients of an intensive rehabilitation program was assessed. (Author/RC)

  20. The Shock and Vibration Digest. Volume 7, Number 5, May 1975.

    DTIC Science & Technology

    Contents: Dynamic response of fluid-filled shells; News briefs; Short courses; Abstracts from the current literature -- (Analysis and design, computer programs, environments, phenomenology, experimentation, components, systems); Author index ; Literature review; Book reviews.

Top