Research Output 1970 2018

Filter
Conference contribution
2018

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

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

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

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

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

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

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

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

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

Orthogonal tropical linear prevarieties

Vorobjov, N. & Grigoriev, D., 2018, The 20th International Workshop on Computer Algebra in Scientific Computing. Springer, p. 187-196 10 p. (Lecture Notes in Computer Science; vol. 11077).

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

Proof nets for bi-intuitionistic linear logic

Bellin, G. & Heijltjes, W., 1 Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018: Leibnitz International proceedings in Informatics. Kirchner, H. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 108. 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

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
News
Rating
Credibility
Social media
Augmentation
1 Citations

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

Mulligan, C. B., Davenport, J. H. & England, M., 2018, Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Davenport, J., Kauers, M., Labahn, G. & Urban, J. (eds.). Cham, Switzerland: Springer, Cham, p. 369-378 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10931 ).

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

Open Access
File
Quantifier Elimination
Mathematica
Economics
Social sciences
Mathematical Software

The Role of Benchmarking in Symbolic Computation: (Position Paper)

Davenport, J., 2018, Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018. IEEE

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

Open Access
File

Unsupervised Attention-guided Image-to-Image Translation

Alami Mejjati, Y., Richardt, C., Tompkin, J., Cosker, D. & Kim, K. I., 5 Sep 2018, (Accepted/In press) Advances in Neural Information Processing Systems 31 (NIPS), 2018. 22 p.

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

Open Access
2017
6 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

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

Frustration
Human computer interaction
Video Games
Game
Gaming
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

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
Virtual reality
Headphones
Photography
Display devices
Experiments

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. (Reports of the European Society for Socially Embedded Technologies; vol. 1, no. 4).

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

Open Access
File
Digital storage
Human computer interaction

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

Open Access
File

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

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

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

communication
communication technology
mediation
new technology
artifact

Designing Commenting Mechanisms for Dynamic Media: Synchronous Overlay and Adjacent Scrollable

Yu, B. & Watts, L., Jun 2017, DIS '17 Companion Proceedings of the 2017 ACM Conference Companion Publication on Designing Interactive Systems . New York, U. S. A.: Association for Computing Machinery, p. 18-22 5 p.

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

Open Access
File
interaction
political speech
video clip

Efficient program analyses using deductive and semantic methodologies

Selvaraj, G., Weber, G. & Lutteroth, C., 14 Nov 2017, Proceedings - 13th IEEE International Conference on eScience, eScience 2017. IEEE, p. 440-441 2 p. 8109166

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

Semantics
semantics
methodology
Research
Ontology

Enjoyment, Immersion, and Attentional Focus in a Virtual Reality Exergame with Differing Visual Environments

Abernathy, M., Shaw, L. A., Lutteroth, C., Buckley, J., Corballis, P. M. & Wünsche, B. C., 2017, Proceedings of the International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments (ICAT/EGVE). Eurographics Digital Library, 8 p.

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

Virtual reality

Evaluating sensory feedback for immersion in exergames

Shaw, L. A., Wuensche, B. C., Lutteroth, C., Buckley, J. & Corballis, P., 30 Jan 2017, Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2017. Association for Computing Machinery, Vol. Part F126226. a11

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

Sensory feedback
Feedback
Acoustic waves
Display devices
1 Citations

GlGetFeedback - Towards automatic feedback and assessment for OpenGL 3D modelling assignments

Hodgkinson, B., Lutteroth, C. & Wunsche, B., 3 Jan 2017, Proceedings of the 2016 International Conference on Image and Vision Computing New Zealand, IVCNZ 2016. IEEE, 7804418

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

Feedback
Computer graphics
Computer programming
Computer science
Pipelines

Identifying affordances for modelling second-order emergent phenomena with the WIT framework

Noriega, P., Sabater-Mir, J., Verhagen, H., Padget, J. & D’Inverno, M., 25 Nov 2017, AAMAS 2017 Workshops Visionary Papers. Sukthankar, G. & Rodriguez, J. A. (eds.). Springer International Publishing, Vol. 10643. (Lecture Notes in Artificial Intelligence).

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

Modelling information acquisition and its impact on social structure

Fedorec, A. J. H. & Bryson, J. J., 2017, Proceedings of AISB Annual Convention 2017. Bryson, J., De Vos, M. & Padget, J. (eds.). The Society for the Study of Artificial Intelligence and the Simulation of Behaviour (AISB), p. 306-311 6 p.

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

Animals
Finite automata
Agglomeration
Costs

On the Length of Medial-Switch-Mix Derivations

Bruscoli, P. & Strassburger, L., Jun 2017, Logic, Language and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18–21, 2017: Proceedings. Kennedy, J. & de Queiroz, R. J. G. B. (eds.). Berlin, Germany: Springer Verlag, p. 68-79 (Lecture Notes in Computer Science; vol. 10388).

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

Open Access
File
Inference Rules
Proof System
Switch
Switches
Associativity

Predictor Combination at Test Time

Kim, K. I., Tompkin, J. & Richardt, C., 22 Oct 2017, Proceedings of the International Conference on Computer Vision (ICCV), 2017. IEEE, p. 3553-3561 9 p.

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

Learning algorithms
3 Citations

Real-Time online action detection forests using spatio-Temporal contexts

Baek, S., Kim, K. I. & Kim, T. K., 11 May 2017, Proceedings - 2017 IEEE Winter Conference on Applications of Computer Vision (WACV), 2017. IEEE, p. 158-167 10 p. 7926608

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

Classifiers
Statistics
Neural networks
Testing
Processing

SceneCtrl: Mixed Reality Enhancement via Efficient Scene Editing

Yue, Y-T., Yang, Y., Ren, G. & Wang, W., 2017, (Accepted/In press) ACM Symposium on User Interface Software and Technology (UIST). Association for Computing Machinery

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

Open Access
File

Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics

Gowers, W. J. & Laird, J., 31 May 2017, Proceedings of 7th Conference on Algebra and Coalgebra in Computer Science. Bonchi, F. & König, B. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (LIPIcs).

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

File
Game Semantics
Coalgebra
Game
Functor
Transformer

The potential and challenges of CAD with equational constraints for SC-square

Davenport, J. H. & England, M., 2017, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings. Germany: Springer Verlag, p. 280-285 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10693 ).

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

Modulo
Decomposition
Decompose
Quantifier Elimination
Polynomial Systems

Therapy and Assessment in Embodied Virtual Reality: Accessible realism for exercising cognitive functions

Lyons, Z. & Watts, L., 28 Sep 2017, (Unpublished) The Brain Injury Rehabilitation Trust Conference, 2017.

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

Tour de Tune -- Auditory-game-motor synchronisation in Exergames

Finlayson, J., Peterson, J., Free, J., Lo, M., Shaw, L. A., Lutteroth, C. & Wünsche, B. C., 2017, Proceedings of the International Conference on Artificial Reality and Telexistence, Eurographics Symposium on Virtual Environments (ICAT/EGVE). Eurographics Digital Library, 9 p.

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

Synchronization
Computer games