A Molecular Counterpart to the Herbig-Haro 1-2 Flow

We present high angular resolution (12"-24") and high sensitivity 12CO and 13CO J=2-1 and J=1-0 observations of the HH 1-2 outflow. The observations show the molecular counterpart, moving with a velocity of approx. 30 km/s, of the optical bipolar system driven by the VLA 1 embedded source. Along the optical jet there are certain regions where the molecular gas reaches deprojected velocities of 100-200 km/s, and that we interpret as the molecular jet. The bipolar CO outflow has a length of approx. 260" with a curved morphology towards the North where it extends beyond the HH 1 object (approx. 120") . Two new molecular outflows have been detected, one arising from IRAS 05339-0647 which excites the HH 147 optical flow and another powered by VLA 2 which drives the HH 144 optical outflow. The molecular outflow driven by the VLA 3 source is also clearly detected and spatially resolved from the VLA 1 main outflow.Comment: 14 pages, 4 figures, accepted ApJLet

An Improved Implementation and Abstract Interface for Hybrid

Hybrid is a formal theory implemented in Isabelle/HOL that provides an interface for representing and reasoning about object languages using higher-order abstract syntax (HOAS). This interface is built around an HOAS variable-binding operator that is constructed definitionally from a de Bruijn index representation. In this paper we make a variety of improvements to Hybrid, culminating in an abstract interface that on one hand makes Hybrid a more mathematically satisfactory theory, and on the other hand has important practical benefits. We start with a modification of Hybrid's type of terms that better hides its implementation in terms of de Bruijn indices, by excluding at the type level terms with dangling indices. We present an improved set of definitions, and a series of new lemmas that provide a complete characterization of Hybrid's primitives in terms of properties stated at the HOAS level. Benefits of this new package include a new proof of adequacy and improvements to reasoning about object logics. Such proofs are carried out at the higher level with no involvement of the lower level de Bruijn syntax.Comment: In Proceedings LFMTP 2011, arXiv:1110.668

High Excitation Molecular Gas in the Magellanic Clouds

We present the first survey of submillimeter CO 4-3 emission in the Magellanic Clouds. The survey is comprised of 15 6'x6' maps obtained using the AST/RO telescope toward the molecular peaks of the Large and Small Magellanic Clouds. We have used these data to constrain the physical conditions in these objects, in particular their molecular gas density and temperature. We find that there are significant amounts of molecular gas associated with most of these molecular peaks, and that high molecular gas temperatures are pervasive throughout our sample. We discuss whether this may be due to the low metallicities and the associated dearth of gas coolants in the Clouds, and conclude that the present sample is insufficient to assert this effect.Comment: 18 pages, 3 figures, 5 tables. To appear in Ap

A meteorite-dropping superbolide from the catastrophically disrupted comet C1919Q2 Metcalf: a pathway for meteorites from Jupiter family comets

2 pages, 1 figure.-- Contributed to: 40th Lunar and Planetary Science Conference (The Woodlands, Texas ,Mar 23-27, 2009).It is widely accepted that cometary nuclei are composed of a mix of volatile ices and meteoritic materials. In a series of seminal papers F. L. Whipple tried to explain how the irregular internal structure of each nuclei would be able to explain the nongravitational forces, and how the continuous sublimation of the ice species would lead to explain the origin of meteoroid streams. Not essential progress was made until that the approach of a cruise of international spacecrafts to comet 1P/Halley allowed to achieve the first direct view of a cometary nucleus.Peer reviewe

Mechano-Optical Analysis of Single Cells with Transparent Microcapillary Resonators

The study of biophysical properties of single cells is becoming increasingly relevant in cell biology and pathology. The measurement and tracking of magnitudes such as cell stiffness, morphology, and mass or refractive index have brought otherwise inaccessible knowledge about cell physiology, as well as innovative methods for high-throughput label-free cell classification. In this work, we present hollow resonator devices based on suspended glass microcapillaries for the simultaneous measurement of single-cell buoyant mass and reflectivity with a throughput of 300 cells/minute. In the experimental methodology presented here, both magnitudes are extracted from the devices' response to a single probe, a focused laser beam that enables simultaneous readout of changes in resonance frequency and reflected optical power of the devices as cells flow within them. Through its application to MCF-7 human breast adenocarcinoma cells and MCF-10A nontumorigenic cells, we demonstrate that this mechano-optical technique can successfully discriminate pathological from healthy cells of the same tissue type

Circulation first – the time has come to question the sequencing of care in the ABCs of trauma; an American Association for the Surgery of Trauma multicenter trial

Background The traditional sequence of trauma care: Airway, Breathing, Circulation (ABC) has been practiced for many years. It became the standard of care despite the lack of scientific evidence. We hypothesized that patients in hypovolemic shock would have comparable outcomes with initiation of bleeding treatment (transfusion) prior to intubation (CAB), compared to those patients treated with the traditional ABC sequence. Methods This study was sponsored by the American Association for the Surgery of Trauma multicenter trials committee. We performed a retrospective analysis of all patients that presented to trauma centers with presumptive hypovolemic shock indicated by pre-hospital or emergency department hypotension and need for intubation from January 1, 2014 to July 1, 2016. Data collected included demographics, timing of intubation, vital signs before and after intubation, timing of the blood transfusion initiation related to intubation, and outcomes. Results From 440 patients that met inclusion criteria, 245 (55.7%) received intravenous blood product resuscitation first (CAB), and 195 (44.3%) were intubated before any resuscitation was started (ABC). There was no difference in ISS, mechanism, or comorbidities. Those intubated prior to receiving transfusion had a lower GCS than those with transfusion initiation prior to intubation (ABC: 4, CAB:9, p = 0.005). Although mortality was high in both groups, there was no statistically significant difference (CAB 47% and ABC 50%). In multivariate analysis, initial SBP and initial GCS were the only independent predictors of death. Conclusion The current study highlights that many trauma centers are already initiating circulation first prior to intubation when treating hypovolemic shock (CAB), even in patients with a low GCS. This practice was not associated with an increased mortality. Further prospective investigation is warranted. Trial registration IRB approval number: HM20006627. Retrospective trial not registered