Flavour Changing Neutral Currents, Weak-Scale Scalars and Rare Top Decays

We examine the decays $t\rightarrow c\gamma$ and $c Z^0$ in the Standard Model with an extra scalar doublet and no discrete symmetry preventing tree-level flavour changing neutral currents. The Yukawa couplings of the new scalars are assumed to be proportional to fermion masses, evading bounds on FCNC's from the light quark sector. These rare top decays may be visible at the SSC.Comment: (some wording changed, and several references added) 13 pages, 2 figures included, uses harvmac.tex and epsf.tex, UCSD/PTH 93-0

Automated metamorphic testing on the analyses of feature models

Copyright © 2010 Elsevier B.V. All rights reserved.Context: A feature model (FM) represents the valid combinations of features in a domain. The automated extraction of information from FMs is a complex task that involves numerous analysis operations, techniques and tools. Current testing methods in this context are manual and rely on the ability of the tester to decide whether the output of an analysis is correct. However, this is acknowledged to be time-consuming, error-prone and in most cases infeasible due to the combinatorial complexity of the analyses, this is known as the oracle problem.Objective: In this paper, we propose using metamorphic testing to automate the generation of test data for feature model analysis tools overcoming the oracle problem. An automated test data generator is presented and evaluated to show the feasibility of our approach.Method: We present a set of relations (so-called metamorphic relations) between input FMs and the set of products they represent. Based on these relations and given a FM and its known set of products, a set of neighbouring FMs together with their corresponding set of products are automatically generated and used for testing multiple analyses. Complex FMs representing millions of products can be efficiently created by applying this process iteratively.Results: Our evaluation results using mutation testing and real faults reveal that most faults can be automatically detected within a few seconds. Two defects were found in FaMa and another two in SPLOT, two real tools for the automated analysis of feature models. Also, we show how our generator outperforms a related manual suite for the automated analysis of feature models and how this suite can be used to guide the automated generation of test cases obtaining important gains in efficiency.Conclusion: Our results show that the application of metamorphic testing in the domain of automated analysis of feature models is efficient and effective in detecting most faults in a few seconds without the need for a human oracle.This work has been partially supported by the European Commission(FEDER)and Spanish Government under CICYT project SETI(TIN2009-07366)and the Andalusian Government project ISABEL(TIC-2533)

Large eddy simulation of a coal flame: estimation of the flicker frequency under air and oxy-fuel conditions

Fossil fuel combustion, such as coal combustion, currently meets the majority of the global energy demand; however, the process also produces a significant proportion of the worldwide CO2 greenhouse gas emissions. Further improvement in the efficiency and control of the combustion process is needed, as well as the implementation of novel technologies such as carbon capture and storage (CCS). Oxy-fuel combustion is a very promising CCS technology, where the air in the combustion process is replaced with a mixture of recycled flue gas and oxygen producing a high CO2 outflow that can effectively be processed or stored. The adjustment of the combustion environment within the boiler resulting from the high CO2 concentration will modify the flame characteristics. It is therefore important to evaluate properly the changes of the flame that occur with different flue gas recycle schemes. A coal flame is often characterised by its physical parameters, such as the flame size, shape, brightness and temperature, and it can be considered as a stable flame by the presence of ignition and the propagation of the flame. The oscillatory behaviour of a flame can be quantified by the flicker frequency obtained after the instantaneous variations of the flame parameters, and is used as a reference for flame stability. Computational Fluid Dynamics (CFD) is widely used to model coal combustion. This work compares the estimated flicker frequency taken from CFD calculations against measurements undertaken at the experimental facilities of the UKCCSRC Pilot-scale Advanced Capture Technology (PACT) located in South Yorkshire, UK. The 250 kW combustion test facility consists of a down-fired, refractory lined cylindrical furnace, which is 4 m in height with a 0.9 m internal diameter. The furnace is fitted with a scaled version of a commercially available Doosan Babcock low-NOx burner. The flame physical parameters are approximated from performing a Large Eddy Simulation (LES) using the CFD code ANSYS FLUENT v15. The flicker frequency obtained from the CFD approach is compared against the experimentally measured value from a 2D flame imaging system. A series of oxy-fuel cases are then examined in the same fashion in order to assess their flame stability and the boiler operational limit. The flicker frequency trend obtained from the computations and measurements helps to determine the dynamic response of the flame for different combustion environments, and the results will be applicable in determining the optimal recycle ratio applied in future oxy-fuel systems

The role of insulin receptor substrate 2 in hypothalamic and beta cell function

