Skip to main content Skip to navigation

WPCCS 2019 Schedule

The Warwick Postgraduate Colloquium in Computer Science (WPCCS) 2019 will be held on Monday, 9th December, in the Mathematical Sciences Building, University of Warwick. This is the final schedule. If there are any problems please get in touch with wpccs@warwick.ac.uk immediately.

8:30 Registration - Foyer
9:00 Introductions - MB0.07
9:10 Guest Talk: Torsten Mutze - MB0.07
  Computational Biology
MB0.01
Theory, Foundations and Discrete Mathematics
MB0.07
Computer Security and Networks
MB0.08
9:45 Introduction Introduction Introduction
9:50 Challenges of Working With Large Biological Images
John Pocock
Two-Party Maximum Matching
Jacques Dark
Protocol Transformation for Transiently Powered Wireless Sensor Networks
David Richardson
10:05 Automatic Classification of Cancer Tissues in Breast Cancer
Rawan Albusayli
Having It All: Modularity and Performance and Correctness in Compiler Tree Transformations
Eleanor Davies
Real-time Forensic-Aware Logging System for Hypervisors in Cloud Environment
Abdullah Al Hajri
10:20 Camera Sensitivity Dependent PRNU-Based Image Forensics
Yijun Quan
The Complexity of Verifying Circuits as Differentially Private
David Purser
Using fingerprint for banknote's protection
Shin Wang
10:35 Identification of Low and High Risk Urine Cytology Images using Cell-Based Classification
Ruqayya Awan
Exploring Space with the power of Space Exploration!
Alex Dixon
Toward the Design of Auditable Systems
Sara Alhajaili
10:50 Break - Foyer
  Computational Biology
MB0.01
Theory, Foundations and Discrete Mathematics
MB0.07
Machine Learning and Artificial Intelligence
MB0.08
11:15 Introduction Introduction Introduction
11:20 A Hybrid Pipeline to Assess Oestrogen Receptor Stained Nuclei in Invasive Breast Cancer
Hammam Alghamdi
Coalitional Hotelling-Downs Games
Grzegorz Lisowski
Using GAN to Implement Data Augmentation in Human Activity Recognition
Yujue Zhou
11:35 Normative Modelling in Depression
Josh Cavie
Parity games, Strahler number and Register Index
Thejaswini Raghavan
Deep Emotion Distribution from Images
Abeer Almowallad
11:50 Association between Brain Functional Connectivity and Hypertension
Ruiqing Feng
Sunflowers, daisies and local codes
Marcel De Sena Dall'Agnol
EV-Gait: Event-based Robust Gait Recognition using Dynamic Vision Sensors
Bowen Du
12:05 Drone Action Recognition using Capsule Network
Abdullah Algamdi
Streaming Zero Knowledge
Christopher Hickey
Applying Augmented Reality (AR) Technology in Computing Higher Education.
Sarah Alshamrani
12:20 Lunch - Foyer

Posters on display

  High Performance Computing and Databases
MB0.01
Urban Science
MB0.07
Machine Learning and Artificial Intelligence
MB0.08
13:20 Introduction Introduction Introduction
13:25 Modeling HPC Networks
Dean Chester
How is gender being addressed in low-income housing indicators?
Natalie Rothwell
English-Arabic Cross-language Plagiarism Detection
Naif Alotaibi
13:40 High Level FPGA Accelerator Design for Numerical Algorithms
Kamalavasan Kamalakkannan
Design Fiction for the Future of Learning Spaces
Ivana Tosheva
Reflective Writing Analysis Approach based on Semantic Concepts: An Evaluation of WordNet Affect Efficiency
Huda Alrashidi
13:55 Higher-Order Particle Representation for Particle-in-Cell Simulations
Dom Brown
Smart City-Regions: On the emerging practice of data-informed urbanism in regional governance
Alexander Noll
TDAM: a Topic-Dependent Attention Model for Sentiment Analysis
Gabriele Pergola
14:10 Warwick Data Store: A HPC Library for Flexible Data Storage in Multi-Physics Applications
Richard Kirk
Online Platforms of Public Participation
Jonathan Davies
Knowledge-enhanced search graphs for approximate nearest neighbour search
Aparajita Haldar
14:25 Using Resource Use Data and System Logs for HPC System Error Propagation and Recovery Diagnosis
Edward Chuah
Visualising the Limitations of Air Quality Sensor Data
Nicole Hengesbach
Incorporating Common Sense to Identify Mental State in Affective Event
Fitri Nurinsani Rachbini
14:40 Break - Foyer
15:05 Guest Talk: Feng Hao - MB0.07
  High Performance Computing and Databases
