Route Planning in Transportation Networks

We survey recent advances in algorithms for route planning in transportation networks. For road networks, we show that one can compute driving directions in milliseconds or less even at continental scale. A variety of techniques provide different trade-offs between preprocessing effort, space requirements, and query time. Some algorithms can answer queries in a fraction of a microsecond, while others can deal efficiently with real-time traffic. Journey planning on public transportation systems, although conceptually similar, is a significantly harder problem due to its inherent time-dependent and multicriteria nature. Although exact algorithms are fast enough for interactive queries on metropolitan transit systems, dealing with continent-sized instances requires simplifications or heavy preprocessing. The multimodal route planning problem, which seeks journeys combining schedule-based transportation (buses, trains) with unrestricted modes (walking, driving), is even harder, relying on approximate solutions even for metropolitan inputs.Comment: This is an updated version of the technical report MSR-TR-2014-4, previously published by Microsoft Research. This work was mostly done while the authors Daniel Delling, Andrew Goldberg, and Renato F. Werneck were at Microsoft Research Silicon Valle

Different Approaches to Proof Systems

The classical approach to proof complexity perceives proof systems as deterministic, uniform, surjective, polynomial-time computable functions that map strings to (propositional) tautologies. This approach has been intensively studied since the late 70’s and a lot of progress has been made. During the last years research was started investigating alternative notions of proof systems. There are interesting results stemming from dropping the uniformity requirement, allowing oracle access, using quantum computations, or employing probabilism. These lead to different notions of proof systems for which we survey recent results in this paper

Climate change impacts on water for irrigated horticulture in the Vale of Evesham. Final Report

This project has undertaken a scoping review and assessment of the impacts of climate change on irrigated horticulture in the Vale of Evesham, an area of intense irrigated production located within the Environment Agency’s Warwickshire Avon CAMS Catchment. The research was based on a combination of methodologies including desk-based review of published and grey literature, computer agroclimatic and water balance modelling, GIS mapping, meetings with key informants and a stakeholder workshop. Future climate datasets were derived from the latest UK Climate Impacts Programme (UKICIP02) climatology, using selected emission scenarios for the 2020s, 2050s and 2080s. These scenarios were then used to model and map the future agroclimatic conditions under which agriculture might operate and the consequent impacts on irrigation need (depths of water applied) and volumetric demand. This was complimented by a postal survey to abstractors and a stakeholder workshop, to identify, review and assess farmer adaptation options and responses. The key findings arising from the research, implications for water resource management and recommendations for further work are summarised below. Using a geographical information system (GIS), a series of agroclimate maps have been produced, for the baseline and selected UKCIP02 scenario. The maps show major changes in agroclimate within the catchment over the next 50 years. The driest agroclimate zones are currently located around Worcester, Evesham, Tewkesbury and Gloucester, corresponding to areas where horticultural production and irrigation demand are most concentrated. By the 2020s, all agroclimate zones are predicted to increase in aridity. By the 2050s the entire catchment is predicted to have a drier agroclimate than is currently experienced anywhere in the driest parts of the catchment. This will have major impacts on the pattern of land use and irrigation water demand. Cont/d

User involvement in healthcare technology development and assessment: Structured literature review

Purpose – Medical device users are one of the principal stakeholders of medical device technologies. User involvement in medical device technology development and assessment is central to meet their needs. Design/methodology/approach – A structured review of literature, published from 1980 to 2005 in peer-reviewed journals, was carried out from social science perspective to investigate the practice of user involvement in the development and assessment of medical device technologies. This was followed by qualitative thematic analysis. Findings – It is found that users of medical devices include clinicians, patients, carers and others. Different kinds of medical devices are developed and assessed by user involvement. The user involvement occurs at different stages of the medical device technology lifecycle and the degree of user involvement is in the order of design stage > testing and trials stage > deployment stage > concept stage. Methods most commonly used for capturing users’ perspectives are usability tests, interviews and questionnaire surveys. Research limitations/implications – We did not review the relevant literature published in engineering, medical and nursing fields, which might have been useful. Practical implications – Consideration of the users’ characteristics and the context of medical device use is critical for developing and assessing medical device technologies from users’ perspectives. Originality/value – This study shows that users of medical device technologies are not homogeneous but heterogeneous, in several aspects, and their needs, skills and working environments vary. This is important consideration for incorporating users’ perspectives in medical device technologies. Paper type: Literature review

MGOS: A library for molecular geometry and its operating system

The geometry of atomic arrangement underpins the structural understanding of molecules in many fields. However, no general framework of mathematical/computational theory for the geometry of atomic arrangement exists. Here we present "Molecular Geometry (MG)'' as a theoretical framework accompanied by "MG Operating System (MGOS)'' which consists of callable functions implementing the MG theory. MG allows researchers to model complicated molecular structure problems in terms of elementary yet standard notions of volume, area, etc. and MGOS frees them from the hard and tedious task of developing/implementing geometric algorithms so that they can focus more on their primary research issues. MG facilitates simpler modeling of molecular structure problems; MGOS functions can be conveniently embedded in application programs for the efficient and accurate solution of geometric queries involving atomic arrangements. The use of MGOS in problems involving spherical entities is akin to the use of math libraries in general purpose programming languages in science and engineering. (C) 2019 The Author(s). Published by Elsevier B.V