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

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

Modal Logic
State Space
Robot
Robots
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
Theorem
First-order Logic
Proof Theory
Propositional Logic

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

Power, A. & Garner, R. 1 Jan 2018 (Accepted/In press) 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

Augmented Skeleton Space Transfer for Depth-based Hand Pose Estimation

Baek, S., Kim, K. I. & Kim, T. K. 19 Feb 2018 (Accepted/In press) 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 (Accepted/In press) 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
human being
Paradox
Game Theory
Referential

Building Abstractable Story Components with Institutions and Tropes

Thompson, M. 30 May 2018 297 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Facades
Intelligent agents
Computer programming languages
Managers

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

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

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. 24 May 2018 (Accepted/In press) In : ACM Transactions on Graphics. 37, 4, 14 p., 163

Research output: Contribution to journalArticle

Open Access
File
Animation
Neural networks
Experiments

Deontic Sensors

Padget, J., De Vos, M. & Page, C. 13 Jul 2018 International Joint Conference on Artificial Intelligence 2018: IJCAI-18. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 475-481 7 p.

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

Open Access
Multi agent systems
Sensors

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 (Accepted/In press)

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

Open Access
File
Animation
Labels
Data storage equipment
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

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
Data visualization
Virtual reality
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
Compliance

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

Norm
Social Norms
Narrative
Arc of a curve
Modeling

Higher dimensional categories: recursion on extensivity

Power, A., Cottrell, T. & Fujii, S. 2018 (Accepted/In press)

Research output: Contribution to conferencePaper

Recursion
High-dimensional
Semantics
Computer programming
n-dimensional

High-order Tensor Regularization with Application to Attribute Ranking

Kim, K. I., Park, J. & Tompkin, J. 19 Feb 2018 (Accepted/In press) Proc. CVPR.

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

Tensors
Geometry
Derivatives

Improving Shape Deformation in Unsupervised Image-to-Image Translation

Gokaslan, A., Ramanujan, V., Ritchie, D., Kim, K. I. & Tompkin, J. 3 Jul 2018 (Accepted/In press) Proc. of European Conference on Computer Vision (ECCV).

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

Integrating visual and tactile robotic perception

Corradi, T. 2018 123 p.

Research output: ThesisDoctoral Thesis

Open Access
File
Robotics
Sensors
Object recognition
Fusion reactions
Robots

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. 21 Apr 2018 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems. New York, U. S. A.: 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
Deep 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

programming
programming language
language

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

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

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

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

MegaParallax: 360° Panoramas with Motion Parallax

Bertel, T. & Richardt, C. 12 Aug 2018

Research output: Contribution to conferencePoster

Open Access
File
Binoculars
Photography
Geometry

Methodologies of Symbolic Computation

Davenport, J. Sep 2018 AISC 2018: Proceedings. Fleuriot, J. (ed.). Cham: Springer, Cham

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

Algebra
Computational complexity

Multi-Task Deep Networks for Depth-Based 6D Object Pose and Joint Registration in Crowd Scenarios

Sock, J., Kim, K. I., Sahin, C. & Kim, T. K. 2 Jul 2018 (Accepted/In press) Proc. of British Machine Vision Conference (BMVC).

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

Multi-task Learning by Maximizing Statistical Dependence

Alami Mejjati, Y., Cosker, D. & Kim, K. I. 19 Feb 2018 (Accepted/In press) Proceedings of CVPR.

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

Random variables
Deep neural networks

Orthogonal tropical linear prevarieties

Vorobjov, N. & Grigoriev, D. 5 Jun 2018 (Accepted/In press) The 20th International Workshop on Computer Algebra in Scientific Computing. Springer, 10 p. (Lecture Notes in Computer Science)

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

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
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
Open Access
File
Computer graphics
Computer programming
Computer systems
Ray tracing
Image processing

Proof nets for bi-intuitionistic linear logic

Bellin, G. & Heijltjes, W. 1 Jul 2018 3rd International Conference on Formal Structures for Computation and Deduction: Leibnitz International proceedings in Informatics. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-17 17 p. 10

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

Open Access
File
Proof Nets
Linear Logic
Intuitionistic Logic
Correctness
Tensor

Ranking CGANs: Subjective Control over Semantic Image Attributes

Saquil, Y., Kim, K. I. & Hall, P. 2 Jul 2018 (Accepted/In press) Proc. of British Machine Vision Conference (BMVC).

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

Open Access
File
Virtual reality
Display devices
Animation
Naval architecture

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

Social Role Evolution of an Ideological Online Community

Davidson, B., Joinson, A., Jones, S. & Hinds, J. 10 Jul 2018

Research output: Contribution to conferencePoster

Open Access
File
Learning systems
Managers
Health