Persuasive Games Module Convenor: Name Office Anna CoxGS

Source URL: uclic.ucl.ac.uk

GEOGRAPHY PGTA JOB DESCRIPTIONPost Title:

Source URL: www.geog.ucl.ac.uk

Supplementary Material for PATEX : Exploring Pattern Variations Paul Guerrero∗ University College London

Source URL: geometry.cs.ucl.ac.uk

“Ten strikes and you’re out”: Increasing the number of login attempts can improve password usability Sacha Brostoff Department of Computer Science UCL (University College London) London, WC1E 6BT, UK

Source URL: www.andrewpatrick.ca

Microsoft Word26_chu_ucl_namur_cpresse_semaine_du_rythme_cardiaque.doc

Source URL: www.chuuclnamur.be

D-ADMM Based Distributed MPC with input-output models* Rafael P. Costa1 , Jo˜ao M. Lemos2 , Jo˜ao F. C. Mota3 and Jo˜ao M. F. Xavier4 Abstract— This article presents a distributed model predictive controller (MPC) b

Source URL: www.ee.ucl.ac.uk

doi:j.socscimed

Source URL: www.ucl.ac.uk

´ UNIVERSIDADE TECNICA DE LISBOA ´ INSTITUTO SUPERIOR TECNICO CARNEGIE MELLON UNIVERSITY

Source URL: www.ee.ucl.ac.uk

LONDON’S GLOBAL UNIVERSITY UCL Migration Research Unit This paper may be downloaded for personal research purposes. However any additional reproduction for other purposes, in hard copy or electronically,

Source URL: www.geog.ucl.ac.uk

Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

Source URL: www0.cs.ucl.ac.uk

• Abstract interpretation
• Models of computation
• Parallel computing
• Petri net
• Software engineering
• Computing