8:30 |
Registration - Foyer |
9:00 |
Introductions - OC0.02 |
9:15 |
Guest Talk: Michael Gale - OC0.02 |
|
Theory, Foundations and Discrete Mathematics
OC1.01 |
Education and Reliable Systems
OC1.08 |
Machine Learning and Artificial Intelligence
OC1.09 |
9:45 |
Introduction |
Introduction |
Introduction |
9:50 |
On the Soundness of Miniphases
Eleanor Davies
|
Ontological Approach to Automatic Question Generation
Noor Hasimah Ibrahim Teo
|
Query-Centric Regression for In-DBMS Analytics
Qingzhi Ma
|
10:05 |
Efficiently solving Decision Problems on Petri Nets
Alex Dixon
|
Evaluating E-Learning Systems Success - The Case of Moodle at Warwick University
Dimah Al-Fraihat
|
Automated Detection of Tumour Infiltrating Lymphocytes and Invasive Front in OSCC Histology Images
Muhammad Shaban
|
10:20 |
Bisimilarity Distances for ε,δ Differential Privacy
David Purser
|
Know-Your-Adversary: Towards a Forensically-Aware Architecture for Analysing Malicious Insider Actions against Transactional Databases.
Denys Flores Armas
|
Data Fine-tuning: A Simple Way to Accelerate Neural Network Training
Junyu Li
|
10:35 |
Break - Foyer |
10:55 |
Guest Talk: Suhaib Fahmy - OC0.02 |
|
Theory, Foundations and Discrete Mathematics
OC1.01 |
Networks
OC1.08 |
Machine Learning and Artificial Intelligence
OC1.09 |
11:25 |
Introduction |
Introduction |
Introduction |
11:30 |
Ordered Ramsey theory
Yani Pehova
|
A Source Location Privacy-Aware Duty Cycle for Wireless Sensor Networks
Matthew Bradbury
|
MapRDD: Finer Grained Resilient Distributed Dataset for Machine Learning
Zhenyu Li
|
11:45 |
Maximum Independent Set in Streams of Vertices
Jacques Dark
|
Using Ant Colony Optimisation for Routing in Many-to-Many Wireless Sensor Networks
Jasmine Grosso
|
Assessing Inter-Component Error Propagation on HPC Resources from Cluster Log-Data
Edward Chuah
|
12:00 |
Practically Outsourcing Verification for Linear Algebra
Christopher Hickey
|
Broadcasting in Transiently Powered Sensor Networks
David Richardson
|
On Quantifying the Role of Tumour Infiltrating Lymphocytes in Head and Neck Squamous Cell Carcinoma
Ania Lisowska
|
12:15 |
|
TyfeSensor: An eHealth Sensor for Monitoring Relapse of Salmonella Typhi in Outpatient
Betty Agbons
|
|
12:30 |
Lunch - Foyer
Posters on display
|
13:30 |
Guest Talk: Jonathan Hatchett - OC0.02 |
|
Urban Science
OC1.01 |
Security
OC1.08 |
Machine Learning and Artificial Intelligence
OC1.09 |
14:00 |
Introduction |
Introduction |
Introduction |
14:05 |
Exploring Twitter and UK Land Registry data to understand working hours and sentiment in industry
Neha Gupta
|
Internet of things Forensics
Sara Alhajaili
|
Vehicle Visit Detection Using In-Car Data
James Van Hinsbergh
|
14:20 |
Community structures, interactions and dynamics in London's bicycle sharing network
Konstantin Klemmer
|
Sniffing Passwords and Verifying Users on Smartwatch via Deep Sequence Learning
Bowen Du
|
Online Transfer Learning for Concept Drifting Data Streams
Helen McKay
|
14:35 |
Spatiotemporal clustering in commercial properties
Shanaka Perera
|
Security-aware virtual machine placement model in cloud computing
Mansour Aldawood
|
Addressing Concept Drift in Reputation Assessment
Caroline Player
|
14:50 |
Estimating Interdependences Across Space, Time and Spatial Disparities in Diet and Health in Agent-Based Model for Policy Interventions: The Case of Food Deserts in Greater London/UK
Elisabeth Titis
|
|
Indirect Influence Manipulation with Partial Observability
James Archbold
|
15:05 |
Break - Foyer |
|
Urban Science
OC1.01 |
Image, Vision and Computational Biology
OC1.08 |
High Performance Computing
OC1.09 |
15:25 |
Introduction |
Introduction |
Introduction |
15:30 |
Increasing Complex Networks’ Resilience By Taking Inspiration From Food Webs
Aseel Alturki
|
Person Re-ID using Deep Foreground Appearance Modelling
Greg Watson
|
Performance of a Second Order Electrostatic Particle-in-Cell Algorithm on Modern Many-Core Architectures
Dom Brown
|
15:45 |
Are changing management practices in urban parks and greenspaces increasing biodiversity, and are there trade-offs with amenity?
Corinne Muir
|
Two-Stream Capsule Network for Action Recognition
Abdullah Algamdi
|
Developing a geometric multigrid, unstructured grid mini-application
Andrew Owenson
|
16:00 |
Neo-Urbanisation towards sustainable policy for cities in Sub-Saharan Africa
Oba Waiyaki
|
Cell Detection using Mixture Density Network
Navid Alemi Koohbanani
|
Understanding Communication Patterns in HPCG
Dean Chester
|
16:15 |
Localising the urban SDGs: Participatory geo-spatial data practices and resilience building in slums
Philipp Ulbrich
|
Optimising Vision Algorithms with Visual Saliency
Jamie Bayne
|
Data Structures and Parallelisation for High Performance Computing
Richard Kirk
|
16:30 |
Planning in the Smart City
Ciaran Devlin
|
The Cancer Genome Atlas - Tumour Profiles from Whole-Slide Images
Mary Shapcott
|
Computation Offloading in Dynamic Environment of Mobile Cloud Computing
Mohammed Maray
|
16:45 |
Effect of Airbnb on the local housing rental market.
Amit Chaudhary
|
|
Implicit Mapping of Pointers Inside C++ Lambda Closure Objects in OpenMP Target Offload Regions
David Truby
|
17:00 |
Prize Deliberations |
17:05 |
Prize Giving - OC0.02 |