Research Output 1970 2018

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

A modal logic analysis of a line-following robot

Battle, S. & Thompson, M. 2018 Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Cham, Switzerland: Springer, p. 42-55 14 p. (Communications in Computer and Information Science; vol. 732)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Robot
Robots
Modal logic
State space
Kripke models

A Natural Proof System for Herbrand's Theorem

Ralph, B. 2018 Symposium on Logical Foundations in Computer Science 2018. Artemov, S. & Nerode, A. (eds.). Springer, p. 289-308 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Proof system
First-order logic
Proof theory
Propositional logic
Theorem

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

Augmented Skeleton Space Transfer for Depth-based Hand Pose Estimation

Baek, S., Kim, K. I. & Kim, T. K. 19 Feb 2018 Proc. CVPR.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Discriminators
Byproducts
Data acquisition
Cameras
Availability

Automatic Model Selection in Subspace Clustering via Triplet Relationships

Yang, J., Liang, J., Wang, K., Yang, Y. & Cheng, M-M. 2018 8 p.

Research output: Contribution to conferencePaper

Data structures
Fusion reactions
Experiments

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

Communication

Wortham, R. H. & Bryson, J. J. 26 Apr 2018 Living Machines: A handbook of research in biomimetics and biohybrid systems. Prescott, T. J., Lepora, N. & Verschure, P. F. M. J. (eds.). Oxford, U. K.: Oxford University Press

Research output: Chapter in Book/Report/Conference proceedingChapter

Communication
Robots
Biomimetics
Animals
Robotics

Deontic Sensors

Padget, J., De Vos, M. & Page, C. 16 Apr 2018 International Joint Conference on Artificial Intelligence 2018. Lang, J. (ed.). 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Multi-agent systems
Sensor
Deontic
Route
Certification

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

DiverseNet: When One Right Answer is not Enough

Firman, M., Campbell, N., Agapito, L. & Brostow, G. J. 20 Mar 2018

Research output: Contribution to conferencePaper

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

Exploring Data in Virtual Reality: Comparisons with 2D Data Visualizations

Millais, P., Jones, S. & Kelly, R. 21 Apr 2018 CHI’18 Extended Abstracts. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Virtual reality
Data visualization
Visualization

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

Fitbit for the Mind?: An Exploratory Study of ‘Cognitive Personal Informatics’

Dudley, C. & Jones, S. 21 Apr 2018 CHI 2018 Extended Abstracts. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Brain
Brain computer interface
Electroencephalography

Foot Contact Timings and Step Length for Sprint Training

Evans, M., Colyer, S., Cosker, D. & Salo, A. 12 Mar 2018 2018 IEEE Winter Conference on Applications of Computer Vision: WACV 2018. IEEE, p. 1652-1660 9 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Biomechanics
Takeoff
Landing
Computer vision
Gold

Governing narrative events with tropes as institutional norms

Thompson, M., Padget, J. & Battle, S. 2018 Artificial Life and Intelligent Agents - Second International Symposium, ALIA 2016, Revised Selected Papers. Cham, Switzerland: Springer, p. 133-137 5 p. (Communications in Computer and Information Science; vol. 732)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Social norms
Norm
Arc of a curve
Modeling

High-order Tensor Regularization with Application to Attribute Ranking

Kim, K. I., Park, J. & Tompkin, J. 19 Feb 2018 Proc. CVPR.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Higher-order tensor
Tensor
Attribute
Riemannian manifold
Euclidean space

Interactive Feedforward for Improving Performance and Maintaining Intrinsic Motivation in VR Exergaming

Barathi, S. C., Finnegan, D. J., Farrow, M., Whaley, A., Heath, P., Buckley, J., Dowrick, P. W., Wünsche, B. C., Bilzon, J. L. J., O'Neill, E. & Lutteroth, C. 2018 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. ACM and Addison-Wesley, 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

InverseFaceNet: Deep Monocular Inverse Face Rendering

Kim, H., Zollhöfer, M., Tewari, A., Thies, J., Richardt, C. & Theobalt, C. 4 Apr 2018 Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE

Research output: Chapter in Book/Report/Conference proceedingChapter

Lighting
Neural networks

Language Choice in Introductory Programming Courses at Australasian and UK Universities

Simon, Mason, R., Crick, T., Davenport, J. & Murphy, E. 24 Feb 2018

Research output: Contribution to conferencePaper

Computer programming languages
Computer programming

Learning system in real-time machine vision

