Research Output 1970 2018

2018

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
Theorem
Proof theory
Propositional logic

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

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

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

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

Model
Protein kinase
Biological networks
Symbolic computation
Numerics

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

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

modeling

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

social system
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

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

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

Innovation
Finance
Feedback
Planning

An Investigation into the Effects of Using Dynamic Representation to Reflect Users’ Emotional States During Physical Activity

Dent, H. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 133 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

Human computer interaction
Display devices

An Investigation of Design Parameters for Constructive Online Discussion Environment

Yu, B. 8 Aug 2017 Proceedings of 15th European Conference on Computer-Supported Cooperative Work - Doctoral Colloquium. European Society for Socially Embedded Technologies (EUSSET), 4 p.

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

Digital storage
Human computer interaction

A Non-classical Logical Approach to Social Software

Baskent, C. 2 Mar 2017 Rohit Parikh on Logic, Language and Society. Cham: Springer, Vol. 11, p. 91-109 (Outstanding Contributions to Logic; vol. 11)

Research output: Chapter in Book/Report/Conference proceedingChapter

Software
Research program
Computer science
Social knowledge

A Serious Game for Teaching First Order Logic to Secondary School Students

Hooper, A. May 2017 Bath, U. K.: Department of Computer Science, University of Bath. 97 p. (Department of Computer Science Technical Report Series)

Research output: Book/ReportOther report

playing
student
logic
measurement method
earning a doctorate
Amputation
Reproducibility of Results
Lower Extremity

A study of normalisation through subatomic logic

Aler Tubella, A. 2017 137 p.

Research output: ThesisDoctoral Thesis

Cut-elimination
Logic
Decompose
Normalization
Substructural logics

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 Design Structure Matrices: A Comparison of Two Formula Student Projects

Gopsill, J., Hicks, B., Snider, C., Joel-Edgar, S. & Emanuel, L. 25 Aug 2017 10 p.

Research output: Contribution to conferencePaper

Project management
Byproducts
Students
Engineers

Automatic Generation of User Interface Layouts for Alternative Screen Orientations

Zeidler, C., Weber, G., Stuerzlinger, W. & Lutteroth, C. Sep 2017 Human-Computer Interaction - Interact 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25 - 29, 2017, Proceedings, Part 1. Bernhaupt, R., Dalvi, G., Joshi, A., Bakrishnan, D. K., O'Neill, J. & Winckler, M. (eds.). Springer, Vol. 10513, p. 13-35 23 p.

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

User interfaces

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

Balancing Different Fitness Levels in Competitive Exergames based on Heart Rate and Performance

Tece Bayrak, A., AhMu, D., Hohepa, J., Kumar, R., Shaw, L. A., Lutteroth, C. & Wünsche, B. C. Nov 2017 Proceedings of the 29th Australian Conference on Human-Computer Interaction (OzCHI). Association for Computing Machinery, 1 p.

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

heart rate
fitness

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

Category Theoretic Semantics for Logic Programming: Laxness and Saturation

Power, A. 2017

Research output: Contribution to conferencePaper

Logic programming

Collective Capability in Multi Agency Services

Johnson, P., Daniels, H. & Williams, G. R. 5 Aug 2017 6 p.

Research output: Contribution to conferencePaper

service
learning
concept
federation
activity

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
Virtual reality
Surgery
Computer hardware
Education
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

Criteria Sliders: Learning Continuous Database Criteria via Interactive Ranking

Tompkin, J., Kim, K. I., Pfister, H. & Theobalt, C. 2017 Proc. British Machine Vision Conference, 2017.

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

Unsupervised learning
Metadata
Labels
Geometry
Experiments
Cognition
Automatic Data Processing
Equipment and Supplies
Brain

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

Demanding by design: supporting effortful communication practices in close personal relationships

Kelly, R., Gooch, D., Patil, B. & Watts, L. 25 Feb 2017 CSCW 2017 - Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing. Association for Computing Machinery, p. 70-83 14 p.

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

investment
communication technology
mediation
artifact
recipient

Demanding by Design: Supporting Effortful Communication Practices in Close Personal Relationships

Kelly, R., Gooch, D., Patil, B. & Watts, L. Mar 2017

Research output: Contribution to conferencePaper

investment
communication technology
mediation
artifact
recipient

Dense motion estimation for smoke

Chen, D., Li, W. & Hall, P. 2017 Computer Vision -ACCV 2016 - 13th Asian Conference on Computer Vision, Revised Selected Papers. Nishino, K., Lai, S-H., Lepetit, V. & Sato, Y. (eds.). Springer Nature, p. 225-239 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10114 )

Research output: Chapter in Book/Report/Conference proceedingChapter

Motion estimation
Smoke
Computer vision
Neural networks