Zobrazeno 1 - 10
of 257
pro vyhledávání: '"Parkinson, Matthew"'
Autor:
Arvidsson, Ellen, Castegren, Elias, Clebsch, Sylvan, Drossopoulou, Sophia, Noble, James, Parkinson, Matthew J., Wrigstad, Tobias
Verona is a concurrent object-oriented programming language that organises all the objects in a program into a forest of isolated regions. Memory is managed locally for each region, so programmers can control a program's memory use by adjusting objec
Externí odkaz:
http://arxiv.org/abs/2309.02983
Autor:
Parkinson, Matthew
We study how uncertainty in the input data of the Radiative Transport equation (RTE), affects the distribution of (functionals of) its solution (the output data). The RTE is an integro-differential equation, in up to seven independent variables, that
Externí odkaz:
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.767610
We present an analysis of multilevel Monte Carlo techniques for the forward problem of uncertainty quantification for the radiative transport equation, when the coefficients ({\em cross-sections}) are heterogenous random fields. To do this, we first
Externí odkaz:
http://arxiv.org/abs/1903.11838
We describe modern variants of Monte Carlo methods for Uncertainty Quantification (UQ) of the Neutron Transport Equation, when it is approximated by the discrete ordinates method with diamond differencing. We focus on the mono-energetic 1D slab geome
Externí odkaz:
http://arxiv.org/abs/1702.03561
Linearizability is the commonly accepted notion of correctness for concurrent data structures. It requires that any execution of the data structure is justified by a linearization --- a linear order on operations satisfying the data structure's seque
Externí odkaz:
http://arxiv.org/abs/1701.05463
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms, and recent years have seen a number of proposals of program logics for proving it. Although these logics differ in technical details, they embody sim
Externí odkaz:
http://arxiv.org/abs/1609.01171
Autor:
Parkinson, Matthew Cameron
Sodwana Bay, situated within the iSimangaliso Wetland Park, is ecologically important as it contains high-latitude corals and the most southerly known population of coelacanths. This thesis utilised stable isotope and lipid analyses to investigate th
Externí odkaz:
http://hdl.handle.net/10962/d1001630
We describe a program logic for weak memory (also known as relaxed memory). The logic is based on Hoare logic within a thread, and rely/guarantee between threads. It is presented via examples, giving proofs of many weak-memory litmus tests. It extend
Externí odkaz:
http://arxiv.org/abs/1512.01416
Autor:
PARKINSON, MATTHEW RAMCHARAN
More than half of all cases of breast cancer occur among women without any known risk factors. More research is needed on suspected risk factors in order to refine current breast cancer screening tools. The objectives of this thesis were: to determin
Externí odkaz:
http://hdl.handle.net/1974/6650