Source author record

Richard Smith

Richard Smith appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2020arXiv

Combining interdependent climate model outputs in CMIP5: A spatial Bayesian approach

Projections of future climate change rely heavily on climate models, and combining climate models through a multi-model ensemble is both more accurate than a single climate model and valuable for uncertainty quantification. However, Bayesian approaches to multi-model ensembles have been criticized for making oversimplified assumptions about bias and variability, as well as treating different models as statistically independent. This paper extends the Bayesian hierarchical approach of Sansom et al. (2017) by explicitly accounting for spatial variability and inter-model dependence. We propose a Bayesian hierarchical model that accounts for bias between climate models and observations, spatial and inter-model dependence, the emergent relationship between historical and future periods, and natural variability. Extensive simulations show that our model provides better estimates and uncertainty quantification than the commonly used simple model mean. These results are illustrated using data from the CMIP5 model archive. As examples, for Central North America our projected mean temperature for 2070--2100 is about 0.8 K lower than the simple model mean, while for East Asia it is about 0.5 K higher; however, in both cases, the widths of the 90% credible intervals are of the order 3--6 K, so the uncertainties overwhelm the relatively small differences in projected mean temperatures.

preprint2020arXiv

Modeling the Invariance of Virtual Pointers in LLVM

Devirtualization is a compiler optimization that replaces indirect (virtual) function calls with direct calls. It is particularly effective in object-oriented languages, such as Java or C++, in which virtual methods are typically abundant. We present a novel abstract model to express the lifetimes of C++ dynamic objects and invariance of virtual table pointers in the LLVM intermediate representation. The model and the corresponding implementation in Clang and LLVM enable full devirtualization of virtual calls whenever the dynamic type is statically known and elimination of redundant virtual table loads in other cases. Due to the complexity of C++, this has not been achieved by any other C++ compiler so far. Although our model was designed for C++, it is also applicable to other languages that use virtual dispatch. Our benchmarks show an average of 0.8% performance improvement on real-world C++ programs, with more than 30% speedup in some cases. The implementation is already a part of the upstream LLVM/Clang and can be enabled with the -fstrict-vtable-pointers flag.

preprint2016arXiv

A Security Evaluation Framework for U.K. E-Goverment Services Agile Software Development

This study examines the traditional approach to software development within the United Kingdom Government and the accreditation process. Initially we look at the Waterfall methodology that has been used for several years. We discuss the pros and cons of Waterfall before moving onto the Agile Scrum methodology. Agile has been adopted by the majority of Government digital departments including the Government Digital Services. Agile, despite its ability to achieve high rates of productivity organized in short, flexible, iterations, has faced security professionals disbelief when working within the U.K. Government. One of the major issues is that we develop in Agile but the accreditation process is conducted using Waterfall resulting in delays to go live dates. Taking a brief look into the accreditation process that is used within Government for I.T. systems and applications, we focus on giving the accreditor the assurance they need when developing new applications and systems. A framework has been produced by utilizing the Open Web Application Security Project (OWASP) Application Security Verification Standard (ASVS). This framework will allow security and Agile to work side by side and produce secure code.

preprint2014arXiv

Hydrogen adsorption and diffusion around Si(001)/Si(110) corners in nanostructures

While the diffusion of hydrogen on silicon surfaces has been relatively well characterised both experimentally and theoretically, the diffusion around corners between surfaces, as will be found on nanowires and nanostructures, has not been studied. Motivated by nanostructure fabrication by Patterned Atomic Layer Epitaxy (PALE), we present a density functional theory (DFT) study of the diffusion of hydrogen around the edge formed by the orthogonal (001) and (110) surfaces in silicon. We find that the barrier from (001) to (110) is approximately 0.3 eV lower than from (110) to (001), and that it is comparable to diffusion between rows on the clean surface, with no significant effect on the hydrogen patterns at the growth temperatures used.

preprint2007arXiv

Survival probability of a diffusing particle constrained by two moving, absorbing boundaries

We calculate the exact asymptotic survival probability, Q, of a one-dimensional Brownian particle, initially located located at the point x in (-L,L), in the presence of two moving absorbing boundaries located at \pm(L+ct). The result is Q(y,λ) = \sum_{n=-\infty}^\infty (-1)^n \cosh(ny) \exp(-n^2λ), where y=cx/D, λ= cL/D and D is the diffusion constant of the particle. The results may be extended to the case where the absorbing boundaries have different speeds. As an application, we compute the asymptotic survival probability for the trapping reaction A + B -> B, for evanescent traps with a long decay time.