We focus on the random generation of SAT instances that have properties similar to real-world instances. It is known many industrial instances, even with a great number variables, can be solved by clever solver in reasonable amount time. This not possible, general, classical randomly generated provide different model called \emph{scale-free instances}. based use non-uniform probability distribu...

We analyze the behavior of an ensemble of inertial particles in a one-dimensional smooth Gaussian velocity field, in the limit of large inertia, but considering a finite correlation time for the random field. The amplitude of the concentration fluctuations is characterized by slow decay at large inertia and a much larger correlation length than that of the random field. The fluctuation structur...

Using a TE/TM decomposition for an angular plane-wave spectrum of free random electromagnetic waves and matched boundary conditions, we derive the probability density function for the energy density of the vector electric field in the presence of a semi-infinite isotropic medium. The theoretical analysis is illustrated with calculations and results for good electric conductors and for a lossles...

begin{abstract} in this paper, we prove some strong and weak convergence of three step random iterative scheme with errors to common random fixed points of three asymptotically nonexpansive nonself random mappings in a real uniformly convex separable banach space. end{abstract}

This paper concerns the kinetic limit of the Dirac equation with random electromagnetic field. We give a detailed mathematical analysis of the radiative transport limit for the phase space energy density of solutions to the Dirac equation. Our derivation is based on a martingale method and a perturbed test function expansion. This requires the electromagnetic field to be a space-time random fie...

Traditional affine models of the term structure are eminently tractable, but suffer from empirical difficulties. Random field models offer great flexibility in fitting the data, but are widely considered non-implementable unless they are approximated by a low-dimensional system. I develop a state-space estimation framework where both random field and affine models can be estimated by MCMC using...

To evaluate and improve the quality of land surface albedo products, validation with ground measurements of albedo is crucial over the spatially and temporally heterogeneous land surface. One of the essential steps for satellite albedo product validation is coarse scale observation technique development with long time ground-based measurements. In this paper, the optimal nodes were selected fro...

Article history: Received 17 May 2011 Accepted 14 May 2012 Available online 24 May 2012