The Angular Momenta of Neutron Stars and Black Holes as a Window on Supernovae

It is now clear that a subset of supernovae display evidence for jets and are observed as gamma-ray bursts. The angular momentum distribution of massive stellar endpoints provides a rare means of constraining the nature of the central engine in core-collapse explosions. Unlike supermassive black holes, the spin of stellar-mass black holes in X-ray binary systems is little affected by accretion, and accurately reflects the spin set at birth. A modest number of stellar-mass black hole angular momenta have now been measured using two independent X-ray spectroscopic techniques. In contrast, rotation-powered pulsars spin-down over time, via magnetic braking, but a modest number of natal spin periods have now been estimated. For both canonical and extreme neutron star parameters, statistical tests strongly suggest that the angular momentum distributions of black holes and neutron stars are markedly different. Within the context of prevalent models for core-collapse supernovae, the angular momentum distributions are consistent with black holes typically being produced in GRB-like supernovae with jets, and with neutron stars typically being produced in supernovae with too little angular momentum to produce jets via magnetohydrodynamic processes. It is possible that neutron stars are imbued with high spin initially, and rapidly spun-down shortly after the supernova event, but the available mechanisms may be inconsistent with some observed pulsar properties.Comment: ApJ Letters, accepte

Role of IL-33 in inflammation and disease

Interleukin (IL)-33 is a new member of the IL-1 superfamily of cytokines that is expressed by mainly stromal cells, such as epithelial and endothelial cells, and its expression is upregulated following pro-inflammatory stimulation. IL-33 can function both as a traditional cytokine and as a nuclear factor regulating gene transcription. It is thought to function as an 'alarmin' released following cell necrosis to alerting the immune system to tissue damage or stress. It mediates its biological effects via interaction with the receptors ST2 (IL-1RL1) and IL-1 receptor accessory protein (IL-1RAcP), both of which are widely expressed, particularly by innate immune cells and T helper 2 (Th2) cells. IL-33 strongly induces Th2 cytokine production from these cells and can promote the pathogenesis of Th2-related disease such as asthma, atopic dermatitis and anaphylaxis. However, IL-33 has shown various protective effects in cardiovascular diseases such as atherosclerosis, obesity, type 2 diabetes and cardiac remodeling. Thus, the effects of IL-33 are either pro-or anti-inflammatory depending on the disease and the model. In this review the role of IL-33 in the inflammation of several disease pathologies will be discussed, with particular emphasis on recent advances

Computer program ETC improves computation of elastic transfer matrices of Legendre polynomials P/0/ and P/1/

Computer program ETC improves computation of elastic transfer matrices of Legendre polynomials P/0/ and P/1/. Rather than carrying out a double integration numerically, one of the integrations is accomplished analytically and the numerical integration need only be carried out over one variable

A generic approach for the automatic verification of featured, parameterised systems

A general technique is presented that allows property based feature analysis of systems consisting of an arbitrary number of components. Each component may have an arbitrary set of safe features. The components are defined in a guarded command form and the technique combines model checking and abstraction. Features must fulfill certain criteria in order to be safe, the criteria express constraints on the variables which occur in feature guards. The main result is a generalisation theorem which we apply to a well known example: the ubiquitous, featured telephone system

Using SPIN to Analyse the Tree Identification Phase of the IEEE 1394 High-Performance Serial Bus(FireWire)Protocol

We describe how the tree identification phase of the IEEE 1394 high-performance serial bus (FireWire) protocol is modelled in Promela and verified using SPIN. The verification of arbitrary system configurations is discussed