Research Output

Filter
Chapter
2020

Assessing decision-making in elite academy footballers using real-world video clips

Farahani, J., Soltani, P. & Rezlescu, C., 2020, Progress in Brain Research. Elsevier, Vol. 253. p. 59-70 12 p. (Progress in Brain Research).

Research output: Chapter in Book/Report/Conference proceedingChapter

Assessing decision making using 2D animations in elite academy footballers

Farahani, J., Soltani, P., Rezlescu, C. & Walsh, V., 2020, Progress in Brain Research. Parkin, B. L. (ed.). 2020 ed. Elsevier, p. 71-85 15 p. (Progress in Brain Research; vol. 253).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Downloads (Pure)

Capture, Reconstruction, and Representation of the Visual Real World for Virtual Reality

Richardt, C., Tompkin, J. & Wetzstein, G., 3 Mar 2020, Real VR – Immersive Digital Reality: How to Import the Real World into Head-Mounted Immersive Displays. Magnor, M. & Sorkine-Horning, A. (eds.). Springer International Publishing, p. 3-32 (Lecture Notes in Computer Science; vol. 11900).

Research output: Chapter in Book/Report/Conference proceedingChapter

Evolutionary Psychology and Artificial Intelligence: The Impact of Artificial Intelligence on Human Behaviour

Wilson, H., Rauwolf, P. & Bryson, J. J., Aug 2020, The SAGE Handbook of Evolutionary Psychology. Shackelford, T. (ed.). Sage Publications, Vol. 3. 27 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

File
69 Downloads (Pure)

Expertise differences in a 2D animation simulation decision-making task: The influence of presentation speed on performance

Farahani, J., Soltani, P. & Roberts, R. E., 2020, Progress in Brain Research. Elsevier, Vol. 253. p. 87-100 14 p. (Progress in Brain Research).

Research output: Chapter in Book/Report/Conference proceedingChapter

Image-Based Scene Representations for Head-Motion Parallax in 360° Panoramas

Bertel, T., Xu, F. & Richardt, C., 3 Mar 2020, Real VR – Immersive Digital Reality: How to Import the Real World into Head-Mounted Immersive Displays. Magnor, M. & Sorkine-Horning, A. (eds.). Springer International Publishing, p. 109-131 (Lecture Notes in Computer Science; vol. 11900).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
60 Downloads (Pure)

Interacting with Real Objects in Virtual Worlds

Taylor, C., 11 Mar 2020, Real VR – Immersive Digital Reality: How to Import the Real World into Head-Mounted Immersive Displays (Lecture Notes in Computer Science) . Magnor, M. & Sorkine-Hornung, A. (eds.). 1st ed. Cham, Switzerland: Springer, p. 337-353 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11900).

Research output: Chapter in Book/Report/Conference proceedingChapter

Well quasi-orders and the functional interpretation

Powell, T., 2020, Well-Quasi Orders in Computation, Logic, Language and Reasoning. Schuster, P., Seisenberger, M. & Weiermann, A. (eds.). Springer International Publishing, p. 221-269 Chapter 9. (Trends in Logic; vol. 53).

Research output: Chapter in Book/Report/Conference proceedingChapter

2019

Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs

Powell, T., 2019, Mathesis Universalis, Computability and Proof. Centrone, S., Negri, S., Sarikaya, D. & Schuster, P. M. (eds.). Springer International Publishing, p. 255-290 Chapter 14. (Synthese Library; vol. 412).

Research output: Chapter in Book/Report/Conference proceedingChapter

How Society Can Maintain Human-Centric Artificial Intelligence

Bryson, J. J. & Theodorou, A., 1 Jan 2019, Human-Centered Digitalization and Services. Toivonen, M. & Saari, E. (eds.). Springer, p. 305-323 19 p. (Translational System Sciences).

Research output: Chapter in Book/Report/Conference proceedingChapter

The Past Decade and Future of AI’s Impact on Society

Bryson, J. J., 2019, Towards a New Enlightenment? A Transcendent Decade. Madrid: Turner, Vol. 11. 34 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
447 Downloads (Pure)
2018

Communication

Wortham, R. H. & Bryson, J. J., 26 Apr 2018, Living Machines: A Handbook of Research in Biomimetic 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

Open Access
File
31 Downloads (Pure)

Technologically Enhanced Dating: Augmented Human Relationships, Robots, and Fantasy

