Application of automated deduction to the search for single axioms for exponent groups (open access)

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

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 reasoning.
Date: February 11, 1992
Creator: McCune, W. & Wos, L.
Object Type: Article
System: The UNT Digital Library
Low-exposure tritium radiotoxicity in mammals (open access)

Low-exposure tritium radiotoxicity in mammals

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 significantly more effective than gamma rays, rad for rad, by a factor approaching 3. This is important for hazard evaluation and radiation protection because knowledge concerning biological effects of chronic low-level radiation exposure has come mainly from gamma-ray data; and predictions based on gamma-ray data will underestimate tritium effects - especially at low exposures - unless the RBE is fully taken into account.
Date: February 11, 1982
Creator: Dobson, R.L.
Object Type: Article
System: The UNT Digital Library
International energy R and D: a picture compiled from open sources (open access)

International energy R and D: a picture compiled from open sources

None
Date: February 11, 1975
Creator: Green, E.A.
Object Type: Report
System: The UNT Digital Library
Mechanical model for ductility loss (open access)

Mechanical model for ductility loss

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 functional dependence of ductility to temperature as well as strain-rate, suggested by the model, is demonstrated to be consistent with the observation.
Date: February 11, 1980
Creator: Hu, W.L.
Object Type: Article
System: The UNT Digital Library
Reducing Cost-of-Living Adjustments for Military Retirees and the Bipartisan Budget Act: In Brief (open access)

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

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
Object Type: Report
System: The UNT Digital Library
Coast Guard Polar Icebreaker Modernization: Background and Issues for Congress (open access)

Coast Guard Polar Icebreaker Modernization: Background and Issues for Congress

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
Object Type: Report
System: The UNT Digital Library
Airship aerodynamics. (open access)

Airship aerodynamics.

