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.

Testimony issued by the General Accounting Office with an abstract that begins "Pursuant to a congressional request, GAO discussed: (1) the level of carryover balances held by the Department of Energy's (DOE) Energy Conservation Program and the trend of these balances since fiscal year (FY) 1997; and (2) its methodology for determining the amount of carryover balances that may be available to reduce DOE's budget requests and how it differs from the methodology used by DOE."

A letter report issued by the General Accounting Office with an abstract that begins "Pursuant to a congressional request, GAO provided information on the Sawtooth National Recreation Area's (SNRA) funding, its accomplishments and unmet needs, and on agency actions that have adverse impacts on the area, focusing on: (1) the funds allocated to the SNRA for fiscal years 1993 through 1997; (2) spending for fiscal years 1993 through 1997 to enhance recreation, to preserve conservation values, such as fish and wildlife, and to manage commodity programs, such as grazing, and the accomplishments and unmet needs in these areas; (3) the funds not allocated or the funds allocated and then taken back from the Recreation Area for fiscal years 1993 through 1997 and what was done with those funds; and (4) some examples of potentially adverse effects of how the Recreation Area is managed on individuals, companies, and communities economically dependent on the area."

A chapter report issued by the General Accounting Office with an abstract that begins "Pursuant to a congressional request, GAO reviewed the Customs Service's software development maturity and improvement activities, focusing on: (1) the maturity of Customs' software development processes; and (2) whether Customs has an effective software process improvement program."

Testimony issued by the General Accounting Office with an abstract that begins "Pursuant to a congressional request, GAO discussed the Coast Guard's budgets for fiscal years 1999 and 2000, focusing on the: (1) Coast Guard's progress in justifying the Deepwater Replacement Project and addressing GAO's concerns about its affordability; (2) Coast Guard's plans for spending its fiscal year (FY) 1999 emergency funds; and (3) budget strategies the agency may have to consider in the future to address continuing budget constraints."

Testimony issued by the General Accounting Office with an abstract that begins "Pursuant to a congressional request, GAO discussed the Health Care Financing Administration's (HCFA) progress in: (1) addressing its most immediate priorities; and (2) strengthening its internal management to effectively discharge its major implementation and oversight responsibilities."

Other written product issued by the General Accounting Office with an abstract that begins "Pursuant to a legislative requirement, GAO reviewed the Federal Communications Commission (FCC) new rule on direct broadcast satellite public interest obligations. GAO noted that: (1) the rule would impose requirements on direct broadcast satellite service (DBS) providers to comply with the political broadcast rules of the Communications Act of 1934, as amended, and mandates that the DBS providers reserve between 4 percent and 7 percent of their channel capacity exclusively for noncommercial programming of an educational or informational nature; and (2) FCC complied with applicable requirements in promulgating the rule."

In a short review of recent work, we discuss the general problem of constructing the actions of new conformal field theories from old conformal field theories. Such a construction follows when the old conformal field theory admits new conformal stress tensors in its chiral algebra, and it turns out that the new conformal field theory is generically a new spin-two gauge theory. As an example we discuss the new spin-two gauged sigma models which arise in this fashion from the general conformal non-linear sigma model.

Rocky Flats Plant Transuranic Waste Drums were sampled for gas composition. Combustibles, plastics, Raschig rings, solidified organic sludge, and solidified inorganic sludge transuranic waste forms were sampled. Plastic bag material and waste samples were also taken from some solidified sludge waste drums. A vacuum system was used to sample each layer of containment inside a waste drum, including individual waste bags. G values (gas generation) were calculated for the waste drums. Analytical results indicate that very low concentrations of potentially flammable or corrosive gas mixtures will be found in vented drums. G(H{sub 2}) was usually below 1.6, while G(Total) was below 4.0. Hydrogen permeability tests on different types of plastic waste bags used at Rocky Flats were also conducted. Polyvinylchloride was slightly more permeable to hydrogen than polyethylene for new or creased material. Permeability of aged material to hydrogen was slightly higher than for new material. Solidified organic and inorganic sludges were sampled for volatile organics. The analytical results from two drums of solidified organic sludges showed concentrations were above detection limits for four of the 36 volatile organics analyzed. The analytical results for four of the five solidified inorganic sludges show that concentrations were below detection limits for all …

The program ESME for modeling the longitudinal degree of freedom of beam dynamics in proton synchrotrons was described in considerable detail in User's Guide to ESME v. 7.1'' distributed about a year ago. This note corrects minor errors and omissions in the User's Guide, discusses bugs and crochets, notes fixes, and reports a few enhancements. Current work and plans are sketched. This note should be adequate to update the User's Guide. 8 refs.

In 1979, a K-edge densitometer (KED) was installed by the Safeguards Assay group from Los Alamos National Laboratory in the PNC reprocessing plant at Tokai-mura, Japan. It uses an active nondestructive assay technique, KED, to measure the plutonium concentration of the product solution. The measurement uncertainty of an assay depends on the count time chosen, but can be 0.5% or better. The computer hardware and software were upgraded in 1992. This manual describes the operation of the instrument, with an emphasis on the user interface to the software.

The mechanical behavior of a silicon crystal under bending is investigated. For a crystal of length 30 mm and thickness 3 mm, to achieve the specified bend angle of 0.64 mrad, the appropriate angle of the aluminum punches is 0.96 mrad.

