Research Output 1970 2018

Filter
Doctoral Thesis
2017

A study of normalisation through subatomic logic

Aler Tubella, A. 2017 137 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Cut-elimination
Logic
Decompose
Normalization
Substructural logics
Open Access
File
Virtual reality
Surgery
Computer hardware
Education
Open Access
File
visualization
forestry
imagery
forest health
fieldwork

Improving the Pipeline for Stereo Post-Production

Willey, S. Oct 2017 158 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Software
Hardware
Academic research
Cinema
Alignment

Semi-Supervised Topic Models Applied to Mathematical Document Classication

Evans, I. 2017 192 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Document classification
Dirichlet
Model
Inclusion
Classifier
2016

Artificial Prediction Markets for Online Prediction of Continuous Variables

Jahedpari, F. Mar 2016 201 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Prediction
Machine learning
Learning model
Open Access
File
Intelligent virtual agents
Software engineering
Software agents
Mobile phones
Inspection

Constraint based simulation of soft and rigid bodies

Lewin, C. 22 Feb 2016 114 p.

Research output: ThesisDoctoral Thesis

Open Access
File
simulation
rigid structures
animation
spine
games
Open Access
File
Robots
Robotics
Human robot interaction
Animals

Resource-Oriented Architecture based Scientific Workflow Modelling

Duan, K. 2016

Research output: ThesisDoctoral Thesis

Open Access
File
Engineers

Understanding the Ubiquity of Self-Deception: The Evolutionary Utility of Incorrect Information

Rauwolf, P. 10 Mar 2016 186 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Deception
Evolutionary
Luxury
Simulation
Human behavior
2015

An Argumentation-Based Approach to Normative Practical Reasoning

Shams, Z. 14 Dec 2015 196 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Argumentation
Practical reasoning
Pursuit
Natural language
Costs

Dynamic Editable Models of Fire From Video

Chinery, A. 2015 128 p.

Research output: ThesisDoctoral Thesis

File
Dynamic models
Fires
Cameras

Evolutionary Innovations and Dynamics in Wagner's Model of Genetic Regulatory Networks

Wang, Y. Dec 2015 174 p.

Research output: ThesisDoctoral Thesis

File
Genetic Models
Genetic Recombination
Mutation
Gene Regulatory Networks
Genes

Image Motion Analysis using Inertial Sensors

Saunders, T. 2015 137 p.

Research output: ThesisDoctoral Thesis

File
Cameras
Sensors
Computer vision
Motion analysis

Interactive Shadow Removal

Gong, H. 26 Feb 2015 149 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Removal
Computer graphics
Computer vision

Investigating and Modelling Rationale Style Arguments

Stubbings, G. 2015

Research output: ThesisDoctoral Thesis

File
quality
utility
feedback
structure
analysis

Modelling Self-managing Multi Agent Systems Using Norms

Elakehal, E. E. 2015

Research output: ThesisDoctoral Thesis

File
Multi agent systems
Industry
Software engineering
Social aspects

Modelling Visual Objects Regardless of Depictive Style

Wu, Q. 10 Dec 2015

Research output: ThesisDoctoral Thesis

File

Norm Awareness for Virtual Characters Behaviour: A Socio-Cognitive Approach

Lee, J. 31 Jan 2015 181 p.

Research output: ThesisDoctoral Thesis

File
Navigation
DNA
Human engineering
Decision making
Scheduling
Open Access
File
Textures
Parameterization
Animation
Rigidity
Elasticity

Supporting the Transfer of Learning of Freehand Gestures

Wright, M. A. E. 1 Jun 2015

Research output: ThesisDoctoral Thesis

File
Air

Traceability, Linkability and Policy Hiding in Attribute-Based Signature Schemes

El Kaafarani, A. Feb 2015

Research output: ThesisDoctoral Thesis

File
Hardness
Industry
2014

Advances in Cylindrical Algebraic Decomposition

Wilson, D. Jul 2014 348 p.

Research output: ThesisDoctoral Thesis

File
Decompose
Invariance
Real algebraic geometry
Heuristics
Truth table
File
Software engineering
Application programs

Challenges in artificial socio-cognitive systems: A study based on intelligent vehicles

Baines, V. 30 Sep 2014 221 p.

Research output: ThesisDoctoral Thesis

File
Cognitive systems
Intelligent vehicle highway systems
Intelligent agents
Communication
Autonomous agents

Enhancing the performance of Decoupled Software Pipeline through Backward Slicing

