Research Output 1970 2018

Filter
Other report
2017

An Exploration with Technology Acceptance Modelling intohow PSD2 Could Improve User Interactions in Personal Finance

Barber, E. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 129 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

Innovation
Finance
Feedback
Planning

An Investigation into the Effects of Using Dynamic Representation to Reflect Users’ Emotional States During Physical Activity

Dent, H. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 133 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

Human computer interaction
Display devices

A Serious Game for Teaching First Order Logic to Secondary School Students

Hooper, A. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 97 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

playing
student
logic
measurement method
earning a doctorate

Evercycle - A Virtual Reality Exercise Game to Accelerate Exercise Performance Improvement using the Feedforward Effect

Whalley, A. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 123 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

Virtual reality
Hardware

Feature Selection in Online Lexical Phishing URL Classifcation

Youle, O. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 105 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

Websites
HTML
Feature extraction
Bandwidth

Large-Scale Lexical Classification of Phishing Websites

Medzinskii, D. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 76 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

Websites
Classifiers
Testing
Electronic mail
Learning systems

Mind the Gap: Newsfeed Visualisation with Metro Maps

Talary-Brown, D. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 116 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

RSS
Drawing (graphics)

Radio Catchup An interactive Segment-based Radio Listen Again Service

Couch, C. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 131 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

Availability
Internet

Re-imagining the Command Line User Experience for Problem Solving

Cabot, R. B. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 165 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

User interfaces
Graphical user interfaces
Testing

Static Analysis of Programs using Semirings

North, L. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 98 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

Costs
Static analysis

Visualisation and Exploration of Personal Data in Virtual Reality

Millais, P. 11 Jun 2017 Bath, U. K.: Department of Computer Science, University of Bath. 168 p. (Department of Computer Science Technical Report Series; no. CSBU-2014-01)

Research output: Book/ReportOther report

Visualization
Virtual reality
Data privacy
Data visualization
2015

An Implementation of Sub-CAD in Maple

England, M. & Wilson, D. Mar 2015 Bath U.K.: Department of Computer Science, University of Bath. 11 p. (Department of Computer Science Technical Report Series; no. CSBU-2015-01)

Research output: Book/ReportOther report

Decomposition
Computer aided design
Polynomials
Geometry
2014
Communication
Hurricanes
Decision making
Disasters

Extending Cachegrind: L2 cache inclusion and TLB measuring

Kaparelos, S. 11 Jun 2014 Department of Computer Science, University of Bath. 104 p. (Department of Computer Science Technical Report Series; no. CSBU-2014-01)

Research output: Book/ReportOther report

Statistics
Hardware

MSc Dissertation: An investigation of JavaScript isolation mechanisms: Sandboxing implementations

Viopoulou, E. Oct 2014 Bath U.K.: Department of Computer Science. 106 p. (Department of Computer Science Technical Report Series; no. CSBU-2014-03)

Research output: Book/ReportOther report

Digital storage
Electronic mail
Internet
Testing
2013

Adapting a Video Game to do Psychological Experiments

Kenyon, J. Nov 2013 Bath, U. K.: Department of Computer Science, University of Bath. 67 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-09)

Research output: Book/ReportOther report

Experiments
Rats
Animals
Engines

An Implementation of CAD in Maple Utilising McCallum Projection

England, M. Jan 2013 Bath, U. K.: Department of Computer Science, University of Bath. 11 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-02)

Research output: Book/ReportOther report

Decompose
Maple
Semi-algebraic sets
Quantifier elimination
Computer algebra system

An Implementation of CAD in Maple Utilising Problem Formulation, Equational Constraints and Truth-Table Invariance

England, M. May 2013 Bath, U. K.: Department of Computer Science, University of Bath. 14 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-04)

Research output: Book/ReportOther report

Decomposition
Computer aided design
Invariance
Geometry

Extracting Semantics from the Enron Corpus

MacFarlane, T. Nov 2013 Bath, U. K.: Department of Computer Science, University of Bath. 126 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-08)

Research output: Book/ReportOther report

Semantics
Association reactions
Experiments

Facilitating the Creation of Advanced Agents within NetLogo by Allowing Specification and Control Using the Behaviour Oriented Design Methodology

Brooks, M. Nov 2013 Bath, U. K.: Department of Computer Science, University of Bath. 83 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-07)

Research output: Book/ReportOther report

Biochemical oxygen demand
Specifications

Information Acquisition and Communication and its Impact on Social Structure

Fedorec, A. J. Nov 2013 Bath, U. K.: Department of Computer Science, University of Bath. 74 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-06)

Research output: Book/ReportOther report

social structure
information services
thermoregulation
animal communication
predation

Layered Cylindrical Algebraic Decomposition

Wilson, D. J. & England, M. Aug 2013 Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2013-05)

Research output: Book/ReportOther report

Computer aided design
Motion planning
Robots
Decomposition

Semantic Clustering of Basic Emotion Sets

