A computational algorithm for the verification of tautologies in propositional calculus

A computational algorithm (based on Smullyan's analytic tableau method) that varifies whether a given well-formed formula in propositional calculus is a tautology or not has been implemented on a DEC system 10. The stepwise refinement approch of program development used for this implementation forms the subject matter of this paper. The top-down design has resulted in a modular and reliable program package. This computational algoritlhm compares favourably with the algorithm based on the well-known resolution principle used in theorem provers.

Molecular Mechanisms of Androgen Receptor Interactions

The androgen receptor (AR) mediates the effects of the male sex-steroid hormones (androgens), testosterone and 5?-dihydrotestosterone. Androgens are critical in the development and maintenance of male sexual characteristics. AR is a member of the steroid receptor ligand-inducible transcription factor family. The steroid receptor family is a subgroup of the nuclear receptor superfamily that also includes receptors for the active forms of vitamin A, vitamin D3, and thyroid hormones. Like all nuclear receptors, AR has a conserved modular structure consisting of a non-conserved amino-terminal domain (NTD), containing the intrinsic activation function 1, a highly conserved DNA-binding domain, and a conserved ligand-binding domain (LBD) that harbors the activation function 2. Each of these domains plays an important role in receptor function and signaling, either via intra- and inter-receptor interactions, interactions with specific DNA sequences, termed hormone response elements, or via functional interactions with domain-specific proteins, termed coregulators (coactivators and corepressors). Upon binding androgens, AR acquires a new conformational state, translocates to the nucleus, binds to androgen response elements, homodimerizes and recruits sequence-specific coregulatory factors and the basal transcription machinery. This set of events is required to activate gene transcription (expression). Gene transcription is a strictly modulated process that governs cell growth, cell homeostasis, cell function and cell death. Disruptions of AR transcriptional activity caused by receptor mutations and/or altered coregulator interactions are linked to a wide spectrum of androgen insensitivity syndromes, and to the pathogenesis of prostate cancer (CaP). The treatment of CaP usually involves androgen depletion therapy (ADT). ADT achieves significant clinical responses during the early stages of the disease. However, under the selective pressure of androgen withdrawal, androgen-dependent CaP can progress to an androgen-independent CaP. Androgen-independent CaP is invariably a more aggressive and untreatable form of the disease. Advancing our understanding of the molecular mechanisms behind the switch in androgen-dependency would improve our success of treating CaP and other AR related illnesses. This study evaluates how clinically identified AR mutations affect the receptor s transcriptional activity. We reveal that a potential molecular abnormality in androgen insensitivity syndrome and CaP patients is caused by disruptions of the important intra-receptor NTD/LBD interaction. We demonstrate that the same AR LBD mutations can also disrupt the recruitment of the p160 coactivator protein GRIP1. Our investigations reveal that 30% of patients with advanced, untreated local CaP have somatic mutations that may lead to increases in AR activity. We report that somatic mutations that activate AR may lead to early relapse in ADT. Our results demonstrate that the types of ADT a CaP patient receives may cause a clustering of mutations to a particular region of the receptor. Furthermore, the mutations that arise before and during ADT do not always result in a receptor that is more active, indicating that coregulator interactions play a pivotal role in the progression of androgen-independent CaP. To improve CaP therapy, it is necessary to identify critical coregulators of AR. We screened a HeLa cell cDNA library and identified small carboxyl-terminal domain phosphatase 2 (SCP2). SCP2 is a protein phosphatase that directly interacts with the AR NTD and represses AR activity. We demonstrated that reducing the endogenous cellular levels of SCP2 causes more AR to load on to the prostate specific antigen (PSA) gene promoter and enhancer regions. Additionally, under the same conditions, more RNA polymerase II was recruited to the PSA promoter region and overall there was an increase in androgen-dependent transcription of the PSA gene, revealing that SCP2 could play a role in the pathogenesis of CaP.

Differentiation of Solenopsis invicta social forms using high resolution melt PCR.

Solenopsis invicta Buren (red imported fire ant) are invasive pests that have the capability of major destructive impacts on lifestyle, ecology and economy. Control of this species is dependent, in part, upon ability to estimate the potential spread from newly discovered nests. The potential for spread and the spread characteristics differ between monogyne and polygyne social forms. Prior to this study, differentiation of the two social forms in laboratory test samples commonly used a method involving restriction endonuclease digestion of an amplified Gp-9 fragment. Success of this assay is limited by the quality of DNA, which in the field-collected insects may be affected by temporary storage in unfavourable conditions. Here, we describe an alternative and highly objective assay based upon a high resolution melt technique following preamplification of a significantly shorter Gp-9 fragment than that required for restriction endonuclease digestion. We demonstrate the application of this assay to a S. invicta incursion in Queensland, Australia, using field samples from which DNA may be partially degraded. The reductions in hands-on requirements and overall duration of the assay underpin its suitability for high-throughput testing.

Out-of-plane deformation and failure of masonry walls with various forms of reinforcement

Out-of-plane behaviour of mortared and mortarless masonry walls with various forms of reinforcement, including unreinforced masonry as a base case is examined using a layered shell element based explicit finite element modelling method. Wall systems containing internal reinforcement, external surface reinforcement and intermittently laced reinforced concrete members and unreinforced masonry panels are considered. Masonry is modelled as a layer with macroscopic orthotropic properties; external reinforcing render, grout and reinforcing bars are modelled as distinct layers of the shell element. Predictions from the layered shell model have been validated using several out-of-plane experimental datasets reported in the literature. The model is used to examine the effectiveness of two retrofitting schemes for an unreinforced masonry wall.

Impact of low temperature storage on active and storage forms of folate in choy sum (Brassica rapa subsp parachinensis)

Choy sum (Brassica rapa subsp. parachinensis) is a dark green leafy vegetable that contains high folate (vitamin B9) levels comparable to spinach. Folate is essential for the maintenance of human health and is obtained solely through dietary means. Analysis of the edible portion of choy sum by both microbiological assay and LC-MS/MS indicated that total folate activity remained significantly unchanged over 3 weeks storage at 4 degrees C. Inedible fractions consisted primarily of outer leaves, which showed signs of rotting after 14d, and a combination of rotting and yellowing after 21 d, contributing to 20% and 40% of product removal, respectively. Following deconjugation of the folate present in choy sum to monoglutamate and diglutamate derivatives, the principal forms (vitamers) of folate detected in choy sum were 5-methyltetrahydrofolate and 5-formyl tetrahydrofolate, followed by tetrahydrofolate (THF), 5,10-methenyl-THF, and 10-formyl folic acid. During storage, a significant decline in 5-formyl-THF was observed, with a slight but not significant increase in the combined 5-methyl-THF derivatives. The decline in 5-formyl-THF in relation to the other folate vitamers present may indicate that 5-formyl-THF is being utilised as a folate storage reserve, being interconverted to more metabolically active forms of folate, such as 5-methyl-THF. Although folate vitamer profile changed over the storage period, total folate activity did not significantly change. From a human nutritional perspective this is important, as while particular folate vitamers (e.g. 5-methyl-THF) are necessary for maintaining vital aspects of plant metabolism, it is less important to the human diet, as humans can absorb and interconvert multiple forms of folate. The current trial indicates that it is possible to store choy sum for up to 3 weeks at 4 degrees C without significantly affecting total folate concentration of the edible portion. Crown Copyright (C) 2012 Published by Elsevier B.V. All rights reserved.

Tautomeric forms of hydroxycyclotriphosphazatrienes; X-ray crystal structure of N3P3Ph2(OMe)3OH

The prefered tautomer(s) of hydroxycyclotriphosphazatrienes and prototropic exchange in solution have been established by 31P n.m.r. spectroscopy, thus confirming predictions deduced from basicity calculations; the X-ray structure of N3P3Ph2(OMe)3OH shows that it exists as the hydrogen-bonded dimer of the oxophosphazadiene tautomer in which a proton is adjacent to the PPh2 group.

Dynamic Digital Simulation of HVDC Systems Using a Novel Modular Converter Model

This paper describes a method for the dynamic digital simulation of HVDC transmission systems. The method employs a novel modular converter representation during both normal and abnormal conditions.

Validation of a new spot form of net blotch differential set and evidence for hybridisation between the spot and net forms of net blotch in Australia

A recently developed spot form of blotch differential set of 16 barley lines was tested for reaction response to 60 Pyrenophora teres f. maculata isolates from geographically disperse barley crops of Australia. Twelve barley lines (Arimont, Barque, Chebec, CI5286, CI5791, CI9214, CII6150, Dairokkaku, Esperance Orge 289, Galleon, Keel, Skiff, Torrens and TR250) provided differential response between the isolates. The susceptible controls Gairdner and Kombar provided indication of isolate virulence or avirulence. Abundant pathogenic diversity was revealed with 33 designated pathotypes, some of which related to geographic region. AFLP analysis also revealed abundant diversity with each of the isolates representing a unique genotype and one isolate that contained both AFLP bands unique to P. teres f. maculata and P. teres f. teres, the cause of spot form and net form of net blotch respectively, suggesting that sexual recombination between the net form and spot form isolates may have occurred naturally in the field.

Assessment of functional forms of crop yield loss models of invasive plant species applied in decision support tools and bioeconomic modelling

AbstractObjectives Decision support tools (DSTs) for invasive species management have had limited success in producing convincing results and meeting users' expectations. The problems could be linked to the functional form of model which represents the dynamic relationship between the invasive species and crop yield loss in the DSTs. The objectives of this study were: a) to compile and review the models tested on field experiments and applied to DSTs; and b) to do an empirical evaluation of some popular models and alternatives. Design and methods This study surveyed the literature and documented strengths and weaknesses of the functional forms of yield loss models. Some widely used models (linear, relative yield and hyperbolic models) and two potentially useful models (the double-scaled and density-scaled models) were evaluated for a wide range of weed densities, maximum potential yield loss and maximum yield loss per weed. Results Popular functional forms include hyperbolic, sigmoid, linear, quadratic and inverse models. Many basic models were modified to account for the effect of important factors (weather, tillage and growth stage of crop at weed emergence) influencing weed–crop interaction and to improve prediction accuracy. This limited their applicability for use in DSTs as they became less generalized in nature and often were applicable to a much narrower range of conditions than would be encountered in the use of DSTs. These factors' effects could be better accounted by using other techniques. Among the model empirically assessed, the linear model is a very simple model which appears to work well at sparse weed densities, but it produces unrealistic behaviour at high densities. The relative-yield model exhibits expected behaviour at high densities and high levels of maximum yield loss per weed but probably underestimates yield loss at low to intermediate densities. The hyperbolic model demonstrated reasonable behaviour at lower weed densities, but produced biologically unreasonable behaviour at low rates of loss per weed and high yield loss at the maximum weed density. The density-scaled model is not sensitive to the yield loss at maximum weed density in terms of the number of weeds that will produce a certain proportion of that maximum yield loss. The double-scaled model appeared to produce more robust estimates of the impact of weeds under a wide range of conditions. Conclusions Previously tested functional forms exhibit problems for use in DSTs for crop yield loss modelling. Of the models evaluated, the double-scaled model exhibits desirable qualitative behaviour under most circumstances.

Germination Biology and Occurrence of Polyembryony in Two Forms of Cats Claw Creeper Vine, Dolichandra unguis-cati (Bignoniaceae): Implications for Its Invasiveness and Management

Cat’s claw creeper vine, Dolichandra unguis-cati (L.) Lohmann (syn. Macfadyena unguis-cati (L.) Gentry), is a major environmental weed in Australia. Two forms of the weed with distinctive leaf morphology and reproductive traits, including varying fruit size, occur in Queensland, Australia. The long pod form occurs in a few localities in Queensland, while the short pod form is widely distributed in Queensland and northern part of New South Wales. This investigation aimed to evaluate germination behavior and occurrence of polyembryony (production of multiple seedlings from a single seed) in the two forms of the weed. Seeds were germinated in growth chambers set to 10/20°C, 15/25°C, 20/30°C, 30/45°C and 25°C, representing ambient temperature conditions of the region. Germination and polyembryony were monitored over a period of 12 weeks. For all the treatments in this study, seeds from short pod plants exhibited significantly higher germination rates and higher occurrence of polyembryony than those from long pod plants. Seeds from long pod plants did not germinate at the lowest temperature of 10/20°C; in contrast, those of the short pod form germinated under this condition, albeit at a lower rate (reaching a maximum 45% germination at week 12). Results from this study could explain why the short pod form of D. unguis-cati is the more widely distributed plants in Australia, while the long pod is confined to a few localities. The results have implication in predicting future range of both forms of the invasive D. unguis-cati, as well as inform management decisions for control of the weed.

Reed-Muller Canonical Forms in Multivalued Logic

Canonical forms for m-valued functions referred to as m-Reed-Muller canonical (m-RMC) forms that are a generalization of RMC forms of two-valued functions are proposed. m-RMC forms are based on the operations ?m (addition mod m) and .m (multiplication mod m) and do not, as in the cases of the generalizations proposed in the literature, require an m-valued function for m not a power of a prime, to be expressed by a canonical form for M-valued functions, where M > m is a power of a prime. Methods of obtaining the m-RMC forms from the truth vector or the sum of products representation of an m-valued function are discussed. Using a generalization of the Boolean difference to m-valued logic, series expansions for m-valued functions are derived.

Two forms of methionyl-transfer RNA synthetase from Mycobacterium Smegmatis

Two methionyl-transfer RNA synthetases (A and B forms) have been isolated from Image . The homogeneous preparations of the enzymes showed 1500 fold increase in specific activity in aminoacylation of methionine specific tRNA. The A and B forms differed in their specificity of aminoacylation of tRNAmMet and tRNAfMet; enzyme B exhibited much higher specificity for tRNAfMet. The molecular activities of A and B enzymes for aminoacid and tRNA were identical. The turnover number for aminoacid was 27 fold greater than that for tRNA, while the Km values for tRNA were lower by a factor of 106 as compared to the aminoacid. Both the enzymes catalysed ATP-pyrophosphate exchange reaction to the same extent.