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

This page contains an index consisting of author-provided keywords.

3
3D Stacked Memory	Exploring Novel Memory Technologies to Overcome the Memory Wall
A
Abductive Reasoning
Abstraction-refinement	Reasoning with large theories
Acceleration	Online Management for FPGA- based Database Acceleration
Activation Functions	Piecewise Linear Activation Functions in Echo State Networks
Active Learning	Collecting High-Quality Training Data for Your Own Project Cost-Efficiently
adversarial examples	Adversarial Examples in Counterfactual Models
adversarial learning models	Detection and recognition of negative emotional states from speech signals
Affective computing	Sensing arousal from pupillary response
alarm management	Modelling of industrial alarm data with dynamic Bayesian networks
approximate computing	Do we need high accuracy arithmetic to simulate the brain?
Arabic	Classification of Tweets using Multiple Thresholds with Self-correction and Weighted Conditional Probabilities
Arabic dataset	Towards the Machine Reading of Arabic Calligraphy: A Letters Dataset and Corresponding Corpus of Text
Arabic language	Towards the Machine Reading of Arabic Calligraphy: A Letters Dataset and Corresponding Corpus of Text
Arousal	Sensing arousal from pupillary response
artificial intelligence	Learning to play video-games using objects
auditory nerve	SpiNNakEar - Auditory pathway modelling on neuromorphic hardware
auditory pathway modelling	SpiNNakEar - Auditory pathway modelling on neuromorphic hardware
authentication	An Entity Authentication Scheme for MapReduce in a Multiple Public Cloud Environment
Automated theorem proving	Reasoning with large theories
Automatic MCQ generation	Ontologies Learning from Hand-written Multiple-Choice Questions
B
bayesian probability	Investigating text mining methods in identification of linked signatures in textual and numerical data
behaviour-driven development	Duplication Detection in Behaviour-Driven Development Specifications
BiLSTM-CRF	A Neural Layered Model for Nested Named Entity Recognition
Biocuration	Amplifying Data Curation Efforts to Improve the Quality of Life Science Data
Bioinformatics	A General Framework for Building Accurate and Understandable Genomic Models: A Study in Rice (Oryza sativa)
Biomedical Entities	Mapping Reporting Checklist Questions Against Biomedical Literature
BLS	Tagging Method for Data Integrity Preservation
BotCloud	BotVM Detection based on Communication Patterns
breast cancer	Using a Convolutional Neural Network to Predict Readers' Estimates of Mammographic Density for Breast Cancer Risk Assessment
C
calligraphy	Towards the Machine Reading of Arabic Calligraphy: A Letters Dataset and Corresponding Corpus of Text
cancer research	Literature-based Discovery for Cancer Research
Category Theory	Categorical Models for Deep Inference Derivations in Linear Logic
Change Detection	Change Detection in Time Series Data using Long Short-Term Memory Networks
Checklist Questions	Mapping Reporting Checklist Questions Against Biomedical Literature
citation networks	Identifying uncertainty of events: Seeking the balance between confidence and trust
Classifier	Classification of Tweets using Multiple Thresholds with Self-correction and Weighted Conditional Probabilities
Cloud Computing	BotVM Detection based on Communication Patterns
Cognitive bias	Facilitating Discovery in Personal Informatics
Compilers	Next Generation Compilers
complex networks	Finding patterns across complex network topologies using high-dimensional characteristics
Computational Aesthetics	Computational Aesthetics Learning of Chinese Painting
Computer Aided Diagnosis	Machine Learning Applied to the Study of Knee Osteoarthritis and Associated Pain
computer arithmetic	Do we need high accuracy arithmetic to simulate the brain?
computer vision	Efficient Mapping of VSLAM on Embedded Heterogeneous Resources
Conceptual wrangling approaches	A Conceptual Approach to Traffic Data Wrangling
Constraint Satisfaction	Solving Constraint Satisfaction Problems with Stochastic Spiking Neural Networks
Convolutional Neural Networks	Fine-Grained Energy Profiling for Deep Convolutional Neural Networks on the Jetson TX1
corpora	Towards the Machine Reading of Arabic Calligraphy: A Letters Dataset and Corresponding Corpus of Text
counterfactual modelling	Adversarial Examples in Counterfactual Models
Crowdsourcing	Collecting High-Quality Training Data for Your Own Project Cost-Efficiently
D
data analytics	Investigating text mining methods in identification of linked signatures in textual and numerical data
Data cleaning	Observing the Data Scientist: Using Manual Corrections As Implicit Feedback
Data Curation	Amplifying Data Curation Efforts to Improve the Quality of Life Science Data
data generation	Modelling of industrial alarm data with dynamic Bayesian networks
Data integration	Observing the Data Scientist: Using Manual Corrections As Implicit Feedback
Data Quality	Amplifying Data Curation Efforts to Improve the Quality of Life Science Data
Data transformation and quality	A Conceptual Approach to Traffic Data Wrangling
Data Visualisation	The Effect of Data Visualisation on Lay People's Perception of Non-trivial Patterns in Electrocardiogram
Data Wrangling	Automatic data format transformations A Conceptual Approach to Traffic Data Wrangling
Database	Online Management for FPGA- based Database Acceleration
Dataflow	Polyhedral representation of dataflow programs
Datalog	Towards Polynomial Time Forgetting and Instance Query Rewriting in Ontology Languages
Dataset Construction	Collecting High-Quality Training Data for Your Own Project Cost-Efficiently
deep learning	Using a Convolutional Neural Network to Predict Readers' Estimates of Mammographic Density for Breast Cancer Risk Assessment End-to-end Text Semantics Modelling Learning to play video-games using objects Visual Question Answering through explicit image representation
Deep neural networks	A Neural Layered Model for Nested Named Entity Recognition
depth estimation	Depth estimation from single image using fully-convolutional networks
device fabrication	Novel approaches towards reducing switching current in MTJs for STT-MRAM
dimension reduction	Finding patterns across complex network topologies using high-dimensional characteristics
distributed computing service	An Entity Authentication Scheme for MapReduce in a Multiple Public Cloud Environment
domain adaptation	Detection and recognition of negative emotional states from speech signals
DRAM	Exploring Novel Memory Technologies to Overcome the Memory Wall
DSE	Efficient Mapping of VSLAM on Embedded Heterogeneous Resources
duplication detection	Duplication Detection in Behaviour-Driven Development Specifications
DX-MAN	DX-MAN: An Algebraic Service Model for the Internet of Things
dynamic Bayesian network	Modelling of industrial alarm data with dynamic Bayesian networks
Dynamic Binary modification	Low overhead Dynamic Binary Modification tool for 64-bit ARM processors
dynamic tracing	Duplication Detection in Behaviour-Driven Development Specifications
E
ECG	The Effect of Data Visualisation on Lay People's Perception of Non-trivial Patterns in Electrocardiogram
Echo State Networks	Piecewise Linear Activation Functions in Echo State Networks
Electrocardiogram	The Effect of Data Visualisation on Lay People's Perception of Non-trivial Patterns in Electrocardiogram
Electronic health record	Integrating Structured and Unstructured Sources for Temporal Representation of Patients’ Histories
Embedded systems	Efficient Mapping of VSLAM on Embedded Heterogeneous Resources
Emotion	Classification of Tweets using Multiple Thresholds with Self-correction and Weighted Conditional Probabilities
end-to-end	End-to-end Text Semantics Modelling
Energy profiling and analysis	Fine-Grained Energy Profiling for Deep Convolutional Neural Networks on the Jetson TX1
entropy	Investigating text mining methods in identification of linked signatures in textual and numerical data
event extraction	Identifying uncertainty of events: Seeking the balance between confidence and trust
Evolving fuzzy system	Learning evolving T–S fuzzy systems – A local online optimization approach
Exascale	Geographic Arithmetic Routing for Exascale Interconnects
Exogenous Connectors	DX-MAN: An Algebraic Service Model for the Internet of Things
Experimental Metadata	Mapping Reporting Checklist Questions Against Biomedical Literature
Eye tracking	Sensing arousal from pupillary response
F
FCNs	Depth estimation from single image using fully-convolutional networks
feature extraction	Retinal Image Segmentation Based On Texture
finance	Financial Market Mood Indexes
Forgetting	Towards Polynomial Time Forgetting and Instance Query Rewriting in Ontology Languages
Formal languages	Semantics of programmes in mathematics of spaces
Formal Methods	Categorical Models for Deep Inference Derivations in Linear Logic
format transformations	Automatic data format transformations
FPGA	FPGA Virtualisation for Data Centres Geographic Arithmetic Routing for Exascale Interconnects Online Management for FPGA- based Database Acceleration
fully convolutional networks	Depth estimation from single image using fully-convolutional networks
functional data (FD)	Review the Near-Infrared (NIR) Spectral Data
functional data analysis (FDA)	Review the Near-Infrared (NIR) Spectral Data
G
Genomics	A General Framework for Building Accurate and Understandable Genomic Models: A Study in Rice (Oryza sativa)
Guarded Fragment	Towards Polynomial Time Forgetting and Instance Query Rewriting in Ontology Languages
H
heterogeneous architectures	Efficient scheduling techniques for low-power heterogeneous architectures
heterogeneous resources	Efficient Mapping of VSLAM on Embedded Heterogeneous Resources
Heterogeneous systems	Efficient Scheduling of Data-Flow Task Parallel Programs on Heterogeneous Many-core Systems
Human-computer interaction	Sensing arousal from pupillary response
Hybrid Memory Cube	Exploring Novel Memory Technologies to Overcome the Memory Wall
I
Image Processing	Computational Aesthetics Learning of Chinese Painting
indirect associations	Literature-based Discovery for Cancer Research
Indirect Branch	Low overhead Dynamic Binary Modification tool for 64-bit ARM processors
inner hair cell	SpiNNakEar - Auditory pathway modelling on neuromorphic hardware
Integrity	Tagging Method for Data Integrity Preservation
Interface	Online Management for FPGA- based Database Acceleration
Internet of Things (IoT)	DX-MAN: An Algebraic Service Model for the Internet of Things
K
Kernel adaptive filters	A Framework for Online Prediction
Kernel least mean square	A Framework for Online Prediction
Knowledge Representation and Reasoning
L
Large theories	Reasoning with large theories
Linear Logic	Categorical Models for Deep Inference Derivations in Linear Logic
literature-based discovery	Literature-based Discovery for Cancer Research
Local error function	Learning evolving T–S fuzzy systems – A local online optimization approach
Loop tiling	Polyhedral representation of dataflow programs
LSTM	Change Detection in Time Series Data using Long Short-Term Memory Networks
M
Machine Learning	Collecting High-Quality Training Data for Your Own Project Cost-Efficiently Machine Learning Applied to the Study of Knee Osteoarthritis and Associated Pain Investigating text mining methods in identification of linked signatures in textual and numerical data Reliable Slippage Detection on a Budget through Machine Learning Learning to play video-games using objects Computational Aesthetics Learning of Chinese Painting Training a computer as a radiologist
magnetic memory	Novel approaches towards reducing switching current in MTJs for STT-MRAM
magnetic tunnel junction	Novel approaches towards reducing switching current in MTJs for STT-MRAM
mammographic density	Using a Convolutional Neural Network to Predict Readers' Estimates of Mammographic Density for Breast Cancer Risk Assessment
Managed Languages	Next Generation Compilers
MapReduce	An Entity Authentication Scheme for MapReduce in a Multiple Public Cloud Environment
markets	Financial Market Mood Indexes
Mathematical Foundations	Categorical Models for Deep Inference Derivations in Linear Logic
Mathematical models	Semantics of programmes in mathematics of spaces
Medical image understanding	Training a computer as a radiologist
Medical Imaging	Machine Learning Applied to the Study of Knee Osteoarthritis and Associated Pain
Memory allocation	Efficient Scheduling of Data-Flow Task Parallel Programs on Heterogeneous Many-core Systems
Memory systems	Exploring Novel Memory Technologies to Overcome the Memory Wall
Meta-learning	A General Framework for Building Accurate and Understandable Genomic Models: A Study in Rice (Oryza sativa)
mobile systems	Fine-Grained Energy Profiling for Deep Convolutional Neural Networks on the Jetson TX1
Model-Driven Development	iSketch: Bridging the Gap between Model-Driven Requirements Elicitation (MDRE) and Model-Driven Development (MDD)
Model-Driven Requirements Engineering	iSketch: Bridging the Gap between Model-Driven Requirements Elicitation (MDRE) and Model-Driven Development (MDD)
Models	iSketch: Bridging the Gap between Model-Driven Requirements Elicitation (MDRE) and Model-Driven Development (MDD)
Modules	Online Management for FPGA- based Database Acceleration
motifs	Finding patterns across complex network topologies using high-dimensional characteristics
N
Natural language processing	Integrating Structured and Unstructured Sources for Temporal Representation of Patients’ Histories A Neural Layered Model for Nested Named Entity Recognition
near-infrared (NIR) spectral big data	Review the Near-Infrared (NIR) Spectral Data
near-infrared (NIR) spectral data	Review the Near-Infrared (NIR) Spectral Data
Near-infrared spectroscopy (NIRS)	Review the Near-Infrared (NIR) Spectral Data
Nested named entity recognition	A Neural Layered Model for Nested Named Entity Recognition
Networking	Geographic Arithmetic Routing for Exascale Interconnects
neuromorphic computing	SpiNNakEar - Auditory pathway modelling on neuromorphic hardware Simulating synaptic rewiring on SpiNNaker
neuromorphic engineering	Do we need high accuracy arithmetic to simulate the brain?
O
Online sequential learning	A Framework for Online Prediction
ontologies	Ontologies Learning from Hand-written Multiple-Choice Questions
Ontology	Towards Polynomial Time Forgetting and Instance Query Rewriting in Ontology Languages
OpenMP	Next Generation Compilers
opinion mining	The 'ayes' have it? Towards topic-centric sentiment analysis of parliamentary debates
optimisation of MgO	Novel approaches towards reducing switching current in MTJs for STT-MRAM
Osteoarthritis	Machine Learning Applied to the Study of Knee Osteoarthritis and Associated Pain Training a computer as a radiologist
P
parliamentary debates	The 'ayes' have it? Towards topic-centric sentiment analysis of parliamentary debates
partial reconfiguration	FPGA Virtualisation for Data Centres Online Management for FPGA- based Database Acceleration
pattern recognition	Towards the Machine Reading of Arabic Calligraphy: A Letters Dataset and Corresponding Corpus of Text
Personal informatics	Facilitating Discovery in Personal Informatics
Placement	Online Management for FPGA- based Database Acceleration
Polyhedral model	Polyhedral representation of dataflow programs
Polynomial time	Towards Polynomial Time Forgetting and Instance Query Rewriting in Ontology Languages
Postgres	Online Management for FPGA- based Database Acceleration
power efficiency	Efficient scheduling techniques for low-power heterogeneous architectures
principal component analysis	Finding patterns across complex network topologies using high-dimensional characteristics
Proactive Learning	Collecting High-Quality Training Data for Your Own Project Cost-Efficiently
probabilistic model	Modelling of industrial alarm data with dynamic Bayesian networks
program synthesis	Automatic data format transformations
Proof Theory	Categorical Models for Deep Inference Derivations in Linear Logic
public clouds	An Entity Authentication Scheme for MapReduce in a Multiple Public Cloud Environment
Pupillary response	Sensing arousal from pupillary response
Q
Query rewriting	Towards Polynomial Time Forgetting and Instance Query Rewriting in Ontology Languages
R
real-time simulation	SpiNNakEar - Auditory pathway modelling on neuromorphic hardware
Recurrent Neural Networks	Piecewise Linear Activation Functions in Echo State Networks
Reduce Annotation Workload	Collecting High-Quality Training Data for Your Own Project Cost-Efficiently
Reinforcement learning	Learning to play video-games using objects
Requirements Modeling	iSketch: Bridging the Gap between Model-Driven Requirements Elicitation (MDRE) and Model-Driven Development (MDD)
resource elasticity	FPGA Virtualisation for Data Centres
resource utilisation	FPGA Virtualisation for Data Centres
retinal image	Retinal Image Segmentation Based On Texture
risk	Using a Convolutional Neural Network to Predict Readers' Estimates of Mammographic Density for Breast Cancer Risk Assessment
RNN	Change Detection in Time Series Data using Long Short-Term Memory Networks
robot manipulation	Reliable Slippage Detection on a Budget through Machine Learning
Routing	Geographic Arithmetic Routing for Exascale Interconnects
run-time	Efficient Mapping of VSLAM on Embedded Heterogeneous Resources
S
Scaling	Exploring Novel Memory Technologies to Overcome the Memory Wall
Scenarios	iSketch: Bridging the Gap between Model-Driven Requirements Elicitation (MDRE) and Model-Driven Development (MDD)
Scheduling	Efficient scheduling techniques for low-power heterogeneous architectures Efficient Scheduling of Data-Flow Task Parallel Programs on Heterogeneous Many-core Systems
Self-reflection	Facilitating Discovery in Personal Informatics
Self-tacking	Facilitating Discovery in Personal Informatics
Semantic representation	Visual Question Answering through explicit image representation
semantic segmentation	Retinal Image Segmentation Based On Texture
Semi-supervised Learning	Collecting High-Quality Training Data for Your Own Project Cost-Efficiently
sentiment	Financial Market Mood Indexes
sentiment analysis	The 'ayes' have it? Towards topic-centric sentiment analysis of parliamentary debates
Sequence prediction	A Framework for Online Prediction
Service composition	DX-MAN: An Algebraic Service Model for the Internet of Things
Service-Oriented Architectures (SOA)	DX-MAN: An Algebraic Service Model for the Internet of Things
Sketch-based Tools	iSketch: Bridging the Gap between Model-Driven Requirements Elicitation (MDRE) and Model-Driven Development (MDD)
Sketches	iSketch: Bridging the Gap between Model-Driven Requirements Elicitation (MDRE) and Model-Driven Development (MDD)
slippage detection	Reliable Slippage Detection on a Budget through Machine Learning
social media	Financial Market Mood Indexes
Software Code Cache	Low overhead Dynamic Binary Modification tool for 64-bit ARM processors
speech emotion recognition	Detection and recognition of negative emotional states from speech signals
Spiking Neural Networks	Solving Constraint Satisfaction Problems with Stochastic Spiking Neural Networks Simulating synaptic rewiring on SpiNNaker
SpiNNaker	Solving Constraint Satisfaction Problems with Stochastic Spiking Neural Networks SpiNNakEar - Auditory pathway modelling on neuromorphic hardware Simulating synaptic rewiring on SpiNNaker
sputter deposition	Novel approaches towards reducing switching current in MTJs for STT-MRAM
stability control	Reliable Slippage Detection on a Budget through Machine Learning
Stochasticity	Solving Constraint Satisfaction Problems with Stochastic Spiking Neural Networks
structural synaptic plasticity	Simulating synaptic rewiring on SpiNNaker
Style Transfer	Computational Aesthetics Learning of Chinese Painting
subgroup identification	Adversarial Examples in Counterfactual Models
subjective logic	Identifying uncertainty of events: Seeking the balance between confidence and trust
switching current	Novel approaches towards reducing switching current in MTJs for STT-MRAM
synaptic plasticity	Simulating synaptic rewiring on SpiNNaker
synaptic rewiring	Simulating synaptic rewiring on SpiNNaker
T
tactile sensor	Reliable Slippage Detection on a Budget through Machine Learning
Tagging	Tagging Method for Data Integrity Preservation
Task parallelism	Polyhedral representation of dataflow programs
Task-parallelism	Efficient Scheduling of Data-Flow Task Parallel Programs on Heterogeneous Many-core Systems
text mining	Literature-based Discovery for Cancer Research Identifying uncertainty of events: Seeking the balance between confidence and trust Investigating text mining methods in identification of linked signatures in textual and numerical data Mapping Reporting Checklist Questions Against Biomedical Literature Ontologies Learning from Hand-written Multiple-Choice Questions Integrating Structured and Unstructured Sources for Temporal Representation of Patients’ Histories
text semantics modelling	End-to-end Text Semantics Modelling
Topology and spaces	Semantics of programmes in mathematics of spaces
U
uncertainty identification	Identifying uncertainty of events: Seeking the balance between confidence and trust
Uniform interpolation	Towards Polynomial Time Forgetting and Instance Query Rewriting in Ontology Languages
Unsupervised Learning	Collecting High-Quality Training Data for Your Own Project Cost-Efficiently
Use Cases	iSketch: Bridging the Gap between Model-Driven Requirements Elicitation (MDRE) and Model-Driven Development (MDD)
User Feedbacks	Observing the Data Scientist: Using Manual Corrections As Implicit Feedback
V
VAS	Using a Convolutional Neural Network to Predict Readers' Estimates of Mammographic Density for Breast Cancer Risk Assessment
video-games	Learning to play video-games using objects
Virtual Machines	Next Generation Compilers
Virtual Machines Security	BotVM Detection based on Communication Patterns
Visual Perception	The Effect of Data Visualisation on Lay People's Perception of Non-trivial Patterns in Electrocardiogram
Visual Question Answering	Visual Question Answering through explicit image representation
VSLAM	Efficient Mapping of VSLAM on Embedded Heterogeneous Resources
W
Weighted recursive least square	Learning evolving T–S fuzzy systems – A local online optimization approach
Wrist Fractures	Training a computer as a radiologist

Disclaimer | Powered by EasyChair Smart Program