Probabilistic Action System Trace Semantics

Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.

Immunology of multiple sclerosis

Multiple sclerosis (MS) is an autoimmune disease of the central nervous system (CNS) leading to demyelination, axonal damage, and progressive neurologic disability. The development of MS is influenced by environmental factors, particularly the Epstein-Barr virus (EBV), and genetic factors, which include specific HLA types, particularly DRB1*1501-DQA1*0102-DQB1*0602, and a predisposition to autoimmunity in general. MS patients have increased circulating T-cell and antibody reactivity to myelin proteins and gangliosides. It is proposed that the role of EBV is to infect autoreactive B cells that then seed the CNS and promote the survival of autoreactive T cells there. It is also proposed that the clinical attacks of relapsing-remitting MS are orchestrated by myelin-reactive T cells entering the white matter of the CNS from the blood, and that the progressive disability in primary and secondary progressive MS is caused by the action of autoantibodies produced in the CNS by ­meningeal lymphoid follicles with germinal centers.

Immunopathology and Pathophysiology of Experimental Autoimmune Encephalomyelitis

Experimental autoimmune encephalomyelitis (EAE) is an inflammatory demyelinating disease of the central nervous system (CNS), and is widely studied as an animal model of the human CNS demyelinating diseases, including multiple sclerosis (Raine, 1984). EAE can be induced by inoculation with whole CNS tissue, purified myelin basic protein (MBP) or myelin proteolipid protein (PLP), together with adjuvants. It may also be induced by the passive transfer of T cells specifically reactive to these myelin antigens. EAE may have either an acute or a chronic relapsing course. Acute EAE closely resembles the human disease acute disseminated encephalomyelitis, while chronic relapsing EAE resembles multiple sclerosis. EAE is also the prototype for T-cell-mediated autoimmune disease in general. This chapter will focus on the immunopathology and pathophysiology of EAE, which are the subjects of investigation in my laboratory.

Reducing problem behavior during care-giving in families of preschool-aged children with developmental disabilities

This study evaluated two variants of a behavioral parent training program known as Stepping Stones Triple P (SSTP) using 74 preschool-aged children with developmental disabilities. Families were randomly allocated to an enhanced parent training intervention that combined parenting skills and care-giving coping skills (SSTP-E), standard parent training intervention alone (SSTP-S) or waitlist control (WL) condition. At post-intervention, both programs were associated with lower levels of observed negative child behavior, reductions in the number of care-giving settings where children displayed problem behavior, and improved parental competence and satisfaction in the parenting role as compared with the waitlist condition. Gains attained at post-intervention were maintained at 1-year follow-up. Both interventions produced significant reductions in child problem behavior, with 67% of children in the SSTP-E and 77% of children in the SSTPS showing clinically reliable change from pre-intervention to follow-up. Parents reported a high level of satisfaction with both interventions.

Concordance between dispersal and mitochondrial gene flow: isolation by distance in a tropical teleost, Lates calcarifer (Australian barramundi)

Patterns of population subdivision and the relationship between gene flow and geographical distance in the tropical estuarine fish Lares calcarifer (Centropomidae) were investigated using mtDNA control region sequences. Sixty-three putative haplotypes were resolved from a total of 270 individuals from nine localities within three geographical regions spanning the north Australian coastline. Despite a continuous estuarine distribution throughout the sampled range, no haplotypes were shared among regions. However, within regions, common haplotypes were often shared among localities. Both sequence-based (average Phi(ST)=0.328) and haplotype-based (average Phi(ST)=0.182) population subdivision analyses indicated strong geographical structuring. Depending on the method of calculation, geographical distance explained either 79 per cent (sequence-based) or 23 per cent (haplotype-based) of the variation in mitochondrial gene flow. Such relationships suggest that genetic differentiation of L. calcarifer has been generated via isolation-by-distance, possibly in a stepping-stone fashion. This pattern of genetic structure is concordant with expectations based on the life history of L. calcarifer and direct studies of its dispersal patterns. Mitochondrial DNA variation, although generally in agreement with patterns of allozyme variation, detected population subdivision at smaller spatial scales. Our analysis of mtDNA variation in L. calcarifer confirms that population genetic models can detect population structure of not only evolutionary significance but also of demographic significance. Further, it demonstrates the power of inferring such structure from hypervariable markers, which correspond to small effective population sizes.

