This paper introduces a new technique to estimate the SNR value of the focused SEM images from a defocus images. Basically SEM user took hours to make adjustment on the SEM and produced a focused image. Therefore, in order to solve the time consuming problem, a solution is proposed. Based on the experiments on 100 images, a method used an exponential equation is developed to estimate the noise-...

Background It has frequently been demonstrated that resistance training has a negative effect on muscle glycogen content. Additionally, the rate of resynthesis seems to be dependent upon the degree of depletion. However, the impact of glycogen resynthesis on lean mass in a resistance trained population consuming a very low carbohydrate diet has yet to be examined. This has important implication...

This study is done to evaluate the awareness of consuming caffeine among pregnant women.Caffeine crosses the placenta and reaches to the baby. Although the mother can be able to handle the amounts of caffeine taken but the baby cannot. The baby’s metabolism is still maturing and cannot fully metabolize the caffeine. Any small amount of caffeine can also cause changes in baby’s sleep pattern or ...

Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been introduced to describe dynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [?], [?] and [?] for denotational semantics of programs with ...

HERMAN E. DALY,∗ BRIAN CZECH,† DAVID L. TRAUGER,‡ WILLIAM E. REES,§ MANSI GROVER, TRACY DOBSON,†† AND STEPHEN C. TROMBULAK‡‡ ∗School of Public Affairs, Van Munching Hall, University of Maryland, College Park, MD 20742-1821, U.S.A., email [email protected] †Department of Wildlife and Fisheries Sciences, Virginia Polytechnic Institute and State University, National Capital Region, Alexandria Center, ...

Structures for representing time-consuming computations are introduced and operations of composing such structures sequentially and in parallel are defined. Thus a monoidal category satisfying certain specific axioms of associativity and symmetry is obtained which is generated by a set of indecomposable time-consuming computations and in which the equality of morphisms is provable from axioms. ...

A micrometer-sized oil droplet of 4-octylaniline containing 5 mol % of an amphiphilic catalyst exhibited a self-propelled motion, producing tiny oil droplets, in an aqueous dispersion of an amphiphilic precursor of 4-octylaniline. The tiny droplets on the surface of the self-propelled droplet were conveyed to the posterior surface and released to the aqueous solution. Thus the persistent moveme...

It is a common wisdom that servers should store the one-way hash of their clients’ passwords, rather than storing the password in the clear. In this paper we introduce a set of functional properties a key-derivation function (password scrambler) should have. Unfortunately, none of the existing algorithms satisfies our requirements and therefore, we introduce a novel and provably secure password...