Insulin receptor substrate 2 (Irs2) plays complex roles in energy homeostasis. We generated mice lacking Irs2 in beta cells and a population of hypothalamic neurons (RIPCreIrs2KO), in all neurons (NesCreIrs2KO), and in proopiomelanocortin neurons (POMCCreIrs2KO) to determine the role of Irs2 in the CNS and beta cell. RIPCreIrs2KO mice displayed impaired glucose tolerance and reduced P cell mass. Overt diabetes did not ensue, because beta cells escaping Cre-mediated recombination progressively populated islets. RIPCreIrs2KO and NesCreIrs2KO mice displayed hyperphagia, obesity, and increased body length, which suggests altered melanocortin action. POMCCreIrs2KO mice did not display this phenotype. RIPCreIrs2KO and NesCreIrs2KO mice retained leptin sensitivity, which suggests that CNS Irs2 pathways are not required for leptin action. NesCreIrs2KO and POMCCreIrs2KO mice did not display reduced beta cell mass, but NesCreIrs2KO mice displayed mild abnormalities of glucose homeostasis. RIPCre neurons did not express POMC or neuropeptide Y. Insulin and a melanocortin agonist depolarized RIPCre neurons, whereas leptin was ineffective. Insulin hyperpolarized and leptin depolarized POMC neurons. Our findings demonstrate a critical role for IRS2 in beta cell and hypothalamic function and provide insights into the role of RIPCre neurons, a distinct hypothalamic neuronal population, in growth and energy homeostasis

Tie-2 regulates the stemness and metastatic properties of prostate cancer cells.

Ample evidence supports that prostate tumor metastasis originates from a rare population of cancer cells, known as cancer stem cells (CSCs). Unfortunately, little is known about the identity of these cells, making it difficult to target the metastatic prostate tumor. Here, for the first time, we report the identification of a rare population of prostate cancer cells that express the Tie-2 protein. We found that this Tie-2High population exists mainly in prostate cancer cell lines that are capable of metastasizing to the bone. These cells not only express a higher level of CSC markers but also demonstrate enhanced resistance to the chemotherapeutic drug Cabazitaxel. In addition, knockdown of the expression of the Tie-2 ligand angiopoietin (Ang-1) led to suppression of CSC markers, suggesting that the Ang-1/Tie-2 signaling pathway functions as an autocrine loop for the maintenance of prostate CSCs. More importantly, we found that Tie-2High prostate cancer cells are more adhesive than the Tie-2Low population to both osteoblasts and endothelial cells. Moreover, only the Tie-2High, but not the Tie-2Low cells developed tumor metastasis in vivo when injected at a low number. Taken together, our data suggest that Tie-2 may play an important role during the development of prostate tumor metastasis.published_or_final_versio

Environment of the submillimeter-bright massive starburst HFLS3 at z∼z\sim6.34

We describe the search for Lyman-break galaxies (LBGs) near the sub-millimeter bright starburst galaxy HFLS3 at $z$$=$6.34 and a study on the environment of this massive galaxy during the end of reionization.We performed two independent selections of LBGs on images obtained with the \textit{Gran Telescopio Canarias} (GTC) and the \textit{Hubble Space Telescope} (HST) by combining non-detections in bands blueward of the Lyman-break and color selection. A total of 10 objects fulfilling the LBG selection criteria at $z$$>$5.5 were selected over the 4.54 and 55.5 arcmin$^2$ covered by our HST and GTC images, respectively. The photometric redshift, UV luminosity, and the star-formation rate of these sources were estimated with models of their spectral energy distribution. These $z$$\sim$6 candidates have physical properties and number densities in agreement with previous results. The UV luminosity function at $z$$\sim$6 and a Voronoi tessellation analysis of this field shows no strong evidence for an overdensity of relatively bright objects (m$_{F105W}$$<$25.9) associated with \textit{HFLS3}. However, the over-density parameter deduced from this field and the surface density of objects can not excluded definitively the LBG over-density hypothesis. Moreover we identified three faint objects at less than three arcseconds from \textit{HFLS3} with color consistent with those expected for $z$$\sim$6 galaxies. Deeper data are needed to confirm their redshifts and to study their association with \textit{HFLS3} and the galaxy merger that may be responsible for the massive starburst.Comment: 14 pages, 12 figures, accepted for publication in Ap

Managing software development information in global configuration management activities

Software Configuration Management (SCM) techniques have been considered the entry point to rigorous software engineering, where multiple organizations cooperate in a decentralized mode to save resources, ensure the quality of the diversity of software products, and manage corporate information to get a better return of investment. The incessant trend of Global Software Development (GSD) and the complexity of implementing a correct SCM solution grow not only because of the changing circumstances, but also because of the interactions and the forces related to GSD activities. This paper addresses the role SCM plays in the development of commercial products and systems, and introduces a SCM reference model to describe the relationships between the different technical, organizational, and product concerns any software development company should support in the global market

