Research Output 1970 2018

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 fully abstract game semantics for countable nondeterminism

Gowers, W. J. & Laird, J. D., 1 Aug 2018, Computer Science Logic 2018, CSL 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 24

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

Open Access
Semantics

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

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

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, p. 312-326

Research output: Chapter in Book/Report/Conference proceedingChapter

Communication
Robots
Biomimetics
Animals
Robotics
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

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

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

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

Exploiting preprocessing for quantum search to break parameters for MQ cryptosystems

Pring, B., 16 Jun 2018, Arithmetic of Finite Fields - 7th International Workshop, WAIFI 2018, Revised Selected Papers.. WAIFI

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

Open Access
Quantum computers
Cryptography
Hardness
1 Citations

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

Gaze-controlled interface method and system

Weber, G. A. N., Lutteroth, C. & Penkar, A. M., 27 Aug 2018, Patent No. US9829975B2, 27 Aug 2014

Research output: Patent

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., 1 May 2018, 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., 6 Oct 2018, Proceedings of European Conference on Computer Vision (ECCV): Computer Vision - ECCV 2018. Springer Verlag, Vol. 11216. p. 662-678 17 p.

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

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

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

Machine-Assisted Proofs

Cruz-Filipe, L., Davenport, J., Helfgott, H., Maynard, J., Poonen, B. & Huu Tiep, P., 2018, International Congress of Mathematicians - ICM 2018. World Scientific

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

Open Access
File

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

Open Access

Multi-task Learning by Maximizing Statistical Dependence

Alami Mejjati, Y., Cosker, D. & Kim, K. I., 1 May 2018, Proceedings of CVPR.

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

Random variables
Deep neural networks

On Compositionality of Dinatural Transformations

McCusker, G. & Santamaria, A., 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. & Jung, A. (eds.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 119. p. 33:1-33:22 22 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 119).

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

Open Access
Compositionality
Lambda Calculus
Computer Science
Horizontal
Logic