1,881 Matching Results

Search Results

Results: 1 - 24 next
open access

Application of automated deduction to the search for single axioms for exponent groups

Description: We present new results in axiomatic group theory obtained by using automated deduction programs. The results include single axioms, some with the identity and others without, for groups of exponents 3, 4, 5 and 7, and a general form for single axioms for groups of odd exponent. The results were obtained by using the programs in three separate ways: as a symbolic calculator, to search for proofs,and to search for couterexamples. We also touch on relations between logic programming and automated … more
Date: February 11, 1992
Creator: McCune, W. & Wos, L.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
captions transcript

[News Clip: Parade]

Description: Video footage from the KXAS-TV/NBC station in Fort Worth, Texas, to accompany a news story.
Date: February 11, 1994, 6:00 p.m.
Duration: 1 minute 31 seconds
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Item Type: Refine your search to only Video
Partner: UNT Libraries Special Collections
open access

Low-exposure tritium radiotoxicity in mammals

Description: Studies of tritium radiotoxicity involving chronic /sup 3/H0H exposures in mammals demonstrate in both mice and monkeys that biological effects can be measured following remarkably low levels of exposure - levels in the range of serious practical interest to radiation protection. These studies demonstrate also that deleterious effects of /sup 3/H beta radiation do not differ significantly from those of gamma radiation at high exposures. In contrast, however, at low exposures tritium is signific… more
Date: February 11, 1982
Creator: Dobson, R.L.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Mechanical model for ductility loss

Description: A mechanical model was constructed to probe into the mechanism of ductility loss. Fracture criterion based on critical localized deformation was undertaken. Two microstructure variables were considered in the model. Namely, the strength ratio of grain boundary affected area to the matrix, ..cap omega.., and the linear fraction, x, of grain boundary affected area. A parametrical study was carried out. The study shows that the ductility is very sensitive to those microstructure parameters. The fu… more
Date: February 11, 1980
Creator: Hu, W.L.
Item Type: Refine your search to only Article
Partner: UNT Libraries Government Documents Department
open access

Reducing Cost-of-Living Adjustments for Military Retirees and the Bipartisan Budget Act: In Brief

Description: This report discusses the reduction of cost-of-living adjustments (COLAs) for military retirees through the Bipartisan Budget Act (BBA). It includes an overview of the changes, demographics of military retirees, and potential effects of the changes.
Date: February 11, 2014
Creator: Belasco, Amy
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Coast Guard Polar Icebreaker Modernization: Background and Issues for Congress

Description: This report provides background information and issues for Congress on the sustainment and modernization of the Coast Guard's polar icebreaker fleet, which performs a variety of missions supporting U.S. interests in polar regions. The report is written in response to the Coast Guard's budget request for a new polar ice breaker (none are currently in operation).
Date: February 11, 2014
Creator: O'Rourke, Ronald
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Airship aerodynamics.

Description: "This manual is designed as a text for the instruction of airship student pilots .... to give the knowledge of aerodynamics essential to the operation of [lighter than air aircraft]."(Page 2.)
Date: February 11, 1941
Creator: United States. War Department.
Item Type: Refine your search to only Book
Partner: UNT Libraries Government Documents Department
open access

Federal Land Management: Observations on a Possible Move of the Forest Service into the Department of the Interior

Description: A letter report issued by the Government Accountability Office with an abstract that begins "Growing ecological challenges ranging from wildland fires to climate change have revived interest in moving the Department of Agriculture's (USDA) Forest Service into the Department of the Interior (Interior). The Forest Service manages almost a quarter of the nation's lands but is the only major land management agency outside Interior. GAO was asked to report on the potential effects of moving the Fore… more
Date: February 11, 2009
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

U.S.-China Trade: United States Has Secured Commitments in Key Bilateral Dialogues, but U.S. Agency Reporting on Status Should Be Improved

Description: A letter report issued by the Government Accountability Office with an abstract that begins "GAO identified 298 trade and investment commitments made by China in the U.S.-China Joint Commission on Commerce and Trade (JCCT)—184 since 2004—and the U.S.-China Strategic and Economic Dialogue (S&ED) and its predecessor—114 since 2007. The commitments range from affirmations of open trade principles to sector-specific actions. GAO identified 11 issue areas to characterize the content of each commitme… more
Date: February 11, 2014
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Personnel Security Clearances: Actions Needed to Ensure Quality of Background Investigations and Resulting Decisions

Description: A statement of record issued by the Government Accountability Office with an abstract that begins "Several agencies have key roles and responsibilities in the multi-phased personnel security clearance process, including the Director of National Intelligence (DNI) who, as the Security Executive Agent, is responsible for developing policies and procedures related to security clearance investigations and adjudications, among other things. The Deputy Director for Management at the Office of Managem… more
Date: February 11, 2014
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Text
Partner: UNT Libraries Government Documents Department
open access

Best Practices: Setting Requirements Differently Could Reduce Weapon Systems' Total Ownership Costs

Description: A chapter report issued by the General Accounting Office with an abstract that begins "For fiscal year 2003, the Department of Defense (DOD) asked for about $185 billion to develop, procure, operate, and maintain its weapon systems. This request represents an increase of 18 percent since 2001 for the total ownership costs of DOD weapon systems. Often, DOD systems need expensive spare parts and support systems after they are fielded to meet required readiness levels. DOD has been increasingly co… more
Date: February 11, 2003
Creator: United States. General Accounting Office.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Highway Trust Fund: Overview of Highway Trust Fund Financing

