In CHS92] was proved that (strong) bisimulation equivalence is de-cidable for all context-free processes. We reduce eeectively the question of bisimulation equivalence of processes in BPA to that of context-free processes, by interpreting the deadlocking process as a process which iterates a fresh action forever. This shows that bisimulation is also decidable for BPA. 1 Introduction In BBK87, B...

Homogenizer and ultrasonicator that we call as mechanical methods were used in the lab scale production of alcohol free reduced glutathione (alcohol free GSH) from baker’s yeast. The study was done to determine the effects of specific parameters of the methods and the pH of the medium on the production of the GSH. The <...

reactions of free radicals and reactive oxygen species (ros) with biological molecules in vivo play an important physiological role in many diseases. 2,2-diphenyl-1-picrylhydrazyl (dpph) is a stable free radical and often used as a routine reagent to evaluate the antioxidant capacity of an antioxidant. this study was undertaken to investigate the free radical-scavenging and antioxidant activiti...

background and aims. localized gingival recession presents as a special therapeutic problem. subjective parameters and donor site morbidity are often overlooked while deciding on any treatment option. materials and methods. 22 subjects were equally divided in group a (lateral pedicle graft) and group b (free mucosal graft). subjective evaluation of post operative sensitivity, discomfort and ble...

the risk free rate of return plays a main role in financial economic theory and financial markets. due to prohibition of interest in islamic countries there is no specific financial instrument with risk free rate of return as a criterion for measuring the risk free rate of market. we apply the kalman filter to estimate this variable for financial markets in iran. the technique is based on a sta...

In this paper, a problem on Rayleigh surface wave in an isotropic micropolar elastic solid half-space with impedance boundary conditions is investigated. It is assumed that the normal force traction, shear force traction and shear couple traction vary linearly with the normal displacement component, tangential displacement component and microrotation component multiplied by the frequency, where...

Based on the differential transformation method, a semi-analytical solution is developed for free vibration and modal stress analyses of variable thickness two-directional functionally graded circular plates with restrained edges, resting on elastic foundations. Variations of the material and geometry parameters are monitored by five distinct exponential functions. The presented non-dimensional...

determination of allowable free span length plays a crucial role in design of offshore pipelines. the seabed intervention cost and safety of an offshore pipelines project are largely influenced by pipelines free spanning during the project life time. different criteria are proposed by both the current designing guidelines and researchers there is however lack of comprehensive assessment of inde...

We consider leptogenesis induced by soft supersymmetry breaking terms (“soft leptogenesis”), in the context of the inverse seesaw mechanism. In this model there are lepton number (L) conserving and L-violating soft supersymmetry-breaking B-terms involving the singlet sneutrinos which, together with the – generically small– L-violating parameter responsible of the neutrino mass, give a small mas...