Hydrodynamical models of cometary H ii regions

We have modelled the evolution of cometary H ii regions produced by zero-age main-sequence stars of O and B spectral types, which are driving strong winds and are born off-centre from spherically symmetric cores with power-law (α = 2) density slopes. A model parameter grid was produced that spans stellar mass, age and core density. Exploring this parameter space, we investigated limb-brightening, a feature commonly seen in cometary H ii regions. We found that stars with mass M⋆ ≥ 12 M⊙ produce this feature. Our models have a cavity bounded by a contact discontinuity separating hot shocked wind and ionized ambient gas that is similar in size to the surrounding H ii region. Because of early pressure confinement, we did not see shocks outside of the contact discontinuity for stars with M⋆ ≤ 40 M⊙, but the cavities were found to continue to grow. The cavity size in each model plateaus as the H ii region stagnates. The spectral energy distributions of our models are similar to those from identical stars evolving in uniform density fields. The turn-over frequency is slightly lower in our power-law models as a result of a higher proportion of low-density gas covered by the H ii regions

"Boring formal methods" or "Sherlock Holmes deduction methods"?

This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective course at at TU Munich, Germany, to engage pupils studying Computer Science, IT and engineering subjects on Bachelor and Master levels. Our goal was to overcome the bias that logic and formal methods are not only very complicated but also very boring to study and to apply. In this paper, we present the core structure of the course, provide examples of exercises and evaluate the course based on the students' surveys.Comment: Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG. arXiv admin note: substantial text overlap with arXiv:1602.0517

How to Specify It!: A Guide to Writing Properties of Pure Functions

Property-based testing tools test software against a\ua0specification, rather than a set of examples. This tutorial paper presents five generic approaches to writing such specifications (for purely functional code). We discuss the costs, benefits, and bug-finding power of each approach, with reference to a simple example with eight buggy variants. The lessons learned should help the reader to develop effective property-based tests in the future

Derivation of the action and symmetries of the q-deformed AdS5×S5 superstring

This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.We recently proposed an integrable q-deformation of the AdS5 × S 5 superstring action. Here we give details on the hamiltonian origin and construction of this deformation. The procedure is a generalization of the one previously developed for deforming principal chiral and symmetric space σ-modelsPeer reviewedFinal Published versio

Effects of brodifacoum and diphacinone exposure on four species of reptiles: tissue residue levels and survivorship

BACKGROUND: Anticoagulant rodenticides are used worldwide to control pest rodent species. However, the risks posed to nontarget reptiles have not been well characterized. In this study, 46 giant ameivas (Ameiva ameiva), 39 boa constrictors (Boa constrictor), 33 wood turtles (Rhinoclemmys pulcherrima), and 47 green iguanas (Iguana iguana) were orally dosed with one of two levels of either diphacinone or brodifacoum anticoagulant in propylene glycol solutions. Dosages were derived using daily food intake (DFI) equations, converting DFI to an equivalent anticoagulant bait amount and gavaging the solution volume needed to deliver the quantity of anticoagulant in that amount of bait. Animals were dosed on days 0 and 7 and monitored for a further 7 days for signs of anticoagulant intoxication and differences in behaviors and postures. At necropsy on day 14, animals were examined for thoracic and abdominal bleeding, and both tissue and organ samples were taken for histology. Liver and wholebody anticoagulant residues were assessed. RESULTS: No turtles or boas died due to anticoagulant exposure. However, anticoagulant intoxication was suspected in one iguana dosed with brodifacoum. A few treated ameivas died but exhibited no hemorrhaging. Liver residue levels were higher than whole-body remainder residue levels for all species. Unlike the other species, turtles had higher diphacinone residue levels than brodifacoum. CONCLUSION: Turtles and boas exhibited a relative insensitivity to diphacinone and brodifacoum, while the lizards appeared to be somewhat more sensitive to these compounds. This study provides data for future assessments of the risks to these species associated with anticoagulant use

On the perturbative S-matrix of generalized sine-Gordon models

