Search
Results: 182
Incremental answer set programming
M. J. Brain
May 01, 2004
Published by: Department of Computer Science, University of Bath
A GCC front end for BCPL
T Crick
May 01, 2004
Published by: Department of Computer Science, University of Bath
Dynamic planning
M Williams
Jul 01, 2005
Published by: Department of Computer Science, University of Bath
AgentcitiesUK.net Challenge Day 2
J A Padget
Oct 01, 2005
Published by: Department of Computer Science, University of Bath
Implementation of chaffing and winnowing
J Larkin
Jun 01, 2006
Published by: Department of Computer Science, University of Bath
Subjectivity and ownership
A. Batenin
Dec 01, 2006
Published by: Department of Computer Science, University of Bath
Call graphing in C
I Saunders
Jul 01, 2007
Published by: Department of Computer Science, University of Bath
Semantic Clustering of Basic Emotion Sets
E. Y. Bann
Jan 01, 2013
A plethora of words are used to describe the spectrum of human emotions, but how many emotions are there really, and how do they interact? Over the past few decades, several theories of emotion have been proposed, each based...
Published by: Department of Computer Science, University of Bath
An Implementation of CAD in Maple Utilising Problem Formulation, Equational Constraints and Truth-Table Invariance
M. England
May 01, 2013
Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets, with applications within algebraic geometry and beyond. We recently reported on a new implementation of CAD in Maple...
Published by: Department of Computer Science, University of Bath
The Piano Mover's Problem Reformulated
We revisit the classic problem of moving ladders of various lengths through a right-angled corridor. It has long been known that it is theoretically possible to tackle this problem through cylindrical algebraic decomposition...
Published by: Department of Computer Science, University of Bath
Adapting a Video Game to do Psychological Experiments
J. Kenyon
Nov 01, 2013
Transitive Inference is a process of reasoning that has in the past been demonstrated to occur in various animals - including monkeys, rats and pigeons - as well as humans, including young children. This project documents the...
Published by: Department of Computer Science, University of Bath
Facilitating the Creation of Advanced Agents within NetLogo by Allowing Specification and Control Using the Behaviour Oriented Design Methodology
M. Brooks
Nov 01, 2013
NetLogo (Wilensky, 1999) is a very popular agent based modelling platform that is commonly used in a wide range of scientific fields. Behaviour Oriented Design (Bryson, 2003a) is a development methodology for creating complex...
Published by: Department of Computer Science, University of Bath
Information Acquisition and Communication and its Impact on Social Structure
A. J. Fedorec
Nov 01, 2013
Aggregation into groups is common in many species in the animal kingdom. Pressures on individuals to aggregate range from predation avoidance to thermo-regulation. The information centre hypothesis proposes that information...
Published by: Department of Computer Science, University of Bath
An Exploration with Technology Acceptance Modelling intohow PSD2 Could Improve User Interactions in Personal Finance
Edward Barber
May 01, 2017
A two-fold study attempting to perceive the possible innovations possible thanks to the upcoming Payment Services Directive II using a newly extended adaptation of the Technology Acceptance Model with an aspect of Social...
Published by: Department of Computer Science, University of Bath
Mind the Gap
Damask Talary-Brown
May 01, 2017
News overload has emerged as a growing problem in our increasingly
connected digital information era. With complex long-running stories
unfolding over weeks and months, young adults in particular are left
overwhelmed...
connected digital information era. With complex long-running stories
unfolding over weeks and months, young adults in particular are left
overwhelmed...
Published by: Department of Computer Science, University of Bath
AnsProlog* Programming Environment (APE)
A Sureshkumar
Jan 01, 0001
Published by: Department of Computer Science, University of Bath
An Investigation into the Effects of Using Dynamic Representation to Reflect Users’ Emotional States During Physical Activity
Holly Dent
May 01, 2017
Many people struggle to maintain exercise routines (Biddle and Fox, 1989). Affective state (emotion, mood and sentiment) plays a key role in supporting or undermining intentions to exercise (Hanin, 2000). Presenting users with...
Published by: Department of Computer Science, University of Bath
A Serious Game for Teaching First Order Logic to Secondary School Students
Amy Hooper
May 01, 2017
This dissertation investigates the teaching of frst order logic, which is normally taughtfat university level, to A-level students. A serious game, which is a game designed for aspecifc purpose, is developed to teach this topic....
Published by: Department of Computer Science, University of Bath
Evercycle - A Virtual Reality Exercise Game to Accelerate Exercise Performance Improvement using the Feedforward Effect
Alex Whalley
May 01, 2017
National obesity levels are rising, and sedentary lifestyles are becoming more common in industrialized nations. Individuals within this category fnd maintaining and improving atexercise difficult, and feel a lack of motivation...
Published by: Department of Computer Science, University of Bath
Extracting Semantics from the Enron Corpus
T. MacFarlane
Nov 01, 2013
Indirect measures must be used when analysing attitudes, as individuals are unlikely to voluntarily express beliefs that are opposed by social norms. The IAT indirectly assesses attitudes through the automatic association of...
Published by: Department of Computer Science, University of Bath
|
|< |
< |
1 |