Research Output 1970 2018

Filter
Article
2018

A Computational Model for Designing Energy Behaviour Change Interventions

Mogles, N., Padget, J., Thomas, E., Walker, I. & Lee, J. 1 Mar 2018 In : User Modeling and User-Adapted Interaction. 28, 1, p. 1-34

Research output: Contribution to journalArticle

Open Access
Energy utilization
Environmental technology
Energy conservation
Education
Decision making

An enriched view on the extended finitary monad-Lawvere theory correspondence

Power, A. & Garner, R. 1 Jan 2018 In : Logical Methods in Computer Science. p. 1--23 14 p.

Research output: Contribution to journalArticle

File
Monads
Correspondence
Enriched category
Bicategory
Colimit

A Yabloesque paradox in epistemic game theory

Baskent, C. 1 Jan 2018 In : Synthese. 195, 1, p. 441–464 24 p.

Research output: Contribution to journalArticle

Open Access
File
game theory
statement
construct
human being
Paradox

Detection of dead standing Eucalyptus camaldulensis without tree delineation for managing biodiversity in native Australian forest

Miltiadou, M., Campbell, N. D. F., Gonzalez Aracil, S., Brown, T. & Grant, M. G. 1 May 2018 In : ITC Journal. 67, p. 135-147

Research output: Contribution to journalArticle

Open Access

Easy Generation of Facial Animation Using Motion Graphs

Figueiredo Serra, J., Cetinaslan, O., Ravikumar, S., Orvalho, V. & Cosker, D. 1 Feb 2018 In : Computer Graphics Forum. 37, 1, p. 9-11

Research output: Contribution to journalArticle

Animation
Labels

Every Cloud Has a Silver Lining: How to Cope When Your Research Does Not Go to Plan

Rodham, K., Gavin, J., Coulson, N. & Watts, L. 2018 In : SAGE Research Methods Cases.

Research output: Contribution to journalArticle

Pain
Wikipedia

Fine-Grained Access Control via Policy-Carrying Data

Padget, J. & Vasconcelos, W. 1 Mar 2018 In : ACM Transactions on Internet Technology. 18, 3, 31

Research output: Contribution to journalArticle

Open Access
File
Access control
Multi agent systems
Authentication
Internet

Parallax360: Stereoscopic 360° Scene Representation for Head-Motion Parallax

Luo, B., Xu, F., Richardt, C. & Yong, J-H. 17 Jan 2018 In : IEEE Transactions on Visualization and Computer Graphics. 24, 4, p. 1545-1553 9 p.

Research output: Contribution to journalArticle

Open Access
File
Virtual reality
Robotics
Cameras
Display devices
Open Access
Ethical
Theoretical biology
Moral intuitions
Descriptive
Sociality
1 Citations

Personalized Food Printing for Portrait Images

Zhao, H., Wang, J., Ren, X., Li, J., Yang, Y. & Jin, X. 1 Feb 2018 In : Computers & Graphics. 70, p. 188-197

Research output: Contribution to journalArticle

Printing
3D printers
Maltose
Face recognition
Fabrication

Subatomic Proof Systems: Splittable Systems

Aler Tubella, A. & Guglielmi, A. 1 Feb 2018 In : ACM Transactions on Computational Logic. 19, 1, 5

Research output: Contribution to journalArticle

Open Access
File
Blueprints
Atoms

Symbolic computation in software science

Davenport, J. H. & Kutsia, T. 4 Apr 2018 In : Journal of Symbolic Computation.

Research output: Contribution to journalArticle

The extended ramp model: A biomimetic model of behaviour arbitration for lightweight cognitive architectures

Gaudl, S. E. & Bryson, J. J. 16 Mar 2018 In : Cognitive Systems Research. 50, p. 1-9 9 p.

Research output: Contribution to journalArticle

Biomimetics
Architectural Accessibility
Negotiating
Costs and Cost Analysis
Behavior Control
Semantics
Communication
Applied Psychology
Inhibition (Psychology)
Computer-mediated communication

Upper bounds on Betti numbers of tropical prevarieties

Grigoriev, D. & Vorobjov, N. 3 Apr 2018 In : Arnold Mathematical Journal. 10 p.

Research output: Contribution to journalArticle

Betti numbers
Upper bound
Minkowski sum
Polynomial
Polytopes
2017

ABOD3: A Graphical Visualization and Real-Time Debugging Tool for BOD Agents

Theodorou, A. 12 Jun 2017 In : CEUR Workshop Proceedings. 1855, p. 60-61 2 p.

Research output: Contribution to journalArticle

Open Access
File
Biochemical oxygen demand
Robots
Transparency
User interfaces
Visualization
1 Citations

A Mobile Agent Routing Protocol for Data Aggregation in Wireless Sensor Networks

Pourroostaei Ardakani, S., Padget, J. & De Vos, M. Mar 2017 In : International Journal of Wireless Information Networks. 24, 1, p. 27-41

