The Qu-Prolog unification algorithm: Formalisation and correctness

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

High Frequency of Lamivudine Resistance Mutations in Brazilian Patients Co-Infected With HIV and Hepatitis B

This study analyzed the genotype distribution and frequency of lamivudine (LAM) and tenofovir (TDF) resistance mutations in a group of patients co-infected with HIV and hepatitis B virus (HBV). A cross-sectional study of 847 patients with HIV was conducted. Patients provided blood samples for HBsAg detection. The load of HBV was determined using an ""in-house"" real-time polymerase chain reaction. HBV genotypes/subgenotypes, antiviral resistance, basal core promoter (BCP), and precore mutations were detected by DNA sequencing. Twenty-eight patients with co-infection were identified. The distribution of HBV genotypes among these patients was A (n = 9; 50%), D (n = 4; 22.2%), G (n = 3; 16.7%), and F (n = 2; 11.1%). Eighteen patients were treated with LAM and six patients were treated with LAM plus TDF. The length of exposure to LAM and TDF varied from 4 to 216 months. LAM resistance substitutions (rtL180M + rtM204V) were detected in 10 (50%) of the 20 patients with viremia. This pattern and an accompanying rtV173L mutation was found in four patients. Three patients with the triple polymerase substitution pattern (rtV173L+ rtL180M + rtM204V) had associated changes in the envelope gene (sE164D + sl195M). Mutations in the BCP region (A1762T, G1764A) and in the precore region (G1896A, G1899A) were also found. No putative TDF resistance substitution was detected. The data suggest that prolonged LAM use is associated with the emergence of particular changes in the HBV genome, including substitutions that may elicit a vaccine escape phenotype. No putative TDF resistance change was detected after prolonged use of TDF. J. Med. Virol. 82:1481-1488, 2010. (C) 2010 Wiley-Liss, Inc.

Labour flexibility and gender in the service sector: A study of employment practices in law and accounting firms

In seeking to increase the flexibility of their use of employee time, employers can pursue strategies based on the employment of casual and part-time workers (numerical flexibility) or strategies based on ad hoc variation of the working hours of permanent employees (working time flexibility). Patterns of flexibility strategies and their implications are examined in the context of a highly feminised sector of work-clerical and administrative employment in law and accounting firms. We consider whether, as is often assumed, working time flexibility strategies are generally better for employees because they avoid the substitution of core, high quality jobs with the peripheral, relatively insecure employment often associated with casualisation. Analysing data drawn from a survey of law and accounting firms, we argue that there are three distinct flexibility strategies adopted by employers, and that the choice of strategy is influenced by the size of the firm and the extent of feminisation. The quality of employment conditions associated with each strategy is investigated through an analysis of the determinants of training provision for clerical and administrative workers. Rather than an expected simple linear relationship between increasing casualisation and decreasing training provision, we find that firm size and feminisation are implicated. Larger firms that tend to employ at least some men and use a combination of working time and numerical flexibility strategies tend to provide more training than the small, more fully feminised firms that tend to opt for either casualisation or working time flexibility strategies. This suggests that, from an employee perspective, working time flexibility may not be as benevolent as is often thought.

Sulfated galactans from Australian specimens of the red alga Phacelocarpus peperocarpos (Gigartinales, Rhodophyta)

Polysaccharides from the red alga Phacelocarpos peperocarpos were extracted with hot water, clarified, and precipitated with 2-propanol. The native preparation was highly sulfated (36.2% w/w). Alkali modification decreased the sulfate content by 2.0% w/w. The alkali-modified polysaccharide is composed mostly of galactose (Gal, 51 mol%) and 3,6-anhydrogalactose (AnGal, 41 mol%), with minor amounts of a mono-O-methylgalactose (MeGal, 1 mol%), xylose (Xyl, 6 mol%), and glucose (Glc, 1 mol%). The FTIR spectrum of the alkali-modified polysaccharide resembled K-carrageenan with absorption at 930 cm(-1) (indicative of AnGal) and 850 cm(-1) (Gal ii-sulfate). However, an additional, major band of absorption occurred at 820 cm(-1) indicating the presence of equatorial sulfate ester substitution at O-6 of Gal residues, A combination of linkage and C-13 NMR spectroscopic analyses showed that the polysaccharide was composed predominantly of a novel repeating-unit, O-beta-D-galactopyranosyl 4,6-disulfate)-(1 --> 4)-3,6-anhydro-alpha-D-galactopyranose. Minor structural variations also occurred, including alternative patterns of sulfation and the presence of terminal Xylp, The location of the terminal Xylp residues was not certain but evidence supported their attachment at O-3 of some 4-linked Galp residues. The cell-wall galactans remain unchanged during the life cycle of the alga. (C) 1996 Elsevier Science Ltd.

