expansion equal channel angular extrusion (exp-ecae) is a severe plastic deformation (spd) operation for processing bulk materials. in the current study, aa7075 al was spd-processed by expansion equal channel angular extrusion (ex-ecae) at various temperatures and ram velocities. then, using split hopkinson pressure bar (shpb), the severely deformed products were compressed at room temperature ...

Exp-log functions are those obtained from the constant 1 and the variable X by means of arithmetic operations and the function symbols exp() and logll. This paper gives an explicit algorithm for determining eventual dominance of these functions modulo an oracle for deciding zero equivalence of constant terms. This also provides another proof that the dominance problem for exp-log functions is T...

An application of the Exp-function method to search for exact solutions of nonlinear differential equations is analyzed. Typical mistakes of application of the Exp-function method are demonstrated. We show it is often required to simplify the exact solutions obtained. Possibilities of the Exp-function method and other approaches in mathematical physics are discussed. The application of the sing...

where Z is the partition function Z( ) = R exp( x) dQx, and can := f j Z( ) < 1g is the canonical parameter space. We let sup = supf j 2 cang, and inf likewise. The elements of the exponential family are also parametrized by their mean value . We write for the mean value corresponding to the canonical parameter and for the canonical parameter corresponding to the mean value : For any x the maxi...

It is known that LOG – EXP transform based image compression algorithm proposed by S.C.Huang, L.G.Chen and H.C.Chang offers high Compression Ratio (CR) and high image quality compared to JPEG for any specified value of Peak-Signal to Noise Ratio (PSNR). In this paper, a modified LOG – EXP transform based image compression algorithm obtained by using arithmetic coding in the place of Huffman cod...

For non-monotonic reasoning, explicit orderings over formulae offer an important solution to problems such as ‘multiple extensions’. However, a criticism of such a solution is that it is not clear, in general, from where the orderings should be obtained. Here we show how orderings can be derived from statistical information about the domain which the formulae cover. For this we provide an overv...

In this paper, we generalize a result by Berman and Billig on weight modules over Lie algebras with polynomial multiplication. More precisely, we show that a highest weight module with an exp-polynomial “highest weight” has finite dimensional weight spaces. We also get a class of irreducible weight modules with finite dimensional weight spaces over generalized Virasoro algebras which do not occ...

We show that the following problem is EXP-complete: given a rational v and a two player, zero-sum Boolean gameG determine whether the value of G is at least v. The proof is via a translation of the proof of the same result for Boolean circuit games in [1]. 1 Preliminaries We will be using the encoding of [2] to replicate the proof of [1]. A familiarity with [2] will make the proof much easier t...

These notes give a brief and basic introduction to some central aspects concerning transformations and symmetries in quantum mechanics. Examples discussed include translations in space and time, as well as rotations. Translations in space are also called spatial translations, and sometimes even just " translations " for short, with " spatial " left implicit. To introduce the concept, let us con...

We show that if $$N \geq {\rm exp}({\rm exp} (k^{O(1)})))$$ , then any k-colouring of the primes are less than N contains a monochromatic solution to $$p_1 - p_2 = p_3 -1$$ .