Our final project is an extention of the Lab4 ShardKV store that is both faster and more reliable. Our main areas of implementation were 1) The Mencius variant of the Paxos protocol, 2) A persistence architecture which uses periodic checkpointing, and 3) A deployment framework for testing a real-life distributed key-value store over Amazon’s AWS.

Described here is a model for the long-time formation and evolution of erodible beds under the action of waves and currents. It is an extention of a model rst developed by Craik and Leibovich, which describes the dynamics of Langmuir circulation cells, later adapted by McWilliams and Restrepo to model the interaction of a gravity wave eld with global oceanic ows.

this research titeled (semantic change in the quranic words: praise prophet reverence) this study is about how to transform from the meaning to another. in this article we looked lexical and semantic meaning of three words of quran in pre-islamic era until the end of sending quran. we studied the influence of islam in changing word semantically. islam does not bring new words but added them new...

The results of a case study where we applied a formal method to prove properties of CoCheck, an extention of PVM for the creation of checkpoints of parallel applications on workstation clusters. Although the functionality of CoCheck had been demonstrated in experiments, there was no proof of the desired properties. Consequently, a formal method had to be applied which allows to prove those prop...

The logarithmic coefficients play an important role for different estimates in the theory of univalent functions. Due to significance recent studies about coefficients, problem obtaining sharp bounds modulus these has received attention. In this research, we obtain inequality involving functions well-known class G and investigate a majorization belonging family. To prove our main results, use B...

INTRODUCTION The Cohomological Field Theory was propose by Kontsevich and Manin [5] for description of Gromov-Witten Classes. They prove that Cohomological Field Theory is equivalent to Formal Frobenius manifold. Formal Frobenius manifold is defined by a formal series F , satisfying to associative equations. In points of convergence the series F defines a Frobenius algebras. The set of these po...