The Potential and Challenges of CAD with Equational Constraints for SC-Square

Cylindrical algebraic decomposition (CAD) is a core algorithm within Symbolic Computation, particularly for quantifier elimination over the reals and polynomial systems solving more generally. It is now finding increased application as a decision procedure for Satisfiability Modulo Theories (SMT) solvers when working with non-linear real arithmetic. We discuss the potentials from increased focus on the logical structure of the input brought by the SMT applications and SC-Square project, particularly the presence of equational constraints. We also highlight the challenges for exploiting these: primitivity restrictions, well-orientedness questions, and the prospect of incrementality.Comment: Accepted into proceedings of MACIS 201

Fate and transport of volatile organic compounds in glacial till and groundwater at an industrial site in Northern Ireland

Volatile organic compound (VOC) contamination of subsurface geological material and groundwater was discovered on the Nortel Monkstown industrial site, Belfast, Northern Ireland. The objectives of this study were to (1) investigate the characteristics of the geological material and its influences on contaminated groundwater flow across the site using borehole logs and hydrological evaluations, and (2) identify the contaminants and examine their distribution in the subsurface geological material and groundwater using chemical analysis. This report focuses on the eastern car park (ECP) which was a former storage area associated with trichloroethene (TCE) degreasing operations. This is where the greatest amount of volatile organic compounds (VOCs), particularly TCE, were detected. The study site is on a complex deposit of clayey glacial till with discontinuous coarser grained lenses, mainly silts, sands and gravel, which occur at 0.45-7.82 m below ground level (bgl). The lenses overall form an elongated formation that acts as a small unconfined shallow aquifer. There is a continuous low permeable stiff clayey till layer beneath the lenses that performs as an aquitard to the groundwater. Highest concentrations of VOCs, mainly TCE, in the geological material and groundwater are in these coarser lenses at similar to 4.5-7 m bgl. Highest TCE measurements at 390,000 mu g L-1 for groundwater and at 39,000 mu g kg(-1) at 5.7 m for geological material were in borehole GA19 in the coarse lens zone. It is assumed that TCE gained entrance to the subsurface near this borehole where the clayey till was thin to absent above coarse lenses which provided little retardation to the vertical migration of this dense non-aqueous phase liquid (DNAPL) into the groundwater. However, TCE is present in low concentrations in the geological material overlying the coarse lens zone. Additionally, VOCs appear to be associated with poorly drained layers and in peat < 3.0 m bgl in the ECP. Some indication of natural attenuation as VOCs degradation products vinyl chloride (VC) and dichloromethane (DCM) also occur on the site

An ATP and Oxalate Generating Variant Tricarboxylic Acid Cycle Counters Aluminum Toxicity in Pseudomonas fluorescens

Although the tricarboxylic acid (TCA) cycle is essential in almost all aerobic organisms, its precise modulation and integration in global cellular metabolism is not fully understood. Here, we report on an alternative TCA cycle uniquely aimed at generating ATP and oxalate, two metabolites critical for the survival of Pseudomonas fluorescens. The upregulation of isocitrate lyase (ICL) and acylating glyoxylate dehydrogenase (AGODH) led to the enhanced synthesis of oxalate, a dicarboxylic acid involved in the immobilization of aluminum (Al). The increased activity of succinyl-CoA synthetase (SCS) and oxalate CoA-transferase (OCT) in the Al-stressed cells afforded an effective route to ATP synthesis from oxalyl-CoA via substrate level phosphorylation. This modified TCA cycle with diminished efficacy in NADH production and decreased CO2-evolving capacity, orchestrates the synthesis of oxalate, NADPH, and ATP, ingredients pivotal to the survival of P. fluorescens in an Al environment. The channeling of succinyl-CoA towards ATP formation may be an important function of the TCA cycle during anaerobiosis, Fe starvation and O2-limited conditions

Biochemical properties of Paracoccus denitrificans FnrP:Reactions with molecular oxygen and nitric oxide

In Paracoccus denitrificans, three CRP/FNR family regulatory proteins, NarR, NnrR and FnrP, control the switch between aerobic and anaerobic (denitrification) respiration. FnrP is a [4Fe-4S] cluster containing homologue of the archetypal O2 sensor FNR from E. coli and accordingly regulates genes encoding aerobic and anaerobic respiratory enzymes in response to O2, and also NO, availability. Here we show that FnrP undergoes O2-driven [4Fe-4S] to [2Fe-2S] cluster conversion that involves up to 2 O2 per cluster, with significant oxidation of released cluster sulfide to sulfane observed at higher O2 concentrations. The rate of the cluster reaction was found to be ~6-fold lower than that of E. coli FNR, suggesting that FnrP can remain transcriptionally active under microaerobic conditions. This is consistent with a role for FnrP in activating expression of the high O2 affinity cytochrome c oxidase under microaerobic conditions. Cluster conversion resulted in dissociation of the transcriptionally active FnrP dimer into monomers. Therefore, along with E. coli FNR, FnrP belongs to the subset of FNR proteins in which cluster type is correlated with association state. Interestingly, two key charged residues, Arg140 and Asp154, that have been shown to play key roles in the monomer-dimer equilibrium in E. coli FNR are not conserved in FnrP, indicating that different protomer interactions are important for this equilibrium. Finally, the FnrP [4Fe-4S] cluster is shown to undergo reaction with multiple NO molecules, resulting in iron nitrosyl species and dissociation into monomers

P-rex1 cooperates with PDGFRβ to drive cellular migration in 3D microenvironments

