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.