Davidson, B., Joinson, A. & Jones, S., 5 Jun 2018, A Networked Self and Love. Papacharissi, Z. (ed.). Routledge, p. 129-155

Research output: Chapter in Book/Report/Conference proceedingChapter

The Value of User-Centric Crowdsourcing for Cultural Heritage: Fostering Emotional Engagement with Integrity

Wrigglesworth, T. & Watts, L. A., 16 Feb 2018, Museum Experience Design. Vermeeren, A., Calvi, L. & Sabiescu, A. (eds.). Cham, Switzerland: Springer Heidelberg, p. 157-179 23 p. (Springer Series on Cultural Computing).

Research output: Chapter in Book/Report/Conference proceedingChapter

2017

Agent-Based Modelling

Gallagher, E. & Bryson, J. J., 7 Nov 2017, (Acceptance date) Encyclopedia of Animal Cognition and Behavior. Springer

Research output: Chapter in Book/Report/Conference proceedingChapter

A Non-classical Logical Approach to Social Software

Baskent, C., 2 Mar 2017, Rohit Parikh on Logic, Language and Society. Cham: Springer, Vol. 11. p. 91-109 (Outstanding Contributions to Logic; vol. 11).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Dense motion estimation for smoke

Chen, D., Li, W. & Hall, P., 2017, Computer Vision -ACCV 2016 - 13th Asian Conference on Computer Vision, Revised Selected Papers. Nishino, K., Lai, S-H., Lepetit, V. & Sato, Y. (eds.). Springer Nature, p. 225-239 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10114 ).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Emotional connections with the past: Exploring engagement with historical images from an online museum collection

Wrigglesworth, T. & Watts, L., 1 Aug 2017, Cultural Heritage Communities: Technologies and Challenges. Taylor and Francis, p. 132-149 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Robot transparency: Improving understanding of intelligent behaviour for designers and users

Wortham, R. H., Theodorou, A. & Bryson, J. J., 20 Jul 2017, Towards Autonomous Robotic Systems: 18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017 : Proceedings. Gao, Y., Fallah, S., Jin, Y. & Lakakou, C. (eds.). Berlin: Springer, p. 274-289 (Lecture Notes in Artificial Intelligence; vol. 10454).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
260 Downloads (Pure)

Visual support for complex repair operations in a global aerospace company

Joel-Edgar, S., Shi, L., Emanuel, L., Jones, S., Watts, L., Newnes, L., Payne, S., Hicks, B. & Culley, S., 2017, Visual Analytics for Management: Translational Science and Applications in Practice. Bendoly, E. & Clark, S. (eds.). Abingdon: Routledge, p. 100-112 8

Research output: Chapter in Book/Report/Conference proceedingChapter

2016

A Logic for the Compliance Budget

Anderson, G., McCusker, G. & Pym, D., 2016, Proceedings, GameSec 2016- Decision and Game Theory for Security: 7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016. Zhu, Q., Alpcan, T., Panaousis, E., Tambe, M. & Casey, W. (eds.). Springer Verlag, p. 370-381 (Lecture Notes in Computer Science; vol. 9996).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
1 Citation (Scopus)
97 Downloads (Pure)

Complexity of integration, special values, and recent developments

Davenport, J., Jul 2016, Mathematical Software - ICMS 2016: 5th International Conference, Berlin, Germany, July 11-14, 2016, Proceedings. Greuel, G-M., Koch, T., Paule, P. & Sommese, A. (eds.). Springer Verlag, p. 485-491 (Lecture Notes in Computer Science; vol. 9725).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
1 Citation (Scopus)
137 Downloads (Pure)

Dense Wide-Baseline Scene Flow From Two Handheld Video Cameras

Richardt, C., Kim, H., Valgaerts, L. & Theobalt, C., 25 Oct 2016, Proceedings of the 2016 Fourth International Conference on 3D Vision : 25–28 October 2016 Stanford, California, USA. Los Alamitos, CA, USA: IEEE, p. 276-285 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
12 Citations (Scopus)
85 Downloads (Pure)

General Automatic Human Shape and Motion Capture Using Volumetric Contour Cues

Rhodin, H., Robertini, N., Casas, D., Richardt, C., Seidel, H-P. & Theobalt, C., 16 Sep 2016, Computer Vision - ECCV 2016: Proceedings of the 14th European Conference, Amsterdam, The Netherlands, October 11–14, 2016. Leibe, B., Matas, J., Sebe, N. & Welling, M. (eds.). Cham, Switzerland: Springer, Vol. Part V. p. 509-526 18 p. (Lecture Notes in Computer Science; vol. 9099).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
33 Citations (Scopus)
179 Downloads (Pure)

