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.

Liver transplantation and quality of life: relevance of a specific liver disease questionnaire

Aim: A positive effect of liver transplantation on health-related quality of life (HRQOL) has been well documented in previous studies using generic instruments. Our aim was to re-evaluate different aspects of HRQOL before and after liver transplantation with a relatively new questionnaire the `liver disease quality of life` (LDQOL). Methods: The LDQOL and the Short Form 36 (SF-36) questionnaires were applied to ambulatory patients, either in the transplant list (n=65) or after 6 months to 5 years of liver transplant (n=61). The aetiology of cirrhosis, comorbidities, model for end-stage liver disease (MELD) Child-Pugh scores and recurrence of liver disease after liver transplantation were analysed using the Mann-Whitney and Kruskall-Wallis tests. Results: In patients awaiting liver transplantation, MELD scores >= 15 and Child-Pugh class C showed statistically significant worse HRQOL, using both the SF-36 and the LDQOL questionnaires. HRQOL in pretransplant patients was found to be significantly worse in those with cirrhosis owing to hepatitis C (n=30) when compared with other aetiologies (n=35) in 2/7 domains of the SF-36 and in 7/12 domains of the LDQOL. Significant deterioration of HRQOL after recurrence of hepatitis C post-transplant was detected with the LDQOL questionnaire although not demonstrated with the SF-36. The statistically significant differences were in the LDQOL domains: symptoms of liver disease, concentration, memory and health distress. Conclusions: The LDQOL, a specific instrument for measuring HRQOL, has shown a greater accuracy in relation to liver symptoms and could demonstrate, with better reliability, impairments before and after liver transplantation.

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.

Paralepidapedon ostorhinchi (Korotaeva, 1974) n comb (Digenea: Lepocreadiidae) in Oplegnathus woodwardi (Waite) (Teleostei: Perciformes: Oplegnathidae) from off Rottnest Island, Western Australia

The digenean originally designated Lepidapedon (Lepidapedon) ostorhinchi is redescribed from its type-host, Oplegnathus woodwardi [= Ostorhinchus conwaii], from the waters off Western Australia. The discovery of a uroproct indicates that the generic designation is wrong and the worm should be Paralepidapedon ostorhinchi (Korotaeva, 1974) n. comb. It is distinct from its nearest relative, P. hoplognathi (Yamaguti, 1938), in having: a prominent post-oral ring; a distinct oesophagus; short anterior diverticula on the caeca; a long external seminal vesicle, ensheathed in a membrane bound gland-cell mass; and less anteriorly extensive vitellarium.

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.

Antiphase dynamics of a chaotic multimode laser

Antiphase dynamics of an optically pumped NH3 bidirectional ring laser under the chaotic, phase-sensitive mode coupling is experimentally observed. Our experimental result suggests strongly that the dynamics is a generic behavior of the laser.

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.

Forecasting regional crop production using SOI phases: an example for the Australian peanut industry

Using peanuts as an example, a generic methodology is presented to forward-estimate regional crop production and associated climatic risks based on phases of the Southern Oscillation Index (SOI). Yield fluctuations caused by a highly variable rainfall environment are of concern to peanut processing and marketing bodies. The industry could profitably use forecasts of likely production to adjust their operations strategically. Significant, physically based lag-relationships exist between an index of ocean/atmosphere El Nino/Southern Oscillation phenomenon and future rainfall in Australia and elsewhere. Combining knowledge of SOI phases in November and December with output from a dynamic simulation model allows the derivation of yield probability distributions based on historic rainfall data. This information is available shortly after planting a crop and at least 3-5 months prior to harvest. The study shows that in years when the November-December SOI phase is positive there is an 80% chance of exceeding average district yields. Conversely, in years when the November-December SOI phase is either negative or rapidly falling there is only a 5% chance of exceeding average district yields, but a 95% chance of below average yields. This information allows the industry to adjust strategically for the expected volume of production. The study shows that simulation models can enhance SOI signals contained in rainfall distributions by discriminating between useful and damaging rainfall events. The methodology can be applied to other industries and regions.