Chandra Observations of Extended X-ray Emission in Arp 220

We resolve the extended X-ray emission from the prototypical ultraluminous infrared galaxy Arp 220. Extended, faint edge-brightened, soft X-ray lobes outside the optical galaxy are observed to a distance of 10 to 15 kpc on each side of the nuclear region. Bright plumes inside the optical isophotes coincide with the optical line emission and extend 11 kpc from end to end across the nucleus. The data for the plumes cannot be fit by a single temperature plasma, and display a range of temperatures from 0.2 to 1 keV. The plumes emerge from bright, diffuse circumnuclear emission in the inner 3 kpc centered on the Halpha peak, which is displaced from the radio nuclei. There is a close morphological correspondence between the Halpha and soft X-ray emission on all spatial scales. We interpret the plumes as a starburst-driven superwind, and discuss two interpretations of the emission from the lobes in the context of simulations of the merger dynamics of Arp 220.Comment: Accepted for publication in ApJ; see also astro-ph/0208477 (Paper 1

Excitations in confined helium

We design models for helium in matrices like aerogel, Vycor or Geltech from a manifestly microscopic point of view. For that purpose, we calculate the dynamic structure function of 4He on Si substrates and between two Si walls as a function of energy, momentum transfer, and the scattering angle. The angle--averaged results are in good agreement with the neutron scattering data; the remaining differences can be attributed to the simplified model used here for the complex pore structure of the materials. A focus of the present work is the detailed identification of coexisting layer modes and bulk--like excitations, and, in the case of thick films, ripplon excitations. Involving essentially two--dimensional motion of atoms, the layer modes are sensitive to the scattering angle.Comment: Phys. Rev. B (2003, in press

Nuclear gas dynamics in Arp 220 - sub-kiloparsec scale atomic hydrogen disks

We present new, high angular resolution (~0.22") MERLIN observations of neutral hydrogen (HI) absorption and 21-cm radio continuum emission across the central ~900 parsecs of the ultraluminous infrared galaxy, Arp220. Spatially resolved HI absorption is detected against the morphologically complex and extended 21-cm radio continuum emission, consistent with two counterrotating disks of neutral hydrogen, with a small bridge of gas connecting the two. We propose a merger model in which the two nuclei represent the galaxy cores which have survived the initial encounter and are now in the final stages of merging, similar to conclusions drawn from previous CO studies (Sakamoto, Scoville & Yun 1999). However, we suggest that instead of being coplanar with the main CO disk (in which the eastern nucleus is embedded), the western nucleus lies above it and, as suggested by bridge of HI connecting the two nuclei, will soon complete its final merger with the main disk. We suggest that the collection of radio supernovae (RSN) detected in VLBA studies in the more compact western nucleus represent the second burst of star formation associated with this final merger stage and that free-free absorption due to ionised gas in the bulge-like component can account for the observed RSN distribution. (Abridged)Comment: 26 pages including 8 figures and 1 table; accepted for publication in Ap

Probabilistic Model Checking for Energy Analysis in Software Product Lines

In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one. Several verification techniques were adapted to establish temporal properties of SPLs. Symbolic and family-based model checking have been proven to be successful for tackling the combinatorial blow-up arising when reasoning about several feature combinations. However, most formal verification approaches for SPLs presented in the literature focus on the static SPLs, where the features of a product are fixed and cannot be changed during runtime. This is in contrast to dynamic SPLs, allowing to adapt feature combinations of a product dynamically after deployment. The main contribution of the paper is a compositional modeling framework for dynamic SPLs, which supports probabilistic and nondeterministic choices and allows for quantitative analysis. We specify the feature changes during runtime within an automata-based coordination component, enabling to reason over strategies how to trigger dynamic feature changes for optimizing various quantitative objectives, e.g., energy or monetary costs and reliability. For our framework there is a natural and conceptually simple translation into the input language of the prominent probabilistic model checker PRISM. This facilitates the application of PRISM's powerful symbolic engine to the operational behavior of dynamic SPLs and their family-based analysis against various quantitative queries. We demonstrate feasibility of our approach by a case study issuing an energy-aware bonding network device.Comment: 14 pages, 11 figure

Modeling the growth of multicellular cancer spheroids in a\ud bioengineered 3D microenvironment and their treatment with an\ud anti-cancer drug

A critical step in the dissemination of ovarian cancer cells is the formation of multicellular spheroids from cells shed from the primary tumor. The objectives of this study were to establish and validate bioengineered three-dimensional (3D) microenvironments for culturing ovarian cancer cells in vitro and simultaneously to develop computational models describing the growth of multicellular spheroids in these bioengineered matrices. Cancer cells derived from human epithelial ovarian carcinoma were embedded within biomimetic hydrogels of varying stiffness and cultured for up to 4 weeks. Immunohistochemistry was used to quantify the dependence of cell proliferation and apoptosis on matrix stiffness, long-term culture and treatment with the anti-cancer drug paclitaxel.\ud \ud Two computational models were developed. In the first model, each spheroid was treated as an incompressible porous medium, whereas in the second model the concept of morphoelasticity was used to incorporate details about internal stresses and strains. Each model was formulated as a free boundary problem. Functional forms for cell proliferation and apoptosis motivated by the experimental work were applied and the predictions of both models compared with the output from the experiments. Both models simulated how the growth of cancer spheroids was influenced by mechanical and biochemical stimuli including matrix stiffness, culture time and treatment with paclitaxel. Our mathematical models provide new perspectives on previous experimental results and have informed the design of new 3D studies of multicellular cancer spheroids

Growth of confined cancer spheroids: a combined experimental and mathematical modelling approach

We have integrated a bioengineered three-dimensional platform by generating multicellular cancer spheroids in a controlled microenvironment with a mathematical model to investigate\ud confined tumour growth and to model its impact on cellular processes

Observation of Single Transits in Supercooled Monatomic Liquids

A transit is the motion of a system from one many-particle potential energy valley to another. We report the observation of transits in molecular dynamics (MD) calculations of supercooled liquid argon and sodium. Each transit is a correlated simultaneous shift in the equilibrium positions of a small local group of particles, as revealed in the fluctuating graphs of the particle coordinates versus time. This is the first reported direct observation of transit motion in a monatomic liquid in thermal equilibrium. We found transits involving 2 to 11 particles, having mean shift in equilibrium position on the order of 0.4 R_1 in argon and 0.25 R_1 in sodium, where R_1 is the nearest neighbor distance. The time it takes for a transit to occur is approximately one mean vibrational period, confirming that transits are fast.Comment: 19 pages, 8 figure

Quantum sticking, scattering and transmission of 4He atoms from superfluid 4He surfaces

We develop a microscopic theory of the scattering, transmission, and sticking of 4He atoms impinging on a superfluid 4He slab at near normal incidence, and inelastic neutron scattering from the slab. The theory includes coupling between different modes and allows for inelastic processes. We find a number of essential aspects that must be observed in a physically meaningful and reliable theory of atom transmission and scattering; all are connected with multiparticle scattering, particularly the possibility of energy loss. These processes are (a) the coupling to low-lying (surface) excitations (ripplons/third sound) which is manifested in a finite imaginary part of the self energy, and (b) the reduction of the strength of the excitation in the maxon/roton region

Mitigation of Electrostatic Hazards on Spacecraft

Spacecraft are complex systems operating in challenging environments that require customized testing procedures designed to mitigate the unique hazards of a space launch environment. As an example of those testing procedures, we describe the test methodology and recommendations developed to mitigate electrostatic discharges that could have triggered an explosion of the Space Shuttle during launch, return to launch site, abort after one orbit, or during normal landing