Workshop on evaluating personal search

The first ECIR workshop on Evaluating Personal Search was held on 18th April 2011 in Dublin, Ireland. The workshop consisted of 6 oral paper presentations and several discussion sessions. This report presents an overview of the scope and contents of the workshop and outlines the major outcomes

Performance assessment of tariff-based air source heat pump load shifting in a UK detached dwelling featuring phase change-enhanced buffering

Using a detailed building simulation model, the amount of thermal buffering, with and without phase change material (PCM), needed to time-shift an air source heat pump's operation to off-peak periods, as defined by the UK 'Economy 10' tariff, was investigated for a typical UK detached dwelling. The performance of the buffered system was compared to the case with no load shifting and with no thermal buffering. Additionally, the load shifting of a population of buffered heat pumps to off-peak periods was simulated and the resulting change in the peak demand on the electricity network was assessed. The results from this study indicate that 1000 L of hot water buffering or 500 L of PCM-enhanced hot water buffering was required to move the operation of the heat pump fully to off-peak periods, without adversely affecting the provision of space heating and hot water for the end user. The work also highlights that buffering and load shifting increased the heat pump's electrical demand by over 60% leading to increased cost to the end user and increased CO2 emissions (depending on the electricity tariff applied and time varying CO2 intensity of the electricity generation mix, respectively). The study also highlights that the load-shifting of populations of buffered heat pumps wholly to off-peak periods using crude instruments such as tariffs increased the peak loading on the electrical network by over 50% rather than reducing it and that careful consideration is needed as to how the load shifting of a group of heat pumps is orchestrated

Abstract Tensor Systems as Monoidal Categories

The primary contribution of this paper is to give a formal, categorical treatment to Penrose's abstract tensor notation, in the context of traced symmetric monoidal categories. To do so, we introduce a typed, sum-free version of an abstract tensor system and demonstrate the construction of its associated category. We then show that the associated category of the free abstract tensor system is in fact the free traced symmetric monoidal category on a monoidal signature. A notable consequence of this result is a simple proof for the soundness and completeness of the diagrammatic language for traced symmetric monoidal categories.Comment: Dedicated to Joachim Lambek on the occasion of his 90th birthda

Physiotherapy students\u27 perceptions and experiences of clinical prediction rules

Objectives: Clinical reasoning can be difficult to teach to pre-professional physiotherapy students due to their lack of clinical experience. It may be that tools such as clinical prediction rules (CPRs) could aid the process, but there has been little investigation into their use in physiotherapy clinical education. This study aimed to determine the perceptions and experiences of physiotherapy students regarding CPRs, and whether they are learning about CPRs on clinical placement. Design: Cross-sectional survey using a paper-based questionnaire. Participants: Final year pre-professional physiotherapy students (n=371, response rate 77%) from five universities across five states of Australia. Results: Sixty percent of respondents had not heard of CPRs, and a further 19% had not clinically used CPRs. Only 21% reported using CPRs, and of these nearly three-quarters were rarely, if ever, learning about CPRs in the clinical setting. However most of those who used CPRs (78%) believed CPRs assisted in the development of clinical reasoning skills and none (0%) was opposed to the teaching of CPRs to students. The CPRs most commonly recognised and used by students were those for determining the need for an X-ray following injuries to the ankle and foot (67%), and for identifying deep venous thrombosis (63%). Conclusions: The large majority of students in this sample knew little, if anything, about CPRs and few had learned about, experienced or practiced them on clinical placement. However, students who were aware of CPRs found them helpful for their clinical reasoning and were in favour of learning more about them

Attitude determination and calibration using a recursive maximum likelihood-based adaptive Kalman filter

An adaptive Kalman filter design that utilizes recursive maximum likelihood parameter identification is discussed. At the center of this design is the Kalman filter itself, which has the responsibility for attitude determination. At the same time, the identification algorithm is continually identifying the system parameters. The approach is applicable to nonlinear, as well as linear systems. This adaptive Kalman filter design has much potential for real time implementation, especially considering the fast clock speeds, cache memory and internal RAM available today. The recursive maximum likelihood algorithm is discussed in detail, with special attention directed towards its unique matrix formulation. The procedure for using the algorithm is described along with comments on how this algorithm interacts with the Kalman filter

Cycles of construing in radicalization and deradicalization: a study of Salafist Muslims.

© Taylor & Francis Group, LLC.This article explores radicalization and deradicalization by considering the experiences of six young Tunisian people who had become Salafist Muslims. Their responses to narrative interviews and repertory grid technique are considered from a personal construct perspective, revealing processes of construing and reconstruing, as well as relevant aspects of the structure and content of their construct systems. In two cases, their journeys involved not only radicalization but self-deradicalization, and their experiences are drawn on to consider implications for deradicalization.Peer reviewedFinal Accepted Versio

Influence of blade aerodynamic model on prediction of helicopter rotor aeroacoustic signatures

Brown’s vorticity transport model has been used to investigate how the local blade aerodynamic model influences the quality of the prediction of the high-frequency airloads associated with blade–vortex interactions, and thus the accuracy with which the acoustic signature of a helicopter rotor can be predicted. The vorticity transport model can accurately resolve the structure of the wake of the rotor and allows significant flexibility in the way that the blade loading can be represented. The Second Higher-Harmonic Control Aeroacoustics Rotor Test was initiated to provide experimental insight into the acoustic signature of a rotor in cases of strong blade–vortex interaction. Predictions of two models for the local blade aerodynamics are compared with the test data. A marked improvement in accuracy of the predicted high-frequency airloads and acoustic signature is obtained when a lifting-chord model for the blade aerodynamics is used instead of a lifting-line-type approach. Errors in the amplitude and phase of the acoustic peaks are reduced, and the quality of the prediction is affected to a lesser extent by the computational resolution of the wake, with the lifting-chord model producing the best representation of the distribution of sound pressure below the rotor

Evolutionary cell biology: Functional insight from “Endless forms most beautiful”

In animal and fungal model organisms, the complexities of cell biology have been analyzed in exquisite detail and much is known about how these organisms function at the cellular level. However, the model organisms cell biologists generally use include only a tiny fraction of the true diversity of eukaryotic cellular forms. The divergent cellular processes observed in these more distant lineages are still largely unknown in the general scientific community. Despite the relative obscurity of these organisms, comparative studies of them across eukaryotic diversity have had profound implications for our understanding of fundamental cell biology in all species and have revealed the evolution and origins of previously observed cellular processes. In this Perspective, we will discuss the complexity of cell biology found across the eukaryotic tree, and three specific examples of where studies of divergent cell biology have altered our understanding of key functional aspects of mitochondria, plastids, and membrane trafficking