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     

Acquired hemophilia and rheumatoid arthritis. Value of intravenous immunoglobulins

The authors report an exceedingly rare complication of rheumatoid arthritis, i.e. acquired hemophilia due to anti-factor VIII autoantibody production. Treatment with intravenous immune globulin ensured control of hemorrhagic manifestations by inducing a transient rise in factor VIII level.     

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.     

The spinal muscular atrophy gene region at 5q13.1 has a paralogous chromosomal region at 6p21.3

We have examined acetaminophen (paracetamol) dosing for outpatient management of posttonsillectomy pain in children. Forty children, 5-15 years of age, undergoing tonsillectomy and their parents were randomly assigned to use a scheduled administration of acetaminophen in weight appropriate doses, 60 mg.kg-1.24h-1 orally, 90 mg.kg-1.24h-1 rectally, or to use acetaminophen 'as needed' according to present standards (control group). Postoperative pain was assessed by the child using the poker chip tool for the first three days after discharge. The prevalence of pain amongst all the children was high. The second day after discharge 22%-64% of the children in the study group and 36%-73% of the children in the control group rated severe pain. Recommended dose ranges of acetaminophen do not provide sufficient pain relief in children following tonsillectomy. Further studies are required to determine, whether higher doses of acetaminophen or analgesics with different analgesic properties will lead to improved analgesia in children following tonsillectomy.     

Accelerating entry into supported employment for persons with severe psychiatric disabilities.

Tested the hypothesis that Ss with severe mental illnesses would achieve better vocational outcomes with an accelerated approach to supported employment (AASE), as compared to gradual approaches (GA) with prevocational training. 86 Ss (mean age 35.1 yrs) with a diagnosis of a serious mental illness, were randomly assigned to either the AASE, or the GA, which included a minimum of 4 mo prevocational training. Data were obtained on indicators of vocational outcomes over 2 yrs, and for a limited number of Ss (n=36), during the 4th yr of inception into the program. Initially, only 5% of Ss preferred prevocational training. After 1 yr, AASE Ss showed better outcomes for a range of indicators, including achievement of competitive employment, duration of employment and mean earnings. During the 4th yr, 59% of these Ss were competitively employed, as compared to only 6% of GA Ss. Rehabilitation is more effective using AASE than GA. (PsycINFO Database Record (c) 2010 APA, all rights reserved)