Multi-Supply voltage design using Cluster Voltage Scaling (CVS) is an effective way to reduce power consumption without performance degradation. One of the major issues in this method is performance and power overheads due to insertion of Level Converting Flip-Flops (LCFF) at the interface from low-supply to high-supply clusters to simultaneously perform latching and level conversion. In this p...

conditional  methods  of adjustment  are often used to quantify  the effect  of the exposure on the outcome.  as  a  result,  the  stratums-specific  risk  ratio  estimates  are  reported  in  the  presence  of interaction   between   exposure  and  confounder(s)   in  the  literature,  even  if  the  target  of  the intervention on the exposure is the total population and the interaction itsel...

This paper is devoted to the study of the (in)equational theory of the largest (pre)congruences over the language BCCSP induced by variations on the classic simulation preorder and equivalence that abstract from internal steps in process behaviours. In particular, the article focuses on the (pre)congruences associated with the weak simulation, the weak complete simulation and the weak ready sim...

Subset Simulation is an adaptive simulation method that efficiently solves structural reliability problems with many random variables. The method requires sampling from conditional distributions, which is achieved through Markov Chain Monte Carlo (MCMC) algorithms. This paper discusses different MCMC algorithms proposed for Subset Simulation and introduces a novel approach for MCMC sampling in ...

Truncated Gaussian Simulation (TGS) is a well-known method to generate realizations of the ore domains located in a spatial sequence. In geostatistical framework geological domains are normally utilized for stationary assumption. The ability to measure the uncertainty in the exact locations of the boundaries among different geological units is a common challenge for practitioners. As a simple a...

This paper presents a complete account of positive and negative results on the finite axiomatizability of weak complete simulation semantics over the language BCCSP. We offer finite (un)conditional groundcomplete axiomatizations for the weak complete simulation precongruence. In sharp contrast to this positive result, we prove that, in the presence of at least one observable action, the (in)equ...

We introduce a flexible lifetime distribution called Burr III-Inverse Weibull (BIII-IW). The new proposed distribution has well-known sub-models. The BIII-IW density function includes exponential, left-skewed, right-skewed and symmetrical shapes. The BIII-IW model’s failure rate can be monotone and non-monotone depending on the parameter values. To show the importance of the BIII-IW distributio...

The Lagrangian Flamelet Model is formulated as a combustion model for large-eddy simulations of turbulent jet diffusion flames. The model is applied in a large-eddy simulation of a piloted partially premixed methane/air diffusion flame ~Sandia flame D!. The results of the simulation are compared to experimental data of the mean and RMS of the axial velocity and the mixture fraction and the unco...

In this paper, we show that the conditional transform with respect to the Gaussian process involving the first variation can be expressed in terms of the conditional transform without the first variation. We then use this result to obtain various integration formulas involving the conditional $diamond$-product and the first variation.