Identification of intracellular and extracellular domains mediating signal transduction in the inhibitory glycine receptor chloride channel

Fast synaptic neurotransmission is mediated by transmitter-activated conformational changes in ligand-gated ion channel receptors, culminating in opening of the integral ion channel pore. Human hereditary hyperekplexia, or startle disease, is caused by mutations in both the intracellular or extracellular loops flanking the pore-lining M2 domain of the glycine receptor alpha 1 subunit. These flanking domains are designated the M1-M2 loop and the M2-M3 loop respectively. We show that four startle disease mutations and six additional alanine substitution mutations distributed throughout both loops result in uncoupling of the ligand binding sites from the channel activation gate. We therefore conclude that the M1-M2 and M2-M3 loops act in parallel to activate the channel. Their locations strongly suggest that they act as hinges governing allosteric control of the M2 domain. As the members of the ligand-gated ion channel superfamily share a common structure, this signal transduction model may apply to all members of this superfamily.

Pirellulosomes: A new type of membrane-bounded cell compartment in planctomycete bacteria of the genus Pirellula

A distinct type of cellular organization was found in two species of the planctomycete genus Pirellula, Pirellula marina and Pirellula staleyi. Both species possess two distinct regions within the cell which are separated by a single membrane. The major region of the cell, the pirellulosome, contains the fibrillar condensed nucleoid. The other area, the polar cap region, forms a continuous layer surrounding the entire pirellulosome and displays a cap of asymmetrically distributed material at one cell pole. Immuno- and cytochemical-labelling of P. marina demonstrated that DNA is located exclusively within the pirellulosome; cell RNA is concentrated in the pirellulosome, with some RNA also located in the polar cap region.

A peptide-binding motif for I-A(g7), the class II major histocompatibility complex (MHC) molecule of NOD and Biozzi AB/H mice

The class II major histocompatibility complex molecule I-A(g7) is strongly linked to the development of spontaneous insulin-dependent diabetes mellitus (IDDM) in non obese diabetic mice and to the induction of experimental allergic encephalomyelitis in Biozzi AB/H mice. Structurally, it resembles the HLA-DQ molecules associated with human IDDM, in having a non-Asp residue at position 57 in its beta chain. To identify the requirements for peptide binding to I-A(g7) and thereby potentially pathogenic T cell epitopes, we analyzed a known I-A(g7)-restricted T cell epitope, hen egg white lysozyme (HEL) amino acids 9-27. NH2- and COOH-terminal truncations demonstrated that the minimal epitope for activation of the T cell hybridoma 2D12.1 was M12-R21 and the minimum sequence for direct binding to purified I-A(g7) M12-Y20/K13-R21. Alanine (A) scanning revealed two primary anchors for binding at relative positions (p) 6 (L) and 9 (Y) in the HEL epitope. The critical role of both anchors was demonstrated by incorporating L and Y in poly(A) backbones at the same relative positions as in the HEL epitope. Well-tolerated, weakly tolerated, and nontolerated residues were identified by analyzing the binding of peptides containing multiple substitutions at individual positions. Optimally, p6 was a large, hydrophobic residue (L, I, V, M), whereas p9 was aromatic and hydrophobic (Y or F) or positively charged (K, R). Specific residues were not tolerated at these and some other positions. A motif for binding to I-A(g7) deduced from analysis of the model HEL epitope was present in 27/30 (90%) of peptides reported to be I-A(g7)-restricted T cell epitopes or eluted from I-A(g7). Scanning a set of overlapping peptides encompassing human proinsulin revealed the motif in 6/6 good binders (sensitivity = 100%) and 4/13 weak or non-binders (specificity = 70%). This motif should facilitate identification of autoantigenic epitopes relevant to the pathogenesis and immunotherapy of IDDM.

True measures of GDP and convergence

Widely used ''purchasing power parity'' comparisons of per capita GDP are not true quantity indexes and are subject to systematic substitution bins. This bias may distort measurement of convergence and divergence. Extending Varian's nonparametric construction of a true index gives the set of true indexes, including the new Ideal Afriat Index. These indexes are utility-consistent and independent of arbitrary reference price vectors. We establish bounds on the dispersion of true multilateral indexes, hence bounds on convergence. International price indexes understate both true GDP dispersion and, where prices are converging over time, the rate of true quantity convergence.

A GPR54-activating mutation in a patient with central precocious puberty

