Sénizergues has proved that language equivalence is decidable for disjoint -deterministic PDA. Stirling has showed that strong bisimilarity is decidable for PDA. On the negative side Srba demonstrated that the weak bisimilarity is undecidable for normed PDA. Later Jančar and Srba established the undecidability of the weak bisimilarity for disjoint -pushing PDA and disjoint -popping PDA. In the ...

Electrical therapy has attracted significant attention because it can modulate cell behaviors and accelerate tissue repair. However, the effectiveness of electrical therapy is limited. This work develops electroresponsive and conductive polydopaminepolypyrrole microcapsules (PDA-PPy-MCs) on titanium surfaces using electrochemical deposition. During the electrochemical process, PDA and dexametha...

BACKGROUND In clinical and research practice linked to prostate cancer treatment, frequent monitoring of patient health-related quality of life (HRQOL) is essential. Practical and analytic limitations of paper questionnaire data capture may be overcome with the use of self-administered personal digital assistant (PDA) data collection. The objective of this study was to assess the reliability, v...

The facile preparation of conformal polydopamine (PDA) films on broad classes of materials has prompted extensive research into a wide variety of potential applications for PDA. The constituent molecular species in PDA exhibit diverse chemical moieties, and therefore highly variable properties of PDA-based devices may evolve with post-processing conditions. Here we report the use of redox-inact...

In this study, the polydopamine (PDA) film was coated on polished 316Lss and then thermally treated at 150 °C (labeled as PDA-Th150), and the stability of coatings was also investigated. Straining test indicated that PDA-Th150 coating performed better in affording sufficient adherence to 316 L SS substrate. Moreover, both PDA and PDA-Th150 coating suffered slight swelling during immersion in de...

We study the most important probabilistic computation modes for pushdown automata. First we show that deterministic pushdown automata (pda) are weaker than Las Vegas pda, which in turn are weaker than one-sided-error pda. Next one-sidederror pda are shown to be weaker than (nondeterministic) pda. Finally bounded error two-sided error pda and nondeterministic pda are incomparable. To show the li...