CSRS@UOM 19: COMPUTER SCIENCE RESEARCH SYMPOSIUM @ MANCHESTER 2019

A
Abdullah, Maryam	Application of Artificial Intelligence to Understanding Cancer
Abercrombie, Gavin	Topic-centric sentiment analysis of UK parliamentary debate transcripts Identifying MPs' policy preferences in parliamentary debates
Abramovs, Nikita	GeVIR: Gene Variation Intolerance Rank – an in silico approach to prioritise disease candidate genes.
Ajagbe, Muideen	Named Entity Recognition for Requirements Engineering: A Corpus-Based Approach Supported by Deep Learning
Al Taweraqi, Nada	Predicting Gene Expression Using Meta-learning
Alahmadi, Alaa	Evaluating the Effectiveness of Data Visualisation in Facilitating ECG Self-monitoring for Medication-induced LQTS
Alghamdi, Ahmed	Real-time Detection of Advanced Persistent Threats Using Heterogeneous Log-Files Monitoring and Machine Learning
Alghamdi, Ghadah Abdulrahman S	Modularity Meets Forgetting: A Case Study with SNOMED CT Ontology
Alghamdi, Moteb	Towards HPC applications on multiple-FPGAs
Alghamdi, Najlaa	Mobile phone–based tools for independent living
Alghamdi, Omar	The Role of the Internet on Learning to Program
Alghamdi, Samiah	Finding Vulnerabilities in IoT Protocols using Fuzzing, Symbolic Execution and Abstract Interpretation
Alghanmi, Nouf	Learning Regression Models for Heterogeneous Data
Alharbi, Ebtisam	Understanding the Implications of Implementing FAIR Data in Life Sciences
Alhawi, Omar M. K.	Finding Software Vulnerabilities in Unmanned Aerial Vehicles
Alhoshan, Waad	Using Semantic Frames to Analyse Software Requirements
Aljaafari, Fatimah	Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution.
Aljanah, Salem	An Authentication Framework for the Internet of Things
Aljohani, Tahani	DesigningaSecureandPrivacy-PreservingDataCollection (SPDC)FrameworkforCollectingDatafromMobilePatients
Alkhozae, Mona	An Effective Ensemble Method for Distributed Prediction Models
Almarwani, Reem	Tagging Method for Integrity Preservation of Outsourced Data
Almutairi, Hanin	Dynamic Node Movement Control in a Mobile Medium Ad hoc Network
Alsalamah, Seetah	Computational Reading of Arabic Calligraphic Text
Alshmrany, Kaled	Finding Vulnerabilities in Network Protocols using Fuzzing and Symbolic Execution
Alwabel, Asim	Modelling Technology Usage, Machine Learning Perspective
Awards Committee,	Presentation of Awards Presentation from Award Winner Industry Panel: How can we get from PhD Research to Industrial Impact?
B
Banks, Matthew	Quantitative Validation of Deformation Histories
Bhayat, Ahmed	Reasoning in higher-order logic with Vampire
Bintayyash, Nuha	Gaussian process modelling of count data with application to bulk and single-cell RNA-Seq
Bogdan, Petrut Antoniu	Simulating Structural Plasticity on the SpiNNaker Platform
Bujanca, Horia-Mihai	FullFusion: real-time semantic reconstruction of dynamic indoor scenes
Bull, Charlotte	Novel approaches towards reducing switching current in magnetic tunnel junctions for STT-MRAM
C
Chai, Yuan	Routing protocol design for wireless mesh network
Chen, Runze	Magnetic skyrmions for nanocomputing
Christopoulou, Fenia	A Walk-based Model on Entity Graphs for Relation Extraction
Crawford, Jon	Low-level vs. High-level Representations for Knowledge Transfer in Multi-task Reinforcement Learning: A Case Study
D
Del-Pinto, Warren	Forgetting-Based Abductive Reasoning in Ontologies
Duarte, André	Integration of theory reasoning in the Inst-Gen calculus
Duxbury, Dominic	Trusted and Auditable Decision Aids over Dynamic Data
E
Emmerson, Cory	Development of Patterning Techniques for Skyrmionic Devices
Espinosa, Kurt Junshean	An Empirical Study on End-to-End Sentence Modelling
F
Ferreira, Deborah	A Neural Embedding Model for Informal Mathematical Discourse
Furber, Steve	An industry/academic career in Computer Engineering - with a PhD in aerodynamics along the way
G
Gaikwad, Swapnil Laxman	Execution of parallel C programs on Java Virtual Machine
Gamboa Valero, Hugo	Machine learning and the predictability of stock markets.
Goble, Carole	Reflections on a multi-disciplinary career in academia
Griggs, Will	Probing depth- and temperature-resolved magnetic properties of [CoPd]8/NiFe exchange springs using polarised neutron reflectometry
Grimes, Michael	Investigating the ultrafast dynamics of the metamagnetic phase transition of FeRh thin films by pump-probe microscopy
Gu, Qianqian	Recognising and Drawing Kittens in Chinese Painting Style
H
Hanson, Joe	Investigating Cosmic Magnetism with Deep Learning
Heydari, Atefeh	Towards Automatically Evaluating Compliance of Website Privacy Policies with GDPR
Holden, Edvard	Optimising Heuristics for Theorem Proving using Machine Learning
I
Ibrahim, Ahmed	Behavioural monitoring to generate precision nudges
J
Jacobo Romero, Mauricio	On How Artificial Intelligence and Distributed Ledger Technology May Change The Nature of The Firm
James, Robert	SpiNNak-Ear - Big ears for SpiNNaker!
Jastaniah, Khlood	Security and Privacy for the Internet of Things (IoT) in E-health
Jiang, Minmin	Side Channel Attacks on ASIC AES Implementation
Jin, Chuan	Clarifying cooperativeness in services composition of Social Internet of Things (SIoTs)
Jones, Edward	An Evolutionary Optimisation Framework for SpiNNaker
Jones, Huw	Hearty: how healthy is your heart?
Ju, Meizhi	Nested Named Entity Recognition
K
Khanam, Memoona	Online Learning with Long Short-Term Memory Networks for Anomaly Detection in Time Series
Kiani, Hashir Moheed	A functional linear regression approach for electric load forecasting
Kindermann, Christian	Language Extensions via Macros for Description Logics
Kurdi, Ghader	Exploring relation extraction in diagnostic case-based MCQs
Kynigos, Markos	Scalability Analysis of optical Benes networks based on Thermally/Electrically Tuned Mach-Zender Interferometers
L
Li, Chen	Spiking Neural Network for Number Recognition on SpiNNaker
Li, Maolin	Modelling Instance-Level Annotator Reliability for Natural Language Labelling Tasks
Li, Yu	Controllable writing/deleting of an unique magnetic object (skyrmion), aiming to next generation storage devices
M
Maragkoudaki, Eleni	Adaptive Word Reordering for Low-Power Inter-Chip Communication
Mardah, Hanadi	Visualization and Interaction with Argumentation Graphs
Marshall, Guy	A framework for representing and estimating AI systems
Mikaitis, Mantas	Accuracy of spiking neural network simulations using fixed-point arithmetic
Morley, Terence	Removing Compression Artefacts from Video Streams
N
Nobre, Nuno Miguel	Beyond Polyhedral Analysis of OpenStream Programs
O
Osborne, Philip	An Explanation-based Reinforcement Learning Approach
P
Panada, Dario	Modelling Expression Rates of Hypoxia-inducible Factors in Growing Tumours: Investigating Potentials for Non-Invasive Cancer Therapies
Papangelou, Konstantinos	Feature Selection in the Presence of Interventions: Information Theoretic Approaches
Peasey, Adrian	Scanning Probe Microscopy Studies of FeRh
Perrett, Adam	Motif Evolution of Spiking Neural Networks on SpiNNaker
Pham, Khoa	Enable FPGA Virtualisation for Data Centres
Phuycharoen, Mike	Deep learning for prediction of DNA-TF binding
Pizzuto, Gabriella	Exploring Matrix Completion for Single Word to Multi-Word Transition in Cognitive Robotics
Q
Qin, Rui	High Dimensional Data Visualization: Local Ordinal Embedding with Anchor Points
R
Rajhi, Abeer	Navigation System for Blind
Romeo, Marta	Detecting Personality, A Step Towards Adaptive Robots
S
Sakr, Mostafa	Concept symbol forgetting under background ontology
Salim, Salim	WebAssembly Hosted on the Java Virtual Machine
Sandoval, Mario	Multiple Degrees-Of-Freedom Input Devices for Interactive Command and Control within Virtual Reality in Industrial Visualizations
Sarullo, Alessio	Using Common-sense Knowledge to detect Human-Object Interactions
Schlegel, Viktor	Question Answering over structured text representations
Selcuk Simsek, Merve	Homing like an Ant
Sikander, Bushra	Pigment Analysis using Multispectral imaging Techniques
Silva, Miguel	The Structure of Vaccination Discussions in Online Social Networks
Sirapaisan, Soontorn	An Authentication Framework for MapReduce in a Multiple Public Cloud Environment
Steeds, Madeleine	Investigating the Effect of Device Stereotypes on Memory
T
Tattershall, Emma	Exploring Trends in Scientific Literature
Tavakoli, Mohammadali	Assessing The Usefulness of Mobile App Reviews For Software Development
Tay, Siok Wah	A Context-Aware Access Control Model for Smart Homes
Thabet, Mohammad	Sample-Efficient Deep Reinforcement LEarning for Human Robot Interaction
Thayaparan, Mokanarangan	Leveraging Explanations for Inference and Generalisation in Question Answering Systems
Thompson, Peter	Hand tracking with Differential Evolution
Thompson, Philip	Characterisation of Size Distribution and Positional Misalignment of Nanoscale Islands by Small-Angle X-ray Scattering with High Statistical Significance
Toluhi, David	Knowledge Sharing Among Agents with Ontological Reasoning
Trajanovski, Tolijan	Internet of Things Botnets
Tran, Thy	Adverse Drug Events and Medication Relation Extraction
V
Vaishnav, Anuj	Resource Elastic Management for FPGAs
Valentino, Marco	Generating Explanations for Science Questions by Reasoning over Hybrid Semantic Knowledge Representation
Vinanzi, Samuele	Mindreading for Robots: Predicting Intentions via Dynamical Clustering of Human Postures
W
Wang, Yifei	Use of Graphic and Phonetic Features in Clinicial Named Entity Recognition in Chinese
Waring, Harry	High frequency ferromagnetic resonance study of synthetic antiferromagnetic structures
Wood, Danny	Echo State: Embracing Randomness in Recurrent Neural Networks
Wu, Crystal	Adaptation of Instantaneous Time Mirror from Water Waves to Electromagnetic Waves
Y
Yi, Mingxuan	Meta Learning Reinforcement Learning Exploration Strategies via Learned Priors
Yu, He	Inferring Knowledge Acquisition through Web Navigation Behaviours
Z
Zang, Yuzhe	Magnetic Skyrmions in Synthetic Systems
Zhang, Heng	Smart Measure of Social Withdrawal in Parkinson's disease
Zhao, Haoruo	Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
Zheng, Sen	Boolean Conjunctive Query Answering for the Horn Loosely Guarded Fragment

Disclaimer | Powered by EasyChair Smart Program