A Semantic Hierarchy for Erasure Policies

We consider the problem of logical data erasure, contrasting with physical erasure in the same way that end-to-end information flow control contrasts with access control. We present a semantic hierarchy for erasure policies, using a possibilistic knowledge-based semantics to define policy satisfaction such that there is an intuitively clear upper bound on what information an erasure policy permits to be retained. Our hierarchy allows a rich class of erasure policies to be expressed, taking account of the power of the attacker, how much information may be retained, and under what conditions it may be retained. While our main aim is to specify erasure policies, the semantic framework allows quite general information-flow policies to be formulated for a variety of semantic notions of secrecy.Comment: 18 pages, ICISS 201

Pectus updates and special considerations in Marfan syndrome.

Congenital chest wall or pectus deformities including pectus excavatum (funnel chest) and pectus carinatum (pigeon chest) affect a significant proportion of the general population and up to 70% of patients with Marfan syndrome. Patients often experience significant morbidity and psychological distress, which can worsen with age. Here we discuss new techniques for both operative and non-operative treatment of pectus deformity, the importance of a welltimed intervention and special considerations in patients with Marfan syndrome

Hopping Conduction and Bacteria: Transport in Disordered Reaction-Diffusion Systems

We report some basic results regarding transport in disordered reaction-diffusion systems with birth (A->2A), death (A->0), and binary competition (2A->A) processes. We consider a model in which the growth process is only allowed to take place in certain areas--"oases"--while the rest of space--the "desert"--is hostile to growth. In the limit of low oasis density, transport is mediated through rare "hopping" events, necessitating the inclusion of discreteness effects in the model. By first considering transport between two oases, we are able to derive an approximate expression for the average time taken for a population to traverse a disordered medium.Comment: 4 pages, 2 figure

The Adaptive Priority Queue with Elimination and Combining

Priority queues are fundamental abstract data structures, often used to manage limited resources in parallel programming. Several proposed parallel priority queue implementations are based on skiplists, harnessing the potential for parallelism of the add() operations. In addition, methods such as Flat Combining have been proposed to reduce contention by batching together multiple operations to be executed by a single thread. While this technique can decrease lock-switching overhead and the number of pointer changes required by the removeMin() operations in the priority queue, it can also create a sequential bottleneck and limit parallelism, especially for non-conflicting add() operations. In this paper, we describe a novel priority queue design, harnessing the scalability of parallel insertions in conjunction with the efficiency of batched removals. Moreover, we present a new elimination algorithm suitable for a priority queue, which further increases concurrency on balanced workloads with similar numbers of add() and removeMin() operations. We implement and evaluate our design using a variety of techniques including locking, atomic operations, hardware transactional memory, as well as employing adaptive heuristics given the workload.Comment: Accepted at DISC'14 - this is the full version with appendices, including more algorithm

Simplified methods of assessing the impact of grid frequency dynamics upon generating plants

