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.

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.

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.

Autopathogenic T helper cell type 1 (Th1) and protective Th2 clones differ in their recognition of the autoantigenic peptide of myelin proteolipid protein

We previously generated a panel of T helper cell 1 (Th1) clones specific for an encephalitogenic peptide of myelin proteolipid protein (PLP) peptide 139-151 (HSLGKWLGHPDKF) that induces experimental autoimmune encephalomyelitis (EAE) upon adoptive transfer. In spite of the differences in their T cell receptor (TCR) gene usage, all these Th1 clones required W144 as the primary and most critical TCR contact residue for the activation. In this study, we determined the TCR contact residues of a panel of Th2/Th0 clones specific for the PLP peptide 139-151 generated either by immunization with the PLP 139-151 peptide with anti-B7-1 antibody or by immunization with an altered peptide Q144. Using alanine-substituted peptide analogues of the native PLP peptide, we show that the Th2 clones have shifted their primary contact residue to the NH2-terminal end of the peptide. These Th2 cells do not show any dependence on the W144, but show a critical requirement for L141/G142 as their major TCR contact residue. Thus, in contrast with the Th1 clones that did not proliferate to A144-substituted peptide, the Th2 clones tolerated a substitution at position 144 and proliferated to A144 peptide. This alternative A144 reactive repertoire appears to have a critical role in the regulation of autoimmune response to PLP 139-151 because preimmunization with A144 to expand the L141/G142-reactive repertoire protects mice from developing EAE induced with the native PLP 139-151 peptide. These data suggest that a balance between two different T cell repertoires specific for same autoantigenic epitope can determine disease phenotype, i.e., resistance or susceptibility to an autoimmune disease.

Phylogenetic Analysis of Hepatitis B Virus Genotype F Complete Genome Sequences From Chilean Patients With Chronic Infection

Molecular epidemiological data concerning the hepatitis B virus (HBV) in Chile are not known completely. Since the HBV genotype F is the most prevalent in the country, the goal of this study was to obtain full HBV genome sequences from patients infected chronically in order to determine their subgenotypes and the occurrence of resistance-associated mutations. Twenty-one serum samples from antiviral drug-naive patients with chronic hepatitis B were subjected to full-length PCR amplification, and both strands of the whole genomes were fully sequenced. Phylogenetic analyses were performed along with reference sequences available from GenBank (n = 290). The sequences were aligned using Clustal X and edited in the SE-AL software. Bayesian phylogenetic analyses were conducted by Markov Chain Monte Carlo simulations (MCMC) for 10 million generations in order to obtain the substitution tree using BEAST. The sequences were also analyzed for the presence of primary drug resistance mutations using CodonCode Aligner Software. The phylogenetic analyses indicated that all sequences were found to be the HBV subgenotype F1b, clustered into four different groups, suggesting that diverse lineages of this subgenotype may be circulating within this population of Chilean patients. J. Med. Virol. 83: 1530-1536, 2011. (C) 2011 Wiley-Liss, Inc.

Molecular epidemiology and genetic diversity of hepatitis B virus genotype E in an isolated Afro-Colombian community

Hepatitis B virus (HBV) infection is a significant public health concern with 350 million chronic carriers worldwide. Eight HBV genotypes (A-H) have been described so far. Genotype E (HBV/E) is widely distributed in West Africa and has rarely been found in other continents, except for a few cases in individuals with an African background. In this study, we characterized HBV genotypes in Quibdo, Colombia, by partial S/P gene sequencing, and found, for the first time, HBV/E circulating in nine Afro-Colombian patients who had no recent contact with Africa. The presence of HBV/E in this community as a monophyletic group suggests that it was a result of a recent introduction by some Afro-descendent contact or, alternatively, that the virus came with slaves brought to Colombia. By using sequences with sampling dates, we estimated the substitution rate to be about 3.2x10(-4) substitutions per site per year, which resulted in a time to the most recent common ancestor (TMRCA) of 29 years. In parallel, we also estimated the TMRCA for HBV/E by using two previously estimated substitution rates (7.7x10(-4) and 1.5x10(-5) substitutions per site per year). The TMRCA was around 35 years under the higher rate and 1500 years under the slower rate. In sum, this work reports for the first time the presence of an exclusively African HBV genotype circulating in South America. We also discuss the time of the entry of this virus into America based on different substitution rates estimated for HBV.