A proposed blind video data hiding approach, for embedding different types of data in video frames is presented. Video signal is a highly correlated signal, this correlation is stemming from two sources. The first one is the spatial correlation that results from inter-pixel correlation within each frame of the video sequence. The second one is the temporal correlation that results from the slow...

We consider modification of the recourse data, consisting of the second-stage parameters and the underlying distribution, as an approximation technique for solving two-stage recourse problems. This approach is applied to several specific classes of mixed-integer recourse problems; in each case, the resulting recourse problem is much easier to solve.

This paper is concerned with the integration of recursive data structures with Presburger arithmetic. The integrated theory includes a length function on data structures, thus providing a tight coupling between the two theories, and hence the general Nelson-Oppen combination method for decision procedures is not applicable to this theory, even for the quantifier-free case. We present four decis...

The mixed-integer linear programming data envelopment analysis models were proposed due to this reason that the conventional DEA models may suggest some non-integer values for the inputs and/or outputs of decision making units (DMUs) which those data can only be specified with integer values such as the number of employees and books. There are a few researches on integer-valued DEA and this pap...

In the optimization world now, even the use of considering the number of processors for parallel programming is carefully considered. The goal of high-level languages is to provide a simple yet efficient machine-independent parallel programming model. The programmer’s data parallel programs should be able to compile and executed with a good performance on many different architectures. However t...