Resolving Places, Past and Present: Toponym Resolution in Historical British Newspapers Using Multiple Resources

Newspapers and their metadata are richly geographical, not only in their distribution but also...

Coll Ardanuy, Mariona & McDonough, Katherine & Krause, Amrey & Wilson, Daniel & Hosseini, Kasra & Strien, Daniel. (2019). Resolving places, past and present: toponym resolution in historical british newspapers using multiple resources. GIR '19: Proceedings of the 13th Workshop on Geographic Information Retrieval. 1-6. 10.1145/3371140.3371143.

Design choices for productive, secure, data-intensive research at scale in the cloud

We present a policy and process framework for secure environments for productive data science...

Arenas, Diego & Atkins, Jon & Austin, Clare & Beavan, David & Cabrejas Egea, Alvaro & Carlysle-Davies, Stephen & Carter, Ian & Clarke, Rob & Cunningham, James & Doel, Tom & Forrest, Oliver & Gabasova, Evelina & Geddes, James & Hetherington, James & Jersakova, Radka & Kiraly, Franz & Lawrence, Catherine & Manser, Jules & O'Reilly, Martin & Whitaker, Kirstie. (2019). Design choices for productive, secure, data-intensive research at scale in the cloud. arXiv:1908.08737 [cs.CR]

Verified self-explaining computation

Jan Stolarek and James Cheney. Verified self-explaining computation. In Proceedings of the 13th International Conference on Mathematics of Program Construction (MPC 2019), p. 76–102, 2019.