Background: Date (Phoenix dactylifera L.) is one of the most important agricultural crops in Iran. This study was carried out to determine the possibility of using date paste for manufacturing a new ready-to-eat food product. Methods: Various formulations were prepared by mixing Mazafati date paste, bread, oil (animal and olive), nuts and spices but only six formulas were chosen according to s...

Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS are two well-known such systems. They find an answer set from the full models for the completion of the input program, which is (iteratively) augmented with loop formulas. Making use of the fact that, for non-tight progr...

Experimental excitation functions of isotopes produced in reactions are compared with the results empirical cross section formulas. We consider 16 (36Cl, 38Ar, 42,43K, 44Ti, 46,47,48Sc, 48,51Cr, 52Fe, 52,54Mn and 55,56,57Co) at bombarding energies from threshold up to 2.6 GeV. They predictions formulas Rudstam, Silberberg-Tsao SPACS. In middle-energy range, provide (in stated order) a progressi...

Abstract We propose a new estimator for the ultimate prediction uncertainty within famous Mack’s distribution-free chain-ladder model, which can be proved to unbiased (conditionally given first triangle column) under some additional technical assumptions. A peculiar behaviour of is by its possible negativity. This drawback might worth trading off unbiasedness property, since there empirical evi...

We study a system of semilinear hyperbolic equations passively advected by smooth white noise in time random velocity fields. Such a system arises in modeling non-premixed isothermal turbulent flames under single-step kinetics of fuel and oxidizer. We derive closed equations for one-point and multi-point probability distribution functions (PDFs) and closed form analytical formulas for the one p...

We revisit the problem of extending quadrature formulas for general weight functions, and provide a generalization of Patterson’s method for the constant weight function. The method can be used to compute a nested sequence of quadrature formulas for integration with respect to any continuous probability measure on the real line with finite moments. The advantages of the method include that it w...

We propose the use of logic-based preference representation languages based on weighted propositional formulas for specifying bids in a combinatorial auction. We then develop several heuristics for a branch-and-bound search algorithm for determining the winning bids in this framework and report on their empirical performance. The logic-based approach is attractive due to its high degree of flex...

We discuss the diiusive limit of a class of stochastic lattice gases on the cubic lattice Z d. If the initial conditions correspond to a local equilibrium with small deviations from a spatially constant proole, we prove the law of large numbers for the rescaled empirical velocity eld. The limiting eld satisses the Navier-Stokes equation and the viscosity is characterized by variational formulas...