Because tertiary amyl methyl ether (TAME) is used to oxygenate gasoline, the United States Environmental Protection Agency (US EPA) concluded that metabolism and distribution data were needed (US EPA, 1995). These data, along with the developmental (Welsch et al., 2003) and reproductive (Tyl et al., 2003) studies, were to be used for a comprehensive evaluation of the health effects due to expos...

Although a number of mechanical provers have been introduced and applied widely by academic researchers, these provers are rarely used in the practical development of software. For mechanical provers to be used more widely in practice, two major barriers must be overcome. First, the languages provided by the mechanical provers for expressing the required system behavior must be more natural for...

Inspired by the Bruhat-Tits building of SL$_n$($\mathbb Q_p$), we construct a complete metric space X with an action tame automorphism group affine Tame($K^n$). The points in are certain monomial valuations, and admits natural structure Euclidean CW-complex dimension n-1. When n = 3, for K characteristic zero, prove that has non-positive curvature is simply connected, hence CAT(0) space. As app...

We present a verified enumeration of tame graphs as defined in Hales’ proof of the Kepler Conjecture and confirm the completeness of Hales’ list of all tame graphs while reducing it from 5128 to 2771 graphs.

The group K2 of a curve C over a finite field is equal to the tame kernel of the corresponding function field. We describe two algorithms for computing generators of the tame kernel of a global function field. The first algorithm uses the transfer map and the fact that the `-torsion can easily be described if the ground field contains the `th roots of unity. The second method is inspired by an ...

It is the goal of this note to show that each disk in E3 contains a tame arc which intersects the boundary of D. In [l ] Bing shows that each disk in E3 contains many tame arcs. The reason that the arguments given in [l ] do not show that each disk contains a tame arc intersecting the boundary is that a disk in E3 need not lie on a closed surface in E3 [7]. This difficulty can be overcome using...