Symmetry breaking in numeric constraint problems

Symmetry-breaking constraints in the form of inequalities between variables have been proposed for a few kind of solution symmetries in numeric CSPs. We show that, for the variable symmetries among those, the proposed inequalities are but a specific case of a relaxation of the well-known LEX constraints extensively used for discrete CSPs. We discuss the merits of this relaxation and present experimental evidences of its practical interest.Postprint (author’s final draft

The Millennium Run Observatory: First Light

Simulations of galaxy evolution aim to capture our current understanding as well as to make predictions for testing by future experiments. Simulations and observations are often compared in an indirect fashion: physical quantities are estimated from the data and compared to models. However, many applications can benefit from a more direct approach, where the observing process is also simulated and the models are seen fully from the observer's perspective. To facilitate this, we have developed the Millennium Run Observatory (MRObs), a theoretical virtual observatory which uses virtual telescopes to `observe' semi-analytic galaxy formation models based on the suite of Millennium Run dark matter simulations. The MRObs produces data that can be processed and analyzed using the standard software packages developed for real observations. At present, we produce images in forty filters from the rest-frame UV to IR for two stellar population synthesis models, three different models of IGM absorption, and two cosmologies (WMAP1/7). Galaxy distributions for a large number of mock lightcones can be `observed' using models of major ground- and space-based telescopes. The data include lightcone catalogues linked to structural properties of galaxies, pre-observation model images, mock telescope images, and Source Extractor products that can all be traced back to the higher level dark matter, semi-analytic galaxy, and lightcone catalogues available in the Millennium database. Here, we describe our methods and announce a first public release of simulated surveys (e.g., SDSS, CFHT-LS, GOODS, GOODS/ERS, CANDELS, and HUDF). The MRObs browser, an online tool, further facilitates exploration of the simulated data. We demonstrate the benefits of a direct approach through a number of example applications (galaxy number counts in CANDELS, clusters, morphologies, and dropout selections).Comment: MNRAS, in press. Millennium Run Observatory data products, online tools, and more available through http://galformod.mpa-garching.mpg.de/mrobs

Galaxy formation in the Planck cosmology - I. Matching the observed evolution of star formation rates, colours and stellar masses

We have updated the Munich galaxy formation model to the Planck first-year cosmology, while modifying the treatment of baryonic processes to reproduce recent data on the abundance and passive fractions of galaxies from z = 3 down to z = 0. Matching these more extensive and more precise observational results requires us to delay the reincorporation of wind ejecta, to lower the surface density threshold for turning cold gas into stars, to eliminate ram-pressure stripping in haloes less massive than ∼1014 M⊙, and to modify our model for radio mode feedback. These changes cure the most obvious failings of our previous models, namely the overly early formation of low-mass galaxies and the overly large fraction of them that are passive at late times. The new model is calibrated to reproduce the observed evolution both of the stellar mass function and of the distribution of star formation rate at each stellar mass. Massive galaxies (log M⋆/M⊙ ≥ 11.0) assemble most of their mass before z = 1 and are predominantly old and passive at z = 0, while lower mass galaxies assemble later and, for log M⋆/M⊙ ≤ 9.5, are still predominantly blue and star forming at z = 0. This phenomenological but physically based model allows the observations to be interpreted in terms of the efficiency of the various processes that control the formation and evolution of galaxies as a function of their stellar mass, gas content, environment and time

Height and timing of growth spurt during puberty in young people living with vertically acquired HIV in Europe and Thailand.

OBJECTIVE: The aim of this study was to describe growth during puberty in young people with vertically acquired HIV. DESIGN: Pooled data from 12 paediatric HIV cohorts in Europe and Thailand. METHODS: One thousand and ninety-four children initiating a nonnucleoside reverse transcriptase inhibitor or boosted protease inhibitor based regimen aged 1-10 years were included. Super Imposition by Translation And Rotation (SITAR) models described growth from age 8 years using three parameters (average height, timing and shape of the growth spurt), dependent on age and height-for-age z-score (HAZ) (WHO references) at antiretroviral therapy (ART) initiation. Multivariate regression explored characteristics associated with these three parameters. RESULTS: At ART initiation, median age and HAZ was 6.4 [interquartile range (IQR): 2.8, 9.0] years and -1.2 (IQR: -2.3 to -0.2), respectively. Median follow-up was 9.1 (IQR: 6.9, 11.4) years. In girls, older age and lower HAZ at ART initiation were independently associated with a growth spurt which occurred 0.41 (95% confidence interval 0.20-0.62) years later in children starting ART age 6 to 10 years compared with 1 to 2 years and 1.50 (1.21-1.78) years later in those starting with HAZ less than -3 compared with HAZ at least -1. Later growth spurts in girls resulted in continued height growth into later adolescence. In boys starting ART with HAZ less than -1, growth spurts were later in children starting ART in the oldest age group, but for HAZ at least -1, there was no association with age. Girls and boys who initiated ART with HAZ at least -1 maintained a similar height to the WHO reference mean. CONCLUSION: Stunting at ART initiation was associated with later growth spurts in girls. Children with HAZ at least -1 at ART initiation grew in height at the level expected in HIV negative children of a comparable age

Relationship of weather types on the seasonal and spatial variability of rainfall, runoff, and sediment yield in the western Mediterranean basin

Rainfall is the key factor to understand soil erosion processes, mechanisms, and rates. Most research was conducted to determine rainfall characteristics and their relationship with soil erosion (erosivity) but there is little information about how atmospheric patterns control soil losses, and this is important to enable sustainable environmental planning and risk prevention. We investigated the temporal and spatial variability of the relationships of rainfall, runoff, and sediment yield with atmospheric patterns (weather types, WTs) in the western Mediterranean basin. For this purpose, we analyzed a large database of rainfall events collected between 1985 and 2015 in 46 experimental plots and catchments with the aim to: (i) evaluate seasonal differences in the contribution of rainfall, runoff, and sediment yield produced by the WTs; and (ii) to analyze the seasonal efficiency of the different WTs (relation frequency and magnitude) related to rainfall, runoff, and sediment yield. The results indicate two different temporal patterns: the first weather type exhibits (during the cold period: autumn and winter) westerly flows that produce the highest rainfall, runoff, and sediment yield values throughout the territory; the second weather type exhibits easterly flows that predominate during the warm period (spring and summer) and it is located on the Mediterranean coast of the Iberian Peninsula. However, the cyclonic situations present high frequency throughout the whole year with a large influence extended around the western Mediterranean basin. Contrary, the anticyclonic situations, despite of its high frequency, do not contribute significantly to the total rainfall, runoff, and sediment (showing the lowest efficiency) because of atmospheric stability that currently characterize this atmospheric pattern. Our approach helps to better understand the relationship of WTs on the seasonal and spatial variability of rainfall, runoff and sediment yield with a regional scale based on the large dataset and number of soil erosion experimental stations

J-PLUS: The javalambre photometric local universe survey

ABSTRACT: TheJavalambrePhotometric Local UniverseSurvey (J-PLUS )isanongoing 12-band photometricopticalsurvey, observingthousands of squaredegrees of theNorthernHemispherefromthededicated JAST/T80 telescope at the Observatorio Astrofísico de Javalambre (OAJ). The T80Cam is a camera with a field of view of 2 deg2 mountedon a telescopewith a diameter of 83 cm, and isequippedwith a uniquesystem of filtersspanningtheentireopticalrange (3500–10 000 Å). Thisfiltersystemis a combination of broad-, medium-, and narrow-band filters, optimallydesigned to extracttherest-framespectralfeatures (the 3700–4000 Å Balmer break region, Hδ, Ca H+K, the G band, and the Mg b and Ca triplets) that are key to characterizingstellartypes and delivering a low-resolutionphotospectrumforeach pixel of theobservedsky. With a typicaldepth of AB ∼21.25 mag per band, thisfilter set thusallowsforanunbiased and accuratecharacterization of thestellarpopulation in our Galaxy, itprovidesanunprecedented 2D photospectralinformationforall resolved galaxies in the local Universe, as well as accuratephoto-z estimates (at the δ z/(1 + z)∼0.005–0.03 precisionlevel) formoderatelybright (up to r ∼ 20 mag) extragalacticsources. Whilesomenarrow-band filters are designedforthestudy of particular emissionfeatures ([O II]/λ3727, Hα/λ6563) up to z < 0.017, theyalsoprovidewell-definedwindowsfortheanalysis of otheremissionlines at higherredshifts. As a result, J-PLUS has thepotential to contribute to a widerange of fields in Astrophysics, both in thenearbyUniverse (MilkyWaystructure, globular clusters, 2D IFU-likestudies, stellarpopulations of nearby and moderate-redshiftgalaxies, clusters of galaxies) and at highredshifts (emission-line galaxies at z ≈ 0.77, 2.2, and 4.4, quasi-stellarobjects, etc.). Withthispaper, wereleasethefirst∼1000 deg2 of J-PLUS data, containingabout 4.3 millionstars and 3.0 milliongalaxies at r <  21mag. With a goal of 8500 deg2 forthe total J-PLUS footprint, thesenumbers are expected to rise to about 35 millionstars and 24 milliongalaxiesbytheend of thesurvey.Funding for the J-PLUS Project has been provided by the Governments of Spain and Aragón through the Fondo de Inversiones de Teruel, the Spanish Ministry of Economy and Competitiveness (MINECO; under grants AYA2017-86274-P, AYA2016-77846-P, AYA2016-77237-C3-1-P, AYA2015-66211-C2-1-P, AYA2015-66211-C2-2, AYA2012-30789, AGAUR grant SGR-661/2017, and ICTS-2009-14), and European FEDER funding (FCDD10-4E-867, FCDD13-4E-2685

Height and timing of growth spurt during puberty in young people living with vertically acquired HIV in Europe and Thailand

Objective: The aim of this study was to describe growth during puberty in young people with vertically acquired HIV. Design: Pooled data from 12 paediatric HIV cohorts in Europe and Thailand. Methods: One thousand and ninety-four children initiating a nonnucleoside reverse transcriptase inhibitor or boosted protease inhibitor based regimen aged 1-10 years were included. Super Imposition by Translation And Rotation (SITAR) models described growth from age 8 years using three parameters (average height, timing and shape of the growth spurt), dependent on age and height-for-age z-score (HAZ) (WHO references) at antiretroviral therapy (ART) initiation. Multivariate regression explored characteristics associated with these three parameters. Results: At ART initiation, median age and HAZ was 6.4 [interquartile range (IQR): 2.8, 9.0] years and -1.2 (IQR: -2.3 to -0.2), respectively. Median follow-up was 9.1 (IQR: 6.9, 11.4) years. In girls, older age and lower HAZ at ART initiation were independently associated with a growth spurt which occurred 0.41 (95% confidence interval 0.20-0.62) years later in children starting ART age 6 to 10 years compared with 1 to 2 years and 1.50 (1.21-1.78) years later in those starting with HAZ less than -3 compared with HAZ at least -1. Later growth spurts in girls resulted in continued height growth into later adolescence. In boys starting ART with HAZ less than -1, growth spurts were later in children starting ART in the oldest age group, but for HAZ at least -1, there was no association with age. Girls and boys who initiated ART with HAZ at least -1 maintained a similar height to the WHO reference mean. Conclusion: Stunting at ART initiation was associated with later growth spurts in girls. Children with HAZ at least -1 at ART initiation grew in height at the level expected in HIV negative children of a comparable age

A transcriptomic analysis of gene expression in the venom gland of the snake Bothrops alternatus (urutu)

<p>Abstract</p> <p>Background</p> <p>The genus <it>Bothrops </it>is widespread throughout Central and South America and is the principal cause of snakebite in these regions. Transcriptomic and proteomic studies have examined the venom composition of several species in this genus, but many others remain to be studied. In this work, we used a transcriptomic approach to examine the venom gland genes of <it>Bothrops alternatus</it>, a clinically important species found in southeastern and southern Brazil, Uruguay, northern Argentina and eastern Paraguay.</p> <p>Results</p> <p>A cDNA library of 5,350 expressed sequence tags (ESTs) was produced and assembled into 838 contigs and 4512 singletons. BLAST searches of relevant databases showed 30% hits and 70% no-hits, with toxin-related transcripts accounting for 23% and 78% of the total transcripts and hits, respectively. Gene ontology analysis identified non-toxin genes related to general metabolism, transcription and translation, processing and sorting, (polypeptide) degradation, structural functions and cell regulation. The major groups of toxin transcripts identified were metalloproteinases (81%), bradykinin-potentiating peptides/C-type natriuretic peptides (8.8%), phospholipases A₂(5.6%), serine proteinases (1.9%) and C-type lectins (1.5%). Metalloproteinases were almost exclusively type PIII proteins, with few type PII and no type PI proteins. Phospholipases A₂were essentially acidic; no basic PLA₂were detected. Minor toxin transcripts were related to L-amino acid oxidase, cysteine-rich secretory proteins, dipeptidylpeptidase IV, hyaluronidase, three-finger toxins and ohanin. Two non-toxic proteins, thioredoxin and double-specificity phosphatase Dusp6, showed high sequence identity to similar proteins from other snakes. In addition to the above features, single-nucleotide polymorphisms, microsatellites, transposable elements and inverted repeats that could contribute to toxin diversity were observed.</p> <p>Conclusions</p> <p><it>Bothrops alternatus </it>venom gland contains the major toxin classes described for other <it>Bothrops </it>venoms based on trancriptomic and proteomic studies. The predominance of type PIII metalloproteinases agrees with the well-known hemorrhagic activity of this venom, whereas the lower content of serine proteases and C-type lectins could contribute to less marked coagulopathy following envenoming by this species. The lack of basic PLA₂agrees with the lower myotoxicity of this venom compared to other <it>Bothrops </it>species with these toxins. Together, these results contribute to our understanding of the physiopathology of envenoming by this species.</p

Relationship of Weather Types on the Seasonal and Spatial Variability of Rainfall, Runoff, and Sediment Yield in the Western Mediterranean Basin

Rainfall is the key factor to understand soil erosion processes, mechanisms, and rates. Most research was conducted to determine rainfall characteristics and their relationship with soil erosion (erosivity) but there is little information about how atmospheric patterns control soil losses, and this is important to enable sustainable environmental planning and risk prevention. We investigated the temporal and spatial variability of the relationships of rainfall, runoff, and sediment yield with atmospheric patterns (weather types, WTs) in the western Mediterranean basin. For this purpose, we analyzed a large database of rainfall events collected between 1985 and 2015 in 46 experimental plots and catchments with the aim to: (i) evaluate seasonal differences in the contribution of rainfall, runoff, and sediment yield produced by the WTs; and (ii) to analyze the seasonal efficiency of the different WTs (relation frequency and magnitude) related to rainfall, runoff, and sediment yield. The results indicate two different temporal patterns: the first weather type exhibits (during the cold period: autumn and winter) westerly flows that produce the highest rainfall, runoff, and sediment yield values throughout the territory; the second weather type exhibits easterly flows that predominate during the warm period (spring and summer) and it is located on the Mediterranean coast of the Iberian Peninsula. However, the cyclonic situations present high frequency throughout the whole year with a large influence extended around the western Mediterranean basin. Contrary, the anticyclonic situations, despite of its high frequency, do not contribute significantly to the total rainfall, runoff, and sediment (showing the lowest efficiency) because of atmospheric stability that currently characterize this atmospheric pattern. Our approach helps to better understand the relationship of WTs on the seasonal and spatial variability of rainfall, runoff and sediment yield with a regional scale based on the large dataset and number of soil erosion experimental stations.Spanish Government (Ministry of Economy and Competitiveness, MINECO) and FEDER Projects: CGL2014 52135-C3-3-R, ESP2017-89463-C3-3-R, CGL2014-59946-R, CGL2015-65569-R, CGL2015-64284-C2-2-R, CGL2015-64284-C2-1-R, CGL2016-78075-P, GL2008-02879/BTE, LEDDRA 243857, RECARE-FP7, CGL2017-83866-C3-1-R, and PCIN-2017-061/AEI. Dhais Peña-Angulo received a “Juan de la Cierva” postdoctoral contract (FJCI-2017-33652 Spanish Ministry of Economy and Competitiveness, MEC). Ana Lucia acknowledge the "Brigitte-Schlieben-Lange-Programm". The “Geoenvironmental Processes and Global Change” (E02_17R) was financed by the Aragón Government and the European Social Fund. José Andrés López-Tarazón acknowledges the Secretariat for Universities and Research of the Department of the Economy and Knowledge of the Autonomous Government of Catalonia for supporting the Consolidated Research Group 2014 SGR 645 (RIUS- Fluvial Dynamics Research Group). Artemi Cerdà thank the funding of the OCDE TAD/CRP JA00088807. José Martínez-Fernandez acknowledges the project Unidad de Excelencia CLU-2018-04 co-funded by FEDER and Castilla y León Government. Ane Zabaleta is supported by the Hydro-Environmental Processes consolidated research group (IT1029-16, Basque Government). This paper has the benefit of the Lab and Field Data Pool created within the framework of the COST action CONNECTEUR (ES1306)