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

Robust Magnetic Polarons in Type-II (Zn,Mn)Te Quantum Dots

We present evidence of magnetic ordering in type-II (Zn, Mn) Te quantum dots. This ordering is attributed to the formation of bound magnetic polarons caused by the exchange interaction between the strongly localized holes and Mn within the dots. In our photoluminescence studies, the magnetic polarons are detected at temperatures up to ~ 200 K, with a binding energy of ~ 40 meV. In addition, these dots display an unusually small Zeeman shift with applied field (2 meV at 10 T). This behavior is explained by a small and weakly temperature-dependent magnetic susceptibility due to anti-ferromagnetic coupling of the Mn spins

Drawbacks of a Dual Systems Approach to Family Firms: Can We Expand Our Thinking?

Conceptualizing the family firm as a dual system with properties of both the family and the business has prevented the field from fully examining the nature of these firms and has biased our observations and interventions. Too narrow a focus on the contribution of subsystems leads to a stereotyping of subsystem functioning, inconsistent and inadequate analysis of interpersonal dynamics, exaggerated notions of subsystem boundaries, and an underanalysis of whole system characteristics. Each of these drawbacks is discussed, and a beginning view of the family firm as a single entity is presented.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/67216/2/10_1111_j_1741-6248_1991_00383_x.pd

Tumor-Derived Microvesicles Induce, Expand and Up-Regulate Biological Activities of Human Regulatory T Cells (Treg)

Background: Tumor-derived microvesicles (TMV) or exosomes are present in body fluids of patients with cancer and might be involved in tumor progression. The frequency and suppressor functions of peripheral blood CD4 + CD25 high FOXP3 + Treg are higher in patients with cancer than normal controls. The hypothesis is tested that TMV contribute to induction/ expansion/and activation of human Treg. Methodology/Principal Findings: TMV isolated from supernatants of tumor cells but not normal cells induced the generation and enhanced expansion of human Treg. TMV also mediated conversion of CD4 + CD25 neg T cells into CD4 + CD25 high FOXP3 + Treg. Upon co-incubation with TMV, Treg showed an increased FasL, IL-10, TGF-b1, CTLA-4, granzyme B and perforin expression (p,0.05) and mediated stronger suppression of responder cell (RC) proliferation (p,0.01). Purified Treg were resistant to TMV-mediated apoptosis relative to other T cells. TMV also increased phospho-SMAD2/3 and phospho-STAT3 expression in Treg. Neutralizing Abs specific for TGF-b1 and/or IL-10 significantly inhibited TMV ability to expand Treg. Conclusions/Significance: This study suggests that TMV have immunoregulatory properties. They induce Treg, promote Treg expansion, up-regulate Treg suppressor function and enhance Treg resistance to apoptosis. Interactions of TMV wit

The paleolimnologist's guide to compound-specific stable isotope analysis - An introduction to principles and applications of CSIA for quaternary lake sediments

The stable isotope composition of key chemical elements for life on Earth (e.g., carbon, hydrogen, nitrogen, oxygen, sulfur) tracks changes in fluxes and turnover of these elements in the biogeosphere. Over the past 15-20 years, the potential to measure these isotopic compositions for individual, source-specific organic molecules (biomarkers) and to link them to a range of environmental conditions and processes has been unlocked and amplified by increasingly sensitive, affordable and wide-spread analytical technology. Paleoenvironmental research has seen enormous step-changes in our understanding of past ecosystem dynamics. Vital to these paradigm shifts is the need for well-constrained modern and recent analogues. Through increased understanding of these environments and their biological pathways we can successfully unravel past climatic changes and associated ecosystem adaption. With this review, we aim to introduce scientists working in the field of Quaternary paleolimnology to the tools that compound-specific isotope analysis (CSIA) provides for the gain of information on biogeochemical conditions in ancient environments. We provide information on fundamental principles and applications of novel and established CSIA applications based on the carbon, hydrogen, nitrogen, oxygen and sulfur isotopic composition of biomarkers. While biosynthesis, sources and associated isotope fractionation patterns of compounds such as n-alkanes are relatively well-constrained, new applications emerge from the increasing use of functionalized alkyl lipids, steroids, hopanoids, isoprenoids, GDGTs, pigments or cellulose. Biosynthesis and fractionation are not always fully understood

Contents lists available at ScienceDirect

journal homepage: www.elsevier.com/locate/palae

Late Maastrichtian carbon isotope stratigraphy and cyclostratigraphy of the Newfoundland Margin (Site U1403, IODP Expedition 342)

Earth’s climate during the Maastrichtian (latest Cretaceous) was punctuated by brief warming and cooling episodes, accompanied by perturbations of the global carbon cycle. Superimposed on a long-term cooling trend, the middle Maastrichtian is characterized by deep-sea warming and relatively high values of stable carbon-isotope ratios, followed by strong climatic variability towards the end of the Cretaceous. A lack of knowledge on the timing of climatic change inhibits our understanding of underlying causal mechanisms. We present an integrated stratigraphy from Integrated Ocean Drilling Program (IODP) Site U1403, providing an expanded deep ocean record from the North Atlantic (Expedition 342, Newfoundland Margin). Distinct sedimentary cyclicity suggests that orbital forcing played a major role in depositional processes, which is confirmed by statistical analyses of high resolution elemental data obtained by X-ray fluorescence (XRF) core scanning. Astronomical calibration reveals that the investigated interval encompasses seven 405-kyr cycles (Ma4051 to Ma4057) and spans the 2.8 Myr directly preceding the Cretaceous/Paleocene (K/Pg) boundary. A high-resolution carbon-isotope record from bulk carbonates allows us to identify global trends in the late Maastrichtian carbon cycle. Low-amplitude variations (up to 0.4‰) in carbon isotopes at Site U1403 match similar scale variability in records from Tethyan and Pacific open-ocean sites. Comparison between Site U1403 and the hemipelagic restricted basin of the Zumaia section (northern Spain), with its own well-established independent cyclostratigraphic framework, is more complex. Whereas the pre-K/Pg oscillations and the negative values of the Mid-Maastrichtian Event (MME) can be readily discerned in both the Zumaia and U1403 records, patterns diverge during a ~ 1 Myr period in the late Maastrichtian (67.8–66.8 Ma), with Site U1403 more reliably reflecting global carbon cycling. Our new carbon isotope record and cyclostratigraphy offer promise for Site U1403 to serve as a future reference section for high-resolution studies of late Maastrichtian paleoclimatic change

Recent outbreaks of infectious syphilis, United Kingdom, January 2012 to April 2014

Six outbreaks of infectious syphilis in the United Kingdom, ongoing since 2012, have been investigated among men who have sex with men (MSM) and heterosexual men and women aged under 25 years. Interventions included case finding and raising awareness among healthcare professionals and the public. Targeting at-risk populations was complicated as many sexual encounters involved anonymous partners. Outbreaks among MSM were influenced by the use of geospatial real-time networking applications that allow users to locate other MSM within close proximity