Visual illusions of movement

Visual illusions related to involuntary eye movemen

Capturing Hiproofs in HOL Light

Hierarchical proof trees (hiproofs for short) add structure to ordinary proof trees, by allowing portions of trees to be hierarchically nested. The additional structure can be used to abstract away from details, or to label particular portions to explain their purpose. In this paper we present two complementary methods for capturing hiproofs in HOL Light, along with a tool to produce web-based visualisations. The first method uses tactic recording, by modifying tactics to record their arguments and construct a hierarchical tree; this allows a tactic proof script to be modified. The second method uses proof recording, which extends the HOL Light kernel to record hierachical proof trees alongside theorems. This method is less invasive, but requires care to manage the size of the recorded objects. We have implemented both methods, resulting in two systems: Tactician and HipCam

Modulation of TcR/CD3-zeta chain expression by a circulating factor derived from ovarian cancer patients

In women with ovarian cancer, suppression of components of the immune system may promote tumour development. Previous studies in ovarian cancer have demonstrated that decreased expression and function of the T-cell receptor (TcR)-associated signal transducing zeta-chain correlates with deficient immune responsiveness of T cells. In this study, sera and ascitic fluids obtained from woman with advanced ovarian cancer were found to suppress the expression of TcR-associated zeta chain. This suppression of zeta chain expression was dose-dependent and was not observed with biologic fluids obtained from healthy women. © 2001 Cancer Research Campaign http://www.bjcancer.co

The MAGIC of CINEMA: First in-flight science results from a miniaturised anisotropic magnetoresistive magnetometer

We present the first in-flight results from a novel miniaturised anisotropic magnetoresistive space magnetometer, MAGIC (MAGnetometer from Imperial College), aboard the first CINEMA (CubeSat for Ions, Neutrals, Electrons and MAgnetic fields) spacecraft in low Earth orbit. An attitude-independent calibration technique is detailed using the International Geomagnetic Reference Field (IGRF), which is temperature dependent in the case of the outboard sensor. We show that the sensors accurately measure the expected absolute field to within 2% in attitude mode and 1% in science mode. Using a simple method we are able to estimate the spacecraft's attitude using the magnetometer only, thus characterising CINEMA's spin, precession and nutation. Finally, we show that the outboard sensor is capable of detecting transient physical signals with amplitudes of ~ 20–60 nT. These include field-aligned currents at the auroral oval, qualitatively similar to previous observations, which agree in location with measurements from the DMSP (Defense Meteorological Satellite Program) and POES (Polar-orbiting Operational Environmental Satellites) spacecraft. Thus, we demonstrate and discuss the potential science capabilities of the MAGIC instrument onboard a CubeSat platform

IRX-2, a Novel Immunotherapeutic, Enhances Functions of Human Dendritic Cells

Background: In a recent phase II clinical trial for HNSCC patients, IRX-2, a cell-derived biologic, promoted T-cell infiltration into the tumor and prolonged overall survival. Mechanisms responsible for these IRX-2-mediated effects are unknown. We hypothesized that IRX-2 enhanced tumor antigen-(TA)-specific immunity by up-regulating functions of dendritic cells (DC). Methodology/Principal Findings: Monocyte-derived DC obtained from 18 HNSCC patients and 12 healthy donors were matured using IRX-2 or a mix of TNF-α, IL-1β and IL-6 ("conv. mix"). Multicolor flow cytometry was used to study the DC phenotype and antigen processing machinery (APM) component expression. ELISPOT and cytotoxicity assays were used to evaluate tumor-reactive cytotoxic T lymphocytes (CTL). IL-12p70 and IL-10 production by DC was measured by Luminex® and DC migration toward CCL21 was tested in transwell migration assays. IRX-2-matured DC functions were compared with those of conv. mix-matured DC. IRX-2-matured DC expressed higher levels (p<0.05) of CD11c, CD40, CCR7 as well as LMP2, TAP1, TAP2 and tapasin than conv. mix-matured DC. IRX-2-matured DC migrated significantly better towards CCL21, produced more IL-12p70 and had a higher IL12p70/IL-10 ratio than conv. mix-matured DC (p<0.05 for all). IRX-2-matured DC carried a higher density of tumor antigen-derived peptides, and CTL primed with these DC mediated higher cytotoxicity against tumor targets (p<0.05) compared to the conv. mix-matured DC. Conclusion: Excellent ability of IRX-2 to induce ex vivo DC maturation in HNSCC patients explains, in part, its clinical benefits and emphasizes its utility in ex vivo maturation of DC generated for therapy. © 2013 Schilling et al

Looking for life on Mars with the Rosalind Franklin rover: the PanCam instrument

The ESA-Russia Rosalind Franklin (ExoMars 2022) rover, with its unique 2m drill, will address key questions in the search for life on Mars. PanCam will establish the surface context, with other instruments, providing geology, atmospheric science and 3D vision. PanCam uses a pair of Wide Angle Cameras (WACs), each with an 11 position filter wheel, and a High Resolution Camera (HRC). The cameras and electronics are in an optical bench that provides the interface to the rover and planetary protection. PanCam includes a calibration target mounted on the rover deck for radiometric calibration, fiducial markers for geometric calibration and a rover inspection mirror