Preeruptive intracoronal radiolucencies: Review and report of case

Intracoronal radiolucencies in unerupted teeth are an uncommon radiographic finding; but their early detection and classification allow the most appropriate management protocol to be developed. Early separation of lesions into those that are developmental and remain static and those that are reactive and aggressive is necessary for a controlled outcome. The current paper reviews possible formative mechanisms and describes a case of severe intracoronal resorption resulting in loss of the tooth.

Preparatory trunk motion accompanies rapid upper limb movement

Evaluation of trunk movements, trunk muscle activation, intra-abdominal pressure and displacement of centres of pressure and mass was undertaken to determine whether trunk orientation is a controlled variable prior to and during rapid bilateral movement of the upper limbs. Standing subjects performed rapid bilateral symmetrical upper limb movements in three directions (flexion, abduction and extension). The results indicated a small (0.4-3.3 degrees) but consistent initial angular displacement between the segments of the trunk in a direction opposite to that produced by the reactive moments resulting from limb movement. Phasic activation of superficial trunk muscles was consistent with this pattern of preparatory motion and with the direction of motion of the centre of mass. In contrast, activation of the deep abdominal muscles was independent of the direction of limb motion, suggesting a non-direction specific contribution to spinal stability. The results support the opinion that feedforward postural responses result in trunk movements, and that orientation of the trunk and centre of mass are both controlled variables in relation to rapid limb movements.

A novel two-chain proteinase inhibitor generated by circularization of a multidomain precursor protein

Female reproductive tissues of the ornamental tobacco amass high levels of serine proteinase inhibitors (PIs) for protection against pests and pathogens. These PIs are produced from a precursor protein composed of six repeats each with a protease reactive site. Here we show that proteolytic processing of the precursor generates five single-chain PIs and a remarkable two-chain inhibitor formed by disulfide-bond Linkage of Nand C-terminal peptide fragments. Surprisingly, PI precursors adopt this circular structure regardless of the number of inhibitor domains, suggesting this bracelet-like conformation is characteristic of the widespread potato inhibitor II (Pot II) protein family.

Numerical and experimental study of seepage in unconfined aquifers with a periodic boundary condition

The assessment of groundwater conditions within an unconfined aquifer with a periodic boundary condition is of interest in many hydrological and environmental problems. A two-dimensional numerical model for density dependent variably saturated groundwater flow, SUTRA (Voss, C.I., 1984. SUTRA: a finite element simulation model for saturated-unsaturated, fluid-density dependent ground-water flow with energy transport or chemically reactive single species solute transport. US Geological Survey, National Center, Reston, VA) is modified in order to be able to simulate the groundwater flow in unconfined aquifers affected by a periodic boundary condition. The basic flow equation is changed from pressure-form to mixed-form. The model is also adjusted to handle a seepage-face boundary condition. Experiments are conducted to provide data for the groundwater response to the periodic boundary condition for aquifers with both vertical and sloping faces. The performance of the numerical model is assessed using those data. The results of pressure- and mixed-form approximations are compared and the improvement achieved through the mixed-form of the equation is demonstrated. The ability of the numerical model to simulate the water table and seepage-face is tested by modelling some published experimental data. Finally the numerical model is successfully verified against present experimental results to confirm its ability to simulate complex boundary conditions like the periodic head and the seepage-face boundary condition on the sloping face. (C) 1999 Elsevier Science B.V. All rights reserved.

Effect of temperature and a crosslinking promoter on the gamma-radiolysis of a perfluoroelastomer

