Research Output

Other report

A semantics for reductive logic and proof-search

Pym, D. J. & Ritter, E., Mar 2004, Bath, U. K.: Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2004-01)

Research output: Book/ReportOther report

File
28 Downloads (Pure)

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

Open Access
File
111 Downloads (Pure)

A simulated exploration into the growth of modern terrorist networks

Butler, S., Dec 2006, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2006-18)

Research output: Book/ReportOther report

File
33 Downloads (Pure)

A student event management solution

Rackham, C., May 2004, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2004-07)

Research output: Book/ReportOther report

File
51 Downloads (Pure)

A tool for enhancing interactions during crises and aiding collective decision-making

Calderon, A., Hinds, J. & Johnson, P., 2014, (Unpublished) Department of Computer Science, University of Bath. 4 p.

Research output: Book/ReportOther report

File
35 Downloads (Pure)

Authentication, pre-Handoff and Handoff in Pure MANET

Boonkrong, S., Dec 2006, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2006-14)

Research output: Book/ReportOther report

File
34 Downloads (Pure)

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

File
28 Downloads (Pure)

Chaos in Combustion: Chris Brace's Secondment Project Report

Wilson, L. R. M., 2018, University of Bath. 18 p.

Research output: Book/ReportOther report

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

File
39 Downloads (Pure)

Computer-based mathematics tuition in foundation stage education: A prototype solution

Tett, G. J., May 2004, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2004-08)

Research output: Book/ReportOther report

File
179 Downloads (Pure)

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

File
57 Downloads (Pure)

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

File
40 Downloads (Pure)

Creating creativity: Generating requirements for tools to support creative processes

Carruthers, L. J. & Johnson, H., Mar 2004, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2004-02)

Research output: Book/ReportOther report

File
26 Downloads (Pure)

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

File
29 Downloads (Pure)

Detecting individual differences in beliefs through language use

Bilovich, A., Dec 2006, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2006-22)

Research output: Book/ReportOther report

File
41 Downloads (Pure)

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

File
31 Downloads (Pure)

Developing an XCS Framework

Longridge, T. N., Oct 2005, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2005-11)

Research output: Book/ReportOther report

File
47 Downloads (Pure)
3 Downloads (Pure)

Development of a message oriented interaction layer for agent communication

Paton, C., May 2004, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2004-11)

Research output: Book/ReportOther report

File
33 Downloads (Pure)

Development of an integrated chat monitoring and web filtering parental control for child online supervision

Chung, K., May 2004, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2004-13)

Research output: Book/ReportOther report

File
186 Downloads (Pure)

Development of an OpenMath-based unit converter to demonstrate the benefits of the

Oleinik, E., May 2004, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2004-12)

Research output: Book/ReportOther report

File
36 Downloads (Pure)

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

File
29 Downloads (Pure)

DividingQuest: Using Emotive Interface Personas in Educational Software

Girard, S., Dec 2006, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2006-19)

Research output: Book/ReportOther report

File
49 Downloads (Pure)

DividingQuest: Using emotive interface personas in educational Software

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

Research output: Book/ReportOther report

File
29 Downloads (Pure)

Dynamic planning: The application of AI planning advances to project management

Williams, M., Jul 2005, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2005-07)

Research output: Book/ReportOther report

File
48 Downloads (Pure)

Dynamik und räumliche Muster forstlicher Standorte in Deutschland. Ergebnisse der Bodenzustandserhebung im Wald 2006 bis 2008. Thuenen Report 43. Kapitel 12: Kronenzustand - Steuergrössen und Raum-Zeit-Entwicklung von 1989-2014

Translated title of the contribution: Dynamic and spatial pattern of soil under forest in Germany. Results of the national survey of soil under forest 2006 until 2008. Thuenen Report 43. : Chapter 12: The state of tree crowns - controlling factors and space-time trend between 1989 and 2014Eickenscheidt, N., Augustin, N. & Wellbrock, N., 2016, Thünen-Institut. 82 p.

Research output: Book/ReportOther report

Open Access

Early GP Leavers Interim Report: Report to HEE & NHS England dated 4th May 2014

Doran, N., Fox, F., Taylor, G. & Harris, M., 2015, University of Bath.

Research output: Book/ReportOther report

Open Access
File
38 Downloads (Pure)

Emotions: The art of communication applied to virtual actors

Tanguy, E. A. R., Jun 2006, University of Bath, Department of Computer Science. (Computer Science Technical Reports; no. CSBU-2006-06)

Research output: Book/ReportOther report

File
31 Downloads (Pure)

Estimation of Land Value Tax Revenues in London

Barnaby, C. & Pearce, N., Jul 2017, Bath: Institute for Policy Research, University of Bath. 15 p.

Research output: Book/ReportOther report

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

Open Access
File
106 Downloads (Pure)

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

File
102 Downloads (Pure)

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

Open Access
File
66 Downloads (Pure)

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

File
68 Downloads (Pure)

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

Open Access
File
159 Downloads (Pure)

Formation mechanisms in surfactant templated films

Edler, K. J. & Brennan, T., 2002, The Rutherford Appleton Laboratory. (ISIS 2002, The Rutherford Appleton Laboratory, ISIS Facility Annual Report)

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

File
26 Downloads (Pure)

Generating English language based On formal grammars

Perryman, D. G., Jun 2006, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2006-08)

Research output: Book/ReportOther report

File
28 Downloads (Pure)

Grammar based modeling and generation of Tabla compositions

Mahmud, J., Jun 2006, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2006-09)

Research output: Book/ReportOther report

File
74 Downloads (Pure)

Higher level techniques for the artistic rendering of images and video

Collomosse, J. P., 2004, BAth, U. K.: Department of Computer Science, University of Bath. (Computer Science Technical Reports)

Research output: Book/ReportOther report

126 Downloads (Pure)

H-type groups and intertwining operators

Dooley, A. H., 1996, Mittag Leffler Institute .

Research output: Book/ReportOther report

Implementation of a prototype peer learning mathematics tutor for children: A user-centred approach

Cooper, K., Dec 2006, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2006-17)

Research output: Book/ReportOther report

File
26 Downloads (Pure)

Implementation of chaffing and winnowing: Providing confidentiality without encryption

Larkin, J., Jun 2006, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2006-10)

Research output: Book/ReportOther report

File
28 Downloads (Pure)

Incremental answer set programming

Brain, M. J., May 2004, Bath, U. K.: Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2004-05)

Research output: Book/ReportOther report

File
33 Downloads (Pure)
38 Downloads (Pure)

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

Open Access
File
31 Downloads (Pure)

Information retrieval and gathering: An experimental prototype for Mac OS X

Gonzalez-George, V., Dec 2006, Department of Computer Science, University of Bath. (Computer Science Technical Reports; no. CSBU-2006-16)

Research output: Book/ReportOther report

File
35 Downloads (Pure)

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

Open Access
File
157 Downloads (Pure)

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

Open Access
File
25 Downloads (Pure)

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

File
66 Downloads (Pure)