In this paper, two new stochastic algorithms for calculating parametric derivatives of the solution to the Smoluchowski coagulation equation are presented. It is assumed that the coagulation kernel is dependent on these parameters. The new algorithms (called ‘Single’ and ‘Double’) work by coupling two Marcus-Lushnikov processes in such a way as to reduce the difference between their trajectorie...

Although many programs use multi-dimensional arrays, the multi-dimensional view of data is often not directly visible in the internal representation used by LLVM. In many situations, the only information available is an array base pointer and a single dimensional offset. For problems with parametric size, this offset is usually a multivariate polynomial that cannot be analyzed with integer line...

Hydronic heating systems that circulate a heated fluid through pipes embedded in a bridge deck or roadway may be used to eliminate or reduce dangerous driving conditions caused by snow and ice. The first important task in sizing such a system is determining the required heat flux. Current guidance in the ASHRAE HVAC Applications Handbook for required surface heat fluxes is based on a one-dimens...

The ability of a set of simple predicates to capture characteristic patterns in a parametric representation of vowels in continuous speech was investigated with the aid of an efficient conjunctive pattern recognition and classification system. The results compare favourably with those produced by a cluster-based minimal Euclidean distance technique, run over the identical training and test samp...

Generative CSG models, while having the desirable characteristics of compactness and resolution independence, have never been used for real time rendering because no algorithms existed which could both maintain their compact representation and render them efficiently at run time. The key difficulty in doing this was finding a compact, exact representation of the implicit curve of intersection t...

Usually, in monitoring schemes the nominal value of the process parameter is assumed known. However, this assumption is violated owing to costly sampling and lack of data particularly in healthcare systems. On the other hand, applying a fixed control limit for the risk-adjusted Bernoulli chart causes to a variable in-control average run length performance for patient populations with dissimilar...

abstract the present research accomplished to determination of the trade liberalization effects on import function of iran’s wheat crop using time series data from 1357 to 1387 that earn from sources such as agricultural and aerology statistics annual letter, customhouse and iran central bank website.in this investigation, at first, wheat liberalization index was measured by using level of inte...

Psi-calculi constitute a parametric framework for nominal process calculi, where constraint based process calculi and process calculi for mobility can be defined as instances. We apply here the framework of psi-calculi to provide a foundation for the exploration of declarative event-based process calculi with support for runtime refinement. We first provide a representation of the model of fini...