Detecting the signatures of helium in type Iax supernovae

Recent studies have argued that the progenitor system of type Iax supernovae must consist of a carbon-oxygen white dwarf accreting from a helium star companion. Based on existing explosion models invoking the pure deflagration of carbon-oxygen white dwarfs, we investigate the likelihood of producing spectral features due to helium in type Iax supernovae. From this scenario, we select those explosion models producing ejecta and $^{56}$Ni masses that are broadly consistent with those estimated for type Iax supernovae (0.014 - 0.478~$M_{\odot}$ and $\sim0.003$ - 0.183~$M_{\odot}$, respectively). To this end, we present a series of models of varying luminosities ($-18.4 \lesssim M_{\rm{V}} \lesssim -14.5$~mag) with helium abundances accounting for up to $\sim$36\% of the ejecta mass, and covering a range of epochs beginning a few days before B$-$band maximum to approximately two weeks after maximum. We find that the best opportunity for detecting \ion{He}{i} features is at near-infrared wavelengths, and in the post-maximum spectra of the fainter members of this class. We show that the optical spectrum of SN~2007J is potentially consistent with a large helium content (a few 10$^{-2}~M_{\odot}$), but argue that current models of accretion and material stripping from a companion struggle to produce compatible scenarios. We also investigate the presence of helium in all objects with near-infrared spectra. We show that SNe~2005hk, 2012Z, and 2015H contain either no helium or their helium abundances are constrained to much lower values ($\lesssim$10$^{-3}~M_{\odot}$). Our results demonstrate the differences in helium content among type Iax supernovae, perhaps pointing to different progenitor channels. Either SN~2007J is an outlier in terms of its progenitor system, or it is not a true member of the type Iax supernova class.Comment: 15 pages, 12 figures, 2 tables. Accepted for publication in Astronomy and Astrophysic

Fluent temporal logic for discrete-time event-based models

Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-based and state-based formalisms is defined through fluents which are state predicates whose value are determined by the occurrences of initiating and terminating events that make the fluents values become true or false, respectively. The existing fluent temporal logic is convenient for reasoning about untimed event-based models but difficult to use for timed models. The paper extends fluent temporal logic with temporal operators for modelling timed properties of discrete-time event-based models. It presents two approaches that differ on whether the properties model the system state after the occurrence of each event or at a fixed time rate. Model checking of timed properties is made possible by translating them into the existing untimed framework. Copyright 2005 ACM

Flame Spreading over the Surface of Double Base Propellants at High Pressure Annual Report

Flame spreading over igniting surface of double base propellants in high pressure quiescent environmen

Inductive learning spatial attention

This paper investigates the automatic induction of spatial attention from the visual observation of objects manipulated on a table top. In this work, space is represented in terms of a novel observer-object relative reference system, named Local Cardinal System, defined upon the local neighbourhood of objects on the table. We present results of applying the proposed methodology on five distinct scenarios involving the construction of spatial patterns of coloured blocks

Underuse of coronary revascularization procedures in patients considered appropriate candidates for revascularization.

Background: Ratings by an expert panel of the appropriateness of treatments may offer better guidance for clinical practice than the variable decisions of individual clinicians, yet there have been no prospective studies of clinical outcomes. We compared the clinical outcomes of patients treated medically after angiography with those of patients who underwent revascularization, within groups defined by ratings of the degree of appropriateness of revascularization in varying clinical circumstances.Methods: This was a prospective study of consecutive patients undergoing coronary angiography at three London hospitals. Before patients were recruited, a nine-member expert panel rated the appropriateness of percutaneous transluminal coronary angioplasty (PTCA) and coronary-artery bypass grafting (CABG) on a nine-point scale (with 1 denoting highly inappropriate and 9 denoting highly appropriate) for specific clinical indications. These ratings were then applied to a population of patients with coronary artery disease. However, the patients were treated without regard to the ratings. A total of 2552 patients were followed for a median of 30 months after angiography.Results: Of 908 patients with indications for which PTCA was rated appropriate (score, 7 to 9), 34 percent were treated medically; these patients were more likely to have angina at follow-up than those who underwent PTCA (odds ratio, 1.97; 95 percent confidence interval, 1.29 to 3.00). Of 1353 patients with indications for which CABG was considered appropriate, 26 percent were treated medically; they were more likely than those who underwent CABG to die or have a nonfatal myocardial infarction - the composite primary outcome (hazard ratio, 4.08; 95 percent confidence interval, 2.82 to 5.93) - and to have angina (odds ratio, 3.03; 95 percent confidence interval, 2.08 to 4.42). Furthermore, there was a graded relation between rating and outcome over the entire scale of appropriateness (P for linear trend = 0.002).Conclusions: On the basis of the ratings of the expert panel, we identified substantial underuse of coronary revascularization among patients who were considered appropriate candidates for these procedures. Underuse was associated with adverse clinical outcomes. (N Engl J Med 2001;344:645-54.) Copyright (C) 2001 Massachusetts Medical Society

