On Deciding Readiness and Failure Equivalences for Processes

In this paper, we study the complexity of deciding readiness and failure equivalences for finite state processes and recursively defined processes specified by normed context-free grammars (CFGs) in Greibach normal form (GNF). The results are as follows: (1) Readiness and failure equivalences for processes specified by normed GNF CFGs are both undecidable. For this class of processes, the regularity problem with respect to failure or readiness equivalence is also undecidable. Moreover, all these undecidability results hold even for locally unary processes. In the unary case, these problems become decidable. In fact, they are Π^p₂-complete, We also show that with respect to bisimulation equivalence, the regularity for processes specified by normed GNF CFGs is NL-complete. (2) Readiness and failure equivalences for finite state processes are PSPACE-complete. This holds even for locally unary finite state processes. These two equivalences are co-NP-complete for unary finite state processes. Further, for acyclic finite state processes, readiness and failure equivalences are co-NP-complete and they are NL-complete in the unary case. (3) For finite tree processes, we show that finite trace, readiness, and failure equivalences are all L-complete. Further, the results remain true for the unary case. Our results provide a complete characterization of the computational complexity of deciding readiness and failure equivalences for several important classes of processes.     

Modeling of current-voltage characteristics for strained andlattice matched HEMT's on InP substrate using a variational chargecontrol model

A model for the calculation of the current-voltage characteristics of strained In_0.52Al_0.48As/In_xGa_1-xAs on InP substrate High Electron Mobility Transistors (HEMT's), based on a variational charge control model, is presented. A polynomial fit of the two-dimensional electron gas (2DEG) density is used for the calculation of the current-voltage characteristics. The effect of strain is introduced into the 2DEG density versus gate voltage relation. Very good agreement between the calculated and measured I-V characteristics was obtained. In addition, our results show that, for an indium mole fraction of the In_xGa_1-xAs channel in the range 0.53-0.60, increasing the indium mole fraction lowers the threshold voltage and hence increases the drain current at the same gate bias     

A comparison of crack-flank displacement fitting for estimating K with a path independent integral

Predicting crack growth under cyclic loading in applications usually requires the efficient extraction of stress intensity factors from finite element analyses of mixed mode situations. Two approaches to this end are examined: one, a competitive fitting procedure using crack-flank displacement data, the other, a path independent integral which can readily distinguish between modes. A protocol is established for comparing the two on a set of about forty test problems which have exact solutions. Analysis is via quarter point elements on a common sequence of three successively refined meshes for each problem. Results show that the path independent integral is more consistently accurate and reliably convergent, yet comparable in implementation effort.     

Use of electrophoretic karyotyping and DNA-DNA hybridization in yeast identification

The behavioral disturbances of 16 nursing home patients with a history of sundowning behaviour and dementia were treated with light therapy instead of psychopharmacological medication. After the withdrawal of the before established medication a very individual, heterogenous deterioration of the symptoms was noted. A significant improvement of the behaviour was not found by light therapy in any patient. The problems in practical handling and possible consequences of further investigation are discussed.     

Influence of To?pa Peat Preparation on the phagocytic activity and bactericidal properties of granulocytes in healthy volunteers

It was found, that To?pa Peat Preparation (TPP) administered to healthy volunteers in doses of 100-300 mg/day during 14 days evoked the stimulation of the phagocytic and bactericidal activity of the granulocytes. The dose of 600 mg/day causes only a transient and insignificant increase of phagocytic and bactericidal properties of the granulocytes.     

Toward successful compliance with JCAHO standard NC.1

Recommendations resulting from a JCAHO survey can be a true blessing as they force nursing departments to assess critically their professional practice and documentation systems. Systematic preparation, begun at least two years prior to the survey, includes Nursing Administration, a Nursing Documentation Task Force and all staff nurses. Educational consultants assigned to each unit bring nurses up-to-date on nursing process and nursing diagnosis. Mock surveys and cross-training in chart review prepare staff nurses for confident participation in the accreditation process.     

Porphyromonas-like gram-negative rods in naturally occurring periodontitis in dogs

A total of 259 Gram-negative Porphyromonas-like rods isolated from subgingival plaque samples of 16 family-owned dogs with naturally occurring periodontitis were characterized phenotypically by biochemical reactions, metabolic end products and enzymatic activities (API-ZYMTM, RoscoTM). Four distinct groups were found. Group A isolates (63) were asaccharolytic, lipase negative, trypsin positive and produced phenylacetic acid (PAA) from peptone-yeast extract glucose broth. Unlike P. gingivalis strains they were catalase positive. Group B isolates (42) differed from those of group A by a positive lipase reaction and from those of group D by failing to ferment sugars. Group C isolates (88) were asaccharolytic and did not produce PAA. They were alpha-fucosidase, N-acetyl-beta-glucosaminidase (beta-NAG) and trypsin negative, resembling P. endodontalis, but unlike human isolates, they were catalase positive. Subgroup C.1 isolates (6) differed from those of parent group C by producing minor amounts of PAA, and subgroup C.2 isolates (12) were beta-NAG positive. Group D isolates (46) were weakly fermentative, lipase, catalase and trypsin positive, and produced PAA. They resembled the B (P.) salivosus type strain which, in our hands, fermented weakly glucose, lactose and mannose. Two isolates could not be assigned to any of the previous groups.     

A major isoform of the maize plasma membrane H(+)-ATPase: characterization and induction by auxin in coleoptiles

The plasma membrane (PM) H(+)-ATPase has been proposed to play important transport and regulatory roles in plant physiology, including its participation in auxin-induced acidification in coleoptile segments. This enzyme is encoded by a family of genes differing in tissue distribution, regulation, and expression level. A major expressed isoform of the maize PM H(+)-ATPase (MHA2) has been characterized. RNA gel blot analysis indicated that MHA2 is expressed in all maize organs, with highest levels being in the roots. In situ hybridization of sections from maize seedlings indicated enriched expression of MHA2 in stomatal guard cells, phloem cells, and root epidermal cells. MHA2 mRNA was induced threefold when nonvascular parts of the coleoptile segments were treated with auxin. This induction correlates with auxin-triggered proton extrusion by the same part of the segments. The PM H(+)-ATPase in the vascular bundies does not contribute significantly to auxin-induced acidification, is not regulated by auxin, and masks the auxin effect in extracts of whole coleoptile segments. We conclude that auxin-induced acidification in coleoptile segments most often occurs in the nonvascular tissue and is mediated, at least in part, by increased levels of MHA2.