A regular language has the zero-one law if its asymptotic density converges to either zero or one. We prove that the class of all zero-one languages is closed under Boolean operations and quotients. Moreover, we prove that a regular language has the zero-one law if and only if its syntactic monoid has a zero element. Our proof gives both algebraic and automata characterisation of the zero-one l...

Let G be a connected reductive p-adic group and let g be its Lie algebra. LetO be a G-orbit in g. Then the orbital integral μO corresponding to O is an invariant distribution on g, and Harish-Chandra proved that its Fourier transform μ̂O is a locally constant function on the set g′ of regular semisimple elements of g. Furthermore, he showed that a normalized version of the Fourier transform is l...

The theory of contact mechanics deals with stresses and deformations which arise when the surfaces of two solid bodies are brought into contact. In elastic deformation contact occurs over a finite area. A regular method for determining the dimensions of this area is Hertz Contact Model. Appearance of atomic force microscope results in introduction of Contact ...

This paper reviews the developments in the Trefftzian Methodology, which have been undertaken by the authors at the University of Sheffield during the past fifteen years and the application of these developments to engineering design analysis. Initially, in the late 197Os, this work concentrated on the Direct Boundary Element Method (DBEM) and the Indirect Boundary Element Method (IBEM). Unfort...

An automorphism of a group G is called regular if it moves every element of G except the identity. BURNSIDE proved that a finite group G has a regular automorphism of order two if and only if G is an abelian group of odd order, and then the only such automorphism maps every element onto its inverse ([21, p. 230). More recently several authors considered the question: what groups can admit regul...

We present a range of mesh-dependent inequalities for piecewise constant and continuous piecewise linear finite element functions u defined on locally refined shape-regular (but possibly nonquasi-uniform) meshes. These inequalities involve norms of the form �h � u� W s,p (Ω) for positive and negative s and �, where h is a function which reflects the local mesh diameter in an appropriate way. Th...

Oxley has shown that if, for some k >_-4, a matroid M has a k-element set that is the intersection of a circuit and a cocircuit, then M has a 4-element set that is the intersection of a circuit and a cocircuit. We prove that, under the above hypothesis, for k I> 6, a binary matroid will also have a 6-element set that is the intersection of a circuit and a cocircuit. In addition, we determine ex...

This work develops an ε-uniform finite element method for singularly perturbed boundary value problems. A surprising and remarkable observation is illustrated: By inserting one node arbitrarily in any element, the new finite element solution always intersects with the original one at fixed points, and the errors at those points converge at the same rate as regular boundary value problems (witho...