Alwan, E. 8 Jan 2014 University of Bath. 148 p.

Research output: ThesisDoctoral Thesis

File
Pipelines
Resource allocation
Hazards and race conditions
Parallel programming
Flow control

Evolution of the Social Contract

Taylor, D. Mar 2014

Research output: ThesisDoctoral Thesis

File
measurement method
contract
individual
human being
earning a doctorate
File
Animation
Removal
Pipelines
Studios
Computational methods

Normative Conflict Detection and Resolution in Cooperating Institutions

Li, T. Jul 2014 221 p.

Research output: ThesisDoctoral Thesis

Open Access
File
institution
conflict
earning a doctorate
action
objective

On the Design of End-user Service Composition Applications

Ridge, A. Aug 2014 398 p.

Research output: ThesisDoctoral Thesis

File
Chemical analysis
Software engineering

Search Satisfaction: Choice Overload, Variety Seeking and Serendipity in Search Engine Use

Chiravirakul, P. Oct 2014 215 p.

Research output: ThesisDoctoral Thesis

File
Search engine
Experiment
Ranking
Data collection
Mixed methods

The Use of Modular Approaches for Robots to Learn Grasping and Manipulation

Huang, B. Oct 2014 136 p.

Research output: ThesisDoctoral Thesis

File
Robots
Demonstrations
Planning
End effectors
Motion planning

Wireless Sensor Network Routing Protocols for Data Aggregation

Pourroostaei Ardakani, S. 2014

Research output: ThesisDoctoral Thesis

Open Access
File
Mobile agents
Wireless sensor networks
Agglomeration
Sensor nodes
Network routing
2013

Computational Verification of Security Requirements

Bibu, G. D. Sep 2013 256 p.

Research output: ThesisDoctoral Thesis

File
Security of data
Human engineering
Computer programming
Health care
Semantics

Designing Communication Devices for Long Distance Dating Relationships

Gooch, D. 2013 467 p.

Research output: ThesisDoctoral Thesis

File
Communication
Innovation

Designing for Effective Freehand Gestural Interaction

Ren, G. Oct 2013 183 p.

Research output: ThesisDoctoral Thesis

File
Human computer interaction
Human engineering
User interfaces
Navigation
Sensors

Example-Based Water Animation

Pickup, D. L. Mar 2013 105 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Animation
Water
Surface reconstruction
Geometry
Foams

Fairness in the division and completion of collaborative work

Kelly, R. 5 Oct 2013 333 p.

Research output: ThesisDoctoral Thesis

File
fairness
workload
work
measurement method
allocation

Graphical Foundations for Dialogue Games

Wingfield, C. Oct 2013 197 p.

Research output: ThesisDoctoral Thesis

File
Schedule
Heap
Game
Game semantics
Interleaving
File
Decision making
Consumer behavior
Multimedia systems
Electronic commerce
Human computer interaction

Nonrigid Surface Tracking, Analysis and Evaluation

Li, W. 2013 151 p.

Research output: ThesisDoctoral Thesis

File
Optical flows
Cameras
Infrared radiation
Surface analysis
Medical imaging
2012

A modular physics methodology for games

Schanda, F. 2012

Research output: ThesisDoctoral Thesis

File
games
simulation
methodology
rigid structures
electric motors

Automating Group-Based Privacy Control in Social Networks

Jones, S. L. Aug 2012 304 p.

Research output: ThesisDoctoral Thesis

Clustering algorithms
Labeling

Autonomous Visual Learning for Robotic Systems

Beale, D. Mar 2012 197 p.

Research output: ThesisDoctoral Thesis

File
Robots
Robotics
Planning
Sensors

Graphical Representation of Canonical Proof: Two Case Studies

Heijltjes, W. 2012 227 p.

Research output: ThesisDoctoral Thesis

Open Access
File

Imperative Programs as Proofs via Game Semantics

Churchill, M. 15 Feb 2012 251 p.

Research output: ThesisDoctoral Thesis

File
Linear logic
Intuitionistic logic
Game semantics
Proof system
First-order

Tactile Displays for Pedestrian Navigation

Srikulwong, M. Jun 2012 314 p.

Research output: ThesisDoctoral Thesis

File
Navigation systems
Navigation
Display devices
Human computer interaction

Testing Boundaries: A Theory of Adaption and Framing Effects in Ongoing Tasks

Harrison, T. S. May 2012 227 p.

Research output: ThesisDoctoral Thesis

File