A Learning 2.0 Programme: raising library staff awareness of Web 2.0 at Imperial College London

Published versio

Fluid and Diffusion Limits for Bike Sharing Systems

Bike sharing systems have rapidly developed around the world, and they are served as a promising strategy to improve urban traffic congestion and to decrease polluting gas emissions. So far performance analysis of bike sharing systems always exists many difficulties and challenges under some more general factors. In this paper, a more general large-scale bike sharing system is discussed by means of heavy traffic approximation of multiclass closed queueing networks with non-exponential factors. Based on this, the fluid scaled equations and the diffusion scaled equations are established by means of the numbers of bikes both at the stations and on the roads, respectively. Furthermore, the scaling processes for the numbers of bikes both at the stations and on the roads are proved to converge in distribution to a semimartingale reflecting Brownian motion (SRBM) in a $N^{2}$-dimensional box, and also the fluid and diffusion limit theorems are obtained. Furthermore, performance analysis of the bike sharing system is provided. Thus the results and methodology of this paper provide new highlight in the study of more general large-scale bike sharing systems.Comment: 34 pages, 1 figure

Differential response to abiotic stress controls species distributions at biogeographic transition zones

Understanding range limits is critical to predicting species responses to climate change. Subtropical environments, where many species overlap at their range margins, are cooler, more light-limited and variable than tropical environments. It is thus likely that species respond variably to these multi-stressor regimes and that factors other than mean climatic conditions drive biodiversity patterns. Here, we tested these hypotheses for scleractinian corals at their high-latitude range limits in eastern Australia and investigated the role of mean climatic conditions and of parameters linked to abiotic stress in explaining the distribution and abundance of different groups of species. We found that environmental drivers varied among taxa and were predominantly linked to abiotic stress. The distribution and abundance of tropical species and gradients in species richness (alpha diversity) and turnover (beta diversity) were best explained by light limitation, whereas minimum temperatures and temperature fluctuations best explained gradients in subtropical species, species nestedness and functional diversity. Variation in community structure (considering species composition and abundance) was most closely linked to the combined thermal and light regime. Our study demonstrates the role of abiotic stress in controlling the distribution of species towards their high-latitude range limits and suggests that, at biogeographic transition zones, robust predictions of the impacts of climate change require approaches that account for various aspects of physiological stress and for species abundances and characteristics. These findings support the hypothesis that abiotic stress controls high-latitude range limits and caution that projections solely based on mean temperature could underestimate species’ vulnerabilities to climate change

Via and embedded resistor production in low cost lithographically printed substrates

Lithographic printing of silver based conductive inks to form circuit tracking provides a very low cost, environmentally friendly method of production. It allows circuits with line widths down to 100 μm and a sheet resistance of 0.3 Ω per square to be produced at rates of up to 10000 impressions per hour. The process makes use of low capital cost equipment and has low set up costs. To date, an equally cost effective method of manufacturing vias in these circuits has not been developed. This paper proposes two new techniques for via production which are compatible with the rest of the manufacturing process. In the first technique, suitably profiled holes are laser drilled for subsequent filling as part of the lithographic printing. In the second technique laser energy is used to melt the substrate material so that it is able to mix with the conductive ink and so form a conductive path. The paper describes the proposed production techniques and discusses the factors affecting each method and in particular the substrate properties affecting production. The substrate materials considered in detail are Glossart and Teslin. The optical absorption and ablation characteristics of these materials for excimer and CO2 lasers are reported, as are the thermal diffusivities

Local and regional controls of phylogenetic structure at the high-latitude range limits of corals

Understanding how range-edge populations will respond to climate change is an urgent research priority. Here, we used a phylogenetic community ecology approach to examine how ecological and evolutionary processes shape biodiversity patterns of scleractinian corals at their high-latitude range limits in eastern Australia. We estimated phylogenetic signal in seven ecologically important functional traits and conducted tests of phylogenetic structure at local and regional scales using the net relatedness (NRI) and nearest taxon indices (NTI) for the presence/absence and abundance data. Regional tests showed light phylogenetic clustering, indicating that coral species found in this subtropical-to-temperate transition zone are more closely related to each other than are species on the nearby, more northerly Great Barrier Reef. Local tests revealed variable patterns of phylogenetic clustering and overdispersion and higher than expected phylogenetic turnover among sites. In combination, these results are broadly consistent with the hierarchical filtering model, whereby species pass through a regional climatic filter based on their tolerances for marginal conditions and subsequently segregate into local assemblages according to the relative strength of habitat filtering and species interactions. Conservatism of tested traits suggests that corals will likely track their niches with climate change. Nevertheless, high turnover of lineages among sites indicates that range shifts will probably vary among species and highlights the vulnerability and conservation significance of high-latitude reefs

