7,827 Matching Results

Results open in a new window/tab.

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
[News Clip: Parade] captions transcript

[News Clip: Parade]

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.
Creator: KXAS-TV (Television station : Fort Worth, Tex.)
Object Type: Video
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
The Oklahoma Democrat (Altus, Okla.), Vol. 7, No. 50, Ed. 1 Thursday, February 11, 1915 (open access)

The Oklahoma Democrat (Altus, Okla.), Vol. 7, No. 50, Ed. 1 Thursday, February 11, 1915

Weekly newspaper from Altus, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1915
Creator: Powell, Eugene
Object Type: Newspaper
System: The Gateway to Oklahoma History
The Logan County News. (Crescent, Okla.), Vol. 13, No. 14, Ed. 1 Friday, February 11, 1916 (open access)

The Logan County News. (Crescent, Okla.), Vol. 13, No. 14, Ed. 1 Friday, February 11, 1916

Weekly newspaper from Crescent, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1916
Creator: Frishman, Joseph
Object Type: Newspaper
System: The Gateway to Oklahoma History
The Oklahoma Democrat. (Altus, Okla.), Vol. 2, No. 46, Ed. 1 Thursday, February 11, 1909 (open access)

The Oklahoma Democrat. (Altus, Okla.), Vol. 2, No. 46, Ed. 1 Thursday, February 11, 1909

Weekly newspaper from Altus, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1909
Creator: Ruthruff, C. E.
Object Type: Newspaper
System: The Gateway to Oklahoma History
Oklahoma State Register. (Guthrie, Okla.), Vol. 13, No. 9, Ed. 1 Thursday, February 11, 1904 (open access)

Oklahoma State Register. (Guthrie, Okla.), Vol. 13, No. 9, Ed. 1 Thursday, February 11, 1904

Weekly newspaper from Guthrie, Oklahoma Territory that includes local, territorial, and national news along with advertising.
Date: February 11, 1904
Creator: unknown
Object Type: Newspaper
System: The Gateway to Oklahoma History
The Greer County Democrat (Mangum, Okla.), Vol. 25, No. 22, Ed. 1 Thursday, February 11, 1915 (open access)

The Greer County Democrat (Mangum, Okla.), Vol. 25, No. 22, Ed. 1 Thursday, February 11, 1915

Weekly newspaper from Mangum, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1915
Creator: Watt, W. O.
Object Type: Newspaper
System: The Gateway to Oklahoma History
The Mangum Star. (Mangum, Okla.), Vol. 21, No. 33, Ed. 1 Thursday, February 11, 1909 (open access)

The Mangum Star. (Mangum, Okla.), Vol. 21, No. 33, Ed. 1 Thursday, February 11, 1909

Weekly newspaper from Mangum, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1909
Creator: Taylor, J. E.
Object Type: Newspaper
System: The Gateway to Oklahoma History
The Mangum Star. (Mangum, Okla. Terr.), Vol. 16, No. 32, Ed. 1 Thursday, February 11, 1904 (open access)

The Mangum Star. (Mangum, Okla. Terr.), Vol. 16, No. 32, Ed. 1 Thursday, February 11, 1904

Weekly newspaper from Mangum, Oklahoma that includes local, territorial, and national news along with advertising.
Date: February 11, 1904
Creator: Echols, R. C. & Townsend, G. B.
Object Type: Newspaper
System: The Gateway to Oklahoma History
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
The Guthrie Daily Star (Guthrie, Okla.), Vol. 8, No. 290, Ed. 1 Sunday, February 11, 1912 (open access)

The Guthrie Daily Star (Guthrie, Okla.), Vol. 8, No. 290, Ed. 1 Sunday, February 11, 1912

Daily newspaper from Guthrie, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1912
Creator: Hornaday, W. H.
Object Type: Newspaper
System: The Gateway to Oklahoma History
The Guymon Herald. (Guymon, Okla.), Vol. 24, No. 49, Ed. 1 Thursday, February 11, 1915 (open access)

The Guymon Herald. (Guymon, Okla.), Vol. 24, No. 49, Ed. 1 Thursday, February 11, 1915

Weekly newspaper from Guymon, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1915
Creator: Zimmerman, Warren
Object Type: Newspaper
System: The Gateway to Oklahoma History
The Crowder City Guardian (Crowder, Oklahoma), Vol. 5, No. 15, Ed. 1 Friday, February 11, 1910 (open access)

The Crowder City Guardian (Crowder, Oklahoma), Vol. 5, No. 15, Ed. 1 Friday, February 11, 1910

Weekly newspaper from Crowder, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1910
Creator: Barrow, A. E.
Object Type: Newspaper
System: The Gateway to Oklahoma History
Tyrone Observer. (Tyrone, Okla.), Vol. 5, No. 27, Ed. 1 Thursday, February 11, 1909 (open access)

Tyrone Observer. (Tyrone, Okla.), Vol. 5, No. 27, Ed. 1 Thursday, February 11, 1909

Weekly newspaper from Tyrone, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1909
Creator: unknown
Object Type: Newspaper
System: The Gateway to Oklahoma History
Cushing Independent. (Cushing, Okla.), Vol. 8, No. 12, Ed. 1 Thursday, February 11, 1909 (open access)

Cushing Independent. (Cushing, Okla.), Vol. 8, No. 12, Ed. 1 Thursday, February 11, 1909

Weekly newspaper from Cushing, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1909
Creator: Holland, Al. H.
Object Type: Newspaper
System: The Gateway to Oklahoma History
The Guymon Herald. (Guymon, Okla.), Vol. 18, No. 48, Ed. 1 Thursday, February 11, 1909 (open access)

The Guymon Herald. (Guymon, Okla.), Vol. 18, No. 48, Ed. 1 Thursday, February 11, 1909

Weekly newspaper from Guymon, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1909
Creator: Zimmerman, Warren
Object Type: Newspaper
System: The Gateway to Oklahoma History
The Sentinel Leader (Sentinel, Okla.), Vol. 6, No. 28, Ed. 1 Friday, February 11, 1910 (open access)

The Sentinel Leader (Sentinel, Okla.), Vol. 6, No. 28, Ed. 1 Friday, February 11, 1910

Weekly newspaper from Sentinel, Oklahoma that includes local, state, and national news along with advertising. Successor to the Sentinel Newsboy.
Date: February 11, 1910
Creator: unknown
Object Type: Newspaper
System: The Gateway to Oklahoma History

[Photograph 2012.201.B0239.0628]

Photograph taken for a story in the Daily Oklahoman newspaper. Caption: "Following the Tushka tradition is the undefeated team of 1962."
Date: February 11, 1962
Creator: unknown
Object Type: Photograph
System: The Gateway to Oklahoma History
The Cimarron News. (Boise City, Okla.), Vol. 17, No. 30, Ed. 1 Thursday, February 11, 1915 (open access)

The Cimarron News. (Boise City, Okla.), Vol. 17, No. 30, Ed. 1 Thursday, February 11, 1915

Weekly newspaper from Boise City, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1915
Creator: Thomas, Roscoe C.
Object Type: Newspaper
System: The Gateway to Oklahoma History
Harmon County Tribune (Hollis, Okla.), Vol. 6, No. 25, Ed. 1 Friday, February 11, 1916 (open access)

Harmon County Tribune (Hollis, Okla.), Vol. 6, No. 25, Ed. 1 Friday, February 11, 1916

Weekly newspaper from Hollis, Oklahoma that includes local, state, and national news along with advertising.
Date: February 11, 1916
Creator: Baldwin, A. A.
Object Type: Newspaper
System: The Gateway to Oklahoma History