Monte Carlo integration of multi-dimensional Gaussian functions is widely applicable in the statistical analysis of functions of many variables, and such analysis is encountered in many fields of science. In this write-up, we compare two Monte Carlo integration algorithms from the Cuba library, Vegas, and Suave, in terms of convergence time and accuracy of evaluation of a multi-dimensional Gaus...

Integrated scheduling and control is a new approach that seeks to unify the objectives of the various layers of optimization in manufacturing. Recent efforts in this field have used a continuous-time, slotbased formulation. This work investigates combining scheduling and control using a novel discrete-time formulation, utilizing the full process model through the entire horizon. This discrete-t...

Several language processing tasks can be inherently represented by a weighted graph where the weights are interpreted as a measure of relatedness between two vertices. Measuring similarity between arbitary pairs of vertices is essential in solving several language processing problems on these datasets. Random walk based measures perform better than other path based measures like shortest-path. ...

An in-depth integral analysis revealing various physical aspects of an asymmetrical flat plate heat pipe is presented in this work. The resulting psuedo-three-dimensional vapor phase Row field is bifurcated on the X-J’ plane due to the asymmetrical nature of the heat source and sinks. The analytical results for the shifted vapor velocity profiles on the x-y plane, the overall axial pressure dis...

We deene a class of modal logics LF by uniformly extending a class of modal logics L. Each logic L is characterised by a class of rst-order deenable frames, but the corresponding logic LF is sometimes characterised by classes of modal frames that are not rst-order deenable. The class LF includes provability logics with deep arithmeti-cal interpretations. Using Belnap's proof-theoretical framewo...

We introduce a notion of manufactured dimension function (with values in R∪{−∞}) for the generic model of a Ramsey-expandable class of finite structures. This idea allows us to extract an automorphism-invariant dimension from a Hrushovski-style psuedo-finite dimension function as presented in [12, 13]. Adapting the technique of [6], we demonstrate that the existence of a manufactured dimension ...

Landslides during heavy rainfall cause a great amount of damage in terms of both property and human life. To predict landslide disasters, we designed and implemented a wireless sensor network using our existing highly fault tolerant ad-hoc network. Since many sensors must be used, we propose a new MAC protocol that allows the network to support more sensor terminals. Our protocol is a hybrid CS...

Objective: To compare the outcomes of excision pseudo aneurysm along with ligation and local debridement revascularization in management infected femoral among drug addicts. Study Design: Retrospective Analytic study. Setting: Surgical Unit-1, Benazir Bhutto Hospital, Rawalpindi. Period: July 2010 to 2019. Material & Method: Among patients presented Emergency out department. Data was collec...