Social impacts of road traffic: perceptions and priorities of local residents

The assessment of the social impacts of road traffic is usually based on objective indicators or on expert judgement, without input from the affected communities. This paper considers the perceptions and priorities of local residents about traffic impacts and possible mitigation measures, using as a case study a rural area that will be affected by traffic associated with the construction of a nuclear power station. The study consisted of a qualitative phase followed by a stated preference survey. Econometric models were used to measure the relative priority of different impacts and mitigation measures. The most impactful aspects were noise, vibration and increased car or bus travel times. The most preferred measures were night-time restrictions to HGVs, parking restrictions and safety measures for pedestrians and cyclists. There were significant differences in preferences according to residence location, gender, employment status and household composition. The results provide information about aspects that tend to be aggregated in existing assessment frameworks, separating the reduction in the utility of some activities (like walking and driving) and the suppression of those activities.     

Lateral Magnetically Modulated Multilayers by Combining Ion Implantation and Lithography

The combination of lithography and ion implantation is demonstrated to be a suitable method to prepare lateral multilayers. A laterally, compositionally, and magnetically modulated microscale pattern consisting of alternating Co (1.6 µm wide) and Co‐CoO (2.4 µm wide) lines has been obtained by oxygen ion implantation into a lithographically masked Au‐sandwiched Co thin film. Magnetoresistance along the lines (i.e., current and applied magnetic field are parallel to the lines) reveals an effective positive giant magnetoresistance (GMR) behavior at room temperature. Conversely, anisotropic magnetoresistance and GMR contributions are distinguished at low temperature (i.e., 10 K) since the O‐implanted areas become exchange coupled. This planar GMR is principally ascribed to the spatial modulation of coercivity in a spring‐magnet‐type configuration, which results in 180° Néel extrinsic domain walls at the Co/Co‐CoO interfaces. The versatility, in terms of pattern size, morphology, and composition adjustment, of this method offers a unique route to fabricate planar systems for, among others, spintronic research and applications.     

Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites

Navigation satellites are a core component of navigation satellite‐based systems such as Global Positioning System, Global Navigation Satellite System and Galileo, which provide location and timing information for a variety of uses. Such satellites are designed for operating on orbit to perform tasks and have lifetimes of 10 years or more. Reliability, availability and maintainability analysis of systems has been indispensable in the design phase of satellites in order to achieve minimum failures or to increase mean time between failures and thus to plan maintenance strategies, optimise reliability and maximise availability. In this paper, we present formal models of both a single satellite and a navigation satellite constellation and logical specification of their reliability, availability and maintainability properties, respectively. The probabilistic model checker PRISM has been used to perform automated analysis of these quantitative properties. Copyright © 2014 John Wiley & Sons, Ltd.     

Predicting cation ordering in MgAl2O4 using genetic algorithms and density functional theory

Genetic algorithms (GAs) together with classical pair potentials and density functional theory (DFT) are used to investigate cation order in MgAl₂O₄ (Spinel). To efficiently locate the global minimum/minima on the system potential energy surface, corresponding to the ordered and fully equilibrated low-temperature phase, local structural optimizations are essential. Such energy minimizations are expensive at the DFT level, but a comparison of the distribution of the energy minima from DFT and popular classical pair potentials allows one to rapidly tune the GA parameters. We show that GAs are able to find, not only the global minimum on the potential energy, but also other low-energy cation configurations representing possible frozen-in disordered or metastable phases after quenching. The nature of these low-energy configurations can help to interpret the extent of kinetic trapping which hampers the comparison between different experimental studies.     

Preface

Preface

Preface     

Attribute selection with fuzzy decision reducts

Rough set theory provides a methodology for data analysis based on the approximation of concepts in information systems. It revolves around the notion of discernibility: the ability to distinguish between objects, based on their attribute values. It allows to infer data dependencies that are useful in the fields of feature selection and decision model construction. In many cases, however, it is more natural, and more effective, to consider a gradual notion of discernibility. Therefore, within the context of fuzzy rough set theory, we present a generalization of the classical rough set framework for data-based attribute selection and reduction using fuzzy tolerance relations. The paper unifies existing work in this direction, and introduces the concept of fuzzy decision reducts, dependent on an increasing attribute subset measure. Experimental results demonstrate the potential of fuzzy decision reducts to discover shorter attribute subsets, leading to decision models with a better coverage and with comparable, or even higher accuracy.     

BirdVis: visualizing and understanding bird populations

Birds are unrivaled windows into biotic processes at all levels and are proven indicators of ecological well-being. Understanding the determinants of species distributions and their dynamics is an important aspect of ecology and is critical for conservation and management. Through crowdsourcing, since 2002, the eBird project has been collecting bird observation records. These observations, together with local-scale environmental covariates such as climate, habitat, and vegetation phenology have been a valuable resource for a global community of educators, land managers, ornithologists, and conservation biologists. By associating environmental inputs with observed patterns of bird occurrence, predictive models have been developed that provide a statistical framework to harness available data for predicting species distributions and making inferences about species-habitat associations. Understanding these models, however, is challenging because they require scientists to quantify and compare multiscale spatialtemporal patterns. A large series of coordinated or sequential plots must be generated, individually programmed, and manually composed for analysis. This hampers the exploration and is a barrier to making the cross-species comparisons that are essential for coordinating conservation and extracting important ecological information. To address these limitations, as part of a collaboration among computer scientists, statisticians, biologists and ornithologists, we have developed BirdVis, an interactive visualization system that supports the analysis of spatio-temporal bird distribution models. BirdVis leverages visualization techniques and uses them in a novel way to better assist users in the exploration of interdependencies among model parameters. Furthermore, the system allows for comparative visualization through coordinated views, providing an intuitive interface to identify relevant correlations and patterns. We justify our design decisions and present case studies that show how BirdVis has helped scientists obtain new evidence for existing hypotheses, as well as formulate new hypotheses in their domain.