CSRS@UOM 18: COMPUTER SCIENCE RESEARCH SYMPOSIUM @ MANCHESTER 2018
PROGRAM

Days: Tuesday, April 10th Wednesday, April 11th Thursday, April 12th

Tuesday, April 10th

View this program: with abstractssession overviewtalk overview

10:30-11:00Coffee Break
11:00-12:00 Session 1: Keynote
Location: Kilburn 1.1
11:00
On the journey to independence: from first idea to first grant ( abstract )
12:30-13:30Buffet Lunch
12:30-15:00 Session 3: Poster Session
Location: Kilburn Lower First Area
12:30
BotVM Detection based on Communication Patterns ( abstract )
12:30
Mapping Reporting Checklist Questions Against Biomedical Literature ( abstract )
12:30
Depth estimation from single image using fully-convolutional networks ( abstract )
12:30
The Effect of Data Visualisation on Lay People's Perception of Non-trivial Patterns in Electrocardiogram ( abstract )
12:30
Piecewise Linear Activation Functions in Echo State Networks ( abstract )
12:30
Polyhedral representation of dataflow programs ( abstract )
12:30
Financial Market Mood Indexes ( abstract )
12:30
Towards Polynomial Time Forgetting and Instance Query Rewriting in Ontology Languages ( abstract )
12:30
Facilitating Discovery in Personal Informatics ( abstract )
12:30
Tagging Method for Data Integrity Preservation ( abstract )
12:30
Investigating text mining methods in identification of linked signatures in textual and numerical data ( abstract )
12:30
A Framework for Online Prediction ( abstract )
12:30
Automatic data format transformations ( abstract )
12:30
Visual Question Answering through explicit image representation ( abstract )
12:30
Ontologies Learning from Hand-written Multiple-Choice Questions ( abstract )
12:30
The 'ayes' have it? Towards topic-centric sentiment analysis of parliamentary debates ( abstract )
12:30
Integrating Structured and Unstructured Sources for Temporal Representation of Patients’ Histories ( abstract )
12:30
Change Detection in Time Series Data using Long Short-Term Memory Networks ( abstract )
12:30
Literature-based Discovery for Cancer Research ( abstract )
12:30
Computational Aesthetics Learning of Chinese Painting ( abstract )
12:30
Collecting High-Quality Training Data for Your Own Project Cost-Efficiently ( abstract )
12:30
Semantics of programmes in mathematics of spaces ( abstract )
12:30
Efficient Mapping of VSLAM on Embedded Heterogeneous Resources ( abstract )
12:30
Next Generation Compilers ( abstract )
12:30
Using a Convolutional Neural Network to Predict Readers' Estimates of Mammographic Density for Breast Cancer Risk Assessment ( abstract )
12:30
End-to-end Text Semantics Modelling ( abstract )
12:30
Novel approaches towards reducing switching current in MTJs for STT-MRAM ( abstract )
12:30
Do we need high accuracy arithmetic to simulate the brain? ( abstract )
12:30
An Entity Authentication Scheme for MapReduce in a Multiple Public Cloud Environment ( abstract )
12:30
Finding patterns across complex network topologies using high-dimensional characteristics ( abstract )
12:30
FPGA Virtualisation for Data Centres ( abstract )
12:30
SpiNNakEar - Auditory pathway modelling on neuromorphic hardware ( abstract )
12:30
Towards the Machine Reading of Arabic Calligraphy: A Letters Dataset and Corresponding Corpus of Text ( abstract )
12:30
Adversarial Examples in Counterfactual Models ( abstract )
12:30
Reasoning with large theories ( abstract )
12:30
A Neural Layered Model for Nested Named Entity Recognition ( abstract )
12:30
Simulating synaptic rewiring on SpiNNaker ( abstract )
Wednesday, April 11th

View this program: with abstractssession overviewtalk overview

09:30-10:30 Session 4: Research Talks
Location: Kilburn 1.3
09:30
Reliable Slippage Detection on a Budget through Machine Learning ( abstract )
09:52
Learning evolving T–S fuzzy systems – A local online optimization approach ( abstract )
10:14
Learning to play video-games using objects ( abstract )
10:30-11:00Coffee Break
11:00-12:30 Session 5: Research Talks
Location: Kilburn 1.3
11:00
Retinal Image Segmentation Based On Texture ( abstract )
11:22
Classification of Tweets using Multiple Thresholds with Self-correction and Weighted Conditional Probabilities ( abstract )
11:44
Sensing arousal from pupillary response ( abstract )
12:06
Amplifying Data Curation Efforts to Improve the Quality of Life Science Data ( abstract )
14:00-15:30 Session 6: Research Talks
Location: Kilburn 1.3
14:00
Exploring Novel Memory Technologies to Overcome the Memory Wall ( abstract )
14:22
Solving Constraint Satisfaction Problems with Stochastic Spiking Neural Networks ( abstract )
14:44
Efficient scheduling techniques for low-power heterogeneous architectures ( abstract )
15:06
Efficient Scheduling of Data-Flow Task Parallel Programs on Heterogeneous Many-core Systems ( abstract )
15:30-16:00Coffee Break
16:00-17:00 Session 7: Research Talks
Location: Kilburn 1.3
16:00
Review the Near-Infrared (NIR) Spectral Data ( abstract )
16:22
iSketch: Bridging the Gap between Model-Driven Requirements Elicitation (MDRE) and Model-Driven Development (MDD) ( abstract )
16:44
DX-MAN: An Algebraic Service Model for the Internet of Things ( abstract )
Thursday, April 12th

View this program: with abstractssession overviewtalk overview

09:30-10:30 Session 8: Research Talks
Location: Kilburn 1.3
09:30
Identifying uncertainty of events: Seeking the balance between confidence and trust ( abstract )
09:52
Observing the Data Scientist: Using Manual Corrections As Implicit Feedback ( abstract )
10:14
Training a computer as a radiologist ( abstract )
10:30-11:00Coffee Break
11:00-12:30 Session 9: Research Talks
Location: Kilburn 1.3
11:00
Detection and recognition of negative emotional states from speech signals ( abstract )
11:22
Machine Learning Applied to the Study of Knee Osteoarthritis and Associated Pain ( abstract )
11:44
Modelling of industrial alarm data with dynamic Bayesian networks ( abstract )
12:06
A General Framework for Building Accurate and Understandable Genomic Models: A Study in Rice (Oryza sativa) ( abstract )
14:00-15:30 Session 10: Research Talks
Location: Kilburn 1.3
14:00
Geographic Arithmetic Routing for Exascale Interconnects ( abstract )
14:22
Fine-Grained Energy Profiling for Deep Convolutional Neural Networks on the Jetson TX1 ( abstract )
14:44
Online Management for FPGA- based Database Acceleration ( abstract )
15:06
Low overhead Dynamic Binary Modification tool for 64-bit ARM processors ( abstract )
15:30-16:00Coffee Break
16:00-17:00 Session 11: Research Talks
Location: Kilburn 1.3
16:00
Duplication Detection in Behaviour-Driven Development Specifications ( abstract )
16:22
A Conceptual Approach to Traffic Data Wrangling ( abstract )
16:44
Categorical Models for Deep Inference Derivations in Linear Logic ( abstract )