Indexed induction and coinduction, fibrationally.

This paper extends the fibrational approach to induction and coinduction pioneered by Hermida and Jacobs, and developed by the current authors, in two key directions. First, we present a sound coinduction rule for any data type arising as the final coalgebra of a functor, thus relaxing Hermida and Jacobs’ restriction to polynomial data types. For this we introduce the notion of a quotient category with equality (QCE), which both abstracts the standard notion of a fibration of relations constructed from a given fibration, and plays a role in the theory of coinduction dual to that of a comprehension category with unit (CCU) in the theory of induction. Second, we show that indexed inductive and coinductive types also admit sound induction and coinduction rules. Indexed data types often arise as initial algebras and final coalgebras of functors on slice categories, so our key technical results give sufficent conditions under which we can construct, from a CCU (QCE) U : E -> B, a fibration with base B/I that models indexing by I and is also a CCU (QCE)

Equally attending but still not seeing : an eye-tracking study of change detection in own- and other-race faces

The present study aimed to investigate whether the faster change detection in own race faces in a change blindness paradigm, reported by Humphreys, Hodsoll and Campbell (2005, Visual Cognition, 12, 249-262) and explained in terms of people’s poorer ability to discriminate other race faces, may be explained by people’s preferential attention towards own race faces. The study by Humphreys et al. was replicated using the same stimuli, while participants’ eye movements were recorded. These revealed that there was no attentional bias towards own race faces (analysed in terms of fixation order, number and duration), but people still detected changes in own race faces faster than in other race faces. The current results therefore give further support for the original claim that people are less sensitive to changes made in other race faces, when own and other race faces are equally attended

Machine learning is helping police work out what people on the run now look like

There was no abstract as such

Positron Emission Tomography Score Has Greater Prognostic Significance Than Pretreatment Risk Stratification in Early-Stage Hodgkin Lymphoma in the UK RAPID Study.

PURPOSE: Accurate stratification of patients is an important goal in Hodgkin lymphoma (HL), but the role of pretreatment clinical risk stratification in the context of positron emission tomography (PET) -adapted treatment is unclear. We performed a subsidiary analysis of the RAPID trial to assess the prognostic value of pretreatment risk factors and PET score in determining outcomes. PATIENTS AND METHODS: Patients with stage IA to IIA HL and no mediastinal bulk underwent PET assessment after three cycles of doxorubicin, bleomycin, vinblastine, and dacarbazine; 143 PET-positive patients (PET score, 3 to 5) received a fourth doxorubicin, bleomycin, vinblastine, and dacarbazine cycle and involved-field radiotherapy, and 419 patients in complete metabolic remission were randomly assigned to receive involved-field radiotherapy (n = 208) or no additional treatment (n = 211). Cox regression was used to investigate the association between PET score and pretreatment risk factors with HL-specific event-free survival (EFS). RESULTS: High PET score was associated with inferior EFS, before (P .4). CONCLUSION: In RAPID, a positive PET scan did not carry uniform prognostic weight; only a PET score of 5 was associated with inferior outcomes. This suggests that in future trials involving patients without B symptoms or mediastinal bulk, a score of 5 rather than a positive PET result should be used to guide treatment escalation in early-stage HL

Direct Strength Method for Ultimate Strength of Bolted Moment-Connections between Cold-Formed Steel Channel Members

Experimental tests have previously shown that the strength of bolted moment-connections between cold-formed steel members, where the connections are formed through an array of bolts in the web, is dependent on the length of the bolt-group. This reduced strength has been observed in tests on portal frame joints as well as over-lapped purlin joints. For a short bolt-group length, in the order of the depth of the section, this paper shows that a reasonable lower bound to this reduced strength can be predicted by using the Direct Strength Method (DSM), modified to include the effect of the bimoment at the connection. The upper bound would be the full in-plane major axis moment-capacity of the section, which can be achieved with a long bolt-group length and can also be predicted using the conventional DSM

Exploring Spirituality in Teaching Within a Christian School Context Through Collaborative Action Research

This article reports on a collaborative action research project conducted in New Zealand, during 2012, exploring spirituality in teaching within a Christian school context. The experienced primary school teacher participant chose to take action around the issue of personal fear and insecurity which were believed to be hindering professional growth and relationships. Through self-directed inquiry, critical reflective journaling, Bible study, fellowship and prayer with trusted friends, the teacher experienced a renewed sense of peace and freedom in Christ. This personal transformation was believed to be influential on subsequent professional practice, assisting the teacher to become more relational, responsive and compassionate. The findings provide a rich description of the participant’s spirituality, the lived reality of a person’s spiritual life. This report will be of interest to teachers, teacher-leaders and teacher-educators who desire to explore Christian spirituality through practitioner-led inquiry

Unraveling the Nature of Charge Excitations in La2_2CuO4_4 with Momentum-Resolved Cu KK-edge Resonant Inelastic X-ray Scattering

Results of model calculations using exact diagonalization reveal the orbital character of states associated with different Raman loss peaks in Cu $K$-edge resonant inelastic X-ray scattering (RIXS) from La$_{2}$CuO$_{4}$. The model includes electronic orbitals necessary to highlight non-local Zhang-Rice singlet, charge transfer and $d$-$d$ excitations, as well as states with apical oxygen 2$p_z$ character. The dispersion of these excitations is discussed with prospects for resonant final state wave-function mapping. A good agreement with experiments emphasizes the substantial multi-orbital character of RIXS profiles in the energy transfer range 1-6 eV.Comment: Original: 4.5 pages. Replaced: 4 pages and 4 figures with updated content and reference