Projects 2005 2022

Filter
Finished
Finished

IAA - LettUs Grow IMI collaboration

Simsek, O. & Ehrhardt, B.

1/04/1930/04/19

Project: Research council

Binders and algebra: a bicategorical relationship

Power, A.

28/01/183/02/18

Project: UK charity

3D scan: To build a 3D bodyscanner

Young, M. & Yang, Y.

1/10/1730/09/18

Project: Other

Collaboration with Ekaterina Comendantskaya

Power, A.

1/08/1731/07/18

Project: UK charity

DOVE - Deformable Objects for Virtual Environments

Cosker, D.

1/06/1730/11/18

Project: Central government, health and local authorities

Transparency in AI through 'muttering' robots

Wortham, R. & Rogers, V.

1/12/161/12/17

Project: Research-related fundingResearch

Higher Category Theoretic Structure of Programming Semantics

Power, A.

11/11/1611/11/18

Project: Research council

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 funding

outreach
researchers
history
methodology
algebra

HARPC: HMC for Augmented Reality Performance Capture

Cosker, D.

6/06/1631/01/19

Project: Central government, health and local authorities

social cohesion
solidarity
funeral
artist
museum

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

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

IAA - Multi-Agency Service Delivery Tool

Johnson, P.

1/07/1430/09/15

Project: Research council

IAA Metamodels for Agent-Based Business Processes

Padget, J.

1/07/1431/12/14

Project: Research council

Equipment for Centre for Digital Entertainment

Willis, P.

1/07/1431/05/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

Secondment - Counter Terrorism, Cyberinfluence, Information Management and Innovations

Johnson, P.

1/04/1431/03/19

Project: Central government, health and local authorities

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

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