The enormous outer Galaxy HII region CTB 102

We present new radio recombination line observations of the previously unstudied HII region CTB 102. Line parameters are extracted and physical parameters describing the gas are calculated. We estimate the distance to CTB 102 to be 4.3 kpc. Through comparisons with HI and 1.42 GHz radio continuum data, we estimate the size of CTB 102 to be 100-130 pc, making it one of the largest HII regions known, comparable to the W4 complex. A stellar wind blown bubble model is presented as the best explanation for the observed morphology, size and velocities.Comment: 26 pages, 8 figures. Accepted for publication by The Astrophysical Journa

Preferencias y aceptabilidad de los consumidores por la carne de vacuno enriquecida en omega-3 y ácido linoleico conjugado en tres ciudades españolas

Este trabajo analiza las preferencias de los consumidores en tres ciudades españolas (Barcelona, Zaragoza y Pamplona) con el objetivo de estimar la importancia relativa de los atributos más relevantes de la carne de vacuno incluyendo su enriquecimiento con ácidos grasos no saturados como el omega-3 (n-3) y el ácido linoleico conjugado (CLA). Asimismo, se pretende estudiar el impacto de la experiencia sensorial y la información sobre las preferencias y la heterogeneidad no observada tanto del factor de escala como de los atributos. Los datos fueron recogidos de un cuestionario estructurado y auto-completado en un ambiente controlado con dos muestras diferentes (320 y 325 consumidores) diferenciados por la información recibida. El experimento de elección fue aplicado antes y después de que los mismos consumidores evaluaran la aceptabilidad de la carne enriquecida. Para el análisis de datos se ha empleado el modelo Multinomial Generalizado (GMNL). Los resultados mostraron un impacto significativo de la información y la experiencia sensorial sobre las preferencias. La utilidad de la carne enriquecida con n-3 en las tres ciudades se incrementó significativamente después de probar la carne, sobre todo para los consumidores que no recibieron información, mientras que la utilidad de la carne enriquecida con CLA no fue significativa independientemente de la evaluación hedónica o la información proporcionada. Después de la experiencia sensorial, la heterogeneidad de escala, que es la variación del grado de aleatoriedad en el proceso de toma de decisiones y por lo tanto el grado de certeza de los individuos en sus elecciones, ha disminuido significativamente. Finalmente, los resultados mostraron un aumento de la aceptabilidad global de la carne enriquecida con n-3 y CLA respecto a la carne convencional y la información ofrecida a los consumidores no tuvo ningún impacto significativo en sus puntuaciones.Publishe

Sequential and Spontaneous Star Formation Around the Mid-Infrared Halo HII Region KR 140

We use 2MASS and MSX infrared observations, along with new molecular line (CO) observations, to examine the distribution of young stellar objects (YSOs) in the molecular cloud surrounding the halo HII region KR 140 in order to determine if the ongoing star-formation activity in this region is dominated by sequential star formation within the photodissociation region (PDR) surrounding the HII region. We find that KR 140 has an extensive population of YSOs that have spontaneously formed due to processes not related to the expansion of the HII region. Much of the YSO population in the molecular cloud is concentrated along a dense filamentary molecular structure, traced by C18O, that has not been erased by the formation of the exciting O star. Some of the previously observed submillimetre clumps surrounding the HII region are shown to be sites of recent intermediate and low-mass star formation while other massive starless clumps clearly associated with the PDR may be the next sites of sequential star formation.Comment: Accepted for publication in MNRAS, 8 pages, 10 figure

Code-level model checking in the software development workflow at Amazon Web Services

This article describes a style of applying symbolic model checking developed over the course of four years at Amazon Web Services (AWS). Lessons learned are drawn from proving properties of numerous C‐based systems, for example, custom hypervisors, encryption code, boot loaders, and an IoT operating system. Using our methodology, we find that we can prove the correctness of industrial low‐level C‐based systems with reasonable effort and predictability. Furthermore, AWS developers are increasingly writing their own formal specifications. As part of this effort, we have developed a CI system that allows integration of the proofs into standard development workflows and extended the proof tools to provide better feedback to users. All proofs discussed in this article are publicly available on GitHub

Evaluating blood-brain barrier permeability in delayed cerebral infarction after aneurysmal subarachnoid hemorrhage

BACKGROUND AND PURPOSE: Patients with SAH are at increased risk of delayed infarction. Early detection and treatment of delayed infarction remain challenging. We assessed blood-brain barrier permeability, measured as permeability surface area product, by using CTP in patients with SAH with delayed infarction. MATERIALS AND METHODS: We performed a retrospective study of patients with SAH with delayed infarction on follow-up NCCT. CTP was performed before the development of delayed infarction. CTP data were postprocessed into permeability surface area product, CBF, and MTT maps. Coregistration was performed to align the infarcted region on the follow-up NCCT with the corresponding location on the CTP maps obtained before infarction. Permeability surface area product, CBF, and MTT values were then obtained in the location of the subsequent infarction. The contralateral noninfarcted region was compared with the affected side in each patient. Wilcoxon signed rank tests were performed to determine statistical significance. Clinical data were collected at the time of CTP and at the time of follow-up NCCT. RESULTS: Twenty-one patients with SAH were included in the study. There was a statistically significant increase in permeability surface area product in the regions of subsequent infarction compared with the contralateral control regions (P \u3c .0001). However, CBF and MTT values were not significantly different in these 2 regions. Subsequent follow-up NCCT demonstrated new delayed infarction in all 21 patients, at which time 38% of patients had new focal neurologic deficits. CONCLUSIONS: Our study reveals a statistically significant increase in permeability surface area product preceding delayed infarction in patients with SAH. Further investigation of early permeability changes in SAH may provide new insights into the prediction of delayed infarction