Expression of the Rac-guanine nucleotide exchange factor (RacGEF), P-Rex1 is a key determinant of progression to metastasis in a number of human cancers. In accordance with this proposed role in cancer cell invasion and metastasis, we find that ectopic expression of P-Rex1 in an immortalised human fibroblast cell line is sufficient to drive multiple migratory and invasive phenotypes. The invasive phenotype is greatly enhanced by the presence of a gradient of serum or platelet-derived growth factor, and is dependent upon the expression of functional PDGF receptor β. Consistently, the invasiveness of WM852 melanoma cells, which endogenously express P-Rex1 and PDGFRβ, is opposed by siRNA of either of these proteins. Furthermore, the current model of P-Rex1 activation is advanced through demonstration of P-Rex1 and PDGFRβ as components of the same macromolecular complex. These data suggest that P-Rex1 has an influence on physiological migratory processes, such as invasion of cancer cells, both through effects upon classical Rac1-driven motility and a novel association with RTK signalling complexes

A Modified Coupled Enzyme Method for O-linked GlcNAc Transferase Activity Assay

In order to determine the activity of O-linked GlcNAc transferase (OGT), a modified coupled enzyme method was proposed. This method was based on the measurement of uridine 5'-(trihydrogen diphosphate) (UDP), a product generated in transglycosylation reaction. In the assay, UDP was coupled to the conversion of phosphoenolpyruvate to pyruvate using pyruvate kinase. Using a commercial pyruvate assay kit, the pyruvate was converted to a red terminal product, which could be photometrically measured at 570 nm or fluorometrically measured at 587 nm (Em = 535 nm) on a microplate reader. Kinetic study of a truncated recombinant mOGT and quantitative analysis of OGT in two biological samples indicated that this method was practical and competitive for quantitative analysis of OGT

An Investigation into the Poor Survival of an Endangered Coho Salmon Population

To investigate reasons for the decline of an endangered population of coho salmon (O. kisutch), 190 smolts were acoustically tagged during three consecutive years and their movements and survival were estimated using the Pacific Ocean Shelf Tracking project (POST) array. Median travel times of the Thompson River coho salmon smolts to the lower Fraser River sub-array were 16, 12 and 10 days during 2004, 2005 and 2006, respectively. Few smolts were recorded on marine arrays. Freshwater survival rates of the tagged smolts during their downstream migration were 0.0–5.6% (0.0–9.0% s.e.) in 2004, 7.0% (6.2% s.e.) in 2005, and 50.9% (18.6% s.e.) in 2006. Overall smolt-to-adult return rates exhibited a similar pattern, which suggests that low freshwater survival rates of out-migrating smolts may be a primary reason for the poor conservation status of this endangered coho salmon population

Insights into the regulation of DMSP synthesis in the diatom Thalassiosira pseudonana through APR activity, proteomics and gene expression analyses on cells acclimating to changes in salinity, light and nitrogen

Despite the importance of dimethylsulphoniopropionate (DMSP) in the global sulphur cycle and climate regulation, the biological pathways underpinning its synthesis in marine phytoplankton remain poorly understood. The intracellular concentration of DMSP increases with increased salinity, increased light intensity and nitrogen starvation in the diatom Thalassiosira pseudonana. We used these conditions to investigate DMSP synthesis at the cellular level via analysis of enzyme activity, gene expression and proteome comparison. The activity of the key sulphur assimilatory enzyme, adenosine 5′- phosphosulphate reductase was not coordinated with increasing intracellular DMSP concentration. Under all three treatments coordination in the expression of sulphur assimilation genes was limited to increases in sulphite reductase transcripts. Similarly, proteomic 2D gel analysis only revealed an increase in phosphoenolpyruvate carboxylase following increases in DMSP concentration. Our findings suggest that increased sulphur assimilation might not be required for increased DMSP synthesis, instead the availability of carbon and nitrogen substrates may be important in the regulation of this pathway. This contrasts with the regulation of sulphur metabolism in higher plants, which generally involves upregulation of several sulphur assimilatory enzymes. In T. pseudonana changes relating to sulphur metabolism were specific to the individual treatments and, given that little coordination was seen in transcript and protein responses across the three growth conditions, different patterns of regulation might be responsible for the increase in DMSP concentration seen under each treatment

A Novel Strategy Involved Anti-Oxidative Defense: The Conversion of NADH into NADPH by a Metabolic Network

The reduced nicotinamide adenine dinucleotide phosphate (NADPH) is pivotal to the cellular anti-oxidative defence strategies in most organisms. Although its production mediated by different enzyme systems has been relatively well-studied, metabolic networks dedicated to the biogenesis of NADPH have not been fully characterized. In this report, a metabolic pathway that promotes the conversion of reduced nicotinamide adenine dinucleotide (NADH), a pro-oxidant into NADPH has been uncovered in Pseudomonas fluorescens exposed to oxidative stress. Enzymes such as pyruvate carboxylase (PC), malic enzyme (ME), malate dehydrogenase (MDH), malate synthase (MS), and isocitrate lyase (ICL) that are involved in disparate metabolic modules, converged to create a metabolic network aimed at the transformation of NADH into NADPH. The downregulation of phosphoenol carboxykinase (PEPCK) and the upregulation of pyruvate kinase (PK) ensured that this metabolic cycle fixed NADH into NADPH to combat the oxidative stress triggered by the menadione insult. This is the first demonstration of a metabolic network invoked to generate NADPH from NADH, a process that may be very effective in combating oxidative stress as the increase of an anti-oxidant is coupled to the decrease of a pro-oxidant