Multiple energetic injections in a strong spike-like solar burst

An intense and fast spike-like solar burst was built up of short time scale structures superimposed on an underlying gradual emission, the time evolution of which shows remarkable proportionality between hard X-ray and microwave fluxes. The finer time structure were best defined at mm-microwaves. At the peak of the event, the finer structures repeat every 30x60ms. The more slowly varying component with a time scale of about 1 second was identified in microwave hard X-rays throughout the burst duration. It is suggested that X-ray fluxes might also be proportional to the repetition rate of basic units of energy injection (quasi-quantized). The relevant parameters of one primary energy release site are estimated both in the case where hard X-rays are produced primarily by thick-target bremsstrahlung, and when they are purely thermal. The relation of this figure to global energy considerations is discussed

Accretion of gas onto nearby spiral galaxies

We present evidence for cosmological gas accretion onto spiral galaxies in the local universe. The accretion is seen through its effects on the dynamics of the extra-planar neutral gas. The accretion rates that we estimate for two nearby spiral galaxies are of the order of their star formation rates. Our model shows that most of the extra-planar gas is produced by supernova feedback (galactic fountain) and only 10-20 % comes from accretion. The accreting material must have low specific angular momentum about the disc's spin axis, although the magnitude of the specific angular-momentum vector can be higher. We also explore the effects of a hot corona on the dynamics of the extra-planar gas and find that it is unlikely to be responsible for the observed kinematical pattern and the source of accreted gas. However, the interaction with the fountain flow should profoundly affect the hydrodynamics of the corona.Comment: 11 pages, 6 figures, accepted for publication in MNRA

Reconstructing Deconstruction: High-Velocity Cloud Distance Through Disruption Morphology

We present Arecibo L-band Feed Array 21-cm observations of a sub-complex of HVCs at the tip of the Anti-Center Complex. These observations show morphological details that point to interaction with the ambient halo medium and differential drag within the cloud sub-complex. We develop a new technique for measuring cloud distances, which relies upon these observed morphological and kinematic characteristics, and show that it is consistent with H-alpha distances. These results are consistent with distances to HVCs and halo densities derived from models in which HVCs are formed from cooling halo gas.Comment: 8 pages, 2 figures, 1 tabe, Accepted to Ap

Breathing in Low Mass Galaxies: A Study of Episodic Star Formation

We simulate the collapse of isolated dwarf galaxies using SPH + N-Body simulations including a physically motivated description of the effects of supernova feedback. As the gas collapses and stars form, the supernova feedback disrupts enough gas to temporarily quench star formation. The gas flows outward into a hot halo, where it cools until star formation can continue once more and the cycle repeats. The star formation histories of isolated Local Group dwarf galaxies exhibit similar episodic bursts of star formation. We examine the mass dependence of the stellar velocity dispersions and find that they are no less than half the velocity of the halos measured at the virial radius.Comment: 5 pages, 3 figures, accepted ApJ. Full resolution figures and movies available at http://hpcc.astro.washington.edu/feedbac

A burst with double radio spectrum observed up to 212 GHz

We study a solar flare that occurred on September 10, 2002, in active region NOAA 10105 starting around 14:52 UT and lasting approximately 5 minutes in the radio range. The event was classified as M2.9 in X-rays and 1N in H\alpha. Solar Submillimeter Telescope observations, in addition to microwave data give us a good spectral coverage between 1.415 and 212 GHz. We combine these data with ultraviolet images, hard and soft X-rays observations and full-disk magnetograms. Images obtained from Ramaty High Energy Solar Spectroscopic Imaging data are used to identify the locations of X-ray sources at different energies and to determine the X-ray spectrum, while ultra violet images allow us to characterize the coronal flaring region. The magnetic field evolution of the active region is analyzed using Michelson Doppler Imager magnetograms. The burst is detected at all available radio-frequencies. X-ray images (between 12 keV and 300 keV) reveal two compact sources and 212 GHz data, used to estimate the radio source position, show a single compact source displaced by 25" from one of the hard X-ray footpoints. We model the radio spectra using two homogeneous sources, and combine this analysis with that of hard X-rays to understand the dynamics of the particles. Relativistic particles, observed at radio wavelengths above 50 GHz, have an electron index evolving with the typical soft-hard-soft behaviour.Comment: Submitted to Solar Physics, 20 pages, 8 fugure

