GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh

Source URL: qav.comlab.ox.ac.uk

• Uniform polyhedra
• Prism
• PRISM model checker
• Model checking
• Grip

American Economic Review 2018, ): 899–934 https://doi.orgaerRailroads of the Raj: Estimating the Impact of Transportation Infrastructure† By Dave Donaldson*

Source URL: dave-donaldson.com

• Economy
• International trade theory
• Rail transportation in the United States
• HeckscherOhlin model
• Comparative advantage
• International trade
• Free trade
• Economy of India
• Commodity
• Economic inequality

Language-level Symmetry Reduction for Probabilistic Model Checking Alastair F. Donaldson Alice Miller David Parker Computing Laboratory Department of Computing Science

Source URL: qav.comlab.ox.ac.uk

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–614) VARIATIONAL AND NON-ARCHIMEDEAN ASPECTS OF THE YAU–TIAN–DONALDSON CONJECTURE Sébastien Boucksom

Source URL: eta.impa.br

• Geometry
• Differential geometry
• Mathematical analysis
• Complex manifolds
• Riemannian geometry
• Curvature
• Riemannian manifolds
• Khler manifold
• Ricci curvature
• Calabi conjecture
• Hermitian manifold
• Differential geometry of surfaces

Some recent developments in Kähler geometry and exceptional holonomy Simon Donaldson Simons Centre for Geometry and Physics, Stony Brook Imperial College, London March 3, 2018

Source URL: eta.impa.br

• Geometry
• Mathematics
• Space
• Complex manifolds
• Algebraic geometry
• Differential geometry
• Curvature
• Riemannian manifolds
• Khler manifold
• KhlerEinstein metric
• Ricci curvature
• Constant scalar curvature Khler metric

PDF Document

Source URL: emea.donaldson.com

Maritime Disasters of WWII 1939 ATHENIA (September 3, 1939) The first civilian casualty of World War II, the Cunard passenger liner Athenia of 13,581 tons, (chartered from the Anchor Donaldson Line) was sunk without warn

Source URL: 415vva.homestead.com

This Comment has been submitted by the UCI Intellectual Property, Arts, and Technology Clinic and Donaldson + Callif, LLP on behalf of Film Independent, the International Documentary Association, and Kartemquin Films. IT

Source URL: ipat.law.uci.edu

Automatic Offloading of C++ for the Cell BE Processor: a Case Study Using Offload Alastair F. Donaldson Oxford University Computing Laboratory Oxford, UK Email:

Source URL: www.codeplay.com

A Sound and Complete Abstraction for Reasoning about Parallel Prefix Sums Nathan Chong, Alastair F. Donaldson, Jeroen Ketema
 Imperial College London {nyc04, afd, j.ketema}@imperial.ac.uk

Source URL: carp.doc.ic.ac.uk