Methods of promoting the radiation-induced cross linking of poly(tetrafluoro-ethylene-co-perfluoromethyl vinyl ether) (TFE/PMVE) have been investigated. Greater control of the crosslinking and chain-scission reactions was achieved by varying the radiolysis temperature. This was attributed to temperature affecting the mobilities of reactive species such as polymeric free radicals. These reactive species are precursors to radiation-induced cross links and chain-ends. Analysis of the sol/gel behaviour, tensile properties and FTIR indicated that the optimum temperature for the radiation crosslinking of TFE/PMVE, at a dose of 150 kGy, was 263 K. This temperature was 10 K below the glass transition temperature. Incorporation of 1 wt% triallyl isocyanurate (TAIC) greatly amplified the radiation crosslinking of TFE/PMVE, The dose for gelation was decreased by 70%, and the additive imparted superior mechanical properties compared to the neat irradiated TFE/PMVE. Electron spin resonance (ESR) measurements showed higher radical yields at 77 K with the 1 wt% TAIC, indicating that the crosslinking promoter was acting as a radical trap. (C) 1999 Society of Chemical Industry.

Three dimensional preparatory trunk motion precedes asymmetrical upper limb movement

Three-dimensional trunk motion. trunk muscle electromyography and intra-abdominal pressure were evaluated to investigate the preparatory control of the trunk associated with voluntary unilateral upper limb movement. The directions of angular motion produced by moments reactive to limb movement in each direction were predicted using a three-dimensional model of the body. Preparatory motion of the trunk occurred in three dimensions in the directions opposite to the reactive moments. Electromyographic recordings from the superficial trunk muscles were consistent with preparatory trunk motion. However, activation of transversus abdominis was inconsistent with control of direction-specific moments acting on the trunk. The results provide evidence that anticipatory postural adjustments result in movements and not simple rigidification of the trunk. (C) 2000 Elsevier Science B.V. All rights reserved.

Sulfite : Cytochrome c oxidoreductase from Thiobacillus novellus - Purification, characterization, and molecular biology of a heterodimeric member of the sulfite oxidase family

Direct oxidation of sulfite to sulfate occurs in various photo- and chemotrophic sulfur oxidizing microorganisms as the final step in the oxidation of reduced sulfur compounds and is catalyzed by sulfite:cytochrome c oxidoreductase (EC 1.8.2.1), Here we show that the enzyme from Thiobacillus novellus is a periplasmically located alpha beta heterodimer, consisting of a 40.6-kDa subunit containing a molybdenum cofactor and an 8.8-kDa monoheme cytochrome c(552) smbunit (midpoint redox potential, Em(8.0) = +280 mV), The organic component of the molybdenum cofactor was identified as molybdopterin contained in a 1:1 ratio to the Mo content of the enzyme. Electron paramagnetic resonance spectroscopy revealed the presence of a sulfite-inducible Mo(V) signal characteristic of sulfite:acceptor oxidoreductases. However, pH-dependent changes in the electron paramagnetic resonance signal were not detected. Kinetic studies showed that the enzyme exhibits a ping-pong mechanism involving two reactive sites. K-m values for sulfite and cytochrome c(550) were determined to be 27 and 4 mu M, respectively; the enzyme was found to be reversibly inhibited by sulfate and various buffer ions. The sorAB genes, which encode the enzyme, appear to form an operon, which is preceded by a putative extracytoplasmic function-type promoter and contains a hairpin loop termination structure downstream of sorB. While SorA exhibits significant similarities to known sequences of eukaryotic and bacterial sulfite:acceptor oxidoreductases, SorB does not appear to be closely related to any known c-type cytochromes.

Characterization of an ATP-dependent pathway of activation for the heterocyclic amine carcinogen N-hydroxy-2-amino-3-methylimidazo[4,5-f]quinoline