Bann, E. Y. Jan 2013 Bath, U. K.: Department of Computer Science, University of Bath. 118 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-01)

Research output: Book/ReportOther report

Semantics
Physiology
Neurology
Clustering algorithms
Labels

The Piano Mover's Problem Reformulated

Wilson, D., Bradford, R. J., Davenport, J. H. & England, M. Jun 2013 Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series ; no. CSBU-2013-03)

Research output: Book/ReportOther report

Decompose
Formulation
Polynomial equation
Hardware
Valid

Tuning of rsync Algorithm for Optimum Cloud Storage Performance

Constantinou, M. Dec 2013 Bath, U. K: Department of Computer Science, University of Bath. 51 p. (Department of Computer Science Technical Report Series; no. CSBU-2013-10)

Research output: Book/ReportOther report

Synchronization
Tuning
Experiments
2011

Compilation and Automatic Parallelisation of Functional Code for Data-Parallel Architectures

Lillehagen, T. Jul 2011 Bath, U. K.: Department of Computer Science, University of Bath. 131 p. (Department of Computer Science Technical Report Series; no. CSBU-2011-01)

Research output: Book/ReportOther report

Parallel architectures
Functional programming
Computer programming languages
Program processors
Clocks
2009

Csound Parallelism

Wilson, C. May 2009 Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2009-07)

Research output: Book/ReportOther report

Parallelism

Modelling Institutions using Answer Set Programming: Enhancing the Institution Action Language

Hopton, L. May 2009 Bath. U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2009-06)

Research output: Book/ReportOther report

Modeling
Programming

SEA09: Software Engineering for Answer Set Programming

De Vos, M. (ed.) & Torsten, S. (ed.) Nov 2009 Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2009-20)

Research output: Book/ReportOther report

2008

Creating an Extensible Unit Converter Using OpenMath as the Representation of the Semantics of the Units

Stratford, J. Jun 2008 Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2008-02)

Research output: Book/ReportOther report

Semantics

DividingQuest: Opening the Learner Model to Teachers

Girard, S. & Johnson, H. Apr 2008 Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2008-01)

Research output: Book/ReportOther report

Logical Aspects of Logical Frameworks

Price, M. Dec 2008 Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2008-07)

Research output: Book/ReportOther report

Using Agent-Based Modelling to Explore the Environmental Impact of Changes to the UK Housing Stock

Elliott, L. Jun 2008 Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; no. CSBU-2008-03)

Research output: Book/ReportOther report

environmental impact
modeling
2007

Advanced Golf Tutor

Pearcy, R. C. Oct 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-15)

Research output: Book/ReportOther report

tutor

Agent-based simulation of organisational learning

Marshall, A. Jun 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-11)

Research output: Book/ReportOther report

Agent-based simulation

An investigation into second language acquisition and tutoring systems for children at Key Stage 2

Benton, L. Jul 2007 Bath, U. K.: Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-06)

Research output: Book/ReportOther report

Call graphing in C

Saunders, I. Jul 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-07)

Research output: Book/ReportOther report

Creating a distributed network traffic analyser

Crawford, S. Jul 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-08)

Research output: Book/ReportOther report

Developing an artificially intelligent real time blues accompanist

Brothwell, A. Mar 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-01)

Research output: Book/ReportOther report

Generalised mixtures of experts, independent expert training, and learning classifier systems

Drugowitsch, J. & Barry, A. Apr 2007 University of Bath, Department of Computer Science. (Computer Science Technical Reports; no. CSBU-2007-02)

Research output: Book/ReportOther report

Classifiers

Learning classifier systems from first principles

Drugowitsch, J. Oct 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-12)

Research output: Book/ReportOther report

Classifiers

Multi-agent simulation of the dynamics of social exclusion in school choice

Robinson, P. Jun 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-14)

Research output: Book/ReportOther report

school choice
exclusion
simulation

Opening the learner-model to teachers

Girard, S. & Johnson, H. 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-20)

Research output: Book/ReportOther report

teacher
model

Reflections on the number of field sieve

Cliffe, E. Jun 2007 Bath, U. K.: Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-03)

Research output: Book/ReportOther report

SEA'07: Software engineering for answer set programming

de Vos, M. & Schaub, T. Jul 2007 University of Bath, Department of Computer Science. (Computer Science Technical Reports; no. CSBU-2007-05)

Research output: Book/ReportOther report

Computer programming
Software engineering

Semantic models for texturing volume objects

Shen, P. Y. Oct 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-13)

Research output: Book/ReportOther report

Specifying and analysing institutions in multi-agent systems using answer set programming

Cliffe, O. Jun 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-04)

Research output: Book/ReportOther report

Multi-agent systems
Programming

The analysis and implementation of the AKS algorithm and its improvement algorithms

Li, H. Jul 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-09)

Research output: Book/ReportOther report

Understanding and supporting creativity in design

Warr, A. Oct 2007 Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2007-10)

Research output: Book/ReportOther report