6,646 research outputs found
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 LaCuO with Momentum-Resolved Cu -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 -edge
resonant inelastic X-ray scattering (RIXS) from LaCuO. The model
includes electronic orbitals necessary to highlight non-local Zhang-Rice
singlet, charge transfer and - excitations, as well as states with apical
oxygen 2 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
- …