We formally deene the set-based abstraction of any language whose operational semantics can be deened by environment evaluation. The Aiken-Wimmers soft type system precisely corresponds to this set-based abstraction under their operational semantics. The Heintze set-based analysis is precisely this set-based abstraction under a diierent operational semantics. In general, set-based abstraction d...

water quality prediction is a valuable tool for pollutant control in aquatic environments. a river system is selected and one-dimensional flow is assumed for the simulation of pollutant transport in this paper. advective and diffusive terms of transport equation are considered separately. different functions of advective transport are proposed and applied for a specified velocity on the discret...

Sinc-Galerkin method based upon double exponential transformation for solving Troesch's problem was given in this study. Properties of the Sinc-Galerkin approach were utilized to reduce the solution of nonlinear two-point boundary value problem to same nonlinear algebraic equations, also, the matrix form of the nonlinear algebraic equations was obtained.The error bound of the method was found. ...

this paper presents an operational formulation of the tau method based upon orthogonal polynomials by using a reduced set of matrix operations for the numerical solution of nonlinear multi-order fractional differential equations(fdes). the main characteristic behind the approach using this technique is that it reduces such problems to those of solving a system of non-linear algebraic equations....

in recent years, there has been greater attempt to find numerical solutions of differential equations using wavelet's methods. the following method is based on vector forms of haar-wavelet functions. in this paper, we will introduce one dimensional haar-wavelet functions and the haar-wavelet operational matrices of the fractional order integration. also the haar-wavelet operational matrice...

sinc-galerkin method based upon double exponential transformation for solving troesch's problem was given in this study. properties of the sinc-galerkin approach were utilized to reduce the solution of nonlinear two-point boundary value problem to same nonlinear algebraic equations, also, the matrix form of the nonlinear algebraic equations was obtained.the error bound of the method was fo...