Gonadotropin-dependent, or central, precocious puberty is caused by early maturation of the hypothalamic-pituitary-gonadal axis. In girls, this condition is most often idiopathic. Recently, a G protein-coupled receptor, GPR54, and its ligand, kisspeptin, were described as an excitatory neuroregulator system for the secretion of gonadotropin-releasing hormone (GnRH). In this study, we have identified an autosomal dominant GPR54 mutation - the substitution of proline for arginine at codon 386 (Arg386Pro) - in an adopted girl with idiopathic central precocious puberty (whose biologic family was not available for genetic studies). In vitro studies have shown that this mutation leads to prolonged activation of intracellular signaling pathways in response to kisspeptin. The Arg386Pro mutant appears to be associated with central precocious puberty.

Characterisation of five missense mutations in the cystathionine beta-synthase gene from three patients with B-6-nonresponsive homocystinuria

Homocystinuria, due to a deficiency of the enzyme cystathionine beta-synthase (CBS), is an inborn error of sulphur-amino acid metabolism, This is an autosomal recessive disease which results in hyperhomocysteinaemia and a wide range of clinical features, including optic lens dislocation, mental retardation, skeletal abnormalities and premature thrombotic events, We report the identification of 5 missense mutations in the protein-coding region of the CBS gene from 3 patients with pyridoxine-nonresponsive homocystinuria. Reverse-transcription PCR was used to amplify CBS cDNA from each patient and the coding region was analysed by direct sequencing, The mutations detected included 3 novel (1058C --> T, 992C --> A and 1316G --> A) and 2 previously identified (430G --> A and 833C --> T) base alterations in the CBS cDNA, Each of these mutations predicts a single amino acid substitution in the CBS polypeptide, Appropriate cassettes of patient CBS cDNA, containing each of the above defined mutations, were used to replace the corresponding cassettes of normal CBS cDNA sequence within the bacterial expression vector pT7-7. These recombinant mutant and normal CBS constructs were expressed in Escherichia coli cells and the catalytic activities of the mutant proteins were compared with normal. All of the mutant proteins exhibited decreased catalytic activity in vitro, which confirmed the association between the individual mutation and CBS dysfunction in each patient.

Mild head injury and speed of information processing: A prospective study of professional rugby league players

The sensitivity of several short tests of speed of information processing to the effects of mild head injury in rugby league football was investigated. The measures used were the Symbol Digit Modalities Test, the Digit Symbol Substitution Test, and the Speed of Comprehension Test. Two studies were conducted, the first to examine the effect of practice, the second to determine sensitivity to cognitive impairment immediately following injury. The first study established alternate form equivalence and demonstrated that performance on the Speed of Comprehension and Digit Symbol Substitution tests improved with practice, whereas the Symbol Digit Modalities test remained stable. A second study of 10 players who subsequently sustained mild head injuries showed that measures of speed of information processing were sensitive to impairment in the postacute phase, whereas an untimed task of word recognition (Spot-the-Word) was not. Speed of Comprehension was more sensitive to postinjury impairment than either the Digit Symbol Substitution or Symbol Digit Modalities tests. A repeated baseline assessment before injury using the higher score to reflect a player's potential, allowed measurement of impaired performance on sensitive tests.

The role of xenobiotic metabolizing enzymes in arylamine toxicity and carcinogenesis: Functional and localization studies

In both animal models and humans, the first and obligatory step in the activation of arylamines is N-hydroxylation. This pathway is primarily mediated by the phase-I enzymes CYP1A1, CYP1A2 and CYP4B1. In the presence of flavonoids such as alpha-naphthoflavone and flavone, both CYP3A4 and CYP3A5 have also been shown to play a minor role in the activation of food-derived heterocyclic amines. The further activation of N-hydroxyarylamines by phase-II metabolism can involve both N,O-acetylation and N,O-sulfonation catalyzed by N-acetyltransferases (NAT1 and NAT2) and sulfotransferases, respectively. Using an array of techniques, we have been unable to detect constitutive CYP1A expression in any segments of the human gastrointestinal tract. This is in contrast to the rabbit where CYP1A1 protein was readily detectable on immunoblots in microsomes prepared from the small intestine. In humans, CYP3A3/3A4 expression was detectable in the esophagus and all segments of the small intestine. Northern blot analysis of eleven human colons showed considerable heterogeneity in CYP3A mRNA between individuals, with the presence of two mRNA species in same subjects. Employing the technique of hybridization histochemistry (also known as in situ hybridization), CYP4B1 expression was observed in some human colons but not in the liver or the small intestine. Hybridization histochemistry studies have also demonstrated variable NAT1 and NAT2 expression in the human gastrointestinal tract. NAT1 and NAT2 mRNA expression was detected in the human liver, small intestine, colon, esophagus, bladder, ureter, stomach and lung. Using a general aryl sulfotransferase riboprobe (HAST1), we have demonstrated marked sulfotransferase expression in the human colon, small intestine, lung, stomach and liver. These studies demonstrate that considerable variability exists in the expression of enzymes involved in the activation of aromatic amines in human tissues. The significance of these results in relation to a role for heterocyclic amines in colon cancer is discussed.

