We present an axiomatization of Conway theories which yields, as a corollary, a very concise axiomatization of iteration theories satisfying the functorial implication for base morphisms. It has been shown that most fixed point operations in computer science share the same equational properties. These equational properties are captured by the notion of iteration theories [1, 3]. Several axiomat...

Microplasma welding is a less expensive alternative to laser welding in dental technology. The aim of the study was to highlight discontinuities present in the microplasma welded joints of dental base metal alloys by visual analysis. Five base metal alloys designated for fixed prostheses manufacture were selected for the experiments. Using these plates, preliminary tests were conducted by micro...

The exchange rate regime in Iran is practically fixed. The Central Bank of Iran (CBI) has committed itself to trying to bring about a particular exchange rate regime to meet two important targets: 1. Sustaining competitiveness of the economy, 2. Acquiring the share of foreign reserves in monetary base in a predetermined level. Since 2001 the share of foreign reserves in monetary base has i...

Brizolis asked for which primes p greater than 3 does there exist a pair (g, h) such that h is a fixed point of the discrete exponential map with base g, or equivalently h is a fixed point of the discrete logarithm with base g. Zhang (1995) and Cobeli and Zaharescu (1999) answered with a “yes” for sufficiently large primes and gave estimates for the number of such pairs when g and h are primiti...

In this paper, the experimental vibration analysis of a single cylinder air compressor based on a hypocycloid straight line mechanism (HSM) is investigated. The HSM mechanism uses planetary gears to convert rotational motion to purely linear motion. In the conventional air compressor, the slider- crank mechanism is replaced by the HSM mechanism with appropriate counterweights. The constructed s...

Banach initiated the study of fixed points through iterative sequences, which appeared as a base for metric fixed point theory. Many authors continue this pattern of finding fixed points, see for eaxmple [1]-[29]. Samet . al et [1] introduced the ideas of  - -contractive and  -admissible mappings and got fixed points of the mappings through iterative sequence satisfying these ideas on comple...

This work considers the problem of fast and secure scalar multiplication using curves of genus one defined over a field of prime order. Previous work by Gaudry and Lubicz in 2009 had suggested the use of the associated Kummer line to speed up scalar multiplication. In this work, we explore this idea in detail. The first task is to obtain an elliptic curve in Legendre form which satisfies necess...