Research Output 1970 2018

Filter
Conference contribution
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
2017
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 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

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

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

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

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

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

investment
communication technology
mediation
artifact
recipient

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

media
interaction
user
participant
political speech

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

Feedback
Sensory feedback
Display devices

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

Computer graphics
Feedback
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. 24 Jun 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

modeling

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

Switches

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

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
Experiments

SceneCtrl: Mixed Reality Enhancement via Efficient Scene Editing

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

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

Mixed reality
Editing
Enhancement

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

Coalgebra
Game
Functor
Game semantics
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

Decomposition
Polynomials

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

Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases

Huang, Z., England, M., Davenport, J. & Paulson, L. 26 Jan 2017 Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. Davenport, J. (ed.). IEEE, p. 45-52 7829592

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

Groebner basis
Decompose
Precondition
Decomposition algorithm
Machine learning

WireDraw: 3D wire sculpturing guided with mixed reality

Yue, Y-T., Zhang, X., Yang, Y., Ren, G., Choi, Y-K. & Wang, W. 6 May 2017 CHI '17 : CHI Conference on Human Factors in Computing Systems, Denver, CO, USA — May 06 - 11, 2017. New York: Association for Computing Machinery, p. 3693-3704

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

2016

A C++ Programming Model for Heterogeneous System Architecture

Potter, R., Bradford, R., Murray, A. & Dolinsky, U. 6 Oct 2016 High Performance Computing: ISC High Performance 2016 International Workshops, ExaComm, E-MuCoCoS, HPC-IODC, IXPUG, IWOPH, P^3MA, VHPC, WOPSSS, Frankfurt, Germany, June 19–23, 2016, Revised Selected Papers. Taufer, M., Mohr, B. & Kunkel, J. M. (eds.). Springer International Publishing, p. 433-450 17 p. (Lecture Notes in Computer Science; vol. 9945)

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

Virtual addresses
High level languages
Particle accelerators
C (programming language)
Application programming interfaces (API)

A two-phase dialogue game for skeptical preferred semantics

Shams, Z. & Oren, N. 2016 Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Proceedings. Springer Verlag, p. 570-576 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10021 )

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

Argumentation
Dung
Correctness
Labeling

Behavioural facial animation using motion graphs and mind maps

Serra, J., Orvalho, V. & Cosker, D. 10 Oct 2016 MIG '16, Proceedings of the 9th International Conference on Motion in Games. New York, U. S. A.: Association for Computing Machinery, p. 161-166 6 p. 2994270

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

Animation
Controllers
Costs

Category theoretic semantics for theorem proving in logic programming: embracing the laxness

Komendantskaya, E. & Power, J. 4 Jun 2016 Proceedings of Coalgebraic Methods in Computer Science: 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers. Hasuo, I. (ed.). Springer, p. 94-113 (Lecture Notes in Computer Science)

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

Logic programs
Coalgebra
Logic programming
Theorem proving
Propositional logic

Classical extraction in continuation models

Blot, V. 1 Jun 2016 Leibniz International Proceedings in Informatics, LIPIcs, 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52, p. 13.1-13.17 13

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

Continuation
Model
Game semantics
Unfolding
Natural number

Conflict nets: efficient locally canonical MALL proof nets

Hughes, D. & Heijltjes, W. 2 Jul 2016 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016. New York, U. S. A.: Association for Computing Machinery, p. 437-446 10 p.

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

Linear logic
Unit
Multiplicative
Proof nets
Linear time
2 Citations

Design of a virtual trainer for exergaming

Shaw, L. A., Tourrel, R., Wünsche, B. C., Lutteroth, C., Marks, S. & Buckley, J. 2016 Proceedings of the Australasian Computer Science Week Multiconference (ASCW), 2016. New York, U. S. A.: Association for Computing Machinery, 63

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

Sports

Design Space Descriptions for Logical Generation of Content

Smith, T., Padget, J. & Vidler, A. Aug 2016 STAIRS 2016 - Proceedings of the Eighth European Starting AI Researcher Symposium. Pearce, D. & Pinto, H. S. (eds.). IOS Press, Vol. 284, p. 209-214 (Frontiers in Artificial Intelligence and Applications; vol. 284)

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

Semantics
Computer games
Computer programming
Engines
1 Citations

Factors influencing consumer intention to adopt Consumer Health Informatics applications an empirical study in Malaysia

Krishnan, S. B., Dhillon, J. S. & Lutteroth, C. 2016 Proceedings of the IEEE Student Conference on Research and Development (SCOReD), 2015. IEEE, p. 653-658 6 p.

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

Malaysia
Informatics
Health
Empirical study
2 Citations

Fixed points in quantitative semantics

Laird, J. Jul 2016 LICS '16, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science . Shankar, N. (ed.). New York, U. S. A.: Association for Computing Machinery, p. 347-356

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

Fixed point
Semiring
Infinite sum
Denotational semantics
Monoidal category

Game semantics for bounded polymorphism

Laird, J. 22 Mar 2016 Foundations of Software Science and Computation Structures: Proceedings of19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2016, Eindhoven, the Netherlands, April 2-8, 2016.. Jacobs, B. & Loding, C. (eds.). The Netherlands: Springer Verlag, p. 55-70 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9634)

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

