Thermodynamic consistency test of isothermal vapor-liquid equilibrium (VLE) data of various binary systems containing Carbon dioxide (CO2)/Room temperature ionic liquids (RTILs) have been investigated in wide ranges of pressures in each isotherm precisely. In this paper Generic van der Waals (GvdW) equation of state (EoS) coupled with modified van der Waals Berthelot mixing rule has ...

consider the following consistent sylvester tensor equation[mathscr{x}times_1 a +mathscr{x}times_2 b+mathscr{x}times_3 c=mathscr{d},]where the matrices $a,b, c$ and the tensor $mathscr{d}$ are given and $mathscr{x}$ is the unknown tensor. the current paper concerns with examining a simple and neat framework for accelerating the speed of convergence of the gradient-based iterative algorithm and ...

The helicopter-borne electromagnetic (HEM) frequency-domain exploration method is an airborne electromagnetic (AEM) technique that is widely used for vast and rough areas for resistivity imaging. The vast amount of digitized data flowing from the HEM method requires an efficient and accurate inversion algorithm. Generally, the inverse modelling of HEM data in the first step requires a precise a...

In this paper we present a new data mining algorithm which can give us the relationship among attributes within data set concisely and precisely. The relationships found from this algorithm shown in the rule form are consistent by not depending on the total number of record within the data set or the different proportion of all of the possible cases within the data set. This algorithm is neithe...

This paper describes an algorithm, based on psychophysical models of edge localisation, for computing an edge location in presence of blur. The algorithm successfully finds the most likely location at which a human observer would place the edge. For simulated image data the maximum displacement between the boundary placing by the human subjects and by the algorithm was 1.7 pixels. The applicati...

A distributed coordinated checkpointing algorithm for distributed mobile systems is presented. A consistent global checkpoint is a set of states in which no message is recorded as received in one process and as not yet sent in another process. It is used for rollback when process failure occurs. A consistent global checkpoint must be obtained for any checkpoint initiation by any process. This p...

One of the challenges of cloud programming is to achieve the right balance between availability and consistency in a distributed database. Cloud computing environments, particularly cloud databases, are rapidly increasing in importance, acceptance and usage in major applications, which need the partition-tolerance and availability for scalability purposes, thus sacrificing the consistency side ...

The perceptron learning algorithm yields quite naturally an algorithm for finding a linearly separable boolean function consistent with a sample of such a function. Using the idea of a specifying sample, we give a simple proof that this algorithm is not efficient, in general. A boolean function t defined on {0, 1} is linearly separable if there are α ∈ R and θ ∈ R such that t(x) = { 1 if 〈α, x〉...

An efficient assignment and scheduling of tasks is one of the key elements in effective utilization of heterogeneous multiprocessor systems. The task scheduling problem has been proven to be NP-hard is the reason why we used meta-heuristic methods for finding a suboptimal schedule. In this paper we proposed a new approach using TRIZ (specially 40 inventive principles). The basic idea of thi...