-
User-friendly Composition of FAIR Workflows in a Notebook Environment
Authors:
Robin A Richardson,
Remzi Celebi,
Sven van der Burg,
Djura Smits,
Lars Ridder,
Michel Dumontier,
Tobias Kuhn
Abstract:
There has been a large focus in recent years on making assets in scientific research findable, accessible, interoperable and reusable, collectively known as the FAIR principles. A particular area of focus lies in applying these principles to scientific computational workflows. Jupyter notebooks are a very popular medium by which to program and communicate computational scientific analyses. However…
▽ More
There has been a large focus in recent years on making assets in scientific research findable, accessible, interoperable and reusable, collectively known as the FAIR principles. A particular area of focus lies in applying these principles to scientific computational workflows. Jupyter notebooks are a very popular medium by which to program and communicate computational scientific analyses. However, they present unique challenges when it comes to reuse of only particular steps of an analysis without disrupting the usual flow and benefits of the notebook approach, making it difficult to fully comply with the FAIR principles. Here we present an approach and toolset for adding the power of semantic technologies to Python-encoded scientific workflows in a simple, automated and minimally intrusive manner. The semantic descriptions are published as a series of nanopublications that can be searched and used in other notebooks by means of a Jupyter Lab plugin. We describe the implementation of the proposed approach and toolset, and provide the results of a user study with 15 participants, designed around image processing workflows, to evaluate the usability of the system and its perceived effect on FAIRness. Our results show that our approach is feasible and perceived as user-friendly. Our system received an overall score of 78.75 on the System Usability Scale, which is above the average score reported in the literature.
△ Less
Submitted 1 November, 2021;
originally announced November 2021.
-
Towards Blood Flow in the Virtual Human: Efficient Self-Coupling of HemeLB
Authors:
J. W. S. McCullough,
R. A. Richardson,
A. Patronis,
R. Halver,
R. Marshall,
M. Ruefenacht,
B. J. M. Wylie,
T. Odaker,
M. Wiedemann,
B. Lloyd,
E. Neufeld,
G. Sutmann,
A. Skjellum,
D. Kranzlmüller,
P. V. Coveney
Abstract:
Many scientific and medical researchers are working towards the creation of a virtual human - a personalised digital copy of an individual - that will assist in a patient's diagnosis, treatment and recovery. The complex nature of living systems means that the development of this remains a major challenge. We describe progress in enabling the HemeLB lattice Boltzmann code to simulate 3D macroscopic…
▽ More
Many scientific and medical researchers are working towards the creation of a virtual human - a personalised digital copy of an individual - that will assist in a patient's diagnosis, treatment and recovery. The complex nature of living systems means that the development of this remains a major challenge. We describe progress in enabling the HemeLB lattice Boltzmann code to simulate 3D macroscopic blood flow on a full human scale. Significant developments in memory management and load balancing allow near linear scaling performance of the code on hundreds of thousands of computer cores. Integral to the construction of a virtual human, we also outline the implementation of a self-coupling strategy for HemeLB. This allows simultaneous simulation of arterial and venous vascular trees based on human-specific geometries.
△ Less
Submitted 8 October, 2020;
originally announced October 2020.
-
VECMAtk: A Scalable Verification, Validation and Uncertainty Quantification Toolkit for Scientific Simulations
Authors:
D. Groen,
H. Arabnejad,
V. Jancauskas,
W. N. Edeling,
F. Jansson,
R. A. Richardson,
J. Lakhlili,
L. Veen,
B. Bosak,
P. Kopta,
D. W. Wright,
N. Monnier,
P. Karlshoefer,
D. Suleimenova,
R. Sinclair,
M. Vassaux,
A. Nikishova,
M. Bieniek,
O. O. Luk,
M. Kulczewski,
E. Raffin,
D. Crommelin,
O. Hoenen,
D. P. Coster,
T. Piontek
, et al. (1 additional authors not shown)
Abstract:
We present the VECMA toolkit (VECMAtk), a flexible software environment for single and multiscale simulations that introduces directly applicable and reusable procedures for verification, validation (V&V), sensitivity analysis (SA) and uncertainty quantification (UQ). It enables users to verify key aspects of their applications, systematically compare and validate the simulation outputs against ob…
▽ More
We present the VECMA toolkit (VECMAtk), a flexible software environment for single and multiscale simulations that introduces directly applicable and reusable procedures for verification, validation (V&V), sensitivity analysis (SA) and uncertainty quantification (UQ). It enables users to verify key aspects of their applications, systematically compare and validate the simulation outputs against observational or benchmark data, and run simulations conveniently on any platform from the desktop to current multi-petascale computers. In this sequel to our paper on VECMAtk which we presented last year, we focus on a range of functional and performance improvements that we have introduced, cover newly introduced components, and applications examples from seven different domains such as conflict modelling and environmental sciences. We also present several implemented patterns for UQ/SA and V&V, and guide the reader through one example concerning COVID-19 modelling in detail.
△ Less
Submitted 11 October, 2020; v1 submitted 8 October, 2020;
originally announced October 2020.
-
HEMELB Acceleration and Visualization for Cerebral Aneurysms
Authors:
Sahar Soheilian Esfahani,
Xiaojun Zhai,
Minsi Chen,
Abbes Amira,
Faycal Bensaali,
Julien AbiNahed,
Sarada Dakua,
Georges Younes,
Robin A. Richardson,
Peter V. Coveney
Abstract:
A weakness in the wall of a cerebral artery causing a dilation or ballooning of the blood vessel is known as a cerebral aneurysm. Optimal treatment requires fast and accurate diagnosis of the aneurysm. HemeLB is a fluid dynamics solver for complex geometries developed to provide neurosurgeons with information related to the flow of blood in and around aneurysms. On a cost efficient platform, HemeL…
▽ More
A weakness in the wall of a cerebral artery causing a dilation or ballooning of the blood vessel is known as a cerebral aneurysm. Optimal treatment requires fast and accurate diagnosis of the aneurysm. HemeLB is a fluid dynamics solver for complex geometries developed to provide neurosurgeons with information related to the flow of blood in and around aneurysms. On a cost efficient platform, HemeLB could be employed in hospitals to provide surgeons with the simulation results in real-time. In this work, we developed an improved version of HemeLB for GPU implementation and result visualization. A visualization platform for smooth interaction with end users is also presented. Finally, a comprehensive evaluation of this implementation is reported. The results demonstrate that the proposed implementation achieves a maximum performance of 15,168,964 site updates per second, and is capable of speeding up HemeLB for deployment in hospitals and clinical investigations.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.
-
Elliptical X-Ray Spot Measurement
Authors:
Roger A. Richardson,
Stephen Sampayan,
John T. Weir
Abstract:
The so-called roll bar measurement uses a heavy metal material, optically thick to x-rays, to form a shadow of the x-ray origination spot. This spot is where an energetic electron beam interacts with a high Z target. The material (the "roll bar") is slightly curved to avoid alignment problems. The roll bar is constructed and positioned so that the x-rays are shadowed in the horizontal and vertic…
▽ More
The so-called roll bar measurement uses a heavy metal material, optically thick to x-rays, to form a shadow of the x-ray origination spot. This spot is where an energetic electron beam interacts with a high Z target. The material (the "roll bar") is slightly curved to avoid alignment problems. The roll bar is constructed and positioned so that the x-rays are shadowed in the horizontal and vertical directions, so information is obtained in two dimensions. If a beam profile is assumed (or measured by other means), the equivalent x-ray spot size can be calculated from the x-ray shadow cast by the roll bar. Thus the ellipticity of the beam can be calculated, assuming the ellipse of the x-ray spot is aligned with the roll bar. The data is recorded using a scintillator and gated camera. Data will be presented from measurements using the ETA II induction LINAC. The accuracy of the measurement is checked using small elliptical targets.
△ Less
Submitted 11 August, 2000;
originally announced August 2000.
-
Effective Carrier Mean-Free Path in Confined Geometries
Authors:
R. A. Richardson,
Franco Nori
Abstract:
The concept of exchange length is used to determine the effects of boundary scattering on transport in samples of circular and rectangular cross section. Analytical expressions are presented for an effective mean-free path for transport in the axial direction. The relationship to the phonon thermal conductivity is discussed. (This letter outlines the results presented in detail in the longer ver…
▽ More
The concept of exchange length is used to determine the effects of boundary scattering on transport in samples of circular and rectangular cross section. Analytical expressions are presented for an effective mean-free path for transport in the axial direction. The relationship to the phonon thermal conductivity is discussed. (This letter outlines the results presented in detail in the longer version, available as cond-mat/9402081)
△ Less
Submitted 20 February, 1994;
originally announced February 1994.
-
Confirmation of the Modified Bean Model from Simulations of Superconducting Vortices
Authors:
R. A. Richardson,
O. Pla,
Franco Nori
Abstract:
From a very simple description of vortices and pinning centers and without using any electrodynamical assumptions, we obtain nonlinear density profiles of vortices in type-II dirty superconductors that result from raising or lowering an external magnetic field. The results confirm a modified Bean model description of these systems, and in particular, follow the Kim empirical form that relates th…
▽ More
From a very simple description of vortices and pinning centers and without using any electrodynamical assumptions, we obtain nonlinear density profiles of vortices in type-II dirty superconductors that result from raising or lowering an external magnetic field. The results confirm a modified Bean model description of these systems, and in particular, follow the Kim empirical form that relates the current inside the material to the local magnetic field. We also obtain realistic magnetization hysteresis loops and examine the discrete evolution of the density profiles in our systems. This evolution is not continuous, but takes place by the occurrence of avalanches of vortices promoted by the addition or extraction of vortices from the edges of the system.
△ Less
Submitted 21 February, 1994; v1 submitted 14 July, 1993;
originally announced July 1993.