Projects 2005 2022

Filter
Finished

Binders and algebra: a bicategorical relationship

Power, A.

28/01/183/02/18

Project: UK charity

Collaboration with Ekaterina Comendantskaya

Power, A.

1/08/1731/07/18

Project: UK charity

Bath University Researcher Human Library

Scheller, M., Finnegan, D. & Esenkaya, T.

8/07/178/07/17

Project: OtherPublic Engagement

Transparency in AI through 'muttering' robots

Wortham, R. & Rogers, V.

1/12/161/12/17

Project: Research-related fundingResearch

Development of Industrial Rotoscoping Tool

Campbell, N.

1/10/1631/03/17

Project: Research council

Personalized Exploration of Imagery Database

Kim, K. I.

1/09/1631/05/17

Project: Research council

Semantics

When AI Goes to War: Youth Opinion, Modern Conflict, and Autonomous Weapons

Perez Vallejos, E., Wortham, R. & Miakinkov, E.

29/07/1630/04/17

Project: Research-related fundingResearch

International Research Initiator Scheme - “Smart and comfortable”: low-carbon buildings of the future.

Natarajan, S., Padget, J., McCullen, N. & Kershaw, T.

25/07/1629/07/16

Project: Research-related fundingInternational Relations Office Funding

Accelerating International Research Collaboration Scheme - Fusion of Computer Vision and Computer Graphics

Willis, P.

1/04/1631/08/16

Project: Research-related fundingInternational Relations Office Funding

Information management
Innovation
Semantics
Social sciences
Energy utilization

International Research Initiator Scheme - Game Semantics for Logics of Formal Inconsistency

Baskent, C.

1/03/1630/09/16

Project: Research-related fundingInternational Relations Office Funding

GW4 Coding

Davenport, J., Calway, A., Burnap, P., Everson, R. & Murphy, E.

2/02/1630/06/16

Project: Research-related funding

KTP with The Imaginarium Studios Limited

Cosker, D. & Willis, P.

1/09/156/06/17

Project: Central government, health and local authorities

FAPESP Bath Scheme - New empirical approaches to understanding InfoVis

Payne, S.

1/08/151/08/17

Project: Research-related fundingInternational Relations Office Funding

Global Mobility Scheme - Complexity Theory

Davenport, J.

1/01/151/09/15

Project: Research-related fundingInternational Relations Office Funding

Social Stories and ASD

Johnson, H.

3/11/142/11/16

Project: UK charity

IAA - Commercialisation of the D3DFACS Dataset

Cosker, D.

1/11/1416/05/15

Project: Research council

Equipment for Centre for Digital Entertainment

Willis, P.

1/07/1431/05/15

Project: Research council

IAA Metamodels for Agent-Based Business Processes

Padget, J.

1/07/1431/12/14

Project: Research council

IAA - Multi-Agency Service Delivery Tool

Johnson, P.

1/07/1430/09/15

Project: Research council

GRIP - Goal Oriented Real Time Intelligent Performance Retargeting WP5 Creative Face Retargeter

Cosker, D.

1/06/1430/09/15

Project: Central government, health and local authorities

Visual Image Interpretation in Man and Machine (VIIMM)

Cosker, D.

9/04/148/10/17

Project: Research council

Computer vision
Computer graphics
Color
Weighing
Computer science

Semantic Types for Verified Program Behaviour

Laird, J.

28/02/1431/07/17

Project: Research council

Semantics
Computer programming languages
Object oriented programming
Model checking
Polymorphism

Image Understanding for Alpine Environmental Monitoring

Brown, M.

2/12/131/03/15

Project: Research council

Image understanding
Visualization
Special effects
Monitoring
Sensors

Global Mobility Scheme - Cognitive Analysis and Evaluation of Data Visualisations.

Payne, S.

1/11/131/07/14

Project: Research-related fundingInternational Relations Office Funding

ALPUIS

McCusker, G. & Ioannidis, C.

1/11/1330/04/18

Project: Research council

Industry
Computer science
Mathematical models
Economics
Security systems

CLAFIS

Johnson, P. & Hourizi, R.

1/11/1331/10/16

Project: EU Commission

Farms
Crops
Automation
Information management
Specifications
Cameras
Fountains
Industry
Rivers
Rocks

ALPUIS

Ioannidis, C. & McCusker, G.

1/10/1330/04/18

Project: Research council

Industry
Computer science
Mathematical models
Economics
Security systems

Coalgebraic Logic Programming for Type Inference

Power, A.

1/09/1331/01/17

Project: Research council

Logic programming
Computer programming languages
Functional programming
Bottles
Computer programming

Global Mobility Scheme - Artificial intelligence, intelligent systems

Bryson, J. & De Vos, M.

1/09/131/08/15

Project: Research-related fundingInternational Relations Office Funding

Communication
Intellectual property
Electronic mail
Computer aided design
Productivity

Classifying Images Regardless of Depictive Style

Hall, P.

24/06/1323/06/16

Project: Research council

Depictives
Icon
Artist
World Wide Web
Automation

IAA Feasibility Award

Natarajan, S., O'Neill, E. & Walker, I.

1/06/1331/07/15

Project: Research council

Collaborative Visit with Gregory Neven

Davenport, J.

1/06/1330/06/13

Project: UK charity

Global Mobility Scheme

Padget, J.

1/05/1331/05/13

Project: Research-related fundingInternational Relations Office Funding

Global Mobility Scheme

Willis, P.

4/04/1310/04/13

Project: Research-related fundingInternational Relations Office Funding

Wolfson Merit for Prof B Wyvill - Content Creation with Implicit Modelling

Wyvill, B. L. M.

1/02/1330/04/14

Project: Research council

The Language of Collaborative Manufacture

Johnson, P., Payne, S. & Watts, L.

1/02/1330/05/13

Project: Research council

Communication
Intellectual property
Electronic mail
Computer aided design
Productivity

Efficient and Natural Proof Systems

Guglielmi, A., Bruscoli, P. & McCusker, G.

1/02/1312/05/16

Project: Research council

Computer systems
Formal languages
Rigidity
Computer programming languages
Formal verification

Universal Algebra and Its Dual

Power, A.

1/01/1330/06/14

Project: Research council