Erlang Code Evolution Control

During the software lifecycle, a program can evolve several times for different reasons such as the optimisation of a bottle-neck, the refactoring of an obscure function, etc. These code changes often involve several functions or modules, so it can be difficult to know whether the correct behaviour of the previous releases has been preserved in the new release. Most developers rely on a previously defined test suite to check this behaviour preservation. We propose here an alternative approach to automatically obtain a test suite that specifically focusses on comparing the old and new versions of the code. Our test case generation is directed by a sophisticated combination of several already existing tools such as TypEr, CutEr, and PropEr; and other ideas such as allowing the programmer to chose an expression of interest that must preserve the behaviour, or the recording of the sequences of values to which this expression is evaluated. All the presented work has been implemented in an open-source tool that is publicly available on GitHub.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Photoluminescent characteristics of Ni-catalyzed GaN nanowires

The authors report on time-integrated and time-resolved photoluminescence (PL) of GaN nanowires grown by the Ni-catalyst-assisted vapor-liquid-solid method. From PL spectra of Ni-catalyzed GaN nanowires at 10 K, several PL peaks were observed at 3.472, 3.437, and 3.266 eV, respectively. PL peaks at 3.472 and 3.266 eV are attributed to neutral-donor-bound excitons and donor-acceptor pair, respectively. Furthermore, according to the results from temperature-dependent and time-resolved PL measurements, the origin of the PL peak at 3.437 eV is also discussed. (c) 2006 American Institute of Physics.X1147sciescopu

Sphingosine mediates FTY720-induced apoptosis in LLC-PK1 cells

FTY720, a synthetic sphingoid base analog, was examined as a new sphingosine kinase inhibitor, which converts endogenous sphingosine into its phosphate form. With 20 ??M of FTY720, sphingosine accumulated in the LLC-PK1 cells in a time- and dose-dependent manner. The FTY720 treated cells showed a high concentration of fragmented DNA, a high caspase-3 like activity and TUNEL staining cells. It was also found that the sphingosine and sphinganine level increased in a time- and dose-dependent manner within 12 h after the FTY720 treatment. The sphingosine kinase activity was reduced by FTY720 as much as other sphingosine kinase inhibitors, N, N-dimethylsphingosine (DMS), dl-threo-dihydrosphingosine (DHS). The fragmented DNA content as a result of the 20 ??M of FTY720 treatment and by 5 ??M of the exogenously added BSA-sphingosine complex indicated typical apoptosis. Under similar conditions, the accumulated sphingosine concentration in all the cells was almost identical even though the sphingosine distribution inside the cells was somewhat different. These results indicate that the FTY720 induced apoptosis is associated with the inhibition of the sphingosine kinase activity and is strongly associated with the successive accumulation of sphingosine.open172

Interactions between Transmembrane Helices within Monomers of the Aquaporin AtPIP2;1 Play a Crucial Role in Tetramer Formation

Aquaporin (AQP) is a water channel protein found in various subcellular membranes of both prokaryotic and eukaryotic cells. The physiological functions of AQPs have been elucidated in many organisms. However, understanding their biogenesis remains elusive, particularly regarding how they assemble into tetramers. Here, we investigated the amino acid residues involved in the tetramer formation of the Arabidopsis plasma membrane AQP AtPIP2; 1 using extensive amino acid substitution mutagenesis. The mutant proteins V41A/E44A, F51A/L52A, F87A/I91A, F92A/I93A, V95A/Y96A, and H216A/L217A, harboring alanine substitutions in the transmembrane (TM) helices of AtPIP2; 1 polymerized into multiple oligomeric complexes with a variable number of subunits greater than four. Moreover, these mutant proteins failed to traffic to the plasma membrane, instead of accumulating in the endoplasmic reticulum(ER). Structure-based modeling revealed that these residues are largely involved in interactions between TM helices within monomers. These results suggest that inter-TM interactions occurring both within and between monomers play crucial roles in tetramer formation in the AtPIP2; 1 complex. Moreover, the assembly of AtPIP2; 1 tetramers is critical for their trafficking from the ER to the plasma membrane, as well as water permeability.1133Ysciescopu

A cross validation of Consumer-Based Brand Equity (CBBE) with Private Labels in Spain

