Radiation Hydrodynamical Instabilities in Cosmological and Galactic Ionization Fronts

Ionization fronts, the sharp radiation fronts behind which H/He ionizing photons from massive stars and galaxies propagate through space, were ubiquitous in the universe from its earliest times. The cosmic dark ages ended with the formation of the first primeval stars and galaxies a few hundred Myr after the Big Bang. Numerical simulations suggest that stars in this era were very massive, 25 - 500 solar masses, with H II regions of up to 30,000 light-years in diameter. We present three-dimensional radiation hydrodynamical calculations that reveal that the I-fronts of the first stars and galaxies were prone to violent instabilities, enhancing the escape of UV photons into the early intergalactic medium (IGM) and forming clumpy media in which supernovae later exploded. The enrichment of such clumps with metals by the first supernovae may have led to the prompt formation of a second generation of low-mass stars, profoundly transforming the nature of the first protogalaxies. Cosmological radiation hydrodynamics is unique because ionizing photons coupled strongly to both gas flows and primordial chemistry at early epochs, introducing a hierarchy of disparate characteristic timescales whose relative magnitudes can vary greatly throughout a given calculation. We describe the adaptive multistep integration scheme we have developed for the self-consistent transport of both cosmological and galactic ionization fronts.Comment: 6 pages, 4 figures, accepted for proceedings of HEDLA2010, Caltech, March 15 - 18, 201

Detectability of the First Cosmic Explosions

We present a fully self-consistent simulation of a synthetic survey of the furthermost cosmic explosions. The appearance of the first generation of stars (Population III) in the Universe represents a critical point during cosmic evolution, signaling the end of the dark ages, a period of absence of light sources. Despite their importance, there is no confirmed detection of Population III stars so far. A fraction of these primordial stars are expected to die as pair-instability supernovae (PISNe), and should be bright enough to be observed up to a few hundred million years after the big bang. While the quest for Population III stars continues, detailed theoretical models and computer simulations serve as a testbed for their observability. With the upcoming near-infrared missions, estimates of the feasibility of detecting PISNe are not only timely but imperative. To address this problem, we combine state-of-the-art cosmological and radiative simulations into a complete and self-consistent framework, which includes detailed features of the observational process. We show that a dedicated observational strategy using $\lesssim 8$ per cent of total allocation time of the James Webb Space Telescope mission can provide us up to $\sim 9-15$ detectable PISNe per year.Comment: 9 pages, 8 figures. Minor corrections added to match published versio

Machine-Checked Proofs For Realizability Checking Algorithms

Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quality of complex embedded systems. Given appropriate architectural descriptions, assume/guarantee contracts, and compositional reasoning rules, these techniques can be used to prove important safety properties about the architecture prior to system construction. For these proofs to be meaningful, each leaf-level component contract must be realizable; i.e., it is possible to construct a component such that for any input allowed by the contract assumptions, there is some output value that the component can produce that satisfies the contract guarantees. We have recently proposed (in [1]) a contract-based realizability checking algorithm for assume/guarantee contracts over infinite theories supported by SMT solvers such as linear integer/real arithmetic and uninterpreted functions. In that work, we used an SMT solver and an algorithm similar to k-induction to establish the realizability of a contract, and justified our approach via a hand proof. Given the central importance of realizability to our virtual integration approach, we wanted additional confidence that our approach was sound. This paper describes a complete formalization of the approach in the Coq proof and specification language. During formalization, we found several small mistakes and missing assumptions in our reasoning. Although these did not compromise the correctness of the algorithm used in the checking tools, they point to the value of machine-checked formalization. In addition, we believe this is the first machine-checked formalization for a realizability algorithm.Comment: 14 pages, 1 figur

Synthesising interprocedural bit-precise termination proofs

Proving program termination is key to guaranteeing absence of undesirable behaviour, such as hanging programs and even security vulnerabilities such as denial-of-service attacks. To make termination checks scale to large systems, interprocedural termination analysis seems essential, which is a largely unexplored area of research in termination analysis, where most effort has focussed on difficult single-procedure problems. We present a modular termination analysis for C programs using template-based interprocedural summarisation. Our analysis combines a context-sensitive, over-approximating forward analysis with the inference of under-approximating preconditions for termination. Bit-precise termination arguments are synthesised over lexicographic linear ranking function templates. Our experimental results show that our tool 2LS outperforms state-of-the-art alternatives, and demonstrate the clear advantage of interprocedural reasoning over monolithic analysis in terms of efficiency, while retaining comparable precision

Global patterns of diapycnal mixing from measurements of the turbulent dissipation rate