Optical properties of metallic (III,Mn)V ferromagnetic semiconductors in the infrared to visible range

We report on a study of the ac conductivity and magneto-optical properties of metallic ferromagnetic (III,Mn)V semiconductors in the infrared to visible spectrum. Our analysis is based on the successful kinetic exchange model for (III,Mn)V ferromagnetic semiconductors. We perform the calculations within the Kubo formalism and treat the disorder effects pertubatively within the Born approximation, valid for the metallic regime. We consider an eight-band Kohn-Luttinger model (six valence bands plus two conduction bands) as well as a ten-band model with additional dispersionless bands simulating phenomenologically the upper-mid-gap states induced by antisite and interstitial impurities. These models qualitatively account for optical-absorption experiments and predict new features in the mid-infrared Kerr angle and magnetic-circular-dichroism properties as a function of Mn concentration and free carrier density.Comment: 10 pages, 7 figures, some typos correcte

Simultaneous Embeddability of Two Partitions

We study the simultaneous embeddability of a pair of partitions of the same underlying set into disjoint blocks. Each element of the set is mapped to a point in the plane and each block of either of the two partitions is mapped to a region that contains exactly those points that belong to the elements in the block and that is bounded by a simple closed curve. We establish three main classes of simultaneous embeddability (weak, strong, and full embeddability) that differ by increasingly strict well-formedness conditions on how different block regions are allowed to intersect. We show that these simultaneous embeddability classes are closely related to different planarity concepts of hypergraphs. For each embeddability class we give a full characterization. We show that (i) every pair of partitions has a weak simultaneous embedding, (ii) it is NP-complete to decide the existence of a strong simultaneous embedding, and (iii) the existence of a full simultaneous embedding can be tested in linear time.Comment: 17 pages, 7 figures, extended version of a paper to appear at GD 201

An open extensible tool environment for Event-B

Abstract. We consider modelling indispensable for the development of complex systems. Modelling must be carried out in a formal notation to reason and make meaningful conjectures about a model. But formal modelling of complex systems is a difficult task. Even when theorem provers improve further and get more powerful, modelling will remain difficult. The reason for this that modelling is an exploratory activity that requires ingenuity in order to arrive at a meaningful model. We are aware that automated theorem provers can discharge most of the onerous trivial proof obligations that appear when modelling systems. In this article we present a modelling tool that seamlessly integrates modelling and proving similar to what is offered today in modern integrated development environments for programming. The tool is extensible and configurable so that it can be adapted more easily to different application domains and development methods.

Statistically derived contributions of diverse human influences to twentieth-century temperature changes

The warming of the climate system is unequivocal as evidenced by an increase in global temperatures by 0.8 °C over the past century. However, the attribution of the observed warming to human activities remains less clear, particularly because of the apparent slow-down in warming since the late 1990s. Here we analyse radiative forcing and temperature time series with state-of-the-art statistical methods to address this question without climate model simulations. We show that long-term trends in total radiative forcing and temperatures have largely been determined by atmospheric greenhouse gas concentrations, and modulated by other radiative factors. We identify a pronounced increase in the growth rates of both temperatures and radiative forcing around 1960, which marks the onset of sustained global warming. Our analyses also reveal a contribution of human interventions to two periods when global warming slowed down. Our statistical analysis suggests that the reduction in the emissions of ozone-depleting substances under the Montreal Protocol, as well as a reduction in methane emissions, contributed to the lower rate of warming since the 1990s. Furthermore, we identify a contribution from the two world wars and the Great Depression to the documented cooling in the mid-twentieth century, through lower carbon dioxide emissions. We conclude that reductions in greenhouse gas emissions are effective in slowing the rate of warming in the short term.F.E. acknowledges financial support from the Consejo Nacional de Ciencia y Tecnologia (http://www.conacyt.gob.mx) under grant CONACYT-310026, as well as from PASPA DGAPA of the Universidad Nacional Autonoma de Mexico. (CONACYT-310026 - Consejo Nacional de Ciencia y Tecnologia; PASPA DGAPA of the Universidad Nacional Autonoma de Mexico