Effects of viewing condition on user experience of panoramic video

Panoramic video arises at the convergence of TV and virtual reality, and it is necessary to understand how these technologies interact to affect user experience in order to produce useful content. TV and film makers have developed a sophisticated language and set of techniques to achieve directed linear story telling on fixed screens, whereas virtual worlds more often emphasise user led exploration of possibly non-linear narrative and aspects such as presence and immersion in navigable 3D environments. This study focused on the user experience of panoramic video as viewed over two conditions, on a VR headset and using a handheld phone, and compared this to watching on a static screen thus emphasising the differences between traditional and panoramic TV. A qualitative approach to analysis was taken where users participated in semi-structured interviews. A thematic analysis was performed which produced thematic maps describing user experience for each condition. A detailed and nuanced account of emerging themes is given. Subsequently, key themes were identified and graphed to produce user response profiles to the three viewing conditions that highlight differences in user experience in terms of presence, attention, engagement, concentration on story, certainty, comfort and social eas

Operational Semantics of Process Monitors

CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It includes constructs to explicitly flag failures to the monitor, which unlike deadlocks and livelocks in conventional process algebras, propagate globally and aborts the whole system's execution. Although CSPe has a trace semantics along with an implementation demonstrating acceptable performance, it lacks an operational semantics. An operational semantics is not only more accessible than trace semantics but also indispensable for ensuring the correctness of the implementation. Furthermore, a process algebra like CSPe admits multiple denotational semantics appropriate for different purposes, and an operational semantics is the basis for justifying such semantics' integrity and relevance. In this paper, we develop an SOS-style operational semantics for CSPe, which properly accounts for explicit failures and will serve as a basis for further study of its properties, its optimization, and its use in runtime verification

The Role of Physical Activity in Cancer Recovery: An Exercise Practitioner’s Perspective

Less than 20% of cancer patients meet the recommended physical activity (PA) guidelines, partially due to poor knowledge and enforcement/encouragement amongst health-care professionals (HCPs). The primary aim of this study was to explore the perceptions of exercise practitioners on the role of PA and the physiological and psychological benefits to recovering cancer patients; the secondary aim was to understand the barriers and facilitators of promoting PA to cancer survivors. The third aim was to, seek the perspectives on the effectiveness of referral systems between the hospitals and PA structures. A purposive sample of five exercise practitioners’ (four male and one female) with experience with cancer patients participated in a semi-structured interview (45–60 min). Interviews addressed five key topics: intervention procedures, patient well-being, patient education on PA, effectiveness of referrals from hospitals, and post-intervention PA. Interviews were transcribed verbatim and analysed via thematic analysis. The participants believed that recovering cancer patients possess a knowledge of the physiological benefits of PA, yet psychological understanding remains unknown. Social environments are key to participation in PA and most HCPs lacked knowledge/awareness of the benefits of engaging in PA. There is a need to improve HCPs knowledge of the benefits of PA, whilst providing standardised training on how PA can improve cancer patients’ outcomes

Estimation and Bias Correction of Aerosol Abundance using Data-driven Machine Learning and Remote Sensing

Air quality information is increasingly becoming a public health concern, since some of the aerosol particles pose harmful effects to peoples health. One widely available metric of aerosol abundance is the aerosol optical depth (AOD). The AOD is the integrated light extinction coefficient over a vertical atmospheric column of unit cross section, which represents the extent to which the aerosols in that vertical profile prevent the transmission of light by absorption or scattering. The comparison between the AOD measured from the ground-based Aerosol Robotic Network (AERONET) system and the satellite MODIS instruments at 550 nm shows that there is a bias between the two data products. We performed a comprehensive analysis exploring possible factors which may be contributing to the inter-instrumental bias between MODIS and AERONET. The analysis used several measured variables, including the MODIS AOD, as input in order to train a neural network in regression mode to predict the AERONET AOD values. This not only allowed us to obtain an estimate, but also allowed us to infer the optimal sets of variables that played an important role in the prediction. In addition, we applied machine learning to infer the global abundance of ground level PM2.5 from the AOD data and other ancillary satellite and meteorology products. This research is part of our goal to provide air quality information, which can also be useful for global epidemiology studies

Effect of anisotropy and destructuration on behavior of Haarajoki test embankment

This paper investigates the influence of anisotropy and destructuration on the behavior of Haarajoki test embankment, which was built by the Finnish National Road Administration as a noise barrier in 1997 on a soft clay deposit. Half of the embankment is constructed on an area improved with prefabricated vertical drains, while the other half is constructed on the natural deposit without any ground improvement. The construction and consolidation of the embankment is analyzed with the finite-element method using three different constitutive models to represent the soft clay. Two recently proposed constitutive models, namely S-CLAY1 which accounts for initial and plastic strain induced anisotropy, and its extension, called S-CLAY1S which accounts, additionally, for interparticle bonding and degradation of bonds, were used in the analysis. For comparison, the problem is also analyzed with the isotropic modified cam clay model. The results of the numerical analyses are compared with the field measurements. The simulations reveal the influence that anisotropy and destructuration have on the behavior of an embankment on soft clay

Microstructural Characterization of Graphite Spheroids in Ductile Iron

The present work brings new insights by transmission electron microscopy allowing disregarding or supporting some of the models proposed for spheroidal growth of graphite in cast irons. Nodules consist of sectors made of graphite plates elongated along a hai direction and stack on each other with their c axis aligned with the radial direction. These plates are the elementary units for spheroidal growth and a calculation supports the idea that new units continuously nucleate at the ledge between sectors

The Verifying Compiler: A Grand Challenge for Computing Research

Abstract. This contribution proposes a set of criteria that distinguish a grand challenge in science or engineering from the many other kinds of short-term or long-term research problems that engage the interest of scientists and engineers. As an example drawn from Computer Science, it revives an old challenge: the construction and application of a verifying compiler that guarantees correctness of a program before running it. Introduction. The primary purpose of the formulation and promulgation of a grand challenge is the advancement of science or engineering. A grand challenge represents a commitment by a significant section of the research community to work together towards a common goal, agreed to be valuable and achievable by a team effort within a predicted timescale. The challenge is formulated by th

Drained cavity expansion analysis with a unified state parameter model for clay and sand

This paper presents an analytical solution for drained expansion in both spherical and cylindrical cavities with a unified state parameter model for clay and sand (CASM). The solution developed here provides the stress and strain fields during the expansion of a cavity from an initial to an arbitrary final radius. Small strains are assumed for the elastic region and large strains are applied to soil in the plastic region by using logarithmic strain definitions. Since its development, the unified CASM model has been demonstrated by many researchers to be able to capture the overall soil behaviour for both clay and sand under both drained and undrained loading conditions. In this study, the CASM model is used to model soil behaviour whilst a drained cavity expansion solution is developed with the aid of an auxiliary variable. This is an extension of the undrained solution presented by the authors in 2017. The parametric study investigates the effects of various model constants including the stress-state coefficient and the spacing ratio on soil stress paths and cavity expansion curves. Both London clay and Ticino sand are modelled under various initial stress conditions and initial state parameters. The newly developed analytical solution highlights the potential applications in geotechnical practice (e.g., for the interpretation of cone penetration test data) and also provides useful benchmarks for numerical simulations of cavity expansion problems in critical state soils