Molecular motion in miscible polymer blends .1. Motion in blends of PEO and PVPh studied by solid-state C-13 T-1 rho measurements

Changes in molecular motion in blends of PEO-PVPh have been studied using measurements of C-13 T-1 rho relaxation times. C-13 T-1 rho relaxation has been confirmed as arising from spin-lattice interactions by observation of the variation in T-1 rho with rf field strength and temperature. In the pure homopolymers a minimum in T-1 rho is observed at ca. 50 K above the glass transition temperatures detected by DSC. After blending, the temperature of the minimum in T-1 rho for PEO increased, while that for PVPh decreased, however, the minima, which correspond to the temperatures where the average correlation times for reorientation are close to 3.1 mu s, are separated by 45 K (in a 45% PEO-PVPh blend). These phenomena are explained in terms of the local nature of T-1 rho measurements. The motions of the individual homopolymer chains are only partially coupled in the blend. A short T-1 rho has been observed for protonated aromatic carbons, and assigned to phenyl rings undergoing large-angle oscillatory motion, The effects of blending, and temperature, on the proportion of rings undergoing oscillatory motion are analyzed.

Expression of activated mutants of the human interleukin-3/interleukin-5 granulocyte-macrophage colony-stimulating factor receptor common beta subunit in primary hematopoietic cells induces factor-independent proliferation and differentiation

To date, several activating mutations have been discovered in the common signal-transducing subunit (h beta c) of the receptors for human granulocyte-macrophage colony-stimulating factor, interleukin-3, and interleukin-5. Two of these, Fl Delta and 1374N, result in a 37 amino acid duplication and a single amino acid substitution in the extracellular domain of h beta c, respectively. A third, V449E, results in a single amino acid substitution in the transmembrane domain, Previous studies comparing the activity of these mutants in different hematopoietic cell lines imply that the transmembrane and extracellular mutations act by different mechanisms and suggest the requirement for cell type-specific molecules in signalling. To characterize the ability of these mutant hpc subunits to mediate growth and differentiation of primary cells and hence investigate their oncogenic potential, we have expressed all three mutants in primary murine hematopoietic cells using retroviral transduction. It is shown that, whereas expression of either extracellular hpc mutant confers factor-independent proliferation and differentiation on cells of the neutrophil and monocyte lineages only, expression of the transmembrane mutant does so on these lineages as well as the eosinophil, basophil, megakaryocyte, and erythroid lineages, Factor-independent myeloid precursors expressing the transmembrane mutant display extended proliferation in liquid culture and in some cases yielded immortalized cell lines. (C) 1997 by The American Society of Hematology.

PTCH1 gene mutations in exon 17 and loss of heterozygosity on D9S180 microsatellite in sporadic and inherited human basal cell carcinomas

Background Basal cell carcinomas (BCCs) are the most frequent human cancer that results from malignant transformation of basal cells in the epidermis. Gorlin syndrome is a rare inherited autosomal dominant disease that predisposes with multiple BCCs and other birth defects. Both sporadic and inherited BCCs are associated with mutations in the tumor suppressor gene PTCH1, but there is still uncertainty on the role of its homolog PTCH2. Objectives To search for mutations and genomic instability in sporadic and inherited BCCs. Methods DNA obtained from leukocytes and tumor cells was amplified by polymerase chain reaction regarding five exons of PTCH1 and PTCH2 and neighboring microsatellites. Exons were sequenced and compared with the GenBank database. Results Only D9S180, of six microsatellites, showed loss of heterozygosity in three BCCs (two sporadic and one inherited). One sporadic BCC presented the mutation g. 2885G>C in exon 17 of PTCH1, which predicts the substitution p.R962T in an external domain of the protein. In addition, the leukocytes and tumor cells of one patient with Gorlin syndrome showed the mutation g. 2839T>G in the same exon and gene, which predicts a p.E947stop and truncated protein. All control and tumor samples presented IVS9 + 217T in intron 9 of PTCH1. Conclusion Mutations found in the PTCH1 gene and neighboring repetitive sequences may have contributed to the development of the studied BCCs.