The authors present inferences of diapycnal diffusivity from a compilation of over 5200 microstructure profiles. As microstructure observations are sparse, these are supplemented with indirect measurements of mixing obtained from (i) Thorpe-scale overturns from moored profilers, a finescale parameterization applied to (ii) shipboard observations of upper-ocean shear, (iii) strain as measured by profiling floats, and (iv) shear and strain from full-depth lowered acoustic Doppler current profilers (LADCP) and CTD profiles. Vertical profiles of the turbulent dissipation rate are bottom enhanced over rough topography and abrupt, isolated ridges. The geography of depth-integrated dissipation rate shows spatial variability related to internal wave generation, suggesting one direct energy pathway to turbulence. The global-averaged diapycnal diffusivity below 1000-m depth is O(10?4) m2 s?1 and above 1000-m depth is O(10?5) m2 s?1. The compiled microstructure observations sample a wide range of internal wave power inputs and topographic roughness, providing a dataset with which to estimate a representative global-averaged dissipation rate and diffusivity. However, there is strong regional variability in the ratio between local internal wave generation and local dissipation. In some regions, the depth-integrated dissipation rate is comparable to the estimated power input into the local internal wave field. In a few cases, more internal wave power is dissipated than locally generated, suggesting remote internal wave sources. However, at most locations the total power lost through turbulent dissipation is less than the input into the local internal wave field. This suggests dissipation elsewhere, such as continental margins

Beluga Vocalizations Decrease in Response to Vessel Traffic in the Mackenzie River Estuary

Vessel traffic negatively affects marine mammals by causing behavioural disturbance, acoustic masking, contamination (i.e., oil spills), and ship strikes. Few studies have examined the effects of vessels on marine mammals in the Arctic, but beluga whales appear to be especially sensitive to vessel traffic. We examine how the vocalizations of belugas are impacted by vessel traffic in the Tarium Niryutait Marine Protected Area in the Mackenzie River estuary of the western Canadian Arctic. Between one and four acoustic recorders were deployed between June and August each year between 2015 and 2018 near the only shipping channel at this site. We examined beluga vocalizations from acoustic recordings over four summers and assessed how the distance to the nearest vessel passing the acoustic recorder affected the number of vocalizations. Beluga vocalizations within the range of the acoustic recorder decreased significantly when vessels were within 5 km of the acoustic recorder. This result suggests either that belugas are avoiding the vessel or that they reduce their vocalization in response to vessel traffic. Future work is needed to assess exactly how belugas are reacting to vessel traffic in this area and what the long-term consequences of these reactions are. Management measures for reducing these impacts must be carefully considered, especially since these vessels are very restricted in where they can travel, and many of the vessels are necessary for the livelihoods of local communities.La circulation maritime a des effets négatifs sur les mammifères marins, car elle entraîne des perturbations comportementales, masque leurs signaux acoustiques et engendre de la contamination (comme des déversements de pétrole) et des collisions. Bien que peu d’études aient examiné les effets des bateaux sur les mammifères marins de l’Arctique, les bélugas semblent particulièrement sensibles à la circulation maritime. Dans cet article, nous examinons en quoi les vocalisations des bélugas sont touchées par la circulation maritime dans la zone de protection marine de Tarium Niryutait faisant partie de l’estuaire du fleuve Mackenzie, dans l’ouest de l’Arctique canadien. Entre un et quatre enregistreurs acoustiques ont été déployés de juin à août de chaque année entre 2015 et 2018, à proximité du seul chenal de navigation de l’endroit. Nous avons examiné les vocalisations des bélugas prélevées à l’aide des enregistreurs acoustiques au cours de quatre étés, et évalué en quoi la distance du bateau passant le plus près de l’enregistreur acoustique avait un effet sur le nombre de vocalisations. Les vocalisations des bélugas dans la zone de l’enregistreur acoustique diminuaient considérablement lorsque les bateaux se trouvaient à moins de cinq kilomètres de l’enregistreur. Ce résultat suggère soit que les bélugas évitent les bateaux, soit qu’ils réduisent leurs vocalisations en réponse à la circulation maritime. Il y a lieu de pousser cette étude plus loin pour évaluer exactement comment les bélugas réagissent à la circulation des bateaux dans cette région, et quelles sont les conséquences à long terme de ces réactions. Il y a lieu aussi de considérer avec soin des mesures de gestion pour réduire ces incidences, surtout parce que les déplacements de ces bateaux sont assujettis à de nombreuses restrictions et parce que grand nombre des bateaux qui passent par là sont nécessaires à la subsistance des collectivités de la région. &nbsp

Hybrid nature of 0846+51W1: a BL Lac object with a narrow line Seyfert 1 nucleus

