Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applications of dependent types to practical programming languages: Instead of requiring programmers’ declaration of dependent function types (as in Dependent ML) or trying to infer them from function definitions only (as in si...

Owing to trade imbalance, shipping companies position empty containers between ports or depots periodically. The most difficult problem for positioning is that it is not possible to know the exact amounts of empty containers required in the future. The paper deals with the problem of positioning empty containers in a port area with multiple depots. Customer demands and returning containers in d...

we developed an inventory model for decaying items with selling price dependent demand in inflationary environment. deterioration rate is taken as two parameter weibull distribution. shortages in inventory are allowed with partial backlogging. backlogging rate is taken as exponential decreasing function of time. profit maximization technique is used in this study.

The compressed air electric ratio (CAER) describes the of real power demand to nominal mechanical an compressor. CAER is important indicator as compressors varies throughout its operation dependent on compressor technology, pressure ratio, and free delivery. nameplate drive motor not sufficient for evaluating demand; therefore, plays role in assessing operating demand. In this paper, results fr...

Subscription-based Video-on-Demand streaming services (SVODs) are popular hits nowadays on the online platform. The success of these SVODs is indeed dependent consumer acceptance; however, preference latter might vary. This study focused targeting millennials, as they biggest consumers SVODs, by looking at Facebook advertisements, social pressure, attitude, and purchase intention driving variab...

The mechanism of the self-reaction of HCO radicals is investigated by using high-level quantum-chemical methods including M05-2X, CCSD, CCSD(T) and CRCC(2,3). Next, the rate coefficients for several product channels as a function of pressure and temperature are computed by employing statistical rate theories. Four important product channels are predicted to be CO + CO + H2, HCOH + OH, cis-(HCO)...

Graduated compression bandaging of the lower limbs is the primary therapy for venous leg ulcers with its efficacy believed to be predominantly dependent on the amount and the distribution of the compressive pressure applied. There has been on-going demand for an ideal sensor to facilitate in-vivo monitoring of the sub-bandage pressure. Several methods and devices have been reported but each has...