InstAL: An Institutional Action Language

Padget, J., Elakehal, E., Li, T. & De Vos, M., 2016, Social Coordination Frameworks for Social Technical Systems. Springer Verlag, Vol. 30. p. 101 124 p. (Law, Governance and Technology Series ).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
147 Downloads (Pure)

Need Polynomial Systems be Doubly-exponential?

Davenport, J. & England, M., 2016, Mathematical Software – ICMS, 2016. Greuel, G. M., Koch, T., Paule, P. & Sommese, A. (eds.). Switzerland: Springer Verlag, p. 157-164 (Lecture Notes in Computer Science; vol. 9725).

Research output: Chapter in Book/Report/Conference proceedingChapter

5 Citations (Scopus)

Simulation and the evolution of thought

Bryson, J. J., 1 Jan 2016, Memory in the Twenty-First Century: New Critical Perspectives from the Arts, Humanities, and Sciences. Groes, S. (ed.). Palgrave Macmillan, p. 205-207 3 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

The confabulation of self

Bryson, J. J., 1 Jan 2016, Memory in the Twenty-First Century: New Critical Perspectives from the Arts, Humanities, and Sciences. Groes, S. (ed.). Palgrave Macmillan, p. 334-337 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Topological semantics for da costa paraconsistent logics Cω and C ω

Baskent, C., 9 Feb 2016, New Directions in Paraconsistent Logic, Part IV: 5th WCP, Kolkata, India, February 2014. Dutta, S., Beziau, J-Y. & Chakraborty, M. (eds.). Springer, p. 427-444 18 p. (Springer Proceedings in Mathematics & Statistics; vol. 152).

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)
2015

A game-theoretic computational interpretation of proofs in classical analysis

Oliva, P. & Powell, T., 2015, Gentzen's Centenary: The Quest for Consistency. Kahle, R. & Rathjen, M. (eds.). Springer International Publishing, p. 501-531

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)

Artificial intelligence and pro-social behaviour

Bryson, J., Oct 2015, Collective Agency and Cooperation in Natural and Artificial Systems: Explanation, Implementation and Simulation. Misselhorn, C. (ed.). Berlin: Springer, p. 281-306 15. (Philosophical Studies; vol. 122).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
4 Citations (Scopus)
264 Downloads (Pure)

A Versatile Scene Model with Differentiable Visibility Applied to Generative Pose Estimation

Rhodin, H., Robertini, N., Richardt, C., Seidel, H-P. & Theobalt, C., 13 Dec 2015, 2015 IEEE International Conference on Computer Vision (ICCV). Los Alamitos, CA, USA: IEEE, p. 765-773 9 p. (IEEE International Conference on Computer Vision (ICCV)).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
23 Citations (Scopus)
102 Downloads (Pure)

Deep Inference

Guglielmi, A., 2015, All About Proofs, Proofs for All. College Publications, (Mathematical Logic and Foundations).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
56 Downloads (Pure)

Facial Capture and Animation in Visual Effects

Cosker, D., 7 May 2015, Digital Representations of the Real World: How to Capture, Model, and Render Visual Reality. Sorkine, O., Magnor, M., Grau, O. & Theobalt, C. (eds.). CRC Press, p. 311-321 10 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

File
168 Downloads (Pure)

It's Not Personal: Can Logbooks provide insights into engineering projects?

Snider, C., McAlpine, H., Gopsill, J., Jones, S., Shi, L. & Hicks, B., 1 Jul 2015, DS 80-10 Proceedings of the 20th International Conference on Engineering Design (ICED 15) Vol 10. Weber, C., Husung, S., Cantamessa, M., Cascini, G., Marjanovic, D. & Venkataraman, S. (eds.). Design Society, Vol. 10. p. 219-230 12 p. (IECD).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
39 Downloads (Pure)

Learning from small samples: An analysis of simple decision heuristics

Şimşek, Ö. & Buckmann, M., 2015, Advances in Neural Information Processing Systems 28 (NIPS 2015): Annual Conference on Neural Information Processing Systems, Montreal, Quebec, Canada, December 7-12, 2015. Cortes, C., Lawrence, N. D., Lee, D. D., Sugiyama, M. & Garnett, R. (eds.). Curran Associates, Inc., p. 3159-3167 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
6 Citations (Scopus)