We have found a NLS1 nucleus in the extensively studied eruptive BL Lac, 0846+51W1, out of a large sample of NLS1 compiled from the spectroscopic dataset of SDSS DR1. Its optical spectrum can be well decomposed into three components, a power law component from the relativistic jet, a stellar component from the host galaxy, and a component from a typical NLS1 nucleus. The emission line properties of 0846+51W1, FWHM(Hbeta) ~ 1710 km s^-1 and [OIII]5007/Hbeta ~ 0.32 when it was in faint state, fulfil the conventional definition of NLS1. Strong FeII emission is detected in the SDSS spectrum, which is also typical of NLS1s. We try to estimate its central black hole mass using various techniques and find that 0846+51W1 is very likely emitting at a few times 10% L_Edd. We speculate that Seyfert-like nuclei, including NLS1s, might be concealed in a significant fraction of BL Lacs but have not been sufficiently explored due to the fact that, by definition, the optical-UV continuum of such kind of objects are often overwhelmed by the synchrotron emission.Comment: ChJAA accepte

Determination of circulating Mycobacterium tuberculosis strains and transmission patterns among pulmonary TB patients in Kawempe municipality, Uganda, using MIRU-VNTR

<p>Abstract</p> <p>Background</p> <p>Mycobacterial interspersed repetitive units - variable number of tandem repeats (MIRU-VNTR) genotyping is a powerful tool for unraveling clonally complex <it>Mycobacterium tuberculosis </it>(MTB) strains and detection of transmission patterns. Using MIRU-VNTR, MTB genotypes and their transmission patterns among patients with new and active pulmonary tuberculosis (PTB) in Kawempe municipality in Kampala, Uganda was determined.</p> <p>Results</p> <p>MIRU-VNTR genotyping was performed by PCR-amplification of 15 MTB-MIRU loci from 113 cultured specimens from 113 PTB patients (one culture sample per patient). To determine lineages, the genotypes were entered into the MIRU-VNTR<it>plus </it>database [<url>http://www.miru-vntrplus.org/</url>] as numerical codes corresponding to the number of alleles at each locus. Ten different lineages were obtained: Uganda II (40% of specimens), Uganda I (14%), LAM (6%), Delhi/CAS (3%), Haarlem (3%), Beijing (3%), Cameroon (3%), EAI (2%), TUR (2%) and S (1%). Uganda I and Uganda II were the most predominant genotypes. Genotypes for 29 isolates (26%) did not match any strain in the database and were considered unique. There was high diversity of MIRU-VNTR genotypes, with a total of 94 distinct patterns. Thirty four isolates grouped into 15 distinct clusters each with two to four isolates. Eight households had similar MTB strains for both index and contact cases, indicating possible transmission.</p> <p>Conclusion</p> <p>MIRU-VNTR genotyping revealed high MTB strain diversity with low clustering in Kawempe municipality. The technique has a high discriminatory power for genotyping MTB strains in Uganda.</p

Asexuality: Classification and characterization

This is a post-print version of the article. The official published version can be obtaineed at the link below.The term “asexual” has been defined in many different ways and asexuality has received very little research attention. In a small qualitative study (N = 4), individuals who self-identified as asexual were interviewed to help formulate hypotheses for a larger study. The second larger study was an online survey drawn from a convenience sample designed to better characterize asexuality and to test predictors of asexual identity. A convenience sample of 1,146 individuals (N = 41 self-identified asexual) completed online questionnaires assessing sexual history, sexual inhibition and excitation, sexual desire, and an open-response questionnaire concerning asexual identity. Asexuals reported significantly less desire for sex with a partner, lower sexual arousability, and lower sexual excitation but did not differ consistently from non-asexuals in their sexual inhibition scores or their desire to masturbate. Content analyses supported the idea that low sexual desire is the primary feature predicting asexual identity

An Exploratory Study into the Factors Impeding Ethical Consumption

Although consumers are increasingly engaged with ethical factors when forming opinions about products and making purchase decisions, recent studies have highlighted significant differences between consumers’ intentions to consume ethically, and their actual purchase behaviour. This article contributes to an understanding of this “ethical purchasing gap” through a review of existing literature, and the inductive analysis of focus group discussions. A model is suggested which includes exogenous variables such as moral maturity and age which have been well covered in the literature, together with further impeding factors identified from the focus group discussions. For some consumers, inertia in purchasing behaviour was such that the decision-making process was devoid of ethical considerations. Several manifested their ethical views through post-purchase dissonance and retrospective feelings of guilt. Others displayed a reluctance to consume ethically due to personal constraints, a perceived negative impact on image or quality, or an outright negation of responsibility. Those who expressed a desire to consume ethically often seemed deterred by cynicism, which caused them to question the impact they, as an individual, could achieve. These findings enhance the understanding of ethical consumption decisions and provide a platform for future research in this area