The NASA Scientific and Technical Information Program: Exploring challenges, creating opportunities

The NASA Scientific and Technical Information (STI) Program offers researchers access to the world's largest collection of aerospace information. An overview of Program activities, products and services, and new directions is presented. The R&D information cycle is outlined and specific examples of the NASA STI Program in practice are given. Domestic and international operations and technology transfer activities are reviewed and an agenda for the STI Program NASA-wide is presented. Finally, the incorporation of Total Quality Management and evaluation metrics into the STI Program is discussed

Extended ASP tableaux and rule redundancy in normal logic programs

We introduce an extended tableau calculus for answer set programming (ASP). The proof system is based on the ASP tableaux defined in [Gebser&Schaub, ICLP 2006], with an added extension rule. We investigate the power of Extended ASP Tableaux both theoretically and empirically. We study the relationship of Extended ASP Tableaux with the Extended Resolution proof system defined by Tseitin for sets of clauses, and separate Extended ASP Tableaux from ASP Tableaux by giving a polynomial-length proof for a family of normal logic programs P_n for which ASP Tableaux has exponential-length minimal proofs with respect to n. Additionally, Extended ASP Tableaux imply interesting insight into the effect of program simplification on the lengths of proofs in ASP. Closely related to Extended ASP Tableaux, we empirically investigate the effect of redundant rules on the efficiency of ASP solving. To appear in Theory and Practice of Logic Programming (TPLP).Comment: 27 pages, 5 figures, 1 tabl

Applications of satellite and marine geodesy to operations in the ocean environment

The requirements for marine and satellite geodesy technology are assessed with emphasis on the development of marine geodesy. Various programs and missions for identification of the satellite geodesy technology applicable to marine geodesy are analyzed along with national and international marine programs to identify the roles of satellite/marine geodesy techniques for meeting the objectives of the programs and other objectives of national interest effectively. The case for marine geodesy is developed based on the extraction of requirements documented by authoritative technical industrial people, professional geodesists, government agency personnel, and applicable technology reports

AN EMERGING THEORY OF PERCEIVED DISABILITY COUNSELING COMPETENCE: A QUALITATIVE INVESTIGATION OF LICENSED PROFESSIONAL COUNSELORS

Clients with disabilities engage in counseling services in a variety of settings. Given the counseling profession’s emphasis in social responsiveness to multicultural issues and social justice, professional counselors are equipped with training and clinical experience that prepare them to meet these clients’ counseling needs. The counseling literature highlights the pervasive absence of disability across counselor curriculum and the training paucities in counselor preparation to work with clients with disabilities. This qualitative study utilized the grounded theory tradition to illuminate the categories, properties, and dimensions involved in licensed professional counselors’ perceptions of their development of disability counseling competence. This study involved a sample of twenty licensed professional counselors who graduated from CACREP-accredited programs and who had clients with disabilities by the time of the study. Participants’ perceptions of their development of disability counseling competence accounted for a core category of Evolving Commitments to their role of professional counselors and to their diverse clients. This central category explained further analytic themes related to the therapeutic work, connection to the community, and the impact of systemic dimensions in the clinical practice. Several measures were taken in order to ensure trustworthiness and credibility of the results. Implications for counselor training programs, clinical supervisors, clinical practice, and professional organizations are discussed along with future research recommendations

October 1993

Where Will Water Come From In the Future? Space: The Final Frontier Looking for a Bite? The Value of CD’s Climbing Up, Up and Away Goin’ Solo on a Harley Breaking Records With Electricity Computers in the Palm of Your Hand Lock out Long Distance Pirates The Ultimate in Home Theater Protecting Your Company’s Asset