Research output: Contribution to journalArticle

Open Access
File
Mobile agents
Agglomeration
Routing protocols
Wireless sensor networks
Network architecture

An Analysis of Introductory Programming Courses at UK Universities

Murphy, E., Crick, T. & Davenport, J. H. 1 Apr 2017 In : The Art, Science, and Engineering of Programming. 1, 2, 23 p., 18

Research output: Contribution to journalArticle

Open Access
programming
computer science
survey
Great Britain
university

A survey of image synthesis and editing with generative adversarial networks

Wu, X., Xu, K. & Hall, P. 1 Dec 2017 In : Tsinghua Science and Technology. 22, 6, p. 660-674 15 p., 8195348

Research output: Contribution to journalArticle

Open Access
Discriminators
Textures

Automated multi-level governance compliance checking

King, T. C., De Vos, M., Dignum, V., Jonker, C. M., Li, T., Padget, J. & van Riemsdijk, M. B. 6 Apr 2017 In : Autonomous Agents and Multi-Agent Systems. 61 p.

Research output: Contribution to journalArticle

Open Access
File
Semantics

Automatic structural scene digitalization

Tang, R., Wang, Y., Cosker, D. & Li, W. 17 Nov 2017 In : PLoS ONE. 12, 11, 29 p., e0187513

Research output: Contribution to journalArticle

Open Access
File
Computer-Aided Design
Systems Analysis

Bayesian Helmholtz Stereopsis with Integrability Prior

Roubtsova, N. & Guillemaut, J-Y. 22 Sep 2017 In : IEEE Transactions on Pattern Analysis and Machine Intelligence.

Research output: Contribution to journalArticle

Open Access
1 Citations

Blur robust optical flow using motion channel

Li, W., Chen, Y., Lee, J., Ren, G. & Cosker, D. 12 Feb 2017 In : Neurocomputing. 220, p. 170-180

Research output: Contribution to journalArticle

Color Orchestra: Ordering Color Palettes for Interpolation and Prediction

Phan, H., Fu, H. & Chan, A. 25 Apr 2017 In : IEEE Transactions on Visualization and Computer Graphics. 14 p.

Research output: Contribution to journalArticle

Color
Interpolation
Painting
Sorting
Internet

Colour Helmholtz Stereopsis for Reconstruction of Dynamic Scenes with Arbitrary Unknown Reflectance

Roubtsova, N. & Guillemaut, J-Y. Aug 2017 In : International Journal of Computer Vision. 124, p. 18 - 48 31 p.

Research output: Contribution to journalArticle

Open Access
Light sources
Cameras
Color
Calibration
Multiplexing
Open Access
1 Citations

Contagion in cyber security attacks

Baldwin, A., Gheyas, I., Ioannidis, C., Pym, D. & Williams, J. 1 Jul 2017 In : Journal of the Operational Research Society. 68, 7, p. 780-791 12 p.

Research output: Contribution to journalArticle

Security of data
Security systems
Information systems
Managers
Servers

Dealing with Information Overload in Multifaceted Personal Informatics Systems

Jones, S. & Kelly, R. 13 Mar 2017 In : Human-Computer Interaction. 48 p.

Research output: Contribution to journalArticle

Open Access
File
Proxy
Information Systems
4 Citations

Designing and implementing transparency for real time inspection of autonomous robots

Theodorou, A., Wortham, R. H. & Bryson, J. J. 30 May 2017 In : Connection Science. 29, 3, p. 230-241 12 p.

Research output: Contribution to journalArticle

Transparency
Robotics
Inspection
Robots
Intelligent agents
Open Access
File
Pervasive Child Development Disorders
Reward
Intellectual Disability
Educational technology
Learning

Enriched and internal categories: an extensive relationship

Power, A., Cottrell, T. & Fujii, S. 2017 In : Tbilisi Mathematical Journal. 10, 3, p. 239-254 16 p.

Research output: Contribution to journalArticle

Open Access
Bicategory
Internal
Cartesian
Iterate

Expectations of Fairness and Trust Coevolve Because of Partial Information

Bryson, J. J. & Rauwolf, P. 25 Sep 2017 In : Dynamic Games and Applications. 33 p.

Research output: Contribution to journalArticle

Open Access
Fairness
Punishment
Evolutionary
Trustworthiness
Revenue

Gaze matters! The effect of gaze direction on emotional enhancement of memory for faces in patients with mesial temporal lobe epilepsy

Okruszek, Ł., Bala, A., Dziekan, M., Szantroch, M., Rysz, A., Marchel, A. & Hyniewska, S. 1 Jul 2017 In : Epilepsy and Behavior. 72, p. 35-38 4 p.

Research output: Contribution to journalArticle

Temporal Lobe Epilepsy
Anterior Temporal Lobectomy
Learning
Temporal Lobe
Cognition
3 Citations

How smart do smart meters need to be?

