James Margetson

Available identifiers

Publication	Date of Publication	Type
Extensible pattern matching via a lightweight language extension	2014-07-21	Paper
Measure transformer semantics for Bayesian machine learning	2013-09-26	Paper
Measure transformer semantics for Bayesian machine learning	2011-05-19	Paper
Theorem Proving in Higher Order Logics	2006-07-06	Paper
Rolling contact of a rigid cylinder over a smooth elastic or viscoelastic layer	1972-01-01	Paper
Rolling contact of a smooth viscoelastic strip between rotating rigid cylinders	1971-01-01	Paper
Circular inclusion in a viscoelastic plate subjected to uniaxial tension	1971-01-01	Paper
Separation of smooth circular inclusions from elastic and viscoelastic plates subjected to uniaxial tension	1970-01-01	Paper
The indentation of elastic and viscoelastic strips by rigid or elastic cylinders	1970-01-01	Paper
A Simplified Procedure for Singular Integral Equations with Logarithmic Kernels	1970-01-01	Paper

This page was built for person: James Margetson