Jančar has in 2003 shown that bisimilarity on Basic Parallel Processes (BPP) can be decided in polynomial space. Bisimilarity is studied on various subclasses of BPP as well. We present summary of known complexity bounds of some such bisimilarity problems. Moreover is here shown that deciding regularity of a BPP is PSPACE-complete. So far this problem was only known to be PSPACE-hard.

The physicochemical characteristics of fresh noodles made with blends of low-protein wheat flour and barley byproduct (BBP, 250 μm) were investigated. The crude protein contents (PC) of flour from Goso and Backjoong cultivars were 7.91% and 7.67%, respectively. PC and β-glucan contents from the BBP were 14.10% and 3.11%, respectively, which were higher than those in wheat flour. The water-holdi...

Jančar has in 2003 shown that bisimilarity on Basic Parallel Processes (BPP) can be decided in polynomial space. But bisimilarity is studied also on various subclasses of BPP. We present summary of known complexity bounds of some such bisimilarity problems. Moreover is here shown that deciding regularity of a BPP is PSPACE-complete. This result was presented at winter school Movep’04 in PhD stu...

Water plays a very important role in wood and wood products. The molecular motion of water in wood is susceptible to thermal activation. Thermal energy makes water molecules more active and weakens the force between water and wood; therefore, the water molecules dynamic properties are greatly influenced. Molecular dynamics study is important for wood drying; this paper therefore focuses on wate...

Myungseok Yoon Center for Quantum Spacetime, Sogang University, Seoul 121-742, Korea (Dated: March 6, 2007) Abstract It can be shown that in the BPP model the smooth phase transition from the asymptotically decelerated AdS universe to the asymptotically accelerated DS universe is possible by solving the modified semiclassical equations of motion. This transition comes from noncommutative Poisso...

We assess the degree of consumption smoothing implicit in a calibrated life-cycle version of the standard incomplete-markets model, and we compare it to the empirical estimates of Blundell et al. (2008) (BPP thereafter). We find that households in the model have access to less consumption smoothing against permanent earnings shocks than what is measured in the data. BPP estimate that 36% of per...

This paper provides an overview of the BPP program, which is a Bayesian MCMC program for analysis of multi-locus genomic sequence data under the multispecies coalescent model. An example dataset of five nuclear loci from the East Asian brown frogs is used to illustrate four different analyses, including estimation of parameters under the multispecies coalescent model on a fixed species phylogen...

The NMR spin lattice relaxation of various aldehydes has been investigated. The experimental values of NMR spin lattice relaxation time T1 of benzaldehyde, anisaldehyde, o-cholorobenzaldehyde and p-hydroxybenzaldehyde have been correlated with the calculated value of N M R spin lattice relaxation time T1 obtained using various equations for dielectric relaxation time τ. It has been concluded th...

US pregnant uterus 9 Assessment of fetal measurement, growth, amniotic fluid, fetal anatomic survey, and activity patterns is appropriate. O US pregnant uterus biophysical profile 4 Assessment of biophysical profile is of indeterminate appropriateness. Biophysical profile components: 1) fetal heart-rate reactivity; 2) fetal breathing movements; 3) fetal movement; 4) fetal tone; and 5) amniotic ...