Radio polarimetric imaging of the interstellar medium: magnetic field and diffuse ionized gas structure near the W3/W4/W5/HB3 complex

We have used polarimetric imaging to study the magneto-ionic medium of the Galaxy, obtaining 1420 MHz images with an angular resolution of 1' over more than 40 square-degrees of sky around the W3/W4/W5/HB3 HII region/SNR complex in the Perseus Arm. Features detected in polarization angle are imposed on the linearly polarized Galactic synchrotron background emission by Faraday rotation arising in foreground ionized gas having an emission measure as low as 1 cm^{-6} pc. Several new remarkable phenomena have been identified, including: mottled polarization arising from random fluctuations in a magneto-ionic screen that we identify with a medium in the Perseus Arm, probably in the vicinity of the HII regions themselves; depolarization arising from very high rotation measures (several times 10^3 rad m^{-2}) and rotation measure gradients due to the dense, turbulent environs of the HII regions; highly ordered features spanning up to several degrees; and an extended influence of the HII regions beyond the boundaries defined by earlier observations. In particular, the effects of an extended, low-density ionized halo around the HII region W4 are evident, probably an example of the extended HII envelopes postulated as the origin of weak recombination-line emission detected from the Galactic ridge. Our polarization observations can be understood if the uniform magnetic field component in this envelope scales with the square-root of electron density and is 20 microG at the edge of the depolarized region around W4, although this is probably an over-estimate since the random field component will have a significant effect.Comment: 18 pages, 8 figures (7 jpeg and 1 postscript), accepted for publication in the Astrophysical Journa

Decay Kinetics of HIV-1 Specific T Cell Responses in Vertically HIV-1 Exposed Seronegative Infants

Objective: The majority of infants born, in developed countries, to HIV-1 positive women are exposed to the HIV-1 virus in utero or peri/post-partum, but are born uninfected. We, and others, have previously shown HIV-1 specific T cell responses in HIV-1 exposed seronegative (HESN) neonates/infants. Our objective in this study was to examine the rate of decay in their HIV-1 specific T cell response over time from birth. Design: Cross-sectional and longitudinal studies of HIV-1 specific T cell responses in HESN infants were performed. Methods: Peripheral blood mononuclear cells (PBMC) were isolated from 18 HIV-1 DNA PCR negative infants born to HIV-1 infected mothers receiving care at the Jacobi Medical Center, Bronx, NY, USA. PBMC were examined for T cell responses to HIV-1 antigens by interferon-gamma (IFN-γ) ELISPOT. Results: PBMC from 15 HESN neonates/infants were analyzed. We observed a decay of HIV-1 specific T cell responses from birth at a rate of −0.599 spot forming unit/106 cells per day, with a median half-life decay rate of 21.38 weeks (13.39–115.8). Conclusion: Our results support the dynamic nature of T cell immunity in the context of a developing immune system. The disparate rate of decay with studies of adults placed on antiretroviral drugs suggests that antigen specific T cell responses are driven by the natural rate of decay of the T cell sub-populations themselves

Elevated Risk for HIV-1 Infection in Adolescents and Young Adults in São Paulo, Brazil

Background. Recent studies have sought to describe HIV infection and transmission characteristics around the world. Identification of early HIV-1 infection is essential to proper surveillance and description of regional transmission trends. In this study we compare people recently infected (RI) with HIV-1, as defined by Serologic Testing Algorithm for Recent HIV Seroconversion (STARHS), to those with chronic infection. Methodology/Principal Findings Subjects were identified from 2002-2004 at four testing sites in São Paulo. Of 485 HIV-1-positive subjects, 57 (12%) were defined as RI. Of the participants, 165 (34.0%) were aware of their serostatus at the time of HIV-1 testing. This proportion was statistically larger (p<0.001) among the individuals without recent infection (n = 158, 95.8%) compared to 7 individuals (4.2%) with recently acquired HIV-1 infection. In the univariate analysis, RI was more frequent in <25 and >59 years-old age strata (p<0.001). The majority of study participants were male (78.4%), 25 to 45 years-old (65.8%), white (63.2%), single (61.7%), with family income of four or more times the minimum wage (41.0%), but with an equally distributed educational level. Of those individuals infected with HIV-1, the predominant route of infection was sexual contact (89.4%), with both hetero (47.5%) and homosexual (34.5%) exposure. Regarding sexual activity in these individuals, 43.9% reported possible HIV-1 exposure through a seropositive partner, and 49.4% reported multiple partners, with 47% having 2 to 10 partners and 37.4% 11 or more; 53.4% of infected individuals reported condom use sometimes; 34.2% reported non-injecting, recreational drug use and 23.6% were reactive for syphilis by VDRL. Subjects younger than 25 years of age were most vulnerable according to the multivariate analysis. ) Conclusions/Significance In this study, we evaluated RI individuals and discovered that HIV-1 has been spreading among younger individuals in São Paulo and preventive approaches should, therefore, target this age stratu