"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.
Object Type: Book
System: The UNT Digital Library
Federal Land Management: Observations on a Possible Move of the Forest Service into the Department of the Interior (open access)

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

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 Forest Service into Interior and creating a new bureau equal to Interior's other bureaus, such as the Bureau of Land Management (BLM). GAO was also asked to identify factors that should be considered if such a move were legislated and management practices that could facilitate a move. GAO analyzed five historical proposals to reorganize federal land management agencies; interviewed USDA, Interior, and other officials and outside experts; and studied joint Forest Service- BLM programs to assess efforts to integrate the agencies' work."
Date: February 11, 2009
Creator: United States. Government Accountability Office.
Object Type: Report
System: The UNT Digital Library
U.S.-China Trade: United States Has Secured Commitments in Key Bilateral Dialogues,  but U.S. Agency Reporting on Status Should Be Improved (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

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 commitment. The prominence of issue areas, measured in number of commitments associated with an issue area, differs between the dialogues, reflecting differences in the dialogues' structure and focus. Intellectual property rights commitments are among those most common in the JCCT and investment commitments are among those most common in the S&ED. (For a detailed inventory of commitments and their categorization, see GAO-14-224SP .)"
Date: February 11, 2014
Creator: United States. Government Accountability Office.
Object Type: Report
System: The UNT Digital Library
Personnel Security Clearances: Actions Needed to Ensure Quality of Background Investigations and Resulting Decisions (open access)

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

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 Management and Budget chairs the Performance Accountability Council that oversees reform efforts to enhance the personnel security process. The security process includes: the determination of whether a position requires a clearance, application submission, investigation, and adjudication. Specifically, agency officials must first determine whether a federal civilian position requires access to classified information. After an individual has been selected for a position that requires a personnel security clearance and the individual submits an application for a clearance, investigators—often contractors—from the Office of Personnel Management (OPM) conduct background investigations for most executive branch agencies. Adjudicators from requesting agencies use the information from these investigations and federal adjudicative guidelines to determine whether an applicant is eligible for a clearance. Further, individuals are subject to reinvestigations at intervals based on the level of security clearance."
Date: February 11, 2014
Creator: United States. Government Accountability Office.
Object Type: Text
System: The UNT Digital Library
Best Practices: Setting Requirements Differently Could Reduce Weapon Systems' Total Ownership Costs (open access)

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

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 concerned that the high cost of maintaining systems has limited its ability to modernize and invest in new weapons. This report examines the best practices of leading commercial firms to manage a product's total ownership costs and determines if those practices can be applied to DOD."
Date: February 11, 2003
Creator: United States. General Accounting Office.
Object Type: Report
System: The UNT Digital Library
Highway Trust Fund: Overview of Highway Trust Fund Financing (open access)

Highway Trust Fund: Overview of Highway Trust Fund Financing

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 adjustments are made to the annual guaranteed funding level provided in the act as highway account receipt levels change. For the first time, the adjustment for fiscal year 2003 is negative--decreasing the guaranteed level of highway funding by $4.369 billion. GAO found that the amounts distributed to the Highway Trust Fund for the first nine months of fiscal year 2001, as adjusted based on the Internal Revenue Service's certifications, were reasonable and adequately supported based on available information."
Date: February 11, 2002
Creator: United States. General Accounting Office.
Object Type: Text
System: The UNT Digital Library
Applying Agreed-Upon Procedures: Highway Trust Fund Excise Taxes (open access)

Applying Agreed-Upon Procedures: Highway Trust Fund Excise Taxes

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 Institute of Certified Public Accountants."
Date: February 11, 2002
Creator: United States. General Accounting Office.
Object Type: Text
System: The UNT Digital Library
Critical Infrastructure Protection: National Plan for Information Systems Protection (open access)

Critical Infrastructure Protection: National Plan for Information Systems Protection

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.
Object Type: Text
System: The UNT Digital Library
Contract Management: Opportunities to Improve Pricing of GSA Multiple Award Schedules Contracts (open access)

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

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 of the government's significant aggregate buying power. While GSA seeks to negotiate best pricing for its MAS contracts by analyzing vendor-provided information--such as discounts given to other customers and recent sales data for the same or similar items--past reports have found that GSA has not always used pricing tools effectively and that management controls for better ensuring fair and reasonable pricing had been reduced. This report discusses GSA's process for negotiating most favored customer prices for MAS contracts and its efforts to improve the overall quality of negotiations."
Date: February 11, 2005
Creator: United States. Government Accountability Office.
Object Type: Report
System: The UNT Digital Library
Depot Maintenance: Additional Information Needed to Meet DOD's Core Capability Reporting Requirements (open access)

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

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 services. Also, OSD reported a total of about 92 million direct labor hours for planned workloads with an estimated cost of about $12 billion. OSD reported complete information on core requirements and planned workload at the top-level categories, such as Sea Ships, of the work breakdown structure. The statute directs that this information be organized by work breakdown structure, which is a group of categories of equipment and technologies. The top-level category--an entire type of system or equipment--can be broken down into lower levels of detail or subcategories, such as Aircraft Carriers or Submarines, that make up the system or equipment. DOD's overall planned workloads exceed its core capability requirements, but the report shows shortfalls in certain categories for the Army and the Air Force."
Date: February 11, 2013
Creator: United States. Government Accountability Office.
Object Type: Report
System: The UNT Digital Library
DOD Systems Modernization: Management of Integrated Military Human Capital Program Needs Additional Improvements (open access)

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

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 accepted the design for the first of three phases, DIMHRS (Personnel/Pay). GAO reviewed DOD's management of the requirements definition for the system as well as the program's management structure."
Date: February 11, 2005
Creator: United States. Government Accountability Office.
Object Type: Report
System: The UNT Digital Library
Foreign Assistance: U.S. Trade Capacity Building Extensive, but Its Effectiveness Has Yet to Be Evaluated (open access)

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

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 capacity building; (2) described how agencies implement such assistance, including coordination; and (3) assessed whether agencies evaluate its effectiveness."
Date: February 11, 2005
Creator: United States. Government Accountability Office.
Object Type: Report
System: The UNT Digital Library
Financial Audit: Federal Deposit Insurance Corporation Funds' 2007 and 2006 Financial Statements (open access)

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

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 accounting principles, and whether FDIC maintained effective internal control over financial reporting and compliance with laws and regulations. Also, GAO is responsible for testing FDIC's compliance with selected laws and regulations. Created in 1933 to insure bank deposits and promote sound banking practices, FDIC plays an important role in maintaining public confidence in the nation's financial system. In 1989, legislation to reform the federal deposit insurance system created three funds to be administered by FDIC: the Bank Insurance Fund (BIF) and the Savings Association Insurance Fund (SAIF), which protect bank and savings deposits, and FRF, which was created to close out the business of the former Federal Savings and Loan Insurance Corporation. In accordance with subsequent legislation passed in 2006, FDIC merged the BIF and SAIF into …
Date: February 11, 2008
Creator: United States. Government Accountability Office.
Object Type: Report
System: The UNT Digital Library
Afghanistan: Key Oversight Issues (open access)

Afghanistan: Key Oversight Issues

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.
Object Type: Report
System: The UNT Digital Library
Financial Audit: Federal Deposit Insurance Corporation Funds' 2004 and 2003 Financial Statements (open access)

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

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 respects, in conformity with U.S. generally accepted accounting principles, and whether FDIC maintained effective internal control over financial reporting and compliance. Also, GAO is responsible for testing FDIC's compliance with selected laws and regulations. Created in 1933 to insure bank deposits and promote sound banking practices, FDIC plays an important role in maintaining public confidence in the nation's financial system. In 1989, legislation to reform the federal deposit insurance system created three funds to be administered by FDIC: BIF and SAIF, which protect bank and savings deposits, and FRF, which was created to close out the business of the former Federal Savings and Loan Insurance Corporation."
Date: February 11, 2005
Creator: United States. Government Accountability Office.
Object Type: Report
System: The UNT Digital Library
Standard Missile-3 Block IIB Analysis of Alternatives (open access)

Standard Missile-3 Block IIB Analysis of Alternatives

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 programs because of its acquisition flexibilities, GAO has previously reported that an AoA can be a key step to ensure that new programs have a sound acquisition basis."
Date: February 11, 2013
Creator: United States. Government Accountability Office.
Object Type: Text
System: The UNT Digital Library
Mortgage Financing: Actions Needed to Help FHA Manage Risks from New Mortgage Loan Products (open access)

Mortgage Financing: Actions Needed to Help FHA Manage Risks from New Mortgage Loan Products

A letter report issued by the Government Accountability Office with an abstract that begins "The U.S. Department of Housing and Urban Development (HUD), through its Federal Housing Administration (FHA), insures billions of dollars in home mortgage loans made by private lenders. FHA insures low down payment loans and a number of parties have made proposals to either eliminate or otherwise change FHA's borrower contribution requirements. GAO was asked to (1) identify the key characteristics of existing low and no down payment products, (2) review relevant literature on the importance of loan-to-value (LTV) ratios and credit scores to loan performance, (3) report on the performance of low and no down payment mortgages supported by FHA and others, and (4) identify lessons for FHA from others in terms of designing and implementing low and no down payment products."
Date: February 11, 2005
Creator: United States. Government Accountability Office.
Object Type: Report
System: The UNT Digital Library
Depot Maintenance: Air Force Is Assessing Engine Maintenance Options for Work Currently Performed at Kelly Aviation Center (open access)

Depot Maintenance: Air Force Is Assessing Engine Maintenance Options for Work Currently Performed at Kelly Aviation Center

Correspondence issued by the Government Accountability Office with an abstract that begins "This report responds to questions that Congress raised about Air Force engine maintenance and repair work currently performed at Kelly Aviation Center (KAC) and the potential transfer of that work to another location. In 1999, Oklahoma City Air Logistics Center (OC-ALC) awarded a contract to KAC to perform work, including depot-level maintenance, repair, and overhaul on TF39 engines, which are typically used for C-5 Galaxy aircraft; T56 engines, which are typically used for C-130 aircraft; and fuel accessories on these engines. The Air Force estimates the total expenditure under the contract for this work to be $3.7 billion from February 16, 1999, through December 1, 2010. The contract is not to exceed 15 years (the contract had an initial 7-year ordering period that could be extended to 15 years or reduced to 5 years based on performance), and will expire not later than February 15, 2014. The Air Force will need to determine how to conduct the engine maintenance work after the term of the contract ends. Congress requested that we review the potential transfer of the engine maintenance and repair workload from KAC. Our objectives were to …
Date: February 11, 2011
Creator: United States. Government Accountability Office.
Object Type: Text
System: The UNT Digital Library