Research Output 1970 2018

Filter
Article
2018

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

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

game theory
Paradox
Referential
Game theory
statement

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

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, 9 p.

Research output: Contribution to journalArticle

Virtual reality
Robotics
Cameras
Display devices
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
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

Robots
Biochemical oxygen demand
Transparency
User interfaces
Visualization

A Computational Model for Designing Energy Behaviour Change Interventions

Mogles, N., Padget, J., Thomas, E., Walker, I. & Lee, J. 18 Dec 2017 In : User Modeling and User-Adapted Interaction. p. 1-34

Research output: Contribution to journalArticle

Energy utilization
Environmental technology
Energy conservation
Education
Decision making
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

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

survey
programming
Great Britain
university
computer science

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

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

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

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

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

Optical flows

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
Painting
Interpolation
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

Light sources
Cameras
Color
Calibration
Multiplexing
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

Attack
Security of data
Threat
Contagion
Criticality

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

Proxy
Information Systems
2 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
Pervasive Child Development Disorders
Reward
Intellectual Disability
Intellectual disability
Learning

Easy Generation of Facial Animation Using Motion Graphs

Figueiredo Serra, J., Cetinaslan, O., Ravikumar, S., Orvalho, V. & Cosker, D. 13 Jun 2017 In : Computer Graphics Forum.

Research output: Contribution to journalArticle

Animation
Labels

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

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

Fairness
Punishment
Evolutionary
Trustworthiness
Revenue

Fine-Grained Access Control via Policy-Carrying Data

Padget, J. & Vasconcelos, W. 14 Aug 2017 In : ACM Transactions on Internet Technology.

Research output: Contribution to journalArticle

Access control
Multi agent systems
Authentication
Internet

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
Learning
Anterior Temporal Lobectomy
Temporal Lobe
Cognition
1 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

Smart meters
Display devices
energy
literacy
Climate change

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

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
Optical flows

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

Patient Participation
Hospital Emergency Service
Episode of Care
Ambulatory Care
England

Object recognition combining vision and touch

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

Research output: Contribution to journalArticle

Object recognition
Labels
Computer vision
Brain
Robotics
1 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

Hazards
History
Economics
Personhood
European Union

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

Irreducible components
Hypersurface

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

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

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

Peano arithmetic
Realizability
Game
Quantification
Interaction
1 Citations

Semantics derived automatically from language corpora contain human-like biases

Caliskan, A., Bryson, J. J. & Narayanan, A. 17 Apr 2017 In : Science. 356, 6334, p. 183-186 4 p.

Research output: Contribution to journalArticle

Learning systems
Semantics
Artificial intelligence
Association reactions
1 Citations

Skewed distributions in semi-stream joins: how much can caching help?

Naeem, M. A., Dobbie, G., Lutteroth, C. & Weber, G. Mar 2017 In : Information Systems Journal. 64, p. 63-74 12 p.

Research output: Contribution to journalArticle

Data warehouses
Sensitivity analysis
Decomposition
Surface mount technology
Algebra
Glossaries

Standardizing Ethical Design for Artificial Intelligence and Autonomous Systems

Bryson, J. J. & Winfield, A. May 2017 In : Computer. 50, 5, p. 116 - 119

Research output: Contribution to journalArticle

Artificial intelligence
Internet

Subatomic Proof Systems: Splittable Systems

Aler Tubella, A. & Guglielmi, A. 21 Nov 2017 In : ACM Transactions on Computational Logic.

Research output: Contribution to journalArticle

Blueprints
Atoms

The debate about "algorithms"

Davenport, J. H. 25 Jun 2017 In : Mathematics Today. 10 p.

Research output: Contribution to journalArticle

algorithm
inquiry
parliament
material
science

The design and manufacture of a personalized liner for lower limb amputees

Dhokia, V., Bilzon, J., Seminati, E., Canepa Talamas, D. A., Young, M. & Mitchell, W. 2017 In : Procedia CIRP. 60, p. 476-481 5 p.

Research output: Contribution to journalArticle

Prosthetics
Machining
Silicon
Artificial limbs
Cryogenics
Semantics
Communication
Inhibition (Psychology)
Computer-mediated communication
Applied Psychology

The meaning of the EPSRC principles of robotics

Bryson, J. J. 17 Apr 2017 In : Connection Science. 29, 2, p. 130-136 7 p.

Research output: Contribution to journalArticle

Robotics
Communication
Robots