Mogles, N., Walker, I., Ramallo Gonzalez, A., Lee, J., Natarajan, S., Padget, J., Thomas, E., Lovett, T., Ren, G., Hyniewska, S., O'Neill, E., Hourizi, R. & Coley, D. 15 Nov 2017 In : Building and Environment. 125, p. 439-450

Research output: Contribution to journalArticle

Open Access
Smart meters
literacy
Display devices
Climate change
energy

Information extraction in emergency management missions: an adaptive multi-agent approach

Martins Calderon, A. C. & Johnson, P. 1 Jun 2017 In : International Journal of Emergency Management. 13, 3, 19 p.

Research output: Contribution to journalArticle

Open Access
File
Information Storage and Retrieval
Emergencies
Communication

Learn to Model Blurry Motion via Directional Similarity and Filtering

Li, W., Chen, D., Zhihan, L., Yan, Y. & Cosker, D. 22 Apr 2017 In : Pattern Recognition.

Research output: Contribution to journalArticle

Open Access
File

Live User-Guided Intrinsic Video for Static Scenes

Meka, A., Fox, G., Zollhöfer, M., Richardt, C. & Theobalt, C. 11 Aug 2017 In : IEEE Transactions on Visualization and Computer Graphics.

Research output: Contribution to journalArticle

Open Access
File
Decomposition
Augmented reality
Electric fuses
Geometry
Sensors

Mediator’s role in an innovation ecosystem

Aramo-Immonen, H., Leppäniemi, J., Soini, J. & Joel-Edgar, S. 14 Jul 2017 In : Journal of Business Research. 11 , 3, p. 229-242

Research output: Contribution to journalArticle

Mediator
Ecosystem
Diffusion model
Diffusion of innovation
Open Access
File
1 Citations

Not all waits are equal: An exploratory investigation of emergency care patient pathways

Swancutt, D., Joel-Edgar, S., Allen, M., Thomas, D., Brant, H., Benger, J., Byng, R. & Pinkney, J. 24 Jun 2017 In : BMC Health Services Research. 17, 1, 436

Research output: Contribution to journalArticle

Open Access
Emergency Medical Services
Patient Participation
Hospital Emergency Service
Episode of Care
Ambulatory Care

Object recognition combining vision and touch

Corradi, T., Hall, P. & Iravani, P. 18 Apr 2017 In : Robotics and Biomimetics. 4, 10 p., 2

Research output: Contribution to journalArticle

Open Access
Object recognition
Labels
Computer vision
Brain
Robotics
2 Citations

Of, For, and By the People: The Legal Lacuna of Synthetic Persons

Bryson, J. J., Diamantis, M. E. & Grant, T. D. 1 Sep 2017 In : Artificial Intelligence and Law. 25, 3, p. 273-291

Research output: Contribution to journalArticle

Open Access
artificial intelligence
Hazards
History
Economics
human being

On Fast Matrix Inversion

Tonks, Z., Davenport, J. & Sankaran, G. Dec 2017 In : Mathematics in Computer Science.

Research output: Contribution to journalArticle

On irreducible components of real exponential hypersurfaces

Vorobjov, N. & Riener, C. 10 Sep 2017 In : Arnold Mathematical Journal. 3, 3, p. 423-443 20 p.

Research output: Contribution to journalArticle

Open Access

Online Prediction via Continuous Artificial Prediction Markets

Jahedpari, F., Rahwan, T., Hashemi, S., Michalak, T. P., De Vos, M., Padget, J. & Woon, W. L. 13 Feb 2017 In : IEEE Intelligent Systems. 32 , 1, p. 61-68 7851146

Research output: Contribution to journalArticle

Open Access
File
Learning systems
History
Economics

On topological lower bounds for algebraic computation trees

Gabrielov, A. & Vorobjov, N. 1 Feb 2017 In : Foundations of Computational Mathematics. 17, 1, p. 61-72 12 p.

Research output: Contribution to journalArticle

Practical Reasoning with Norms for Autonomous Software Agents

Shams, Z., De Vos, M., Padget, J. & Vasconcelos, W. Oct 2017 In : Engineering Applications of Artificial Intelligence. 65, p. 388-399

Research output: Contribution to journalArticle

Practical reasoning
Software
Pursuit
Programming
Violations
2 Citations

Principles of robotics: regulating robots in the real world

Boden, M., Bryson, J., Caldwell, D., Dautenhahn, K., Edwards, L., Kember, S., Newman, P., Parry, V., Pegman, G., Rodden, T., Sorrell, T., Wallis, M., Whitby, B. & Winfield, A. 3 Apr 2017 In : Connection Science. 29, 2, p. 124-129 6 p.

Research output: Contribution to journalArticle

Open Access
Robotics
Robots

Realizability for Peano arithmetic with winning conditions in HON games

Blot, V. 1 Feb 2017 In : Annals of Pure and Applied Logic. 168, 2, p. 254-277 24 p.

Research output: Contribution to journalArticle

Open Access
Peano arithmetic
Realizability
Game
Quantification
Interaction