Semantics
Polymorphism
Computer programming languages
1 Citations

Hybrid realizability for intuitionistic and classical choice

Blot, V. 5 Jul 2016 LICS '16, Proceedings of the 31st Annual ACM-IEEE Symposium on Logic in Computer Science. New York, U. S. A.: IEEE, p. 575-584 10 p.

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

Axiom of choice
Realizability
Classical logic
Recursion
Countable

Impact of Mood Changes on Application Selection

Visuri, A., Sarsenbayeva, Z., Goncalves, J., Karapanos, E. & Jones, S. 12 Sep 2016 New Frontiers of Quantified Self 2 Workshop @ UbiComp '16. Association for Computing Machinery

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

Smartphones
Mobile devices
Association reactions

Implementation of normative practical reasoning with durative actions

Shams, Z., Vos, M. D., Padget, J. & Vasconcelos, W. 13 Jul 2016 Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN), 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 2015, COIN@IJCAI, Buenos Aires, Argentina, July 2015, Revised Selected Papers. Dignum, V., Noriega, P., Sensoy, M. & Simao Sichman, J. (eds.). Springer International Publishing, p. 335-353 19 p. (Lecture Notes in Computer Science; vol. 9628)

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

Practical reasoning

Improving and Optimising Visualisations of full-waveform LiDAR data

Miltiadou, M., Brown, M., Cosker, D., Campbell, N. & Grant, M. 2016 EG UK Computer Graphics & Visual Computing (2016).

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

visualization

Improving style similarity metrics of 3D shapes

Dev, K., Kim, K. I., Villar, N. & Lau, M. 2016 Proc. Graphics Interface . 8 p.

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

Innovative Pedagogical Practices in the Craft of Computing

Davenport, J. H., Hayes, A., Hourizi, R. & Crick, T. Nov 2016 Proceedings of the 2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE). IEEE, p. 115-119

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

journeyman
apprentice
model
apprenticeship
tutor

Instinct: a biologically inspired reactive planner for embedded environments

Wortham, R. H., Gaudl, S. & Bryson, J. J. 14 Jun 2016 Proceedings of the International Conference on Automated Planning and Scheduling (ICAPS): PlanRob Workshop 2016. 7 p.

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

Transparency
Robots
Costs
4 Citations

Monitoring dementia with automatic eye movements analysis

Zhang, Y., Wilcockson, T., Kim, K. I., Crawford, T., Gellersen, H. & Sawyer, P. 2016 Proc. KES International Conference on Intelligent Decision Technologies . p. 299-309 11 p.

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

Eye Movements
Dementia

Reading Between The Dots: Combining 3d Markers And Facs Classification For High-Quality Blendshape Facial Animation

Ravikumar, S., Davidson, C., Kit, D., Campbell, N. D. F., Benedetti, L. & Coskerk, D. 31 May 2016 GI '16 Proceedings of the 42nd Graphics Interface Conference . Moffatt, K. & Popa, T. (eds.). Ontario, Canada: Canadian Human-Computer Communications Society, p. 143-151

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

Reviewing the evidence: in pursuit of a framework for Parkinson Disease rehabilitation with games

Tece Bayrak, A., Wünsche, B. C. & Lutteroth, C. 2016 Proceedings of the the 5th International Conference on Global Telehealth, 2016. IOS Press

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

Reviewing
1 Citations

Revising institutions governed by institutions for compliant regulations

King, T. C., Li, T., De Vos, M., Jonker, C. M., Padget, J. & van Riemsdijk, M. B. 13 Jul 2016 Coordination, Organizations, Institutions, and Normes in Agent Systems XI: COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers. Dignum, V., Noriega, P., Sensoy, M. & Simao Sichman, J. (eds.). Springer International Publishing, p. 191-208 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9628)

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

Multi agent systems
Innovation
4 Citations

SC2: Satisfiability Checking meets Symbolic Computation (Project Paper)

Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. & Sturm, T. 12 Jul 2016 Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Kohlhase, M., Johansson, M., Miller, B., de Moura, L. & Tompa, F. (eds.). Springer International Publishing, p. 28-43 (Lecture Notes in Artificial Intelligence; no. 9791)

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

Interaction
Decision procedures
1 Citations

Semi-supervised learning based on joint diffusion of graph functions and Laplacians

Kim, K. I. Oct 2016 Computer Vision - ECCV 2016: 14th European Conference, Amsterdam, The Netherlands, October 11-14, 2016, Proceedings, Part V . Liebe, B., Matas, J., Sebe, M. & Welling, M. (eds.). Switzerland: Springer Verlag, p. 713-729 17 p. (Lecture Notes in Computer Science; vol. 9909)

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

Semi-supervised learning
Graph in graph theory

Sensemaking Challenges in Personal Informatics and Self-Monitoring Systems

Jones, S. & Kelly, R. 7 May 2016 WISH 2016 Workshop on Interactive Systems in Healthcare. ACM SIGCHI Conference on Human Factors in Computing Systems (CHI 2016): Association for Computing Machinery

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

Health
Monitoring
Data privacy