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

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

3
3D modelling	FullFusion: real-time semantic reconstruction of dynamic indoor scenes
A
Abductive Reasoning	Forgetting-Based Abductive Reasoning in Ontologies
abstract interpretation	Finding Software Vulnerabilities in Unmanned Aerial Vehicles
Access Control	A Context-Aware Access Control Model for Smart Homes
advanced persistent threats	Real-time Detection of Advanced Persistent Threats Using Heterogeneous Log-Files Monitoring and Machine Learning
adverse drug events	Adverse Drug Events and Medication Relation Extraction
agent-based systems	Knowledge Sharing Among Agents with Ontological Reasoning
AI	Computational Reading of Arabic Calligraphic Text
algorithms	Hand tracking with Differential Evolution
ANN	An Evolutionary Optimisation Framework for SpiNNaker
annotation quality	Modelling Instance-Level Annotator Reliability for Natural Language Labelling Tasks
Anomaly Detection	Online Learning with Long Short-Term Memory Networks for Anomaly Detection in Time Series
Anonymity	DesigningaSecureandPrivacy-PreservingDataCollection (SPDC)FrameworkforCollectingDatafromMobilePatients
Ant	Homing like an Ant
AODV	Dynamic Node Movement Control in a Mobile Medium Ad hoc Network
app reviews	Assessing The Usefulness of Mobile App Reviews For Software Development
app store analysis	Assessing The Usefulness of Mobile App Reviews For Software Development
app store mining	Assessing The Usefulness of Mobile App Reviews For Software Development
Arabic Calligraphy	Computational Reading of Arabic Calligraphic Text
Artefacts	Removing Compression Artefacts from Video Streams
Artifacts	Removing Compression Artefacts from Video Streams
Artificial Intelligence	Application of Artificial Intelligence to Understanding Cancer
Artificial Neural Network	An Evolutionary Optimisation Framework for SpiNNaker
ASIC AES	Side Channel Attacks on ASIC AES Implementation
Astronomy	Investigating Cosmic Magnetism with Deep Learning
Astrophysics	Investigating Cosmic Magnetism with Deep Learning
Atomic Decomposition	Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
Atomic Force Microscopy	Scanning Probe Microscopy Studies of FeRh
auditory processing	SpiNNak-Ear - Big ears for SpiNNaker!
Authentication	An Authentication Framework for the Internet of Things An Authentication Framework for MapReduce in a Multiple Public Cloud Environment DesigningaSecureandPrivacy-PreservingDataCollection (SPDC)FrameworkforCollectingDatafromMobilePatients
automated reasoning	Integration of theory reasoning in the Inst-Gen calculus Optimising Heuristics for Theorem Proving using Machine Learning
Automatic Evaluation	Towards Automatically Evaluating Compliance of Website Privacy Policies with GDPR
B
Background Theory	Concept symbol forgetting under background ontology
Bayesian inference	Meta Learning Reinforcement Learning Exploration Strategies via Learned Priors
behaviour inference	Smart Measure of Social Withdrawal in Parkinson's disease
Behavioural modelling	Behavioural monitoring to generate precision nudges
BiLSTM-CRF	Nested Named Entity Recognition
bioinformatics	Modelling Expression Rates of Hypoxia-inducible Factors in Growing Tumours: Investigating Potentials for Non-Invasive Cancer Therapies GeVIR: Gene Variation Intolerance Rank – an in silico approach to prioritise disease candidate genes. Deep learning for prediction of DNA-TF binding
Blockchain	On How Artificial Intelligence and Distributed Ledger Technology May Change The Nature of The Firm
Blood pressure	Hearty: how healthy is your heart?
botnet	Internet of Things Botnets
Bounded model checking	Finding Software Vulnerabilities in Unmanned Aerial Vehicles
Bulk RNA-seq	Gaussian process modelling of count data with application to bulk and single-cell RNA-Seq
Bulletin Board Systems	The Structure of Vaccination Discussions in Online Social Networks
C
cancer	Modelling Expression Rates of Hypoxia-inducible Factors in Growing Tumours: Investigating Potentials for Non-Invasive Cancer Therapies
Cancer cells	Application of Artificial Intelligence to Understanding Cancer
Cardiovascular	Hearty: how healthy is your heart?
causal inference	Feature Selection in the Presence of Interventions: Information Theoretic Approaches
Chinese Painting	Recognising and Drawing Kittens in Chinese Painting Style
civic technology	Identifying MPs' policy preferences in parliamentary debates Topic-centric sentiment analysis of UK parliamentary debate transcripts
Class Imbalance	Investigating Cosmic Magnetism with Deep Learning
Classification	Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
Cloud	An Authentication Framework for MapReduce in a Multiple Public Cloud Environment
clustering	Mindreading for Robots: Predicting Intentions via Dynamical Clustering of Human Postures
CNN	Recognising and Drawing Kittens in Chinese Painting Style
Cognition	Investigating the Effect of Device Stereotypes on Memory
cognitive robotics	Exploring Matrix Completion for Single Word to Multi-Word Transition in Cognitive Robotics Mindreading for Robots: Predicting Intentions via Dynamical Clustering of Human Postures
Combined models	An Effective Ensemble Method for Distributed Prediction Models
Common-sense knowledge	Using Common-sense Knowledge to detect Human-Object Interactions
Compiler	Execution of parallel C programs on Java Virtual Machine
computational models	Exploring Matrix Completion for Single Word to Multi-Word Transition in Cognitive Robotics
Computational neuroscience	Homing like an Ant
Computational Sustainability	On How Artificial Intelligence and Distributed Ledger Technology May Change The Nature of The Firm
Computer graphics	Quantitative Validation of Deformation Histories
Computer Graphics & Visual Computing	Multiple Degrees-Of-Freedom Input Devices for Interactive Command and Control within Virtual Reality in Industrial Visualizations
computer vision	Navigation System for Blind Hand tracking with Differential Evolution Computational Reading of Arabic Calligraphic Text
Conjunctive query answering	Boolean Conjunctive Query Answering for the Horn Loosely Guarded Fragment
Context-aware modelling	Behavioural monitoring to generate precision nudges
Convolutional Neural Networks	Investigating Cosmic Magnetism with Deep Learning
Cooperativeness	Clarifying cooperativeness in services composition of Social Internet of Things (SIoTs)
Corpus	Named Entity Recognition for Requirements Engineering: A Corpus-Based Approach Supported by Deep Learning
Critical switching current	Novel approaches towards reducing switching current in magnetic tunnel junctions for STT-MRAM
crowdsourcing	Modelling Instance-Level Annotator Reliability for Natural Language Labelling Tasks
cryptographic algorithms	Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution.
cryptography	Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution.
Cyber Security	Finding Software Vulnerabilities in Unmanned Aerial Vehicles
Cyber-Physical Systems	Trusted and Auditable Decision Aids over Dynamic Data
Cybersecurity	Real-time Detection of Advanced Persistent Threats Using Heterogeneous Log-Files Monitoring and Machine Learning
D
data centre	Enable FPGA Virtualisation for Data Centres
data privacy	Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution.
Data science	Exploring Trends in Scientific Literature
data storage	Probing depth- and temperature-resolved magnetic properties of [CoPd]8/NiFe exchange springs using polarised neutron reflectometry
Data storage devices	Magnetic Skyrmions in Synthetic Systems
Data Streams	Trusted and Auditable Decision Aids over Dynamic Data
data visualisation	Evaluating the Effectiveness of Data Visualisation in Facilitating ECG Self-monitoring for Medication-induced LQTS
data visualization	High Dimensional Data Visualization: Local Ordinal Embedding with Anchor Points
Dataflow	Beyond Polyhedral Analysis of OpenStream Programs
Decision making	On How Artificial Intelligence and Distributed Ledger Technology May Change The Nature of The Firm
Decision procedures	Boolean Conjunctive Query Answering for the Horn Loosely Guarded Fragment
Decision Support	Trusted and Auditable Decision Aids over Dynamic Data
decision tree	Learning Regression Models for Heterogeneous Data
deep learning	Named Entity Recognition for Requirements Engineering: A Corpus-Based Approach Supported by Deep Learning Detecting Personality, A Step Towards Adaptive Robots Sample-Efficient Deep Reinforcement LEarning for Human Robot Interaction Investigating Cosmic Magnetism with Deep Learning Exploring Matrix Completion for Single Word to Multi-Word Transition in Cognitive Robotics Recognising and Drawing Kittens in Chinese Painting Style Using Common-sense Knowledge to detect Human-Object Interactions Modelling Instance-Level Annotator Reliability for Natural Language Labelling Tasks Deep learning for prediction of DNA-TF binding
Description Logic (DL)	Language Extensions via Macros for Description Logics
Description Logics	Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
design methodology	Enable FPGA Virtualisation for Data Centres
developmental robotics	Mindreading for Robots: Predicting Intentions via Dynamical Clustering of Human Postures
Devices	Investigating the Effect of Device Stereotypes on Memory
Diagram	A framework for representing and estimating AI systems
differential evolution	Hand tracking with Differential Evolution
Digital Multimedia	The Role of the Internet on Learning to Program
Disparity	Navigation System for Blind
distributed information	Knowledge Sharing Among Agents with Ontological Reasoning
Distributed models	An Effective Ensemble Method for Distributed Prediction Models
drug-induced LQTS	Evaluating the Effectiveness of Data Visualisation in Facilitating ECG Self-monitoring for Medication-induced LQTS
DSDV	Dynamic Node Movement Control in a Mobile Medium Ad hoc Network
Dynamic reconstruction	FullFusion: real-time semantic reconstruction of dynamic indoor scenes
E
e-Health	DesigningaSecureandPrivacy-PreservingDataCollection (SPDC)FrameworkforCollectingDatafromMobilePatients
EA	Motif Evolution of Spiking Neural Networks on SpiNNaker
ECG interpretation	Evaluating the Effectiveness of Data Visualisation in Facilitating ECG Self-monitoring for Medication-induced LQTS
Echo State Networks	Echo State: Embracing Randomness in Recurrent Neural Networks
Econometrics	On How Artificial Intelligence and Distributed Ledger Technology May Change The Nature of The Firm
Edge detection	Mobile phone–based tools for independent living
Electric Load Forecasting	A functional linear regression approach for electric load forecasting
Electrical transport	Novel approaches towards reducing switching current in magnetic tunnel junctions for STT-MRAM
electromagnetic emission	Side Channel Attacks on ASIC AES Implementation
Electron-Beam Lithography	Development of Patterning Techniques for Skyrmionic Devices
Elementary motion decomposition	Simulating Structural Plasticity on the SpiNNaker Platform
Encoding	Adaptive Word Reordering for Low-Power Inter-Chip Communication
Encryption	Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution.
Ensemble model	An Effective Ensemble Method for Distributed Prediction Models
evolutionary algorithm	Motif Evolution of Spiking Neural Networks on SpiNNaker An Evolutionary Optimisation Framework for SpiNNaker
exchange	Probing depth- and temperature-resolved magnetic properties of [CoPd]8/NiFe exchange springs using polarised neutron reflectometry
Explainable AI	Generating Explanations for Science Questions by Reasoning over Hybrid Semantic Knowledge Representation
F
FAIR	Understanding the Implications of Implementing FAIR Data in Life Sciences
FAIRfication	Understanding the Implications of Implementing FAIR Data in Life Sciences
FAIRness	Understanding the Implications of Implementing FAIR Data in Life Sciences
Feature Analysis	Optimising Heuristics for Theorem Proving using Machine Learning
feature selection	Feature Selection in the Presence of Interventions: Information Theoretic Approaches
FeRh	Scanning Probe Microscopy Studies of FeRh
FeRh thin films	Investigating the ultrafast dynamics of the metamagnetic phase transition of FeRh thin films by pump-probe microscopy
Few Shot Learning	Leveraging Explanations for Inference and Generalisation in Question Answering Systems
few shots learning	Meta Learning Reinforcement Learning Exploration Strategies via Learned Priors
Finance	On How Artificial Intelligence and Distributed Ledger Technology May Change The Nature of The Firm
Finite Difference Time Domain (FDTD)	Adaptation of Instantaneous Time Mirror from Water Waves to Electromagnetic Waves
fixed-point arithmetic	Accuracy of spiking neural network simulations using fixed-point arithmetic
forecasting	Machine learning and the predictability of stock markets.
Forgetting	Concept symbol forgetting under background ontology Modularity Meets Forgetting: A Case Study with SNOMED CT Ontology
FPGA	Resource Elastic Management for FPGAs
FPGA virtualisation	Enable FPGA Virtualisation for Data Centres
FPGAs	Towards HPC applications on multiple-FPGAs
Frame Embeddings	Using Semantic Frames to Analyse Software Requirements
FrameNet	Using Semantic Frames to Analyse Software Requirements
Functional Data Analysis	A functional linear regression approach for electric load forecasting
Fuzzing	Finding Vulnerabilities in IoT Protocols using Fuzzing, Symbolic Execution and Abstract Interpretation Finding Vulnerabilities in Network Protocols using Fuzzing and Symbolic Execution Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution. Finding Software Vulnerabilities in Unmanned Aerial Vehicles
G
GA	Motif Evolution of Spiking Neural Networks on SpiNNaker An Evolutionary Optimisation Framework for SpiNNaker
Gaussian process	Gaussian process modelling of count data with application to bulk and single-cell RNA-Seq
GDPR	Towards Automatically Evaluating Compliance of Website Privacy Policies with GDPR
GDPR Compliance	Towards Automatically Evaluating Compliance of Website Privacy Policies with GDPR
Gene	GeVIR: Gene Variation Intolerance Rank – an in silico approach to prioritise disease candidate genes.
Gene Expression prediction	Predicting Gene Expression Using Meta-learning
Gene Scores	GeVIR: Gene Variation Intolerance Rank – an in silico approach to prioritise disease candidate genes.
Genetic Algorithm	Motif Evolution of Spiking Neural Networks on SpiNNaker An Evolutionary Optimisation Framework for SpiNNaker
Genetic Variants	GeVIR: Gene Variation Intolerance Rank – an in silico approach to prioritise disease candidate genes.
GraalVM	WebAssembly Hosted on the Java Virtual Machine
Graded multilayer	Novel approaches towards reducing switching current in magnetic tunnel junctions for STT-MRAM
Graph based approaches	Leveraging Explanations for Inference and Generalisation in Question Answering Systems
Graph building	Mobile phone–based tools for independent living
Graph matching	Mobile phone–based tools for independent living
Guarded fragment	Boolean Conjunctive Query Answering for the Horn Loosely Guarded Fragment
H
hand tracking	Hand tracking with Differential Evolution
Hansard	Identifying MPs' policy preferences in parliamentary debates Topic-centric sentiment analysis of UK parliamentary debate transcripts
hardware-software co-design	Enable FPGA Virtualisation for Data Centres
Health	Hearty: how healthy is your heart?
hearing	SpiNNak-Ear - Big ears for SpiNNaker!
Heart health	Hearty: how healthy is your heart?
heterogeneous data	Learning Regression Models for Heterogeneous Data
Heterogeneous systems	Resource Elastic Management for FPGAs
Heuristic Selection	Optimising Heuristics for Theorem Proving using Machine Learning
hidden semi-markov model	Mindreading for Robots: Predicting Intentions via Dynamical Clustering of Human Postures
high performance computing	Enable FPGA Virtualisation for Data Centres
High-frequency	High frequency ferromagnetic resonance study of synthetic antiferromagnetic structures
Higher-order	Reasoning in higher-order logic with Vampire
Homing	Homing like an Ant
Human memory	The Role of the Internet on Learning to Program Investigating the Effect of Device Stereotypes on Memory
Human motivation	Behavioural monitoring to generate precision nudges
Human-centered computing	Multiple Degrees-Of-Freedom Input Devices for Interactive Command and Control within Virtual Reality in Industrial Visualizations
Human-Computer Interaction	Investigating the Effect of Device Stereotypes on Memory
Human-computer interaction (HCI)	Multiple Degrees-Of-Freedom Input Devices for Interactive Command and Control within Virtual Reality in Industrial Visualizations
Human-Object Interaction	Using Common-sense Knowledge to detect Human-Object Interactions
human-robot interaction	Detecting Personality, A Step Towards Adaptive Robots Sample-Efficient Deep Reinforcement LEarning for Human Robot Interaction Mindreading for Robots: Predicting Intentions via Dynamical Clustering of Human Postures
I
Image processing	Recognising and Drawing Kittens in Chinese Painting Style Computational Reading of Arabic Calligraphic Text
Image Registration	Removing Compression Artefacts from Video Streams
Information Retrieval	Question Answering over structured text representations
information theory	Feature Selection in the Presence of Interventions: Information Theoretic Approaches
Instantaneous Time Mirror	Adaptation of Instantaneous Time Mirror from Water Waves to Electromagnetic Waves
intention reading	Mindreading for Robots: Predicting Intentions via Dynamical Clustering of Human Postures
Inter-chip communication	Adaptive Word Reordering for Low-Power Inter-Chip Communication
Interconnects	Adaptive Word Reordering for Low-Power Inter-Chip Communication
Intermediate Representation	WebAssembly Hosted on the Java Virtual Machine
Internet	Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution.
Internet of Things	Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution. A Context-Aware Access Control Model for Smart Homes Internet of Things Botnets
Ion Milling	Development of Patterning Techniques for Skyrmionic Devices
IoT	Security and Privacy for the Internet of Things (IoT) in E-health DesigningaSecureandPrivacy-PreservingDataCollection (SPDC)FrameworkforCollectingDatafromMobilePatients
IoT (Internet of Things) security	An Authentication Framework for the Internet of Things
IoT Attcks	Finding Vulnerabilities in IoT Protocols using Fuzzing, Symbolic Execution and Abstract Interpretation
IoT Network	Finding Vulnerabilities in IoT Protocols using Fuzzing, Symbolic Execution and Abstract Interpretation
IoT security	Finding Vulnerabilities in IoT Protocols using Fuzzing, Symbolic Execution and Abstract Interpretation
Iron-Rhodium	Scanning Probe Microscopy Studies of FeRh
J
JPEG	Removing Compression Artefacts from Video Streams
JVM	WebAssembly Hosted on the Java Virtual Machine
K
Knowledge acquisition	Inferring Knowledge Acquisition through Web Navigation Behaviours
Knowledge Graph	Visualization and Interaction with Argumentation Graphs
Knowledge Representation	Knowledge Sharing Among Agents with Ontological Reasoning Generating Explanations for Science Questions by Reasoning over Hybrid Semantic Knowledge Representation Forgetting-Based Abductive Reasoning in Ontologies
Knowledge Transfer	Low-level vs. High-level Representations for Knowledge Transfer in Multi-task Reinforcement Learning: A Case Study
L
language acquisition	Exploring Matrix Completion for Single Word to Multi-Word Transition in Cognitive Robotics
Linear Regression	A functional linear regression approach for electric load forecasting
Linear Systems	Echo State: Embracing Randomness in Recurrent Neural Networks
load	Routing protocol design for wireless mesh network
Localization	Mobile phone–based tools for independent living
Logic	Reasoning in higher-order logic with Vampire
logic-based agents	Knowledge Sharing Among Agents with Ontological Reasoning
long-term companionship	Detecting Personality, A Step Towards Adaptive Robots
Low power	Adaptive Word Reordering for Low-Power Inter-Chip Communication
LSTM	Online Learning with Long Short-Term Memory Networks for Anomaly Detection in Time Series
M
M2ANET	Dynamic Node Movement Control in a Mobile Medium Ad hoc Network
Machine Learning	Modelling Technology Usage, Machine Learning Perspective A Neural Embedding Model for Informal Mathematical Discourse Sample-Efficient Deep Reinforcement LEarning for Human Robot Interaction Exploring Trends in Scientific Literature Optimising Heuristics for Theorem Proving using Machine Learning Application of Artificial Intelligence to Understanding Cancer Investigating Cosmic Magnetism with Deep Learning Machine learning and the predictability of stock markets.
Machine Vision	Recognising and Drawing Kittens in Chinese Painting Style
Magnetic Multilayers	Development of Patterning Techniques for Skyrmionic Devices
Magnetic storage data	Novel approaches towards reducing switching current in magnetic tunnel junctions for STT-MRAM
Magnetic tunnel junction	Novel approaches towards reducing switching current in magnetic tunnel junctions for STT-MRAM
Magnetism	Magnetic Skyrmions in Synthetic Systems Controllable writing/deleting of an unique magnetic object (skyrmion), aiming to next generation storage devices Probing depth- and temperature-resolved magnetic properties of [CoPd]8/NiFe exchange springs using polarised neutron reflectometry Development of Patterning Techniques for Skyrmionic Devices Scanning Probe Microscopy Studies of FeRh High frequency ferromagnetic resonance study of synthetic antiferromagnetic structures
malware	Real-time Detection of Advanced Persistent Threats Using Heterogeneous Log-Files Monitoring and Machine Learning Internet of Things Botnets
MANET	Dynamic Node Movement Control in a Mobile Medium Ad hoc Network
manifold learning	High Dimensional Data Visualization: Local Ordinal Embedding with Anchor Points
MapReduce	An Authentication Framework for MapReduce in a Multiple Public Cloud Environment
mathematical discourse	A Neural Embedding Model for Informal Mathematical Discourse
MCQs	Exploring relation extraction in diagnostic case-based MCQs
Meta learning	Meta Learning Reinforcement Learning Exploration Strategies via Learned Priors
Meta-learning	Predicting Gene Expression Using Meta-learning
MNIST	An Evolutionary Optimisation Framework for SpiNNaker Simulating Structural Plasticity on the SpiNNaker Platform
mobile app evolution	Assessing The Usefulness of Mobile App Reviews For Software Development
Mobile Medium	Dynamic Node Movement Control in a Mobile Medium Ad hoc Network
Model selection	An Effective Ensemble Method for Distributed Prediction Models
Models' diversity	An Effective Ensemble Method for Distributed Prediction Models
MOOCs	Inferring Knowledge Acquisition through Web Navigation Behaviours
motifs	Motif Evolution of Spiking Neural Networks on SpiNNaker
MPI	Towards HPC applications on multiple-FPGAs
Multi-task learning	Predicting Gene Expression Using Meta-learning Low-level vs. High-level Representations for Knowledge Transfer in Multi-task Reinforcement Learning: A Case Study An Empirical Study on End-to-End Sentence Modelling
Multilayers	High frequency ferromagnetic resonance study of synthetic antiferromagnetic structures
Multispectral imaging	Pigment Analysis using Multispectral imaging Techniques
N
Named Entity Recognition	Named Entity Recognition for Requirements Engineering: A Corpus-Based Approach Supported by Deep Learning Use of Graphic and Phonetic Features in Clinicial Named Entity Recognition in Chinese
Nanoscale Devices	Development of Patterning Techniques for Skyrmionic Devices
Nanostructures	Characterisation of Size Distribution and Positional Misalignment of Nanoscale Islands by Small-Angle X-ray Scattering with High Statistical Significance
Natual Language Processing	Generating Explanations for Science Questions by Reasoning over Hybrid Semantic Knowledge Representation
Natural language processing	A Neural Embedding Model for Informal Mathematical Discourse Exploring Trends in Scientific Literature An Explanation-based Reinforcement Learning Approach Leveraging Explanations for Inference and Generalisation in Question Answering Systems Nested Named Entity Recognition
Natural Query Language	Visualization and Interaction with Argumentation Graphs
Navigation behaviour	Inferring Knowledge Acquisition through Web Navigation Behaviours
Navigation System	Navigation System for Blind
Negative Binomial	Gaussian process modelling of count data with application to bulk and single-cell RNA-Seq
Nested named entity	Nested Named Entity Recognition
Network Comparison	The Structure of Vaccination Discussions in Online Social Networks
Network Motifs	The Structure of Vaccination Discussions in Online Social Networks
Network Protocol Implementation	Finding Vulnerabilities in Network Protocols using Fuzzing and Symbolic Execution
networks	Real-time Detection of Advanced Persistent Threats Using Heterogeneous Log-Files Monitoring and Machine Learning
Neural Network	A framework for representing and estimating AI systems
neural networks	A Walk-based Model on Entity Graphs for Relation Extraction An Empirical Study on End-to-End Sentence Modelling Adverse Drug Events and Medication Relation Extraction Accuracy of spiking neural network simulations using fixed-point arithmetic
Neuro-Symbolic Methods	Generating Explanations for Science Questions by Reasoning over Hybrid Semantic Knowledge Representation
Neuromorphic computing	Magnetic skyrmions for nanocomputing An Evolutionary Optimisation Framework for SpiNNaker Simulating Structural Plasticity on the SpiNNaker Platform
Neurorobotics	Homing like an Ant
NLP	Named Entity Recognition for Requirements Engineering: A Corpus-Based Approach Supported by Deep Learning An Explanation-based Reinforcement Learning Approach Question Answering over structured text representations
ns2 simulation	Dynamic Node Movement Control in a Mobile Medium Ad hoc Network
number recognition	Spiking Neural Network for Number Recognition on SpiNNaker
O
Object Recognition	Computational Reading of Arabic Calligraphic Text
Obstacles	Navigation System for Blind
Ontologies	Knowledge Sharing Among Agents with Ontological Reasoning Forgetting-Based Abductive Reasoning in Ontologies
Ontology	Language Extensions via Macros for Description Logics Avoiding Subsumption Tests During Classification Using the Atomic Decomposition Exploring relation extraction in diagnostic case-based MCQs Concept symbol forgetting under background ontology
Ontology Design Patterns	Language Extensions via Macros for Description Logics
Ontology Engineering	Language Extensions via Macros for Description Logics
Ontology Modularity	Modularity Meets Forgetting: A Case Study with SNOMED CT Ontology
OpenCL	Towards HPC applications on multiple-FPGAs Resource Elastic Management for FPGAs
OpenMP	Execution of parallel C programs on Java Virtual Machine
Opinion mining	Identifying MPs' policy preferences in parliamentary debates
Optical Benes Networks	Scalability Analysis of optical Benes networks based on Thermally/Electrically Tuned Mach-Zender Interferometers
Optimisation Algorithm	An Evolutionary Optimisation Framework for SpiNNaker
Optimization Algorithm	An Evolutionary Optimisation Framework for SpiNNaker
ordinal embedding	High Dimensional Data Visualization: Local Ordinal Embedding with Anchor Points
P
Parkinson's disease	Smart Measure of Social Withdrawal in Parkinson's disease
parliament	Topic-centric sentiment analysis of UK parliamentary debate transcripts
partial reconfiguration	Enable FPGA Virtualisation for Data Centres
patient self-monitoring	Evaluating the Effectiveness of Data Visualisation in Facilitating ECG Self-monitoring for Medication-induced LQTS
personality detection	Detecting Personality, A Step Towards Adaptive Robots
Phase change materials	Scanning Probe Microscopy Studies of FeRh
phase transition	Investigating the ultrafast dynamics of the metamagnetic phase transition of FeRh thin films by pump-probe microscopy
Physically based modeling	Quantitative Validation of Deformation Histories
Pigment Analysis	Pigment Analysis using Multispectral imaging Techniques
PNR	Probing depth- and temperature-resolved magnetic properties of [CoPd]8/NiFe exchange springs using polarised neutron reflectometry
Politics	Identifying MPs' policy preferences in parliamentary debates Topic-centric sentiment analysis of UK parliamentary debate transcripts
Polyhedral model	Beyond Polyhedral Analysis of OpenStream Programs
Polynomial model	Beyond Polyhedral Analysis of OpenStream Programs
post-COMS computing	Magnetic skyrmions for nanocomputing
Predictive Analytics	Modelling Technology Usage, Machine Learning Perspective
Privacy	Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution. Security and Privacy for the Internet of Things (IoT) in E-health An Authentication Framework for the Internet of Things DesigningaSecureandPrivacy-PreservingDataCollection (SPDC)FrameworkforCollectingDatafromMobilePatients
Privacy Policies	Towards Automatically Evaluating Compliance of Website Privacy Policies with GDPR
Private verifiability	Tagging Method for Integrity Preservation of Outsourced Data
probabilistic model	Modelling Instance-Level Annotator Reliability for Natural Language Labelling Tasks
Pseudonym	DesigningaSecureandPrivacy-PreservingDataCollection (SPDC)FrameworkforCollectingDatafromMobilePatients
Public verifiability	Tagging Method for Integrity Preservation of Outsourced Data
Python	Investigating Cosmic Magnetism with Deep Learning
Q
QRISK	Hearty: how healthy is your heart?
quality control	Modelling Instance-Level Annotator Reliability for Natural Language Labelling Tasks
Question Answering	Leveraging Explanations for Inference and Generalisation in Question Answering Systems Generating Explanations for Science Questions by Reasoning over Hybrid Semantic Knowledge Representation Question Answering over structured text representations
R
Reasoner	Avoiding Subsumption Tests During Classification Using the Atomic Decomposition
Rectification	Navigation System for Blind
Recurrent Neural Networks	Echo State: Embracing Randomness in Recurrent Neural Networks
Regression	Modelling Technology Usage, Machine Learning Perspective
regression models	Learning Regression Models for Heterogeneous Data
Reinforcement Learning	Low-level vs. High-level Representations for Knowledge Transfer in Multi-task Reinforcement Learning: A Case Study Sample-Efficient Deep Reinforcement LEarning for Human Robot Interaction
Relation Extraction	A Walk-based Model on Entity Graphs for Relation Extraction Adverse Drug Events and Medication Relation Extraction
Removal	Removing Compression Artefacts from Video Streams
Representation	A framework for representing and estimating AI systems
Requirement Engineering	Named Entity Recognition for Requirements Engineering: A Corpus-Based Approach Supported by Deep Learning Using Semantic Frames to Analyse Software Requirements
Resource-elasticity	Resource Elastic Management for FPGAs
RNN	Online Learning with Long Short-Term Memory Networks for Anomaly Detection in Time Series
Robotics	Sample-Efficient Deep Reinforcement LEarning for Human Robot Interaction
routing	Routing protocol design for wireless mesh network
S
SAXS	Characterisation of Size Distribution and Positional Misalignment of Nanoscale Islands by Small-Angle X-ray Scattering with High Statistical Significance
Scalability Analysis	Scalability Analysis of optical Benes networks based on Thermally/Electrically Tuned Mach-Zender Interferometers
Scanning electron microscopy	Characterisation of Size Distribution and Positional Misalignment of Nanoscale Islands by Small-Angle X-ray Scattering with High Statistical Significance
Scattering	Characterisation of Size Distribution and Positional Misalignment of Nanoscale Islands by Small-Angle X-ray Scattering with High Statistical Significance
Scheduling	Resource Elastic Management for FPGAs
Scientometrics	Exploring Trends in Scientific Literature
Security	Security and Privacy for the Internet of Things (IoT) in E-health Internet of Things Botnets DesigningaSecureandPrivacy-PreservingDataCollection (SPDC)FrameworkforCollectingDatafromMobilePatients
security architecture	Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution.
self-organizing mobile network	Dynamic Node Movement Control in a Mobile Medium Ad hoc Network
Semantic Analysis	Using Semantic Frames to Analyse Software Requirements
Semantic Frame	Using Semantic Frames to Analyse Software Requirements
Semiotics	A framework for representing and estimating AI systems
sensors	Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution.
Sentiment analysis	Identifying MPs' policy preferences in parliamentary debates Topic-centric sentiment analysis of UK parliamentary debate transcripts
Service Composition	Clarifying cooperativeness in services composition of Social Internet of Things (SIoTs)
side channel attacks	Side Channel Attacks on ASIC AES Implementation
Silicon Photonics	Scalability Analysis of optical Benes networks based on Thermally/Electrically Tuned Mach-Zender Interferometers
simulation	Controllable writing/deleting of an unique magnetic object (skyrmion), aiming to next generation storage devices Modelling Expression Rates of Hypoxia-inducible Factors in Growing Tumours: Investigating Potentials for Non-Invasive Cancer Therapies
single cell RNA-seq	Gaussian process modelling of count data with application to bulk and single-cell RNA-Seq
SIoTs	Clarifying cooperativeness in services composition of Social Internet of Things (SIoTs)
skyrmion	Controllable writing/deleting of an unique magnetic object (skyrmion), aiming to next generation storage devices Magnetic skyrmions for nanocomputing
Skyrmions	Magnetic Skyrmions in Synthetic Systems Development of Patterning Techniques for Skyrmionic Devices
SLAM	FullFusion: real-time semantic reconstruction of dynamic indoor scenes
Small Angle X-ray Scattering	Characterisation of Size Distribution and Positional Misalignment of Nanoscale Islands by Small-Angle X-ray Scattering with High Statistical Significance
Smart Home	A Context-Aware Access Control Model for Smart Homes
Smartphone applications	Hearty: how healthy is your heart?
smartphone sensing	Smart Measure of Social Withdrawal in Parkinson's disease
SMMANET	Dynamic Node Movement Control in a Mobile Medium Ad hoc Network
smt	Integration of theory reasoning in the Inst-Gen calculus
SNN	Motif Evolution of Spiking Neural Networks on SpiNNaker An Evolutionary Optimisation Framework for SpiNNaker
SNOMED CT	Modularity Meets Forgetting: A Case Study with SNOMED CT Ontology
Social Networks	The Structure of Vaccination Discussions in Online Social Networks
Solid mechanics	Quantitative Validation of Deformation Histories
Spectral Angle Measure	Pigment Analysis using Multispectral imaging Techniques
Spectral Correlation Measure	Pigment Analysis using Multispectral imaging Techniques
spiking neural network	An Evolutionary Optimisation Framework for SpiNNaker Spiking Neural Network for Number Recognition on SpiNNaker
Spiking Neural Network Architecture	An Evolutionary Optimisation Framework for SpiNNaker
Spiking neural networks	Homing like an Ant Motif Evolution of Spiking Neural Networks on SpiNNaker SpiNNak-Ear - Big ears for SpiNNaker! Simulating Structural Plasticity on the SpiNNaker Platform
SpiNNaker	Motif Evolution of Spiking Neural Networks on SpiNNaker An Evolutionary Optimisation Framework for SpiNNaker Spiking Neural Network for Number Recognition on SpiNNaker SpiNNak-Ear - Big ears for SpiNNaker! Simulating Structural Plasticity on the SpiNNaker Platform Accuracy of spiking neural network simulations using fixed-point arithmetic
Sputter deposition	Novel approaches towards reducing switching current in magnetic tunnel junctions for STT-MRAM
sputtering	Probing depth- and temperature-resolved magnetic properties of [CoPd]8/NiFe exchange springs using polarised neutron reflectometry
Stock market	Machine learning and the predictability of stock markets.
storage device	Controllable writing/deleting of an unique magnetic object (skyrmion), aiming to next generation storage devices
Style Transfer	Recognising and Drawing Kittens in Chinese Painting Style
sub-graphs	Motif Evolution of Spiking Neural Networks on SpiNNaker
substrate noise coupling	Side Channel Attacks on ASIC AES Implementation
Symbolic execution	Finding Vulnerabilities in IoT Protocols using Fuzzing, Symbolic Execution and Abstract Interpretation Finding Vulnerabilities in Network Protocols using Fuzzing and Symbolic Execution Detecting Vulnerabilities in IoT cryptographic primitive using Fuzzing and Symbolic Execution. Finding Software Vulnerabilities in Unmanned Aerial Vehicles
T
Tag Generation	Tagging Method for Integrity Preservation of Outsourced Data
Tag Verification	Tagging Method for Integrity Preservation of Outsourced Data
TAM	Modelling Technology Usage, Machine Learning Perspective
Task-granularity control	Beyond Polyhedral Analysis of OpenStream Programs
technologies	The Role of the Internet on Learning to Program
Technology Use	Modelling Technology Usage, Machine Learning Perspective
Text Mining	Use of Graphic and Phonetic Features in Clinicial Named Entity Recognition in Chinese A Walk-based Model on Entity Graphs for Relation Extraction Computational Reading of Arabic Calligraphic Text Exploring relation extraction in diagnostic case-based MCQs Adverse Drug Events and Medication Relation Extraction
Text Reading	Computational Reading of Arabic Calligraphic Text
Text semantics	An Empirical Study on End-to-End Sentence Modelling
theorem proving	Integration of theory reasoning in the Inst-Gen calculus
theory reasoning	Integration of theory reasoning in the Inst-Gen calculus
Thin films	High frequency ferromagnetic resonance study of synthetic antiferromagnetic structures
Time Reversal	Adaptation of Instantaneous Time Mirror from Water Waves to Electromagnetic Waves
Topic detection	Identifying MPs' policy preferences in parliamentary debates Topic-centric sentiment analysis of UK parliamentary debate transcripts
transcription factors	Deep learning for prediction of DNA-TF binding
Transportability	An Explanation-based Reinforcement Learning Approach
Trend detection	Exploring Trends in Scientific Literature
Tunnelling magnetoresitance	Novel approaches towards reducing switching current in magnetic tunnel junctions for STT-MRAM
U
ultrafast dynamics	Investigating the ultrafast dynamics of the metamagnetic phase transition of FeRh thin films by pump-probe microscopy
Uniform Interpolation	Concept symbol forgetting under background ontology Modularity Meets Forgetting: A Case Study with SNOMED CT Ontology
Unlabelled Data	Investigating Cosmic Magnetism with Deep Learning
unsupervised learning	Modelling Instance-Level Annotator Reliability for Natural Language Labelling Tasks
unsupervised machine learning	Real-time Detection of Advanced Persistent Threats Using Heterogeneous Log-Files Monitoring and Machine Learning
user review helpfulness	Assessing The Usefulness of Mobile App Reviews For Software Development
UTAUT	Modelling Technology Usage, Machine Learning Perspective
V
Vaccination	The Structure of Vaccination Discussions in Online Social Networks
Validation	Quantitative Validation of Deformation Histories
Vampire	Reasoning in higher-order logic with Vampire
Video	Removing Compression Artefacts from Video Streams
Virtual Environments	Multiple Degrees-Of-Freedom Input Devices for Interactive Command and Control within Virtual Reality in Industrial Visualizations
Virtual Machine	Execution of parallel C programs on Java Virtual Machine
Virtual Reality	Visualization and Interaction with Argumentation Graphs
visual perception	Evaluating the Effectiveness of Data Visualisation in Facilitating ECG Self-monitoring for Medication-induced LQTS
Visualization systems and tools	Multiple Degrees-Of-Freedom Input Devices for Interactive Command and Control within Virtual Reality in Industrial Visualizations
Visually guided behavior	Homing like an Ant
vulnerability	Internet of Things Botnets
W
Wearable devices	Security and Privacy for the Internet of Things (IoT) in E-health
Web Ontology Language (OWL)	Language Extensions via Macros for Description Logics
WebAssembly	WebAssembly Hosted on the Java Virtual Machine
wireless mesh network	Routing protocol design for wireless mesh network
Word Embedding	Use of Graphic and Phonetic Features in Clinicial Named Entity Recognition in Chinese
Word Embeddings	Using Semantic Frames to Analyse Software Requirements
writing/deleting	Controllable writing/deleting of an unique magnetic object (skyrmion), aiming to next generation storage devices
X
X-ray	Characterisation of Size Distribution and Positional Misalignment of Nanoscale Islands by Small-Angle X-ray Scattering with High Statistical Significance
Z
zero-inflated Negative Binomial	Gaussian process modelling of count data with application to bulk and single-cell RNA-Seq

Disclaimer | Powered by EasyChair Smart Program