Motivated by its relation to the Pohlmeyer reduction of AdS_5 x S^5 superstring theory we continue the investigation of the generalized sine-Gordon model defined by SO(N+1)/SO(N) gauged WZW theory with an integrable potential. Extending our previous work (arXiv:0912.2958) we compute the one-loop two-particle S-matrix for the elementary massive excitations. In the N = 2 case corresponding to the complex sine-Gordon theory it agrees with the charge-one sector of the quantum soliton S-matrix proposed in hep-th/9410140. In the case of N > 2 when the gauge group SO(N) is non-abelian we find a curious anomaly in the Yang-Baxter equation which we interpret as a gauge artifact related to the fact that the scattered particles are not singlets under the residual global subgroup of the gauge group

Periodic methanol masers: from a colliding wind binary (CWB) perspective

Since the discovery of periodic class II methanol masers at 6.7 and 12.2 GHz associated with high-mass star formation regions (HMSFRs), a number of possible driving mechanisms have been proposed to explain this phenomenon. Here, we apply a more realistic treatment of the original colliding wind binary (CWB) model explanation to investigate to what extent it can describe the flare profiles of the periodic methanol masers. It was found that the CWB hypothesis is feasible from an energetics standpoint, because the emission from the shocked gas does cause an outward shift of the position of the ionization front (IF). This confirms that the energy budget available from the shocked gas is enough to be the driving force behind the CWB model. The CWB model describes the light curve of the 1.25 km s−1 12.2 GHz velocity feature of G9.62 + 0.20E very well over 4000 d. The quiescent state flux density of the 1.25 km s−1 velocity feature can also be described very well by the time-dependent change in electron density (ne). The CWB model also describes the other periodic methanol masers, G22.357 + 0.066, G37.55 + 0.20, and G45.473 + 0.134, which have similar light curves, very well. This strongly suggests that these periodic methanol masers can be described by the time-dependent change in the free–free emission from some part of the background H II region against which the masers are projected

Finite-gap equations for strings on AdS_3 x S^3 x T^4 with mixed 3-form flux

We study superstrings on AdS_3 x S^3 x T^4 supported by a combination of Ramond-Ramond and Neveu-Schwarz-Neveu-Schwarz three form fluxes, and construct a set of finite-gap equations that describe the classical string spectrum. Using the recently proposed all-loop S-matrix we write down the all-loop Bethe ansatz equations for the massive sector. In the thermodynamic limit the Bethe ansatz reproduces the finite-gap equations. As part of this derivation we propose expressions for the leading order dressing phases. These phases differ from the well-known Arutyunov-Frolov-Staudacher phase that appears in the pure Ramond-Ramond case. We also consider the one-loop quantization of the algebraic curve and determine the one-loop corrections to the dressing phases. Finally we consider some classical string solutions including finite size giant magnons and circular strings.Comment: 44 pages, 3 figures. v2: references and a discussion about perturbative results adde

An ultra scale-down method to investigate monoclonal antibody processing during tangential flow filtration (TFF) using ultrafiltration membranes

The availability of material for experimental studies is a key constraint in the development of full-scale bioprocesses. This is especially true for the later stages in a bioprocess sequence such as purification and formulation, where the product is at a relatively high concentration and traditional scale-down models can require significant volumes. Using a combination of critical flow regime analysis, bioprocess modelling and experimentation, ultra scale-down (USD) methods can yield bioprocess information using only millilitre quantities prior to embarking on highly demanding full-scale studies. In this study the performance of a pilot-scale tangential flow filtration (TFF) system based on a membrane flat-sheet cassette using pumped flow was predicted by devising an USD device comprising a stirred cell using a rotating disc. The USD device operates with just 2.1 cm2 of membrane area and for example just 1.7 mL of feed for diafiltration studies. The novel features of the design involve optimisation of the disc location and the membrane configuration to yield an approximately uniform shear rate. This is as characterised using computational fluid dynamics for a defined layer above the membrane surface. A pilot-scale TFF device operating at ~500-fold larger feed volume and membrane area was characterised in terms of the shear rate derived from flow rate-pressure drop relationships for the cassette. Good agreement was achieved between the USD and TFF devices for the flux and resistance values at equivalent average shear rates for a monoclonal antibody diafiltration stage. This article is protected by copyright. All rights reserved