The frequency of the national electricity grid is affected by fluctuations in supply and demand, and so continually "judders" in an essentially unpredictable fashion around 50 Hz. At present such perturbations do not seemingly affect Nuclear Electric as most of their plant is run at more or less constant load, but they would like to be able to offer the national grid a mode of operation in which they "followed" the grid frequency: i.e., as the frequency rose above or fell below 50 Hz, the plant's output would be adjusted so as to tend to restore the frequency to 50 Hz. The aim is to maintain grid frequency within 0.2 Hz of its notional value. Such a mode of operation, however, would cause a certain amount of damage to plant components owing to the consequent continual changes in temperature and pressure within them. Nuclear Electric currently have complex computational models of how plants will behave under these conditions, which allows them to compute plant data (e.g., reactor temperatures) from given grid frequency data. One approach to damage assessment would require several years'-worth of real grid data to be fed into this model and the corresponding damage computed (via "cycle distributions" created by their damage experts). The results of this analysis would demonstrate one of three possibilities: the damage may be acceptable under all reasonable operating conditions; or it may be acceptable except in the case of an exceptional abrupt change in grid frequency (caused by power transmission line failure, or another power station suddenly going off-line, for instance), in which case some kind of backup supply (e.g., gas boilers) would be required; or it may simply be unacceptable. However, their current model runs in approximately real time, making it inappropriate for such a large amount of data: our problem was to suggest alternative approaches. Specifically, we were asked the following questions: - Can component damage be reliably estimated directly from cycle distributions of grid frequency? i.e., are there maps from frequency cycle distributions to plant parameter cycle distributions? - Can a simple model of plant dynamics be used to assess the potential for such maps? - What methods can be used to select representative samples of grid frequency behaviour? - What weightings should be applied to the selections? - Is it possible to construct a "cycle transform" (Fourier transform) which will capture the essential features of grid frequency and which can then be inverted to generate simulated frequency transients? We did not consider this last question, other than to say "probably not". We were supplied with data of the actual grid frequency measurements for the evening of 29/7/95, and the corresponding plant responses (obtained using Nuclear Electric's current computational model). A simplified nonlinear mathematical model of the plant was also provided. Two main approaches were considered: statistical prediction and analytical modelling via a reduction of the simplified plant model

K3-fibered Calabi-Yau threefolds I, the twist map

A construction of Calabi-Yaus as quotients of products of lower-dimensional spaces in the context of weighted hypersurfaces is discussed, including desingularisation. The construction leads to Calabi-Yaus which have a fiber structure, in particular one case has K3 surfaces as fibers. These Calabi-Yaus are of some interest in connection with Type II -heterotic string dualities in dimension 4. A section at the end of the paper summarises this for the non-expert mathematician.Comment: 31 pages LaTeX, 11pt, 2 figures. To appear in International Journal of Mathematics. On the web at http://personal-homepages.mis.mpg.de/bhunt/preprints.html , #

Processingâ Dependent Microstructure of AgClâ CsAgCl2 Eutectic Photonic Crystals

Directional solidification of a eutectic melt allows control over the resultant eutectic microstructure, which in turn impacts both the mechanical and optical properties of the material. These selfâ organized phaseâ separated eutectic materials can be tuned to have periodicities from tens of micrometers down to nanometers. Furthermore, the two phases possess differences in their refractive index leading to interesting optical properties that can be tailored within the visible to infrared wavelength regime. It is found the binary salt eutectic AgClâ CsAgCl2 system forms a rod microstructure with sample draw rates up to 0.2 mm sâ 1 which transitions to a lamellar microstructure at draw rates greater than 0.36 mm sâ 1. Heatâ transfer simulations reveal a draw rateâ dependent direction of motion of the solidification front, which for a range of draw rates requires nucleation of the minority solid phase at the sample wall. Phaseâ field modeling indicates that the initial eutectic structure at the sample boundary, either rod or lamellar, dictates the bulk eutectic morphology. These samples contain submicrometer periodicities which coupled with their optical transparency results in them exhibiting draw rateâ dependent nearâ IR reflectance peaks consistent with stop bands for 2D hexagonal (rod) and 1D planar (lamellar) photonic crystals.The eutectic composition of the molten salts AgCl and CsCl exhibits a microstructural transition from rod to lamellar upon varying the draw rates controlled by directional solidification. This transition is dominated by the initial formation at the surface of either the rod or lamellar structure. The resultant eutectic microstructures have optical properties consistent with their being 2D and 1D photonic crystals.Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/145412/1/adom201701316.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/145412/2/adom201701316_am.pdfhttps://deepblue.lib.umich.edu/bitstream/2027.42/145412/3/adom201701316-sup-0001-S1.pd

Natural Connections Demonstration Project, 2012- 2016: Final Report

This report presents the key findings from the Natural Connections Demonstration Project, that aimed to encourage teachers to take curricular learning outdoors. The project was commissioned by DEFRA, Natural England and Historic England, and delivered by a team at Plymouth University. 125 schools contributed to the evaluation which found that: 1. schools most likely to engage with outdoor learning displayed strong leadership and were open-minded about trying new things 2. schools reported a statistically-significant increase in the amount of time spent on outdoor learning activity across the project 3. Schools adopted many different models of outdoor learning 4. Schools invested time, goodwill, energy and funding in outdoor learning 5. Over 90 per cent of responding schools agreed that outdoor learning was useful for curriculum delivery 6. Outdoor learning had positive impacts for teachers and pupils 7. the project model of distributed independent brokerage was found to have the capacity to unlock latent demand for outdoor learning in schools, and to support schools in embedding low-cost outdoor learning practice

ALMA reveals the feeding of the Seyfert 1 nucleus in NGC 1566

We report ALMA observations of CO(3-2) emission in the Seyfert 1 galaxy NGC 1566, at a spatial resolution of 25 pc. Our aim is to investigate the morphology and dynamics of the gas inside the central kpc, and to probe nuclear fueling and feedback phenomena. NGC 1566 has a nuclear bar of 1.7 kpc radius and a conspicuous grand design spiral starting from this radius. The ALMA field of view, of diameter 0.9 kpc, lies well inside the nuclear bar and reveals a molecular trailing spiral structure from 50 to 300~pc in size, which is contributing to fuel the nucleus, according to its negative gravity torques. The spiral starts with a large pitch angle from the center and then winds up in a pseudo-ring at the inner Lindblad resonance (ILR) of the nuclear bar. This is the first time that a trailing spiral structure is clearly seen driving the gas inwards inside the ILR ring of the nuclear bar. This phenomenon shows that the massive central black hole has a significant dynamical influence on the gas, triggering its fueling. The gaseous spiral is well correlated with the dusty spiral seen through extinction in HST images, and also with a spiral feature emitting 0.87mm continuum. This continuum emission must come essentially from cold dust heated by the interstellar radiation field. The HCN(4-3) and HCO+(4-3) lines were simultaneously mapped and detected in the nuclear spiral. The HCO+(4-3) line is 3 times stronger than the HCN(4-3), as expected when star formation excitation dominates over active galactic nucleus (AGN) heating. The CO(3-2)/HCO+(4-3) integrated intensity ratio is \sim 100. The molecular gas is in remarkably regular rotation, with only slight non-circular motions at the periphery of the nuclear spiral arms. These perturbations are quite small, and no outflow nor AGN feedback is detected.Comment: 11 pages, 16 figures, accepted in Astronomy and Astrophysic