"Boring formal methods" or "Sherlock Holmes deduction methods"?

This paper provides an overview of common challenges in teaching of logic and formal methods to Computer Science and IT students. We discuss our experiences from the course IN3050: Applied Logic in Engineering, introduced as a "logic for everybody" elective course at at TU Munich, Germany, to engage pupils studying Computer Science, IT and engineering subjects on Bachelor and Master levels. Our goal was to overcome the bias that logic and formal methods are not only very complicated but also very boring to study and to apply. In this paper, we present the core structure of the course, provide examples of exercises and evaluate the course based on the students' surveys.Comment: Preprint. Accepted to the Software Technologies: Applications and Foundations (STAF 2016). Final version published by Springer International Publishing AG. arXiv admin note: substantial text overlap with arXiv:1602.0517

Chemical potential oscillations from a single nodal pocket in the underdoped high-Tc superconductor YBa2Cu3O6+x

The mystery of the normal state in the underdoped cuprates has deepened with the use of newer and complementary experimental probes. While photoemission studies have revealed solely `Fermi arcs' centered on nodal points in the Brillouin zone at which holes aggregate upon doping, more recent quantum oscillation experiments have been interpreted in terms of an ambipolar Fermi surface, that includes sections containing electron carriers located at the antinodal region. To address the question of whether an ambipolar Fermi surface truly exists, here we utilize measurements of the second harmonic quantum oscillations, which reveal that the amplitude of these oscillations arises mainly from oscillations in the chemical potential, providing crucial information on the nature of the Fermi surface in underdoped YBa2Cu3O6+x. In particular, the detailed relationship between the second harmonic amplitude and the fundamental amplitude of the quantum oscillations leads us to the conclusion that there exists only a single underlying quasi-two dimensional Fermi surface pocket giving rise to the multiple frequency components observed via the effects of warping, bilayer splitting and magnetic breakdown. A range of studies suggest that the pocket is most likely associated with states near the nodal region of the Brillouin zone of underdoped YBa2Cu3O6+x at high magnetic fields.Comment: 7 pages, 4 figure

Skew-Unfolding the Skorokhod Reflection of a Continuous Semimartingale

The Skorokhod reflection of a continuous semimartingale is unfolded, in a possibly skewed manner, into another continuous semimartingale on an enlarged probability space according to the excursion-theoretic methodology of Prokaj (2009). This is done in terms of a skew version of the Tanaka equation, whose properties are studied in some detail. The result is used to construct a system of two diffusive particles with rank-based characteristics and skew-elastic collisions. Unfoldings of conventional reflections are also discussed, as are examples involving skew Brownian Motions and skew Bessel processes.Comment: 20 pages. typos corrected, added a remark after Proposition 2.3, simplified the last part of Example 2.

Gaussian-process-based demand forecasting for predictive control of drinking water networks

Trabajo presentado a la 9th International Conference on Critical Information Infrastructures Security, celebrada en Limassol (Chipre) del 13 al 15 de octubre de 2014.This paper focuses on short-term water demand forecasting for predictive control of DrinkingWater Networks (DWN) by using Gaussian Process (GP). For the predictive control strategy, system state prediction in a nite horizon are generated by a DWN model and demands are regarded as system disturbances. The goal is to provide a demand estimation within a given condence interval. For the sake of obtaining a desired forecasting performance, the forecasting process is carried out in two parts: the expected part is forecasted by Double-Seasonal Holt-Winters (DSHW) method and the stochastic part is forecasted by GP method. The mean value of water demand is rstly estimated by DSHW while GP provides estimations within a condence interval. GP is applied with random inputs to propagate uncertainty at each step. Results of the application of the proposed approach to a real case study based on the Barcelona DWN have shown that the general goal has been successfully reached.This work is partially supported by the research projects SHERECS DPI-2011-26243 and ECOCIS DPI-2013-48243-C2-1-R, both of the Spanish Ministry of Education, by EFFINET grant FP7-ICT-2012-318556 of the European Commission and by AGAUR Doctorat Industrial 2013-DI-041. Ye Wang also thanks China Scholarship Council for providing postgraduate scholarship.Peer Reviewe