James Margetson

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Machine Learning

Covariate Shift

Bayesian Estimation

Formal Semantics

Top Venues

Log. Methods Comput. Sci.

Publications

Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
Measure Transformer Semantics for Bayesian Machine Learning. Log. Methods Comput. Sci. 9 (3) (2013)
Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
Measure Transformer Semantics for Bayesian Machine Learning. ESOP (2011)
Don Syme, Gregory Neverov, James Margetson
Extensible pattern matching via a lightweight language extension. ICFP (2007)
Tom Ridge, James Margetson
A Mechanically Verified, Sound and Complete Theorem Prover for First Order Logic. TPHOLs (2005)
James Margetson, Tom Ridge
Completeness theorem. Arch. Formal Proofs 2004 (2004)