A comprehensive study of infrared OH prompt emission in two comets. I. Observations and effective g-factors

We present high-dispersion infrared spectra of hydroxyl (OH) in comets C/2000 WM1 (LINEAR) and C/2004 Q2 (Machholz), acquired with the Near Infrared Echelle Spectrograph at the Keck Observatory atop Mauna Kea, Hawaii. Most of these rovibrational transitions result from photodissociative excitation of H_2O giving rise to OH "prompt" emission. We present calibrated emission efficiencies (equivalent g-factors, measured in OH photons s^(-1) [H_2O molecule]^(-1)) for more than 20 OH lines sampled in these two comets. The OH transitions analyzed cover a broad range of rotational excitation. This infrared database for OH can be used in two principal ways: (1) as an indirect tool for obtaining water production in comets simultaneously with the production of other parent volatiles, even when direct detections of H_2O are not available; and (2) as an observational constraint to models predicting the rotational distribution of rovibrationally excited OH produced by water photolysis

A Three-dimensional Printed Low-cost Anterior Shoulder Dislocation Model for Ultrasound-guided Injection Training.

Anterior shoulder dislocations are the most common, large joint dislocations that present to the emergency department (ED). Numerous studies support the use of intraarticular local anesthetic injections for the safe, effective, and time-saving reduction of these dislocations. Simulation training is an alternative and effective method for training compared to bedside learning. There are no commercially available ultrasound-compatible shoulder dislocation models. We utilized a three-dimensional (3D) printer to print a model that allows the visualization of the ultrasound anatomy (sonoanatomy) of an anterior shoulder dislocation. We utilized an open-source file of a shoulder, available from embodi3D® (Bellevue, WA, US). After approximating the relative orientation of the humerus to the glenoid fossa in an anterior dislocation, the humerus and scapula model was printed with an Ultimaker-2 Extended+ 3D® (Ultimaker, Cambridge, MA, US) printer using polylactic acid filaments. A 3D model of the external shoulder anatomy of a live human model was then created using Structure Sensor®(Occipital, San Francisco, CA, US), a 3D scanner. We aligned the printed dislocation model of the humerus and scapula within the resultant external shoulder mold. A pourable ballistics gel solution was used to create the final shoulder phantom. The use of simulation in medicine is widespread and growing, given the restrictions on work hours and a renewed focus on patient safety. The adage of see one, do one, teach one is being replaced by deliberate practice. Simulation allows such training to occur in a safe teaching environment. The ballistic gel and polylactic acid structure effectively reproduced the sonoanatomy of an anterior shoulder dislocation. The 3D printed model was effective for practicing an in-plane ultrasound-guided intraarticular joint injection. 3D printing is effective in producing a low-cost, ultrasound-capable model simulating an anterior shoulder dislocation. Future research will determine whether provider confidence and the use of intraarticular anesthesia for the management of shoulder dislocations will improve after utilizing this model

Human GUCY2C-Targeted Chimeric Antigen Receptor (CAR)-Expressing T Cells Eliminate Colorectal Cancer Metastases.

One major hurdle to the success of adoptive T-cell therapy is the identification of antigens that permit effective targeting of tumors in the absence of toxicities to essential organs. Previous work has demonstrated that T cells engineered to express chimeric antigen receptors (CAR-T cells) targeting the murine homolog of the colorectal cancer antigen GUCY2C treat established colorectal cancer metastases, without toxicity to the normal GUCY2C-expressing intestinal epithelium, reflecting structural compartmentalization of endogenous GUCY2C to apical membranes comprising the intestinal lumen. Here, we examined the utility of a human-specific, GUCY2C-directed single-chain variable fragment as the basis for a CAR construct targeting human GUCY2C-expressing metastases. Human GUCY2C-targeted murine CAR-T cells promoted antigen-dependent T-cell activation quantified by activation marker upregulation, cytokine production, and killing of GUCY2C-expressing, but not GUCY2C-deficient, cancer cells in vitro. GUCY2C CAR-T cells provided long-term protection against lung metastases of murine colorectal cancer cells engineered to express human GUCY2C in a syngeneic mouse model. GUCY2C murine CAR-T cells recognized and killed human colorectal cancer cells endogenously expressing GUCY2C, providing durable survival in a human xenograft model in immunodeficient mice. Thus, we have identified a human GUCY2C-specific CAR-T cell therapy approach that may be developed for the treatment of GUCY2C-expressing metastatic colorectal cancer