Learn More
We study the extension of the theory S 1 2 by instances of the dual (onto) weak pigeonhole principle for p-time functions, dWPHP (PV) x x 2. We propose a natural framework for formalization of randomized algorithms in bounded arithmetic, and use it to provide a strengthening of Wilkie's witnessing theorem for S 1 2 + dWPHP (PV). Then we show that dWPHP (PV)(More)
The paper deals with methodology of simulation study devoted to evaluation of reliability of HDS catalyst testing procedure in pilot three phase fixed bed reactor. Hydrodynamic behaviour of test reactor was determined by residence time distribution method. Residence time and Peclet number of axial dispersion of liquid phase were obtained by nonlinear(More)
  • 1