Molinillo,S., Ekinci, Y., Japutra, A. (2014)'A cross validation of Consumer-Based Brand Equity (CBBE) with Private Labels in Spain'. in Martínez-López, Gázquez-Abad, J.C. and Sethuraman, R. J.A. (eds.) Advances in National Brand and Private Label Marketing. Second International Conference, 2015. Springer Proceedings in Business and Economics, pp. 113-125In recent years a number of Consumer-Based Brand Equity (CBBE) models and measurement scales have been introduced in the branding literature. However, examinations of brand equity in Private Labels (PL) are rather limited. This study aims to compare the validity of the two prominent CBBE models those introduced by Yoo and Donthu (2001) and Nam et al. (2011). In order to test the models and make this comparison, the study collected data from 236 respondents who rated private labels in Spain. A list of 30 different fashion and sportswear PL was introduced to respondents. These brands do not make any reference to the retail store in which they are sold. Research findings suggest that the extended CBBE model introduced by Nam et al. (2011) and Ciftci et al. (2014) is more reliable and valid than Yoo and Donthu’s model for assessing PL. Theoretical contributions and managerial implications are discussed.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Microguards and micromessengers of the genome

The regulation of gene expression is of fundamental importance to maintain organismal function and integrity and requires a multifaceted and highly ordered sequence of events. The cyclic nature of gene expression is known as ‘transcription dynamics’. Disruption or perturbation of these dynamics can result in significant fitness costs arising from genome instability, accelerated ageing and disease. We review recent research that supports the idea that an important new role for small RNAs, particularly microRNAs (miRNAs), is in protecting the genome against short-term transcriptional fluctuations, in a process we term ‘microguarding’. An additional emerging role for miRNAs is as ‘micromessengers’—through alteration of gene expression in target cells to which they are trafficked within microvesicles. We describe the scant but emerging evidence that miRNAs can be moved between different cells, individuals and even species, to exert biologically significant responses. With these two new roles, miRNAs have the potential to protect against deleterious gene expression variation from perturbation and to themselves perturb the expression of genes in target cells. These interactions between cells will frequently be subject to conflicts of interest when they occur between unrelated cells that lack a coincidence of fitness interests. Hence, there is the potential for miRNAs to represent both a means to resolve conflicts of interest, as well as instigate them. We conclude by exploring this conflict hypothesis, by describing some of the initial evidence consistent with it and proposing new ideas for future research into this exciting topic

Serotonin and corticosterone rhythms in mice exposed to cigarette smoke and in patients with COPD:implication for COPD-associated neuropathogenesis

The circadian timing system controls daily rhythms of physiology and behavior, and disruption of clock function can trigger stressful life events. Daily exposure to cigarette smoke (CS) can lead to alteration in diverse biological and physiological processes. Smoking is associated with mood disorders, including depression and anxiety. Patients with chronic obstructive pulmonary disease (COPD) have abnormal circadian rhythms, reflected by daily changes in respiratory symptoms and lung function. Corticosterone (CORT) is an adrenal steroid that plays a considerable role in stress and anti-inflammatory responses. Serotonin (5-hydroxytryptamine; 5HT) is a neurohormone, which plays a role in sleep/wake regulation and affective disorders. Secretion of stress hormones (CORT and 5HT) is under the control of the circadian clock in the suprachiasmatic nucleus. Since smoking is a contributing factor in the development of COPD, we hypothesize that CS can affect circadian rhythms of CORT and 5HT secretion leading to sleep and mood disorders in smokers and patients with COPD. We measured the daily rhythms of plasma CORT and 5HT in mice following acute (3 d), sub-chronic (10 d) or chronic (6 mo) CS exposure and in plasma from non-smokers, smokers and patients with COPD. Acute and chronic CS exposure affected both the timing (peak phase) and amplitude of the daily rhythm of plasma CORT and 5HT in mice. Acute CS appeared to have subtle time-dependent effects on CORT levels but more pronounced effects on 5HT. As compared with CORT, plasma 5HT was slightly elevated in smokers but was reduced in patients with COPD. Thus, the effects of CS on plasma 5HT were consistent between mice and patients with COPD. Together, these data reveal a significant impact of CS exposure on rhythms of stress hormone secretion and subsequent detrimental effects on cognitive function, depression-like behavior, mood/anxiety and sleep quality in smokers and patients with COPD

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

Three little pieces for computer and relativity

Numerical relativity has made big strides over the last decade. A number of problems that have plagued the field for years have now been mostly solved. This progress has transformed numerical relativity into a powerful tool to explore fundamental problems in physics and astrophysics, and I present here three representative examples. These "three little pieces" reflect a personal choice and describe work that I am particularly familiar with. However, many more examples could be made.Comment: 42 pages, 11 figures. Plenary talk at "Relativity and Gravitation: 100 Years after Einstein in Prague", June 25 - 29, 2012, Prague, Czech Republic. To appear in the Proceedings (Edition Open Access). Collects results appeared in journal articles [72,73, 122-124