The role of the “Inter-Life” virtual world as a creative technology to support student transition into higher education

The shape of Higher Education (HE) in the UK and internationally is changing, with wider access policies leading to greater diversity and heterogeneity in contemporary student populations world-wide. Students in the 21st Century are often described as “fragmented”; meaning they are frequently working whilst participating in a full time Degree programme. Consequently, those in the HE setting are required to become “future ready” which increasingly involves the seamless integration of new digital technologies into undergraduate programmes of teaching and learning. The present study evaluated the effectiveness of the “Inter-Life” three-dimensional virtual world as a suitable Technology Enhanced Learning (TEL) tool to support the initial stages of transition from school into university. Our results demonstrate that Inter-Life is “fit for purpose” in terms of the robustness of both the educational and technical design features. We have shown that Inter-Life provides a safe space that supports induction mediated by active learning tasks using learner-generated, multi-modal transition tools. In addition, through the provision of private spaces, Inter-Life also supports and fosters the development of critical reflective thinking skills. However, in keeping with the current literature in the field, some of the students expressed a wish for more training in the functional and social skills required to navigate and experience the Inter-Life virtual world more effectively. Such findings resonate with the current debate in the field which challenges the notion of “digital natives”, but the present study has also provided some new evidence to support the role of virtual worlds for the development of a suitable community to support students undergoing transition to university

Mechanisms for the Increased Fatigability of the Lower Limb in People with Type 2 Diabetes

Fatiguing exercise is the basis of exercise training and a cornerstone of management of type 2 diabetes mellitus (T2D), however, little is known about the fatigability of limb muscles and the involved mechanisms in people with T2D. The purpose was to compare fatigability of knee extensor muscles between people with T2D and controls without diabetes and determine the neural and muscular mechanisms for a dynamic fatiguing task. Seventeen people with T2D (10 men, 7 women: 59.6{plus minus}9.0 years) and 21 age-, BMI- and physical activity-matched controls (11 men, 10 women: 59.5{plus minus}9.6 years) performed 120 high-velocity concentric contractions (1 contraction/3 s) with a load equivalent to 20% maximal voluntary isometric contraction (MVIC) torque with the knee extensors. Transcranial magnetic stimulation (TMS) and electrical stimulation of the quadriceps were used to assess voluntary activation and contractile properties. People with T2D had larger reductions than controls in power during the fatiguing task (39.9{plus minus}20.2% vs. 28.3{plus minus}16.7%, P2=0.364, P=0.002). Although neural mechanisms contributed to fatigability, contractile mechanisms were responsible for the greater knee extensor fatigability in men and women with T2D compared with healthy controls

Snowmass 2001: Jet Energy Flow Project

Conventional cone jet algorithms arose from heuristic considerations of LO hard scattering coupled to independent showering. These algorithms implicitly assume that the final states of individual events can be mapped onto a unique set of jets that are in turn associated with a unique set of underlying hard scattering partons. Thus each final state hadron is assigned to a unique underlying parton. The Jet Energy Flow (JEF) analysis described here does not make such assumptions. The final states of individual events are instead described in terms of flow distributions of hadronic energy. Quantities of physical interest are constructed from the energy flow distribution summed over all events. The resulting analysis is less sensitive to higher order perturbative corrections and the impact of showering and hadronization than the standard cone algorithms.Comment: REVTeX4, 13 pages, 6 figures; Contribution to the P5 Working Group on QCD and Strong Interactions at Snowmass 200

Predicate Abstraction for Linked Data Structures

We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often require that the programmer annotate the behavior of each procedure, for example, in the form of loop invariants and pre- and post-conditions. Predicate abstraction would be an attractive abstract domain for performing invariant inference, existing techniques are not able to reason about the heap with enough precision to verify functional properties of data structure manipulating programs. In this paper, we propose a technique that lifts predicate abstraction to the heap by factoring the analysis of data structures into two orthogonal components: (1) Alias Types, which reason about the physical shape of heap structures, and (2) Refinement Types, which use simple predicates from an SMT decidable theory to capture the logical or semantic properties of the structures. We prove ART sound by translating types into separation logic assertions, thus translating typing derivations in ART into separation logic proofs. We evaluate ART by implementing a tool that performs type inference for an imperative language, and empirically show, using a suite of data-structure benchmarks, that ART requires only 21% of the annotations needed by other state-of-the-art verification techniques

SOME ABSTRACT PROPERTIES OF SEMIGROUPS APPEARING IN SUPERCONFORMAL THEORIES

A new type of semigroups which appears while dealing with $N=1$ superconformal symmetry in superstring theories is considered. The ideal series having unusual abstract properties is constructed. Various idealisers are introduced and studied. The ideal quasicharacter is defined. Green's relations are found and their connection with the ideal quasicharacter is established.Comment: 11 page

Snowmass 2001: Jet Energy Flow Project

Conventional cone jet algorithms arose from heuristic considerations of LO hard scattering coupled to independent showering. These algorithms implicitly assume that the final states of individual events can be mapped onto a unique set of jets that are in turn associated with a unique set of underlying hard scattering partons. Thus each final state hadron is assigned to a unique underlying parton. The Jet Energy Flow (JEF) analysis described here does not make such assumptions. The final states of individual events are instead described in terms of flow distributions of hadronic energy. Quantities of physical interest are constructed from the energy flow distribution summed over all events. The resulting analysis is less sensitive to higher order perturbative corrections and the impact of showering and hadronization than the standard cone algorithms