Research Output 1970 2018

Filter
Article
2018
1 Citations

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
energy consumption
Energy utilization
Environmental technology
literacy

A Memory-Optimal Many-To-Many Semi-Stream Join

Naeem, A., Weber, G. & Lutteroth, C., 31 Aug 2018, In : Distributed and Parallel Databases. 27 p.

Research output: Contribution to journalArticle

Data storage equipment
Chemical analysis
Costs

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

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

Research output: Contribution to journalArticle

File
Monads
Correspondence
Enriched Category
Bicategory
Colimit
Open Access
Sports medicine
Patient rehabilitation
Computer vision
Kinematics
Biomechanics

A Smart Email Client Prototype for Effective Reuse of Past Replies

Naeem, M. A., Linggawa, I. W. S., Mughal, A. A., Lutteroth, C. & Weber, G., 31 Oct 2018, (Accepted/In press) In : IEEE Access.

Research output: Contribution to journalArticle

Open Access

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
human being
Paradox
Game Theory
Referential

Color Orchestra: Ordering Color Palettes for Interpolation and Prediction

Phan, H., Fu, H. & Chan, A., 1 Jun 2018, In : IEEE Transactions on Visualization and Computer Graphics. 24, 6, p. 1942-1955 14 p.

Research output: Contribution to journalArticle

Interpolation
Color
Painting
Sorting
Internet
1 Citations

Dealing with Information Overload in Multifaceted Personal Informatics Systems

Jones, S. & Kelly, R., 2018, In : Human-Computer Interaction. 33, 1, p. 1-48 48 p.

Research output: Contribution to journalArticle

Open Access
File
Informatics
Proxy
Information Systems

Deep Video Portraits

Kim, H., Garrido, P., Tewari, A., Xu, W., Thies, J., Nießner, M., Perez, P., Richardt, C., Zollhöfer, M. & Theobalt, C., 1 Aug 2018, In : ACM Transactions on Graphics. 37, 4, 14 p., 163.

Research output: Contribution to journalArticle

Open Access
File
Animation
Neural networks
Experiments

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

Dirichlet Process Gaussian-mixture model: An application to localizing coalescing binary neutron stars with gravitational-wave observations

Pozzo, W. D., Berry, C. P. L., Ghosh, A., Haines, T. S. F. & Vecchio, A., 1 Sep 2018, In : Monthly Notices of the Royal Astronomical Society. 479, 1, p. 601-614 15 p.

Research output: Contribution to journalArticle

Open Access
File
binary stars
gravitational waves
coalescing
neutron stars
LIGO (observatory)

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

Open Access
File
Animation
Labels
Data storage equipment

Ellipsoid Packing Structures on Freeform Surfaces

Xu, Q., Deng, B. & Yang, Y., 29 Aug 2018, (Accepted/In press) In : Computer Graphics Forum. 37, 7

Research output: Contribution to journalArticle

Open Access
Project management
Health
Monitoring
Engineering project
Health management

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

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
Compliance

Instinct: A Biologically Inspired Reactive Planner for Intelligent Embedded Systems

Wortham, R. H., Gaudl, S. E. & Bryson, J. J., 6 Oct 2018, (Accepted/In press) In : Cognitive Systems Research. 8 p.

Research output: Contribution to journalArticle

Instinct
Robotics
Embedded systems
Language
Costs and Cost Analysis

Learn to Model Blurry Motion via Directional Similarity and Filtering

Li, W., Chen, D., Zhihan, L., Yan, Y. & Cosker, D., 1 Mar 2018, In : Pattern Recognition. 75, p. 327-338

Research output: Contribution to journalArticle

Open Access
File

Logic programming: laxness and saturation

Komendantskaya, E. & Power, A., 19 Jul 2018, In : Journal of Logical and Algebraic Methods in Programming. 101, p. 1-21

Research output: Contribution to journalArticle

File
Logic programming
Logic Programming
Saturation
Semantics
Coalgebra

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