2-Amino-3-methylimidazo[4,5-f]quinoline (IQ) is one of several mutagenic and carcinogenic heterocyclic amines formed during the cooking process of protein-rich foods, These compounds are highly mutagenic and have been shown to produce tumours in various tissues in rodents and non-human primates. Metabolic activation of IQ is a two-step process involving N-hydroxylation by CYP1A2 followed by esterification to a more reactive species capable of forming adducts with DNA, To date, acetylation and sulphation have been proposed as important pathways in the formation of N-hydroxy esters, In this study we have demonstrated the presence of an ATP-dependent activation pathway for N-hydroxy-IQ (N-OH-IQ) leading to DNA adduct formation measured by covalent binding of [H-3]N-OH-IQ to DNA, ATP-dependent DNA binding of N-OH-IQ was greatest in the cytosolic fraction of rat liver, although significant activity was also seen in colon, pancreas and lung. ATP was able to activate N-OH-IQ almost 10 times faster than N-hydroxy-2-amino-1-methyl-6-phenylimidazo[4,5-b]pyridine (7.7 +/- 0.3 and 0.9 +/- 0.1 pmol/mg protein/min, respectively). Using reported intracellular concentrations of cofactor, the ability of ATP to support DNA binding was similar to that seen with 3'-phosphoadenosine 5'-phosphosulphate and similar to 50% of that seen with acetyl coenzyme A (AcCoA), In addition to DNA binding, HPLC analysis of the reaction mixtures using ATP as co-factor showed the presence of two stable, polar metabolites, With AcCoA, only one metabolite was seen. The kinase inhibitors genistein, tyrphostin A25 and rottlerin significantly inhibited both DNA binding and metabolite formation with ATP. However, inhibition was unlikely to be due to effects on enzyme activity since the broad spectrum kinase inhibitor staurosporine had no effect and the inactive analogue of genistein, daidzein, was as potent as genistein, The effects of genistein and daidzein, which are naturally occurring isoflavones from soy and other food products, on DNA adduct formation may potentially be useful in the prevention of heterocyclic amine-induced carcinogenesis.

Effects of promoters on catalytic activity and carbon deposition of Ni/gamma-Al2O3 catalysts in CO2 reforming of CH4

Catalytic reforming of methane with carbon dioxide was studied in a fixed-bed reactor using unpromoted and promoted Ni/gamma-Al2O3 catalysts. The effects of promoters, such as alkali metal oxide (Na2O), alkaline-earth metal oxides (MgO, CaO) and rare-earth metal oxides (La2O3, CeO2), on the catalytic activity and stability in terms of coking resistance and coke reactivity were systematically examined. CaO-, La2O3- and CeO2-promoted Ni/gamma-Al2O3 catalysts exhibited higher stability whereas MgO- and Na2O-promoted catalysts demonstrated lower activity and significant deactivation. Metal-oxide promoters (Na2O, MgO, La2O3, and CeO2) suppressed the carbon deposition, primarily due to the enhanced basicities of the supports and highly reactive carbon species formed during the reaction. In contrast, CaO increased the carbon deposition; however, it promoted the carbon reactivity. (C) 2000 Society of Chemical Industry.

Changes in intra-abdominal pressure during postural and respiratory activation of the human diaphragm

In humans, when the stability of the trunk is challenged in a controlled manner by repetitive movement of a limb, activity of the diaphragm becomes tonic but is also modulated at the frequency of limb movement. In addition, the tonic activity is modulated by respiration. This study investigated the mechanical output of these components of diaphragm activity. Recordings were made of costal diaphragm, abdominal, and erector spinae muscle electromyographic activity; intra-abdominal, intrathoracic, and transdiaphragmatic pressures; and motion of the rib cage, abdomen, and arm. During limb movement the diaphragm and transversus abdominis were tonically active with added phasic modulation at the frequencies of both respiration and limb movement. Activity of the other trunk muscles was not modulated by respiration. Intra-abdominal pressure was increased during the period of limb movement in proportion to the reactive forces from the movement. These results show that coactivation of the diaphragm and abdominal muscles causes a sustained increase in intra-abdominal pressure, whereas inspiration and expiration are controlled by opposing activity of the diaphragm and abdominal muscles to vary the shape of the pressurized abdominal cavity.