Description: A statement of record issued by the General Accounting Office with an abstract that begins "The Transportation Equity Act for the 21st Century changes the budgetary treatment of programs financed by the Highway Trust Fund. In particular, the act guaranteed annual funding levels for most highway and transit programs and linked highway user tax receipts, such as those from motor fuel and truck tire taxes, to the annual funding levels for highway programs. Revenue aligned budget authority adjustme… more
Date: February 11, 2002
Creator: United States. General Accounting Office.
Item Type: Refine your search to only Text
Partner: UNT Libraries Government Documents Department
open access

Applying Agreed-Upon Procedures: Highway Trust Fund Excise Taxes

Description: Correspondence issued by the General Accounting Office with an abstract that begins "GAO helped the Department of Transportation to determine whether the net excise tax revenue distributed to the Highway Trust Fund for fiscal year 2001 was supported by the underlying records. In performing the agreed-upon procedures, GAO did its work in accordance with U.S. generally accepted government auditing standards, which incorporate financial audit and attestation standards established by the American I… more
Date: February 11, 2002
Creator: United States. General Accounting Office.
Item Type: Refine your search to only Text
Partner: UNT Libraries Government Documents Department
open access

Critical Infrastructure Protection: National Plan for Information Systems Protection

Description: Correspondence issued by the General Accounting Office with an abstract that begins "Pursuant to a congressional request, GAO assessed national security legal authorities related to infrastructure protection, focusing on the administration's National Plan for Information Systems Protection."
Date: February 11, 2000
Creator: United States. General Accounting Office.
Item Type: Refine your search to only Text
Partner: UNT Libraries Government Documents Department
open access

Contract Management: Opportunities to Improve Pricing of GSA Multiple Award Schedules Contracts

Description: A letter report issued by the Government Accountability Office with an abstract that begins "Federal agencies can directly purchase more than 8 million commercial products and services through the General Services Administration's (GSA) multiple award schedules (MAS) contracts. Over the past 10 years, MAS contract sales have increased dramatically--with sales jumping from $4 billion to $32 billion. In addition to simplifying the procurement process, the MAS program is designed to take advantage… more
Date: February 11, 2005
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Depot Maintenance: Additional Information Needed to Meet DOD's Core Capability Reporting Requirements

Description: A letter report issued by the Government Accountability Office with an abstract that begins "The Department of Defense's (DOD) 2012 Biennial Core Report complies with two of the three biennial reporting elements of Section 2464 by including information on core capability requirements and planned workloads available for maintaining these requirements. The Office of the Secretary of Defense (OSD) reported core capability requirements totaling about 70 million direct labor hours for the military s… more
Date: February 11, 2013
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

DOD Systems Modernization: Management of Integrated Military Human Capital Program Needs Additional Improvements

Description: A letter report issued by the Government Accountability Office with an abstract that begins "The Department of Defense (DOD) has long-standing problems with its information technology (IT) systems supporting military personnel and pay. To address these problems, DOD initiated the Defense Integrated Military Human Resources System (DIMHRS) program, which is to provide a joint, integrated, standardized military personnel and pay system across all military components. In November 2004, DOD accepte… more
Date: February 11, 2005
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Foreign Assistance: U.S. Trade Capacity Building Extensive, but Its Effectiveness Has Yet to Be Evaluated

Description: A letter report issued by the Government Accountability Office with an abstract that begins "Many developing countries have expressed concern about their inability to take advantage of global trading opportunities. The United States considers this ability a key factor in reducing poverty, achieving economic growth, raising income levels, and promoting stability. U.S. trade capacity building assistance is designed to address these concerns. GAO (1) identified the nature and extent of U.S. trade … more
Date: February 11, 2005
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Financial Audit: Federal Deposit Insurance Corporation Funds' 2007 and 2006 Financial Statements

Description: A letter report issued by the Government Accountability Office with an abstract that begins "GAO is required to annually audit the financial statements of the Deposit Insurance Fund (DIF) and FSLIC Resolution Fund (FRF), which are administered by the Federal Deposit Insurance Corporation (FDIC). GAO is responsible for obtaining reasonable assurance about whether FDIC's financial statements for DIF and FRF are presented fairly in all material respects, in conformity with U.S. generally accepted … more
Date: February 11, 2008
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Afghanistan: Key Oversight Issues

Description: A letter report issued by the Government Accountability Office with an abstract that begins "The key issues, based on existing GAO work, suggest specific areas for oversight on the following topics:"
Date: February 11, 2013
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Financial Audit: Federal Deposit Insurance Corporation Funds' 2004 and 2003 Financial Statements

Description: A letter report issued by the Government Accountability Office with an abstract that begins "GAO is required to annually audit the financial statements of the Bank Insurance Fund (BIF), Savings Association Insurance Fund (SAIF), and FSLIC Resolution Fund (FRF), which are administered by the Federal Deposit Insurance Corporation (FDIC). GAO is responsible for obtaining reasonable assurance about whether FDIC's financial statements for BIF, SAIF, and FRF are presented fairly in all material respe… more
Date: February 11, 2005
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Report
Partner: UNT Libraries Government Documents Department
open access

Standard Missile-3 Block IIB Analysis of Alternatives

Description: Correspondence issued by the Government Accountability Office with an abstract that begins "GAO has previously reported that the SM-3 Block IIB program did not conduct a formal analysis of alternatives (AoA) prior to beginning technology development. AoAs provide insight into the technical feasibility and costs of alternatives by determining if a concept can be developed and produced within existing resources. Although the Missile Defense Agency (MDA) is not required to do an AoA for its progra… more
Date: February 11, 2013
Creator: United States. Government Accountability Office.
Item Type: Refine your search to only Text
Partner: UNT Libraries Government Documents Department
Back to Top of Screen