We investigate the effects of secondary interactions in nucleus- nucleus and proton-nucleus collisions using a modified HIJET Monte Carlo generator. The effects of N[sup *] production is explored and it is found that the numbers of kaons can almost be explained by their inclusion. However the transverse momentum spectrum of the kaons is not explained, since their production in HIJET is a soft secondary scattering process and not a hot thermal process like the data.

We present the results of [Lambda] and K[sub s[sup o]] production from Si and Pb targets with 14.6[times][Lambda] Gev/c Si beams. The measured rapidity distributions and the transverse mass exponential slopes are presented and compared with models.

A weekly publication, the Texas Register serves as the journal of state agency rulemaking for Texas. Information published in the Texas Register includes proposed, adopted, withdrawn and emergency rule actions, notices of state agency review of agency rules, governor's appointments, attorney general opinions, and miscellaneous documents such as requests for proposals. After adoption, these rulemaking actions are codified into the Texas Administrative Code.

A weekly publication, the Texas Register serves as the journal of state agency rulemaking for Texas. Information published in the Texas Register includes proposed, adopted, withdrawn and emergency rule actions, notices of state agency review of agency rules, governor's appointments, attorney general opinions, and miscellaneous documents such as requests for proposals. After adoption, these rulemaking actions are codified into the Texas Administrative Code.

A weekly publication, the Texas Register serves as the journal of state agency rulemaking for Texas. Information published in the Texas Register includes proposed, adopted, withdrawn and emergency rule actions, notices of state agency review of agency rules, governor's appointments, attorney general opinions, and miscellaneous documents such as requests for proposals. After adoption, these rulemaking actions are codified into the Texas Administrative Code.

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.

The mechanical behavior of a silicon crystal under bending is investigated. For a crystal of length 30 mm and thickness 3 mm, to achieve the specified bend angle of 0.64 mrad, the appropriate angle of the aluminum punches is 0.96 mrad.

The Electronic Systems Contract Administration Payment And Invoicing Database (ESCAPAID) project is a cooperative effort to simplify and automate the contracting and billing of services between Digital Equipment Corporation (Digital) and Los Alamos National Laboratory (LANL).The ESCAPAID project is intended to improve productivity in both organizations by reducing the inaccuracies and the amount of manual effort in the current system. Within LANL, the project is intended to streamline operations for purchasing (N4AT Division), finance (FIN Division), and Laboratory personnel requesting maintenance contract services from Digital. In October 1992, Digital and LANL released a jointly developed Program Definition, which provides an overview of the proposed system and an eight-step strategy for implementing a preliminary model.The second step of this strategy calls for the development of a model plan, including a description of afl high-level tasks that need to be completed and a series of Gantt and PERT charts. In order to accomplish this step, representatives from Digital and LANL participated in a Joint Application Development (JAD) workshop on January 19 and 20, 1993. The results of the workshop are reflected in this document.

We present the results of {Lambda} and K{sub s{sup o}} production from Si and Pb targets with 14.6{times}{Lambda} Gev/c Si beams. The measured rapidity distributions and the transverse mass exponential slopes are presented and compared with models.

We investigate the effects of secondary interactions in nucleus- nucleus and proton-nucleus collisions using a modified HIJET Monte Carlo generator. The effects of N{sup *} production is explored and it is found that the numbers of kaons can almost be explained by their inclusion. However the transverse momentum spectrum of the kaons is not explained, since their production in HIJET is a soft secondary scattering process and not a hot thermal process like the data.

Despite the apparent simplicity of controlled fusion, there are many phenomena which have prevented its achievement. One phenomenon is laser-plasma instabilities. An investigation of one such instability, stimulated Brillouin scattering (SBS), is reported here. SBS is a parametric process whereby an electromagnetic wave (the parent wave) decays into another electromagnetic wave and an ion acoustic wave (the daughter waves). SBS impedes controlled fusion since it can scatter much or all of the incident laser light, resulting in poor drive symmetry and inefficient laser-plasma coupling. It is widely believed that SBS becomes convectively unstable--that is, it grows as it traverses the plasma. Though it has yet to be definitively tested, convective theory is often invoked to explain experimental observations, even when one or more of the theory`s assumptions are violated. In contrast, the experiments reported here not only obeyed the assumptions of the theory, but were also conducted in plasmas with peak densities well below quarter-critical density. This prevented other competing or coexisting phenomena from occurring, thereby providing clearly interpretable results. These are the first SBS experiments that were designed to be both a clear test of linear convective theory and pertinent to controlled fusion research. A crucial part of this …

The use of flammable gas and high voltage in detector systems is common in many experiments at Fermilab. To mitigate the hazards associated with these systems, Fermilab Engineering Standard SD-45B (Ref. 1) was adopted. Since this note is meant to be a guide and not a mandatory standard, each experiment is reviewed for compliance with SD-45B by the flammable gas safety subcommittee. Currently, there are only two types of flammable gas in use, ethane (Appendix A) and methane (Appendix B). The worst flammable-gas case is C2H6 (ethane), which has an estimated flow rate that is 73% of the CH4 (methane) flow but a heat of combustion (in kcal/g-mole) that is 173% of that of methane. In the worst case, if ethane were to spew through its restricting orifice into its gas line at 0 psig and then through a catastrophic leak into Room 215 (TRD) or Room 511 (CDC/FDCNTX), the time that would be required to build up a greater than Class 1 inventory (0.4kg H2 equivalent) would be 5.2 hours (Ref. 2). Therefore a worst-case flammable gas leak would have to go undetected for over 5 hours in order to transform a either mixing room to an environment with …