to whether a promise can be issued is based on a satissability test, that the constraints associated with those transactions already in the queue, together with the constraint associated with the new transaction, are satissable. The constraint solver is also capable of answering queries about the ealiest time at which a piece of data will become up-to-date. The transaction mechanism supports th...

1E2259+586 belongs to the group of anomalous X-ray pulsars (AXP) which are thought to be magnetars. Accurate measurements of the proper motion for these interesting objects have not been made. In this work we use the data obtained by satellites ROSAT, Chandra and XMM-Newton taken in a period of 12 years to measure the change in position of 1E2259+586 with respect to the three field sources. Our...

The regenerative method for estimating steady-state parameters is one of the basic methods in the simulation literature. This method depends on central limit theorems for regenerative processes and weakly consistent estimates for the variance constants arising in the central limit theorem. A weak sufficient (and probably necessary) condition for both the central limit theorems and consistent es...

We study the twisted Eguchi-Kawai (TEK) reduction procedure for large N unitary matrix lattice models. In particular, we consider the case of twodimensional principal chiral models, and use numerical Monte Carlo (MC) simulations to check the conjectured equivalence of TEK reduced model and standard lattice model in the large-N limit. The MC results are compared with the large-N limit of lattice...

Dual Consistency (DC) is a property of Constraint Networks (CNs) which is equivalent, in its unrestricted form, to Path Consistency (PC). The principle is to perform successive singleton checks (i.e. enforcing arc consistency after the assignment of a value to a variable) in order to identify inconsistent pairs of values, until a fixpoint is reached. In this paper, we propose two new algorithms...

in this paper, a high-order and conditionally stable stochastic difference scheme is proposed for the numerical solution of $rm ithat{o}$ stochastic advection diffusion equation with one dimensional white noise process. we applied a finite difference approximation of fourth-order for discretizing space spatial derivative of this equation. the main properties of deterministic difference schemes,...

flow characteristics and rheological parameters of “malas yazdi” pomegranate (punica granatum l.) juice were investigated using rotational viscometer at different temperatures (10, 20, 30, 40, 50, 60 and 70ºc) and concentrations (12, 22, 32, 42 and 52º brix). the experimental data had the best fitness with herschel-bulkley model and the values of flow behavior index (n) varied between 0.97 and ...

present study is an extension of earlier work carried out on two-lane two way roads in the two provinces of pakistan i.e. n-25, n-55 and n-5 regarding the measure of operating speed and development of operating speed prediction models. curved sections of two-lane rural highways are the main location of run-off road accidents. in addition to that the road alignment having combination of geometri...

A bstract We consider Chern-Simons theory coupled to massive fundamental matter in three spacetime dimensions at finite temperature, the large N limit. compute several thermal correlators this for both fermionic and bosonic separately. The results are computed ’t Hooft limit but arbitrary values of coupling. Furthermore, we generalize computations four-point function scalars temperature. As a c...

Dislocations are the main carriers of plastic deformation in crystalline materials. Physically based constitutive equations crystal plasticity typically incorporate dislocation mechanisms, using a density description microstructure evolution and flow. Typically, such models not formulated thermodynamic framework. Nevertheless, fundamental considerations consistency impose constraints on admissi...