Do contaminants originating from state-of-the-art treated wastewater impact the ecological quality of surface waters?

Since the 1980s, advances in wastewater treatment technology have led to considerably improved surface water quality in the urban areas of many high income countries. However, trace concentrations of organic wastewater-associated contaminants may still pose a key environmental hazard impairing the ecological quality of surface waters. To identify key impact factors, we analyzed the effects of a wide range of anthropogenic and environmental variables on the aquatic macroinvertebrate community. We assessed ecological water quality at 26 sampling sites in four urban German lowland river systems with a 0–100% load of state-of-the-art biological activated sludge treated wastewater. The chemical analysis suite comprised 12 organic contaminants (five phosphor organic flame retardants, two musk fragrances, bisphenol A, nonylphenol, octylphenol, diethyltoluamide, terbutryn), 16 polycyclic aromatic hydrocarbons, and 12 heavy metals. Non-metric multidimensional scaling identified organic contaminants that are mainly wastewater-associated (i.e., phosphor organic flame retardants, musk fragrances, and diethyltoluamide) as a major impact variable on macroinvertebrate species composition. The structural degradation of streams was also identified as a significant factor. Multiple linear regression models revealed a significant impact of organic contaminants on invertebrate populations, in particular on Ephemeroptera, Plecoptera, and Trichoptera species. Spearman rank correlation analyses confirmed wastewater-associated organic contaminants as the most significant variable negatively impacting the biodiversity of sensitive macroinvertebrate species. In addition to increased aquatic pollution with organic contaminants, a greater wastewater fraction was accompanied by a slight decrease in oxygen concentration and an increase in salinity. This study highlights the importance of reducing the wastewater-associated impact on surface waters. For aquatic ecosystems in urban areas this would lead to: (i) improvement of the ecological integrity, (ii) reduction of biodiversity loss, and (iii) faster achievement of objectives of legislative requirements, e.g., the European Water Framework Directive

ALMA observations of lensed Herschel sources: testing the dark matter halo paradigm

With the advent of wide-area submillimetre surveys, a large number of high-redshift gravitationally lensed dusty star-forming galaxies have been revealed. Because of the simplicity of the selection criteria for candidate lensed sources in such surveys, identified as those with S500 μm > 100 mJy, uncertainties associated with the modelling of the selection function are expunged. The combination of these attributes makes submillimetre surveys ideal for the study of strong lens statistics. We carried out a pilot study of the lensing statistics of submillimetre-selected sources by making observations with the Atacama Large Millimeter Array (ALMA) of a sample of strongly lensed sources selected from surveys carried out with the Herschel Space Observatory. We attempted to reproduce the distribution of image separations for the lensed sources using a halo mass function taken from a numerical simulation that contains both dark matter and baryons. We used three different density distributions, one based on analytical fits to the haloes formed in the EAGLE simulation and two density distributions [Singular Isothermal Sphere (SIS) and SISSA] that have been used before in lensing studies. We found that we could reproduce the observed distribution with all three density distributions, as long as we imposed an upper mass transition of ∼1013 M⊙ for the SIS and SISSA models, above which we assumed that the density distribution could be represented by a Navarro–Frenk–White profile. We show that we would need a sample of ∼500 lensed sources to distinguish between the density distributions, which is practical given the predicted number of lensed sources in the Herschel surveys

Conserved presence of G-quadruplex forming sequences in the Long Terminal Repeat Promoter of Lentiviruses

G-quadruplexes (G4s) are secondary structures of nucleic acids that epigenetically regulate cellular processes. In the human immunodeficiency lentivirus 1 (HIV-1), dynamic G4s are located in the unique viral LTR promoter. Folding of HIV-1 LTR G4s inhibits viral transcription; stabilization by G4 ligands intensifies this effect. Cellular proteins modulate viral transcription by inducing/unfolding LTR G4s. We here expanded our investigation on the presence of LTR G4s to all lentiviruses. G4s in the 5'-LTR U3 region were completely conserved in primate lentiviruses. A G4 was also present in a cattle-infecting lentivirus. All other non-primate lentiviruses displayed hints of less stable G4s. In primate lentiviruses, the possibility to fold into G4s was highly conserved among strains. LTR G4 sequences were very similar among phylogenetically related primate viruses, while they increasingly differed in viruses that diverged early from a common ancestor. A strong correlation between primate lentivirus LTR G4s and Sp1/NF\u3baB binding sites was found. All LTR G4s folded: their complexity was assessed by polymerase stop assay. Our data support a role of the lentiviruses 5'-LTR G4 region as control centre of viral transcription, where folding/unfolding of G4s and multiple recruitment of factors based on both sequence and structure may take place