Patiency Is Not a Virtue: The Design of Intelligent Systems and Systems of Ethics

Bryson, J. J., 1 Mar 2018, In : Ethics and Information Technology. 20, 1, p. 15-26

Research output: Contribution to journalArticle

Open Access
Electric grounding
artificial intelligence
Intelligent systems
moral philosophy
Robots
3 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

Scale-aware Black-and-White Abstraction of 3D Shapes

Lin, Y-E., Yang, Y. & Chu, H-K., Aug 2018, In : ACM Transactions on Graphics. 37, 4, 11 p.

Research output: Contribution to journalArticle

Open Access
File

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
Cut-elimination
Proof System
Linear Logic
Atoms

Symbolic computation in software science

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

Research output: Contribution to journalArticle

Systemic approaches to incident analysis in aviation: comparison of STAMP, Agent-Based Modelling and Institutions

Mogles, N., Padget, J. & Bosse, T., 1 Oct 2018, In : Safety Science. 108, p. 59-71

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., 1 Aug 2018, In : Cognitive Systems Research. 50, p. 1-9 9 p.

Research output: Contribution to journalArticle

Biomimetics
Architectural Accessibility
Negotiating
Maintenance
Costs and Cost Analysis
Open Access
File
Semantics
Communication
Applied Psychology
Inhibition (Psychology)
Computer-mediated Communication

The questioning lens as research tool: the social shaping of network visualisation boundaries in the case of the UK junior doctors’ contract dispute

Joel-Edgar, S., Holme, I. & Aramo-Immonen, H., 21 Jun 2018, In : Information Communication and Society. p. 1-18 18 p.

Research output: Contribution to journalArticle

twitter
visualization
Lenses
Visualization
Health
1 Citations

The reliability of inverse modelling for the wide scale characterization of the thermal properties of buildings

Ramallo-González, A. P., Brown, M., Gabe-Thomas, E., Lovett, T. & Coley, D. A., 2018, In : Journal of Building Performance Simulation. 11, 1, p. 65-83 19 p.

Research output: Contribution to journalArticle

Open Access
File
Inverse Modeling
Thermal Properties
Thermodynamic properties
Smart meters
Internet of Things
1 Citations

Upper bounds on Betti numbers of tropical prevarieties

Grigoriev, D. & Vorobjov, N., 1 Apr 2018, In : Arnold Mathematical Journal. 4, 1, p. 127-136 10 p.

Research output: Contribution to journalArticle

Betti numbers
Upper bound
Minkowski Sum
Polynomial
Polytopes

Using Transition State Modeling to Predict Mutagenicity for Michael Acceptors

Allen, T. E. H., Grayson, M. N., Goodman, J. M., Gutsell, S. & Russell, P. J., 25 Jun 2018, In : Journal of Chemical Information and Modeling. 58, 6, p. 1266-1271 6 p.

Research output: Contribution to journalArticle

Open Access
Covalent bonds
activation
Assays
DNA
energy
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
Visualization
Robots
Transparency
User interfaces
3 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
Routing protocols
Wireless sensor networks
Agglomeration
Network protocols

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
university
programming language
New Zealand

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

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., 1 Nov 2017, In : Autonomous Agents and Multi-Agent Systems. 31, 6, p. 1283-1343 61 p.

Research output: Contribution to journalArticle

Open Access
File
Compliance
Concretes
Semantics
Acoustic waves
1 Citations

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
Computer-Aided Design
Computer aided design
filters
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

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

Open Access
File
Transparency
Inspection
Robots
Robotics
Intelligent agents
2 Citations
Open Access
File
Reward
Intellectual Disability
Educational technology
Learning
Autism Spectrum Disorder

Enriched and internal categories: an extensive relationship

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

Research output: Contribution to journalArticle

Open Access
Internal
Bicategory
Relationships
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
Partial Information
Fairness
Economics
Trustworthiness
Viability
1 Citations

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
9 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
File
Smart meters
literacy
Display devices
energy
Climate change