Muscle activation during exergame playing

Soltani, P. & Vilas-Boas, J. P., 1 Sep 2015, Handbook of Research on Holistic Perspectives in Gamification for Clinical Practice. IGI Global, p. 312-341 30 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

1 Citation (Scopus)

Recent advances in real geometric reasoning

Davenport, J. H. & England, M., 31 Aug 2015, Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers. Botana, F. & Quaresma, P. (eds.). Springer, p. 37-52 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9201).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
1 Citation (Scopus)
111 Downloads (Pure)
2014

A logical basis for quantum evolution and entanglement

Blute, R., Guglielmi, A., Ivanov, I., Panangaden, P. & Straßburger, L., 31 Dec 2014, Categories and Types in Logic, Language, and Physics. Casadio, C., Coecke, B., Moortgat, M. & Scott, P. (eds.). Springer, Vol. 8222. p. 90-107 18 p. (Lecture Notes in Computer Science; vol. 8222).

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition

Huang, Z., England, M., Wilson, D., Davenport, J. H., Paulson, L. & Bridge, J., 2014, Intelligent Computer Mathematics. Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. & Urban, J. (eds.). Springer, Vol. 8543. p. 92-107 16 p. (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
27 Citations (Scopus)
99 Downloads (Pure)

ArgPROLEG: A normative framework for the JUF theory

Shams, Z., Vos, M. D. & Satoh, K., 6 Nov 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 8417. p. 183-198 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8417).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
1 Citation (Scopus)
129 Downloads (Pure)

Building an Internet of school things ecosystem: A national collaborative experience

Joyce, C., Pham, H., Fraser, D. S., Payne, S., Crellin, D. & McDougall, S., 2014, IDC '14 proceedigs of the 2014 conference on interaction design and children. New York : Association for Computing Machinery, p. 289-292 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

13 Citations (Scopus)

Development Tools for Ubiquitous Music on the World Wide Web

Lazzarini, V., Costello, E., Yi, S. & ffitch, J. P., 2014, Ubiquitous Music. Keller, D., Lazzarini, V. & Pimenta, M. S. (eds.). Springer, p. 111-128 18 p. 6. (Computational Music Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Don't measure - appreciate: NPR seen through the prism of art history

Hall, P. M. & Lehmann, A-S., 2014, Image and Video-Based Artistic Stylisation. Collomosse, J. & Rosin, P. (eds.). UK: Springer, Vol. 42. p. 333-351 19 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Emotionally driven robot control architecture for human-robot interaction

Novikova, J., Gaudl, S. & Bryson, J., 2014, Towards Autonomous Robotic Systems . Natraj, A., Cameron, S., Melhuish, C. & Witkowski, M. (eds.). Berlin, Germany: Springer, p. 261-263 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8069).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
2 Citations (Scopus)
152 Downloads (Pure)

Haptic and Audio Displays for Augmented Reality Tourism Applications

Wei, S., Ren, G. & O'Neill, E., 2014, IEEE Haptics Symposium, HAPTICS. p. 485-488 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
7 Citations (Scopus)
241 Downloads (Pure)

Introduction to Machine Learning for Computer Graphics

Hall, P. M., 2014, ACM SIGGRAPH 2014 Courses, SIGGRAPH 2014. Association for Computing Machinery, 20

Research output: Chapter in Book/Report/Conference proceedingChapter

Learning graphs to model visual objects across different depictive styles

Wu, Q., Cai, H. & Hall, P., 22 Sep 2014, Computer Vision – ECCV 2014: 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part VII. Fleet, D., Pajdla, T., Schiele, B. & Tuytelaars, T. (eds.). Cham, Switzerland: Springer, p. 313-328 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8695).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
10 Citations (Scopus)
254 Downloads (Pure)

Linear decision rule as aspiration for simple decision heuristics

Şimşek, Ö., 2014, Advances in Neural Information Processing Systems 26 : 27th Annual Conference on Neural Information Processing Systems 2013: Proceedings of a meeting held December 5-8, 2013, Lake Tahoe, Nevada, United States. Burges, C. J. C., Bottou, L., Welling, M., Ghahramani, Z. & Weinberger, K. Q. (eds.). Curran Associates, Inc., p. 2904-2912 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
22 Citations (Scopus)

On the pigeonhole and related principles in deep inference and monotone systems

Das, A., 2014, Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2014. Association for Computing Machinery, 36

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)