Due to implementation constraints the XOR operation is widely used in order to combine plaintext and key bit-strings in secretkey block ciphers. This choice directly induces the classical version of the differential attack by the use of XOR-kind differences. While very natural, there are many alternatives to the XOR. Each of them inducing a new form for its corresponding differential attack (us...

In this paper, we introduced nonstandard finite difference scheme (NSFD) for solving the continuos model with Michaelis-Menten harvesting rate. We have seen that proposed preserve local stability and positivity. Stability analysis of each fixed point discrete time has been proven. Also, numerical comparisons were made between method other methods.

The absence of a finite axiomatization of the first-order theory of datatypes and codatatypes represents a challenge for automatic theorem provers. We propose two approaches to reason by saturation in this theory: one is a conservative theory extension with a finite number of axioms; the other is an extension of the superposition calculus, in conjunction with axioms. Both techniques are refutat...

We give an error estimate for the Energy and Helicity Preserving Scheme (EHPS) in second order finite difference setting on axisymmetric incompressible flows with swirling velocity. This is accomplished by a weighted energy estimate, along with careful and nonstandard local truncation error analysis near the geometric singularity and a far field decay estimate for the stream function. A key ing...

Nowadays, numerical models have great importance in every field of science, especially for solving the nonlinear differential equations, partial differential equations, biochemical reactions, etc. The total time evolution of the reactant concentrations in the basic enzyme-substrate reaction is simulated by the Runge-Kutta of order four (RK4) and by nonstandard finite difference (NSFD) method. A...