MB0.01
Urban Science
MB0.07
Machine Learning and Artificial Intelligence
MB0.08
15:40 Introduction Introduction Introduction
15:45 Computational Offloading in Trusted Nodes of Edge Computing
Ali Meree
Source-Destination Balanced Facility Location
Teddy Cunningham
Local Trend Inconsistency: A Prediction-driven Approach to Unsupervised Anomaly Detection in Multi-seasonal Time Series
Wentai Wu
16:00 DBEst: Revisiting Approximate Query Processing Engines with Machine Learning Models
Qingzhi Ma
Exploratory Spatial Analysis of Access to Physical and Digital Banking Channels in the UK
Andra Sonea
Dynamic Bike Reposition:A Spatial-Temporal Reinforcement learning Approach
Man Luo
16:15 Query-conscious Predictive Spatio-temporal Quantization
Shuang Wang
The Demographic Evolution of Systems of Cities, a Graph-Theoretical Approach
Matteo Mazzamurro
Online Transfer Learning for Concept Drifting Data Streams
Helen McKay
16:30 Uniform Sampling over big Joins
Ali Mohammadi Shanghooshabad
Collective Shortest Paths for Minimising Congestion on Networks
Chris Conlan
Graph Convolutional Network
Amir Shirian
16:45 Prize Deliberations
16:50 Prize-giving - MB0.07
17:00 Evening Reception - Foyer

Posters on Display at Lunch

Prediction of sensation-seeking from functional connectivities of the medial orbitofrontal cortex with the anterior cingulate cortex
Zhuo Wan [Computational Biology]
A Novel Digital Score for Abundance of Tumour Infiltrating Lymphocytes Predicts Disease Free Survival in Oral Squamous Cell Carcinoma
Muhammad Shaban [Computational Biology]
Nuclear Instance Segmentation using a Proposal-Free Spatially Aware Deep Learning Framework
Navid Alemi Koohbanani [Computational Biology]
Automatic Music Transcription and Correcting Errors in Existing Transcriptions
Tom Wood [Machine Learning and Artificial Intelligence]
Loss Prediction Based Asynchronous Stochastic Gradient Descent for Distributed Training of Deep Neural Networks
Junyu Li [Machine Learning and Artificial Intelligence]
Complex Networks Community Structure - Is the UK Railway Network Well Structured?
Aseel Alturki [Machine Learning and Artificial Intelligence]
A Framework for Enhancing the Capturing and Sharing of Best Teaching Practices amongst Universities' Instructors
Nouf Almujally [Machine Learning and Artificial Intelligence]
The Abandon and Parallelization GAN
Hao Wu [Machine Learning and Artificial Intelligence]
Fusion Network For Face-Based Age Estimation
Haoyi Wang [Machine Learning and Artificial Intelligence]
Aiming beyond the Obvious: Identifying Non-Obvious Cases in Semantic Similarity Datasets
Nicole Peinelt [Machine Learning and Artificial Intelligence]
The role of AR Technology in supporting nursing acquiring clinical skills independently
Ebtehal Quqandi [Machine Learning and Artificial Intelligence]
One Graph-One Signal
Debaleena Roy [Machine Learning and Artificial Intelligence]
Pose-Invariant Face Recognition
Jiashu Liao [Machine Learning and Artificial Intelligence]
Reliable Many-to-Many Routing in Wireless Sensor Networks Using Ant Colony Optimisation
Jasmine Grosso [Computer Security and Networks]
Towards the Selection of Monitors for Predicate Detection in WirelessSensor Networks
Alwaleed Alharbi [Computer Security and Networks]
Scheduling Dependent Tasks in Edge Networks
Mohammed Mufareh A Maray [Computer Security and Networks]
Secure Virtual Machines Allocation That Minimizes The Number Of Migrations To Mitigate The Risk Of Malicious Co-Residency In Cloud Computing.
Mansour Aldawood Aldawood [Computer Security and Networks]
Using the Weather Research and Forecasting Model to validate and improve high resolution weather forecasts around cities
Timothy Sit [Urban Science]
Recalibrating urban monitoring frameworks in the Global South
Philipp Ulbrich [Urban Science]
Modelling Business Rates in England with Big Spatial Data
Shanaka Perera [Urban Science]
How can geo-resources build sustainable and resilient cities?
Katherine Ascott [Urban Science]
Planning in Practice for Resilience and Climate Risk in Extreme and ’Extreme-ing’ Urban Environments
Melissa Kenny [Urban Science]
Smart Urbanism in a Post-Colonial Setting
Oba Waiyaki [Urban Science]
Digital Planning in the Smart City
Ciaran Devlin [Urban Science]
The role of public engagement in design discourse and urban planning
Christian Caton [Urban Science]
Solute mixing in the hyporheic region
Elisa Baioni [Urban Science]
Characterising Geotechnical Paramters Across The London Basin
Bradley Sheridan [Urban Science]

Guest Talk - Torsten Mutze - Origami and the mathematics behind it

In this talk we explore the mathematical and algorithmic theory behind the Japanese art of paper folding, illustrated with some beautiful models.

Guest Talk - Feng Hao - Tackling real-world security problems

Cryptography is a useful tool that often allows people to solve intuitively impossible problems with real-world impact. In this talk, I will present three examples from our previous research work. In the first example, I will show a technique that allows a user to anonymously send a veto message with untraceable origin even when all communication is under the strict surveillance, say by a big brother. In the second example, I will show a protocol that allows two remote users to establish a “high”- entropy session key from a “low”-entropy shared secret (password). The high-entropy session key can then be used for secure communication. In the third example, I will show a voting system that allows every voter to tally votes by themselves without needing any trusted tallying authority, while preserving the voter’s privacy. In each of these examples, cryptography is a key enabling technology that transforms the impossible to the possible.

Abstracts

Login to see student abstracts.