Li, W., Lv, Z., Cosker, D. & Yang, Y. 2 May 2018 In : Neurocomputing. 288, p. 1-2 2 p.

Research output: Contribution to journalEditorial

LIME: Live Intrinsic Material Estimation

Meka, A., Maximov, M., Zollhöfer, M., Seidel, H-P., Richardt, C. & Theobalt, C. 4 Apr 2018 Proceedings of the Conference on Computer Vision and Pattern Recognition (CVPR). IEEE

Research output: Chapter in Book/Report/Conference proceedingChapter

Cloning
Surface properties
Mirrors
Image processing
Lighting

Multi-task Learning by Maximizing Statistical Dependence

Alami Mejjati, Y., Cosker, D. & Kim, K. I. 19 Feb 2018 Proceedings of CVPR.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Random variables
Neural networks

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

Structured Uncertainty Prediction Networks

Dorta Perez, G., Vicente, S., Agapito, L., Campbell, N. & Simpson, I. 20 Mar 2018 8 p.

Research output: Contribution to conferencePaper

Covariance matrix
Image denoising
Sampling

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

Supporting Credibility Assessment of News in Social Media using Star Ratings and Alternate Sources

Kenning, M., Kelly, R. & Jones, S. 21 Apr 2018 CHI’18 Extended Abstracts. Association for Computing Machinery

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Stars
Experiments

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

Tutorial on Cutting-Edge VR/AR Display Technologies: (Gaze-, Accommodation-, Motion-aware and HDR-enabled)

Koulieris, G. A., Akşit, K., Richardt, C., Mantiuk, R. & Mania, K. 18 Mar 2018

Research output: Contribution to conferenceOther

Display devices
Industrial research

Understanding Image Impressiveness Inspired by Instantaneous Human Perceptual Cues

Yang, J., Sun, Y., Liang, J., Yang, Y. & Cheng, M-M. 2018 8 p.

Research output: Contribution to conferencePaper

Image understanding
Recommender systems
Information retrieval
Image quality
Explosions
Visualization
Knowledge management

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 case study on the parametric occurrence of multiple steady states

Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A. 23 Jul 2017 ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312. Association for Computing Machinery, p. 45-52 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Protein kinase
Biological networks
Symbolic computation
Numerics
Positivity

A Generalised Successive Resultants Algorithm

Davenport, J. H., Petit, C. & Pring, B. 9 Mar 2017 Arithmetic of Finite Fields - 6th International Workshop, WAIFI 2016, Revised Selected Papers. Springer Verlag, Vol. 10064 LNCS, p. 105-124 20 p. (Lectures Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10064 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Polynomials

Agent-Based Modelling

Gallagher, E. & Bryson, J. J. 7 Nov 2017 Encyclopedia of Animal Cognition and Behavior. Springer

Research output: Chapter in Book/Report/Conference proceedingChapter

A LEGO Study: Influence of Spatial and Social Cues on Perspective Taking

Esenkaya, T., Jicol, C., Brown, D., O'Neill, E., Proulx, M. & de Sousa, A. A. 2017

Research output: Contribution to conferencePoster

Cues
Personality
Pervasive Child Development Disorders
Autistic Disorder
Spatial Navigation

A little bit of frustration can go a long way

Boulton, A., Hourizi, R., Jefferies, D. & Guy, A. 2017 Advances in Computer Games - 15th International Conferences, ACG 2017, Revised Selected Papers. Springer Verlag, p. 188-200 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10664 )

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Human computer interaction
1 Citations

A Manifesto for Conscientious Design of Hybrid Online Social Systems

Noriega, P., Verhagen, H., D’Inverno, M. & Padget, J. 31 Aug 2017 Coordination, Organizations, Institutions, and Norms in Agent Systems XII. Cranefield, S., Mahmoud, S., Padget, J. & Rocha, A. P. (eds.). Springer International Publishing, (Lecture Notes in Artificial Intelligence; vol. 10315)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

An Approach to Reducing Distance Compression in Audiovisual Virtual Environments

Finnegan, D., O'Neill, E. & Proulx, M. 19 Mar 2017 2017 IEEE 3rd VR Workshop on Sonic Interactions for Virtual Environments (SIVE) . IEEE, 7901607

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Distance Perception
Photography

An Exploration with Technology Acceptance Modelling intohow PSD2 Could Improve User Interactions in Personal Finance

Barber, E. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 129 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

Open Access
File
Innovation
Finance
Feedback
Planning